Let $n\geq5$ and $m\geq3$. Let $\Phi\colon\mathrm{B}_n\to\mathrm{B}_m$ be a homomorphism of braid groups. We prove that if the image of $\Phi$ is irreducible and not cyclic, then $m=n$ and $\Phi$ agrees with an automorphism modulo the center $Z(\mathrm{B}_m)$. This resolves in the affirmative a conjecture of Chen, Kordek, and Margalit. It also provides a partial resolution to a problem on the K3 problem list. As a consequence, we prove that every holomorphic map $\mathrm{UConf}_n(\mathbb{C})\to\mathrm{UConf}_m(\mathbb{C})$ for $n\geq5$ and $m\geq3$ is affine equivalent to either a constant map or the identity map. This resolves a conjecture of Farb for $n\neq4$.
Let $\mathbb{D}$ be a division ring with an involution $x \mapsto x^\star$, and $n \geq 2$ be an integer. Denote by $\mathcal{H}_n(\mathbb{D})$ the set of all $n$-by-$n$ Hermitian matrices with entries in $\mathbb{D}$, and by $\mathcal{A}\mathcal{H}_n(\mathbb{D})$ the set of all matrices $A-A^\star$ with $A \in \mathca...
For $n\geq 4$, let $T_n$ be the rank-3 matroid on $\mathbb{Z}/n\mathbb{Z}$ whose bases are the three-element non-zero-sum subsets. Let $X_1(n)^\circ$ denote the open subscheme of the modular curve $X_1(n)$ obtained by removing the cusps corresponding to reducible N\'eron polygons. For $n \geq 10$, we give a purely alge...
Let $R$ be a commutative Noetherian ring, let $\mathbf{x}=x_1,\ldots,x_n$ be an $R$-regular sequence, and let $\mathbf{y}=y_1,\ldots,y_m$ be a sequence of elements of $R$. Put $I=(\mathbf y)$. Let $\mathcal S$ be a Serre subcategory of the category of $R$-modules. We consider the double complex obtained from the Koszul...
Let $\mathscr{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_n(F)$, where $F$ is a non-Archimedean local field. We introduce geometric $k$-geodesics in $\mathscr{B}$ by means of CAT(0) convexity and combinatorial $k$-geodesics by a local successor relation on pointed $k$-facets. We prove that the two notions coincid...
Let $K$ be a number field and $S$ a finite set of non-archimedean places. Write $\mathcal{O}_S$ for the ring of $S$-integers of $K$ and $\mathcal{O}_S^\times$ for its unit group. Let $\pi : X \rightarrow \mathbb{P}^1$ be a morphism of (irreducible) curves defined over $K$, and denote by $\operatorname{Red}(\pi)$ the se...
Let $\Sigma$ be a closed oriented surface of genus $>1$ and $M$ a complete hyperbolic 3-manifold with a marking $i:\Sigma\longrightarrow M$. We consider the case that $M$ has no parabolic cusps and at least one of the two ends is simply degenerate. For $\varGamma=\pi_1(\Sigma)$, let $\rho_M:\varGamma\longrightarrow \ma...
Y. Nakano, Teruhiko Soma· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
