Commensurability of Surface Automorphisms \\and surface bundles over $S^1$

Hongbin Sun,Shicheng Wang

DOI: https://doi.org/10.48550/arXiv.0907.1132

2009-07-07

Geometric Topology

Abstract:This note will become part of a new paper with more authors.

What problem does this paper attempt to address?

The S^1 Fixed Points in Quot-schemes and Mirror Principle Computations

Bong H. Lian,Chien-Hao Liu,Kefeng Liu,Shing-Tung Yau

DOI: https://doi.org/10.1090/conm/322/05687

2003-01-01

Abstract:We describe the S 1 -action on the Quot-scheme Quot(E n ) associated to the trivial bundle E n = CP 1 × C n . In particlular, the topology of the S 1 -fixed-point components in Quot(E n ) and the S 1 -weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [L-L-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on S 1 fixed points in this paper are used here to do explicit Mirror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcollection of the S 1 -fixed-point components. These components are identified and are labelled by Young tableaus. The S 1 -equivariant Euler class eS1 of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down eS1 directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using our method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation of mirror principle to physical theory. Some related questions are listed for further study.
The S" fixed points in Quot-schemes

Bong H Lian,Chien-Hao Liu,Kefeng Liu,Shing-Tung Yau

2003-01-01

Abstract:We describe the S*-action on the Quot-scheme Quot (8”) associated to the trivial bundle &"= CP x C". In particlular, the topology of the S*-fixed-point components in Quot (8”) and the S*-weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [LL-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on S'fixed points in this paper are used here to do explicit Mir-ror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcol-lection of the S*-fixed-point components. These components are identified and are labelled by Young tableaus. The S*-equivariant Euler class es1 of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down es1 directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using the method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation of mirror principle to physical theory. Some related questions are listed for further study.
Commensurability of geometric subgroups of mapping class groups

Michal Stukow

DOI: https://doi.org/10.1007/s10711-009-9377-y

2007-07-24

Abstract: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 analysis to the theory of irreducible unitary representations of mapping class groups.

Geometric Topology,Group Theory
Isomorphisms and commensurability of surface Houghton groups

Javier Aramayona,George Domat,Christopher J. Leininger

DOI: https://doi.org/10.1515/jgth-2023-0297

2024-03-21

Journal of Group Theory

Abstract:We classify surface Houghton groups, as well as their pure subgroups, up to isomorphism, commensurability, and quasi-isometry.

mathematics
Automorphisms of the compression body graph

Ian Biringer,Nicholas G. Vlamis

DOI: https://doi.org/10.1112/jlms.12011

2016-12-27

Journal of the London Mathematical Society

Abstract:Let S be a closed, orientable surface. We show that the automorphism group of the compression body graph of S is the (extended) mapping class group Mod(S). Here, vertices are compression bodies with exterior boundary S, and edges connect compression bodies when one can be realized as a submanifold of the other.

English Else
Automorphism groups of simplicial complexes of infinite type surfaces

Jesús Hernández Hernández,José Ferrán Valdez Lorenzo

DOI: https://doi.org/10.48550/arXiv.1402.3275

2014-02-14

Abstract:Let S be any orientable surface of infinite genus with a finite number of boundary components. In this work we consider the curve complex C(S), the nonseparating curve complex N(S) and the Schmutz graph G(S) of S. When all the topological ends of S carry genus, we show that all elements in the automorphism groups Aut(C(S)), Aut(N(S)) and Aut(G(S)) are geometric, i.e. these groups are naturally isomorphic to the extended mapping class group MCG*(S) of the infinite surface S. Finally, we study rigidity phenomena within Aut(C(S)) and Aut(N(S))

Geometric Topology
Automorphisms of moduli spaces of principal bundles over a smooth curve

Roberto Fringuelli

2024-04-15

Abstract:For any almost-simple group $G$ over an algebraically closed field $k$ of characteristic zero, we describe the automorphism group of the moduli space of semistable $G$-bundles over a connected smooth projective curve $C$ of genus at least $4$. The result is achieved by studying the singular fibers of the Hitchin fibration. As a byproduct, we provide a description of the irreducible components of two natural closed subsets in the Hitchin basis: the divisor of singular cameral curves and the divisor of singular Hitchin fibers.

Algebraic Geometry
Extending Periodic Automorphisms of Surfaces to 3-Manifolds

Yi Ni,Chao Wang,Shicheng Wang

DOI: https://doi.org/10.4310/cag.241015032653

2024-01-01

Communications in Analysis and Geometry

Abstract:Let $G$ be a finite group acting on a connected compact surface $\Sigma$, and $M$ be an integer homology 3-sphere. We show that if each element of $G$ is extendable over $M$ with respect to a fixed embedding $\Sigma\rightarrow M$, then $G$ is extendable over some $M'$ which is 1-dominated by $M$. From this result, in the orientable category we classify all periodic automorphisms of closed surfaces that are extendable over the 3-sphere. The corresponding embedded surface of such an automorphism can always be a Heegaard surface.
On conformally flat circle bundles over surfaces

Son Lam Ho

DOI: https://doi.org/10.48550/arXiv.1412.5824

2014-12-18

Abstract:We study surface groups $\Gamma$ in $SO(4,1)$, which is the group of Mobius tranformations of $S^3$, and also the group of isometries of $\mathbb{H}^4$. We consider such $\Gamma$ so that its limit set $\Lambda_\Gamma$ is a quasi-circle in $S^3$, and so that the quotient $(S^3 - \Lambda_\Gamma) / \Gamma$ is a circle bundle over a surface. This circle bundle is said to be conformally flat, and our main goal is to discover how twisted such bundle may be by establishing a bound on its Euler number. By combinatorial approaches, we have two soft bounds in this direction on certain types of nice structures. In this article we also construct new examples, a "grafting" type path in the space of surface group representations into $SO(4,1)$: starting inside the quasi-Fuschsian locus, going through non-discrete territory and back.

Geometric Topology
Zero-sum multisets mod p with an application to surface automorphisms

Anthony Weaver

2024-04-18

Abstract:We solve a problem in enumerative combinatorics which is equivalent to counting topological types of certain group actions on compact Riemann surfaces. Let $V_2(F_p)$ be the two-dimensional vector space over $F_p$, the field with $p$ elements, $p$ an odd prime. We count orbits of the general linear group $GL_2(F_p)$ on certain multisets consisting of $R \geq 3$ non-zero columns from $V_2(F_p)$. The $R$-multisets are `zero-sum,' that is, the sum (mod $p$) over the columns in the multiset is $[\begin{smallmatrix} 0 \\ 0 \end{smallmatrix}]$. The orbit count yields the number of topological types of fully ramified actions of the elementary abelian $p$-group of rank $2$ on compact Riemann surfaces of genus $1+ Rp(p-1)/2-p^2.$

Combinatorics
Automorphisms of the complex of curves

Feng Luo

DOI: https://doi.org/10.1016/S0040-9383(99)00008-7

2000-01-01

Topology

Abstract:This goal of the paper is to show that the automorphisms of the complex of curves in a surface are induced by the self-homeomorphisms of the surface except the surface is the 2-holed torus.
Isometric embeddings of surfaces for scl

Alexis Marchand

2024-10-03

Abstract:Let $\varphi:F_1\to F_2$ be an injective morphism of free groups. If $\varphi$ is geometric (i.e. induced by an inclusion of oriented compact connected surfaces with nonempty boundary), then we show that $\varphi$ is an isometric embedding for stable commutator length. More generally, we show that if $T$ is a subsurface of an oriented compact (possibly closed) connected surface $S$, and $c$ is an integral $1$-chain on $\pi_1T$, then there is an isometric embedding $H_2(T,c)\to H_2(S,c)$ for the relative Gromov seminorm. Those statements are proved by finding an appropriate standard form for admissible surfaces and showing that, under the right homology vanishing conditions, such an admissible surface in $S$ for a chain in $T$ is in fact an admissible surface in $T$.

Geometric Topology,Group Theory
Surface Algebras and Surface Orders II: Affine Bundles on Curves

Amelie Schreiber

DOI: https://doi.org/10.48550/arXiv.1812.00621

2018-12-03

Abstract:I will give a new way to understand the Geometric Langlands Program.

Number Theory,Algebraic Geometry,Rings and Algebras
On the Automorphism Groups of Certain Branched Structures on Surfaces

Gianluca Faraco

DOI: https://doi.org/10.1007/s00032-024-00393-w

2024-02-15

Milan Journal of Mathematics

Abstract:We consider translation surfaces with poles on surfaces. We shall prove that any finite group appears as the automorphism group of some translation surface with poles. As a direct consequence we obtain the existence of structures achieving the maximal possible number of automorphisms allowed by their genus and we finally extend the same results to branched projective structures.

mathematics, applied
Extendable periodic automorphisms of closed surfaces over the 3-sphere

Chao Wang,Weibiao Wang

DOI: https://doi.org/10.2140/agt.2024.24.3327

2021-11-12

Abstract:A periodic automorphism of a surface $\Sigma$ is said to be extendable over $S^3$ if it extends to a periodic automorphism of the pair $(S^3,\Sigma)$ for some possible embedding $\Sigma\to S^3$. We classify and construct all extendable automorphisms of closed surfaces, with orientation-reversing cases included. Moreover, they can all be induced by automorphisms of $S^3$ on Heegaard surfaces. As a by-product, the embeddings of surfaces into lens spaces are discussed.

Geometric Topology
Automorphisms of the k-curve graph

Shuchi Agrawal,Tarik Aougab,Yassin Chandran,Marissa Loving,J. Robert Oakley,Roberta Shapiro,Yang Xiao

2023-06-06

Abstract:Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of such curves admitting representatives that intersect at most k times. We prove that the automorphism group of the k-curve graph of a surface S is isomorphic to the extended mapping class group for all k sufficiently small with respect to the Euler characteristic of S. We prove the same result for the so-called systolic complex, a variant of the curve graph whose complete subgraphs encode the intersection patterns for any collection of systoles with respect to a hyperbolic metric. This resolves a conjecture of Schmutz Schaller.

Geometric Topology,Combinatorics
Complements, index theorem, and minimal log discrepancies of foliated surface singularities

Jihao Liu,Fanjun Meng,Lingyao Xie

DOI: https://doi.org/10.1007/s40879-023-00719-9

2024-06-05

Abstract:We present an extension of several results on pairs and varieties to foliated surface pairs. We prove the boundedness of local complements, the local index theorem, and the uniform boundedness of minimal log discrepancies (mlds), as well as establishing the existence of uniform rational lc polytopes. Furthermore, we address two questions posed by P. Cascini and C. Spicer on foliations, providing negative responses. We also demonstrate that the Grauert-Riemenschneider type vanishing theorem generally fails for lc foliations on surfaces. In addition, we determine the set of minimal log discrepancies for foliated surface pairs with specific coefficients, which leads to the recovery of Y.-A. Chen's proof on the ascending chain condition conjecture for mlds for foliated surfaces.

Algebraic Geometry,Dynamical Systems
Automorphisms of the sphere complex of an infinite graph

Thomas Hill,Michael C. Kopreski,Rebecca Rechkin,George Shaji,Brian Udall

2024-10-09

Abstract:For a locally finite, connected graph $\Gamma$, let $\operatorname{Map}(\Gamma)$ denote the group of proper homotopy equivalences of $\Gamma$ up to proper homotopy. Excluding sporadic cases, we show $\operatorname{Aut}(S(M_\Gamma)) \cong \operatorname{Map}(\Gamma)$, where $\mathcal{S}(M_\Gamma)$ is the sphere complex of the doubled handlebody $M_\Gamma$ associated to $\Gamma$. We also construct an exhaustion of $S(M_\Gamma)$ by finite strongly rigid sets when $\Gamma$ has finite rank and finitely many rays, and an appropriate generalization otherwise.

Geometric Topology,Group Theory
Extendability over the $4$-sphere and invariant spin structures of surface automorphisms

Weibiao Wang,Zhongzi Wang

2023-10-09

Abstract:It is known that an automorphism of $F_g$, the oriented closed surface of genus $g$, is extendable over the 4-sphere $S^4$ if and only if it has a bounding invariant spin structure \cite{WsWz}. We show that each automorphism of $F_g$ has an invariant spin structure, and obtain a stably extendable result: Each automorphism of $F_g$ is extendable over $S^4$ after a connected sum with the identity map on the torus. Then each automorphism of an oriented once punctured surface is extendable over $S^4$. For each $g\neq 4$, we construct a periodic map on $F_g$ that is not extendable over $S^4$, and we prove that every periodic map on $F_4$ is extendable over $S^4$, which answer a question in \cite{WsWz}. We illustrate for an automorphism $f$ of $F_g$, how to find its invariant spin structures, bounding or not; and once $f$ has a bounding invariant spin structure, how to construct an embedding $F_g\hookrightarrow S^4$ so that $f$ is extendable with respect to this embedding.

Geometric Topology
CMC-1 surfaces via osculating Möbius transformations between circle patterns

Wai Yeung Lam

DOI: https://doi.org/10.1090/tran/9121

2023-12-26

Abstract:Given two circle patterns of the same combinatorics in the plane, the Möbius transformations mapping circumdisks of one to the other induces a $PSL(2,\mathbb{C})$-valued function on the dual graph. Such a function plays the role of an osculating Möbius transformation and induces a realization of the dual graph in hyperbolic space. We characterize the realizations and obtain a one-to-one correspondence in the cases that the two circle patterns share the same shear coordinates or the same intersection angles. These correspondences are analogous to the Weierstrass representation for surfaces with constant mean curvature $H\equiv 1$ in hyperbolic space. We further establish convergence on triangular lattices.

Geometric Topology,Complex Variables,Differential Geometry

Commensurability of Surface Automorphisms \\and surface bundles over $S^1$

The S^1 Fixed Points in Quot-schemes and Mirror Principle Computations

The S" fixed points in Quot-schemes

Commensurability of geometric subgroups of mapping class groups

Isomorphisms and commensurability of surface Houghton groups

Automorphisms of the compression body graph

Automorphism groups of simplicial complexes of infinite type surfaces

Automorphisms of moduli spaces of principal bundles over a smooth curve

Extending Periodic Automorphisms of Surfaces to 3-Manifolds

On conformally flat circle bundles over surfaces

Zero-sum multisets mod p with an application to surface automorphisms

Automorphisms of the complex of curves

Isometric embeddings of surfaces for scl

Surface Algebras and Surface Orders II: Affine Bundles on Curves

On the Automorphism Groups of Certain Branched Structures on Surfaces

Extendable periodic automorphisms of closed surfaces over the 3-sphere

Automorphisms of the k-curve graph

Complements, index theorem, and minimal log discrepancies of foliated surface singularities

Automorphisms of the sphere complex of an infinite graph

Extendability over the $4$-sphere and invariant spin structures of surface automorphisms

CMC-1 surfaces via osculating Möbius transformations between circle patterns