Universality of the Galois action on the fundamental group of $\mathbb{P}^1\setminus\{0,1,\infty\}$

Alexander Petrov

2024-06-06

Abstract:We prove that any semi-simple representation of the Galois group of a number field coming from geometry appears as a subquotient of the ring of regular functions on the pro-algebraic completion of the fundamental group of the projective line with $3$ punctures.

Number Theory,Algebraic Geometry

What problem does this paper attempt to address?

On an Algebraic Formula and Applications to Group Action on Manifolds

Ping Li,Kefeng Liu

DOI: https://doi.org/10.4310/ajm.2013.v17.n2.a5

2013-01-01

Asian Journal of Mathematics

Abstract:We consider a purely algebraic result. Then given a circle or cyclic group of prime order action on a manifold, we will use it to estimate the lower bound of the number of fixed points. We also give an obstruction to the existence of $\mathbb{Z}_p$ action on manifolds with isolated fixed points when $p$ is a prime.
Arithmetic representations of fundamental groups II: finiteness

Daniel Litt

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

2018-09-11

Abstract:Let $X$ be a smooth curve over a finitely generated field $k$, and let $\ell$ be a prime different from the characteristic of $k$. We analyze the dynamics of the Galois action on the deformation rings of mod $\ell$ representations of the geometric fundamental group of $X$. Using this analysis, we prove analogues of the Shafarevich and Fontaine-Mazur finiteness conjectures for function fields over algebraically closed fields in arbitrary characteristic, and a weak variant of the Frey-Mazur conjecture for function fields in characteristic zero. For example, we show that if $X$ is a normal, connected variety over $\mathbb{C}$, the (typically infinite) set of representations of $\pi_1(X^{\text{an}})$ into $GL_n(\overline{\mathbb{Q}_\ell})$, which come from geometry, has no limit points. As a corollary, we deduce that if $L$ is a finite extension of $\mathbb{Q}_\ell$, then the set of representations of $\pi_1(X^{\text{an}})$ into $GL_n(L)$, which arise from geometry, is finite.

Algebraic Geometry,Number Theory
Arithmetic Restrictions on Geometric Monodromy

Daniel Litt

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

2016-07-19

Algebraic Geometry

Abstract:Let X be a normal complex algebraic variety, and p a prime. We show that there exists an integer N=N(X, p) such that: any non-trivial, irreducible representation of the fundamental group of X, which arises from geometry, must be non-trivial mod p^N. The proof involves an analysis of the action of the Galois group of a finitely generated field on the etale fundamental group of X. We also prove many arithmetic statements about fundamental groups which are of independent interest, and give several applications.
Unipotent representations of real classical groups

Jia-jun Ma,Binyong Sun,Chen-Bo Zhu

2017-01-01

Abstract:Let $mathbf G$ be a complex orthogonal or complex symplectic group, and let $G$ be a real form of $mathbf G$, namely $G$ is a real orthogonal group, a real symplectic group, a quaternionic orthogonal group, or a quaternionic symplectic group. For a fixed parity $mathbb pin mathbb Z/2mathbb Z$, we define a set $mathrm{Nil}^{mathbb p}_{mathbf G}(mathfrak g)$ of nilpotent $mathbf G$-orbits $mathfrak g$ (the Lie algebra of $mathbf G$). When $mathbb p$ is the parity of the dimension of the standard module of $mathbf G$, this is the set of the stably trivial special nilpotent orbits, which includes all rigid special nilpotent orbits. For each $mathcal O in mathrm{Nil}^{mathbb p}_{mathbf G}(mathfrak g)$, we construct all unipotent representations of $G$ (or its metaplectic cover when $G$ is a real symplectic group and $mathbb p$ is odd) attached to $mathcal O$ via the method of theta lifting and show particular that they are unitary.
Galois covers of singular curves in positive characteristics

Soumyadip Das

DOI: https://doi.org/10.1007/s11856-024-2629-6

2024-04-30

Israel Journal of Mathematics

Abstract:We study the étale fundamental group of a singular reduced connected curve defined over an algebraically closed field of an arbitrary prime characteristic. It is shown that when the curve is projective, the étale fundamental group is a free product of the étale fundamental group of its normalization with a free finitely generated profinite group whose rank is well determined. A similar result is established for the tame fundamental groups of seminormal affine curves. In the affine case, we provide an Abhyankar-type complete group theoretic classification on which finite groups occur as the Galois groups for Galois étale connected covers over (singular) affine curves. An analogue of the Inertia Conjecture is also posed for certain singular curves.

mathematics
A note on images of Galois representations (with an application to a result of Litt)

Anna Cadoret,Ben Moonen

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

2018-09-19

Algebraic Geometry

Abstract:Let $X$ be a variety (possibly non-complete or singular) over a finitely generated field $k$ of characteristic $0$. For a prime number $\ell$, let $\rho_\ell$ be the Galois representation on the first $\ell$-adic cohomology of $X$. We show that if $\ell$ varies the image of $\rho_\ell$ is of bounded index in the group of $\mathbb{Z}_\ell$-points of its Zariski closure. We use this to improve a recent result of Litt about arithmetic representations of geometric fundamental groups. Litt's result says that there exist constants $N = N(X,\ell)$ such that every arithmetic representation $\pi_1(X_{\bar{k}}) \to \mathrm{GL}_n(\mathbb{Z}_\ell)$ that is trivial modulo $\ell^N$ is unipotent. We show that these constants can in fact be chosen independently of $\ell$.
On universal subspaces for Lie groups

Saurav Bhaumik,Arunava Mandal

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

2022-04-04

Abstract:Let $U$ be a finite dimentional vector space over $\mathbb R$ or $\mathbb C$, and let $\rho:G\to GL(U)$ be a representation of a connected Lie group $G$. A linear subspace $V\subset U$ is called universal if every orbit of $G$ meets $V$. We study universal subspaces for Lie groups, especially compact Lie groups. Jinpeng and Doković approached universality for compact groups through a certain topological obstruction. They showed that the non-vanishing of the obstruction class is sufficient for the universality of $V$, and asked whether it is also necessary under certain conditions. In this article, we show that the answer to the question is negative in general, but we discuss some important situations where the answer is positive. We show that if $G$ is solvable and $\rho:G\to GL(U)$ is a complex representation, then the only universal complex subspace is $U$ itself. We also investigate the question of universality for a Levi subgroup.

Representation Theory
Arithmetic Representations of Mapping Class Groups

Eduard Looijenga

DOI: https://doi.org/10.48550/arxiv.2108.12791

2021-01-01

Abstract:Let $S$ be a closed oriented surface and $G$ a finite group of orientation preserving automorphisms of $S$ whose orbit space has genus at least $2$. There is a natural group homomorphism from the $G$-centralizer in $Diff^+(S)$ to the $G$-centralizer in $Sp(H_1(S))$. We give a sufficient condition for its image to be a subgroup of finite index and a weaker condition for this to have no finite nonzero orbit (the Putman-Wieland property).
Monodromy groups of $\mathbb{C}\mathrm{P}^1$-structures on punctured surfaces

Subhojoy Gupta

DOI: https://doi.org/10.1112/topo.12189

2021-04-10

Abstract:For a punctured surface $S$, we characterize the representations of its fundamental group into $\mathrm{PSL}_2 (\mathbb{C})$ that arise as the monodromy of a meromorphic projective structure on $S$ with poles of order at most two and no apparent singularities. This proves the analogue of a theorem of Gallo-Kapovich-Marden concerning $\mathbb{C}\mathrm{P}^1$-structures on closed surfaces, and settles a long-standing question about characterizing monodromy groups for the Schwarzian equation on punctured spheres. The proof involves a geometric interpretation of the Fock-Goncharov coordinates of the moduli space of framed $\mathrm{PSL}_2 (\mathbb{C})$-representations, following ideas of Thurston and some recent results of Allegretti-Bridgeland.

Geometric Topology,Complex Variables
The geometric fundamental group of the affine line over a finite field

Henrik Russell

2024-08-15

Abstract:The affine line and the punctured affine line over a finite field F are taken as benchmarks for the problem of describing geometric étale fundamental groups. To this end, using a reformulation of Tannaka duality we construct for a projective variety X a (non-commutative) universal affine pro-algebraic group Lu(X), such that for any given affine subvariety U of X any finite and étale Galois covering of U over F is a pull-back of a Galois covering of a quotient Lu(X,U) of Lu(X). Then the geometric fundamental group of U is a completion of the k-points of Lu(X,U), where k is an algebraic closure of F. We obtain explicit descriptions of the universal affine groups Lu(X,U) for U the affine line and the punctured affine line over F.

Algebraic Geometry,Number Theory
Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

Bianca Gouthier

2024-09-18

Abstract:We prove that over an algebraically closed field of characteristic $p>0$ there are exactly, up to isomorphism, $n$ infinitesimal commutative unipotent $k$-group schemes of order $p^n$ with one-dimensional Lie algebra, and we explicitly describe them. We consequently recover an explicit description of the $p^n$-torsion of any supersingular elliptic curve over an algebraically closed field. Finally, we use these results to answer a question of Brion on rational actions of infinitesimal commutative unipotent group schemes on curves.

Algebraic Geometry
Galois representations modulo $p$ that do not lift modulo $p^2$

Alexander Merkurjev,Federico Scavia

2024-10-16

Abstract:For every finite group $H$ and every finite $H$-module $A$, we determine the subgroup of negligible classes in $H^2(H,A)$, in the sense of Serre, over fields with enough roots of unity. As a consequence, we show that for every odd prime $p$, every integer $n\geq 3$, and every field $F$ containing a primitive $p$-th root of unity, there exists a continuous $n$-dimensional mod $p$ representation of the absolute Galois group of $F(x_1,\dots,x_p)$ which does not lift modulo $p^2$. This answers a question of Khare and Serre, and disproves a conjecture of Florence.

Number Theory
Representations of GLn(D) near the identity

Guy Henniart,Marie‐France Vignéras

DOI: https://doi.org/10.1112/plms.70000

2024-11-21

Proceedings of the London Mathematical Society

Abstract:Abstract Let be a prime number, and a finite extension of or of . We consider the group for a positive integer and a central finite‐dimensional division ‐algebra of ‐dimension . For an irreducible smooth complex representation of , inspired by work of R. Howe when , we establish the existence and uniqueness of integers , for partitions of , such that for any small enough compact open subgroup of , the restriction of to is the same as that of the virtual representation , where the sum is over partitions of and is a parabolic subgroup of in the associate class determined by . When is minimal such that , we prove that is positive, equal to the dimension of a generalized Whittaker model of . We elucidate the behavior of under the Jacquet–Langlands correspondence of Badulescu from to . We extend the above result on near identity to a representation of over a field with characteristic not . For any Moy–Prasad pro‐ subgroup of , we determine from the integers a polynomial with integral coefficients and degree independent on , such that, for large enough integers , the dimension of fixed points in under the th congruence subgroup of is where is the cardinality of the residue field of .

mathematics
On the realization of subgroups of $PGL(2,F)$, and their automorphism groups, as Galois groups over function fields

Rod Gow,Gary McGuire

2024-11-13

Abstract:Let $F$ be any field. We give a short and elementary proof that any finite subgroup $G$ of $PGL(2,F)$ occurs as a Galois group over the function field $F(x)$. We also develop a theory of descent to subfields of $F$. This enables us to realize the automorphism groups of finite subgroups of $PGL(2,F)$ as Galois groups.

Number Theory,Algebraic Geometry,Group Theory
Realizing Galois representations in abelian varieties by specialization

Arvind Suresh

2023-11-30

Abstract:We give some positive answers to the following problem: Given a field $K$ and a continuous Galois representation $\rho:G_K \to GL_n(\mathbf{Q})$, construct an abelian variety $J/K$ of small dimension such that $\rho$ is a sub-representation of the natural $G_K$-representation on $J(\bar{K}) \otimes_{\mathbf{Z}} \mathbf{Q}$. We prove that if $K$ is Hilbertian of characteristic different from $2$, then for any sufficiently large integer $g$ (depending on $\rho$) we can find infinitely many absolutely simple $g$-dimensional abelian varieties which realize $\rho$. We outline also a method of twisting a given symmetric construction of curves with many rational points to instead produce curves with closed points of large degree, and in this context we give a unified treatment of constructions of Mestre--Shioda and Liu--Lorenzini. The main results are obtained by applying a natural generalization of Néron's Specialization Theorem.

Number Theory,Algebraic Geometry
Lifting Galois representations via Kummer flags

Andrea Conti,Cyril Demarche,Mathieu Florence

2024-09-17

Abstract:Let $\Gamma$ be either i) the absolute Galois group of a local field $F$, or ii) the topological fundamental group of a closed connected orientable surface of genus $g$. In case i), assume that $\mu_{p^2} \subset F$. We give an elementary and unified proof that every representation $\rho_1: \Gamma \to \mathbf{GL}_d(\mathbb{F}_p)$ lifts to a representation $\rho_2: \Gamma \to \mathbf{GL}_d(\mathbb{Z}/p^2)$. [In case i), it is understood these are continuous.] The actual statement is much stronger: for $r \geq 1$, under "suitable" assumptions, triangular representations $\rho_r: \Gamma \to \mathbf{B}_d(\mathbb{Z}/p^r)$ lift to $\rho_{r+1}: \Gamma \to \mathbf{B}_d(\mathbb{Z}/p^{r+1})$, in the strongest possible step-by-step sense. Here "suitable" is made precise by the concept of $\textit{Kummer flag}$. An essential aspect of this work, is to identify the common properties of groups i) and ii), that suffice to ensure the existence of such lifts.

Number Theory,Algebraic Topology
On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Yongquan Hu,Haoran Wang

2024-05-28

Abstract:Let $F$ be a totally real field in which $p$ is unramified and $B$ be a quaternion algebra which splits at at most one infinite place. Let $\overline{r}:\mathrm{Gal}(\overline{F}/F)\to \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor-Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $ \mathbb{Q}_p$ and $\overline{r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb{Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand-Kirillov dimension $1$. As an application we prove that the degree two Scholze's functor vanishes on supersingular representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. We also prove some finer structure theorem about the image of Scholze's functor in the reducible case.

Number Theory,Representation Theory
Supercuspidal representations of $\mathrm{GL}_{n}(F)$ distinguished by a unitary involution

Jiandi Zou

2024-12-20

Abstract:Let $F/F_{0}$ be a quadratic extension of non-archimedean locally compact fields of residue characteristic $p\neq 2$. Let $R$ be an algebraically closed field of characteristic different from $p$. For $\pi$ a supercuspidal representation of $G=\mathrm{GL}_{n}(F)$ over $R$ and $G^{\tau}$ a unitary group in $n$ variables contained in $G$, we prove that $\pi$ is distinguished by $G^{\tau}$ if and only if $\pi$ is Galois invariant. When $R=\mathbb{C}$ and $F$ is a $p$-adic field, this result first as a conjecture proposed by Jacquet was proved in 2010's by Feigon-Lapid-Offen by using global method. Our proof is local which works for both complex case and $l$-modular case with $l\neq p$. We further study the dimension of $\mathrm{Hom}_{G^{\tau}}(\pi,1)$ and show that it is at most one.

Representation Theory,Number Theory
Finite generation of nilpotent quotients of fundamental groups of punctured spectra

Takashi Suzuki

DOI: https://doi.org/10.1016/j.jalgebra.2023.07.005

2023-07-04

Abstract:In SGA 2, Grothendieck conjectures that the étale fundamental group of the punctured spectrum of a complete noetherian local domain of dimension at least two with algebraically closed residue field is topologically finitely generated. In this paper, we prove a weaker statement, namely that the maximal pro-nilpotent quotient of the fundamental group is topologically finitely generated. The proof uses $p$-adic nearby cycles and negative definiteness of intersection pairings over resolutions of singularities as well as some analysis of Lie algebras of certain algebraic group structures on deformation cohomology.

Number Theory,Algebraic Geometry
A note on the universal supersingular quotients of $U(2,1)$

Peng Xu

2024-02-15

Abstract:Let $G$ be the unramified unitary group $U(2, 1)(E/F)$ defined over a non-archimedean local field $F$ of residue characteristic $p\neq 2$. In this note, we prove the universal supersingular quotients of $G$ are not irreducible in general.

Representation Theory,Number Theory

Universality of the Galois action on the fundamental group of $\mathbb{P}^1\setminus\{0,1,\infty\}$

On an Algebraic Formula and Applications to Group Action on Manifolds

Arithmetic representations of fundamental groups II: finiteness

Arithmetic Restrictions on Geometric Monodromy

Unipotent representations of real classical groups

Galois covers of singular curves in positive characteristics

A note on images of Galois representations (with an application to a result of Litt)

On universal subspaces for Lie groups

Arithmetic Representations of Mapping Class Groups

Monodromy groups of $\mathbb{C}\mathrm{P}^1$-structures on punctured surfaces

The geometric fundamental group of the affine line over a finite field

Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

Galois representations modulo $p$ that do not lift modulo $p^2$

Representations of GLn(D) near the identity

On the realization of subgroups of $PGL(2,F)$, and their automorphism groups, as Galois groups over function fields

Realizing Galois representations in abelian varieties by specialization

Lifting Galois representations via Kummer flags

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Supercuspidal representations of $\mathrm{GL}_{n}(F)$ distinguished by a unitary involution

Finite generation of nilpotent quotients of fundamental groups of punctured spectra

A note on the universal supersingular quotients of $U(2,1)$