Mladen Bestvina, Koji Fujiwara
We show that every subgroup of the mapping class group MCG(S) of a compact surface S is either virtually abelian or it has infinite dimensional second bounded cohomology. As an application, we give another proof of the Farb-Kaimanovich-Masur rigidity theorem that states that MCG(S) does not contain a higher rank lattice as a subgroup.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to the ambient group.
Using a probabilistic argument we show that the second bounded cohomology of an acylindrically hyperbolic group $G$ (e.g., a non-elementary hyperbolic or relatively hyperbolic group, non-exceptional mapping class group, ${\rm Out}(F_n)$, \dots) embeds via the natural restriction maps into the inverse limit of the second bounded cohomologies of its virtually free subgroups, and in fact even into the inverse limit of the second bounded cohomologies of its hyperbolically embedded virtually free subgroups. This result is new and non-trivial even in the case where $G$ is a (non-free) hyperbolic gro…
The aim of the current paper is to explore the implications on the group $G$ of the non-vanishing of the cohomology in degree one of one of its representation $π$, given some mixing conditions on $π$. In one direction, harmonic cocycles are used to show that the FC-centre should be finite (for mildly mixing unitary representations). Next, for any subgroup $H<G$, $H$ will either be "small", almost-malnormal or $π_{|H}$ also has non-trivial cohomology in degree one (in this statement, "small", reduced vs unreduced cohomology and unitary vs generic depend on the mixing condition). The notion of q…
We prove that the first integral cohomology of pure mapping class groups of infinite type genus one surfaces is trivial. For genus zero surfaces we prove that not every homomorphism to $\mathbb{Z}$ factors through a sphere with finitely many punctures. In fact we get an uncountable family of such maps.
We prove that the mapping class group of a closed oriented surface of genus $ρ\ge 3$ has no proper subgroup of index $\le 4 ρ+4$.
In this note we show that many subgroups of mapping class groups of infinite-type surfaces without boundary have trivial centers, including all normal subgroups. Using similar techniques, we show that every nontrivial normal subgroup of a big mapping class group contains a nonabelian free group. In contrast, we show that no big mapping class group satisfies the strong Tits alternative enjoyed by finite-type mapping class groups. We also give examples of big mapping class groups that fail to satisfy even the classical Tits alternative and give a proof that every countable group appears as a sub…
Suppose subgroups $A,B < MCG(S)$ in the mapping class group of a closed orientable surface $S$ are given and let $\langle A, B \rangle$ be the subgroup they generate. We discuss a question by Minsky asking when $\langle A, B \rangle \simeq A*_{A \cap B} B$ for handlebody subgroups $A,B$.
We investigate the separability of several well known classes of subgroups of the mapping class group of a surface.
We survey the analogy between Kleinian groups and subgroups of the mapping class group of a surface.
The final result of this article gives the order of the extension $$\xymatrix{1\ar[r] & P/[P,P] \ar^{j}[r] & B/[P,P] \ar^-{p}[r] & W \ar[r] & 1}$$ as an element of the cohomology group $H^2(W,P/[P,P])$ (where $B$ and $P$ stands for the braid group and the pure braid group associated to the complex reflection group $W$). To obtain this result, we describe the abelianization of the stabilizer $N_H$ of a hyperplane $H$. Contrary to the case of Coxeter groups, $N_H$ is not in general a reflection subgroup of the complex reflection group $W$. So the first step is to refine Stanley-Springer's theore…
Congruence Subgroup Property for nilpotent groups and subsurface subgroups of Mapping Class Groups
本文证明有限型曲面映射类群中两类子群满足同余子群性质，并顺带给出 Ben-Ezra–Lubotzky 定理的初等证明。
In this paper we prove a combination theorem for Veech subgroups of the mapping class group analogous to the first Klein-Maskit combination theorem for Kleinian groups in which two Fuchsian subgroups are amalgamated along a parabolic subgroup. As a corollary, we construct subgroups of the mapping class group (for all genus at least 2), which are isomorphic to non-abelian closed surface groups in which all but one conjugacy class (up to powers) is pseudo-Anosov.
For a finitely generated group, there are two recent generalizations of the notion of a quasiconvex subgroup of a word-hyperbolic group, namely a stable subgroup and a Morse or strongly quasiconvex subgroup. Durham and Taylor defined stability and proved stability is equivalent to convex cocompactness in mapping class groups. Another natural generalization of quasiconvexity is given by the notion of a Morse or strongly quasiconvex subgroup of a finitely generated group, studied recently by Tran and Genevois. In general, a subgroup is stable if and only if the subgroup is Morse and hyperbolic. …
Let M be a surface (possibly nonorientable) with punctures and/or boundary components. The paper is a study of ``geometric subgroups'' of the mapping class group of M, that is subgroups corresponding to inclusions of subsurfaces (possibly disconnected). We characterise the subsurfaces which lead to virtually abelian geometric subgroups. We provide algebraic and geometric conditions under which two geometric subgroups are commensurable. We also describe the commensurator of a geometric subgroup in terms of the stabiliser of the underlying subsurface. Finally, we show some applications of our an…
A normal subgroup of the (extended) mapping class group of a surface is said to be geometric if its automorphism group is the mapping class group. We prove that in the case of the Cantor tree surface, every normal subgroup is geometric. We note that there is no non-trivial finite-type mapping class group for which this statement is true. We study a generalisation of the curve graph, proving that its automorphism group is again the mapping class group. This strategy is adapted from that of Brendle-Margalit and the author for certain normal subgroups in the finite-type setting.
This paper is a study of the subgroups of the mapping class groups of Riemann surfaces, called "geometric" subgroups, corresponding to the inclusion of subsurfaces. Our analysis includes surfaces with boundary and with punctures. The centres of all the mapping class groups are calculated. We determine the kernel of inclusion-induced maps of the mapping class group of a subsurface, and give necessary and sufficient conditions for injectivity. In the injective case, we show that the commensurability class of a geometric subgroup completely determines up to isotopy the defining subsurface, and we…
In this work we compute the first integral cohomology of the pure mapping class group of a non-orientable surface of infinite topological type and genus at least 3. To this purpose, we also prove several other results already known for orientable surfaces such as the existence of an Alexander method, the fact that the mapping class group is isomorphic to the automorphism group of the curve graph along with the topological rigidity of the curve graph, and the structure of the pure mapping class group as both a Polish group and a semi-direct product.
A congruence subgroup property for symmetric mapping class groups
本文研究了对称映射类群的同余子群性质，并证明了在特定条件下，torsion元素在共轭区分上的性质。
We prove that various subgroups of the mapping class group $Mod(Σ)$ of a surface $Σ$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the "point-pushing" and surface braid subgroups, and the Lagrangian subgroup. Our techniques include a method to compute lower bounds on distortion via representation theory and an extension of Johnson theory to arbitrary subgroups of $H_1(Σ;\mathbb{Z})$.
A finite presentation for the subgroup of the mapping class group of a compact non-orientable surface generated by all Dehn twists was given by Stukow. In this paper, we give an infinite presentation for this group, mainly using the presentation given by Stukow and Birman exact sequences on mapping class groups of non-orientable surfaces.
We give a small generating set for the twist subgroup of the mapping class group of a non-orientable surface by Dehn twists. The difference between the number of the generators and a lower bound of numbers of generators for the twist subgroup by Dehn twists is one. The lower bounds is obtained from an argument of Hirose [5].
The theme of this survey is that subgroups of the mapping class group of a finite type surface S can be studied via the geometric/dynamical properties of their action on the Thurston compactification of the Teichmuller space of S, just as discrete subgroups of the isometries of hyperbolic space can be studied via their action on compactified hyperbolic space.
Constructing reducibly geometrically finite subgroups of the mapping class group
研究映射类群中PGF和RGF几何有限性，给出直角Artin子群为RGF的支撑条件，并证明生成RGF子群的组合定理。
Let $g\geq3$ and $n\geq0$, and let ${\mathcal{M}}_{g,n}$ be the mapping class group of a surface of genus $g$ with $n$ boundary components. We prove that ${\mathcal{M}}_{g,n}$ contains a unique subgroup of index $2^{g-1}(2^{g}-1)$ up to conjugation, a unique subgroup of index $2^{g-1}(2^{g}+1)$ up to conjugation, and the other proper subgroups of ${\mathcal{M}}_{g,n}$ are of index greater than $2^{g-1}(2^{g}+1)$. In particular, the minimum index for a proper subgroup of ${\mathcal{M}}_{g,n}$ is $2^{g-1}(2^{g}-1)$.
Let $Γ_{g,b}$ denote the orientation-preserving Mapping Class Group of a closed orientable surface of genus $g$ with $b$ punctures. For a group $G$ let $Φ_f(G)$ denote the intersection of all maximal subgroups of finite index in $G$. Motivated by a question of Ivanov as to whether $Φ_f(G)$ is nilpotent when $G$ is a finitely generated subgroup of $Γ_{g,b}$, in this paper we compute $Φ_f(G)$ for certain subgroups of $Γ_{g,b}$. In particular, we answer Ivanov's question in the affirmative for these subgroups of $Γ_{g,b}$.
Generating the twist subgroup of the level $2$ mapping class group of a non-orientable closed surface
本文为不可定向闭曲面的映射类群中由Dehn扭转生成且在Z2同调上平凡作用的子群，构造了两个小生成集。
Right-angled Artin groups as normal subgroups of mapping class groups
本文构造了映射类群中同构于非自由直角Artin群的正规子群的首例，推广了Dahmani-Guirardel-Osin的结果，并给出两个应用：构造不在任何同余子群中的真正规子群及具有特定正规闭包性质的伪Anosov映射类。
We develop a theory of convex cocompact subgroups of the mapping class group MCG of a closed, oriented surface S of genus at least 2, in terms of the action on Teichmuller space. Given a subgroup G of MCG defining an extension L_G: 1--> pi_1(S) --> L_G --> G -->1 we prove that if L_G is a word hyperbolic group then G is a convex cocompact subgroup of MCG. When G is free and convex cocompact, called a "Schottky subgroup" of MCG, the converse is true as well; a semidirect product of pi_1(S) by a free group G is therefore word hyperbolic if and only if G is a Schottky subgroup of MCG. The special…
The first integral cohomology of pure mapping class groups
该研究突破Powell关于有限型高亏格曲面纯映射类群的经典完满性结论，构造无穷亏格映射类群到整数的非平凡同态，计算亏格≥2连通可定向曲面纯映射类群的第一整上同调，并证明无穷亏格情形下该群可分解为半直积。
We obtain a finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface. The generating set consists of crosscap pushing maps along non-separating two-sided simple loops and squares of Dehn twists along non-separating two-sided simple closed curves. We also prove that the level 2 twist subgroup is normally generated in the mapping class group by a crosscap pushing map along a non-separating two-sided simple loop for genus $g\geq 5$ and $g=3$. As an application, we calculate the first homology group of the level 2 twist subgroup for genus $…
We study subgroups of the mapping class group of the torus generated by powers generated by powers of Dehn twists. We give a criterion to show when a collection of powers Dehn twists generates a free group using the ping pong lemma. We show that the subgroup generated by three uniform powers of Dehn twists can be either the whole mapping class group, a direct product of a free group of rank two with the cyclic group of order two, or a free group of rank at most three. We characterize subgroups generated by a collection of (respectively squares of) Dehn twists, if there is a pair among so that …
A combination theorem for hierarchically quasiconvex subgroups, and application to geometric subgroups of mapping class groups
本文提出层次超几何群子群生成 amalgamated 自由积的条件，并探讨其在映射类群几何子群中的应用及凸性保持问题。
Let $Γ$ be either the mapping class group of a closed surface of genus $\geq 2$, or the automorphism group of a free group of rank $\geq 3$. Given any homological representation $ρ$ of $Γ$ corresponding to a finite cover, and any term $\mathcal{I}_k$ of the Johnson filtration, we show that $ρ(\mathcal{I}_k)$ has finite index in $ρ(\mathcal{I})$, the Torelli subgroup of $Γ$. Since $[\mathcal{I}: \mathcal{I}_k] = \infty$ for $k > 1$, this implies for instance that no such representation is faithful.
Let Mod(S) be the extended mapping class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of an inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index subgroup of Mod(S) into Mod(S) is the restriction of an inner automorphism; this completes a program begun by Irmak. For all of the above surfaces, we establish the co-Hopf property for finite index subgroups of Mod(S).
The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups
本文在假设所有双曲群剩余有限的前提下，证明了有限型双曲曲面映射类群的同余子群性质，并由此推出profinite等价的双曲3-流形必为commensurable。
Let $\mathrm{Mod}(S)$ be the mapping class group of a compact connected orientable surface $S$, possibly with punctures and boundary components, with negative Euler characteristic. We prove that for any infinite virtually abelian subgroup $H$ of $\mathrm{Mod}(S)$, there is a subgroup $H'$ commensurable with $H$ such that the commensurator of $H$ equals the normalizer of $H'$. As a consequence we give, for each $n \geq 2$, an upper bound for the geometric dimension of $\mathrm{Mod}(S)$ for the family of abelian subgroups of rank bounded by $n$. These results generalize work by Juan-Pineda--Truj…
For any positive integer $n$, we exhibit a cofinite subgroup $Γ_n$ of the mapping class group of a surface of genus at most two such that $Γ_n$ admits an epimorphism onto a free group of rank $n$. We conclude that $H^1(Γ_n;\Z)$ has rank at least $n$ and the dimension of the second bounded cohomology of each of these mapping class groups is the cardinality of the continuum. In the case of genus two, the groups $Γ_n$ can be chosen not to contain the Torelli group. Similarly for hyperelliptic mapping class groups. We also exhibit an automorphism of a subgroup of finite index in the mapping class …
High-degree cohomology of congruence subgroups of $\text{SL}_n(\mathcal{O})$ via cohomology of $S$-arithmetic groups
研究\(\text{SL}_n(\mathcal{O})\)同余子群上同调中Steinberg表示的重数，通过对\(S -\)算术群上同调计算，证得最高阶重数为1，特定条件下下一高阶重数为0。
Let $Γ_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(\mathbb{Z})$. Borel-Serre proved that the cohomology of $Γ_n(p)$ vanishes above degree $\binom{n}{2}$. We study the cohomology in this top degree $\binom{n}{2}$. Let $\mathcal{T}_n(\mathbb{Q})$ denote the Tits building of $\text{SL}_n(\mathbb{Q})$. Lee-Szczarba conjectured that $H^{\binom{n}{2}}(Γ_n(p))$ is isomorphic to $\widetilde{H}_{n-2}(\mathcal{T}_n(\mathbb{Q})/Γ_n(p))$ and proved that this holds for $p=3$. We partially prove and partially disprove this conjecture by showing that a natural map $H^{\binom{n}{2}}(Γ…
Let Mod_g be the mapping class group of a genus g >= 2 surface. The group Mod_g has virtual cohomological dimension 4g-5. In this note we use a theorem of Broaddus and the combinatorics of chord diagrams to prove that H^{4g-5}(Mod_g; Q) = 0.
In this paper we conjecture the stability and vanishing of a large piece of the unstable rational cohomology of SL_n Z, of mapping class groups, and of Aut(F_n).
Birman-Lubotzky-McCarthy proved that any abelian subgroup of the mapping class groups for orientable surfaces is finitely generated. We apply Birman-Lubotzky-McCarthy's arguments to the mapping class groups for non-orientable surfaces. We especially find a finitely generated group isomorphic to a given torsion-free subgroup of the mapping class groups.
Symplectic Groups, Mapping Class Groups and the Stability of Bounded Cohomology
本研究探讨映射类群与辛群的有界上同调稳定性，证明映射类群有界上同调不稳定、Mumford-Morita-Miller类稳定多项式无界，辛群2次有界上同调非等距稳定并给出相关范数计算与估计。
In this paper, we use a result of Dahmani to show that the Euler class of some power subgroup (the subgroup normally generated by a fixed power of Dehn twist about a non-separating curve) is trivial inside the mapping class group of once punctured surface.
In this note we give presentations of all finite subgroups of the mapping class group of a closed surface of genus 2 by the Humphries generators up to conjugacy.
Let S be a surface and let Mod(S,K) be the mapping class group of S permuting a Cantor subset K of S. We prove two structure theorems for normal subgroups of Mod(S,K). (Purity:) if S has finite type, every normal subgroup of Mod(S,K) either contains the kernel of the forgetful map to the mapping class group of S, or it is `pure', i.e. it fixes the Cantor set pointwise. (Inertia:) for any n element subset Q of the Cantor set, there is a forgetful map from the pure subgroup PMod(S,K) of Mod(S,K) to the mapping class group of (S,Q) fixing Q pointwise. If N is a normal subgroup of Mod(S,K) contain…
We prove that the action of any non-trivial normal subgroup of the mapping class group of a surface of genus $g\geqslant 2$ is almost minimal on the character variety $X(π_1Σ_g,{\rm SU}_2)$: the orbit of almost every point is dense.
Non-arithmeticity of length spectra of subgroups of mapping class groups
本文证明了非初等子群的Teichmüller长度谱非算术，通过引入MF和PMF上的交叉比概念，研究其几何和动力学性质，揭示了Teichmüller空间和PMF上的非负曲率特征缺失下的结果。
We give a complete description of conjugacy classes of finite subgroups of the mapping class group of the sphere with r marked points. As a corollary we obtain a description of conjugacy classes of maximal finite subgroups of the hyperelliptic mapping class group. In particular, we prove that for a fixed genus g there are at most five such classes.
We prove that if a normal subgroup of the extended mapping class group of a closed surface has an element of sufficiently small support then its automorphism group and abstract commensurator group are both isomorphic to the extended mapping class group. The proof relies on another theorem we prove, which states that many simplicial complexes associated to a closed surface have automorphism group isomorphic to the extended mapping class group. These results resolve the metaconjecture of N.V. Ivanov, which asserts that any "sufficiently rich" object associated to a surface has automorphism group…
Using the existence of certain symplectic submanifolds in symplectic 4-manifolds, we prove an estimate from above for the number of singular fibers with separating vanishing cycles in minimal Lefschetz fibrations over surfaces of positive genus. This estimate is then used to deduce that mapping class groups are not uniformly perfect, and that the map from their second bounded cohomology to ordinary cohomology is not injective.
Let T(N) be the subgroup of the mapping class group of a nonorientable surface N (possibly with punctures and/or boundary components) generated by twists about two-sided circles. We obtain a simple generating set for T(N). As an application we compute the first homology group (abelianization) of T(N).
Let $N_{g}$ denote the closed non-orientable surface of genus $g$ and let ${\mathcal M} _g$ denote the mapping class group of $N_{g}$. Let ${\mathcal T} _g$ denote the twist subgroup of ${\mathcal M} _g$ which is the subgroup of ${\mathcal M} _g$ is generated by all Dehn twists. In this thesis, we proved that ${\mathcal T} _g$ is generated by six involutions for $g \geq 16$ or $g = 14$.
We construct the first known examples of nontrivial, normal, all pseudo-Anosov subgroups of mapping class groups of surfaces. Specifically, we construct such subgroups for the closed genus two surface and for the sphere with five or more punctures. Using the branched covering of the genus two surface over the sphere and results of Birman and Hilden, we prove that a reducible mapping class of the genus two surface projects to a reducible mapping class on the sphere with six punctures. The construction introduces "Brunnian" mapping classes of the sphere, which are analogous to Brunnian links.
The first author conjectured certain relations for Morita-Mumford classes and Newton classes in the integral cohomology of mapping class groups (integral Riemann-Roch formulae). In this paper, the conjecture is verified for cyclic subgroups of mapping class groups.
The rational abelianization of the Chillingworth subgroup of the mapping class group of a surface
本文研究了紧致定向曲面的映射类群的Chillingworth子群的有理化abelization，通过第一Johnson同态和Casson-Morita同态确定其结构，并计算了与该子群相关的中心扩张的Euler类阶数及Casson-Morita同态的核。
In the study of the relation between the mapping class group M of a surface and the theory of finite-type invariants of homology 3-spheres, three subgroups of the mapping class group play a large role. They are the Torelli group, the Johnson subgroup K and a new subgroup L, which contains K, defined by a choice of a Lagrangian subgroup of the homology of the surface. In this work we determine the quotient L/K, in terms of the precise description of M/K given by Johnson and Morita. We also study the lower central series of L and K, using some natural imbeddings of the pure braid group in L and …
Mapping class group action on the cohomology of the $\mathrm{SL}_n$ character variety
研究映射类群对曲面$\Sigma_g$扭曲$\mathrm{SL}_n$特征流形上同调的作用，利用Maulik-Shen的相对内核分解，将问题转化为对$\Sigma_g$的canonical有限覆盖的同调作用。
We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups.
Twenty years ago, Mumford initiated the systematic study of the cohomology ring of moduli spaces of Riemann surfaces. Around the same time, Harer proved that the homology of the mapping class groups of oriented surfaces is independent of the genus in low degrees, increasing with the genus. The (co)homology of mapping class groups thus stabelizes. At least rationally, the mapping class groups have the same (co)homology as the corresponding moduli spaces. This prompted Mumford to conjecture that the stable rational cohomology of moduli spaces is generated by certain tautological classes that he …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。