Division in group rings of surface groups

Grigori Avramidi

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

2021-01-04

Abstract:We prove a division algorithm for group rings of high genus surface groups and use it to show that some $2$-complexes with surface fundamental groups are standard. We also give an application of division to cohomological dimension of $2$-relator groups acting on $\mathbb H^n$.

Geometric Topology,Group Theory,Rings and Algebras

What problem does this paper attempt to address?

On the Cuspidal Cohomology of Arithmetic Groups

Jian-Shu Li,Joachim Schwermer

DOI: https://doi.org/10.1353/ajm.0.0073

IF: 1.835

2009-01-01

American Journal of Mathematics

Abstract:It is the main objective of this paper to show a vanishing result for cuspidal cohomology of arithmetic groups in classical groups~$G$ defined over some number field~$k$.Our approach relies on the fact that cuspidal automorphic forms are nonsingular in the sense of Howe. This result puts a strong constraint on the (archimedean components of) irreducible cuspidal automorphic representations of $G$that can possibly contribute to the cuspidal cohomology. Combining this with the classification of Vogan-Zuckerman of unitary representations with nonzero cohomologyprovides a constant $r_0(G/k)$, only depending on $G/k$, below which the cuspidal cohomology vanishes. We will give a formula for this constant for each classical group of type (I) in the classification scheme due to Weil. We conclude with making this result explicit for some split classical groups over a totally real algebraic number field.
Division rings for group algebras of virtually compact special groups

Sam P. Fisher,Pablo Sánchez-Peralta

2024-05-28

Abstract:Let $k$ be a division ring and let $G$ be either a torsion-free virtually compact special group or a torsion-free $3$-manifold group. We embed the group algebra $kG$ in a division ring and prove that the embedding is Hughes-free whenever $G$ is locally indicable. In particular, we prove that Kaplansky's zerodivisor conjecture holds for all group algebras of torsion-free $3$-manifold groups. The embedding is also used to confirm a conjecture of Kielak and Linton. Thanks to the work of Jaikin-Zapirain, another consequence of the embedding is that $kG$ is coherent whenever $G$ is a virtually compact special one-relator group. If $G$ is a torsion-free one-relator group, let $\overline{kG}$ be the division ring containing $kG$ constructed by Lewin and Lewin. We prove that $\overline{kG}$ is Hughes-free whenever a Hughes-free $kG$-division ring exists. This is always the case when $k$ is of characteristic zero; in positive characteristic, our previous result implies this happens when $G$ is virtually compact special.

Group Theory
Virtual homology of limit groups and profinite rigidity of direct products

Jonathan Fruchter,Ismael Morales

2024-05-21

Abstract:We show that the virtual second Betti number of a finitely generated, residually free group $G$ is finite if and only if $G$ is either free, free abelian or the fundamental group of a closed surface. We also prove a similar statement in higher dimensions. We then develop techniques involving rank gradients of pro-$p$ groups, which allow us to recognise direct product decompositions. Combining these ideas, we show that direct products of free and surface groups are profinitely rigid among finitely presented, residually free groups, partially resolving a conjecture of Bridson's. Other corollaries that we obtain include a confirmation of Mel'nikov's surface group conjecture in the residually free case, and a description of closed aspherical manifolds of dimension at least $5$ with a residually free fundamental group.

Group Theory,Geometric Topology
Division Rings with Ranks

Nadja Hempel,Daniel Palacín

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

2016-05-13

Abstract:Any superrosy division ring (i.e. a division ring equipped with an abstract notion of rank) is shown to be centrally finite. Furthermore, division rings satisfying a generalized chain condition on definable subgroups are studied. In particular, a division ring of burden n has dimension at most n over its center, and any definable group of definable automorphisms of a field of burden n has size at most n. Additionally, interpretable division rings in o-minimal structures are shown to be algebraically closed, real closed or the quaternions over a real closed field.

Logic,Rings and Algebras
Subgroups of word hyperbolic groups in dimension 2 over arbitrary rings

Shaked Bader,Robert Kropholler,Vladimir Vankov

2024-05-30

Abstract:In 1996, Gersten proved that finitely presented subgroups of a word hyperbolic group of integral cohomological dimension 2 are hyperbolic. We use isoperimetric inequalities over arbitrary rings to extend this result to any ring. In particular, we study the discrete isoperimetric function and show that its linearity is equivalent to hyperbolicity, which is also equivalent to it being subquadratic. We further use these ideas to obtain conditions for subgroups of higher rank hyperbolic groups to be again higher rank hyperbolic of the same rank. The appendix discusses the equivalence between isoperimetric inequalities and coning inequalities in the simplicial setting and the general setting, leading to combinatorial definitions of higher rank hyperbolicity in the setting of simplicial complexes and allowing us to give elementary definitions of higher rank hyperbolic groups.

Group Theory
Surface groups among cubulated hyperbolic and one-relator groups

Henry Wilton

2024-06-04

Abstract:Let $X$ be a non-positively curved cube complex with hyperbolic fundamental group. We prove that $\pi_1(X)$ has a non-free subgroup of infinite index unless $\pi_1(X)$ is either free or a surface group, answering a question of Wise. A similar result for one-relator groups follows, answering a question posed by several authors. The proof relies on a careful analysis of free and cyclic splittings of cubulated groups.

Group Theory,Geometric Topology
Cubic surface bundles and the Brauer group

Alena Pirutka

2023-12-01

Abstract:In this note we define a subgroup $H^i_{nr,\pi}$ of unramified cohomology group $H^i_{nr}$ of a fibration $\pi:X\to S$. This subgroup can be used efficiently in refined specialization arguments and allows to detect the failure of stable rationality of a variety specializing to $X$. We compute $H^2_{nr, \pi}$ systematically for many cubic surface bundles $\pi:X\to S$ over a smooth projective rational surface over an algebraically closed field: we give a combinatorial formula in terms of components of the discriminant divisor of $\pi$.

Algebraic Geometry
Groupoid Graded Semisimple Rings

Zaqueu Cristiano,Wellington Marques de Souza,Javier Sánchez

2024-08-06

Abstract:We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $\Gamma_0$-artinian. One of our main results is a groupoid graded version of the Wedderburn-Artin Theorem, where we characterize groupoid graded semisimple rings as direct sums of graded simple $\Gamma_0$-artinian rings and we exhibit the structure of this latter class of rings. In this direction, we also prove a groupoid graded version of Jacobson-Chevalley density theorem. We need to define and study properties of groupoid gradings on matrix rings (possibly of infinite size) over groupoid graded rings, and specially over groupoid graded division rings. Because of that, we study groupoid graded division rings and their graded modules. We consider a natural notion of freeness for groupoid graded modules that, when specialized to group graded rings, gives the usual one, and show that for a groupoid graded division ring all graded modules are free (in this sense). Contrary to the group graded case, there are groupoid graded rings for which all graded modules are free according to our definition, but they are not graded division rings. We exhibit an easy example of this kind of rings and characterize such class among groupoid graded semisimple rings. We also relate groupoid graded semisimple rings with the notion of semisimple category defined by B. Mitchell. For that, we show the link between functors from a preadditive category to abelian groups and graded modules over the groupoid graded ring associated to this category, generalizing a result of P. Gabriel. We characterize simple artinian categories and categories for which every functor from them to abelian groups is free in the sense of B. Mitchell.

Rings and Algebras,Category Theory
Torelli Group Action on the Configuration Space of a Surface

Eduard Looijenga

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

2021-01-01

Journal of Topology and Analysis

Abstract:We show that the Torelli group of a closed surface of genus [Formula: see text] acts nontrivially on the rational cohomology of the space of [Formula: see text]-element subsets of that surface. This implies that for a Riemann surface of genus [Formula: see text], the mixed Hodge structure on the space of its positive, reduced divisors of degree [Formula: see text] does in general not split over [Formula: see text].
Topological and dynamical properties of Torelli groups of partitioned surfaces

Hyungryul Baik,Hyunshik Shin,Philippe Tranchida

DOI: https://doi.org/10.1007/s10711-024-00889-0

2024-02-09

Geometriae Dedicata

Abstract:Putman introduced a notion of a partitioned surface which is a surface with boundary with decoration restricting how the surface can be embedded into larger surfaces, and defined the Torelli group of the partitioned surfaces. In this paper, we study some topological and dynamical aspects of the Torelli groups of partitioned surfaces. More precisely, first we obtain upper and lower bounds on the cohomological dimension of Torelli groups of partitioned surfaces and show that those two bounds coincide when at most three boundary components are grouped together in the partition of the boundary. Second, we study the asymptotic translation lengths of Torelli groups of partitioned surfaces on the corresponding curve complexes. We show that the minimal asymptotic translation length asymptotically behaves almost like the reciprocal of the Euler characteristic of the surface. This generalizes the previous result of the first and second authors on Torelli groups for closed surfaces.

mathematics
The dual complex of a $G$-variety

Louis Esser

2024-09-16

Abstract:We introduce a new invariant of $G$-varieties, the dual complex, which roughly measures how divisors in the complement of the free locus intersect. We show that the top homology group of this complex is an equivariant birational invariant of $G$-varieties. As an application, we demonstrate the non-linearizability of certain large abelian group actions on smooth hypersurfaces in projective space of any dimension and degree at least $3$.

Algebraic Geometry
The genus of division algebras over discrete valued fields

S. Srimathy

2024-09-21

Abstract:Given a field with a set of discrete valuations $V$, we show how the genus of a division algebra over the field is related to the genus of the residue algebras at various valuations in $V$ and the ramification data. When the division algebra is a quaternion, we show the triviality of genus over many fields which include higher local fields, function fields of curves over higher local fields and function fields of curves over real closed fields. We also consider function fields of curves over global fields with a rational point and show how the genus problem is related to the $2$-torsion of the Tate-Shafarevich group of its Jacobian. As a special case, we show how the methods developed yield better bounds on the size of the genus over function fields of elliptic curves and demonstrate how they can be computed directly using arithmetic data of the elliptic curve with a number of examples.

Number Theory,Algebraic Geometry,Rings and Algebras
Group actions and irrationality in surface families

Nathan Chen,Louis Esser

2024-10-24

Abstract:Rationality specializes in families of surfaces, even with mild singularities. In this paper, we study the analogous question for the degree of irrationality. We prove a specialization result when the degree of irrationality on the generic fiber arises from the quotient by a group action.

Algebraic Geometry
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
On the degree-two part of the associated graded of the lower central series of the Torelli group

Quentin Faes,Gwenael Massuyeau,Masatoshi Sato

2024-07-11

Abstract:We consider the associated graded $\bigoplus_{k\geq 1} \Gamma_k \mathcal{I} / \Gamma_{k+1} \mathcal{I} $ of the lower central series $\mathcal{I} = \Gamma_1 \mathcal{I} \supset \Gamma_2 \mathcal{I} \supset \Gamma_3 \mathcal{I} \supset \cdots$ of the Torelli group $\mathcal{I}$ of a compact oriented surface. Its degree-one part is well-understood by D. Johnson's seminal works on the abelianization of the Torelli group. The knowledge of the degree-two part $(\Gamma_2 \mathcal{I} / \Gamma_3 \mathcal{I})\otimes \mathbb{Q}$ with rational coefficients arises from works of S. Morita on the Casson invariant and R. Hain on the Malcev completion of $\mathcal{I}$. Here, we prove that the abelian group $\Gamma_2 \mathcal{I} / \Gamma_3 \mathcal{I}$ is torsion-free, and we describe it as a lattice in a rational vector space. As an application, the group $\mathcal{I}/\Gamma_3 \mathcal{I}$ is computed, and it is shown to embed in the group of homology cylinders modulo the surgery relation of $Y_3$-equivalence.

Geometric Topology,Group Theory
Strange divisibility in groups and rings

Anton A. Klyachko,Anna A. Mkrtchyan

DOI: https://doi.org/10.1007/s00013-016-1008-x

2017-05-01

Abstract:We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative ring, the number of Pythagorean triples (as well as four-tuples, etc.) of invertible elements is a multiple of the order of the multiplicative group.

Group Theory,Rings and Algebras
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
Groups of cohomological codimension one

Alexander Margolis

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

2019-08-23

Abstract:We show that if $H$ is an almost normal subgroup of $G$ such that both $H$ and $G$ are of type $VFP$ and vcd($G$) = vcd($H$) + 1, then $G$ is the fundamental group of a graph of groups in which all vertex and edge groups are commensurable to $H$. We also investigate almost normal subgroups of one-relator groups and duality groups.

Group Theory
Distributional Topological Complexity of groups

Alexander Dranishnikov

2024-04-04

Abstract:We study numerical invariants $d\TC(\Gamma)$ and $d\cat(\Gamma)$ of groups recently introduced in \cite{DJ} and independently in \cite{KW}. We compute $d\TC$ for finite cyclic groups $\mathbb Z_p$ with prime $p$ as well as for nonorientable surfaces of genus $g>3$ (for orientable surfaces it was computed in \cite{DJ}). We prove the formula $$d\TC(G\ast H)=\max\{d\TC (G),d\TC (H), \cd(G\times H)\}$$ for torsion free groups.

Geometric Topology
The decomposition theorem and the intersection cohomology of quotients in algebraic geometry

Jonathan Woolf

DOI: https://doi.org/10.1016/s0022-4049(03)00030-6

IF: 0.834

2003-08-01

Journal of Pure and Applied Algebra

Abstract:Suppose a connected reductive complex algebraic group G acts linearly on an irreducible complex projective variety X. We prove that if1→N→G→H→1is a short exact sequence of connected reductive groups and Xss the open set of semistable points for the action of N on X then IHH∗(XssN) is (non-canonically) a direct summand of IHG∗(Xss). The inclusion is provided by the decomposition theorem and certain resolutions of the action allow us to define projections.

mathematics, applied

Division in group rings of surface groups

On the Cuspidal Cohomology of Arithmetic Groups

Division rings for group algebras of virtually compact special groups

Virtual homology of limit groups and profinite rigidity of direct products

Division Rings with Ranks

Subgroups of word hyperbolic groups in dimension 2 over arbitrary rings

Surface groups among cubulated hyperbolic and one-relator groups

Cubic surface bundles and the Brauer group

Groupoid Graded Semisimple Rings

Torelli Group Action on the Configuration Space of a Surface

Topological and dynamical properties of Torelli groups of partitioned surfaces

The dual complex of a $G$-variety

The genus of division algebras over discrete valued fields

Group actions and irrationality in surface families

Cubulating Surface-by-free Groups

On the degree-two part of the associated graded of the lower central series of the Torelli group

Strange divisibility in groups and rings

The fundamental group of Galois covers of surfaces with octahedral envelope

Groups of cohomological codimension one

Distributional Topological Complexity of groups

The decomposition theorem and the intersection cohomology of quotients in algebraic geometry