In this paper we investigate the image of the $l$-adic representation attached to the Tate module of an abelian variety over a number field with endomorphism algebra of type I or II in the Albert classification. We compute the image explicitly and verify the classical conjectures of Mumford-Tate, Hodge, Lang and Tate, for a large family of abelian varieties of type I and II. In addition, for this family, we prove an analogue of the open image theorem of Serre.
We study Galois representations attached to nonsimple abelian varieties over finitely generated fields of arbitrary characteristic. We give sufficient conditions for such representations to decompose as a product, and apply them to prove arithmetical analogues of results shown by Moonen and Zarhin in the context of complex abelian varieties (of dimension at most 5).
Let $K$ be a finite field extension of $Q_p$ and let $G_K$ be its absolute Galois group. We construct the universal family of filtered $(ϕ,N)$-modules, or (more generally) the universal family of $(ϕ,N)$-modules with a Hodge-Pink lattice, and study its geometric properties. Building on this, we construct the universal family of semi-stable $G_K$-representations in $Q_p$-algebras. All these universal families are parametrized by moduli spaces which are Artin stacks in schemes or in adic spaces locally of finite type over $Q_p$ in the sense of Huber. This has conjectural applications to the $p$-…
The $\ell$-adic Galois polylogarithm is an arithmetic function on an absolute Galois group with values in $\ell$-adic numbers, which arises from Galois actions on $\ell$-adic étale paths on ${\mathbb P}^1 \backslash \{0,1,\infty\}$. In the present paper, we discuss a relationship between $\ell$-adic Galois polylogarithms and triple $\ell$-th power residue symbols in some special cases studied by a work of Hirano-Morishita. We show that a functional equation of $\ell$-adic Galois polylogarithms by Nakamura-Wojtkowiak implies a reciprocity law of triple $\ell$-th power residue symbols.
Let $p$ be a prime number. There are properties called ``overconvergence'' and ``$F$-analyticity'' for $p$-adic Galois representations of a $p$-adic field $F$. By Berger's work, it is known that $F$-analyticity is stricter than overconvergence. In this article, we show that, in many cases, an overconvergent Galois representation is $F$-analytic up to a twist by a character. This result emphasizes the necessity of the theory of $(φ,Γ)$-modules over the multivariable Robba ring, by which we expect to study all $p$-adic Galois representations.
We investigate a certain class of (geometric) finite (Galois) coverings of formal fibres of $p$-adic curves and the corresponding quotient of the (geometric) étale fundamental group. A key result in our investigation is that these (Galois) coverings can be compactified to finite (Galois) coverings of proper $p$-adic curves. We also prove that the maximal prime-to-$p$ quotient of the geometric étale fundamental group of a (geometrically connected) formal fibre of a $p$-adic curve is (pro-)prime-to-$p$ free of finite computable rank.
Let $K$ be a number field not containing a CM subfield. For any smooth projective curve $Y/K$ of genus $\geq2$, we prove that the image of the "Selmer" part of Grothendieck's section set inside the $K_v$-rational points $Y(K_v)$ is finite for every finite place $v$. This gives an unconditional verification of a prediction of Grothendieck's section conjecture. In the process of proving our main result, we also refine and extend the method of Lawrence and Venkatesh, with potential consequences for explicit computations.
We study the Galois symbol map associated to the multiplicative group and an abelian variety which has good ordinary reduction over a $p$-adic field. As a byproduct, one can calculate the "class group" in the view of the class field theory for curves over a $p$-adic field.
$p$-adic Hodge Theory is one of the most powerful tools in modern Arithmetic Geometry. In this survey, we will review $p$-adic Hodge Theory for algebraic varieties, present current developments in $p$-adic Hodge Theory for analytic varieties, and discuss some of its applications to problems in Number Theory. This is an extended version of a talk at the Jubilee Congress for the 100th anniversary of the Polish Mathematical Society, Kraków, 2019.
For any simple algebraic group $G$ of exceptional type, we construct geometric $\ell$-adic Galois representations with algebraic monodromy group equal to $G$, in particular producing the first such examples in types $\mathrm{F}_4$ and $\mathrm{E}_6$. To do this, we extend to general reductive groups Ravi Ramakrishna's techniques for lifting odd two-dimensional Galois representations to geometric $\ell$-adic representations.
We prove a Hodge-type decomposition for the de-Rham cohomology of $ p$-adically uniformized varieties by the product of Drinfeld's symmetric spaces. It is based on work of Schneider, Stuhler, Iovita and Spiess on the cohomology of Drinfeld's symmetric space.
For a global function field K of positive characteristic p, we show that Artin conjecture for L-functions of geometric p-adic Galois representations of K is true in a non-trivial p-adic disk but is false in the full p-adic plane. In particular, we prove the non-rationality of the geometric unit root L-functions.
We prove new automorphy lifting theorems for residually reducible Galois representations of unitary type in which the residual representation is permitted to have an arbitrary number of irreducible constituents.
We construct various explicit Herr complexes that compute the Galois cohomology of a $p$-adic representation of the absolute Galois group of a complete discrete valuation field of characteristic $0$ with a perfect residue field of characteristic $p$, using the associated $(φ,τ)$-modules (defined by Xavier Caruso), instead of $(φ,Γ)$-modules. We also give an application to $p$-divisible groups.
The fact that the double zeta values at n and m can be written as a sum of products of two zeta values and of zeta value at m+n, whenever n+m is odd is due to Euler. We shall show a weak version of this result for the Galois l-adic realization.
Let $K$ be a $p$-adic field and $E$ an elliptic curve over $K$ with potential good reduction. For some large Galois extensions $L$ of $K$ containing all $p$-power roots of unity, we show the vanishing of certain Galois cohomology groups of $L$ with values in the $p$-adic representation associated with $E$. This generalizes some results of Coates, Sujatha and Wintenberger.
We describe the generic blocks in the category of smooth locally admissible mod $2$ representations of $\mathrm{GL}_2(\mathbb{Q}_2)$. As an application we obtain new cases of Breuil--Mézard and Fontaine--Mazur conjectures for $2$-dimensional $2$-adic Galois representations.
Let $K$ be a complete, discretely valued field with finite residue field and $G_K$ its absolute Galois group. The subject of this note is the study of the set of positive integers $d$ for which there exists an absolutely irreducible $\ell$-adic representation of $G_K$ of dimension $d$ with rational traces on inertia. Our main result is that non-Sophie Germain primes are not in this set when the residue characteristic of $K$ is $> 3$. The result stated in the title is a special case.
In this note, we consider function fields of higher-dimensional algebraic varieties defined over non-local fields, and show how the Galois action on the cohomology such function fields can be used to parameterize their divisorial valuations. By applying a recent theorem of Pop, we observe that, in dimension $\geq 3$, this information is enough to completely determine the function field and the base-field in question.
We present a family of algorithms for computing the Galois group of a polynomial defined over a $p$-adic field. Apart from the "naive" algorithm, these are the first general algorithms for this task. As an application, we compute the Galois groups of all totally ramified extensions of $\mathbb{Q}_2$ of degrees 18, 20 and 22, tables of which are available online.
We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods. The main technical input is a construction of a Hyodo-Kato cohomology and a Hyodo-Kato isomorphism with de Rham cohomology.
We prove in this paper the Ax-Lindemann-Weierstrass theorem for all mixed Shimura varieties and discuss the lower bounds for Galois orbits of special points of mixed Shimura varieties. In particular we reprove a result of Silverberg in a different approach. Then combining these results we prove the André-Oort conjecture for any mixed Shimura variety whose pure part is a subvariety of A_6^n.
We expand on Nekovář's construction of the plectic half transfer to define a plectic Galois action on Hilbert modular varieties. More precisely, we study in a unifying fashion Shimura varieties associated to groups that differ only in the centre from $R_{F/\mathbb{Q}}{\rm GL}_2$. We define plectic Galois actions on the CM points and on the set of connected components of these Shimura varieties, and show that these two actions are compatible. This extends the plectic conjecture of Nekovář--Scholl.
The Galois action on the pro-$\ell$ étale fundamental groupoid of the projective line minus three points with rational base points gives rise to a non-commutative formal power series in two variables with $\ell$-adic coefficients, called the $\ell$-adic Galois associator. In the present paper, we focus on how Landen's functional equation of trilogarithms and its $\ell$-adic Galois analog can be derived algebraically from the $S_3$-symmetry of the projective line minus three points. Twofold proofs of the functional equation will be presented, one is based on Zagier's tensor criterion devised in…
Given an elliptic curve $E$ over a local field $K$ with residue characteristic $3$, we investigate the action of the absolute Galois group of $K$ in the case of potentially good reduction. In particular the only not completely known case is that of the $\ell$-adic Galois representation attached to an elliptic curve such that the image of inertia is non-cyclic, and isomorphic to $C_3 \rtimes C_4$. In this work we describe such a representation explicitly.
Drinfeld-modules and $A$-motives are the function field analogous of elliptic curves and abelian varieties. For the latter one can construct the $l$-adic Galois representation and can ask if its image is open. For Drinfeld-modules this question was answered by Pink and his coauthors. We clarify the rank one case for $A$-motives and show that the image of Galois is open if and only if the virtual dimension is prime to the characteristic of the ground field.
Given an elliptic curve $E/k$ and a Galois extension $k'/k$, we construct an exact functor from torsion-free modules over the endomorphism ring ${\rm End}(E_{k'})$ with a semilinear ${\rm Gal}(k'/k)$ action to abelian varieties over $k$ that are $k'$-isogenous to a power of $E$. As an application, we show that every elliptic curve with complex multiplication geometrically is isogenous over the ground field to one with complex multiplication by a maximal order.
In this article we prove a local Riemman-Hurwitz formula which compares the dimensions of the spaces of vanishing cycles in a finite Galois cover of type (p,p,...,p) between formal germs of p-adic curves and which generalises the formula proven by the first author in the case of Galois covers of degree p. We also investigate the problem of the existence of a torsor structure for a finite Galois cover of type (p,p,...,p) between p-adic schemes.
Pink has given a qualitative answer to the Mumford-Tate conjecture for Drinfeld modules in the 90s. He showed that the image of the v-adic Galois representation is v-adically open in the motivic Galois group for any prime v. In contrast to this result, we provide a family of uniformizable Anderson t-modules for which the Galois representations of their t-adic Tate-modules are "far from" having t-adically open image in their motivic Galois groups. Nevertheless, the image is still Zariski-dense in the motivic Galois group which is in accordance to the Mumford-Tate conjecture. For the proof, we e…
We introduce a notion of inertial equivalence for integral $\ell$-adic representation of the Galois group of a global field. We show that the collection of continuous, semisimple, pure $\ell$-adic representations of the absolute Galois group of a global field lifting a fixed absolutely irreducible residual representation and with given inertial type outside a fixed finite set of places is uniformly bounded independent of the inertial type.
