Free product of Demushkin groups as absolute Galois group

Tamar Bar-On

2024-08-25

Abstract:We prove that a free profinite (pro-$p$) product over a set converging to 1 of countably many Demushkin groups of rank $\aleph_0$, $G_i$, that can be realized as absolute Galois groups, is isomorphic to an absolute Galois group if and only if $\log_pq(G_i)\to \infty$.

Number Theory,Group Theory

What problem does this paper attempt to address?

Demushkin groups of uncountable rank

Tamar Bar-On,Nikolay Nikolov

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

2023-11-30

Abstract:We extend the theory of countably generated Demushkin groups to Demushkin groups of arbitrary rank. We investigate their algebraic properties and invariants, count their isomorphism classes and study their realization as absolute Galois group. At the end, we compute their profinite completion and conclude with some results on profinite completion of absolute Galois groups.

Number Theory,Group Theory
Irrationality of generic quotient varieties via Bogomolov multipliers

Urban Jezernik,Jonatan Sánchez

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

2023-01-17

Abstract:The Bogomolov multiplier of a group is the unramified Brauer group associated to the quotient variety of a faithful representation of the group. This object is an obstruction for the quotient variety to be stably rational. The purpose of this paper is to study these multipliers associated to nilpotent pro-$p$ groups by transporting them to their associated Lie algebras. Special focus is set on the case of $p$-adic Lie groups of nilpotency class $2$, where we analyse the moduli space. This is then applied to give information on asymptotic behaviour of multipliers of finite images of such groups of exponent $p$. We show that with fixed $n$ and increasing $p$, a positive proportion of these groups of order $p^n$ have trivial multipliers. On the other hand, we show that by fixing $p$ and increasing $n$, log-generic groups of order $p^n$ have non-trivial multipliers. Whence quotient varieties of faithful representations of log-generic $p$-groups are not stably rational. Applications in non-commutative Iwasawa theory are developed.

Group Theory,Algebraic Geometry
Pro-$p$ Poincaré-Duality groups of infinite rank

Tamar Bar-On

2024-11-13

Abstract:We introduce the class of \textit{Generalized Poincaré-Duality groups}: i.e, pro-$p$ groups of infinite rank which satisfy a Poincaré-duality. We prove some basic properties of Generalized Poincaré-Duality groups, and show that under some conditions, a group that fits into an exact sequence of GPD groups must be a Demushkin group.

Group Theory
Chasing maximal pro-p Galois groups via 1-cyclotomicity

Claudio Quadrelli

DOI: https://doi.org/10.1007/s00009-024-02598-0

2024-01-17

Abstract:Let $p$ be a prime. We prove that certain amalgamated free pro-$p$ products of Demushkin groups with pro-$p$-cyclic amalgam cannot give rise to a 1-cyclotomic oriented pro-$p$ group, and thus do not occur as maximal pro-$p$ Galois groups of fields containing a root of 1 of order $p$. We show that other cohomological obstructions which are used to detect pro-$p$ groups that are not maximal pro-$p$ Galois groups - the quadraticity of $\mathbb{Z}/p\mathbb{Z}$-cohomology and the vanishing of Massey products - fail with the above pro-$p$ groups. Finally, we prove that the Minač-Tân pro-$p$ group cannot give rise to a 1-cyclotomic oriented pro-$p$ group, and we conjecture that every 1-cyclotomic oriented pro-$p$ group satisfy the strong $n$-Massey vanishing property for $n>2$.

Group Theory
Cohomological properties of maximal pro- p Galois groups that are preserved under profinite completion

Tamar Bar-On

DOI: https://doi.org/10.1515/forum-2023-0227

2024-04-25

Forum Mathematicum

Abstract:Let p be a prime number. One of the most difficult and important questions in Galois theory these days is determining which pro- p groups can occur as maximal pro- p Galois groups. Some restrictions of the structure of maximal pro- p Galois groups are already known, and therefore, the families of all pro- p groups satisfying these restrictions are in the center of the research. In the current paper we deal with three of these families: The family of all pro- p groups which satisfy hereditarily the n -vanishing Massey product property, the family of 1-cyclotomic oriented pro- p groups, and the family of pro- p groups that are hereditarily of p -absolute Galois type. We show that all these families are closed under taking profinite completion of each order.

mathematics, applied
Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Marco Boggi

2024-08-22

Abstract:The Lannes-Quillen theorem relates the mod-$p$ cohomology of a finite group $G$ with the mod-$p$ cohomology of centralizers of abelian elementary $p$-subgroups of $G$, for $p>0$ a prime number. This theorem was extended to profinite groups whose mod-$p$ cohomology algebra is finitely generated by Henn. In a weaker form, the Lannes-Quillen theorem was then extended by Symonds to arbitrary profinite groups. Building on Symonds' result, we formulate and prove a full version of this theorem for all profinite groups. For this purpose, we develop a theory of products for families of discrete torsion modules, parameterized by a profinite space, which is dual, in a very precise sense, to the theory of coproducts for families of profinite modules, parameterized by a profinite space, developed by Haran, Melnikov and Ribes. In the last section, we give applications to the problem of conjugacy separability of $p$-torsion elements and finite $p$-subgroups.

Group Theory,Geometric Topology
First examples of non-abelian quotients of the Grothendieck-Teichmueller group that receive surjective homomorphisms from the absolute Galois group of rational numbers

Ivan Bortnovskyi,Vasily A. Dolgushev,Borys Holikov,Vadym Pashkovskyi

2024-05-20

Abstract:Many challenging questions about the Grothendieck-Teichmueller group, $GT$, are motivated by the fact that this group receives the injective homomorphism (called the Ihara embedding) from the absolute Galois group, $G_Q$, of rational numbers. Although the question about the surjectivity of the Ihara embedding is a very challenging problem, in this paper, we construct a family of finite non-abelian quotients of $GT$ that receive surjective homomorphisms from $G_Q$. We also assemble these finite quotients into an infinite (non-abelian) profinite quotient of $GT$. We prove that the natural homomorphism from $G_Q$ to the resulting profinite group is also surjective. We give an explicit description of this profinite group.

Group Theory,Number Theory
On the product decomposition conjecture for finite simple groups

Nick Gill,László Pyber,Ian Short,Endre Szabó

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

2012-05-17

Abstract:We prove that if $G$ is a finite simple group of Lie type and $S$ a subset of $G$ of size at least two then $G$ is a product of at most $c\log|G|/\log|S|$ conjugates of $S$, where $c$ depends only on the Lie rank of $G$. This confirms a conjecture of Liebeck, Nikolov and Shalev in the case of families of simple groups of Lie type of bounded rank.

Group Theory
Product Mixing in Compact Lie Groups

David Ellis,Guy Kindler,Noam Lifshitz,Dor Minzer

2024-05-03

Abstract:If $G$ is a group, we say a subset $S$ of $G$ is product-free if the equation $xy=z$ has no solutions with $x,y,z \in S$. For $D \in \mathbb{N}$, a group $G$ is said to be $D$-quasirandom if the minimal dimension of a nontrivial complex irreducible representation of $G$ is at least $D$. Gowers showed that in a $D$-quasirandom finite group $G$, the maximal size of a product-free set is at most $|G|/D^{1/3}$. This disproved a longstanding conjecture of Babai and Sós from 1985.

Combinatorics,Computational Complexity,Group Theory,Probability
Abelian absolute Galois groups

Moshe Jarden

DOI: https://doi.org/10.1017/s0017089524000028

2024-02-04

Glasgow Mathematical Journal

Abstract:Generalizing a result of Wulf-Dieter Geyer in his thesis, we prove that if is a finitely generated extension of transcendence degree of a global field and is a closed abelian subgroup of , then . Moreover, if , then is isomorphic to a closed subgroup of .

mathematics
Random graph products of finite groups are rational duality groups

Michael W. Davis,Matthew Kahle

DOI: https://doi.org/10.1112/jtopol/jtt047

2013-11-22

Abstract:Given an edge-independent random graph G(n,p), we determine various facts about the cohomology of graph products of groups for the graph G(n,p). In particular, the random graph product of a sequence of finite groups is a rational duality group with probability tending to 1 as n goes to infinity. This includes random right angled Coxeter groups as a special case.

Group Theory,Algebraic Topology,Combinatorics,Geometric Topology
Digraphs, pro-$p$ groups and Massey products in Galois cohomology

Claudio Quadrelli

2024-04-16

Abstract:Let $p$ be a prime. We characterize the oriented right-angled Artin pro-$p$ groups whose $\mathbb{F}_p$-cohomology algebra yields no essential $n$-fold Massey products for every $n>2$, in terms of the associated digraph. Moreover, we show that the $\mathbb{F}_p$-cohomology algebra of such oriented right-angled Artin pro-$p$ groups is isomorphic to the exterior Stanley-Reisner $\mathbb{F}_p$-algebra associated to the same digraph. This work also aims at providing a concrete and group-theoretic introduction to the study of Massey products in Galois cohomology for non-specialists, especially graduate students working in profinite group theory.

Group Theory,Combinatorics,Number Theory
Discrete subgroups with finite Bowen-Margulis-Sullivan measure in higher rank

Mikolaj Fraczyk,Minju Lee

2024-06-01

Abstract:Let $G$ be a connected semisimple real algebraic group and $\Gamma<G$ be its Zariski dense discrete subgroup. We prove that if $\Gamma\backslash G$ admits any finite Bowen-Margulis-Sullivan measure, then $\Gamma$ is virtually a product of higher rank lattices and discrete subgroups of rank one factors of $G$. This may be viewed as a measure-theoretic analogue of classification of convex cocompact actions by Kleiner-Leeb and Quint, which was conjectured by Corlette in 1994. The key ingredients in our proof are the product structure of leafwise measures and the high entropy method of Einsiedler-Katok-Lindenstrauss. In a companion paper jointly with Edwards and Oh, we use this result to show that the bottom of the $L^2$ spectrum has no atom in any infinite volume quotient of a higher rank simple algebraic group.

Dynamical Systems,Geometric Topology
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
Absolute Galois groups viewed from small quotients and the Bloch-Kato conjecture

Sunil Chebolu,Ján Mináč

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

2009-02-06

Abstract:In this paper we concentrate on the relations between the structure of small Galois groups, arithmetic of fields, Bloch-Kato conjecture, and Galois groups of maximal pro-$p$-quotients of absolute Galois groups.

Number Theory,Algebraic Topology
Prosoluble subgroups of free profinite products

Pavel Zalesskii

2024-08-04

Abstract:We describe free prosoluble subgroups of a free product of profinite groups by strengthening the theorem of Frorian Pop and answering two questions of K. Ersoy and W. Herfort. Relatively projective prosoluble groups are also described.

Group Theory,Number Theory
Demazure product of the affine Weyl groups

Xuhua He,Sian Nie

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

2021-12-13

Abstract:The Demazure product gives a natural monoid structure on any Coxeter group. Such structure occurs naturally in many different areas in Lie Theory. This paper studies the Demazure product of an extended affine Weyl group $\tilde W$. The main discovery is a close connection between the Demazure product of an extended affine Weyl group and the quantum Bruhat graph of the finite Weyl group. As applications, we obtain explicit formulas on the generic Newton points and the Demazure products of elements in the lowest two-sided cell/shrunken Weyl chambers of $\tilde W$, and obtain an explicit formula on the Lusztig-Vogan map from the coweight lattice to the set of dominant coweights.

Representation Theory,Algebraic Geometry
Demazure product and hopping in type D

Darren Han,Michelle Huang,Benjamin Keller,Suho Oh,Jerry Zhang

2024-11-28

Abstract:The Demazure product, also called the 0-Hecke product, is an associative operation on Coxeter groups with interesting properties and applications. In (Li et al 2024) it was shown that the Demazure product of two permutations can be described purely combinatorially: using only their one-line notation and not relying on reduced words. In this paper, we extend this to type D Coxeter groups.

Combinatorics

Free product of Demushkin groups as absolute Galois group

Demushkin groups of uncountable rank

Irrationality of generic quotient varieties via Bogomolov multipliers

Pro-$p$ Poincaré-Duality groups of infinite rank

Chasing maximal pro-p Galois groups via 1-cyclotomicity

Cohomological properties of maximal pro- p Galois groups that are preserved under profinite completion

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

First examples of non-abelian quotients of the Grothendieck-Teichmueller group that receive surjective homomorphisms from the absolute Galois group of rational numbers

On the product decomposition conjecture for finite simple groups

Product Mixing in Compact Lie Groups

Abelian absolute Galois groups

Random graph products of finite groups are rational duality groups

Digraphs, pro-$p$ groups and Massey products in Galois cohomology

Discrete subgroups with finite Bowen-Margulis-Sullivan measure in higher rank

Virtual homology of limit groups and profinite rigidity of direct products

Absolute Galois groups viewed from small quotients and the Bloch-Kato conjecture

Prosoluble subgroups of free profinite products

Demazure product of the affine Weyl groups

Demazure product and hopping in type D