The motivic anabelian geometry of local heights on abelian varieties
L. Alexander Betts

TL;DR
This paper explores the motivic anabelian geometry of local heights on abelian varieties over various local fields, providing new descriptions and techniques for understanding local height functions through unipotent fundamental groups and Selmer sets.
Contribution
It introduces a novel approach to describing local height functions via unipotent fundamental groups and develops new methods for studying non-abelian Selmer sets in this context.
Findings
Descriptions of local height functions in terms of unipotent fundamental groups for p-adic and archimedean fields.
Development of explicit cosimplicial group models for non-abelian Selmer sets.
Construction of a non-abelian generalization of the Bloch--Kato exponential sequence.
Abstract
We study the problem of describing local components of height functions on abelian varieties over characteristic local fields as functions on spaces of torsors under various realisations of a -step unipotent motivic fundamental group naturally associated to the defining line bundle. To this end, we present three main theorems giving such a description in terms of the - and -pro-unipotent \'etale realisations when the base field is -adic, and in terms of the -pro-unipotent Betti--de Rham realisation when the base field is archimedean. In the course of proving the -adic instance of these theorems, we develop a new technique for studying local non-abelian Bloch--Kato Selmer sets, working with certain explicit cosimplicial group models for these sets and using methods from homotopical algebra. Among other uses, these models enable us to…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic Geometry and Number Theory
The motivic anabelian geometry of local heights on abelian varieties
L. Alexander Betts
Abstract.
We study the problem of describing local components of Néron–Tate height functions on abelian varieties over characteristic [math] local fields as functions on spaces of torsors under various realisations of the -step unipotent motivic fundamental group of the -torsor corresponding to the defining line bundle. To this end, we present three main theorems giving such a description in terms of the - and -pro-unipotent étale realisations when the base field is -adic, and in terms of the -pro-unipotent Betti–de Rham realisation when the base field is archimedean.
In the course of proving the -adic instance of these theorems, we develop a new technique for studying local non-abelian Bloch–Kato Selmer sets, working with certain explicit cosimplicial group models for these sets and using methods from homotopical algebra. Among other uses, these models enable us to construct a pro-unipotent generalisation of the Bloch–Kato exponential sequence under minimal assumptions.
2020 Mathematics Subject Classification:
Primary: 11G50. Secondary 11G10, 11G25, 14G40.
Contents
- 1 Introduction
- 2 Preliminaries
- 3 The main theorem (-adic version)
- 4 Representations on pro-unipotent groups
- 5 Homotopical algebraic background
- 6 Unipotent Bloch–Kato theory
- 7 The main theorem (-adic version)
- 8 The main theorem (archimedean version)
1. Introduction
1.1. Anabelian geometry and local heights
1.1.1. Background
In his letter to Faltings [Gro97], Grothendieck proposed a programme of studying the arithmetic and Diophantine geometry of hyperbolic curves over characteristic [math] fields by means of their profinite étale fundamental groups along with their outer Galois actions. When one uses an -rational point as the basepoint for the fundamental group, the outer Galois action canonically lifts to a genuine action, and the link with Diophantine geometry comes concretely via a certain non-abelian Kummer map
[TABLE]
taking values in the non-abelian Galois cohomology set classifying profinite torsors under with compatible Galois action; the non-abelian Kummer map sends an -rational point to the class of the profinite étale torsor of paths .
In the case that is a number field, Grothendieck’s section conjecture posits that the link between the fundamental group and the Diophantine geometry of provided by the non-abelian Kummer map should be very strong indeed: when is proper, the map should be bijective, and for general hyperbolic it should be injective (this much was already proved in [Gro97]), with the only extraneous elements of coming from the cusps [Sti12]. It was hoped that a proof of the section conjecture would enable one to find an alternative proof of the Mordell conjecture, which had been earlier proven by Faltings [Fal83].
In practice, the highly non-abelian nature of makes studying it particularly difficult, and it is convenient to replace it with an appropriately linearised variant which is much closer to being abelian. Such a variant is provided by the -pro-unipotent étale fundamental group of based at , which can be defined equivalently as the Tannaka group of the category of étale -local systems on , or as the continuous -Malc̆ev completion of . Although one cannot hope that the non-abelian Kummer map
[TABLE]
will be an isomorphism except in very specific cases, this map is nonetheless very useful in the study of the arithmetic and Diophantine geometry of .
For instance, when and is projective with good reduction at , Kim’s non-abelian Chabauty method [Kim09] aims to constrain the locus of by finding functions on the local non-abelian cohomology – or more accurately on a subset cut out by local Selmer conditions – which vanish on the image of the global cohomology. Here denotes the maximal -step unipotent quotient of , which is finite dimensional. When , any one of various well-known conjectures (Bloch–Kato, Fontaine–Mazur, Janssen) implies the existence of such functions, providing a conditional anabelian proof of the Siegel–Faltings theorem on the finiteness of the set of -integral points of . This proof can be even made unconditional in many cases: when [Kim05]; when is a once-punctured CM elliptic curve [Kim10]; when is a complete hyperbolic curve whose Jacobian has CM [CK10]; or when is any complete hyperbolic curve which is a solvable cover of [EH17].
At the other end of the spectrum, an explicit study of for small leads to explicit methods for constraining the locus of , and in practice often completely computing it. For instance, when and is proper, the Chabauty–Kim method recovers Coleman’s explicit Chabauty method [Col85]. The fundamental group is the -linear Tate module of the Jacobian of , is the Lie algebra of , and the linear functions on produced by Chabauty–Coleman agree with those produced by Chabauty–Kim.
When , the constraints on produced by non-abelian Chabauty involve finer arithmetic invariants. A detailed study of this case was made in [BD16, BD17]; among other results, it is shown in [BD16] that when , the constraints produced by non-abelian Chabauty involve not only quadratic functions on , but also the local component of the -adic height function in the sense of Nekovár̆ [Nek93]. This raises the rather tantalising prospect that the constraints produced by non-abelian Chabauty for should involve quantities that play the role of higher -adic height functions.
1.1.2. Local heights as functions on moduli spaces of torsors
Another example of the link between -step unipotent fundamental groups and local heights appears in a paper of Balakrishnan, Dan-Cohen, Kim and Wewers.
Theorem 1.1.1**.**
[BDCKW14]** Let be an elliptic curve over a -adic111We have interchanged the roles of and from [BDCKW14] – for us will always be the residue characteristic of the base field, and the residue characteristic of the field of coefficients for the fundamental groups involved. number field, and for the -step unipotent fundamental group of the punctured curve based at a rational tangent vector at the origin. Then the map induced from the inclusion of the cusp induces a bijection
[TABLE]
and the composite map
[TABLE]
takes values in , and is a Néron function on with divisor .
In this theorem we see a first instance of what will be the main theme of this paper: that local components of height functions admit particularly natural interpretations as functions on spaces of torsors under -step unipotent fundamental groups. This theme is best viewed in the context of Deligne’s motivic philosophy for the pro-unipotent fundamental group [Del89], which stresses the importance of studying not only the étale fundamental group of a variety, but also a plethora of other kinds of highly structured fundamental groups (Betti, de Rham, log-crystalline222This is a mild anachronism, since [Del89] was written when the development of logarithmic geometry [Kat89] was in its infancy, and in particular predates the development of both Hyodo–Kato cohomology [HK94] and log-crystalline fundamental groups [Shi00b]. Thus, [Del89] only concerns itself with the crystalline fundamental group at places of good reduction, where a good theory already existed.) related by various comparison isomorphisms. Thus, in this paper we will not only be interested in relating local components of heights at non-archimedean places to étale and log-crystalline fundamental groups, but also in relating local components at archimedean places to Betti–de Rham fundamental groups, endowed with their mixed Hodge structure constructed by Hain [Hai87a] using Chen’s non-abelian de Rham theorem. Thus, our implicit emphasis here lies in studying the local components of -valued heights, as opposed to the -valued heights studied in [BD16, BD17].
To make the link between -step unipotent fundamental groups and local heights as clear as possible, let us shift focus slightly and consider local canonical heights on an abelian variety over a characteristic [math] local field induced by a line bundle . There is a natural anabelian invariant associated to this setup, namely the pro-unipotent fundamental group of the complement of the zero section in ; this pro-unipotent fundamental group is in fact already -step unipotent, since by the homotopy exact sequence of a fibration it is a central extension of the fundamental group of by the fundamental group of .
In this setup, we shall prove three theorems (1.1.6, 1.2.3 and 1.1.8) concretely relating the fundamental group to local heights, of the following kinds:
- •
when is -adic, the local height can be realised as a function on the local non-abelian Galois cohomology set , where is the -unipotent étale fundamental group of for some ;
- •
when is -adic, the local height can be realised as a function on the local Bloch–Kato Selmer set , where is the -unipotent étale fundamental group of ; and
- •
when is archimedean, the local height can be realised as a function on the set classifying torsors under with mixed Hodge structure, where is the -unipotent Betti fundamental group of .
Let us remark also that in the first and last of these theorems, the space of torsors will be one-dimensional (in an appropriate sense), so that the local height is in fact the only information seen by the non-abelian Kummer map. The second theorem is more subtle, as the local Bloch–Kato Selmer set contains plenty of analytic information, and a significant part of formulating the appropriate -adic instance of these theorems lies in finding the right way of quotienting out the analytic part of the cohomology so that the quotient is one-dimensional and describes exactly the local height. Since developing the appropriate machinery for dealing with the -adic case is the major part of this paper, we will for the time being just discuss the -adic and archimedean cases, returning to discuss the -adic case in more detail later in this introduction.
Remark 1.1.2**.**
The problem of giving a motivic interpretation of local heights was also studied in [Sch94], where the emphasis was on giving a description of height pairings on cycles of complementary codimension in terms of motivic cohomology. Of course, a motivic description of the height pairing on an abelian variety over a number field gives rise to a description of the canonical height function induced by a line bundle in terms of the usual map via the formula [BG06, Proposition 9.3.6 & Corollary 9.3.7]
[TABLE]
It is interesting that both Scholl’s approach and ours require consideration of mildly non-linear invariants associated to the line bundle: in our case the fundamental group of ; and in Scholl’s the pairing on motivic cohomology induced by . Indeed, this pairing should be none other than the commutator pairing in the motivic fundamental group of , which should be a central extension of by .
Remark 1.1.3**.**
In the particular case that the line bundle is algebraically equivalent to the trivial bundle, the corresponding -torsor canonically has the structure of a semiabelian variety with as its identity, in which case the fundamental group of is abelian (e.g. the étale fundamental group is the Tate module), and many of the arguments we will present in this article reduce to more well-known abelian arguments. The chief advantage of our non-abelian techniques, then, is that it gives us a natural framework for studying line bundles that are not algebraically trivial, for instance ample or anti-ample bundles.
1.1.3. Néron log-metrics
Let us now explain the precise notion of local heights that we will be using in this paper, leading up to a precise statement of the -adic and archimedean main theorems. Since we will be working in the language of line bundles rather than divisors, it will be convenient for us to follow the approach of Bombieri and Gubler and view local heights as local metrics on line bundles [BG06, Section 2.7] rather than as Weil functions on complements of divisors [Lan83, Section 10.2]. To briefly recall what is meant by this, let us fix a characteristic [math] local field with absolute value , and write ; we assume that is normalised to be -valued if is non-archimedean. If is a line bundle on a smooth connected variety , a continuous log-metric on is a continuous function which satisfies the relation
[TABLE]
for all and ; here denotes the complement of the zero section in . Such a is then the logarithm of a metric in the sense of [BG06, Definition 2.7.1]. A continuous log-metric always exists by [BG06, Proposition 2.7.5], and if is a non-zero section of then is a Weil function on associated to the Cartier divisor [Lan83, Section 10.2].
In the particular case that is an abelian variety, there is a canonical choice of continuous log-metric on up to additive constants, namely the log-metric such that for any (equivalently just one) non-zero section , is a Néron function on associated to the Cartier divisor [Lan83, Section 11.1]. We will call such a log-metric a Néron log-metric on , and if we are provided with a point , we will unambiguously refer to the Néron log-metric as being the unique one such that .
Remark 1.1.4**.**
Néron log-metrics are local components of heights in the following sense: if is an abelian variety over a number field and is a line bundle with a distinguished point in the fibre over , then the function given by an appropriately normalised sum of the Néron log-metrics at all places of (is well-defined and) on the fibre over some is constant, equal to the canonical height (by the corresponding result for Néron functions [Lan83, Theorem 11.1.6]).
Remark 1.1.5**.**
In the spirit of Mazur and Tate [MT83], this description of the global height admits a natural refinement of a more Arakelov-theoretic nature when restricted to -rational points333We assume here that is chosen -rational.. Specifically, the Néron log-metrics at finite places are all -valued, so the collection of all local metrics defines naturally a global function
[TABLE]
valued in a -linearised analogue of the Arakelov divisor group of . By again evaluating this function on lifts of elements of , we thereby obtain a function
[TABLE]
valued in the corresponding analogue of the Arakelov Picard group, through which the canonical height factors via the natural degree map .
It turns out (though we shall not prove this in this paper) that this lift of the global height is a simultaneous quadratic refinement of Grothendieck’s monodromy pairing on component groups [GRL67, Théorème 7.1(b)], and of Mazur and Tate’s circle pairing [MT83, Section 3.5.2]. More precisely, is always a quadratic function444That is, satisfies the relation , and in the particular case that underlies a biextension of two abelian varieties by , the map
[TABLE]
is a bilinear pairing which, on the one hand, when restricted to takes values in the usual Arakelov Picard group and agrees with the Mazur–Tate circle pairing associated to [MT83, Section 3.5.2]555The presentation in [MT83] assumes that and have Tamagawa number at all finite places—the setup in [MT87, Section 2] covers how to define this pairing in the general case. The assumption in the latter paper that and are dual and that is the Poincaré biextension is unnecessary., and on the other hand, when composed with the natural map agrees with the composite
[TABLE]
where the right-hand arrow is the sum of the local Grothendieck monodromy pairings. Here, denotes the group-scheme of components of the fibre of the Néron model of over the residue field at , the implicit maps send an -point of to the component containing its reduction, denotes the intersection of the kernels of all the maps for , and the valuations at finite places are normalised to have image . In fact, the quadratic refinement of Grothendieck’s monodromy pairing which we produce has already been considered by Breen [Bre83, Section 3], using the theory of cubical structures on torsors.
1.1.4. The -adic and archimedean main theorems
Now that we have made precise the form of local heights best adapted to our setup, we are now able to state our first main theorem, which is a more or less direct generalisation of theorem 1.1.1 to the setup of line bundles on general abelian varieties.
Theorem 1.1.6**.**
Let be an abelian variety over a -adic field , a line bundle, and a basepoint in the complement of the zero section lying over . Let be the -pro-unipotent (in fact, unipotent) étale fundamental group of based at where . Then the natural map from the inclusion of the fibre over induces a bijection
[TABLE]
and the composite map
[TABLE]
is the Néron log-metric on (and in particular is -valued).
Here the isomorphism is the one arising from Kummer theory, normalised so that the composite
[TABLE]
is the (-valued) valuation on .
Remark 1.1.7**.**
Phrased in the language of Néron functions, theorem 1.1.6 says that if is a non-zero rational section of the line bundle , with divisor , then the composite map
[TABLE]
is a Néron function on associated with . This implies in particular that the Néron function associated with factors through the non-abelian Kummer map
[TABLE]
where is the -pro-unipotent étale fundamental group of .
The archimedean analogue of theorem 1.1.6 in terms of the -pro-unipotent Betti fundamental group (with its mixed Hodge structure) then has a very similar statement. For the sake of brevity, we will focus only on the case .
Theorem 1.1.8**.**
Let be an abelian variety, a line bundle, and a basepoint in the complement of the zero section lying over . Let be the -pro-unipotent (in fact, unipotent) Betti fundamental group of based at . Then the natural map from the inclusion of the fibre over induces a bijection
[TABLE]
and the composite map
[TABLE]
is the Néron log-metric on .
Here denotes the set of isomorphism classes of torsors under with compatible mixed Hodge structure. The isomorphism here is normalised so that the composite
[TABLE]
is the valuation on .
1.1.5. Method of proof
The proofs of theorems 1.1.6 and 1.1.8 proceed by showing that the Néron log-metrics are uniquely characterised by a certain list of properties (see lemmas 3.0.1 and 8.4.1), and then verifying these properties for the maps described in the statements of the respective theorems. This is mostly just a case of chasing some diagrams; the only non-formal input required is showing that the maps described in theorems 1.1.6 and 1.1.6 are locally constant and locally bounded, respectively. The first of these was shown to hold in much greater generality in [Bet22, Theorem 1.1]: for any smooth geometrically connected variety with -pro-unipotent étale fundamental group based at some , the non-abelian Kummer map
[TABLE]
is locally constant (provided ).
In the archimedean case, we will prove the corresponding analogue of [Bet22, Theorem 1.1], using the theory of higher Albanese manifolds of Hain–Zucker.
Theorem 1.1.9**.**
Let be a smooth connected variety, a basepoint, and the pro-unipotent Betti fundamental group of based at . Then:
- (1)
* carries a mixed Hodge structure with only negative weights;* 2. (2)
* is canonically a pro- real manifold; and* 3. (3)
the non-abelian Kummer map
[TABLE]
is pro-* (and in particular continuous).*
1.2. Local Bloch–Kato Selmer sets and homotopical algebra
1.2.1. Definitions and the -adic main theorem
Our -adic analogue of theorem 1.1.6 will describe -adic local heights as functions on spaces of torsors under -pro-unipotent fundamental groups. However, we cannot hope that anything as naive as theorem 1.1.6 will hold verbatim when , not least because the Galois cohomology is much larger than -dimensional. Indeed, in the setting, the correct way to recover the valuation on from Galois cohomology is to consider the quotient
[TABLE]
of local Bloch–Kato Selmer groups [BK90, Equation 3.7.2]. This is one-dimensional, and the composite
[TABLE]
with the non-abelian Kummer map is, for a suitable normalisation of the final isomorphism, the valuation on . This motivates what will be our adaptation of theorem 1.1.6 to the -adic setting: we will define a certain “quotient” of local Bloch–Kato Selmer sets for a general (usually de Rham) representation of on a finitely generated pro-unipotent group , and when is the -pro-unipotent étale fundamental group of as earlier, we will realise our local heights as functions on via the mod non-abelian Kummer map
[TABLE]
Indeed, will prove in this case to be -dimensional, analogously to theorems 1.1.6 and 1.1.8.
Let us now recall the definition of the local Bloch–Kato Selmer sets associated to a Galois representation of a -adic local field on a finitely generated pro-unipotent group, as well as giving the definition of their “relative quotients”. As usual with non-abelian Galois cohomology, the resulting objects do not carry any natural group structure, instead simply being pointed sets.
Definition 1.2.1** (Local Bloch–Kato Selmer sets).**
Let be a representation of on a finitely generated pro-unipotent group (see definition-lemma 4.0.1). We define the local Bloch–Kato Selmer (pointed) sets to be the respective kernels of the natural maps
[TABLE]
[TABLE]
[TABLE]
on continuous cohomology. Here and denote the usual period rings, and the continuous Galois action on, for example, is the “semilinear” one induced from the actions of on and on .
More generally, we let , and be the equivalence relations on the cohomology set whose equivalence classes are the fibres of the respective maps above (so that is the -equivalence class of the distinguished point). We then define the local Bloch–Kato Selmer quotients to be the quotient (pointed) sets:
[TABLE]
[TABLE]
[TABLE]
Remark 1.2.2**.**
The original definition of in [BK90, Equation 3.7.2] differs from ours in that the semistable period ring is replaced by the de Rham one . However, we will see in lemma 4.4.5 that, at least when is de Rham (see definition-lemma 4.2.2) – for instance the pro-unipotent fundamental group of any smooth -variety – there is no difference between the two definitions, so we are free to adopt the one which is best-suited to our techniques. When is replaced by a -adic representation , this is proved in unpublished work by Hyodo [Hyo], and later in other places, e.g. [Ber02].
A major part of this article will be concerned with developing tools for the study of non-abelian Bloch–Kato Selmer sets and their quotients, but before we outline how we intend to develop these tools, let us use the local Bloch–Kato Selmer quotients to give a precise statement of our -adic analogue of theorem 1.1.6.
Theorem 1.2.3**.**
Let be an abelian variety over a -adic field , a line bundle, and a basepoint in the complement of the zero section lying over . Let be the -pro-unipotent (in fact, unipotent) étale fundamental group of based at . Then the natural map from the inclusion of the fibre over induces a bijection
[TABLE]
and the (well-defined) composite map
[TABLE]
is the Néron log-metric on (and in particular is -valued).
Here the isomorphism is normalised so that the composite
[TABLE]
is the (-valued) valuation on .
Remark 1.2.4**.**
Informally, theorem 1.2.3 shows that when is the unipotent fundamental group of as above, then is codimension in and the gap between and describes the local component of the height function. It is natural to wonder where the intermediate set sits between these two sets.
In fact, in our setup it will already be equal to , as we shall see in corollary 6.3.3 (see remark 6.3.4). Correspondingly, according to Bloch and Kato’s -adic analogies for local Bloch–Kato Selmer groups [BK90, Equation 3.7.1], one would expect the -unipotent fundamental group of to satisfy where
[TABLE]
with the inertia subgroup – this is also true, and proven in proposition 4.1.6 (see remark 4.1.7).
1.2.2. Cosimplicial models for local Bloch–Kato Selmer sets
Ultimately, our aim is to use the local Bloch–Kato Selmer sets and quotients not just to state the -adic analogue of theorem 1.1.6, but also to mimic closely the proof strategy outlined in §1.1.5. The non-formal input required – that the non-abelian Kummer map
[TABLE]
modulo is well-defined and locally constant – was proven in [Bet22, Theorem 1.2]. In this paper, we will develop a formal calculus for working with the local Bloch–Kato Selmer sets and the quotients described above, for a general de Rham representation of on a finitely generated pro-unipotent group . In particular, our theory will give us a way to produce long exact sequences relating local Bloch–Kato Selmer quotients in central extensions, analogously to the long exact sequence in cohomology.
These non-abelian Bloch–Kato Selmer sets have already been studied in the work of Kim [Kim09], using their moduli interpretations as classifying spaces for torsors possessing trivialisations after base change to various period rings (see section 4.4). However, our approach will differ significantly from Kim’s, in that we will in general forgo these explicit moduli descriptions, instead producing certain explicit cosimplicial models for the local Bloch–Kato Selmer sets, enabling us to bring methods from homotopical algebra to bear. The advantages of this approach are twofold: firstly, our explicit models will be cosimplicial groups, and thus will retain the group structure which is lost in passage to non-abelian Galois cohomology; and secondly, the models will form a kind of derived refinement of the local Bloch–Kato Selmer sets, and in particular will contain information in other degrees which is not seen directly by the local Bloch–Kato Selmer set but is nonetheless of relevance, for example in the construction of long exact sequences.
Explicit cochain models for local Bloch–Kato Selmer groups have already been produced by Nekovár̆ in the abelian case [Nek93, Nek00], and our treatment closely parallels his in the non-abelian context. To briefly review Nekovár̆’s methods, let us recall that there are certain cochain complexes for associated to any de Rham representation of , whose first cohomology is canonically identified with the corresponding local Bloch–Kato Selmer group (see [Nek93, Section 1.19]). The complexes are built out of various Dieudonné functors evaluated at ; for instance, the complex is the two-term complex
[TABLE]
where is the natural map. The reader will note that the assertion that is equivalent to part of the Bloch–Kato exponential sequence [BK90, Corollary 3.8.4].
In the pro-unipotent setting we will generalise this picture by associating to each de Rham representation of on a finitely generated pro-unipotent group a certain cosimplicial group , whose first cohomotopy set is canonically identified with the corresponding local Bloch–Kato Selmer set (see section 5 for definitions). The cosimplicial groups are again built out of certain non-abelian Dieudonné functors evaluated on (see lemma 4.2.1). More precisely, we will define various cosimplicial -algebras with -action, built out of the standard -adic period rings, so that the desired cosimplicial group is then produced by taking points of in and taking -invariants. In fact, we will use exactly the same setup to analyse the local Bloch–Kato quotients and , defining cosimplicial -algebras and , and obtaining the description
[TABLE]
also in this case.
Just as in the abelian case, these descriptions can be viewed as various instances of exponential-type exact sequences – indeed, this is how we will prove these descriptions. For instance, in the particular case , we will prove the description via the following non-abelian analogue of the classical Bloch–Kato exponential.
Lemma 1.2.5** (Non-abelian Bloch–Kato exponential, see corollary 6.2.2).**
Let be a de Rham representation of on a finitely generated pro-unipotent group. Then there is an exact sequence
[TABLE]
where , and denote the Dieudonné functors associated to the period rings , and respectively (see lemma 4.2.1 for how to apply Dieudonné functors to pro-unipotent groups).
The exact sequence appearing in our non-abelian Bloch–Kato exponential is a mixed exact sequence consisting of both groups and pointed sets. Since such sequences will be ubiquitous throughout this paper, let us fix our chosen notation for such sequences.
Definition 1.2.6**.**
An exact sequence (of groups and pointed sets)
[TABLE]
consists of:
- •
two distinguished indices ;
- •
an exact sequence (finite or infinite) of groups ;
- •
an exact sequence (finite or infinite) of pointed sets ; and
- •
a right action of on (not necessarily preserving the basepoint);
such that:
- •
is abelian for ;
- •
the image of is a central subgroup;
- •
the image of is exactly the stabiliser of the basepoint of under the action of ; and
- •
the orbits of the action of on are exactly the fibres of the map .
Note that in this setup, the action of on the basepoint of provides a map making the whole sequence exact.
Remark 1.2.7**.**
The prototypical example of such a sequence is the homotopy exact sequence associated to a fibration [BK72, Section IX.4.1], where there are exactly three non-abelian group terms () and three pointed set terms. In fact, essentially all the exact sequences we will study in this paper will have this same feature.
Remark 1.2.8**.**
In our non-abelian Bloch–Kato exact sequence, the action of the group on the set is given by , so that, concretely, the exponential exact sequence asserts that
[TABLE]
(inside ), and that we have a canonical identification
[TABLE]
of as a double-coset space.
Remark 1.2.9**.**
An alternative description of a non-abelian Bloch–Kato exponential has been given by Sakugawa [Sak17, Theorem 1.1] following on from work of Kim [Kim09] under some auxiliary conditions including triviality of (but without necessarily assuming unipotent), obtaining in this case a Bloch–Kato exponential isomorphism
[TABLE]
Indeed, we will show in corollary 6.3.3 that, under this additional hypothesis, one has , so one recovers Sakugawa’s isomorphism from ours.
Remark 1.2.10**.**
When is abelian, the central map
[TABLE]
from our exponential exact sequence lemma 1.2.5 is the negative of the usual one. This is due to an unfortunate clash between the signs in the exact sequences in [Nek93, Section 1.19] with those of [BK90, Proposition 1.17], and between the order conventions for path-composition in the papers of Kim and of Hain. In this paper we will follow the conventions of Kim and Deligne in composing paths in the functional order – is path followed by path – and following the sign conventions of Nekovár̆, pointing out discrepancies with the conventions of our sources as they arise.
1.2.3. A log-crystalline version
In accordance with Deligne’s philosophy of the motivic fundamental group, one might wonder whether, in addition to our -adic, -adic and Hodge-theoretic descriptions, one can give a description of the Néron log-metric on a pointed line bundle on an abelian variety over a -adic local field in terms of the pro-unipotent log-crystalline fundamental group of the special fibre of a suitable integral log-scheme model of . Though this is not the main thrust of this paper, we will briefly outline how to reinterpret theorem 1.2.3 in these terms.
To briefly explain, let us fix , and as in the preceding paragraph, and assume for simplicity that has semistable reduction. If we write for the unipotent étale fundamental group of based at , then our assumptions ensure that is semistable in the sense of definition-lemma 4.2.2, since it is de Rham by [Bet22, Theorem 1.4(1)] and is a central extension of semistable representations. The finitely generated pro-unipotent group (lemma 4.2.1) then carries an ind-weakly admissible filtered -module structure on its affine ring (section 4.2.2), and the local Bloch–Kato Selmer set classifies torsors under with compatible ind-weakly admissible filtered -module structures on their affine rings (see lemma 4.4.6). We will see in lemma 4.4.7 that passing from to corresponds to forgetting the Hodge filtration on these torsors, so that has a natural log-crystalline interpretation as the moduli set of torsors under with compatible ind--module structures on their affine rings. This allows us to reinterpret theorem 1.2.3 in terms of the non-abelian Kummer map
[TABLE]
assigning to some the class of the torsor , where is the -unipotent étale torsor of paths from to in . (The fact that is a -torsor is a consequence of the fact that it is ind-de Rham by [Bet22, Theorem 1.4(1)], hence ind-semistable.)
In order to see this rephrasing as a truly log-crystalline version, we would like to identify (resp. ) as the pro-unipotent log-crystalline fundamental group (resp. torsor of paths) of the special fibre of a suitable log-scheme model666Officially, a proper log-smooth log-scheme over whose generic fibre is the total space of the projective closure of with the log-structure coming from the union of the [math]- and -sections, such that the log-structure on pulled back from along the closure of is the usual one arising from the special point. of . Several definitions of such an object are available in the literature: there is a Tannakian definition due to Shiho [Shi00b, Definition 4.1.5], a direct construction via the de Rham–Witt complex due to Kim and Hain [HK04, Definition 1], or one could take the Hyodo–Kato realisation of Cushman’s pro-unipotent fundamental group in the category of Nori motives [Cus02, Theorem 3.1], as in [DN18, Section 4.3]. These definitions should describe the same object, though we have been unable to find a proof of this in the literature. In any case, the log-crystalline fundamental group is known [DN18, Corollary 4.19(2)] or believed [Shi00a, Remark 3.4.1] to possess a comparison isomorphism with the étale fundamental group, identifying it with as claimed.
1.3. Overview of sections and standing assumptions
After recalling some basic facts about pro-unipotent groups and filtrations in section 2, we will begin in section 3 by proving the -adic version of our main theorem, theorem 1.1.6. The proof is relatively simple, but the details will serve to motivate many of the lemmas necessary in the proof of its much harder cousin, theorem 1.2.3. The following sections serve to build up to the proof of this latter theorem, developing first the basic language of local Galois representations on finitely generated pro-unipotent groups in section 4, then studying the local Bloch–Kato Selmer sets and quotients in section 6 using the homotopical-algebraic language reviewed in section 5.
This theoretical basis being established, the proof in section 7 of the -adic main theorem then follows exactly the blueprint of the -adic proof, and indeed is the shortest section of the paper. Then, in section 8 we prove the archimedean version of our main theorem, developing a mixed-Hodge-theoretic analogue of the representation-theoretic language of the rest of the paper, and relating the archimedean non-abelian Kummer map to the higher Albanese maps of Hain and Zucker [HZ87]. The proof of the archimedean main theorem then follows exactly the blueprint of the previous two proofs.
Since the majority of this paper will be devoted to the analysis over a non-archimedean base field, let us fix some notation for the rest of the paper.
Notation 1.3.1** (Standing assumptions).**
Fix a prime , a finite extension , and an algebraic closure determining an absolute Galois group . Let denote the ring of integers, a uniformiser generating the maximal ideal , the residue field, and the valuation, normalised so that . We also denote by the completion of , by the maximal unramified subfield of , and by , and the period rings constructed by Fontaine [Fon94a].
1.4. Acknowledgements
I am grateful to Jonathan Pridham for helpful discussions about comparison theorems for fundamental groups, and to Fabrizzio Andreatta, Christiaan Peters and Joseph Steenbrink for taking the time to answer my questions on various technical aspects of their papers and books. I am also grateful to Adam Morgan for introducing me to Breen’s theory of cubical structures. Lastly, I am very grateful to my two thesis examiners, Damian Rössler and Gerd Faltings, for their careful reading of the initial version of the dissertation on which this paper is based and their many helpful suggestions.
Particular thanks are due to Netan Dogra for many helpful discussions, and also to Minhyong Kim, without whose guidance the present paper would not have been possible.
This article forms an abridged version of the author’s dissertation at the University of Oxford [Bet18].
2. Preliminaries
Since pro-unipotent groups form an integral part of this paper, let us briefly collect a few basic facts on them for the benefit of the reader. Since the majority of the statements here qualify as well-known, we omit all proofs here, referring the reader to [Mil17] and [FG], and the corresponding section of [Bet18] for details.
Throughout this section, we fix a characteristic [math] field ; all schemes, vector spaces etc. will be over .
2.1. Pro-unipotent groups and their Lie algebras and Hopf algebras
A pro-unipotent group is an affine group-scheme which is a (possibly infinite) iterated extension of vector groups. A pro-unipotent group is very closely related to both its Hopf algebra [Mil17, Chapter ], i.e. the affine ring , and its Lie algebra [Mil17, Chapter ]
[TABLE]
The Lie algebra of is pro-nilpotent, i.e. an inverse limit of finite-dimensional nilpotent Lie algebras, and dually its Hopf algebra satisfies a certain conilpotency property.
Definition 2.1.1** (Conilpotency filtration).**
Let be a commutative Hopf algebra over . The conilpotency filtration [FG, Section 3.3.4] on is the increasing filtration defined by
[TABLE]
where denotes the -fold comultiplication on and denotes the cokernel of the unit map . In other words, if denotes the augmentation ideal of the dual Hopf algebra , then is the annihilator of . It follows from this description that the conilpotency filtration on is preserved by the Hopf algebra structure maps.
The Hopf algebra is called conilpotent (or -adically cocomplete in [Bet18], or coconnected in [Mil17, Definition 14.4]) just when its conilpotency filtration is exhaustive. Equivalently, is conilpotent just when its dual is -adically complete.
Remark 2.1.2**.**
When dealing with pro-nilpotent Lie algebras or dual Hopf algebras , these objects should be viewed as pro-finite dimensional vector spaces, i.e. as pro-objects in the category of finite dimensional vector spaces. The category of pro-finite dimensional vector spaces is canonically opposite to the category of all vector spaces via the functors sending a vector space to ids dual and a pro-finite dimensional vector space to its decompleted dual . The pro-object structure on the dual of a vector space is the natural one arising from writing as a filtered colimit of finite dimensional subspaces.
The category of pro-finite dimensional vector spaces supports a symmetric monoidal completed tensor product , given by
[TABLE]
for pro-finite dimensional vector spaces and . The natural Hopf algebra structure on the dual is not a true Hopf algebra structure, but the structure of a completed Hopf algebra [FG, Definition 3.60], i.e. a Hopf algebra object in the category of pro-finite dimensional vector spaces with respect to the completed tensor product. In particular, the comultiplication on is given by a map
[TABLE]
which does not in general factor through the usual tensor product [FG, Example 3.61].
It turns out that the property of being conilpotent exactly characterises affine rings of pro-unipotent groups [Mil17, Theorem 14.5], and the functors and provide equivalences of categories
[TABLE]
Since we will use this three-way equivalence throughout this paper, let us briefly describe each of the four remaining functors.
Firstly, if is a conilpotent commutative Hopf algebra, then one recovers its associated pro-unipotent group as its spectrum . Equivalently, is the functor of grouplike elements of the dual Hopf algebra , i.e.
[TABLE]
for any -algebra , functorial in , where H_{\Lambda}^{*}=\mathrm{Hom}_{\text{F-linear}}(H,\Lambda) denotes the base-change of from to . The group structure on is the natural one induced from the multiplication on .
The Lie algebra corresponding to can similarly be recovered as the space of primite elements of , i.e. the pro-finite dimensional subspace
[TABLE]
The Lie bracket on is the natural one induced from the commutator bracket on . The usual exponential power series converges on and induces a canonical bijection
[TABLE]
This can even be upgraded to an isomorphism of -schemes, where by abuse of notation we conflate with its corresponding affine space . The inverse isomorphism is denoted .
Lastly, if is a pro-nilpotent Lie algebra, then its corresponding pro-unipotent group is the affine group-scheme on (the affine space corresponding to) whose group law is given by the Baker–Campbell–Hausdorff formula [Mil17, Theorem 15.36]
[TABLE]
This description of allows many statements about pro-unipotent groups to be reduced to their Lie algebras. For example, exactness of a sequence of pro-unipotent groups can be checked on -points, and surjections (resp. injections) of pro-unipotent groups have sections (resp. retractions) as -schemes.
The commutative Hopf algebra associated to is the decompleted dual of the completed universal enveloping algebra . When is finite dimensional, is defined to be the completion of the universal enveloping algebra with respect to powers of its augmentation ideal; for general it is defined by taking the inverse limit of the completed universal enveloping algebras of its finite dimensional quotients.
Remark 2.1.3**.**
For us, especially in section 4, one important consequence of the equivalences ( ‣ 2.1) is that they enable one to make sense of various kinds of extra structures on pro-unipotent groups. For instance, if is a Tannakian category with fibre functor , then specifying an action of the Tannaka group on a pro-unipotent group is equivalent to giving (resp. ) the structure of an ind-object (resp. pro-object) in the category compatible with the Hopf algebra structure (resp. with the Lie bracket).
2.1.1. The conilpotency filtration and the descending central series
Let us briefly record a few properties fo the conilpotency filtration on the affine ring of a pro-unipotent group . The first asserts a very precise connection between the conilpotency filtration and the descending central series of .
Lemma 2.1.4**.**
Let be a pro-unipotent group, and for let denote the maximal -step pro-unipotent quotient of . Then is the subalgebra generated by , and the kernel of the surjection is the ideal generated by and all elements of the form for and for . (Here denotes the canonical inclusion .)
Although the pro-unipotent groups arising in this paper will in general be infinite dimensional, they will at least be finitely generated (i.e. have a finite generated Zariski-dense subgroup of their -points). This translates to the following useful finiteness property of the affine ring .
Proposition 2.1.5**.**
[LM85, Proposition 1.5]** Let be a pro-unipotent group. Then is finitely generated if and only if each is finite dimensional (if and only if is finite dimensional).
2.2. Torsors under pro-unipotent groups
As well as pro-unipotent groups , we will also study torsors under them, i.e. non-empty -schemes with a (right-)action such that the natural map
[TABLE]
is an isomorphism of schemes. Such torsors automatically have an -point , and the action on any such provides an isomorphism of -torsors (for the right-multiplication action of on itself).
The affine ring of a -torsor carries a canonical increasing conilpotency filtration analogous to the conilpotency filtration on (definition 2.1.1), defined by
[TABLE]
where denotes the -fold coaction. This filtration is compatible with the algebra structure on , as well as its induced -comodule structure. We will frequently use the following result.
Proposition 2.2.1**.**
Let be a torsor under a pro-unipotent group , and choose . Then the isomorphism
[TABLE]
determined by is a -filtered isomorphism, and the induced isomorphism
[TABLE]
is independent of the choice of . In particular, if is finitely generated then each is finite dimensional.
As for pro-unipotent groups, we can make sense of the notion of various extra structures on torsors. If is a neutralised -linear Tannakian category and is a pro-unipotent group in , a torsor under (in ) consists of a -torsor endowed with the structure of an ind-object of on its affine ring which is compatible with both its algebra structure and its right -comodule structure. If is a -torsor in a neutralised Tannakian category , the isomorphism
[TABLE]
determined by a point need not respect the -object structures. However, the subspaces are necessarily ind--subobjects and the induced canonical isomorphism
[TABLE]
is necessarily an isomorphism of graded ind-objects of . We will see this argument spelled out explicitly in proposition 8.1.2.
2.3. Malc̆ev completion
The pro-unipotent Betti and étale fundamental groups we will study in this paper can be thought of as certain pro-unipotent envelopes of the more usual discrete Betti or profinite étale fundamental groups. The exact definition of these pro-unipotent envelopes is best given via a universal property, following [FG, Section 3.3].
Definition 2.3.1** (Malc̆ev completion, [FG, Definition 3.95]).**
Let be a discrete group. Then the functor from pro-unipotent groups over to sets defined on objects by
[TABLE]
is representable by a pro-unipotent group and homomorphism . This group is called the Malc̆ev completion of , and is functorial in . For an -algebra , we may write for where the meaning is clear.
More generally, if is a topological group and a topological field of characteristic zero, the functor from pro-unipotent groups over to sets defined on objects by
[TABLE]
is representable by a pro-unipotent group and continuous homomorphism . This group is called the continuous Malc̆ev completion of , and is functorial in .
There is an analogous notion of the (continuous) Malc̆ev completion of a -torsor [FG, Section 3.3.7].
Example 2.3.2**.**
- •
If is a path-connected, locally path-connected and locally simply connected topological space with a basepoint , then the -pro-unipotent fundamental group of (the Tannaka group of the category of unipotent -local systems on ) is the -Malc̆ev completion of the usual topological fundamental group .
- •
If is a connected variety over an algebraically closed field and a geometric basepoint, the -pro-unipotent étale fundamental group of (the Tannaka group of the category of unipotent étale -local systems on ) is the continuous -Malc̆ev completion of the profinite étale fundamental group .
If is homotopy-equivalent to a finite CW complex (resp. is defined over an algebraically closed field of characteristic [math]), then this pro-unipotent group is finitely generated.
Remark 2.3.3**.**
If is a connected variety over an algebraically closed subfield of and is a -point of , then there is a canonical isomorphism
[TABLE]
between the profinite étale fundamental group of and the profinite completion of the topological fundamental group of (given its usual topology induced by that on ). It follows that the -pro-unipotent étale fundamental group of is canonically identified with the -pro-unipotent (topological) fundamental group of , base-changed to .
We will need the following properties of Malc̆ev completion.
Proposition 2.3.4**.**
- •
Let be a finitely generated discrete group and its maximal torsion-free -step nilpotent quotient. Then the natural map
[TABLE]
is an isomorphism.
- •
Let
[TABLE]
be an exact sequence of finitely generated nilpotent groups. Then the induced sequence
[TABLE]
on -Malc̆ev completions is also exact.
- •
Let be a finitely generated discrete group. Then its -Malc̆ev completion is canonically isomorphic to , where
[TABLE]
with the augmentation ideal of the group algebra .
- •
Let be a finitely generated discrete group and a field extension. Then there is a canonical isomorphism .
3. The main theorem (-adic version)
Let us begin by giving the proof of theorem 1.1.6. Although the details of the proof will present few difficulties for us, variations of the arguments outlined here will reappear in §7 to prove the -adic analogue of theorem 1.1.6.
For the remainder of this section let us fix an abelian variety over our fixed -adic field and a prime number . We will denote by a pair of a varying line bundle and a basepoint in the complement of the zero section lying over , and by the -pro-unipotent étale fundamental group of based at .
If we pick an embedding , then is an oriented -bundle over the torus . The homotopy exact sequence associated to a fibration ensures that
[TABLE]
is a central extension of an abelian group by an abelian group. By the comparison in example 2.3.2 and proposition 2.3.4, the corresponding sequence
[TABLE]
on étale fundamental groups arising from the fibration sequence can be identified (after a suitable choice of a embedding ) with the -Malc̆ev completion of the first sequence. Hence, by proposition 2.3.4, sequence 3.0.1 is also a central extension and, in particular, is a -step unipotent group.
Now, since all the unipotent groups appearing in sequence 3.0.1 are isomorphic to affine space as varieties, it follows that has the subspace topology and has a continuous splitting, so that we obtain (part of) a long exact sequence
[TABLE]
in continuous Galois cohomology (see §4). The leftmost term vanishes since is finite, and the rightmost term vanishes by the Euler–Poincaré characteristic formula. Hence the map is bijective, so that we have a well-defined composite map
[TABLE]
where the final isomorphism arises from Kummer theory.
It remains to show that the are the Néron log-metrics on our varying line bundle (and in particular that they are -valued). In order to do this, we just need to verify that these functions satisfy a certain list of properties uniquely characterising the Néron log-metric, analogous to those characterising Néron functions [Lan83, Theorem 11.1.1]. Since the functions we are interested in are not taking values in , the exact conditions are a little delicate.
Lemma 3.0.1**.**
Let be an abelian variety over our fixed -adic field . Then for any pair consisting of a line bundle and a basepoint lying over , the Néron log-metric (see §1.1.3) is -valued, and the restricted functions
[TABLE]
are uniquely characterised by the following properties:
- (0)
* only depends on up to isomorphism;* 2. (1)
* is locally constant (for the -adic topology on );* 3. (2)
; 4. (3)
, where by abuse of notation we also denote by the topmost map in the pullback square
{{[2]}^{*}L^{\times}}$${L^{\times}}$${A}$${A;}$$\scriptstyle{[2]} 5. (4)
when is the trivial line bundle, is the composite
[TABLE] 6. (5)
.
More strongly, a family of functions valued in a -algebra satisfying the above conditions with replaced by is automatically -valued, and agrees with the restriction of the Néron log-metric to .
Proof.
The fact that the Néron log-metric is -valued and locally constant follows from the corresponding result for Néron functions [Lan83, Theorems 11.5.1 & 11.5.2]. The properties of the Néron log-metric then follow from the corresponding properties of Néron functions [Lan83, Theorem 11.1.1].
Conversely, if is another such family valued in a -algebra , then by conditions 2 and 4 we have for all and , so that the function is constant on the fibres of and hence factors through a unique locally constant function . The assignment depends only on , and is a group homomorphism by condition 2.
Now if is symmetric (so ), then for all by condition 3. Thus the image of is closed under multiplication by . Since it is also finite, this is only possible if . A similar argument shows that also when is antisymmetric, and hence in general by writing for a general as a product of a symmetric and an antisymmetric part. This shows that as desired. ∎
Let us now verify that the conditions of lemma 3.0.1 are satisfied for the functions constructed above – for instance, condition 5 is immediate, since is defined as a composite of basepoint-preserving maps. In fact, with one exception (condition 1), the verifications will be entirely formal.
For condition 4, we note that the inclusion has a section given by projection, and hence the inverse to the isomorphism is the map induced by projection. Naturality of the non-abelian Kummer map then gives a commuting diagram
{K^{\times}\times A(K)}$${K^{\times}}$${\mathbb{Q}_{\ell}}$${\mathrm{H}^{1}(G_{K},U(\mathbb{Q}_{\ell}))}$${\mathrm{H}^{1}(G_{K},\mathbb{Q}_{\ell}(1))}$${\mathbb{Q}_{\ell}}$$\scriptstyle{\mathrm{proj}}$$\scriptstyle{v}$$\scriptstyle{\sim}$$\scriptstyle{\sim}
which shows that in this case, as desired.
Condition 3 also follows from naturality of the non-abelian Kummer map, the proof being entirely contained in the commuting diagram
{\mathrm{H}^{1}(G_{K},U^{\prime}(\mathbb{Q}_{\ell}))}$${\mathrm{H}^{1}(G_{K},\mathbb{Q}_{\ell}(1))}$${\mathbb{Q}_{\ell}}$${L^{\times}(K)}$${\mathrm{H}^{1}(G_{K},U(\mathbb{Q}_{\ell}))}$${\mathrm{H}^{1}(G_{K},\mathbb{Q}_{\ell}(1))}$${\mathbb{Q}_{\ell},}$$\scriptstyle{[2]}$$\scriptstyle{[2]_{*}}$$\scriptstyle{\sim}$$\scriptstyle{\sim}$$\scriptstyle{\sim}$$\scriptstyle{\sim}
where is the unipotent fundamental group of .
Of the formal conditions, the only mildly difficult verification is that of condition 2, for which we consider the pointed -torsor on . Writing for the fundamental group of based at , the same argument as earlier establishes that the inclusion of the fibre over [math] induces an isomorphism
[TABLE]
and hence we have a well-defined map
[TABLE]
Now the tensor-multiplication map restricts to the codiagonal (multiplication) map on the fibres over , and hence we have a commuting diagram
{(L_{1}^{\times}\times_{A}L_{2}^{\times})(K)}$${\mathrm{H}^{1}(G_{K},U_{1,2}(\mathbb{Q}_{\ell}))}$${\mathrm{H}^{1}(G_{K},\mathbb{Q}_{\ell}(1)\times\mathbb{Q}_{\ell}(1))}$${\mathbb{Q}_{\ell}^{\oplus 2}}$${(L_{1}\otimes L_{2})^{\times}(K)}$${\mathrm{H}^{1}(G_{K},U_{1\otimes 2}(\mathbb{Q}_{\ell}))}$${\mathrm{H}^{1}(G_{K},\mathbb{Q}_{\ell}(1))}$${\mathbb{Q}_{\ell}}$$\scriptstyle{\otimes}$$\scriptstyle{\otimes_{*}}$$\scriptstyle{\sim}$$\scriptstyle{\sim}$$\scriptstyle{\mathrm{codiag}_{*}}$$\scriptstyle{\mathrm{codiag}}$$\scriptstyle{\sim}$$\scriptstyle{\sim}
where is the unipotent fundamental group of based at . Reading the composites around the outside, we then see that .
Repeating the same argument with the projections for , one sees similarly that . Since the codiagonal map is the pointwise sum of the projections, we thus obtain that
[TABLE]
as functions on , which is exactly the desired equality.
To conclude the proof of theorem 1.1.6, it just remains to check condition 1, i.e. that the are locally constant. This is in fact a general phenomenon, see [Bet22, Theorem 1.1].
4. Representations on pro-unipotent groups
In this section, we will explain and explore the basic theory of (continuous) representations of on finitely generated pro-unipotent groups , which will form a mildly non-abelian generalisation of the notion of (continuous, finite-dimensional) representations of on -vector spaces. For the time being, here is any prime, possibly equal to . Just as -adic linear Galois representations arise from geometry as the étale cohomology of -varieties with coefficients in , the principal source of Galois representations on pro-unipotent groups will be the pro-unipotent fundamental groups of -varieties at -rational basepoints.
However, just as the theory of linear Galois representations can be developed independently of their desired geometric source, we will now investigate these representations in the abstract. In this section in particular, we will be interested in extending the usual definitions of various classes of linear representations to the unipotent context. In extending these definitions, we will typically give three equivalent characterisations of the property of interest: one in terms of the group scheme ; one in terms of the Lie algebra ; and one in terms of the Hopf algebra . The archetypal example of this is the following.
Definition-Lemma 4.0.1**.**
Let be a finitely generated pro-unipotent group endowed with an action of a topological group by algebraic group automorphisms. Then the conilpotency filtration (see definition 2.1.1) on is -stable.
We shall say that is a (continuous)777We will omit the word “continuous” throughout this article, following from the standard practice in discussing linear -adic representations. representation of on a finitely generated pro-unipotent group just when the following equivalent conditions hold:
- (1)
the action of on is continuous; 2. (2)
the action of on is continuous; 3. (3)
the action of on each is continuous.
In this, the topology on is the natural one888The natural topology on the -points of an affine -scheme is the subspace topology on arising from embedding as a closed subscheme of an affine space , perhaps of infinite dimension. This is independent of the choice of embedding. When is a pro-unipotent group, this embedding of course can be chosen to be the isomorphism between and its Lie algebra. induced by the topology on .
Proof of equivalence.
-invariance of the conilpotency filtration follows from its definition in terms of kernels of -equivariant maps.
The logarithm isomorphism (of -schemes) ensures that is homeomorphic to compatibly with the -action, which gives the equivalence (1)(2).
For the equivalence (2)(3), we note that each condition holds for iff it holds for all of its finite-dimensional -equivariant quotients, so that it suffices to prove the result when is unipotent. In this case, the third condition is equivalent to the action on each being continuous, where is the universal enveloping algebra of and is its augmentation ideal. Since is generated as an algebra by , continuity of the action on clearly implies continuity of the action on each . Conversely, injects into for , and hence continuity of the action on implies continuity on . ∎
Remark 4.0.2**.**
It follows immediately from the definition that any -stable finitely generated subgroup or quotient of a representation of a topological group on a finitely generated pro-unipotent group is also a representation, i.e. is continuous in the above sense. It also follows that any representation on a finitely generated pro-unipotent group is an inverse limit of representations on unipotent groups, so we can often prove results about general representations by reducing to the finite-dimensional case.
Of course, pro-unipotent fundamental groups are an example of such representations. This is generally well-known, but let us nonetheless briefly recall how the proof goes.
Proposition 4.0.3**.**
Let be a smooth connected variety over a characteristic [math] field , and . Then the -pro-unipotent fundamental group of based at is a representation of the absolute Galois group on a finitely generated pro-unipotent group in the sense of definition-lemma 4.0.1.
Proof.
There are two claims here: that the fundamental group is finitely generated; and that the Galois action is continuous. This latter claim follows from [Del89, Section 13.4] by taking an inverse limit.
For the former claim, note that by the Lefschetz principle, it suffices to prove the result for , where by the comparison isomorphism it suffices to prove that the usual topological fundamental group is finitely generated. Moreover, by the Seifert–van Kampen theorem, it suffices to prove this for quasi-affine varieties. However, by [Hir75, Semi-algebraic triangulation theorem] (see also [Hir75, Remark 1.10]), any algebraic subset of is homeomorphic to the complement in a finite simplicial complex of a subcomplex, and hence has finitely generated fundamental group. ∎
4.0.1. Serre twisting
If is a representation of a topological group on a finitely generated pro-unipotent group, then we will very often be interested in the non-abelian continuous Galois cohomology set
[TABLE]
defined to be the quotient of the set of continuous cocycles (maps satisfying ) modulo the right action of given by
[TABLE]
When is non-abelian, this in general does not have a group structure, merely a distinguished point given by the class of the trivial cocycle. In particular, we will several times encounter the problem that the fibres of a map of pointed sets are not in general determined simply by its kernel – for instance a map with trivial kernel can nonetheless fail to be injective.
To circumvent these difficulties, we will use Serre twists [Ser97, Section I.5.3], whose definition we now recall. Given a continuous cocycle , the Serre twist of by is defined to be the representation of on the same underlying pro-unipotent group, whose action on -points for some -algebra is given by
[TABLE]
This action is clearly algebraic (i.e. natural in ) and continuous on -points, since was chosen continuous.
The main basic result regarding Serre twists is the following, which allows one in practice to prove results about all fibres of maps out of Galois cohomology by just considering kernels.
Proposition 4.0.4**.**
[Ser97, Proposition I.35 bis]999Strictly, Serre only considers the case when the action of on is continuous for the discrete topology and the cohomology considered is non-continuous cohomology. Nonetheless, the same argument works. Let be a representation of a topological group on a finitely generated pro-unipotent group, and a continuous cocycle. Then right-multiplication by induces a bijection
[TABLE]
taking the distinguished point of to the class .
As an example, let us now use the notion of Serre twists to prove a lemma allowing one to reduce study of the Galois cohomology of representations on finitely generated pro-unipotent groups to the finite-dimensional case.
Lemma 4.0.5**.**
Let be a representation of a topological group on a finitely generated pro-unipotent group, and write as an inverse limit of finite-dimensional -equivariant quotients. Then the natural map
[TABLE]
is bijective.
Proof.
We may assume the indexing set for the inverse system is .
Let us begin by showing surjectivity. To do this, choose an element , and write for the set of continuous cocycles whose class is . If then is surjective, for, if is any element, we may pick some , so that the image of in differs from by the right action of some . Lifting to some and replacing with , we obtain a lift of to . In particular, is non-empty. But any element can be thought of as a continuous cocycle , and the class maps by construction to in each , proving surjectivity.
Let us show next that has trivial kernel. Let be a cocycle representing an element of the kernel, and for each let denote the set of elements whose coboundary is the image of in . Each is non-empty by assumption, and is a left torsor under for the multiplication action. Since is the -points of a unipotent subgroup of , it follows that the images of stabilise for , i.e. the system satisfies the Mittag–Leffler condition. Hence the system of non-empty sets also satisfies the Mittag–Leffler condition, and in particular is non-empty. But by construction the coboundary of any element of is , so that is a trivial cocycle as desired.
It remains to show that is actually injective. If we pick any cocycle , and write for its images in each , then Serre twisting provides us a commuting square
{\mathrm{H}^{1}(G,{}_{\alpha}U(\mathbb{Q}_{\ell}))}$${\operatorname{\underset{\longleftarrow}{\lim}}\mathrm{H}^{1}(G,{}_{\alpha_{n}}U_{n}(\mathbb{Q}_{\ell}))}$${\mathrm{H}^{1}(G,U(\mathbb{Q}_{\ell}))}$${\operatorname{\underset{\longleftarrow}{\lim}}\mathrm{H}^{1}(G,U_{n}(\mathbb{Q}_{\ell})).}$$\scriptstyle{\wr}$$\scriptstyle{\wr}
We’ve shown that the top map has trivial kernel, so that is the unique point in its fibre under the map . Since was arbitrary, this shows that the map is injective, as desired. ∎
4.1. -adic Galois representations
Before we embark on our analysis of representations of on finitely generated pro-unipotent groups over , let us first examine the much simpler case of groups over , where now is some prime different from . All the results proven here will have their -adic analogues in the following sections, and should serve to illustrate the methods we will employ in developing the basic theory.
The following definition describes how to generalise the basic notions from the theory of -linear representations to the finitely generated pro-unipotent setting, as usual phrased in three equivalent ways.
Definition-Lemma 4.1.1**.**
Let be a representation of on a finitely generated pro-unipotent group, where . We shall say that is semistable (resp. unramified) just when the following equivalent conditions hold:
- (1)
has a (separated) -stable filtration by subgroup-schemes with each abelian of finite type and the action of inertia on being unipotent (resp. the action of inertia on is trivial); 2. (2)
is pro-semistable (resp. unramified), i.e. all of its finite-dimensional -equivariant quotients are semistable (resp. unramified) representations; 3. (3)
each is semistable (resp. unramified).
Proof of equivalence.
The equivalence of the different definitions of unramifiedness is clear, so we only deal with the case of semistability.
For the equivalence (1)(2), consider any (separated) -stable filtration of by finite-index subgroups with abelian, such as for instance the descending central series filtration. The action on is pro-semistable iff the action on each is semistable, which occurs iff the action on each is semistable, as desired.
For the equivalence (2)(3), we note that the third point is equivalent to ind-semistability of , and hence each condition holds of iff it holds for all of its finite-dimensional -equivariant quotients, so that it suffices to prove the result when is unipotent. Again, semistability of is equivalent to semistability of , where is the universal enveloping algebra of . Since injects into for and is a quotient of the tensor algebra , the equivalence (2)(3) follows. ∎
Remark 4.1.2**.**
It follows directly from the definitions that -stable finitely generated pro-unipotent subgroups and quotients of semistable (resp. unramified) representations are again semistable (resp. unramified), and that a representation of on a finitely generated pro-unipotent group is semistable (resp. unramified) iff all of its finite-dimensional quotients are. Moreover, the class of semistable representations is closed under central extensions.
Using this definition, we can prove the somewhat surprising result that semistability depends only on the abelianisation of a finitely generated pro-unipotent group, deducing as a corollary that Grothendieck’s -adic monodromy theorem holds in this setting. Note that one can deduce this immediately for unipotent groups by considering the Lie algebra, but the infinite-dimensional version genuinely does require reduction to the abelianisation.
Lemma 4.1.3**.**
Let be a representation of on a finitely generated pro-unipotent group, where . Then is semistable iff is.
Proof.
The “only if” direction is trivial, so let us concentrate on the converse implication. Let denote the descending central series, so that are finite-index subgroups with abelian. is then the abelianisation of , and we have surjective iterated commutator maps
[TABLE]
Since by assumption is an abelian semistable representation, so too is each . Thus by definition-lemma 4.1.1 is semistable. ∎
Corollary 4.1.4** (-adic monodromy theorem for pro-unipotent representations).**
Let be a representation of on a finitely generated pro-unipotent group, where . Then is potentially semistable (i.e. becomes semistable after restriction to an open subgroup).
Proof.
This follows immediately from Grothendieck’s -adic monodromy theorem, applied to the finite-dimensional . ∎
Let us conclude this section by making good on our promise in remark 1.2.4 and showing that the set of relatively unramified torsors under the -unipotent fundamental group of is trivial, for a line bundle on an abelian variety . In the proof, we will need the following easily-proved non-abelian analogue of the inflation-restriction sequence.
Proposition 4.1.5** (Non-abelian inflation-restriction).**
Let be a profinite group acting continuously on a topological group , and a closed normal subgroup. Then we have an inflation-restriction exact sequence
[TABLE]
Proposition 4.1.6**.**
Let be a representation of on a unipotent group, where . Then
[TABLE]
is trivial iff .
Proof.
Since is pro-cyclic, generated by Frobenius , and is a direct limit of profinite groups, we know that is the orbit-space of the twisted conjugation action . Hence iff this self-action of is transitive, and iff the stabiliser of the basepoint is trivial.
In proving the equivalence of these conditions, we are free to replace by , so we may and will assume that inertia acts trivially on .
We now proceed by induction. When is abelian, the twisted conjugation is just the translation action along the endomorphism of . The orbit space is then the cokernel of while the point-stabiliser is the kernel of ; either of these vanishes iff the other does by dimension considerations.
In general, we write as a -equivariant central extension
[TABLE]
where we already know the result for and . If on the one hand the self-action of is transitive, then so too is the self-action of , so that by induction the latter action has trivial point-stabiliser. This forces the self-action of to also be transitive, and hence also have trivial point-stabiliser. The triviality of the point-stabilisers for the self-actions of and then implies the same for , as desired.
If, on the other hand, the point-stabiliser for the self-action of is trivial, then the same is true for the self-action of , which is thus transitive. This then forces the self-action of to have trivial point-stabiliser, so again by induction it is transitive, and combining transitivity for and we obtain transitivity for , as desired. ∎
Remark 4.1.7**.**
The condition that holds whenever is the -pro-unipotent fundamental group of a smooth geometrically connected -variety based at a -rational point; this follows from the fact that possesses a weight filtration whose graded pieces are abelian representations satisfying a certain weight–monodromy property with negative weight [BL19, Theorem 1.3(1)]101010It seems that this weight–monodromy result for the fundamental group was unknown in general at the time this paper was first written, where it was formulated as a conjecture. So the chronology is backwards here: it was this paper which in part inspired [BL19].. For the fundamental groups studied in this paper, this is more classical: when is the fundamental group of a -torsor over an abelian variety , then is a central extension of by , so the vanishing of follows from the vanishing of [GRL67, Corollaire IX.4.4].
4.2. -adic Galois representations, admissibility, and Dieudonné functors
Having sketched some of the basic theory of Galois representations on pro-unipotent groups over for , let us now discuss the theory of such representations when . As in the abelian case, the theory we obtain is much richer than the case, and will constitute the technical basis of our coming analysis of local Bloch–Kato Selmer sets.
The basic constructions and notions in abelian -adic Hodge theory as developed by Fontaine in [Fon94b] revolve around certain period rings , which are topological -algebras with a continuous -action, and consideration of the -semilinear -action on for a -adic Galois representation of interest. Replacing by a finitely generated pro-unipotent group , the correct analogue of is , given its natural topology induced from that on and its natural “semilinear” (continuous111111One can see continuity, for instance, by reducing to the case of finite-dimensional and examining the action on .) -action arising from those on and .
With this analogy in mind, it is now straightforward for us to define the Dieudonné functor associated to a period ring , which will take representations on finitely generated pro-unipotent groups over to pro-unipotent groups over the fixed field . As usual, for the various period rings arising in practice, we will decorate the corresponding Dieudonné functor with the same symbols as the period ring without comment – for instance will be the Dieudonné functor associated to .
Lemma 4.2.1**.**
Let be a -regular -algebra [Fon94b, Definition 1.4.1] with -fixed field (or a -stable -subalgebra of such an algebra), and let be a representation of on a finitely generated pro-unipotent group. Then the functor on -algebras defined by
[TABLE]
is a pro-unipotent group over with Lie algebra , and there is a natural injection
[TABLE]
between the base-changes to . In particular, if is finite-dimensional, then so is and we have the inequality .
Proof.
Since the formation of is compatible with inverse limits in , we may reduce to the case that is finite-dimensional.
Using the isomorphism , we obtain a natural isomorphism
[TABLE]
But the right-hand side is the functor-of-points of the vector group associated to the finite-dimensional -vector space . Hence is a variety, isomorphic to affine space.
Now the group operation on is induced from the Lie bracket on via the Baker–Campbell–Hausdorff formula. From this, it follows that the natural group operation on is induced from the natural Lie bracket on also by the Baker–Campbell–Hausdorff formula, so that is unipotent with Lie algebra .
Finally, the natural map induced by the multiplication map for any -algebra induces a morphism
[TABLE]
which, identifying both sides with their Lie algebras, is the usual one from the theory of admissible representations, and hence injective. In particular, . ∎
Just as in abelian -adic Hodge theory, the Dieudonné functor allows us to define certain admissible classes of representations on pro-unipotent groups. In fact, the notion we get is essentially already encompassed by the notion of admissibility for linear -adic representations, as in the following lemma.
Definition-Lemma 4.2.2**.**
Let be a -regular -algebra [Fon94b, Section 1.4] with -fixed field , and let be a representation of on a finitely generated pro-unipotent group. The following are equivalent:
- (1)
is an isomorphism; 2. (1’)
(if finite-dimensional) ; 3. (2)
is pro--admissible; 4. (3)
each is -admissible.
When these equivalent conditions hold, we will say that is -admissible. In the specific case when (resp. , resp. ), we will refer to as being de Rham (resp. semistable, resp. crystalline).
Proof of equivalence.
For the equivalences (1)(2)(3), we may reduce to the case that is finite-dimensional, since the construction of and the map commutes with inverse limits in .
In this case, is the Lie algebra of by lemma 4.2.1, so that we have , which proves the equivalence (1’)(2).
Next, to prove the equivalence (1)(2), we simply note from the proof of lemma 4.2.1 that, via the usual logarithm maps, the injection for a -algebra is identified with the base change to of the usual map . Thus the one map is an isomorphism iff the other is.
Finally, for the equivalence (2)(3), we note that condition (3) is equivalent to -admissibility of each , where is the universal enveloping algebra of and is the augmentation ideal. Again, the fact that is a surjective image of the tensor algebra and that is a subrepresentation of for justifies the equivalence (2)(3). ∎
Remark 4.2.3**.**
When is -admissible, we’ve seen that is ind--admissible, so that is a Hopf algebra over . Indeed, the -points of the corresponding affine group scheme are
[TABLE]
so that the corresponding affine group scheme is canonically identified with .
Moreover, it follows from definition 2.1.1 and the fact that everything in sight is -admissible that in this case , so that is finitely generated (see proposition 2.1.5).
Remark 4.2.4**.**
It follows directly from the definitions and [Fon94b, Proposition 1.5.2] that -stable finitely generated subgroups and quotients of -admissible representations are again -admissible, and that a representation of on a finitely generated pro-unipotent group is -admissible iff all of its finite-dimensional quotients are.
The equivalence between -admissibility of and means that we immediately deduce non-abelian versions of certain basic properties of admissible representations.
Lemma 4.2.5**.**
Let
[TABLE]
be an exact sequence of de Rham representations of on finitely generated pro-unipotent groups over . Then the sequence remains exact on taking and on taking .
Proof.
Since the functors and commute with inverse limits, it suffices to treat the case that , and are finite dimensional. Since and similarly for , it suffices also to prove the corresponding statement for the Lie algebras of , and . But the Lie bracket plays no role in exactness of the sequences, so it suffices to prove the result when , and are replaced by -linear representations.
Now since the representations , and are all potentially semistable [Ber02, Théorème 0.7], exactness after applying is dealt with in the argument (but not the statement) of [Ber02, Lemme 6.4].
To prove exactness after applying , we may choose by potential semistability an open normal subgroup such that , and are semistable when the action is restricted to . Since etc. are admissible filtered -modules and morphisms of such are strict [Fon94b, Théorème 5.3.5], we thus have that
[TABLE]
is exact. Since all the terms are vector spaces over a characteristic zero field, the sequence remains exact after taking invariants under the finite group , and hence the sequence on is exact as desired. ∎
Corollary 4.2.6**.**
If is a de Rham representation of on a finitely generated pro-unipotent group which is an extension of a two semistable representations (on finitely generated pro-unipotent groups), then itself is semistable.
Proof.
Writing as an extension of by , both semistable, we have from lemma 4.2.5 a diagram
{1}$${\mathsf{D}_{\mathrm{st}}(Z)_{\mathsf{B}_{\mathrm{st}}}}$${\mathsf{D}_{\mathrm{st}}(U)_{\mathsf{B}_{\mathrm{st}}}}$${\mathsf{D}_{\mathrm{st}}(Q)_{\mathsf{B}_{\mathrm{st}}}}$${1}$${1}$${Z_{\mathsf{B}_{\mathrm{st}}}}$${U_{\mathsf{B}_{\mathrm{st}}}}$${Q_{\mathsf{B}_{\mathrm{st}}}}$${1}$$\scriptstyle{\wr}$$\scriptstyle{\wr}
of group schemes over , with both rows exact (on -points for all -algebras ) and the outer vertical maps both isomorphisms. The five-lemma then shows that is an isomorphism, so that is semistable as desired. ∎
4.2.1. Potential semistability
Just as in the -adic case, we can prove an analogue of Berger’s theorem on potential semistability of de Rham representations in the setting of representations on finitely generated pro-unipotent groups. Again, the key result which allows us to reduce to the linear case is that semistability of a de Rham representation depends only on its abelianisation.
Lemma 4.2.7**.**
Let be a de Rham representation of on a finitely generated pro-unipotent group. Then is semistable iff is.
Proof.
The same proof as lemma 4.1.3 works, the key point being that everything in sight is de Rham, so that central extensions of semistable representations remain semistable. ∎
Corollary 4.2.8** (-adic monodromy theorem for pro-unipotent representations).**
Let be a representation of on a finitely generated pro-unipotent group. Then is potentially semistable (i.e. becomes semistable after restriction to an open subgroup) iff is de Rham.
Proof.
Potentially semistable representations are clearly de Rham. Conversely, if is de Rham, then by lemma 4.2.7 it becomes semistable as soon as does. But is a finite-dimensional linear representation, so is potentially semistable by [Ber02, Théorème 0.7]. ∎
4.2.2. Extra structures on Dieudonné functors
Just as in the abelian case, the pro-unipotent groups , and carry various extra structures (Frobenius, monodromy, Hodge filtration) induced from the corresponding structures on the period rings , and . Since we will not require these extra structures in the main body of this paper, let us merely describe in outline how these structures manifest on , assuming for simplicity that is semistable.
Most obviously, since is ind-semistable, then carries the structure of an ind-weakly admissible filtered -module, compatible with the Hopf algebra structure morphisms. As usual, these extra structures (Frobenius, monodromy, Hodge filtration) on can be viewed equivalently as structures on or on itself. For the same argument shows that it carries a pro-weakly admissible filtered -module structure compatible with the Lie bracket.
However, viewing these structures on is more complicated, and indeed the Hodge filtration has no obvious direct interpretation (except as a structure on or ). The intepretation of Frobenius and monodromy on is as follows.
On the level of , the semilinear Frobenius on induces a semilinear Frobenius , where by abuse of notation we also denote by the Frobenius on the maximal absolutely unramified subfield of . The monodromy operator on , which is a derivation compatible with the comultiplication, induces then a homomorphic vector field on , i.e. a vector field which, when viewed as a section of the tangent bundle on , is a group homomorphism for the natural group structure on the total space of the tangent bundle. The relation between the Frobenius and monodromy on implies that this and on satisfy the relation as morphisms , where the denotes multiplication by in the fibres of .
4.3. Cohomology of -adic Galois representations
Recall from the introduction that if is a representation of on a finitely generated pro-unipotent group, the local Bloch–Kato Selmer sets are three naturally defined pointed subsets of the non-abelian Galois cohomology cut out by increasingly coarse Selmer conditions (see definition 1.2.1), which in the case that is the fundamental group of a smooth variety should be closely tied to the geometry of . In order to prove theorem 1.2.3, we will need to conduct a detailed explicit study of these sets and their respective quotients, which will be carried out in §6 using tools from homotopical algebra.
Before we embark on this analysis, let us briefly record a few properties of the local Bloch–Kato Selmer sets and their quotients which are essentially immediate from the definitions.
Lemma 4.3.1** (Stability of local Bloch–Kato sets under base change).**
Let be a representation of on a finitely generated pro-unipotent group, and let be a finite extension (embedded in the fixed algebraic closure ). Then the restriction map
[TABLE]
is injective, and the preimage of under this map is . The same applies with or in place of .
Proof.
To prove this, it suffices to consider only the case that is finite Galois. Moreover, to prove injectivity for it suffices by naturality of the Serre twisting bijection to prove that the restriction map has trivial kernel for all twists of by continuous cocycles .
By non-abelian inflation-restriction, the kernel of the restriction map is given by . But is a uniquely divisible group, and hence so is . As is a finite group, this already implies that is trivial as desired.
To prove the assertion about , it suffices to show that has trivial kernel. In fact, it is even injective, as one proves by replacing by throughout the above proof. The cases of and are similar. ∎
Lemma 4.3.2**.**
Let be a representation of on a finitely generated pro-unipotent group and . Let denote the equivalence relation on described in Definition 1.2.1. Then the -equivalence class of for a continuous cocycle is the image of under the bijection from Proposition 4.0.4.
Proof.
This is obvious from, for example, commutativity of the square
{\mathrm{H}^{1}(G_{K},{}_{\alpha}U(\mathbb{Q}_{p}))}$${\mathrm{H}^{1}(G_{K},{}_{\alpha}U(\mathsf{B}_{\mathrm{cris}}^{\varphi=1}))}$${\mathrm{H}^{1}(G_{K},U(\mathbb{Q}_{p}))}$${\mathrm{H}^{1}(G_{K},U(\mathsf{B}_{\mathrm{cris}}^{\varphi=1})).}$$\scriptstyle{\wr}$$\scriptstyle{\wr}
∎
In applying lemma 4.3.2, it will be important for us to understand when the Serre twist is de Rham. For our purposes, the following criterion will suffice.
Proposition 4.3.3**.**
Let be a representation of on a finitely generated pro-unipotent group, and a continuous cocycle whose class is in . Then is de Rham (resp. semistable) iff is, and the Serre twisting bijection induces a bijection on .
Proof.
The fact that says that there is some (hence also in ) such that for all . Then left-conjugation by induces a natural -equivariant isomorphism and hence also an isomorphism . Since these isomorphisms are compatible under the natural embedding (and similarly for ), we have that is semistable iff is (and a similar argument works for de Rhamness). The final assertion follows lemma 4.3.2 since . ∎
Remark 4.3.4**.**
One can show relatively straightforwardly that if is a representation of on a finitely generated pro-unipotent group and we write as an inverse limit of finite-dimensional -equivariant quotients, then the natural map
[TABLE]
is bijective (and similarly for and ), so that one can reduce the study of local Bloch–Kato Selmer sets to the case when is finite-dimensional. However, it will be our preference to always work at the infinite level, not least because the corresponding statements for the Bloch–Kato quotients and are much less straightforward to prove directly (see lemma 6.3.5).
4.4. Torsors and
A different approach to the study of local Bloch–Kato Selmer sets has been undertaken in Kim’s papers [Kim05, Kim09] by viewing these sets as classifying sets for certain classes of torsors under . This viewpoint has the distinct advantage of being the natural setting in which to describe the non-abelian Kummer map
[TABLE]
which is the classifying map for path-torsors when is the -pro-unipotent étale fundamental group of a variety at a -rational basepoint. Although our analysis will proceed rather differently, let us now recall this description and deduce thereby a non-abelian version of Hyodo’s theorem [Hyo].
Definition-Lemma 4.4.1**.**
Let be a representation of on a finitely generated pro-unipotent group, and let be a (right-)torsor under (the underlying group scheme of) , endowed with an action of by algebraic automorphisms. Then the conilpotency filtration on is -stable. Moreover, the following are equivalent:
- (1)
the action of on is continuous; 2. (2)
the action of on each is continuous.
When these equivalent conditions hold, we will say that is a torsor under .
Proof of equivalence.
-stability of the conilpotency filtration is immediate since it is defined by the kernels of -equivariant maps.
If we write as an inverse limit of finite-dimensional -equivariant quotients, then is homeomorphic to the inverse limit of the pushouts , so that it suffices to prove this for finite-dimensional. As in definition-lemma 4.0.1, the second condition is equivalent to the action on each being continuous. In one direction, is the set of group-like elements of the coalgebra and its topology is the subspace topology, so that the implication (2)(1) is clear.
In the other direction, there is a canonical -equivariant homeomorphism
[TABLE]
given by . When condition (1) holds, the -action on the left-hand side is continuous, and hence the action on is continuous also. ∎
The importance of this notion of torsor is twofold. Firstly, such torsors arise naturally from geometry as torsors of étale paths between two -rational points on a connected variety . Secondly, the collection of -torsors is parametrised by the continuous cohomology of , which allows one to understand them in a very concrete fashion.
Lemma 4.4.2**.**
Let be a representation of on a finitely generated pro-unipotent group. Then there is a canonical bijection
[TABLE]
Proof.
This is a special case of [Kim05, Proposition 1], where the filtration on is the conilpotency filtration. It is worthwhile quickly recalling how this construction goes.
To a cocycle we associate a -torsor whose underlying scheme is , endowed the right action of and the -twisted action, given on -points for some -algebra by
[TABLE]
Just as in §4.0.1, this action is clearly algebraic and continuous on -points. Moreover, this torsor has a distinguished -point, namely , and it is easy to check that this construction induces a bijection between and the set121212Technically, setoid. of pointed -torsors (where the inverse map takes to the cocycle ).
Now the action of on exactly corresponds to the change-of-basepoint action on pointed -torsors, so the correspondence descends to a bijection between and the set of isomorphism classes of -torsors such that . But since is a pro-unipotent group, all torsors satisfy this and we have the desired bijection. ∎
In view of lemma 4.4.2, the non-abelian local Bloch–Kato Selmer sets should correspond to a subclass of torsors satisfying certain admissibility conditions with respect to , and respectively. In fact, this criterion is very simple to state (and is essentially already found in [Kim09]).
Definition-Lemma 4.4.3**.**
Let be a representation of on a finitely generated pro-unipotent group, be a torsor under , and let be a -regular -algebra. The following are equivalent:
- (1)
lies in the kernel of ; 2. (2)
; 3. (3)
(if is -admissible) each is -admissible.
When these equivalent conditions hold, we will say that is a (relatively) -admissible torsor under .
Proof of equivalence.
For the equivalence (1)(2), we may assume that the underlying -variety of is , and that the action is that determined by a cocycle . It follows from chasing definitions in lemma 4.4.2 that the image of in is the coboundary of some iff is fixed for the -twisted action.
For the implication (2)(3) when is -admissible, a choice of a -fixed point on gives a -equivariant isomorphism of -schemes, and hence a -equivariant isomorphism . Since is ind--admissible, so too is .
For the converse implication, we recall from [Fon94b, Proposition 1.5.2] that the Dieudonné functor on -admissible representations commutes with tensor products and duals, so that when is ind--admissible, is an algebra over the fixed field , and a right-comodule for , such that is an isomorphism. Since , this implies that is a torsor under the unipotent group over (remark 4.2.3). The same argument as in remark 4.2.3 shows that for any -algebra . But then by triviality of the -torsor , we know that , as desired. ∎
Remark 4.4.4**.**
Definition-lemma 4.4.3 is a non-abelian version of the well-known fact that, under the correspondence for a -adic representation , the kernel of corresponds to the class of those extensions of by which remain exact upon applying the associated Dieudonné functor .
Using this torsor-theoretic language, we are now able to justify our use of in place of in the definition of , as promised. This is a non-abelian version of Hyodo’s theorem [Hyo].
Lemma 4.4.5**.**
Let be a de Rham representation of on a finitely generated pro-unipotent group. Then the kernel of is .
Proof.
The -equivariant inclusion induced from our choice of -adic logarithm factors the map through , and hence its kernel clearly contains . For the converse implication, consider any -torsor whose class lies in the kernel of , i.e. such that is ind-de Rham.
By potential semistability (corollary 4.2.8) we may pick a finite such that is ind-semistable as a representation of . Then from the canonical isomorphism (see proposition 2.2.1), we see that , and hence , is an ind-semistable representation of . This tells us that the class of lies in , and hence by lemma 4.3.1 the class of lies in as desired. ∎
4.4.1. Isocrystal moduli interpretations for Bloch–Kato Selmer sets
To conclude this section, let us briefly discuss a second moduli interpretation for the Bloch–Kato Selmer sets , and , as well as the relative quotients , and which is of a more log-crystalline flavour. As in §4.2.2, we will assume for simplicity that is semistable, so that is an ind-weakly admissible filtered -module and carries a Frobenius and monodromy operator . In this case, definition-lemma 4.4.3 shows that has an interpretation as the set of isomorphism classes of torsors under such that is ind-semistable. Thus by the equivalence of symmetric monoidal categories between semistable representations and weakly admissible filtered -modules [CF00, Theorem A], we obtain an equivalent description in terms of .
Lemma 4.4.6**.**
Let be a semistable representation of on a finitely generated pro-unipotent group. Then there is a canonical bijection between and the set of isomorphism classes of torsors under endowed with a ind-weakly admissible filtered -module structure on compatible with the -comodule algebra structure maps.
In this lemma and what follows, denotes the maximal absolutely unramified subfield of , i.e. the fraction field of the ring of Witt vectors of the residue field of .
Just as for , for such a torsor the Frobenius and monodromy on induce a Frobenius automorphism and monodromy vector field on , compatible with the corresponding structures on under the action map and satisfying .
Lemma 4.4.7**.**
Let be a semistable representation of on a finitely generated pro-unipotent group. Then there is a canonical bijection between:
- •
;
- •
the set of isomorphism classes of torsors under endowed with a (non-filtered) -module structure on compatible with the -comodule algebra structure maps; and
- •
the set of isomorphism classes of torsors under endowed with a Frobenius and monodromy vector field satisfying and compatible with the corresponding structures on under the action map .
Proof.
The bijection between the latter two kinds of structures on a torsor arises from the usual bijection between -semilinear variety automorphisms of (resp. vector fields on ) and -semilinear algebra automorphisms of (resp. derivations on ) – one checks straightforwardly that the conditions imposed on the variety side exactly correspond to those on the algebraic side.
For the equivalence of the first point with the other two, we consider the map
[TABLE]
where the isomorphism is the one from lemma 4.4.6, and the second map is the one which forgets the Hodge structure on the affine ring of a -torsor. It suffices to show that this map is surjective and that its fibres are exactly the equivalence classes, so that it factors through a bijection
[TABLE]
To show surjectivity, consider any with a -module structure on . It follows by definition 2.1.1 that the conilpotency filtration is a filtration by sub--modules, and that the canonical isomorphism is an isomorphism of -modules in each degree.
If we pick any , we obtain a trivialisation , and may put a Hodge filtration on by declaring it to be the filtration corresponding to the Hodge filtration on under the induced isomorphism . By construction, the canonical isomorphism is then a filtered isomorphism for the Hodge filtration, so that the -graded pieces of , with their induced Hodge filtrations, are weakly admissible. Hence, by [CF00, Proposition 3.4], itself is ind-weakly admissible, so that the class of lies in the image of , as desired.
Finally, to show that the fibres of are exactly the equivalence classes, consider any two semistable torsors , under , and write , respectively , for the associated -torsors. and lie in the same fibre iff and are isomorphic as -torsors compatibly with the -module structure on their affine rings. This occurs iff and are isomorphic as -torsors, compatibly with the Galois action, Frobenius and monodromy on the affine rings. This, in turn, occurs iff there is a -equivariant isomorphism of -torsors. But this final condition says exactly that the images of and in are equal, i.e. that they lie in the same -equivalence class, which is what we wanted to show. ∎
5. Homotopical algebraic background
Our approach to the analysis of non-abelian Bloch–Kato Selmer sets relies on a suitable non-abelian generalisation of the homological algebra of cochain complexes and their cohomology, so that we can effectively transcribe arguments from the abelian setting to the non-abelian. This generalisation is provided by the theory of cosimplicial groups and their cohomotopy, as defined for instance in [BK72], and which subsumes the more well-known theory of non-abelian group cohomology [Ser97, Section I.5]. For the convenience of the reader, we will recall the basic setup here as expounded in [Pir14].
5.1. Cosimplicial groups and cohomotopy
Definition 5.1.1** (Cosimplicial objects).**
Let be a category. A cosimplicial object of is a covariant functor , where is the simplex category whose objects are for and whose morphisms are the order-preserving maps of sets (we usually write for ). A morphism of cosimplicial objects is just a natural transformation of functors, so the category of cosimplicial objects of is the functor category .
If we replace the simplex category with the strict simplex category consisting of the monomorphisms in , then we have the notion of a semi-cosimplicial object. When has finite products, we define the cosimplicial object cogenerated by a semi-cosimplicial object to be, at some
[TABLE]
where the product is taken over all order-preserving surjections from the set . The map associated to a map is defined to be the unique one making commute all squares
{\prod_{[n^{\prime}]\twoheadrightarrow[k^{\prime}]}X^{k^{\prime}}}$${\prod_{[n]\twoheadrightarrow[k]}X^{k}}$${X^{k^{\prime}}}$${X^{k}}$$\scriptstyle{\mathrm{proj}_{g^{\prime}}}$$\scriptstyle{\mathrm{proj}_{g}}$$\scriptstyle{X^{\bullet}(f^{\prime})}
for each , where is the epi-mono factorisation of . There is a natural morphism of semi-cosimplicial objects, which is terminal among all such maps to from a cosimplicial object.
Remark 5.1.2**.**
Often, instead of considering all morphisms appearing in a cosimplicial object , we just consider the special generating set given by the coface maps and codegeneracy maps for , which are those induced from the unique injection (resp. surjection ) which misses (resp. hits twice). These are related by the cosimplicial identities:
- •
for ;
- •
for ; and
- •
s^{j}d^{i}=\begin{cases}d^{i}s^{j-1}&\text{for i<j,}\\ \mathrm{id}&\text{for i=j,j+1,}\\ d^{i-1}s^{j}&\text{for i>j+1;}\end{cases}
and, conversely, maps between the satisfying these identities uniquely determine the structure of a cosimplicial object.
Remark 5.1.3**.**
The functor is, when is abelian, essentially one of the two functors giving the equivalence in the cosimplicial Dold–Kan correspondence [GJ09, Corollary III.2.3]131313The Dold–Kan correspondence in [GJ09] is given for simplicial objects rather than cosimplicial objects, but since the dual of an abelian category is again an abelian category, the dual statement holds just as well. This is spelled out explicitly in [GM04].. More precisely, if we precompose with the functor taking a coconnected cochain complex to the semi-cosimplicial object with the same objects and whose coface maps all zero except , then the composite is one half of the equivalence of categories in the Dold–Kan correspondence. Because of this, is often called the denormalisation functor (e.g. in [Ols11, Kri93]), and can be variously denoted by , or in different sources141414There is an apparent discrepancy in the definition of the denormalisation functor in [Kri93, Section 1.4] and the dual to the definition in [GJ09, Section III.2], even though they are both supposed to be quasi-inverses to the same normalisation functor. To save confusion, we will work exclusively with the latter description..
The preceding remark shows that the category of coconnected cochain complexes of abelian groups is a full subcategory of the category of cosimplicial groups, and hence one can regard cosimplicial groups as a generalisation of cochain complexes more suited to non-abelian results. Accordingly, one hopes for suitable non-abelian generalisations of the cohomology of complexes, at least in small codimension, and this is provided by the cohomotopy sets/groups of Bousfield–Kan.
Definition 5.1.4**.**
[Pir14, Section 2] Let be a cosimplicial or semi-cosimplicial group. The [math]th cohomotopy group and st cohomotopy pointed set are defined to be:
- •
is the equaliser of ;
- •
where
[TABLE]
is the set of cocycles and acts on this set by twisted conjugation . The distinguished point is just the class of .
When is abelian, this can be extended further to give abelian cohomotopy groups for all , defined as the cohomology groups of the (unnormalised) Moore complex , whose terms are and whose differential is the alternating sum of the coface maps. It is straightforward to check this agrees with the above definition of and .
Note that makes sense for cosimplicial objects in any category with equalisers, so will inherit e.g. topologies or group actions when has them.
We will see many variants on the following example throughout this paper.
Example 5.1.5** (Double-coset spaces).**
Let be a group with subgroups , and consider the cosimplicial group cogenerated by the semi-cosimplicial group
[TABLE]
where and (and subsequent terms are the trivial group). Then (for example using remark 5.1.7 shortly) we canonically identify the cohomotopy groups of as
[TABLE]
The following lemmas are essentially restatements of the Dold–Kan and Eilenberg–Zilber theorems, which will be useful in computations.
Lemma 5.1.6**.**
*Let be a semi-cosimplicial abelian group (or semi-cosimplicial object in any abelian category), and the cosimplicial abelian group cogenerated by it. Then the canonical map of semi-cosimplicial groups induces an isomorphism on cohomotopy groups. *
Remark 5.1.7**.**
Lemma 5.1.6 is also true when is replaced by a cosimplicial group , although in this case we can only say that induces an isomorphism on and . This is proved by a straightforward chasing of definitions, which we leave to the reader.
Lemma 5.1.8**.**
Let be a bi-semi-cosimplicial abelian group (i.e. a functor ). Let be its Moore bicomplex (formed by taking the unnormalised Moore complex in the horizontal and vertical directions), and let be the bi-cosimplicial abelian group formed by taking the cosimplicial abelian group cogenerated by the semi-cosimplicial abelian groups in each of the horizontal and vertical directions. Then there is a canonical isomorphism
[TABLE]
*where is the diagonal cosimplicial abelian group. *
5.2. Long exact sequences of cohomotopy
For us, the main advantage of using cosimplicial groups is that they allow us to mechanistically produce long exact sequences (in the sense of definition 1.2.6) in much the same way as one produces long exact sequences in the cohomology of cochain complexes from short exact sequences of cochains. Unlike the abelian case, of course, the exact sequences we obtain will in general be finite in length, and moreover the length of the sequence we obtain will depend on how well-behaved the terms of the short exact sequence are. For our purposes, the following four cases will suffice.
Theorem 5.2.1**.**
- (1)
Suppose is a cosimplicial group acting degree-wise transitively on a cosimplicial set from the right, and let be the stabiliser of a chosen basepoint . Then there is a functorially assigned exact sequence
[TABLE] 2. (2)
Suppose
[TABLE]
is a degree-wise exact sequence of cosimplicial groups. Then there is a functorially assigned exact sequence
[TABLE] 3. (3)
Suppose
[TABLE]
is a degree-wise central extension of cosimplicial groups. Then there is a functorially assigned exact sequence
[TABLE] 4. (4)
Suppose
[TABLE]
is a degree-wise exact sequence of cosimplicial abelian groups. Then there is a functorially assigned exact sequence of abelian groups
[TABLE]
Proof.
Part is [Pir14, Proposition 2.6.1] (originally [DM00, Lemma 3.2 and Proposition 3.2.1]) and [Pir14, Lemma 2.6.2], while part is [Pir14, Proposition 2.8.2] (also originally in [DM00]). Neither of these sources explicitly mention the action of on , but this is just induced by the multiplication action of on . Part is well-known, in that this is just the exact sequence on cohomology for the unnormalised Moore complexes.
Part we do by hand, following [Ser97, Section I.5.4]. With the exception of the coboundary map , the maps and group action in the sequence are just the ones induced from the maps and group actions between the , and . To define at some , we choose some such that . The [math]-cocycle condition for says exactly that , so that .
Since is the coboundary of in and is injective, it is even a cocycle in . Moreover, since the choice of was unique up to left multiplication by , its class is independent of the choice of , and we take this to be .
It remains to check exactness. This is mostly an exercise in chasing definitions, and is left to the reader. ∎
Remark 5.2.2**.**
Each of the successive sequences in theorem 5.2.1 is an extension of the previous sequences. To be precise:
- •
the first five terms in agree with the sequence assigned in to the inverse left-multiplication action of on given by , and the action of on is also given by inverse left-multiplication;
- •
the first six terms in agree with the sequence assigned in , with the action of on being given by multiplication via the connecting homomorphism ;
- •
the first seven terms in agree with the sequence assigned in , with the action of on being given by multiplication.
We will also need one instance where one of the exact sequences in theorem 5.2.1 can be extended with a final , which intuitively should be thought of as a dimensional vanishing result for the non-existent . Specifically, if is a cosimplicial group, we denote by the semi-cosimplicial group formed by truncating above degree . The canonical map of semi-cosimplicial groups factors uniquely through , and we say that is cogenerated in degree if this factored map is injective in each degree. In particular, if is the cosimplicial group cogenerated by a semi-cosimplicial group supported in degrees , then it is cogenerated in degree in the above sense.
Lemma 5.2.3**.**
Suppose
[TABLE]
is a sequence of cosimplicial groups which is exact in each degree, and that is cogenerated in degree . Then the exact sequence in point of theorem 5.2.1 can be extended by a final map , i.e. the map is surjective.
Proof.
Pick , and lift it to an element . The fact that is a cocycle tells us that lies in . Now by a quick computation with the cosimplicial identities, we see that , and . Hence, by replacing with (which still maps to since ), we may assume that and . But this says exactly that is contained in the kernel of , so that by assumption that is cogenerated in degree . This then shows that , so that is a cocycle, and hence is the image of as desired. ∎
5.3. Twisting
Just as one uses Serre twists to get more precise information out of long exact sequences of group cohomology, one can formulate the notion of the twist of a cosimplicial group by to a -cocycle [Pir14, Section 2.4]. This has the same objects and codegeneracy maps as , and the only coface maps which are changed are the , which are replaced with the twisted maps
[TABLE]
The twisting has two key properties generalising those of Serre twists, namely that it doesn’t change the first cohomotopy, and that twisting by a coboundary does not change the cosimplicial group.
Proposition 5.3.1**.**
[Pir14, Proposition 2.4.3]** Let be a cosimplicial group and . There is a canonical bijection given by right-multiplication by , taking the distinguished point of to .
Proposition 5.3.2**.**
Let be a cosimplicial group and two cocycles differing by the action of some . Then there is an isomorphism canonically determined by such that the induced map on is the composite
[TABLE]
and in particular is independent of .
Proof.
The isomorphism is given on by
[TABLE]
This is clearly degree-wise an isomorphism, so to check it gives an isomorphism of cosimplicial groups one just has to check that the coface and codegeneracy maps are preserved. This is a straightforward exercise using the cosimplicial identities and their consequence that
[TABLE]
That the induced map on is as described is a straightforward calculation using the explicit description in proposition 5.3.1. ∎
5.4. Group cohomology
As explained in [Pir14, Section 2.9], cohomotopy of cosimplicial groups is a generalisation of non-abelian group cohomology. Specifically, if is a topological group acting continuously (from the left) on another topological group (we call a topological -group), one constructs a cosimplicial group of continuous cochains , where , where the coface maps and the codegeneracy maps are given by
[TABLE]
By definition of non-abelian group cohomology, we have equalities
[TABLE]
for , and for when is abelian (in fact, we even have equalities on the level of cocycles). Moreover, these descriptions are compatible with twisting, in that for a continuous cocycle , the cosimplicial group of continuous cochains for the Serre twist is equal to the twisted cosimplicial group , and the canonical isomorphism is just the canonical isomorphism on described in proposition 5.3.1.
With this in mind, we see that theorem 5.2.1 is a generalisation of various well-known long exact sequences in non-abelian group cohomology, as for example in [Ser97, Section I.5]. Since the statements there only deal with the case of discrete topological -groups, we will trouble the reader with a sufficiently general statement for our applications.
Corollary 5.4.1** (to theorem 5.2.1).**
Let be a topological group.
- (1)
Suppose is a topological -group with acting continuously, -equivariantly and transitively on a topological -set from the right, and is the stabiliser of a -fixed basepoint , given the subspace topology from . Then there is a functorially assigned exact sequence
[TABLE] 2. (2)
Suppose
[TABLE]
is an exact sequence of topological -groups, such that has the subspace topology and has a continuous splitting (as topological spaces). Then there is a functorially assigned exact sequence
[TABLE] 3. (3)
If in the previous point is central in , then the exact sequence can be extended to a functorially assigned sequence
[TABLE] 4. (4)
If in the previous point is abelian, then the exact sequence can be extended to a functorially assigned exact sequence of abelian groups
[TABLE]
Proof.
For points –, the given conditions ensure that the sequence
[TABLE]
of cosimplicial groups satisfies the conditions for the corresponding point of theorem 5.2.1. For point , the given conditions ensure that is the stabiliser of the basepoint of under the action of , and that the action of on is transitive in degree [math]. This was all our proof of required, so we are done. ∎
5.5. Cosimplicial algebras and cdgas
In order to construct the cosimplicial groups that will be of interest later, it will be necessary to have some tools to allow us to define certain cosimplicial algebras (the cosimplicial group then being produced by evaluating a group scheme on these algebras). In many cases, the construction in definition 5.1.1 of a cosimplicial algebra from a semi-cosimplicial algebra will suffice, but a few of our constructions are best described in terms of (graded-)commutative differential graded algebras following the cosimplicial monoidal Dold–Kan correspondence.
Recall from [CC04] that if is a dga over some base ring , then we can identify the terms of the cosimplicial -module corresponding to under the Dold–Kan correspondence as
[TABLE]
and that this inherits a natural -algebra structure151515[CC04] works only over the base ring , but it is easy to see that the ring structure they define is automatically an -algebra structure when the dg-ring is replaced by an -dga from the algebra structures on and . Moreover, when is graded-commutative, it is easy to see that this algebra structure is commutative, so that according to [CC04] is then a cosimplicial (commutative) -algebra.
Remark 5.5.1**.**
For our purposes, we will treat this construction simply as a tool for producing cosimplicial algebras, but it is worth recalling that this fits into the wider context of the cosimplicial monoidal Dold–Kan correspondence. Specifically, the denormalisation functor
[TABLE]
is a lax symmetric monoidal functor, meaning that there is a natural transformation called the Eilenberg–Zilber or shuffle map161616Eilenberg–Zilber because the corresponding map is the dual map to the simplicial Eilenberg–Zilber map, and shuffle because the simplicial Eilenberg–Zilber map has an explicit description in terms of shuffles [Lan63, Theorem VIII.8.5].
[TABLE]
compatible with interchange of and (with respect to the usual symmetric monoidal structure on both sides). For purely abstract reasons, this means that takes (c)dgas to cosimplicial (commutative) -algebras, whose multiplication is given by the composite
[TABLE]
However, unlike the classical Dold–Kan correspondence, does not induce an equivalence of categories, and (for our purposes) worse, the canonical dga structure on for a cosimplicial -algebra can fail to be commutative, even when is (since the monoidal structure on , induced from the dual Alexander–Whitney map, is not symmetric). In order to circumvent these problems properly, one needs to pass to appropriate homotopy categories on either side, and replace with the functor of Thom-Sullivan cochains, as explained in [KPT08, Section 1.1].
Example 5.5.2**.**
The particular -cdga we will be interested in is , whose underlying cochain complex is defined to be
[TABLE]
and whose graded algebra structure is the one induced by the obvious -module structure on .
Following through the definition of the algebra structure in [CC04], we see that the objects of its associated cosimplicial topological -algebra are
[TABLE]
where are variables subject to the relation for all .
The cdga carries certain extra structures: a topology, continuous -action, and continuous -equivariant semilinear crystalline Frobenius . The topology and -action are just those induced from the topology and action on . The crystalline Frobenius on is a little more subtle: it acts as the usual crystalline Frobenius on , but as on . The appearance of the extra factor of here derives from the identity satisfied by the crystalline Frobenius on : the factor of is necessary to ensure that is a cdga automorphism.
These extra structures induce corresponding structures on : it is a cosimplicial topological -algebra endowed with a continuous action of and a continuous -equivariant semilinear crystalline Frobenius . On , this crystalline Frobenius is given by
[TABLE]
with also denoting the usual crystalline Frobenius on .
Finally, we will also need to hybridise our two constructions to produce cosimplicial algebras out of semi-cosimplicial cdgas .
Construction 5.5.3**.**
Let be a semi-cosimplicial -cdga. We produce a cosimplicial -algebra as follows. We start by replacing with the cosimplicial -cdga cogenerated by it as in definition 5.1.1, and then replacing each of its terms by its associated cosimplicial -algebra as above. This produces us a bi-cosimplicial -algebra , and we let be the restriction to the diagonal.
It is easy to see that this simultaneously generalises both the earlier constructions, corresponding to the case when each of the individual cdgas is concentrated in degree [math], and the case when the semi-cosimplicial cdga itself is concentrated in degree [math].
6. Unipotent Bloch–Kato theory
Our aim in this section is to explain in detail how one can use cosimplicial groups and cosimplicial algebras to extend the analysis of local Bloch–Kato Selmer groups to the pro-unipotent setting. All of our arguments are then essentially just rewritings of abelian arguments in such a way that they apply equally well in the unipotent setting, and the reader who is less familiar with the non-abelian theory should be able to follow the trace of these unwritten abelian arguments in the proofs below. As remarked in the introduction, the unifying theme of this section will be the definition of certain cosimplicial -algebras for such that for a de Rham representation of on a finitely generated pro-unipotent group , the corresponding local Bloch–Kato Selmer set or quotient is computed by the first cohomotopy of the cosimplicial group .
From the point of view of our application, the main result in this section is corollary 6.3.6, which gives a long exact sequence relating the Bloch–Kato quotients for central extensions of representations on finitely generated pro-unipotent groups, and plays the same role in the proof of theorem 1.2.3 as the long exact sequence in non-abelian Galois cohomology does in the proof of theorem 1.1.6 in §3.
6.1. The cosimplicial algebras , and
When is a de Rham (linear) representation of , the Bloch–Kato Selmer group is typically studied via the Bloch–Kato exponential sequence
[TABLE]
which arises by tensoring with the short exact sequence
[TABLE]
and taking the long exact sequence in Galois cohomology [BK90, Corollary 3.8.4]. Put another way, if one defines the -term cochain complex to be
[TABLE]
(with the map sending to ), then one has a canonical identification
[TABLE]
The advantage of this latter cohomological point of view, as noted in [Nek93, Theorem 1.23], is that one can treat both and on an equal footing by defining cochain complexes and by
[TABLE]
where the map in the former complex sends to , and in the latter complex the first map sends to and the second map sends to . With these definitions, one then has a canonical identification [Nek93, Theorem 1.23]
[TABLE]
and similarly for . Thus, in all cases, the cochain complex is a homological-algebraic invariant associated to the representation which refines the Bloch–Kato Selmer groups .
Remark 6.1.1**.**
All three cochain complexes , , defined above are resolutions of : their cohomology is in degree [math] and vanishes in higher degrees. For and , this is simply a rephrasing of the two well-known exact sequences [BK90, Proposition 1.17], except that we are using different conventions for the signs of the morphisms, while for the surjectivity of reduces it to the case of .
In order to generalise this idea to the unipotent setting, we will replace the cochain complexes with certain cosimplicial -algebras with -action, such that when is a de Rham representation of on a finitely generated pro-unipotent group, the cosimplicial group recovers the non-abelian Bloch–Kato Selmer set as its first cohomotopy. The algebras themselves are quite straightforward to define, being simply built out of copies of the standard period rings.
Definition 6.1.2**.**
We define three cosimplicial -algebras , and as follows:
- •
is the cosimplicial -algebra cogenerated by the semi-cosimplicial -algebra
[TABLE]
(with higher terms the zero ring) where and ;
- •
is the cosimplicial -algebra cogenerated by the semi-cosimplicial -algebra
[TABLE]
where , ;
- •
is the cosimplicial -algebra constructed from the semi-cosimplicial -cdga
[TABLE]
as in construction 5.5.3. Here is the -cdga in example 5.5.2, and the maps in the semi-cosimplicial -cdga are given by and .
All of these cosimplicial -algebras inherit a topology and an action of from those on , and . This action is degree-wise continuous.
One important property of the algebras , and is that they are resolutions of , in the sense that their [math]th cohomotopy is canonically identified with (as a topological -algebra with -action), and their higher cohomotopy vanishes. Moreover, we will also see that this immediately implies that is a resolution of whenever is a finitely generated pro-unipotent group – this is analogous to the fact that tensoring with a linear representation is exact.
Proposition 6.1.3**.**
We have (as a topological -algebra with -action), and for (as a -vector space/abelian group).
Proof.
For and , by lemma 5.1.6 their cohomotopy groups agree with the cohomotopy groups of the generating semi-cosimplicial -algebra, which are, respectively, the cohomology groups of the cochains and above. But these are in degree [math] and vanish in higher degrees by remark 6.1.1.
For , by lemma 5.1.8 its cohomotopy groups agree with the cohomotopy groups of the totalisation of the bicomplex
{\mathsf{B}_{\mathrm{dR}}^{+}\oplus\mathsf{B}_{\mathrm{st}}}$${\mathsf{B}_{\mathrm{dR}}\oplus\mathsf{B}_{\mathrm{st}}}$${\mathsf{B}_{\mathrm{st}}}$${\mathsf{B}_{\mathrm{st}},}$$\scriptstyle{\begin{pmatrix}1&-1\\ 0&\varphi-1\end{pmatrix}}$$\scriptstyle{(0\>N)}$$\scriptstyle{(0\>N)}$$\scriptstyle{p\varphi-1}
namely . Again, this is a resolution of by remark 6.1.1.
One checks easily that the algebra structure, topology and -action on , and agree with those on . ∎
Lemma 6.1.4**.**
Let be a finitely generated pro-unipotent group, and a cosimplicial topological -algebra such that (as a topological -algebra) and for (as a -vector space). Then (as a topological group), , and for when is abelian.
Proof.
If is abelian, then it is for some , so it suffices to consider the case . But then as cosimplicial topological abelian groups, so the result follows by assumption.
For non-abelian and finite-dimensional, we proceed by induction, writing as a central extension
[TABLE]
where we already know the result for and . Since the sequence
[TABLE]
is a central extension in each degree, we have by 5.2.1 an exact sequence
[TABLE]
which by our inductive assumption gives the desired description of and . That the topology on is the desired one follows, since after identifying with its Lie algebra we see that is homeomorphic to , which is homeomorphic to by the abelian case.
For general , we write as an inverse limit of finite-dimensional quotients. Since commutes with inverse limits of topological groups, we have the desired description of . To prove triviality of , it suffices to prove that the map has trivial kernel. Thus suppose is an inverse limit of coboundaries. For each , we write for the set of elements of whose coboundary is the image of in . is then a left torsor under , so that the maps for are all surjective and . An element of the inverse limit is then an element whose coboundary is , so that as desired. ∎
6.2. The non-abelian Bloch–Kato exponential
Combining proposition 6.1.3 and lemma 6.1.4 shows that, for a representation of on a finitely generated pro-unipotent group, there is a -equivariant exact sequence
[TABLE]
for . When , the terms are given explicitly by
[TABLE]
(where the group structure on plays no role). This suggests, following the construction in the abelian case, that a non-abelian analogue of the Bloch–Kato exponential sequence could be obtained by taking the long exact sequence on non-abelian Galois cohomology.
In order to perform this construction, we will need the following non-abelian variant of [BK90, Lemma 3.8.1].
Proposition 6.2.1**.**
Let be a de Rham representation of on a finitely generated pro-unipotent group. Then the map has trivial kernel.
Proof.
When is finite-dimensional, we may proceed inductively. The case that is abelian is [BK90, Lemma 3.8.1], so we need only consider the case when is a -equivariant central extension
[TABLE]
and we already know the lemma for and . Since all the varieties involved are affine spaces, this sequence has a splitting as varieties (not necessarily compatible with the group structure), so that has the subspace topology and has a continuous splitting, and similarly for . Hence we obtain (part of) an exact sequence in cohomology:
{\mathrm{H}^{1}(G_{K},Z(\mathsf{B}_{\mathrm{dR}}^{+}))}$${\mathrm{H}^{1}(G_{K},U(\mathsf{B}_{\mathrm{dR}}^{+}))}$${\mathrm{H}^{1}(G_{K},Q(\mathsf{B}_{\mathrm{dR}}^{+}))}$${\mathrm{H}^{1}(G_{K},Z(\mathsf{B}_{\mathrm{dR}}))}$${\mathrm{H}^{1}(G_{K},U(\mathsf{B}_{\mathrm{dR}}))}$${\mathrm{H}^{1}(G_{K},Q(\mathsf{B}_{\mathrm{dR}})).}$$\scriptstyle{\curvearrowright}$$\scriptstyle{\curvearrowright}
However, the assumption that is de Rham implies that and are too, and hence that the sequence
[TABLE]
is exact. Thus the coboundary map is zero and has trivial kernel.
With this observation, it is a straightforward diagram-chase to verify as desired that has trivial kernel. If is in the kernel, then its image in lies in the corresponding kernel, so that inductively this image is trivial and hence is the image of some . Since the map has trivial kernel, it follows that and hence also.
For general , we write as an inverse limit of finite-dimensional -equivariant quotients, which are de Rham. Since the composite
[TABLE]
(where the latter map has trivial kernel by the finite-dimensional case) factors through , it would suffice for us to prove that the map has trivial kernel.
To do this, suppose that is a continuous cocycle whose image in each is a coboundary, and write for the set of all elements of whose coboundary is the image of . Then is a left torsor under . Since the are unipotent groups over , it follows that the sets satisfy the Mittag–Leffler condition, and hence . By inspection, an element of is an element whose coboundary is , so that is trivial, as desired. ∎
Corollary 6.2.2**.**
Let be a de Rham representation of on a finitely generated pro-unipotent group, and let be the -cocycles of the cosimplicial group . Then the twisted conjugation action of on is transitive with point-stabiliser , so that by corollary 5.4.1 we have an exact sequence
[TABLE]
Furthermore, the image of the coboundary map is the Bloch–Kato cohomology set . The same is true of (for ) and (for ).
Proof.
We will just prove this for , the other cases being similar. By proposition 6.1.3, the cosimplicial topological -algebra satisfies the conditions of lemma 6.1.4, which tells us that the action of on is transitive, with point-stabiliser , so that we have the claimed exact sequence.
To conclude, we want to determine the kernel of the right-hand map in the exact sequence. Since , the kernel of this map is equal to the intersection of the kernels of the two maps
[TABLE]
But it follows from Proposition 6.2.1 and Lemma 4.4.5 that these two maps have the same kernel (which is also the kernel of ). Hence the kernel of is as desired. ∎
A convenient way to view the non-abelian Bloch–Kato exponential is as giving a canonical description of the cohomotopy of , as follows.
Theorem 6.2.3**.**
Let be a de Rham representation of on a finitely generated pro-unipotent group. Then the cohomotopy groups/sets of the cosimplicial groups , and are canonically identified as
[TABLE]
Proof.
Let us do the case of , the other cases being similar (and simpler, since one need only work with -algebras rather than -cdgas). For and , this is exactly the content of corollary 6.2.2 since .
It remains to calculate the higher cohomotopy when is abelian. In this case, is the diagonal in the bi-cosimplicial -representation cogenerated by the bi-semi-cosimplicial -representation
{(\mathsf{B}_{\mathrm{dR}}^{+}\otimes V)\oplus(\mathsf{B}_{\mathrm{st}}\otimes V)}$${(\mathsf{B}_{\mathrm{dR}}\otimes V)\oplus(\mathsf{B}_{\mathrm{st}}\otimes V)}$${\mathsf{B}_{\mathrm{st}}\otimes V}$${\mathsf{B}_{\mathrm{st}}\otimes V.}$$\scriptstyle{(0\>0)}$$\scriptstyle{(0\>-N)}$$\scriptstyle{(0\>0)}$$\scriptstyle{(0\>-N)}
Since the operations of passing to the associated bi-cosimplicial representation and restricting to the diagonal commute with taking -invariants, the same remains true after taking -invariants, and hence by lemma 5.1.8 the cohomotopy of is canonically isomorphic to the cohomology of the cochain , where is the cochain at the beginning of §6.2. Concretely, this is a cochain complex
[TABLE]
so the cohomology vanishes in degrees , and the cohomology in degree is the -linear dual of the kernel of
[TABLE]
which is as desired. ∎
6.2.1. Compatibilities
In our study of Bloch–Kato quotients, we will need to know various compatibilities between the descriptions in theorem 6.2.3. The implicit natural isomorphisms in that theorem already tell us that the descriptions are compatible with homomorphisms of representations, but we will also want to know that the descriptions of , and are compatible with one another, and that they are compatible with Serre twists. Since this section consists entirely of verifying that certain obvious compatibilities are in fact true, we advise the reader to skip this section on the first reading.
To make this first compatibility precise, we observe that there are canonical -equivariant cosimplicial -algebra homomorphisms , where the second embedding is induced by the obvious embedding
{\mathsf{B}_{\mathrm{dR}}^{+}\times\mathsf{B}_{\mathrm{cris}}}$${\mathsf{B}_{\mathrm{dR}}^{+}\times\mathsf{B}_{\mathrm{st}}[\boldsymbol{\varepsilon}]^{\bullet}}$${\mathsf{B}_{\mathrm{dR}}\times\mathsf{B}_{\mathrm{cris}}}$${\mathsf{B}_{\mathrm{dR}}\times\mathsf{B}_{\mathrm{st}}[\boldsymbol{\varepsilon}]^{\bullet}}
of semi-cosimplicial -cdgas using construction 5.5.3. There is a minor subtlety in the definition of the morphism , in that it is not induced by a morphism of the defining semi-cosimplicial -algebras. But by the universal property of cosimplicial algebras cogenerated by semi-cosimplicial algebras, to construct this morphism it suffices to define a morphism of semi-cosimplicial -algebras from to the semi-cosimplicial -algebra defining . Such a morphism is provided in degrees [math] and by the maps
[TABLE]
and in higher degrees by the zero morphism to the zero ring. It is then a straightforward chasing of definitions to check that this indeed defines a morphism of semi-cosimplicial -algebras.
Equipped with these embeddings , we can now state the compatibility result for theorem 6.2.3.
Theorem 6.2.4**.**
With respect to the descriptions in theorem 6.2.3, the maps on cohomotopy induced by the maps coming from evaluating on are identified as:
- •
the identity maps on ;
- •
the natural inclusions on ;
- •
the zero maps on when is abelian;
- •
the zero maps on the higher when is abelian.
Proof.
The extra compatibility relations when is abelian are automatic. For and , we just need to recall that the exact sequences assigned in theorem 5.2.1 are functorial, and hence the exact sequences in corollary 6.2.2 fit together into a commuting diagram
{1}$${U(\mathbb{Q}_{p})^{G_{K}}}$${U(\mathsf{B}^{0}_{e})^{G_{K}}}$${\mathrm{Z}^{1}(U(\mathsf{B}^{\bullet}_{e}))^{G_{K}}}$${\mathrm{H}^{1}(G_{K},U(\mathbb{Q}_{p}))}$${1}$${U(\mathbb{Q}_{p})^{G_{K}}}$${U(\mathsf{B}^{0}_{f})^{G_{K}}}$${\mathrm{Z}^{1}(U(\mathsf{B}^{\bullet}_{f}))^{G_{K}}}$${\mathrm{H}^{1}(G_{K},U(\mathbb{Q}_{p}))}$${1}$${U(\mathbb{Q}_{p})^{G_{K}}}$${U(\mathsf{B}^{0}_{g})^{G_{K}}}$${\mathrm{Z}^{1}(U(\mathsf{B}^{\bullet}_{g}))^{G_{K}}}$${\mathrm{H}^{1}(G_{K},U(\mathbb{Q}_{p})).}$$\scriptstyle{\curvearrowright}$$\scriptstyle{\curvearrowright}$$\scriptstyle{\curvearrowright}
The induced maps on (resp. ) are exactly the induced maps on the cokernel (resp. kernel) of the middle horizontal arrow, and thus are (resp. the identity) as claimed. ∎
The second compatibility we will be interested in is compatibility with Serre twists, which is just a straightforward chasing of definitions.
Lemma 6.2.5**.**
Let be a de Rham representation of on a finitely generated pro-unipotent group. Fix an element of , and pick representatives as a Galois cocycle and as a cocycle . Then there is an isomorphism
[TABLE]
of cosimplicial groups such that the induced map on makes the diagram
{\pi^{1}\left({}_{\beta}\left(U(\mathsf{B}^{\bullet}_{g})^{G_{K}}\right)\right)}$${\pi^{1}\left({}_{\alpha}U(\mathsf{B}^{\bullet}_{g})^{G_{K}}\right)}$${\mathrm{H}^{1}_{g}(G_{K},{}_{\alpha}U(\mathbb{Q}_{p}))}$${\pi^{1}\left(U(\mathsf{B}^{\bullet}_{g})^{G_{K}}\right)}$${\mathrm{H}^{1}_{g}(G_{K},U(\mathbb{Q}_{p}))}$$\scriptstyle{\sim}$$\scriptstyle{\wr}$$\scriptstyle{\sim}$$\scriptstyle{\wr}$$\scriptstyle{\sim}
commute, where the rightmost horizontal isomorphisms are those from theorem 6.2.3 (note that is de Rham by proposition 4.3.3) and the vertical maps are the canonical identifications.
The same is true for (resp. ) when is replaced with (resp. ).
Proof.
We prove only the case of , the other cases being similar. Note that it suffices to prove the result for any single choice of representative of our fixed class, since then if were another choice, we would have a cosimplicial group isomorphism by proposition 5.3.2, so an isomorphism would allow us to produce a similar isomorphism for ; commutativity of the desired rectangle for follows from that for and proposition 5.3.2.
Thus fix any choice of . Since by assumption the class of lies in (see the proof of corollary 6.2.2), we may choose some whose coboundary is the Galois cocycle . We then consider the cocycle which is the coboundary of , i.e. . Since the coface and coboundary maps in are -equivariant, we thus have by straightforward calculation that
[TABLE]
for all , where the final equality comes from the fact that takes values in , the equaliser of . Hence is -fixed, so is an element of . Moreover, the description of the coboundary map in theorem 5.2.1 shows that the class of maps to that of under our isomorphism .
Thus we need only prove the result for this and this , using to construct the desired isomorphism. Indeed, it suffices to construct from a -equivariant isomorphism
[TABLE]
of cosimplicial groups, since the -invariants of the left-hand cosimplicial group is as is -fixed.
To do this, since is the coboundary of , proposition 5.3.2 provides an isomorphism of cosimplicial groups
[TABLE]
which need not be -equivariant (as need not be -fixed). However, has the same underlying cosimplicial group as , and we claim that is -equivariant when its codomain is given the -twisted -action, so that by taking -fixed points we obtain the desired result.
Verifying this is a simple chasing of definitions. If and , then we have
[TABLE]
which is the -twisted action on , since the composite is just the canonical inclusion . This establishes the -equivariance of , and hence concludes the proof. ∎
6.3. Bloch–Kato quotients
We can also use similar cosimplicial techniques to analyse the Bloch–Kato quotients and in the non-abelian setting (the author is unfortunately currently unaware of how to make the right definitions to conduct a similar analysis of , but understanding the two other quotients will suffice for our purposes). Our preferred method for carrying out this analysis is to define cosimplicial algebras and , so that the corresponding Bloch–Kato quotients can be described in terms of the first cohomotopy of , just as theorem 6.3.2 gave the corresponding description for local Bloch–Kato Selmer sets.
Definition 6.3.1**.**
We define two cosimplicial -algebras and as follows:
- •
is the cosimplicial -algebra cogenerated by the semi-cosimplicial topological -algebra
[TABLE]
where and ;
- •
is the cosimplicial -algebra constructed from the semi-cosimplicial -cdga
[TABLE]
as in construction 5.5.3. Here is the -cdga in example 5.5.2, and and .
Both of these cosimplicial -algebras inherit an action of from those on and . They also carry a topology, though the results we have proven up to this point mean that we will not have to concern ourselves with their topologies.
Theorem 6.3.2**.**
Let be a de Rham representation of on a finitely generated pro-unipotent group. Then the cohomotopy groups/sets of the cosimplicial topological groups and are canonically identified as
[TABLE]
Moreover, with respect to the descriptions in theorem 6.2.3, the natural maps on cohomotopy induced from and are the canonical inclusion in degree [math], the defining quotient map (and similarly for ) in degree , and the identity in higher degrees.
Before we embark on a proof of this theorem, let us collect a few straightforward consequences. Firstly, we obtain a natural criterion for the equality of and , thereby making good on our promise in remark 1.2.4.
Corollary 6.3.3**.**
Let be a de Rham representation of on a unipotent group. Then if and only if .
Proof.
Note that and are, respectively, the [math]th and st cohomotopy of the cosimplicial group , which is cogenerated by the semi-cosimplicial group
[TABLE]
with coface maps and , as defined in §4.2.2. Hence by remark 5.1.7 we see that iff the twisted conjugation action of on itself is transitive, and that iff it has trivial point-stabiliser.
Thus it would suffice to show that for any unipotent group with a semilinear Frobenius automorphism , the twisted conjugation self-action of is transitive iff it has trivial point-stabiliser. This is established by the same argument as in proposition 4.1.6. ∎
Remark 6.3.4**.**
Just as in remark 4.1.7, we have that whenever is the -pro-unipotent fundamental group of a smooth connected variety. This is again a consequence of a suitable weight–monodromy property for the fundamental group [BL19, Theorem 1.3(1)]. Again, in the case that is the fundamental group of for a line bundle on an abelian variety , this can be argued more directly. By exact sequence 3.0.1 sits in an exact sequence
[TABLE]
in which the outer terms vanish by [BK90, Examples 3.9 & 3.11] and corollary 6.3.3.
The second consequence of theorem 6.3.2 is that we can make good on our promise in remark 4.3.4 and prove that preserves inverse limits.
Lemma 6.3.5**.**
Let be a representation of on a finitely generated pro-unipotent group, and write as an inverse limit of finite-dimensional -equivariant quotients. Then the natural map
[TABLE]
is bijective. The same holds with replaced with , , or .
Proof.
Let us prove the lemma for , the other cases being similar. By theorem 6.3.2, it suffices to prove that the natural map
[TABLE]
is bijective.
To show surjectivity, we pick an element of and, for each , write for the set of elements of whose class is the chosen element of . Each comes with a transitive action of . Since the system satisfies the Mittag–Leffler condition, so too does , so that . But any element of represents an element of mapping to the chosen element of , proving surjectivity.
To show that the map has trivial kernel, pick an element whose class lies in the kernel, i.e. such that the image of in each is a coboundary. Writing for the set of elements whose coboundary is the image of , we observe that each is a left torsor under , so that as before satisfies the Mittag–Leffler condition and . Again, an element of is an element whose coboundary is , so we have proved triviality of the kernel.
Finally, to show injectivity, as in the proof of lemma 4.0.5, it suffices to show that the map also has trivial kernel when the cosimplicial group is replaced by the twist by a cocycle (and each is compatibly twisted). For this, the same argument as above applies once we observe that each and hence is the -points of a cosimplicial unipotent group , so that the subgroups are the -points of (unipotent) algebraic subgroups of , and hence satisfy the Mittag–Leffler condition. ∎
The final consequence of theorem 6.3.2 is two exact sequences relating the Bloch–Kato quotients in central extensions, which will allow us to analyse these sets in the same way we analysed non-abelian Galois cohomology in §3.
Corollary 6.3.6**.**
Let
[TABLE]
be a central extension of de Rham representations of on unipotent groups over . Then there are functorially assigned exact sequences
{1}$${Z(\mathbb{Q}_{p})^{G_{K}}}$${U(\mathbb{Q}_{p})^{G_{K}}}$${Q(\mathbb{Q}_{p})^{G_{K}}}$${\mathrm{H}^{1}_{g}(G_{K},Z(\mathbb{Q}_{p}))}$${\mathrm{H}^{1}_{g}(G_{K},U(\mathbb{Q}_{p}))}$${\mathrm{H}^{1}_{g}(G_{K},Q(\mathbb{Q}_{p}))}$${\mathsf{D}_{\mathrm{cris}}^{\varphi=1}(Z(\mathbb{Q}_{p})^{*}(1))^{*}}$$\scriptstyle{\mathsf{z}}$$\scriptstyle{\curvearrowright}
and
{1}$${\mathsf{D}_{\mathrm{cris}}^{\varphi=1}(Z)(\mathbb{Q}_{p})}$${\mathsf{D}_{\mathrm{cris}}^{\varphi=1}(U)(\mathbb{Q}_{p})}$${\mathsf{D}_{\mathrm{cris}}^{\varphi=1}(Q)(\mathbb{Q}_{p})}$${\mathrm{H}^{1}_{g/e}(G_{K},Z(\mathbb{Q}_{p}))}$${\mathrm{H}^{1}_{g/e}(G_{K},U(\mathbb{Q}_{p}))}$${\mathrm{H}^{1}_{g/e}(G_{K},Q(\mathbb{Q}_{p}))}$${\mathsf{D}_{\mathrm{cris}}^{\varphi=1}(Z(\mathbb{Q}_{p})^{*}(1))^{*}.}$$\scriptstyle{\mathsf{z}}$$\scriptstyle{\curvearrowright}
Moreover, when and are abelian, both exact sequences continue on with the terms .
Proof.
Take the long exact sequence in cohomotopy of the two exact sequences (which are central extensions) in proposition 6.3.7 which follows. ∎
Proposition 6.3.7**.**
Let
[TABLE]
be an exact sequence of de Rham representations of on finitely generated pro-unipotent groups. Then the sequences
[TABLE]
[TABLE]
are exact in each degree.
Proof.
We will just prove this for , the other case being similar. Observe that, by construction, each term of is a product of terms of the form , and , where is as in example 5.5.2, so that it suffices to show that the sequences
[TABLE]
[TABLE]
[TABLE]
are exact.
But now we can identify these sequences with the sequences
[TABLE]
[TABLE]
[TABLE]
where subject to for all . The exactness of these sequences is the content of lemma 4.2.5. ∎
The remainder of this section is devoted to a proof of theorem 6.3.2. We will restrict our attention to the calculation of the cohomotopy of , the case of being similar (and simpler).
In making the argument precise, it will be convenient for this section only to permit our -algebras (or more accurately, their homomorphisms) to be non-unital171717We follow the usual convention that “non-unital” means “not necessarily unital”. and to define, for a non-unital -algebra and unipotent group , the group to be the kernel
[TABLE]
where is given the obvious algebra structure with unit , and is the natural projection. This is clearly functorial in with respect to non-unital -algebra homomorphisms, and extends the usual definition on unital algebras, since for a unital there is a canonical isomorphism .
With this definition, we will let denote the (non-unital) cosimplicial -algebra cogenerated by the semi-cosimplicial -algebra
[TABLE]
where and is the canonical inclusion. There are then -equivariant sequences
[TABLE]
[TABLE]
of cosimplicial -algebras, where denotes the constant cosimplicial -algebra which is in each degree. We claim these sequences are levelwise exact, and split by a -equivariant -algebra homomorphism in each degree.
To see why this is, at least for the second sequence (the first being similar), we consider the diagram
{0}$${\mathsf{B}_{\mathrm{dR}}^{+}}$${\mathsf{B}_{\mathrm{st}}[\boldsymbol{\varepsilon}]^{\bullet}\times\mathsf{B}_{\mathrm{dR}}^{+}}$${\mathsf{B}_{\mathrm{st}}[\boldsymbol{\varepsilon}]^{\bullet}}$${0}$${0}$${\mathsf{B}_{\mathrm{dR}}}$${\mathsf{B}_{\mathrm{st}}[\boldsymbol{\varepsilon}]^{\bullet}\times\mathsf{B}_{\mathrm{dR}}}$${\mathsf{B}_{\mathrm{st}}[\boldsymbol{\varepsilon}]^{\bullet}}$${0}
of semi-cosimplicial -cdgas giving rise to through construction 5.5.3. It is clear that each row is exact and -equivariantly split by a homomorphism of -cdgas, so that the corresponding sequence of bi-cosimplicial -algebras is -equivariantly split in each bidegree by a homomorphism of -algebras. Hence the same is true in each degree for the diagonal sequence as claimed.
Using this it follows that the sequences
[TABLE]
[TABLE]
are exact and -equivariantly split in each degree, and hence that they remain exact after taking -invariants. By taking the long exact sequence in cohomotopy of the -invariants of the first sequence, we obtain a description of the cohomotopy groups of as:
- •
;
- •
sits in an exact sequence
[TABLE]
- •
for when is abelian.
Here we are using the description of the cohomotopy of in theorem 6.2.3 and the fact that the higher cohomotopy of is trivial (as it is a constant cosimplicial group).
Taking the long exact sequence in cohomotopy of the -invariants of the second sequence, we find that we have an exact sequence (with the final coming from lemma 5.2.3)
[TABLE]
and that and for when is abelian (this proves all the extra claims in the abelian case).
Now we observe that the natural map defined in §6.2.1 fits into a diagram
{0}$${\mathsf{B}^{\bullet}_{\mathrm{dR}}}$${\mathsf{B}^{\bullet}_{e}}$${\mathsf{B}_{\mathrm{cris}}^{\varphi=1}}$${0}$${0}$${\mathsf{B}^{\bullet}_{\mathrm{dR}}}$${\mathsf{B}^{\bullet}_{g}}$${\mathsf{B}^{\bullet}_{g/e}}$${0,}
from which we obtain a morphism of exact sequences
{1}$${U(\mathbb{Q}_{p})^{G_{K}}}$${\mathsf{D}_{\mathrm{cris}}^{\varphi=1}(U)(\mathbb{Q}_{p})}$${\pi^{1}(U(\mathsf{B}_{\mathrm{dR}}^{\bullet})^{G_{K}})}$${\mathrm{H}^{1}_{e}(G_{K},U(\mathbb{Q}_{p}))}$${1}$${1}$${U(\mathbb{Q}_{p})^{G_{K}}}$${\pi^{0}(U(\mathsf{B}^{\bullet}_{g/e})^{G_{K}})}$${\pi^{1}(U(\mathsf{B}_{\mathrm{dR}}^{\bullet})^{G_{K}})}$${\mathrm{H}^{1}_{g}(G_{K},U(\mathbb{Q}_{p}))}$$\scriptstyle{\curvearrowright}$$\scriptstyle{\curvearrowright}
whose top row is sequence 6.3.1 and whose bottom row is part of sequence 6.3.2 (using theorem 6.2.4 for the description of the vertical arrows). A quick five-lemma-style diagram chase shows that the map is an isomorphism, giving us the desired description of .
For , we note that surjectivity of the upper-right horizontal arrow in the above diagram shows that the image of is , and hence we obtain from sequence 6.3.2 an exact sequence of pointed sets
[TABLE]
As usual, this doesn’t imply that induces an isomorphism , and we have to consider twists of to complete the proof.
Thus let be a de Rham cocycle of , i.e. one whose class lies in . As per the proof of lemma 6.2.5, we may pick some of which is the coboundary, and write for the coboundary of in the cosimplicial group . Writing and for the images of and respectively, the same argument as in the proof of lemma 6.2.5 shows that induces a -equivariant isomorphism
[TABLE]
compatible with the corresponding isomorphism for . Taking -invariants and , we obtain a commuting diagram
{\mathrm{H}^{1}_{g}(G_{K},{}_{\alpha}U(\mathbb{Q}_{p}))}$${\pi^{1}\left({}_{\alpha}U(\mathsf{B}^{\bullet}_{g})^{G_{K}}\right)}$${\pi^{1}\left({}_{\alpha}U(\mathsf{B}^{\bullet}_{g/e})^{G_{K}}\right)}$${\pi^{1}\left({}_{\beta}\left(U(\mathsf{B}^{\bullet}_{g})^{G_{K}}\right)\right)}$${\pi^{1}\left({}_{\overline{\beta}}\left(U(\mathsf{B}^{\bullet}_{g/e})^{G_{K}}\right)\right)}$${\mathrm{H}^{1}_{g}(G_{K},U(\mathbb{Q}_{p}))}$${\pi^{1}\left(U(\mathsf{B}^{\bullet}_{g})^{G_{K}}\right)}$${\pi^{1}\left(U(\mathsf{B}^{\bullet}_{g/e})^{G_{K}}\right).}$$\scriptstyle{\sim}$$\scriptstyle{\wr}$$\scriptstyle{\wr}$$\scriptstyle{\wr}$$\scriptstyle{\wr}$$\scriptstyle{\wr}$$\scriptstyle{\sim}
The upper-right square commutes already on the level of cosimplicial groups by the above discussion, and the lower-right square commutes by naturality of the twisting isomorphism in proposition 5.3.1; that the left-hand rectangle commutes is part of lemma 6.2.5.
Since by proposition 4.3.3 is also de Rham, the composite of the top row has kernel , so that by the commutativity of the above diagram and lemma 4.3.2, the fibre of containing is exactly its equivalence class. Thus the map factors through an isomorphism as desired. ∎
7. The main theorem (-adic version)
With the assembled theory of the preceding sections, we are now able to exactly translate the proof of theorem 1.1.6 to give a proof of its -adic analogue, theorem 1.2.3. Let us fix an abelian variety , and let us denote by a pair of a varying line bundle and a basepoint in the complement of the zero section lying over . We will write for the -pro-unipotent fundamental group of based at .
As in section 3, is a -equivariant central extension
[TABLE]
arising from the fibration sequence .
By [Bet22, Theorem 1.4(1)], all the groups involved are de Rham, so that by corollary 6.3.6 we have an exact sequence
[TABLE]
Since and agree for the Tate module of an abelian variety, the final term vanishes, which implies by the usual dimension formulae for abelian local Bloch–Kato Selmer groups that the first term vanishes too, and thus the middle map is bijective. We know e.g. by [Bet22, Theorem 1.2] that the image of the non-abelian Kummer map is contained in , so we have a well-defined composite
[TABLE]
where the final isomorphism arises from the explicit description of the local Bloch–Kato Selmer groups of .
It remains to show that the are the Néron log-metrics on our varying line bundle , for which it suffices to show that the conditions of lemma 3.0.1 are satisfied. The argument for conditions 2–5 is formal and proceeds exactly as in §3, replacing with and with throughout. For condition 1, see [Bet22, Theorem 1.2].
8. The main theorem (archimedean version)
To complete the circle of ideas sketched in the introduction, let us now prove theorem 1.1.8, the archimedean instance of our results relating local heights to Kummer maps. One can prove this through direct calculation, but we will instead imitate the proofs of our other two main theorems and show that the description in theorem 1.1.8 gives a well-defined family of functions which satisfies a certain list of conditions uniquely defining the archimedean Néron log-metric.
Central to this discussion is the mixed Hodge structure carried by the fundamental groupoids of smooth complex varieties, constructed by Hain [Hai87a] using Chen’s non-abelian de Rham theorem181818Strictly speaking, [Hai87a] only defines the mixed Hodge structure when ; [HZ87, Proposition 3.21] provides the construction in general.. More precisely, if is a smooth connected variety, Hain constructs an ind-mixed Hodge structure191919By an ind-mixed Hodge structure we simply mean an ind-object in the category of mixed Hodge structures [PS08, Definition 3.1] over an appropriate ring (for us, always , or ). Since morphisms of mixed Hodge structures are strict for the weight and Hodge filtrations [PS08, Corollary 3.6], an ind-mixed Hodge structure is equivalently a -module (resp. - or -vector space) endowed with a weight filtration on and a Hodge filtration on such that is a filtered union of finitely generated submodules such the restriction of the weight and Hodge filtrations to define a mixed Hodge structure in the usual sense. Morphisms of ind-mixed Hodge structures are then just -module (resp. - or -vector space) homomorphisms compatible with the weight and Hodge filtrations – these are automatically strict for both filtrations by the corresponding result for mixed Hodge structures [PS08, Corollary 3.6]. on the decompleted dual
[TABLE]
of the completed path-torsor coalgebra for each pair of points . Here denotes the filtration on induced by the filtration on (equivalently ) defined by powers of the augmentation ideal. This mixed Hodge structure is compatible with the algebra structure on and with the path-composition and path-reversal maps, so that in particular when , carries an ind-mixed Hodge structure compatible with its Hopf algebra structure.
In this setup, the ind-mixed Hodge structures on the path-torsors for varying are compatible in an appropriate sense with that on , so that there is a natural non-abelian Kummer map
[TABLE]
to the moduli set of such torsors, which we will later identify as the inverse limit of the higher Albanese maps of [HZ87]. However, it turns out that when is the complement of zero in a line bundle on an abelian variety, this non-abelian Kummer map will be bijective [HZ87, Remarks and Examples 5.45]202020[Hai87b] only asserts this for with non-trivial first Chern class, but in fact this is true without this restriction., so is too fine an invariant to be useful to us.
Instead, we will work with the real Malc̆ev completion
[TABLE]
of the Betti fundamental group and its associated non-abelian Kummer map
[TABLE]
and it will turn out that this map will be sufficiently coarse to allow us to recover exactly the Néron log-metric on such -torsors .
8.1. Pro-unipotent groups with mixed Hodge structures
Before analysing the non-abelian Kummer map for the real unipotent fundamental group in more detail, let us briefly set out a few basic properties of unipotent groups with mixed Hodge structure in the abstract. The main objective here is to show that, under a certain natural condition, the moduli set parametrising torsors under with compatible mixed Hodge structure canonically has the structure of a real manifold, which we will construct via an explicit description of this set.
Definition 8.1.1**.**
Let (resp. ) be a finitely generated pro-unipotent group. By a mixed Hodge structure on we shall mean an ind-mixed Hodge structure on compatible with the Hopf algebra operations. By a torsor (with mixed Hodge structure) under such a group , we shall mean a torsor under the underlying group scheme endowed with an ind-mixed Hodge structure on which is compatible with the -comodule algebra structure. By a morphism of such groups or torsors, we shall mean a morphism of the underlying group schemes or torsors which respects the weight and Hodge filtrations on the affine rings.
Proposition 8.1.2**.**
Let (resp. ) be a finitely generated pro-unipotent group with mixed Hodge structure. Then each is a mixed Hodge substructure of . If is a torsor under , then each is a mixed Hodge substructure of , and the canonical isomorphism (see proposition 2.2.1) is an isomorphism of ind-mixed Hodge structures.
Proof.
It is obvious from definition 2.1.1 that each and each is stable under the action of the Tannaka group of (resp. ), so are mixed Hodge substructures. Since the isomorphism from proposition 2.2.1 is independent of the choice of element , it is equivariant for the action of this Tannaka group, and hence is an isomorphism of ind-mixed Hodge structures. ∎
8.2. Weight and Hodge filtrations on torsors
Central to our explicit determination of the moduli set is a description of mixed Hodge structures on torsors directly on the torsors themselves, as opposed to on their affine rings. The key definition that allows us to study mixed Hodge structures is as follows.
Definition 8.2.1**.**
Let be a finitely generated pro-unipotent group with mixed Hodge structure, and a torsor under with mixed Hodge structure. We define subsets , and by:
[TABLE]
We clearly have .
We will see in proposition 8.2.9 that in the particular case that , the subsets , and are subgroups, and that in general the subsets , and are torsors under each of these respective groups.
We also make the same definitions over the base field by replacing with throughout.
Since the proof of this result (in particular, the non-emptiness of and ) is relatively technical, let us for the time being describe a converse construction.
Construction 8.2.2**.**
Let be a finitely generated pro-unipotent group and a torsor under . Suppose that a mixed Hodge structure on is given, along with subsets , and which are torsors under , and respectively, and such that . We will describe how to construct an ind-mixed Hodge structure on which is compatible with the -comodule algebra operations, thereby making into a torsor under with mixed Hodge structure.
To construct the weight filtration on , pick an element , which gives rise to an isomorphism of schemes by the action on . We declare the weight filtration on to be the filtration corresponding to the weight filtration on under the induced isomorphism .
This filtration is independent of the choice of , for, if were another choice, then it would differ from by the action of some , and hence the two isomorphisms would differ by the algebra automorphism of induced by right-multiplication by on . Since , this automorphism strictly preserves the weight filtration (this is easiest to see on the dual , where ), and hence and induce the same weight filtration on .
Similarly, to construct the Hodge filtration on we pick any element and declare the Hodge filtration on to be the filtration corresponding to the Hodge filtration on under the induced isomorphism . The same proof as above shows that this is independent of the choice of . It also follows that the isomorphism induced by is (strictly) compatible with the weight filtration induced by our choice of above; this is since and both belong to the -torsor , and hence induce the same weight filtration by the same argument as above.
We will see in proposition 8.2.8 that these filtrations do indeed define a mixed Hodge structure on . One may make the same construction with replaced with throughout.
Proposition 8.2.3**.**
The constructions in definition 8.2.1 and construction 8.2.2 are mutually inverse. That is, let be a finitely generated pro-unipotent group and a torsor under , and suppose that a mixed Hodge structure on (but not ) is given. Then definition 8.2.1 and construction 8.2.2 provide a canonical bijection between:
- •
ind-mixed Hodge structures on compatible with the -comodule algebra operations; and
- •
subsets , and which are torsors under , and respectively, such that .
Proof.
This is a straightforward verification from the definitions. In the one direction, given subsets and as above, the weight and Hodge filtrations on were constructed from choices of elements and in such a way that and . Hence meets non-trivially, and hence they are equal since they are both torsors under . By exactly the same argument, we also have , so that and are indeed the subsets in definition 8.2.1 associated to the ind-mixed Hodge structure constructed by construction 8.2.2.
In the other direction, suppose that we are given an ind-mixed Hodge structure on as above. Since the map given by is a bijective morphism of pro-mixed Hodge structures212121That is, pro-objects in the category of mixed Hodge structures., it is strict for the weight and Hodge filtrations, and hence both the action map and the difference map are morphisms of pro-mixed Hodge structures. In particular, if we choose any then the isomorphism induced by strictly preserves the weight filtration, so that the weight filtration on constructed by construction 8.2.2 from the subset agrees with the original weight filtration. Exactly the same argument applies to the Hodge filtration, which completes the proof that the constructions are mutually inverse. ∎
Corollary 8.2.4**.**
Let be a finitely generated pro-unipotent group with mixed Hodge structure. Then there is a canonical bijection
[TABLE]
where denotes the set of isomorphism classes of torsors under .
The same holds for replaced with throughout.
Proof.
The map sends a torsor under to the double coset containing the element where and . That this gives a bijection is left as an easy exercise to the reader. ∎
Remark 8.2.5**.**
Corollary 8.2.4 is a non-abelian analogue of the classical result that if is an -mixed Hodge structure then
[TABLE]
See for instance [PS08, Theorem 3.31] (with replaced by ).
It remains to prove that the subsets defined in definition 8.2.1 are indeed subgroups and torsors as claimed, and that the weight and Hodge filtrations in construction 8.2.2 do indeed define a mixed Hodge structure on the torsor . The key technical input in the latter proof is a criterion which describes exactly when certain extensions of mixed Hodge structures are also mixed Hodge structures.
Lemma 8.2.6**.**
Let
[TABLE]
be an exact sequence of finite dimensional -vector spaces, each endowed with an increasing filtration , and with a decreasing filtration on its complexification – we assume both filtrations are separated and exhaustive. Suppose that the morphisms in the exact sequence preserve both filtrations, and that the filtrations define -mixed Hodge structures on and respectively. Then the following are equivalent:
- (1)
the filtrations define a mixed Hodge structure on ; 2. (2)
the morphisms in the exact sequence are strict for the filtration , and the morphisms in the induced exact sequences
[TABLE]
are strict for the filtration (this implies that the original sequence was strict for the filtration after tensoring with ); and 3. (3)
the exact sequence possesses a splitting after tensoring with which is strict for both filtrations simultaneously.
The same holds for replaced with throughout.
Remark 8.2.7**.**
A version of this lemma appears as [PS08, Criterion 3.10], where it is erroneously stated that a necessary and sufficient condition for to be a mixed Hodge structure is that the morphisms in the exact sequence be strict for the weight and Hodge filtrations separately. In fact, strictness for the filtrations is necessary but insufficient for to be a mixed Hodge structure.
Proof of lemma 8.2.6.
We will prove the lemma only over , the case of following by the same argument.
For the implication , it is simplest to use the Deligne splitting [PS08, Lemma-Definition 3.4], which is a bigrading of that simultaneously splits the weight and Hodge filtrations in that
[TABLE]
and
[TABLE]
The Deligne splitting is functorial with respect to morphisms of mixed Hodge structures, and hence
[TABLE]
is an exact sequence of bigraded vector spaces with respect to the Deligne splittings; taking any splitting of the sequence compatible with the bigradings gives a splitting compatible with the filtrations.
For the implication , the existence of the splitting ensures that the morphisms in the sequence
[TABLE]
are strict for the filtration , and hence so too are the morphisms in the original sequence before tensoring with . The splitting also ensures that
[TABLE]
is split compatibly with the filtration , and hence the morphisms are strict for .
Finally, for the implication , it suffices to prove the special case that , so that and are pure Hodge structures of weight , and we want to prove that so too is .
We define for (and similarly for and ), so that is canonically isomorphic to the kernel of the map given by the sum of the inclusions. Applying the snake lemma to the diagram
{0}$${F^{p}V^{\prime\prime}_{\mathbb{C}}\oplus\overline{F^{q}V^{\prime\prime}_{\mathbb{C}}}}$${F^{p}V_{\mathbb{C}}\oplus\overline{F^{q}V_{\mathbb{C}}}}$${F^{p}V^{\prime}_{\mathbb{C}}\oplus\overline{F^{q}V^{\prime}_{\mathbb{C}}}}$${0}$${0}$${V^{\prime\prime}_{\mathbb{C}}}$${V_{\mathbb{C}}}$${V^{\prime}_{\mathbb{C}}}$${0}
we obtain a short exact sequence
[TABLE]
where the final [math] comes from the fact that since is a pure Hodge structure of weight . Since and similarly for , we deduce from the above exact sequences that also, so that is a pure Hodge structure of weight , as desired. ∎
Proposition 8.2.8**.**
The weight and Hodge filtrations constructed in construction 8.2.2 define a mixed Hodge structure on (i.e. an ind-mixed Hodge structure on compatible with the -comodule algebra structure).
Proof.
Compatibility with the -comodule algebra structure morphisms is clear from the construction, since the isomorphisms and induced from our choices of and are isomorphisms of -comodule algebras.
It remains to show that the weight and Hodge filtrations define an ind-mixed Hodge structure on . To do this, note that by construction the induced weight and Hodge filtrations on agree with those on under the canonical isomorphism , and hence define an ind-mixed Hodge structure on . We now show by induction on that each is a mixed Hodge structure (starting from the trivial base case ), using the exact sequences
[TABLE]
The right-hand term is a mixed Hodge structure, and our inductive hypothesis ensures that so too is the left-hand term. Now our choice of gives rise to an isomorphism strictly compatible with the weight, Hodge and conilpotency filtrations, and hence the sequence 8.2.1 becomes isomorphic to the corresponding sequence
[TABLE]
after tensoring with , in a manner strictly compatible with the weight and Hodge filtrations. Since the sequence 8.2.2 splits over compatibly with both filtrations, so too does the sequence 8.2.1, and hence is a mixed Hodge structure by lemma 8.2.6. This completes the construction of the mixed Hodge structure on . ∎
Proposition 8.2.9**.**
Let be a finitely generated pro-unipotent group with mixed Hodge structure and a torsor under (with mixed Hodge structure). Then the subsets , and defined in definition 8.2.1 are subgroups, and the subsets , and are torsors under , and respectively.
The same holds when is replaced with throughout.
Proof.
We will just deal with the case of and , the other cases being simpler. To see that is a subgroup, we simply note that the group operations on are induced by the multiplication and antipode in the Hopf algebra , and that these operations preserve both the weight and Hodge filtrations, so that is a subgroup.
To show that is a torsor under , we note firstly that the coalgebra isomorphism induced by the isomorphism given by is a morphism of pro-mixed Hodge structures, and hence is strict for the Hodge and weight filtrations. Thus for we have that if and only if , so that the action of on restricts to a transitive action on .
It remains to show that is non-empty, i.e. that there is an algebra homomorphism compatible with both the weight and Hodge filtrations. For let denote the maximal -step unipotent quotient of and the pushout. It follows from lemma 2.1.4 that is the subalgebra generated by , and hence by proposition 8.1.2 is a sub-ind-mixed Hodge structure. We claim that each inclusion admits a retraction which is an algebra homomorphism compatible with the weight and Hodge filtrations. This completes the proof of the proposition, since then the algebra inclusion also admits such a retraction, as desired.
To prove the claim, we choose by lemma 8.2.6222222In the analogous proof for one uses instead the fact that an exact sequence of -mixed Hodge structures is split compatibly with the weight filtration, since all the morphisms are strict. a retraction of the inclusion which preserves both the weight and Hodge filtrations. The chosen retraction then induces a morphism
[TABLE]
of algebras, compatible with the weight and Hodge filtrations. Now if and , we have that – if , this is since by construction restricts to the inclusion , while if or , this is since and is -linear. We also trivially have that .
It thus follows by lemma 2.1.4 (and the fact that as -filtered algebras) that factors uniquely through an algebra homomorphism . Since the quotient map is the complexification of a morphism of ind-mixed Hodge structures, it is strict for the weight and Hodge filtrations, and hence also preserves these filtrations. Finally, we note by construction that restricts to the canonical inclusion , and hence is a retraction of the inclusion , as desired. ∎
8.2.1. Cosimplicial groups and twists for mixed Hodge structures
Remark 8.2.10**.**
If is a finitely generated pro-unipotent group with mixed Hodge structure, then the description of in corollary 8.2.4 can be expressed in cosimplicial language, by considering the cosimplicial group cogenerated by the semi-cosimplicial group
[TABLE]
where and . In this language, we have a canonical identification of the cohomotopy as
[TABLE]
Thus one is tempted to call an element a cocycle for , and define the twist of by to be the finitely generated pro-unipotent group with mixed Hodge structure whose underlying group scheme is , whose weight filtration on is that of , and whose Hodge filtration on is given by , where is (left-)conjugation by . To check that this defines a mixed Hodge structure on , we note that is a Hopf algebra automorphism which acts as the identity on , so the induced weight and Hodge filtrations of define a mixed Hodge structure on each graded piece. To show that the filtrations in fact define a mixed Hodge structure on each , one argues inductively as in construction 8.2.2, using the fact that sets up an isomorphism compatible with the weight and Hodge filtrations simultaneously.
It follows from proposition 5.3.1 that, as expected, there is a canonical bijection (induced from the map given by right-multiplication by ).
Using this cosimplicial description, we immediately deduce a result describing how the sets behave in central extensions, generalising the long exact sequence on Ext-groups for usual (abelian) mixed Hodge structures . The non-abelian version does not, to the best of the author’s knowledge, appear in the literature, though undoubtedly results of this kind are already known to experts.
Corollary 8.2.11**.**
Let
[TABLE]
be a central extension of unipotent groups over with mixed Hodge structure. Then there is a functorially assigned exact sequence
{1}$${F^{0}W_{0}Z(\mathbb{R})}$${F^{0}W_{0}U(\mathbb{R})}$${F^{0}W_{0}Q(\mathbb{R})}$${\mathrm{H}^{1}(\mathbf{MHS}_{\mathbb{R}},Z(\mathbb{R}))}$${\mathrm{H}^{1}(\mathbf{MHS}_{\mathbb{R}},U(\mathbb{R}))}$${\mathrm{H}^{1}(\mathbf{MHS}_{\mathbb{R}},Q(\mathbb{R}))}$${1}$$\scriptstyle{\mathsf{z}}$$\scriptstyle{\curvearrowright}
where the horizontal arrows are the induced maps.
Proof.
Consider the sequence of cosimplicial groups
[TABLE]
where , and are the cosimplicial groups described in remark 8.2.10. Identifying (resp. , resp. ) with (resp. , resp. ) via the logarithm map, we see that the above sequence is a degree-wise central extension. The long exact sequence on cohomotopy from theorem 5.2.1 is then the desired long exact sequence. ∎
8.2.2. Manifold structures on moduli of torsors
Armed with the explicit description in corollary 8.2.4, we now come to the main point of this section: that the set for a unipotent group with mixed Hodge structure carries a canonical topology, namely the quotient topology from its description as a double-coset space. Most crucially, under mild conditions on , it even has canonically the structure of a real manifold.
Definition 8.2.12**.**
Let (resp. ) be a pro-unipotent group with mixed Hodge structure. We say that has only negative weights just when:
- •
(resp. ); or equivalently
- •
.
Remark 8.2.13**.**
The condition that has only negative weights is automatically satisfied for the -pro-unipotent Betti fundamental group of any smooth connected -variety (for instance by the description in [Hai87a, Section 5]). In particular, any finite-dimensional mixed-Hodge-theoretic quotient of such a also only has negative weights.
It is this condition of negativity of weights which provides the real manifold structure on , as follows.
Proposition 8.2.14**.**
Let be a unipotent group with mixed Hodge structure with only negative weights. Then the Lie group action of on by is free and proper, so that by the quotient manifold theorem [Lee03, Theorem 21.10] is canonically a real manifold.
Proof.
In the case that is abelian, the condition on the weights implies that and meet trivially in . The given action is the translation by the subgroup , which is necessarily free and proper.
In general we may proceed inductively, writing as a central extension
[TABLE]
of unipotent groups with mixed Hodge structures, where we know the result for and for . The action is free, since if some had a fixed point in , its image in would have a fixed point, and hence would lie in . But is a -torsor by translation, so that the only way could have a non-trivial fixed point is if it were the identity already. This proves freeness of the action.
To prove properness, it is equivalent by [Lee03, Proposition 21.5] to prove that whenever we are given sequences in and in such that and converge, there is a convergent subsequence of . Given such sequences, our inductive hypothesis shows that the image of in has a convergent subsequence, so we may suppose without loss of generality that this image sequence converges. Since the map , being the map on -points of a morphism of affine spaces over , is continuously split, we may thus write , where is a convergent sequence in and .
Now the sequences and both converge. But the action of on can be identified with the translation action of the abelian Lie subgroup on (up to an automorphism of ), and hence is proper, so that has a convergent subsequence. Hence has a convergent subsequence, as desired. ∎
Before we conclude this section, let us briefly analyse some of the functoriality properties of , for use in our later proof of theorem 1.1.8.
Lemma 8.2.15**.**
If is a morphism of unipotent groups over with mixed Hodge structure, both with only negative weights, then the induced map
[TABLE]
is a morphism of manifolds. If is injective (resp. surjective), then it is an immersion (resp. a submersion)232323In fact, the map is even an injective immersion (resp. surjective submersion).
Proof.
Since is a locally trivial torsor for (for example from the proof of [Lee03, Theorem 21.10]), the first point follows from the fact that is (even algebraic). Now suppose that is surjective. If is any point, then we have a commuting square
{\mathrm{H}^{1}(\mathbf{MHS}_{\mathbb{R}},{}_{\alpha}U(\mathbb{R}))}$${\mathrm{H}^{1}(\mathbf{MHS}_{\mathbb{R}},{}_{f(\alpha)}W(\mathbb{R}))}$${\mathrm{H}^{1}(\mathbf{MHS}_{\mathbb{R}},U(\mathbb{R}))}$${\mathrm{H}^{1}(\mathbf{MHS}_{\mathbb{R}},W(\mathbb{R}))}$$\scriptstyle{\wr}$$\scriptstyle{\wr}
of manifolds, where and are the twists described in remark 8.2.10. Since the leftmost vertical map takes the distinguished point to , to prove that is a submersion it suffices to prove (for general , ) that it is surjective on tangent spaces at the distinguished point. But the map on tangent spaces is
[TABLE]
which is clearly surjective.
If instead were injective, by the same argument it would suffice to prove that the above map is injective. But we can identify the sides as the Yoneda Ext-groups (resp. ), so that the kernel of the map is a surjective image of . But since has only negative weights, this vector space vanishes, and hence the desired map was indeed injective. ∎
Remark 8.2.16**.**
When discussing the topology on , we have focused on unipotent groups rather than finitely generated pro-unipotent ones, even though -pro-unipotent fundamental groups will in general be infinite-dimensional (though still finitely generated). The principal reason for this is that one can reduce the study of for finitely generated pro-unipotent to the finite-dimensional case: if we write such a as an inverse limit of finite-dimensional quotients with compatible mixed Hodge structures, then the natural map
[TABLE]
is bijective (the same proof as lemma 6.3.5 works, using the cosimplicial description in remark 8.2.10). Hence if has only negative weights, is canonically a pro-object in the category of manifolds (this structure is independent of the choice of ), whose underlying topology can be checked to agree with the quotient topology on induced from the pro-analytic topology on .
8.3. Higher Albanese manifolds and the -pro-unipotent Kummer map
In the previous section, we examined - and -unipotent groups with mixed Hodge structure, but one can equally well study an integral version of this theory, by studying finitely generated (discrete) groups with a ind-mixed Hodge structure on the decompleted dual compatible with the Hopf algebra operations, or equivalently a -mixed Hodge structure on the -Malc̆ev completion – we call such a structure a mixed Hodge structure on . Here, as usual, denotes the augmentation ideal of .
If is a torsor under such a group, we define a mixed Hodge structure on to be an ind-mixed Hodge structure on compatible with the algebra operations and -comodule structure, where denotes the filtration of arising from the conilpotency filtration on under any trivialisation of -torsors. We will refer to a endowed with such a structure as a torsor under , where the mixed Hodge structure is taken as implied.
With these definitions, one can develop an integral version of the theory of the previous section, and again we obtain an explicit description of the classifying space for torsors.
Proposition 8.3.1**.**
Let be a finitely generated nilpotent group with mixed Hodge structure. Then there is a canonical identification of the set of isomorphism classes of -torsors with the quotient of by the action of given by , where denotes the image of under the map . Here (resp. ) denotes the -points (resp. -points) of the Malc̆ev completion of .
In particular, if has only negative weights, then we have a canonical bijection
[TABLE]
Proof.
Let us first describe the classifying map
[TABLE]
Given a -torsor with mixed Hodge structure, we may choose by proposition 8.2.3 elements , and such that
[TABLE]
where denotes the image of under the canonical map . We declare the image of under the classifying map to be the orbit of the pair under the specified action – this is easily seen to be independent of choices.
It remains to check that the classifying map is bijective. It is certainly surjective, since for any , the above construction with (as a -torsor) and specifies a mixed Hodge structure on (and hence on ) by proposition 8.2.3. For injectivity, suppose that we are given two -torsors and with mixed Hodge structure, and choose elements and as above. If , then for some , and , and we let be the unique isomorphism of -torsors taking to . It follows that
[TABLE]
and similarly for , so that is an isomorphism of -torsors with mixed Hodge structures. This proves injectivity, as desired. ∎
Remark 8.3.2**.**
Proposition 8.3.1 is a non-abelian generalisation of the explicit description of Ext-groups of torsion-free -mixed Hodge structures, in particular that
[TABLE]
for any torsion-free -mixed Hodge structure , where is embedded in diagonally.242424This description disagrees with the description in [PS08, Theorem 3.31], which erroneously describes the Ext-groups as . This latter group in fact classifies extensions of by which admit integral splittings compatible with the weight filtration (which isn’t automatic in general).
Corollary 8.3.3**.**
Let be a finitely generated nilpotent group with mixed Hodge structure with only negative weights. Then
[TABLE]
is canonically a complex manifold, and the natural forgetful map is a map of real manifolds.
Explicitly, the isomorphism sends the class of a torsor to , where and are any choices of elements.
Proof.
Let denote the image of under the natural map . It is a discrete subgroup of the Lie group , so that the action of on is free and proper by proposition 8.2.14. Hence
[TABLE]
is canonically a complex manifold. The fact that the forgetful map is is clear, and the explicit description of the map follows from the proof of proposition 8.3.1. ∎
In fact, these classifying manifolds for torsors with integral mixed Hodge structures have already been studied in great detail by Hain and Zucker in [HZ87] (see also [Hai87b]). When is the -step nilpotent quotient of the fundamental group of a smooth connected variety at a basepoint (which has only negative weights), Hain and Zucker define a series of higher Albanese manifolds
[TABLE]
and higher Albanese maps , generalising the usual Albanese variety and map of . Let us explicitly make the link between our description and theirs.
Proposition 8.3.4**.**
Let be a smooth connected variety, and let be the -step nilpotent quotient of the fundamental group of based at a point , so that we have a canonical identification . Then, under this identification, the non-abelian Kummer map
[TABLE]
(that is, the map assigning to each point the torsor of paths252525I.e. set of homotopy classes of paths, viewed as a torsor under the fundamental group. from to in , pushed out along and endowed with the mixed Hodge structure given in [HZ87, Section 3]) is identified with the higher Albanese map .
In particular, the non-abelian Kummer map is complex analytic, and the -unipotent non-abelian Kummer map
[TABLE]
(the composite of the above map with the map ) is .
Proof.
Let us recall first Hain and Zucker’s construction of the higher Albanese map. We let denote the th canonical variation on with basepoint . It is a variation of mixed Hodge structure, whose fibre at is canonically identified with with its mixed Hodge structure. The corresponding holomorphic vector bundle on then carries a flat holomorphic connection and Hodge filtration by holomorphic subbundles. Hain and Zucker prove in [HZ87, Proposition 5.24] that there is a frame for , compatible with the weight and Hodge filtrations, such that for any path from to any , the parallel transport of the frame for to along is given by left-multiplying262626In [HZ87, Proposition 5.24], the action is on the right, since their conventions for path-composition are opposite to ours. the frame for by some . The image of under the higher Albanese map is then declared to be the double-coset of .
Let now denote the torsor of paths from to , pushed out to , so that there is a canonical identification . It is easy to see that the parallel transport along is just given by left-multiplication by . It follows from the preceding paragraph that the identification arising from the frame for is given by left-multiplication by some – the -points of the Malc̆ev completion of . Then , with and (since the frame for respects the Hodge filtration), and hence by the description in corollary 8.3.3 the class of the torsor is also represented by .
That the non-abelian Kummer map is complex analytic follows from the corresponding assertion for the higher Albanese map [HZ87, Section 5], and that the -unipotent non-abelian Kummer map is follows from corollary 8.3.3. ∎
8.4. Proof of the main theorem
Having set up all this abstract theory and made the link to Hain and Zucker’s, we are now almost ready to prove theorem 1.1.8 in an exactly analogous way to the proofs of theorems 1.1.6 and 1.2.3. The only part remaining before we can copy our earlier proof methods is a characterisation of the archimedean Néron log-metric, analogous to the non-archimedean characterisation in lemma 3.0.1.
Lemma 8.4.1**.**
Let be an abelian variety. Then the Néron log-metrics
[TABLE]
associated to pairs consisting of a line bundle and a basepoint lying over ,are uniquely characterised by the following properties:
- (0)
* only depends on up to isomorphism;* 2. (1)
* is locally bounded (for the analytic topology on );* 3. (2)
; 4. (3)
, where by abuse of notation we also denote by the topmost map in the pullback square
{{[2]}^{*}L^{\times}}$${L^{\times}}$${A}$${A;}$$\scriptstyle{[2]} 5. (4)
when is the trivial line bundle, is the composite
[TABLE]
where ; and 6. (5)
.
In fact, the Néron log-metrics are even , not just locally bounded.
Proof.
That the Néron log-metric satisfies the above properties follows from the corresponding properties of Néron functions [Lan83, Theorem 11.1.1].
That the Néron log-metric is uniquely characterised by these properties proceeds in exactly the same way as in the proof of lemma 3.0.1, with the small adjustment that the function is locally bounded with bounded image instead of being locally constant with finite image. ∎
With this characterisation of the Néron log-metric, theorem 1.1.8 can now be proved by a more-or-less direct translation of the proofs in §3. Specifically, given a line bundle on an abelian variety , the fibration gives us a central extension
[TABLE]
of -unipotent fundamental groups, where , and hence by corollary 8.2.11 an exact sequence
[TABLE]
But , being pure of weight , satisfies and , and hence the map is bijective. Indeed, it is a diffeomorphism, since it is an immersion by lemma 8.2.15 and hence a local diffeomorphism by counting dimensions.
Now we also have a canonical diffeomorphism (the final isomorphism being minus the obvious one) and so we define a map as the composite
[TABLE]
It remains to show that the are the Néron log-metrics, by verifying the properties in lemma 8.4.1.
We’ve already checked that the are continuous (in fact ), and the verification of the remaining properties is purely formal, following exactly the pattern in the proof of theorem 1.1.6 (with replacing the non-abelian Galois cohomology). The only thing we need to check is that we have normalised the isomorphism correctly, for the proof of point 5. But this follows immediately from the fact that the abelian Kummer map is the logarithm map, so that the composite is given by , which is the desired normalisation.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[BD 16] J.S. Balakrishnan and N. Dogra. Quadratic Chabauty and rational points I: p 𝑝 p -adic heights, 2016. to appear in Duke Mathematical Journal (preprint available as ar Xiv: 1601.00388 – v 1 accessed).
- 2[BD 17] J.S. Balakrishnan and N. Dogra. Quadratic Chabauty and rational points II: generalised height functions on Selmer varieties, 2017. ar Xiv: 1705.00401 (preprint only) – v 1 accessed.
- 3[BDCKW 14] J.S. Balakrishnan, I. Dan-Cohen, M. Kim, and S. Wewers. A non-abelian conjecture of Birch and Swinnerton-Dyer type for hyperbolic curves, 2014. ar Xiv: 1209.0640 (preprint only) – v 3 accessed.
- 4[Ber 02] L. Berger. Représentations p 𝑝 p -adiques et équations différentielles. Inventiones Mathematicae , 148(2):219–284, 2002.
- 5[Bet 18] L.A. Betts. Heights via anabelian geometry and local Bloch–Kato Selmer sets . Ph D thesis, University of Oxford, 2018.
- 6[Bet 22] L.A. Betts. Local constancy of pro-unipotent Kummer maps, 2022. ar Xiv:2203.03701 (v 1 accessed).
- 7[BG 06] E. Bombieri and W. Gubler. Heights in Diophantine Geometry . Number 4 in New Mathematical Monographs. Cambridge University Press, 2006.
- 8[BK 72] A.K. Bousfield and D.M. Kan. Homotopy Limits, Completions and Localizations . Number 304 in Lecture Notes in Mathematics. Springer-Verlag, 1972.
