Some surfaces covered by the ball and a problem in finite groups

G. D. Mostow,Stephen S. T. Yau

DOI: https://doi.org/10.1007/BFb0079239

1987-01-01

Lecture notes in mathematics

Abstract:Without Abstract

What problem does this paper attempt to address?

Covering nearly surface-embedded graphs with a fixed number of balls

Glencora Borradaile,Erin Wolf Chambers

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

2014-04-01

Abstract:A recent result of Chepoi, Estellon and Vaxes [DCG '07] states that any planar graph of diameter at most 2R can be covered by a constant number of balls of size R; put another way, there are a constant-sized subset of vertices within which every other vertex is distance half the diameter. We generalize this result to graphs embedded on surfaces of fixed genus with a fixed number of apices, making progress toward the conjecture that graphs excluding a fixed minor can also be covered by a constant number of balls. To do so, we develop two tools which may be of independent interest. The first gives a bound on the density of graphs drawn on a surface of genus $g$ having a limit on the number of pairwise-crossing edges. The second bounds the size of a non-contractible cycle in terms of the Euclidean norm of the degree sequence of a graph embedded on surface.

Computational Geometry
Balls in groups: volume, structure and growth

Romain Tessera,Matthew Tointon

2024-03-18

Abstract:We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with finite symmetric generating set $S$ containing the identity and $|S^n|\le cn^{d+1}|S|$ for some positive integer $n$ then there exist normal subgroups $H\le\Gamma\le G$ such that $H\subseteq S^n$, such that $\Gamma/H$ is $d$-nilpotent (i.e. has a central series of length $d$ with cyclic factors), and such that $[G:\Gamma]\le g(d)$, where $g(d)$ denotes the maximum order of a finite subgroup of $GL_d(\mathbb{Z})$. The bounds on both the nilpotence and index are sharp; the previous best bounds were $O(d)$ on the nilpotence, and an ineffective function of $d$ on the index. In fact, we obtain this as a small part of a much more detailed fine-scale description of the structure of $G$. These results have a wide range of applications in various aspects of the theory of vertex-transitive graphs: percolation theory, random walks, structure of finite groups, scaling limits of finite vertex-transitive graphs.... We obtain some of these applications in the present paper, and treat others in companion papers. Some are due to or joint with other authors.

Group Theory,Combinatorics,Probability
On the asymptotics of visible elements and homogeneous equations in surface groups

Yago Antolín,Laura Ciobanu,Noèlia Viles

DOI: https://doi.org/10.4171/GGD/167

2011-05-12

Abstract:Let $F$ be a group whose abelianization is $\Z^k$, $k\geq 2.$ An element of $F$ is called visible if its image in the abelianization is visible, that is, the greatest common divisor of its coordinates is 1. In this paper we compute three types of densities, annular, even and odd spherical, of visible elements in surface groups. We then use our results to show that the probability of a homogeneous equation in a surface group to have solutions is neither 0 nor 1, as the lengths of the right- and left-hand side of the equation go to infinity.

Group Theory
Cubulating Surface-by-free Groups

Jason F. Manning,Mahan Mj,Michah Sageev

2023-09-29

Abstract:Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= \pi_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide sufficient conditions to prove that $G$ is cubulable and construct examples satisfying these conditions. The main result may be thought of as a combination theorem for virtually special hyperbolic groups when the amalgamating subgroup is not quasiconvex. Ingredients include the theory of tracks, the quasiconvex hierarchy theorem of Wise, the distance estimates in the mapping class group from subsurface projections due to Masur-Minsky and the model geometry for doubly degenerate Kleinian surface groups used in the proof of the ending lamination theorem. An appendix to this paper by Manning, Mj, and Sageev proves a reduction theorem by showing that cubulability of $G$ follows from the existence of an essential incompressible quasiconvex track in a surface bundle over a graph with fundamental group $G$.

Geometric Topology,Group Theory
Abelian surfaces over finite fields with prescribed groups

Chantal David,Derek Garton,Zachary Scherr,Arul Shankar,Ethan Smith,Lola Thompson

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

2013-07-03

Abstract:Let A be an abelian surface over F_q, the field of q elements. The rational points on A/\F_q form an abelian group A(\F_q) \simeq \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z. We are interested in knowing which groups of this shape actually arise as the group of points on some abelian surface over some finite field. For a fixed prime power q, a characterization of the abelian groups that occur was recently found by Rybakov. One can use this characterization to obtain a set of congruences modulo the integers $n_1, n_2, n_3, n_4$ on certain combinations of coefficients of the corresponding Weil polynomials. We use Rybakov's criterion to show that groups \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z do not occur if n_1 is very large with respect to n_2, n_2, n_4 (Theorem \ref{splitbound}), and occur with density zero in a wider range of the variables (Theorem \ref{splitbound-average}).

Number Theory
Some Geometric and Topological Properties of Banach Spaces Via Ball Coverings

Lixin Cheng,Bo Wang,Wen Zhang,Yu Zhou

DOI: https://doi.org/10.1016/j.jmaa.2010.12.013

IF: 1.417

2010-01-01

Journal of Mathematical Analysis and Applications

Abstract:By a ball-covering B of a Banach space X, we mean that B is a collection of open (or closed) balls off the origin whose union contains the unit sphere of X; and X is said to have the ball-covering property provided it admits a ball-covering of countably many balls. This paper shows that Gδ property of points in a Banach space X endowed with the ball topology is equivalent to the space X admitting the ball-covering property. Moreover, smoothness, uniform smoothness of X can be characterized by properties of ball-coverings of its finite dimensional subspaces.
Several Remarks on Ball-Coverings of Normed Spaces

Li Xin Cheng,Zheng Hua Luo,Xue Fang Liu,Wen Zhang

DOI: https://doi.org/10.1007/s10114-010-9036-0

2010-01-01

Acta Mathematica Sinica English Series

Abstract:This paper presents two counterexamples about ball-coverings of Banach spaces and shows a new characterization of uniformly non-square Banach spaces via ball-coverings.
On the fundamental groups of surfaces parametrizing cuboids

David Jarossay,Francesco Maria Saettone,Yotam Svoray

2024-09-17

Abstract:We prove that the complex surfaces parametrizing cuboids and face cuboids, as well as their minimal resolution of singularities, have trivial fundamental group. We then compute the fundamental group of certain open smooth subvarieties of the complex surface parametrizing face cuboids.

Algebraic Geometry
Bounds for Fixed Points and Fixed Subgroups on Surfaces and Graphs

Boju Jiang,Shida Wang,Qiang Zhang

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

2011-01-01

Algebraic & Geometric Topology

Abstract:We consider selfmaps of hyperbolic surfaces and graphs, and give some bounds involving the rank and the index of fixed point classes. One consequence is a rank bound for fixed subgroups of surface group endomorphisms, similar to the Bestvina‐Handel bound (originally known as the Scott conjecture) for free group automorphisms. When the selfmap is homotopic to a homeomorphism, we rely on Thurston’s classification of surface automorphisms. When the surface has boundary, we work with its spine, and Bestvina‐Handel’s theory of train track maps on graphs plays an essential role. It turns out that the control of empty fixed point classes (for surface automorphisms) presents a special challenge. For this purpose, an alternative definition of fixed point class is introduced, which avoids covering spaces hence is more convenient for geometric discussions. 55M20, 57M07; 20F34, 57M15, 57N05
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
Random Surfaces and Higher Algebra

Darrick Lee,Harald Oberhauser

2024-09-03

Abstract:The space of surfaces $\mathbf{X}: [0,1]^2 \to \mathbb{R}^d$ is equipped with natural horizontal and vertical concatenation operations, and we study representations of surfaces which preserve this algebraic structure. The framework of higher category theory allows us to formalize this notion in terms of a functor between double groupoids. We construct such functors by generalizing the classical concept of the path-ordered exponential as a nonabelian path integral. This generalization yields a notion of nonabelian surface integration, and is known in higher gauge theory as surface holonomy (or higher parallel transport). We extend these constructions from smooth surfaces to bounded controlled $p$-variation surfaces in the Young regime, with $p < 2$. By focusing on surface holonomy valued in higher generalizations of the classical matrix groups, called matrix double groups, we obtain explicit computations for piecewise linear approximations. Furthermore, we generalize the nonabelian Stokes' and Fubini theorems to the Young regime. Finally, we use these matrix surface holonomy functors to construct characteristic functions for random surfaces such as fractional Brownian sheets with Hurst parameter $h> \frac{1}{2}$.

Probability,Algebraic Topology,Category Theory,Differential Geometry
Non-dense orbits on homogeneous spaces and applications to geometry and number theory

JINPENG AN,LIFAN GUAN,DMITRY KLEINBOCK

DOI: https://doi.org/10.1017/etds.2021.4

2021-03-18

Ergodic Theory and Dynamical Systems

Abstract:Abstract Let G be a Lie group, let $\Gamma \subset G$ be a discrete subgroup, let $X=G/\Gamma $ and let f be an affine map from X to itself. We give conditions on a submanifold Z of X that guarantee that the set of points $x\in X$ with f -trajectories avoiding Z is hyperplane absolute winning (a property which implies full Hausdorff dimension and is stable under countable intersections). A similar result is proved for one-parameter actions on X . This has applications in constructing exceptional geodesics on locally symmetric spaces and in non-density of the set of values of certain functions at integer points.

mathematics, applied
On the Areas of Genus Zero Free Boundary Minimal Surfaces Embedded in the Unit 3-Ball

McGrath, Peter,Zou, Jiahua

DOI: https://doi.org/10.1007/s12220-024-01726-2

2024-06-27

Journal of Geometric Analysis

Abstract:We prove that the area of each nonflat genus zero free boundary minimal surface embedded in the unit 3-ball is less than the area of its radial projection to . The inequality is asymptotically sharp, and we prove any sequence of surfaces saturating it converges weakly to , as currents and as varifolds.

mathematics
Connected algebraic groups acting on algebraic surfaces

Pascal Fong

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

2021-11-09

Abstract:We classify the maximal connected algebraic subgroups of Bir(X), when X is a surface.

Algebraic Geometry
A Note on Finite Abelian Covers

Yun Gao

DOI: https://doi.org/10.1007/s11425-011-4201-1

2011-01-01

Science China Mathematics

Abstract:We prove that any abelian cover over a smooth variety is defined by some cyclic equations. From the defining equations, we compute explicitly the normalization, branch locus, ramification indices, global invariants, and the resolution of singularities. As an application, we construct a new algebraic surface which is the quotient of ball.
On coverings by Minkowski balls in the plane and a duality

Nikolaj Glazunov

2023-12-06

Abstract:Lattice coverings in the real plane by Minkowski balls are studied. We exploit the duality of admissible lattices of Minkowski balls and inscribed convex symmetric hexagons of these balls. An explicit moduli space of the areas of these hexagons is constructed, giving the values of the determinants of corresponding covering lattices. Low and upper bounds for covering constants of Minkowski balls are given. The best known value of covering density of Minkowski ball is obtained. One conjecture and one problem are formulated.

Number Theory
Large finite group actions on surfaces: Hurwitz groups, maximal reducible and maximal handlebody groups, bounding and non-bounding actions

Bruno P. Zimmermann

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

2024-02-16

Abstract:We consider large finite group-actions on surfaces and discuss and compare various notions for such actions: Hurwitz actions and Hurwitz groups; maximal reducible and completely reducible actions; bounding and geometrically bounding actions; maximal handlebody groups and maximal bounded surface groups; in particular, we discuss small simple groups of various types. A Hurwitz group is a finite group of orientation-preserving diffeomorphisms of maximal possible order $84(g-1)$ of a closed orientable surface of genus $g>1$. A maximal handlebody group instead is a group of orientation-preserving diffeomorphisms of maximal possible order $12(g-1)$ of a 3-dimensional handlebody of genus $g>1$. Among others, we consider the question of when a Hurwitz group acting on a surface of genus $g$ contains a subgroup of maximal possible order $12(g-1)$ extending to a handlebody (or, more generally, a maximal reducible group extending to a product with handles), and show that such Hurwitz groups are closely related to the smallest Hurwitz group ${\rm PSL}_2(7)$ of order 168 acting on Klein's quartic of genus 3. We discuss simple groups of small order which are maximal handlebody groups and, more generaly, maximal reducible groups. We discuss also the problem of which Hurwitz actions bound geometrically, and in particular whether Klein's quartic bounds geometrically: does there exist a compact hyperbolic 3-manifold with totally geodesic boundary isometric to Klein's quartic? Finally, large bounding and non-bounding actions on surfaces of genus 2, 3 and 4 are discussed in section 3.

Geometric Topology,Group Theory
Finite Covers of Groups by Cosets or Subgroups

Zhi-Wei Sun

DOI: https://doi.org/10.1142/s0129167x06003813

2006-01-01

International Journal of Mathematics

Abstract:This paper deals with combinatorial aspects of finite covers of groups by cosets or subgroups. Let a1G1,…,akGkbe left cosets in a group G such that [Formula: see text] covers each element of G at least m times but none of its proper subsystems does. We show that if G is cyclic, or G is finite and G1,…,Gkare normal Hall subgroups of G, then the inequality [Formula: see text] holds, where [Formula: see text] if p1,…,prare distinct primes and α1,…,αrare nonnegative integers. When all the aiare the identity element of G and all the Giare subnormal in G, we prove that there is a composition series from [Formula: see text] to G whose factors are of prime orders. The paper also includes some other results and two challenging conjectures.
The fundamental group of Galois covers of surfaces with octahedral envelope

Meirav Amram,Cheng Gong,Praveen Kumar Roy,Uriel Sinichkin,Uzi Vishne

2024-12-04

Abstract:We compute the fundamental group of the Galois cover of a surface of degree~$8$, with singularities of degree $4$, whose degeneration envelope is isomorphic to an octahedron. The group is shown to be a metabelian group of order $2^{23}$. The computation amalgamates local groups, classified elsewhere, by an iterative combination of computational and group theoretic methods. Three simplified surfaces, for which the fundamental group of the Galois cover is trivial, demonstrate how nontrivial cycles in the degenerated surface complicate the computation.

Algebraic Geometry
Coarsely bounded generating sets for mapping class group of infinite-type surfaces

Thomas Hill,Sanghoon Kwak,Rebecca Rechkin

2023-12-05

Abstract:Mann-Rafi's work takes a first step toward studying the coarse geometry of the mapping class group of an infinite-type surface. They accomplish this by constructing a coarsely bounded (CB) generating set for the mapping class groups of such surfaces. In this expository note, we illustrate the generating sets for various explicit examples.

Geometric Topology

Some surfaces covered by the ball and a problem in finite groups

Covering nearly surface-embedded graphs with a fixed number of balls

Balls in groups: volume, structure and growth

On the asymptotics of visible elements and homogeneous equations in surface groups

Cubulating Surface-by-free Groups

Abelian surfaces over finite fields with prescribed groups

Some Geometric and Topological Properties of Banach Spaces Via Ball Coverings

Several Remarks on Ball-Coverings of Normed Spaces

On the fundamental groups of surfaces parametrizing cuboids

Bounds for Fixed Points and Fixed Subgroups on Surfaces and Graphs

On conformally flat circle bundles over surfaces

Random Surfaces and Higher Algebra

Non-dense orbits on homogeneous spaces and applications to geometry and number theory

On the Areas of Genus Zero Free Boundary Minimal Surfaces Embedded in the Unit 3-Ball

Connected algebraic groups acting on algebraic surfaces

A Note on Finite Abelian Covers

On coverings by Minkowski balls in the plane and a duality

Large finite group actions on surfaces: Hurwitz groups, maximal reducible and maximal handlebody groups, bounding and non-bounding actions

Finite Covers of Groups by Cosets or Subgroups

The fundamental group of Galois covers of surfaces with octahedral envelope

Coarsely bounded generating sets for mapping class group of infinite-type surfaces