Abstract
This paper studies the Galois action on a special lattice of geometric origin, which is related to mod\(\ell \) abelianbycentral quotients of geometric fundamental groups of varieties. As a consequence, we formulate and prove the mod\(\ell \) abelianbycentral variant/strengthening of a conjecture due to Ihara/OdaMatsumoto.
Introduction
Our story begins with a question of Ihara from the 1980s, which asked for a combinatorial description of the absolute Galois group of \(\mathbb {Q}\). More precisely, this combinatorial description should be in the spirit of Grothendieck’s Esquisse d’un Programme [15], which suggested studying absolute Galois groups via their action on objects of “geometric origin,” and specifically the geometric fundamental group of algebraic varieties. Ihara asked whether the absolute Galois group of \(\mathbb {Q}\) is isomorphic to the automorphism group of the geometric fundamental group functor on \(\mathbb {Q}\)varieties, and OdaMatsumoto [20] later conjectured that the answer is affirmative, based on motivic evidence. We will henceforth refer to this question/conjecture (and its various variants) as the “I/OM.”
The original I/OM conjecture, which deals with the full geometric fundamental group, and which we call “the absolute I/OM” below, was proven by Pop in an unpublished manuscript from the 1990s. A variant of the I/OM over padic fields, using tempered fundamental groups, was then developed and proved by André [1]. Later on, Pop formulated and proved a strengthening of the absolute I/OM, which instead deals with the maximal pro\(\ell \) abelianbycentral quotient of the geometric fundamental group. The pro\(\ell \) abelianbycentral I/OM implies the absolute I/OM, and both contexts are treated by Pop in [29].
In this paper, we develop and prove a further strengthening of I/OM, which deals with the mod\(\ell \) abelianbycentral quotient of the geometric fundamental group. This mod\(\ell \) context strengthens both the pro\(\ell \) abelianbycentral and the absolute situations. Furthermore, the mod\(\ell \) abelianbycentral quotient is the smallest possible functorial (pro\(\ell \)) quotient which remains nonabelian. In this sense, the mod\(\ell \) context yields the strongest possible results that one could hope for.
Most importantly however, the mod\(\ell \) abelianbycentral context gets much closer to the spirit of Ihara’s original question of finding a combinatorial description of absolute Galois groups. Indeed, the geometric fundamental group of a variety and its pro\(\ell \) abelianbycentral quotient are both finitelygenerated profinite resp. pro\(\ell \) groups, and the topology of such groups plays a crucial role in both situations. In contrast to this, the mod\(\ell \) abelianbycentral quotient can be seen as a (discrete) finitedimensional \(\mathbb {Z}/\ell \)vector space endowed with some extra linear structure. In other words, the mod\(\ell \) abelianbycentral quotient of a geometric fundamental group is an object of a purely combinatorial nature, being a finitedimensional linear object over \(\mathbb {Z}/\ell \).
The precise notation and context of the paper is somewhat involved. For the sake of the reader, we now give some brief (and mostly unmotivated) definitions in order to state the primary main theorem of the paper. The rest of the Introduction will provide the full detailed notation and motivation. Let \(\ell \) be a fixed prime. Let \(k_0\) be a field of characteristic \(\ne \ell \), and let X be a normal, geometricallyintegral \(k_0\)variety. For such an X, we write (see Sects. 1.4, and 1.5):

(1)
for the geometric fundamental group of X, i.e. the étale fundamental group of the basechange \(\bar{X}\) of X to \(\bar{k}_0\), with respect to some geometric point \(\bar{x}\).

(2)
\(\pi ^a(X)\) for the maximal mod\(\ell \) abelian quotient of \(\bar{\pi }_1(X)\).

(3)
\(\pi ^c(X)\) for the maximal mod\(\ell \) abelianbycentral quotient of \(\bar{\pi }_1(X)\).
We consider \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a(X))\), the set of automorphisms of \(\pi ^a(X)\) which arise^{Footnote 1} from some automorphism of \(\pi ^c(X)\).
For an essentially small category \(\mathcal {V}\) of normal geometricallyintegral \(k_0\)varieties, we consider the group \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})\) which consists of systems \((\phi _X)_{X \in \mathcal {V}}\), where X varies over the objects of \(\mathcal {V}\), and the \(\phi _X \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a(X))\) are compatible with morphisms arising from \(\mathcal {V}\). Since \(\pi ^a(X)\) is a \(\mathbb {Z}/\ell \)vector space for all \(X \in \mathcal {V}\), and the morphisms \(\pi ^a(X) \rightarrow \pi ^a(Y)\) arising from morphisms \(X \rightarrow Y\) in \(\mathcal {V}\) are \(\mathbb {Z}/\ell \)linear, we obtain a canonical action of \((\mathbb {Z}/\ell )^\times \) on \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})\) by leftmultiplication. We write \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}(\pi ^a_\mathcal {V}) {:}{=}\, {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})/(\mathbb {Z}/\ell )^\times \) for the quotient by this canonical action of \((\mathbb {Z}/\ell )^\times \).
The action of \({{{\mathrm{Gal}}}_{k_0}}{:}{=}\, {{\mathrm{Gal}}}(\bar{k}_0k_0)\) on \(\bar{X}\) for X as above yields a canonical (outer) action on \(\pi ^a(X)\) and \(\pi ^c(X)\), hence also a canonical Galois representation
Finally, by collecting the \(\rho _{k_0,X}^c\) for all X in \(\mathcal {V}\), we obtain a canonical Galois representation
With this notation, the main theorem of the present paper reads as follows.
Main Theorem
Let \(k_0\) be an infinite perfect field of characteristic \(\ne \ell \), and let \(\mathcal {V}\) be a “sufficiently large” category of normal geometricallyintegral \(k_0\)varieties. Then the canonical map
is an isomorphism.
We will define precisely what we mean by “sufficiently large” in Sect. 1.7, where the precise assumption/terminology is that \(\mathcal {V}\) should be “5connected.” However, we note here that both the full category of all normal geometricallyintegral \(k_0\)varieties, and the full category of geometricallyintegral smooth quasiprojective \(k_0\)varieties, are “sufficiently large” in this sense. The above Main Theorem is proved for such 5connected categories in Theorem B. In fact, our approach is birational, and we obtain the above Main Theorem for many more categories \(\mathcal {V}\). The following is a concrete example which follows directly from Theorem A.
Example 1.1
Let \((H_i)_i\) be a cofinal system of (possibly nonintegral) \(\mathbb {Q}\)hypersurfaces in \(\mathbb {P}_\mathbb {Q}^5\), and put \(U_i {:}{=}\, \mathbb {P}_\mathbb {Q}^5 {{\smallsetminus }} H_i\). For each \(t \in \mathbb {Q}(\mathbb {P}_\mathbb {Q}^5) {{\smallsetminus }} \mathbb {Q}\) and \(U_i\) sufficiently small, let \(p_t : U_i \rightarrow \mathbb {G}_m\) be the dominant morphism corresponding to t. Let \(\mathcal {V}\) be the category whose objects are \(\{U_i\}_i \cup \{\mathbb {G}_m\}\), and whose morphisms are the inclusions among the \(U_i\), the identity on \(\mathbb {G}_m\), and the various \(p_t : U_i \rightarrow \mathbb {G}_m\) above. Then the canonical map
is an isomorphism.
The four main theorems of the paper (Theorems A, B, C and D) all require some variant of a “dimension \(\ge 5\)” assumption; this also leads to the “5connectedness” condition mentioned above. It is natural to ask whether these results hold true for dimension d, with \(1< d < 5\). However, the lower bound of 5 seems to be the best that one can presently hope for, in the mod\(\ell \) context. As explained below, this assumption first arises in the results of Evans–Hrushovski [8, 9] and Gismatullin [14], which play a crucial role in our proofs. In these works, this assumption is required in a technical step arising from the use of the group configuration theorem. The same assumption also arises, for different reasons, in two key Lemmas 10.11, 10.12 of the present paper. Nevertheless, the main large categories of geometricallyintegral normal \(k_0\)varieties, which are of interest for the I/OM, are indeed “5connected,” as we have mentioned above.
Automorphism groups of functors
We first introduce some general notation and terminology which will help simplify the exposition. Let \(\mathcal {C}\) be an essentially small category, and let \(\mathcal {F}: \mathcal {C}\rightarrow {\mathcal {D}}\) be an arbitrary functor to another category \({\mathcal {D}}\). We consider \({{\mathrm{Aut}}}(\mathcal {F})\), the automorphism group of the functor \(\mathcal {F}\). To be explicit, the elements of \({{\mathrm{Aut}}}(\mathcal {F})\) are systems \((\phi _X)_{X \in \mathcal {C}}\) with \(\phi _X \in {{\mathrm{Aut}}}(\mathcal {F}(X))\) parameterized by the objects X of \(\mathcal {C}\), such that for every morphism \(f : X \rightarrow Y\) of \(\mathcal {C}\), one has the following commutative diagram in \({\mathcal {D}}\)
For a subcategory \(\mathcal {C}_0\) of \(\mathcal {C}\), we write \(\mathcal {F}_{\mathcal {C}_0}\) for the restriction of \(\mathcal {F}\) to \({\mathcal {C}_0}\), and we will frequently consider the automorphism group \({{\mathrm{Aut}}}(\mathcal {F}_{\mathcal {C}_0})\) of this restriction. Note that this restriction yields a canonical restriction morphism
In explicit terms, this restriction morphism sends a system \((\phi _X)_{X \in \mathcal {C}}\), as above, to the restricted system \((\phi _X)_{X \in \mathcal {C}_0}\).
We will frequently consider several different target categories \({\mathcal {D}}\). To keep the notation consistent throughout, if some symbol/notation is used to denote the automorphism groups of objects in \({\mathcal {D}}\), then we will use the same symbol/notation to denote the automorphism group of a functor whose values are in \({\mathcal {D}}\).
The absolute I/OM
Throughout the paper, we will work with a fixed infinite perfect field \(k_0\), and \(k = \bar{k}_0\) will denote the algebraic closure of \(k_0\). Furthermore, \({{{\mathrm{Gal}}}_{k_0}}{:}{=}\, {{\mathrm{Gal}}}(kk_0)\) will denote the absolute Galois group of \(k_0\). We will only consider normal geometricallyintegral \(k_0\)varieties, and we denote the category of all such varieties by \(\mathbf {Var}_{k_0}\). Namely, the objects of \(\mathbf {Var}_{k_0}\) are schemes which are normal, geometricallyintegral, separated and of finitetype over \(k_0\). The morphisms in \(\mathbf {Var}_{k_0}\) are just morphisms of \(k_0\)schemes.
For every \(X \in \mathbf {Var}_{k_0}\), we write
for the basechange of X to k. Since \(k_0\) is perfect, it follows that \(\bar{X}\) is a normal kvariety for every \(X \in \mathbf {Var}_{k_0}\). Furthermore, recall that \({{{\mathrm{Gal}}}_{k_0}}\) acts on \(\bar{X}\) in the usual canonical way. Namely, \(\sigma \in {{{\mathrm{Gal}}}_{k_0}}\) acts on \(\bar{X}\) via the automorphism \(\mathbf {1}\times {{\mathrm{Spec}}}(\sigma ^{1})\) of
We let \({\mathbf {Prof}_{\mathrm{Out}}}\) denote the category of profinite groups with outermorphisms. Namely, the objects of \({\mathbf {Prof}_{\mathrm{Out}}}\) are just the profinite groups, but the set of morphisms \(G \rightarrow H\) in \({\mathbf {Prof}_{\mathrm{Out}}}\) is given by
In particular, the automorphism group of a profinite group G in \({\mathbf {Prof}_{\mathrm{Out}}}\) is precisely \({{\mathrm{Out}}}(G)\), the outerautomorphism group of G.
For every \(X \in \mathbf {Var}_{k_0}\), consider the geometric (étale) fundamental group of X,
with respect to some geometric point \(\bar{x}\). We will consider \(\bar{\pi }_1(X)\) as an object of \({\mathbf {Prof}_{\mathrm{Out}}}\), and because of this, the choice of geometric point becomes irrelevant. We therefore omit the geometric point \(\bar{x}\) from the notation. To summarize, we obtain a canonical functor
Observe that the action of \({{{\mathrm{Gal}}}_{k_0}}\) on \(\bar{X}\) and the functoriality of with values in \({\mathbf {Prof}_{\mathrm{Out}}}\), yields a canonical outer Galois representation
Naturally, this outer representation agrees with the one arising from the fundamental short exact sequence
Moreover, it is clear that if \(X \rightarrow Y\) is a morphism in \(\mathbf {Var}_{k_0}\), then the induced morphism \(\bar{\pi }_1(X) \rightarrow \bar{\pi }_1(Y)\) in \({\mathbf {Prof}_{\mathrm{Out}}}\) is compatible with the action of \({{{\mathrm{Gal}}}_{k_0}}\). In particular, \({{{\mathrm{Gal}}}_{k_0}}\) acts on the functor \(\bar{\pi }_1\) itself.
Similarly, if \(\mathcal {V}\) is any (essentially small) subcategory of \(\mathbf {Var}_{k_0}\), then \({{{\mathrm{Gal}}}_{k_0}}\) acts on \(\bar{\pi }_1_\mathcal {V}\). Following our notational convention mentioned in Sect. 1.1, we denote the automorphism group of \(\bar{\pi }_1_\mathcal {V}\) by \({{\mathrm{Out}}}(\bar{\pi }_1_\mathcal {V})\). We therefore obtain a canonical outer Galois representation
With this notation, the Absolute I/OM refers to the following general question.
The Absolute I/OM: For which fields \(k_0\) and subcategories \(\mathcal {V}\) of \(\mathbf {Var}_{k_0}\) as above, is the Galois representation
an isomorphism?
The nature of the map \(\rho _{k_0,\mathcal {V}}\) in general is still quite mysterious. Nevertheless, for \(k_0 = \mathbb {Q}\), the injectivity of this morphism has been extensively studied. For instance Drinfeld [6] observed that Belyi’s theorem [2] implies \(\rho _{\mathbb {Q},\mathcal {V}}\) is injective as soon as \(\mathcal {V}\) contains the tripod, \(\mathbb {P}^1_\mathbb {Q}{{\smallsetminus }} \{0,1,\infty \}\). More generally, it follows from the work of Voevodsky [38] and Matsumoto [19] in the affine case, and Hoshi–Mochizuki [16] in general, that \(\rho _{\mathbb {Q},\mathcal {V}}\) is injective as soon as \(\mathcal {V}\) contains a (possibly affine) hyperbolic curve.
The surjectivity of \(\rho _{k_0,\mathcal {V}}\) is much less understood, even in the case \(k_0 = \mathbb {Q}\). For instance, if one takes \(\mathcal {V}= \{{\mathcal {M}}_{0,n}\}_n\) with the “connecting morphisms” (or certain smaller subcategories) then \({{\mathrm{Out}}}(\bar{\pi }_1_\mathcal {V})\) is the intensively studied Grothendieck–Teichmüller group. The surjectivity of \(\rho _{\mathbb {Q},\mathcal {V}}\) in this case (and for other subcategories of the Teichmüller modular tower) is still a major open question in modern Galois theory.
In any case, the original question of Ihara, and the subsequent conjecture of OdaMatsumoto [20], predict that \(\rho _{\mathbb {Q},\mathcal {V}}\) is an isomorphism in the case where \(\mathcal {V}= \mathbf {Var}_\mathbb {Q}\). In 1999, Pop proved in an unpublished manuscript that \(\rho _{k_0,\mathcal {V}}\) is an isomorphism for more general fields \(k_0\) in the case where \(\mathcal {V}= \mathbf {Var}_{k_0}\). Pop’s proof was eventually released in [29], along with a stronger pro\(\ell \) abelianbycentral variant which we now summarize.
The pro\(\ell \) abelianbycentral I/OM
In order to get closer to the spirit of Ihara’s original question of finding a combinatorial description of the absolute Galois group of \(\mathbb {Q}\), it makes sense to replace the geometric fundamental group by certain smaller functorial quotients. The first such strengthening was formulated and proved by Pop [29] who uses the maximal pro\(\ell \) abelianbycentral quotient of \(\bar{\pi }_1\). We will give only a very brief summary of the pro\(\ell \) abelianbycentral context, since the purpose of this paper is to develop a mod\(\ell \) variant/strengthening of loc. cit.
Let \(\ell \) be a prime which is different from \({{\mathrm{Char}}}k_0\). For \(X \in \mathbf {Var}_{k_0}\), we consider \(\bar{\pi }_1^\ell (X)\) the maximal pro\(\ell \) quotient of \(\bar{\pi }_1(X)\). Next, consider the maximal pro\(\ell \) abelian resp. pro\(\ell \) abelianbycentral quotients of \(\bar{\pi }_1(X)\), which are defined and denoted as follows:
Note that both \(\Pi ^A(X)\) and \(\Pi ^C(X)\) are functorial in X. Moreover, note that \(\mathbb {Z}_\ell ^\times \) acts on \(\Pi ^A(X)\) by leftmultiplication. It turns out (by general grouptheoretical facts) that this action lifts to \(\Pi ^C(X)\). We consider the set of liftable automorphisms of \(\Pi ^A(X)\), defined by
as well as the quotient \(\underline{{{\mathrm{Aut}}}}^\mathrm{C}(\Pi ^A(X)) {:}{=}\, {{\mathrm{Aut}}}^\mathrm{C}(\Pi ^A(X))/\mathbb {Z}_\ell ^\times \) by the canonical action of \(\mathbb {Z}_\ell ^\times \).
Similar to the absolute context, for every \(X \in \mathbf {Var}_{k_0}\), one has canonical representations
Given a subcategory \(\mathcal {V}\) of \(\mathbf {Var}_{k_0}\), one defines \({{\mathrm{Aut}}}^\mathrm{C}(\Pi ^A_\mathcal {V})\) as the set of systems \((\phi _X)_{X \in \mathcal {V}}\), \(\phi _X \in {{\mathrm{Aut}}}^\mathrm{C}(\Pi ^A(X))\) which are compatible with morphisms from \(\mathcal {V}\), similar to the absolute context. We may also consider the quotient by the canonical action of \(\mathbb {Z}_\ell ^\times \):
similar to our definition of \(\underline{{{\mathrm{Aut}}}}^\mathrm{C}(\Pi ^A(X))\). As before, we obtain canonical Galois representations
With this notation, the pro\(\ell \) abelianbycentral I/OM is completely analogous to the absolute I/OM, as it refers to the following general question.
The Pro \(\ell \) AbelianbyCentral I/OM: For which fields \(k_0\) and subcategories \(\mathcal {V}\) of \(\mathbf {Var}_{k_0}\) as above, is the Galois representation
an isomorphism?
Pop shows in [29] that \(\rho ^\mathrm{C}_{k_0,\mathcal {V}}\) is an isomorphism for certain categories \(\mathcal {V}= \mathcal {V}_X\) which are similar to the categories of the form \(\mathcal {U}_\mathbf {a}\) (see Sect. 1.6 below). Loc. cit. also shows that \(\rho ^\mathrm{C}_{k_2,\mathcal {V}}\) is an isomorphism for socalled “connected” subcategories \(\mathcal {V}\) of \(\mathbf {Var}_{k_0}\). This “connectedness” condition holds, in particular, for \(\mathbf {Var}_{k_0}\) itself, as well as for the category of geometricallyintegral smooth quasiprojective \(k_0\)varieties. Although this notion of connectedness is somewhat technical, we note that it is similar to what we call “2connected” in Sect. 1.7.
The pro\(\ell \) abelianbycentral context gets closer to a truly combinatorial description of absolute Galois groups than the absolute context. However, the groups considered in this context, \(\Pi ^A(X)\) and \(\Pi ^C(X)\), are still quite large, as they still have a nontrivial profinite topology which plays a very significant role.
In this paper, we develop a further strengthening of the I/OM, by considering the mod\(\ell \) abelianbycentral quotient of \(\bar{\pi }_1(X)\). As mentioned before, this quotient of \(\bar{\pi }_1\) which we consider is the smallest functorial pro\(\ell \) quotient of \(\bar{\pi }_1\) which remains nonabelian; in particular, it is a quotient of \(\Pi ^C(X)\), and it can be seen as a purely combinatorial (i.e. finite and discrete) object. Thus, the mod\(\ell \) abelianbycentral context is essentially the best one could hope for, in the profinite context. In more broad terms, considering the I/OM with other variants of the geometric fundamental group could lead to further substantial developments in various facets of Galois theory.
In this paper, we will prove that the mod\(\ell \) abelianbycentral I/OM holds for socalled “5connected” subcategories \(\mathcal {V}\) of \(\mathbf {Var}_{k_0}\). Similar to Pop’s notion of connectedness, our notion of 5connectedness applies to \(\mathbf {Var}_{k_0}\) itself, as well as to the full category of geometricallyintegral smooth quasiprojective \(k_0\)varieties. However, for the time being, it is unclear whether the mod\(\ell \) I/OM holds true for dconnected categories with \(1< d < 5\).
It is particularly important to note that Pop [29] uses ideas related to Bogomolov’s Program [3] in birational anabelian geometry, which considers pro\(\ell \) abelianbycentral Galois groups of higherdimensional function fields over k. In a few words, the proof of the pro\(\ell \) abelianbycentral I/OM first reduces to a birational context, and eventually uses both the local theory [4, 25] and global theory [28] from pro\(\ell \) abelianbycentral birational anabelian geometry.
The initial step in our proof of the mod\(\ell \) abelianbycentral I/OM is moreorless the same as the pro\(\ell \) context, in the sense that we will reduce the mod\(\ell \) I/OM to a birational context. We will then use techniques from the mod\(\ell \) abelianbycentral variant of Bogomolov’s Program, including both the mod\(\ell \) local theory [26, 33, 36] and the mod\(\ell \) global theory [34].
Because of this strategy, we run into precisely the same problems/difficulties that arise when one passes from the pro\(\ell \) to the mod\(\ell \) abelianbycentral variants of Bogomolov’s Program. These fundamental differences between the pro\(\ell \) and mod\(\ell \) context were described in detail in the introduction of [34], and we refer the reader there for these details. Nevertheless, we mention here that, in the pro\(\ell \) context, one eventually uses the Fundamental Theorem of Projective Geometry applied to an infinitedimensional kprojective space embedded in \({\text {H}}^1(K,\mathbb {Z}_\ell (1))\), where K is a function field over k. The main difficulty in the mod\(\ell \) context is that \({\text {H}}^1(K,\mathbb {Z}/\ell (1))\) contains no such kprojective space. Therefore, our proof of the mod\(\ell \) I/OM is fundamentally different than the proof of the pro\(\ell \) variant. See Sect. 2 for a detailed summary of the proof of the mod\(\ell \) I/OM, and see the introduction of [34] for more on the comparison between the pro\(\ell \) and mod\(\ell \) contexts. We now introduce the mod\(\ell \) abelianbycentral context in detail.
The mod\(\ell \) abelianbycentral quotients
For a profinite group \(\mathcal {G}\), we let \(\mathcal {G}^{(i)}\) denote the ith term of the mod\(\ell \) Zassenhaus filtration of \(\mathcal {G}\). We will only need to consider the first two nontrivial terms of this filtration, which are defined explicitly as follows:

(1)
\(\mathcal {G}^{(2)} {:}{=}\, [\mathcal {G},\mathcal {G}] \cdot \mathcal {G}^\ell \).

(2)
\(\mathcal {G}^{(3)} {:}{=}\, [\mathcal {G},\mathcal {G}^{(2)}] \cdot \mathcal {G}^{\delta \cdot \ell }\) where \(\delta = 1\) if \(\ell \ne 2\) and \(\delta = 2\) if \(\ell = 2\).
We will consistently denote the quotients \(\mathcal {G}/\mathcal {G}^{(*)}\) for \(* = 2,3\) as follows:
We call \(\mathcal {G}^a\) resp. \(\mathcal {G}^c\) the mod\(\ell \) abelian resp. mod\(\ell \) abelianbycentral quotient of \(\mathcal {G}\). Indeed, note that \(\mathcal {G}^a\) is an \(\ell \)elementary abelian pro\(\ell \) group and \(\mathcal {G}^c\) is a central extension of \(\mathcal {G}^a\) by an \(\ell \)elementary abelian pro\(\ell \) group.
Remark 1.2
The primary reason for the distinction between odd/even \(\ell \) in the definition of \(\mathcal {G}^{(3)}\) is that we require \(\mathcal {G}^c = \mathcal {G}/\mathcal {G}^{(3)}\) to be nonabelian. Nevertheless, \(\mathcal {G}^c\) is the smallest pro\(\ell \) quotient of \(\mathcal {G}\) which is functorial in \(\mathcal {G}\), and which is nonabelian. In cohomological terms, this distinction between odd/even \(\ell \) is related to the fact that the mod2 Bockstein morphism agrees with the Steenrod square \({\mathrm{Sq}}^1\), whereas no such relationship exists for odd \(\ell \). For more on the mod\(\ell \) Zassenhaus filtration and its connection with mod\(\ell \) (group) cohomology, we refer the reader to [7] and [12].
Suppose now that \(\sigma ,\tau \in \mathcal {G}^a\) are given, and choose lifts \(\tilde{\sigma },\tilde{\tau } \in \mathcal {G}^c\) of \(\sigma ,\tau \). Since \(\mathcal {G}^c\) is a central extension of \(\mathcal {G}^a\), it follows that the commutator
depends only on \(\sigma ,\tau \in \mathcal {G}^a\) and not on the choice of lifts \(\tilde{\sigma },\tilde{\tau } \in \mathcal {G}^c\) of \(\sigma ,\tau \). Next, define the completed wedge product of \(\mathcal {G}^a\) with itself as
where H varies over the open subgroup of \(\mathcal {G}^a\), and where
for a discrete \(\mathbb {Z}/\ell \)module M. Then the commutator defined above extends linearly to define a canonical morphism
and we define \(\mathcal {R}(\mathcal {G})\) as the kernel of this canonical map. Note that one has \(\mathcal {G}^a = (\mathcal {G}^c)^a\) and \(\mathcal {R}(\mathcal {G}) = \mathcal {R}(\mathcal {G}^c)\), so the datum \((\mathcal {G}^a,\mathcal {R}(\mathcal {G}))\) is completely determined by the quotient \(\mathcal {G}^c\).
Suppose now that \(\mathcal {G}_1,\mathcal {G}_2\) are two profinite groups, and that \(f : \mathcal {G}_1^a \rightarrow \mathcal {G}_2^a\) is a morphism. In this context, we say that f is compatible with \(\mathcal {R}\) if the induced map
restricts to a map \({\mathcal {R}(\mathcal {G}_1) \rightarrow \mathcal {R}(\mathcal {G}_2)}\). We write \({{\mathrm{Hom}}}^\mathrm{c}(\mathcal {G}_1^a,\mathcal {G}_2^a)\) for the collection of morphisms \(f : \mathcal {G}_1^a \rightarrow \mathcal {G}_2^a\) which are compatible with \(\mathcal {R}\). Similarly, for a profinite group \(\mathcal {G}\), we write \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}^a)\) for the collection of automorphisms of \(\mathcal {G}^a\) which are compatible with \(\mathcal {R}\) and whose inverse is also compatible with \(\mathcal {R}\).
The definitions above can be summarized by defining the mod\(\ell \)abelianbycentral category, denoted \(\mathbf {AbC}_{\ell }\), to be the category whose objects consist of pairs \((\mathcal {G}^a,\mathcal {R})\) where \(\mathcal {G}^a\) is a profinite group such that \((\mathcal {G}^a)^{(2)} = 1\), and \(\mathcal {R}\) is a closed subgroup of \(\widehat{\wedge }^2(\mathcal {G}^a)\). A morphism from \((\mathcal {G}_1^a,\mathcal {R}_1)\) to \((\mathcal {G}_2^a,\mathcal {R}_2)\) in \(\mathbf {AbC}_{\ell }\) is simply a morphism \(f : \mathcal {G}_1^a \rightarrow \mathcal {G}_2^a\) of profinite groups such that the induced map
restricts to a map \(\mathcal {R}_1 \rightarrow \mathcal {R}_2\). Finally, we have a canonical functor
defined on objects by \(\mathcal {G}^\mathrm{ac}{:}{=}\, (\mathcal {G}^a,\mathcal {R}(\mathcal {G}))\). The \(\mathcal {R}\)compatible morphisms/automorphisms are then given by the morphisms/automorphism in \(\mathbf {AbC}_{\ell }\):

\({{\mathrm{Hom}}}^\mathrm{c}(\mathcal {G}_1^a,\mathcal {G}_2^a) = {{\mathrm{Hom}}}_{\mathbf {AbC}_{\ell }}(\mathcal {G}_1^\mathrm{ac},\mathcal {G}_2^\mathrm{ac})\).

\({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}^a) = {{\mathrm{Aut}}}_{\mathbf {AbC}_{\ell }}(\mathcal {G}^\mathrm{ac})\).
Finally, as noted above, for any profinite group, one has \(\mathcal {G}^\mathrm{ac}= (\mathcal {G}^c)^\mathrm{ac}\) as objects of \(\mathbf {AbC}_{\ell }\). In other words, the functor \((\bullet )^\mathrm{ac}\) factors through the endofunctor \(\mathcal {G}\mapsto \mathcal {G}^c\) of \({\mathbf {Prof}_{\mathrm{Out}}}\).
Similar to the pro\(\ell \) context, we will consistently use underlines to denote the process of modding out by the leftmultiplication action of \((\mathbb {Z}/\ell )^\times \). For instance, note that \((\mathbb {Z}/\ell )^\times \) acts on \(\mathcal {G}^a\) by multiplication on the left, and that this action is always compatible with \(\mathcal {R}\). Thus, \((\mathbb {Z}/\ell )^\times \) acts on \({{\mathrm{Hom}}}^\mathrm{c}(\mathcal {G}_1^a,\mathcal {G}_2^a)\) and we write
Similarly, \((\mathbb {Z}/\ell )^\times \) acts on \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}^a)\) and we write
The mod\(\ell \) abelianbycentral I/OM
For any \(X \in \mathbf {Var}_{k_0}\), we consider the mod\(\ell \) abelian resp. mod\(\ell \) abelianbycentral geometric fundamental groups of X, which are defined and denoted as follows:
We will also consider the associated abelianbycentral datum
as discussed above.
Remark 1.3
In practice, the object \((\bar{\pi }_1(X))^\mathrm{ac}\) can be explicitly computed using cohomology with \(\mathbb {Z}/\ell \) coefficients. Indeed, for any \(X \in \mathbf {Var}_{k_0}\), one has , and the inclusion \(\mathcal {R}{:}{=}\, \mathcal {R}(\pi ^c(X)) \hookrightarrow \wedge ^2 (\pi ^a(X))\) is dual to (the image of)
In other words, one can completely compute the object \((\bar{\pi }_1(X))^\mathrm{ac}\) using the finitedimensional \(\mathbb {Z}/\ell \)vector space , along with the kernel of the cupproduct map above. In particular, \({{\mathrm{Aut}}}^c(\pi ^a(X))\) is a subgroup of the finite group \({{\mathrm{Aut}}}(\pi ^a(X)) = {\text {GL}}_{\mathbb {Z}/\ell }(\pi ^a(X))\). In this respect, one may view \((\bar{\pi }_1(X))^\mathrm{ac}\) as a combinatorial object, defined by a finite vector space with some additional linear data.
Note that for every \(X \in \mathbf {Var}_{k_0}\), the Galois group \({{{\mathrm{Gal}}}_{k_0}}\) acts on \(\pi ^c(X)\) by outerautomorphisms, since \(\pi ^c(X)\) is a characteristic quotient of \(\bar{\pi }_1(X)\). Since \(\pi ^a(X)\) is a further characteristic quotient of \(\pi ^c(X)\), we see that \({{{\mathrm{Gal}}}_{k_0}}\) acts on \((\pi ^c(X))^\mathrm{ac}= (\pi ^a(X),\mathcal {R}(\pi ^c(X)))\) as an object of \(\mathbf {AbC}_{\ell }\), so that we obtain canonical Galois representations
Suppose now that \(\mathcal {V}\) is an essentially small subcategory of \(\mathbf {Var}_{k_0}\). In this context, we define \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})\) to be the automorphism group of the functor
In other words, \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})\) consists of system \((\phi _X)_{X \in \mathcal {V}} \in {{\mathrm{Aut}}}(\pi ^a_\mathcal {V})\) with \(\phi _X \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a(X))\) for all \(X \in \mathcal {V}\), such that the \(\phi _X\) are compatible with morphisms arising from \(\mathcal {V}\). As before, \((\mathbb {Z}/\ell )^\times \) acts on \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})\) in a canonical way by leftmultiplication, and we will denote the quotient by this action with an underline as \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}(\pi ^a_\mathcal {V}) {:}{=}\, {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})/(\mathbb {Z}/\ell )^\times \). Finally, we can combine all of the \(\rho _{k_0,X}^c\) as before to obtain canonical Galois representations
With this notation, the mod\(\ell \) abelianbycentral I/OM is completely analogous to the absolute and pro\(\ell \) contexts, and it refers to the following general question.
The Mod \(\ell \) AbelianbyCentral I/OM: For which fields \(k_0\) and subcategories \(\mathcal {V}\) of \(\mathbf {Var}_{k_0}\) as above, is the Galois representation
an isomorphism?
The main result: birational systems
With the preparation above, we will now introduce the subcategories of \(\mathbf {Var}_{k_0}\) which we consider in this paper. Let \(X \in \mathbf {Var}_{k_0}\) have dimension \(\ge 1\), and let \(\mathcal {U}_X\) be a basis of open neighborhoods of the generic point of X. We will always consider \(\mathcal {U}_X\) as a subcategory of \(\mathbf {Var}_{k_0}\) whose objects are the elements of \(\mathcal {U}_X\) and whose morphisms are the inclusions among them as open subsets of X. Moreover, we write \(\mathcal {U}_X^+ = \mathcal {U}_X \cup \{X\}\) for the basis of open neighborhoods of the generic point of X which also includes X as a terminal object.
Let \(X \in \mathbf {Var}_{k_0}\) be an object. To simplify the exposition, we will say that a subcategory \(\mathcal {U}_X\) of \(\mathbf {Var}_{k_0}\) is a birational system of X if \(\mathcal {U}_X\) is a basis of open neighborhoods of the generic point of X. We will use the notation \(\mathcal {U}_X^+\) as above to denote the existence of X as a terminal object. In other words, while a birational system \(\mathcal {U}_X\) of X need not have a terminal object, the birational system \(\mathcal {U}^+_X\) always has X as a terminal object. We say that \(\mathcal {U}\) is a birational system if \(\mathcal {U}\) is a birational system of X for some \(X \in \mathbf {Var}_{k_0}\). The dimension of a birational system \(\mathcal {U}\), denoted \(\dim \mathcal {U}\), is defined to be the dimension of one (hence all) of the objects in \(\mathcal {U}\). In particular, \(\dim \mathcal {U}_X = \dim X\).
Now let \(r \ge 0\) be given, and let \(\mathbf {a}= (a_1,\ldots ,a_r)\) be a (possibly empty) finite tuple of elements \(a_i \in k_0^\times \). We denote the complement of \(\mathbf {a}\) in \(\mathbb {G}_m\) (over \(k_0\)) as
For instance, \({\mathrm{U}_\mathbf {a}= \mathbb {G}_m}\) if \(\mathbf {a}= \varnothing \) is empty, and \({\mathrm{U}_\mathbf {a}= \mathbb {P}^1 {{\smallsetminus }} \{0,1,\infty \}}\) is the tripod if \(\mathbf {a}= (1)\).
We will furthermore consider a small category \(\mathcal {U}_\mathbf {a}\) which is constructed from a positivedimensional birational system \(\mathcal {U}\) and \(\mathrm{U}_\mathbf {a}\) as follows:

(1)
The objects of \({\mathcal {U}_\mathbf {a}}\) are given by \({\mathcal {U}\cup \{\mathrm{U}_\mathbf {a}\}}\).

(2)
The morphisms in \(\mathcal {U}_\mathbf {a}\) are the inclusions among the objects in \(\mathcal {U}\), the identity on \({\mathrm{U}_\mathbf {a}}\), and all of the dominant morphisms \(U \rightarrow \mathrm{U}_\mathbf {a}\) for \(U \in \mathcal {U}\).
Our first main theorem concerning the mod\(\ell \) I/OM as stated above shows the bijectivity of the Galois representation for such categories, if the birational system has sufficiently large dimension.
Theorem A
Let \(k_0\) be an infinite perfect field of characteristic \(\ne \ell \). Let \(\mathcal {U}\) be a birational system of dimension \(\ge 5\), and let \(\mathbf {a}= (a_1,\ldots ,a_r)\) be a (possibly empty) finite tuple of elements of \(k_0^\times \). Then the canonical Galois representation
is an isomorphism.
The main result: connected categories
We will now introduce the precise notion of a “dconnected category.” Suppose that \(\mathcal {V}\) is an essentially small subcategory of \(\mathbf {Var}_{k_0}\) which contains a positivedimensional object. Let \(\mathcal {U}_1,\mathcal {U}_2\) be two positivedimensional birational systems. In this context, we say that \(\mathcal {U}_1\) dominates \(\mathcal {U}_2\) in \(\mathcal {V}\) provided that \(\mathcal {V}\) contains \(\mathcal {U}_1\) and \(\mathcal {U}_2\), and that the following holds:

If \(\dim \mathcal {U}_2 > 1\): For all \(V \in \mathcal {U}_2\), there exists some \(U \in \mathcal {U}_1\) such that \(\mathcal {V}\) contains a dominant morphism \(U \rightarrow V\).

If \(\dim \mathcal {U}_2 = 1\): For all \(V \in \mathcal {U}_2\), there exists some \(U \in \mathcal {U}_1\) such that \(\mathcal {V}\) contains a dominant morphism \(U \rightarrow V\) with geometrically integral fibers.
Next suppose that \(\mathcal {U},\mathcal {U}_1,\mathcal {U}_2\) are three positivedimensional birational systems. In this context, we say that \(\mathcal {U}\) attaches \(\mathcal {U}_1\) to \(\mathcal {U}_2\) in \(\mathcal {V}\) if the following hold:

(1)
The category \(\mathcal {V}\) contains \(\mathcal {U}_\mathbf {a}\) for some finite tuple \(\mathbf {a}\) of elements of \(k_0^\times \).

(2)
The birational system \(\mathcal {U}\) dominates both \(\mathcal {U}_1\) and \(\mathcal {U}_2\) in \(\mathcal {V}\).
Now let \(d \ge 1\) be given, and let \(\mathcal {U}_0\) and \(\mathcal {U}_{2r}\) be two birational systems. We will say that \(\mathcal {U}_0\) and \(\mathcal {U}_{2r}\) are dconnected in \(\mathcal {V}\) if there exist birational systems \(\mathcal {U}_1,\ldots ,\mathcal {U}_{2r1}\) such that, for all \(i = 0,\ldots ,r1\), the following conditions hold:

(1)
One has \(\dim \mathcal {U}_{2i+1} \ge d\).

(2)
The birational system \(\mathcal {U}_{2i+1}\) attaches \(\mathcal {U}_{2i}\) to \(\mathcal {U}_{2i+2}\) in \(\mathcal {V}\).
Finally, we say that \(\mathcal {V}\) is dconnected if the following conditions hold:

(1)
\(\mathcal {V}\) is essentially small and it contains a positivedimensional object.

(2)
For every object X of \(\mathcal {V}\), there exists some birational system \(\mathcal {U}_X^+\) of X which contains X as the terminal object, such that \(\mathcal {U}_X^+\) is contained in \(\mathcal {V}\).

(3)
Any two birational systems \(\mathcal {U}_0,\mathcal {U}_{2r}\) which are contained in \(\mathcal {V}\) are dconnected in \(\mathcal {V}\).
Although the precise definition of a dconnected category is somewhat complicated, we note that, for example, both the full category \(\mathbf {Var}_{k_0}\), and the full subcategory of all geometricallyintegral smooth quasiprojective \(k_0\)varieties, are dconnected for all \(d \ge 1\). Furthermore, if \(d' \ge d \ge 1\), we note that \(\mathcal {V}\) being \(d'\)connected implies that \(\mathcal {V}\) is dconnected. Our next main theorem concerns the mod\(\ell \) I/OM for 5connected varieties.
Theorem B
Let \(k_0\) be an infinite perfect field of characteristic \(\ne \ell \), and let \(\mathcal {V}\) be a subcategory of \(\mathbf {Var}_{k_0}\) which is 5connected. Then the canonical Galois representation
is an isomorphism.
Theorems A and B together form the mod\(\ell \) variant/strengthening (in dimension \(\ge 5\)) of the main results from [29], where the absolute and pro\(\ell \) I/OM are proven. And as mentioned above, this mod\(\ell \) context is optimal with respect to functorial pro\(\ell \) quotients of \(\bar{\pi }_1\) which remain nonabelian. The recent work [30] proves yet another refinement of [29] by considering coarser categories of varieties, but still necessarily remaining in the pro\(\ell \) context. Therefore, the present paper and [30] both refine the results of [29], while these two refinements seem to be in orthogonal directions.
BirationalGalois variant
Let \(X \in \mathbf {Var}_{k_0}\) be given and let \(\mathcal {U}= \mathcal {U}_X\) be a birational system for X, as defined above. Recall that elements of \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {U})\) consist of systems of elements \((\phi _U)_{U \in \mathcal {U}}\), where \(\phi _U \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a(U))\) are compatible with the morphisms arising from \(\mathcal {U}\). By taking the projective limit over \(\mathcal {U}\), one obtains an element of \({{\mathrm{Aut}}}^\mathrm{c}(({{\mathrm{Gal}}}_{k(X)})^a)\). Moreover, since X is geometrically normal, it follows that the induced canonical map \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a(X)) \rightarrow {{\mathrm{Aut}}}^\mathrm{c}(({{\mathrm{Gal}}}_{k(X)})^a)\) is injective. Therefore, in order to prove Theorem A, it makes sense to first develop a birational variant of that theorem, which deals with quotients of absolute Galois groups of function fields as opposed to quotients of fundamental groups of varieties. Therefore, the main focus of this paper is to develop and prove birational variants of our main theorems, and we now introduce the appropriate notation and terminology.
Suppose that \(K_0\) is a regular function field over \(k_0\), and let
denote the basechange of \(K_0\) to k. Recall that \({{{\mathrm{Gal}}}_{k_0}}\) acts on \(K = K_0 \otimes _{k_0} k\) in the obvious way, and that one has a canonical isomorphism
We denote by \(\mathcal {G}_K {:}{=}\, {{\mathrm{Gal}}}(K(\ell )K)\) the maximal pro\(\ell \) Galois group of K. We also consider its mod\(\ell \) abelian resp. mod\(\ell \) abelianbycentral quotients \(\mathcal {G}_K^a\) resp. \(\mathcal {G}_K^c\), and the associated object
of \(\mathbf {AbC}_{\ell }\), as introduced in Sect. 1.4. Following the notation above, we denote the automorphism group of \(\mathcal {G}_K^\mathrm{ac}\) by \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\), and we write
for its quotient by the canonical action of \((\mathbb {Z}/\ell )^\times \). Since the projection \(\mathcal {G}_K^c \rightarrow \mathcal {G}_K^a\) is functorial in K, it follows that \({{{\mathrm{Gal}}}_{k_0}}\) acts on \(\mathcal {G}_K^\mathrm{ac}\) as an object of \(\mathbf {AbC}_{\ell }\). In other words, we obtain canonical Galois representations
Suppose now that \(\mathbf {a}\) is a (possibly empty) finite tuple of elements of \(k_0^\times \), and recall that we write \({\mathrm{U}_\mathbf {a}{:}{=}\, \mathbb {G}_m {{\smallsetminus }} \mathbf {a}}\). Note that every nonconstant \(t \in K_0^\times \) induces a dominant morphism \({U \rightarrow \mathrm{U}_\mathbf {a}}\) for some \(U \in \mathbf {Var}_{k_0}\) such that \(k_0(U) = K_0\). Thus, for every nonconstant \(t \in K_0\), we obtain a canonical morphism of \(\ell \)elementary abelian pro\(\ell \) groups
Let \(\mathcal {H}_t\) denote the kernel of \({\pi _t : \mathcal {G}_K^a \rightarrow \pi ^a(\mathrm{U}_\mathbf {a})}\). We will write \({{\mathrm{Aut}}}^\mathrm{c}_\mathbf {a}(\mathcal {G}_K^a)\) for the subgroup of \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) consisting of elements \(\phi \in {{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) such that \(\phi \mathcal {H}_t = \mathcal {H}_t\) for all nonconstant \(t \in K_0^\times \). Note that the canonical action of \((\mathbb {Z}/\ell )^\times \) on \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) restricts to an action on the subgroup \({{\mathrm{Aut}}}^\mathrm{c}_\mathbf {a}(\mathcal {G}_K^a)\), and we will write
for the quotient of this action.
Since the Galois action is clearly compatible with the morphisms \(\pi _t\) for nonconstant \(t \in K_0^\times \), we see that any element of \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) resp. \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}(\mathcal {G}_K^a)\) which arises from \({{{\mathrm{Gal}}}_{k_0}}\) must actually be contained in \({{\mathrm{Aut}}}^\mathrm{c}_\mathbf {a}(\mathcal {G}_K^a)\) resp. \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}_\mathbf {a}(\mathcal {G}_K^a)\). In other words, we obtain canonical Galois representations
Our BirationalGalois variant of Theorem A is about this canonical morphism.
Theorem C
Let \(k_0\) be an infinite perfect field of characteristic \(\ne \ell \). Let \(K_0\) be a regular function field over \(k_0\) of transcendence degree \(\ge 5\), and put \(K = K_0 \cdot k\). Let \(\mathbf {a}\) be an arbitrary (possiblyempty) finite tuple of elements of \(k_0^\times \). Then the canonical map
is an isomorphism.
BirationalMilnor variant
It turns out that it will be more convenient to work with the Kummer Dual of Theorem C. While the Kummer dual of \(\mathcal {G}_K^a\) is \(K^\times /\ell \), it will be a consequence of the Merkurjev–Suslin Theorem [22] that the “dual” of the object \(\mathcal {G}_K^\mathrm{ac}\) can be considered as the mod\(\ell \) Milnor Kring of K, which we denote by \({\text {k}}^\mathrm{M}_*(K)\). Thus, the primary focus of this paper will be to prove a Milnor variant of Theorem C, which deals with the mod\(\ell \) Milnor Kring of the function field K.
We will recall the definition of \({\text {k}}^\mathrm{M}_*(K)\) in Sect. 3, but we note here that one has
and that one has a canonical surjective morphism of \(\mathbb {Z}/\ell \)algebras
where \({\text {T}}_*(K^\times /\ell )\) denotes the tensor algebra of \(K^\times /\ell \) considered as a vector space over \(\mathbb {Z}/\ell \) which is concentrated in degree 1. We denote by \({{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) the collection of automorphisms of \({\text {k}}^\mathrm{M}_1(K)\) which extend to an automorphism of \({\text {k}}^\mathrm{M}_*(K)\). Similar to the above, we have a canonical action of \((\mathbb {Z}/\ell )^\times \) on \({\text {k}}^\mathrm{M}_1(K)\) by left multiplication, and we put
Let \(\mathbf {a}= (a_1,\ldots ,a_r)\) be a possibly empty finite tuple of elements of \(k_0^\times \) as above. For \(x \in K^\times \), we write \(\{x\}_K\) for the image of x in \({\text {k}}^\mathrm{M}_1(K) = K^\times /\ell \). We write \({{\mathrm{Aut}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) for the subgroup of all automorphisms \(\phi \in {{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) such that for all nonconstant \(t \in K_0^\times \), the automorphism \(\phi \) restricts to an automorphism of the subgroup
of \({\text {k}}^\mathrm{M}_1(K)\). Finally, we define \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K)) {:}{=}\, {{\mathrm{Aut}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))/(\mathbb {Z}/\ell )^\times \) similar to the above. It turns out that the group \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) can be viewed as the “Kummer Dual” of the group \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}_\mathbf {a}(\mathcal {G}_K^a)\) considered in Sect. 1.8.
As before, we have a canonical action of \({{{\mathrm{Gal}}}_{k_0}}\) on \({\text {k}}^\mathrm{M}_*(K)\). Moreover, this action is compatible with subgroups of \({\text {k}}^\mathrm{M}_1(K)\) of the form
for all nonconstant \(t \in K_0^\times \), and all \(a_1,\ldots ,a_r \in k_0^\times \). To summarize, for a (possibly empty) finite tuple \(\mathbf {a}\) of elements of \(k_0^\times \), we obtain canonical Galois representations
which are the primary focus of the following “MilnorVariant” of Theorem C.
Theorem D
Let \(k_0\) be an infinite perfect field of characteristic \(\ne \ell \). Let \(K_0\) be a regular function field over \(k_0\) of transcendence degree \(\ge 5\), and put \(K = K_0 \cdot k\). Let \(\mathbf {a}\) be an arbitrary (possiblyempty) finite tuple of elements of \(k_0^\times \). Then the canonical map
is an isomorphism.
We give a brief description of the proof of Theorem D, as it pertains to the mod\(\ell \) anabelian tools mentioned above. A much more detailed summary is given in Sect. 2. In the above context, let \(\sigma \in {{\mathrm{Aut}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) be given. First, we will use the mod\(\ell \) local theory from [33, 36], along with the compatibility of \(\sigma \) with \(\mathbf {a}\), to show that \(\sigma \) is compatible with certain special onedimensional geometric subgroups (see Sect. 2 for this terminology). The majority of the work is then devoted to showing that \(\sigma \) is compatible with all such onedimensional geometric subgroups, and these include the rational subgroups considered in [34]. One then concludes, along similar lines to the mod\(\ell \) global theory from loc. cit., that \(\sigma \) arises from some automorphism of K, while some additional arguments show that this automorphism fixes \(K_0\) pointwise. In other words, \(\sigma \) arises from an element of \({{\mathrm{Gal}}}_{k_0} = {{\mathrm{Gal}}}(KK_0)\).
A guide through the paper
This paper contains a total of 11 sections, including Sect. 1 which is the introduction, and Sect. 2 which introduces some notation, and includes a summary of the proof of the main theorems.
Sections 3, 4 and 5 contain mostly generalities, appropriately translated to our context. More specifically, in Sect. 3, we recall some basic facts about the mod\(\ell \) Milnor Kring of fields. In Sect. 4, we recall the cohomological framework which allows us to translate back and forth between mod\(\ell \) abelianbycentral Galois groups and mod\(\ell \) Milnor Krings—this can be seen as a grouptheoretical formulation of the Merkurjev–Suslin Theorem [22]. Such cohomological results have seen a recent resurgence in [5, 10, 12, 35], especially in connection with the Merkurjev–Suslin Theorem [22] and/or the Bloch–Kato conjecture, which is now a highlycelebrated theorem due to VoevodskyRost et al. [31, 37, 39]. Nevertheless, the Merkurjev–Suslin Theorem is sufficient for the considerations in Sect. 4, as we summarize the appropriate results for our context in Theorem 4.2.
In Sect. 5, we recall the required results concerning the local theory in mod\(\ell \) abelianbycentral birational anabelian geometry. These results have been developed incrementally over the last several years by [4, 11, 21, 25, 26, 33, 36]. We summarize the applicable results for our context in Theorem 5.4.
The core of the paper begins in §6, where we discuss the mod\(\ell \) Milnor Ktheory of function fields. The ideas in this section are similar to [34, §3], although the results themselves refine loc. cit. somewhat. Perhaps the most important result in §6 is Corollary 6.4 which shows how to reconstruct a geometric subgroup given sufficiently many of its elements.
In Sect. 7, we summarize (see Theorem 7.1) the main results from Evans–Hrushovski [8, 9] and Gismatullin [14], translated appropriately to the context of the present paper. In Sect. 7 we also prove Corollary 7.4, which shows that the absolute Galois group \({{{\mathrm{Gal}}}_{k_0}}\) can be canonically identified with a Galois group of certain geometric lattices associated to Kk and \(K_0k_0\); this corollary will be used in a fundamental way in the proof of Theorem D.
In Sect. 8, we introduce the socalled essential branch locus, and the notion of an essentially unramified point. We use this concept of essential ramification in several technical results in coordination with the local theory, in order to ensure that certain divisorial valuations can be “detected” in the mod\(\ell \) setting.
In Sect. 9, we recall the notion of a general element, and introduce the notion of a stronglygeneral element. In this section we also recall the socalled BirationalBertini theorem for general elements. We also prove a BirationalBertini theorem for stronglygeneral elements, which uses the “yoga” of essential ramification in a fundamental way.
In Sect. 10, we give the detailed proof of Theorem D, and note that Theorem C follows from this by applying Theorem 4.2 from Sect. 4. Finally, in Sect. 11, we conclude the proofs of Theorems A and B by using Theorem C.
To summarize, the following diagram indicates the logical relationships between Theorems A, B, C and D:
Notation and a summary
Throughout the whole paper, we will work with a fixed prime \(\ell \) and a fixed base field \(k_0\), such that \(k_0\) is infinite, perfect, and of characteristic \(\ne \ell \). We denote by \({{{\mathrm{Gal}}}_{k_0}}\) the absolute Galois group of \(k_0\). We will also fix a function field \(K_0\) over \(k_0\) which is regular, which means that \(K_0\) has a separating transcendence base and that \(k_0\) is relatively algebraically closed in \(K_0\). We denote by \(k {:}{=}\, \bar{k}_0\) the algebraic closure of \(k_0\), and we write
for the basechange of \(K_0\) to k.
When we discuss other fields which are potentially unrelated to \(K_0k_0\) and/or Kk and which might have characteristic \(\ell \), we will use letters such as F, L, M, etc. The perfect closure of a field F will be denoted by \(F^i\). If \({{\mathrm{Char}}}F = p > 0\), then we will write \({\text {Frob}}_F\) for the usual Frobenius map on F, and we note that \({\text {Frob}}_{F^i}\) is an automorphism of \(F^i\). In order to keep the notation consistent, if \({{\mathrm{Char}}}F = 0\), then \({\text {Frob}}_F\) is defined to be the identity on F. Finally, the absolute Galois group of a field F will be denoted by \({{\mathrm{Gal}}}_F\), and the maximal pro\(\ell \) Galois group of F will be denoted by \(\mathcal {G}_F\).
For a valuation v of F, we will use the following standard notation associated with v. We denote the valuation ring of v by \(\mathcal {O}_v\) and the maximal ideal of \(\mathcal {O}_v\) is denoted by \(\mathfrak {m}_v\). We will also write \({\mathrm{U}_v {:}{=}\, \mathcal {O}_v^\times }\) for the vunits and \({\mathrm{U}_v^1 {:}{=}\, (1+\mathfrak {m}_v)}\) for the principal vunits. Finally, we write vF for the value group of v and Fv for the residue field of v. The residue map \(\mathcal {O}_v \twoheadrightarrow Fv\) will usually be denoted by \(t \mapsto \bar{t}\). If L is a subfield of F, we will abuse the notation and write vL resp. Lv for the value group resp. residue field of the restriction \(v_L\) of v to L.
The majority of this paper deals with \({\text {k}}^\mathrm{M}_*(K)\), the mod\(\ell \) Milnor Kring of K, the definition of which is recalled in Sect. 3. We note now that for a field F, one has \({\text {k}}^\mathrm{M}_1(F) = F^\times /\ell \), and that the canonical projection \(F^\times \twoheadrightarrow F^\times /\ell = {\text {k}}^\mathrm{M}_1(F)\) is denoted by \(x \mapsto \{x\}_F\).
We now introduce some important notation which will be used consistently throughout the whole paper. In particular, we introduce the notion of a geometric subgroup of \({\text {k}}^\mathrm{M}_1(K)\), which is the primary object we study in this paper. For a subset S of K, we may consider k(S), the subextension of Kk generated by S, and we write:

(1)
\(\mathbb {K}(S) {:}{=}\, \overline{k(S)} \cap K\) for the relative algebraicclosure of k(S) in K.

(2)
\(\mathfrak {K}(S) {:}{=}\, \{\mathbb {K}(S)^\times \}_K\) for the image of \(\mathbb {K}(S)^\times \) in \({\text {k}}^\mathrm{M}_1(K)\).
A subgroup A of \({\text {k}}^\mathrm{M}_1(K)\) is called a geometric subgroup of \({\text {k}}^\mathrm{M}_1(K)\) provided that there exists some subset S of K such that \(\mathfrak {K}(S) = A\). Since \(\mathbb {K}(S)\) is relatively algebraically closed in K, we note that the canonical map \({\text {k}}^\mathrm{M}_1(\mathbb {K}(S)) \rightarrow {\text {k}}^\mathrm{M}_1(K)\) is injective, and its image is \(\mathfrak {K}(S)\). In particular, the map \({\text {k}}^\mathrm{M}_1(\mathbb {K}(S)) \rightarrow {\text {k}}^\mathrm{M}_1(K)\) induces a canonical isomorphism \({\text {k}}^\mathrm{M}_1(\mathbb {K}(S)) \cong \mathfrak {K}(S)\).
We will also frequently work with valuations of K via the images of their (principal) units in \({\text {k}}^\mathrm{M}_1(K)\), and so we must introduce some more important notation here. For a valuation v of K, we will consistently write:

(1)
\({\mathfrak {U}_v {:}{=}\, \{\mathrm{U}_v\}_K}\) for the image of the vunits in \({\text {k}}^\mathrm{M}_1(K)\).

(2)
\({\mathfrak {U}_v^1 {:}{=}\, \{\mathrm{U}_v^1\}_K}\) for the image of the principal vunits in \({\text {k}}^\mathrm{M}_1(K)\).
Note in particular that one has \(\mathfrak {U}_v^1 \subset \mathfrak {U}_v\), and, since vK is torsionfree, the quotient \(\mathfrak {U}_v/\mathfrak {U}_v^1\) is canonically isomorphic to \({\text {k}}^\mathrm{M}_1(Kv)\).
We will frequently consider affine and projective spaces over k, which are given by a certain set of algebraically independent parameters. More precisely, let \(\mathbf {t}= (t_1,\ldots ,t_r)\) be a collection of r algebraically independent indeterminants over k. In this case, we write
for affine rspace with parameters \(t_1,\ldots ,t_r\). Similarly, we write
for the associated projective rspace which contains \(\mathbb {A}^r_\mathbf {t}\) as a standard open subset. In other words, one has a canonical open embedding \(\mathbb {A}^r_\mathbf {t}\hookrightarrow \mathbb {P}^r_\mathbf {t}\), and the function field of \(\mathbb {A}^r_\mathbf {t}\) and/or \(\mathbb {P}^r_\mathbf {t}\) can be canonically identified with the rational function field \(k(\mathbf {t})\) generated by \(\mathbf {t}\).
We will also identify the closed points of \(\mathbb {A}^r_\mathbf {t}\) resp. \(\mathbb {P}^r_\mathbf {t}\) with the set \(\mathbb {A}^r_\mathbf {t}(k) = k^r\) resp. \(\mathbb {P}^r_\mathbf {t}(k) = (k^{r+1} {{\smallsetminus }} \{0\})/k^\times \) of krational points. We will use affine coordinates \((a_1,\ldots ,a_r)\) to denote elements of \(\mathbb {A}^r_\mathbf {t}(k) = k^r\), and we will use homogeneous coordinates \((a_0:\cdots :a_r)\) to denote elements of \(\mathbb {P}^r_\mathbf {t}(k) = (k^{r+1} {{\smallsetminus }} \{0\})/k^\times \). In particular, we identify \(\mathbb {A}^r_\mathbf {t}(k) = k^r\) with the elements of the form \((1:a_1:\cdots :a_r)\) in \(\mathbb {P}^r_\mathbf {t}(k) = (k^{r+1} {{\smallsetminus }} \{0\})/k^\times \).
Since we will consider various representations of \({{{\mathrm{Gal}}}_{k_0}}\), in order to simplify the notation, we will denote all such representations by \(\rho _{k_0}\) if no confusion is possible. This convention holds in particular for the representations \(\rho ^c_{k_0,*}\) (\(* = X,\mathcal {V},K_0\)) and \(\rho ^\mathrm{M}_{k_0,K_0}\), which were defined in Sect. 1. We will also use this implicit terminology when describing the compatibility of certain morphisms with \(\rho _{k_0}\). To be precise, if \(\bullet ,\circ \) are two objects endowed with two \({{{\mathrm{Gal}}}_{k_0}}\)representations \(\rho _{k_0} : {{{\mathrm{Gal}}}_{k_0}}\rightarrow {{\mathrm{Aut}}}(\bullet )\) resp. \(\rho _{k_0} : {{{\mathrm{Gal}}}_{k_0}}\rightarrow {{\mathrm{Aut}}}(\circ )\), we say that a morphism \(f : {{\mathrm{Aut}}}(\bullet ) \rightarrow {{\mathrm{Aut}}}(\circ )\) of automorphism groups is compatible with \(\rho _{k_0}\) provided that the following diagram commutes:
Furthermore, we will say that an element \(\sigma \in {{\mathrm{Aut}}}(\bullet )\) arises from \({{{\mathrm{Gal}}}_{k_0}}\) if \(\sigma \) is in the image of \(\rho _{k_0}\). If we wish to make precise the element \(\tau \in {{{\mathrm{Gal}}}_{k_0}}\) which maps to this \(\sigma \), we will say that \(\sigma \) is defined by \(\tau \).
Some of the proofs in this paper are fairly technical, although the overall idea is quite natural, and can be briefly described using the following three key steps:

(1)
First, reduce all the main theorems to Theorem D.

(2)
Second, prove that any element of \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) induces an automorphism of a certain lattice \({\mathbb {G}^*(Kk)}\) which is of geometric origin. This step is the most difficult and takes up the majority of the paper.

(3)
Finally, we use an analogue of the Fundamental Theorem of Projective Geometry for this lattice \(\mathbb {G}^*(Kk)\), to deduce that any element of \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) arises in a unique way from \({{{\mathrm{Gal}}}_{k_0}}\). This analogue of the fundamental theorem of projective geometry comes from the work of Evans–Hrushovski [8, 9] and Gismatullin [14], and it relies on the socalled groupconfiguration theorem from geometric stability theory.
For the sake of the reader, we now provide a fairly detailed summary of the proofs of the main theorems, to act as a guide for reading the details which are found in the body of the paper.
Reduction to Theorem A
In the terminology introduced above, suppose that \(\mathcal {U}_X\) and \(\mathcal {U}_Y\) are birational systems for X resp. Y. Furthermore, suppose that \(\mathcal {U}_X\) dominates \(\mathcal {U}_Y\) in \(\mathcal {V}\). Note that any element \(\phi \) of \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})\) defines an element of \(\phi _{\mathcal {U}_X} \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_{\mathcal {U}_X})\) and an element of \(\phi _{\mathcal {U}_Y} \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_{\mathcal {U}_Y})\) by restriction. The condition that \(\mathcal {U}_X\) dominates \(\mathcal {U}_Y\) implies the following property: If \(\phi _{\mathcal {U}_X}\) is defined by \(\tau \in {{{\mathrm{Gal}}}_{k_0}}\), then \(\phi _{\mathcal {U}_Y}\) is defined by \(\tau \) as well. The “5connectedness” assumption on \(\mathcal {V}\) is then used to reduce Theorem B to Theorem A.
Reduction to Theorem C
Let X be a normal \(k_0\)variety with \(K = k(X)\), and let \(\mathcal {U}\) be a birational system of X. By passing to the projective limit over \(\mathcal {U}\), one obtains a canonical injective map
Given a finite tuple \(\mathbf {a}\) of elements of \(k_0^\times \), this injective map above induces a map
by first restricting to \(\mathcal {U}\), then taking projective limits over \(\mathcal {U}\). This induced map turns out to be injective as well, as long as \(\dim \mathcal {U}\ge 2\). Since this injection is compatible with \(\rho _{k_0}\), we see that Theorem A follows from Theorem C.
Reduction to Theorem D
Kummer theory yields a canonical perfect pairing
Moreover, using the wellknown duality between \({\text {H}}^2(\mathcal {G}_K^c,\mathbb {Z}/\ell )\) and the relations in a minimal free presentation of \(\mathcal {G}_K^c\) (in the category of pro\(\ell \) groups), along with the fact that cupproducts correspond to commutators in this duality, it is then a consequence of the Merkurjev–Suslin Theorem [22] that one has a canonical isomorphism
This isomorphism is obtained by dualizing an automorphism of \(\mathcal {G}_K^a\), via the Kummer pairing above, to obtain an automorphism of \({\text {k}}^\mathrm{M}_1(K)\). Although the isomorphism above is not compatible with \(\rho _{k_0}\) exactly (since we didn’t introduce the appropriate cyclotomic twist), the induced isomorphism
is actually compatible with \(\rho _{k_0}\). See Theorem 4.2. By Kummer theory, it follows that the isomorphism above restricts to an isomorphism
which is again compatible with \(\rho _{k_0}\). Thus, Theorem C is equivalent to Theorem D.
The mod\(\ell \) geometric lattice
The primary focus of the proof of Theorem D is to show that an element \(\phi \in \underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) induces an automorphism of a certain graded lattice
which is contained in the lattice of subgroups of \({\text {k}}^\mathrm{M}_1(K)\). The elements of \(\mathfrak {G}^*(Kk)\) are the geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\), as introduced above, and the grading is induced by the socalled Milnordimension of subsets of \({\text {k}}^\mathrm{M}_1(K)\). Moreover, as a consequence of the construction, it will also follow that such an induced automorphism of \(\mathfrak {G}^*(Kk)\) fixes all geometric subgroups which arise from \(K_0k_0\). We denote the collection of all such automorphisms of \(\mathfrak {G}^*(Kk)\) by \({{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk)K_0)\).
We show in Proposition 7.3 that the map \(\mathbb {K}(S) \mapsto \mathfrak {K}(S)\) (see the notation introduced above) induces an isomorphism of graded lattices \(\mathbb {G}^*(Kk) \cong \mathfrak {G}^*(Kk)\), where \(\mathbb {G}^*(Kk)\) is the lattice of relativelyalgebraically closed subextensions of Kk graded by transcendence degree. Thus, any element of \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) will define an automorphism of \(\mathbb {G}^*(Kk)\) which fixes subextensions arising from \(K_0k_0\). We then use the results of Evans–Hrushovski [8, 9] and Gismatullin [14] to show that any such automorphism of \(\mathbb {G}^*(Kk)\) arises from some element of \({{{\mathrm{Gal}}}_{k_0}}\). See Theorem 7.1, Proposition 7.2 and Corollary 7.4 for more details.
Generic generators of \(\mathfrak {G}^*(Kk)\)
The idea of the proof is to “produce” elements of \(\mathfrak {G}^*(Kk)\), i.e. geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\), using the “given” data of the mod\(\ell \) Milnor Kring \({\text {k}}^\mathrm{M}_*(K)\) endowed with some extra structure which is compatible with all automorphisms in \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\), and also to ensure that this process is compatible with such automorphisms. The reconstruction process of \(\mathfrak {G}^*(Kk)\) relies on a certain “closure operation” called the Milnor Supremum, which takes place entirely in the ring \({\text {k}}^\mathrm{M}_*(K)\), and which takes in a set of geometric subgroups as an input and returns a geometric subgroup as an output.
The fact that this closure operation produces geometric subgroups follows from some explicit vanishing and nonvanishing results in \({\text {k}}^\mathrm{M}_*(K)\). The vanishing results say that \({\text {k}}^\mathrm{M}_*(K) = 0\) for \(* > {{\mathrm{tr.deg}}}(Kk)\), and this follows from wellknown cohomological dimension calculations of K and the Bloch–Kato conjecture, which is now a theorem of VoevodskyRost et al. [31, 37, 39]. The nonvanishing results say that there are “many” elements of \({\text {k}}^\mathrm{M}_1(K)\) which have nontrivial products. The “many” above refers to the fact that these nonvanishing results all involve some open condition on some model of Kk (or some subextension of Kk) which is usually the complement of some branch locus.
Fixing elements of \(\mathfrak {G}^*(Kk)\) which arise from \(K_0\)
The fact that an automorphism \(\sigma \in \underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) is compatible with the tuple \(\mathbf {a}\) implies that \(\sigma \) fixes the elements of \(\mathfrak {G}^1(Kk)\) which come from \(K_0\). Applying the “closure operation” described above shows that \(\sigma \) fixes all of the elements of \(\mathfrak {G}^*(Kk)\) which come from \(K_0\). However, this is still very far from what we need, because at this point there is absolutely nothing we can “construct/produce” which is moved around by the action of \({{{\mathrm{Gal}}}_{k_0}}\).
Fixing elements of \(K_0^\times \)
A key step in the proof is to show that any element of \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) has a representative \(\sigma \in {{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) such that \(\sigma \{x\}_K = \{x\}_K\) for all \(x \in K_0^\times \). To show this, we introduce the concept of a stronglygeneral element of Kk, which is related to the concept of a general element from [27, 28] but has further assumptions. Another key input comes from the local theory in abelianbycentral birational anabelian geometry for function fields over algebraically closed fields. In this context, the local theory says that \(\sigma \) is compatible with quasidivisorial valuations. But using the previous step, one can show that \(\sigma \) is actually compatible with divisorial valuations. The literature concerning the local theory in abelianbycentral birational anabelian geometry is quite rich, and it includes the following works among others [4, 21, 25, 26, 33, 36]. See the introduction of [36] for a detailed overview of the history of the local theory.
To show that \(\sigma \in \underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) fixes elements from \(K_0^\times \), we first show this for elements of \(K_0^\times \) which are stronglygeneral in Kk, and this uses the local theory in an essential way. To deduce that \(\sigma \) fixes all elements arising from \(K_0^\times \), we prove a BirationalBertini type result for stronglygeneral elements, which shows that there are “sufficiently many” stronglygeneral elements in higherdimensional function fields.
The base case
By using our “closure operation” described above, in order to show that \(\sigma \in \underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) induces an automorphism of the lattice \(\mathfrak {G}^*(Kk)\), it suffices to show that \(\sigma \) induces a permutation of \(\mathfrak {G}^1(Kk)\), the set of 1dimensional geometric subgroups. Using the notation introduced above, a onedimensional geometric subgroup is a subgroup of \({\text {k}}^\mathrm{M}_1(K)\) which is of the form \(\mathfrak {K}(t)\) for some \(t \in K^\times {{\smallsetminus }} k^\times \). Note that every element \(t \in K = K_0 \otimes _{k_0} k\) can be written as a sum \(a_0 x_0 + \cdots + a_r x_r\) for some \(x_i \in K_0\) and \(a_i \in k\). The proof now proceeds by induction on the length r of such an expression. The case \(r = 0\) was discussed above, and so the base case for the induction is \(r = 1\).
The base case works as follows. Using the concept of essential ramification, we show that there are “many” elements of the form \(x_0 + a_1 x_1\) with \(x_i \in K_0\) and \(a_i \in k\) which are “acceptable” with respect to \(\sigma \). The term “acceptable” means that there exists some \(t \in K\) such that \(\sigma \) sends the geometric subgroup associated to \(x_0 + a_1 x_1\) to the geometric subgroup associated to t. As before, the term “many” is related to a precise open condition on a certain model of a subextension of Kk, with the condition being related to the essential branch locus.
Once we have “many” acceptable elements of the form \(x_0 + a_1 x_1\), we use the “yoga” of the “generic generators” mentioned above to show that all pairs \((t_0,t_1)\), with \(t_0 \in K_0\) and \(t_1 = a_0 x_0 + a_1 x_1\), \(x_i \in K_0\), \(a_i \in k\), are acceptable with respect to \(\sigma \) (acceptability is defined similarly for pairs as it was for elements of K). We then take appropriate intersections of certain twodimensional geometric subgroups to deduce that every element of the form \(a_0 x_0 + a_1 x_1\) is acceptable.
Inductive case
To conclude the proof, one proceeds by induction on r as above, with the inductive hypothesis being that every element of K of the form \(a_0 x_0 + \cdots + a_s x_s\) with \(s < r\), \(x_i \in K_0\), \(a_i \in k\), is acceptable with respect to \(\sigma \). The proof is now similar in nature to the proof of the base case. Indeed, first we show that pairs of certain elements are acceptable, then take intersections of certain twodimensional geometric subgroups to deduce that all elements of the form above are acceptable.
Concluding the proof
The argument outlined above shows that \(\sigma \in \underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) induces a permutation of \(\mathfrak {G}^1(Kk)\). Since \(\sigma \) is compatible with the “closure operation” described above, it follows that \(\sigma \) induces an automorphism of the lattice \(\mathfrak {G}^*(Kk)\). Namely, one obtains a canonical homomorphism \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K)) \rightarrow {{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk)K_0) \subset {{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk))\). On the other hand, we prove that the map \({{{\mathrm{Gal}}}_{k_0}}\rightarrow {{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk)K_0)\) is an isomorphism by using the results of Evans–Hrushovski [8, 9] and Gismatullin [14], as noted above. Thus, to conclude the proof of Theorem D, it remains to show that the map
is injective. The argument here again uses the theory of stronglygeneral elements.
Indeed, any element \(\sigma \) in the kernel of the map above must fix all geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\). First, we show this implies that the restriction of \(\sigma \) to any stronglygeneral geometric subgroup looks like some element of \((\mathbb {Z}/\ell )^\times \cdot \mathbf {1}\). Finally, one uses a BirationalBertini type argument again to deduce that \(\sigma \) is indeed an element of \((\mathbb {Z}/\ell )^\times \cdot \mathbf {1}_{{\text {k}}^\mathrm{M}_1(K)}\). This thereby proves the injectivity of the map above, hence concluding the proof of Theorem D.
Milnor Ktheory
Let F be a field. We recall that the rth Milnor Kgroup of F is defined as follows:
The tensor product makes \({\text {K}}^\mathrm{M}_*(F) {:}{=}\, \bigoplus _{r \ge 0} {\text {K}}^\mathrm{M}_r(F)\) into a gradedcommutative algebra over the ring \(\mathbb {Z}= {\text {K}}^\mathrm{M}_0(F)\), and we call \({\text {K}}^\mathrm{M}_*(F)\) the Milnor Kring of F. It is customary to denote the product of \(a_1,\ldots ,a_r \in {\text {K}}^\mathrm{M}_1(F) = F^\times \) in this ring by \(\{a_1,\ldots ,a_r\}\).
We will use the standard notation \({\text {k}}^\mathrm{M}_r(F) {:}{=}\, {\text {K}}^\mathrm{M}_r(F)/\ell \) and call \({\text {k}}^\mathrm{M}_r(F)\) the rth mod\(\ell \) Milnor Kgroup of F. As with \({\text {K}}^\mathrm{M}_*(F)\), the tensor product makes \({\text {k}}^\mathrm{M}_*(F) {:}{=}\, \bigoplus _{r \ge 0} {\text {k}}^\mathrm{M}_r(F)\) into a graded commutative algebra over \({\text {k}}^\mathrm{M}_0(F) =\mathbb {Z}/\ell \), and we call \({\text {k}}^\mathrm{M}_*(F)\) the mod\(\ell \) Milnor Kring of F. Given r elements \(a_1,\ldots ,a_r\) of \({\text {k}}^\mathrm{M}_1(F) = F^\times /\ell \), we will denote their product in \({\text {k}}^\mathrm{M}_*(F)\) by
For \(b_1,\ldots ,b_r \in {\text {K}}^\mathrm{M}_1(F) = F^\times \), we will abuse the notation and write
In particular, \(\{\bullet \}_F\) denotes the canonical projection \(F^\times \twoheadrightarrow F^\times /\ell = {\text {k}}^\mathrm{M}_1(F)\).
Note that \({\text {k}}^\mathrm{M}_*(F)\) is functorial in F. The notation \(\{\bullet ,\ldots ,\bullet \}_F\) will also be used to indicate this functoriality. Namely, if \(b_1,\ldots ,b_r \in F^\times \) are given, and \(F \hookrightarrow L\) is a field extension, then \(\{b_1,\ldots ,b_r\}_L\) denotes the image of \(\{b_1,\ldots ,b_r\}_F\) under the canonical map \({\text {k}}^\mathrm{M}_r(F) \rightarrow {\text {k}}^\mathrm{M}_r(L)\).
Purely inseparable extensions
We will frequently reduce some arguments concerning finite field extensions to the case where the extension is separable. This will be possible because a purelyinseparable extension of fields of characteristic \(\ne \ell \) induces an isomorphism on the mod\(\ell \) Milnor Kring which is also compatible with valuations, as the following two lemmas show.
Lemma 3.1
Let LF be a finite and purely inseparable extension of fields, such that \({{\mathrm{Char}}}F \ne \ell \). Then the canonical map \({\text {k}}^\mathrm{M}_*(F) \rightarrow {\text {k}}^\mathrm{M}_*(L)\) is an isomorphism for all \(* \ge 0\).
Proof
Put \(p = {{\mathrm{Char}}}F\) and assume that \(p > 0\). Since L is finite and purely inseparable over F, one has \(L \subset F^{1/p^n}\) for sufficiently large n. Since p is invertible in \(\mathbb {Z}/\ell \), the canonical map \({\text {k}}^\mathrm{M}_*(F) \rightarrow {\text {k}}^\mathrm{M}_*(F^{1/p^n})\) is an isomorphism. As this map factors through \({\text {k}}^\mathrm{M}_*(L)\), we deduce that the map \({\text {k}}^\mathrm{M}_*(F) \rightarrow {\text {k}}^\mathrm{M}_*(L)\) is injective. To deduce that \({\text {k}}^\mathrm{M}_*(F) \rightarrow {\text {k}}^\mathrm{M}_*(L)\) is also surjective, it suffices to prove that \({\text {k}}^\mathrm{M}_*(L) \rightarrow {\text {k}}^\mathrm{M}_*(F^{1/p^n})\) is injective.
For any \(\eta \) in the kernel of \({\text {k}}^\mathrm{M}_*(L) \rightarrow {\text {k}}^\mathrm{M}_*(F^{1/p^n})\), there exists some intermediate extension M of \(F^{1/p^n}L\) such that ML is finite and such that \(\eta \) is in the kernel of \({\text {k}}^\mathrm{M}_*(L) \rightarrow {\text {k}}^\mathrm{M}_*(M)\). But such a subextension ML is purely inseparable, so the argument above shows that \(\eta = 0\). Thus \({\text {k}}^\mathrm{M}_*(L) \rightarrow {\text {k}}^\mathrm{M}_*(F^{1/p^n})\) is injective, as required. \(\square \)
Lemma 3.2
Let (L, w)(F, v) be a finite and purely inseparable extension of valued fields, such that \({{\mathrm{Char}}}F \ne \ell \). Then the canonical map \({\text {k}}^\mathrm{M}_1(F) \rightarrow {\text {k}}^\mathrm{M}_1(L)\) restricts to an isomorphism \({\{\mathrm{U}_v\}_F \xrightarrow {\cong } \{\mathrm{U}_w\}_L}\).
Proof
Put \(p = {{\mathrm{Char}}}F\) and assume that \(p > 0\). Since LF is purely inseparable, the index [wL : vF] is a power of p. Therefore, the canonical map \(vF/\ell \rightarrow wL/\ell \) is an isomorphism. Next, note that one has a commutative diagram with exact rows
As indicated on the diagram, the middle vertical arrow is an isomorphism by Lemma 3.1, and the right vertical map is an isomorphism as noted above. It follows that the left vertical map is also an isomorphism, as required. \(\square \)
Tame symbols
Suppose that (F, v) is a discretely valued field of rank 1, so that one has \(vF \cong \mathbb {Z}\). We recall that the (rth) tame symbol associated to v is a morphism \(\{\bullet \}^v_F : {\text {k}}^\mathrm{M}_{r+1}(F) \rightarrow {\text {k}}^\mathrm{M}_r(Fv)\) which is uniquely defined by the condition
where \(\pi \) is any uniformizer of v (i.e. \(v(\pi ) = 1\)), the elements \({u_1,\ldots ,u_r \in \mathrm{U}_v}\) are vunits, and \(\bar{u}_i\) denotes the image of \(u_i\) in \((Fv)^\times \).
We will primarily use tame symbols to prove that the mod\(\ell \) Milnor Kring of a function field contains many nontrivial elements. Most such “nonvanishing” results will essentially follow from the following fact concerning the field of Laurent series.
Fact 3.3
Let F be any field, and let \(t_1,\ldots ,t_d\) be algebraically independent indeterminants over F. Consider the field of Laurent series \(L = F((t_1,\ldots ,t_d))\) over F. Let \(f_0\) be a nontrivial element of \({\text {k}}^\mathrm{M}_r(F)\) for some \(r \ge 0\), and let \(f {:}{=}\, \{f_0\}_L\) denote the image of \(f_0\) in \({\text {k}}^\mathrm{M}_r(L)\). Then the product
is nontrivial in \({\text {k}}^\mathrm{M}_{r+d}(L)\).
Proof
Note that we have an Fembedding of L into
so it suffices to prove that \(\{t_1,\ldots ,t_d,f\}_{L'}\) is nontrivial in \({\text {k}}^\mathrm{M}_{r+d}(L')\). We proceed to prove this by induction on d, with the base case \(d = 0\) being trivial. For the inductive case, let v be the \(t_1\)adic valuation on \(L'\). Then the residue field of v can be canonically identified with \(F((t_d))\cdots ((t_2)) =: M\) via the obvious map sending \({t_i \in \mathrm{U}_v}\) to \(t_i \in M\) for \(i \ge 2\). Finally, applying the tame symbol associated to v, we obtain
by the inductive hypothesis. Hence \(\{t_1,\ldots ,t_d,f\}_{L'} \ne 0\), as required. \(\square \)
Galois cohomology
In this section, we recall the basic framework which allows us to translate back and forth between the “Galois” context (i.e. mod\(\ell \) abelianbycentral Galois groups) and the “Milnor” context (i.e. mod\(\ell \) Milnor Krings) by using Kummer theory. This theory is moreorless well known, as it follows from the fact that \({\text {H}}^2\) of a pro\(\ell \) group is “dual” to the relations in a minimal free presentation of the group, while the cup product in \({\text {H}}^*\) is “dual” to the commutator \([\bullet ,\bullet ]\) as defined in Sect. 1.4.
The essential calculations concerning cup products and commutators were first carried out by Labute [17] (see also [23, §3.9]). These calculations have seen a recent resurgence of interest in [5, 10, 12, 35], especially in connection with the Merkurjev–Suslin Theorem [22] and the Bloch–Kato conjecture, which is now a theorem of VoevodskyRost et al. [31, 37, 39]. The Merkurjev–Suslin Theorem is sufficient for our considerations here. In fact, the discussion in this section can be seen as a summary of [34, §8], appropriately translated to the context of this paper.
First we introduce a bit of notation. We let \({\text {H}}^* = {\text {H}}^*_{\mathrm{cont}}\) denote continuouscochain groupcohomology. For a pro\(\ell \) group \(\mathcal {G}\), we write \({\text {H}}^*(\mathcal {G}) {:}{=}\, {\text {H}}^*(\mathcal {G},\mathbb {Z}/\ell )\), but we will specify the coefficient module if it is different from \(\mathbb {Z}/\ell \). We will denote the decomposable part of \({\text {H}}^*(\mathcal {G})\) by \({\text {H}}^*(\mathcal {G})_{\mathrm{dec}}\). We will only need to consider \({\text {H}}^2(\mathcal {G})_{\mathrm{dec}}\), which is defined as the image of the cupproduct map
Also, recall that the Bockstein morphism, denoted \(\beta : {\text {H}}^1(\mathcal {G}) \rightarrow {\text {H}}^2(\mathcal {G})\), is the connecting morphism in the long exact sequence associated to the short exact sequence of coefficient modules \(0 \rightarrow \mathbb {Z}/\ell \rightarrow \mathbb {Z}/\ell ^2 \rightarrow \mathbb {Z}/\ell \rightarrow 0.\)
Finally, recall that for a field F, we let \(\mathcal {G}_F\) denote the maximal pro\(\ell \) quotient of \({{\mathrm{Gal}}}_F\). Most of the general results we say in this section hold true for general fields F such that \({{\mathrm{Char}}}F \ne \ell \) and \(\mu _\ell \subset F\). However, in order to simplify the discussion, we will restrict our attention to the function field Kk which is the main focus of the paper.
Generalities on cohomology of pro\(\ell \) groups
In this subsection we summarize the basic connection between the grouptheoretical structure of a pro\(\ell \) group \(\mathcal {G}\) and the mod\(\ell \) cohomology of its various quotients. We will use the notation introduced in Sect. 1.4. First of all, recall that the inflation map induces canonical isomorphisms
We will tacitly identify these three cohomology groups. Since \({\text {H}}^1(\mathcal {G}^a) = {{\mathrm{Hom}}}(\mathcal {G}^a,\mathbb {Z}/\ell )\), the definition of \(\mathcal {G}^{(2)}\) implies that \(\mathcal {G}^a\) and \({\text {H}}^1(\mathcal {G}^a)\) are in perfect \(\mathbb {Z}/\ell \)duality. This perfect duality thereby induces a perfect pairing
in the usual way.
Next, recall that the Lyndon–Hochschild–Serre (LHS) spectral sequence
induces a canonical exact sequence:
where \(d_2\) is the differential on the \(\mathrm{E}_2\)page of the spectral sequence and \({\text {H}}^2(\mathcal {G}^a) \rightarrow {\text {H}}^2(\mathcal {G})\) is the canonical inflation map. Moreover, since \(\mathcal {G}^c = \mathcal {G}/\mathcal {G}^{(3)}\) is a central extension of \(\mathcal {G}^a\) by \(\mathcal {G}^{(2)}/\mathcal {G}^{(3)}\), we see that the image of the canonical injective inflation map \({\text {H}}^1(\mathcal {G}^{(2)}/\mathcal {G}^{(3)}) \rightarrow {\text {H}}^1(\mathcal {G}^{(2)})\) is contained in the \(\mathcal {G}\)invariants \({\text {H}}^1(\mathcal {G}^{(2)})^\mathcal {G}\). We will henceforth identify \({\text {H}}^1(\mathcal {G}^{(2)}/\mathcal {G}^{(3)})\) with its isomorphic image in \({\text {H}}^1(\mathcal {G}^{(2)})^\mathcal {G}\). Using the discussion and notation introduced above, the following fact summarizes the general grouptheoretical properties which we will need.
Fact 4.1
The following hold:

(1)
The preimage of \({\text {H}}^2(\mathcal {G}^a)_{\mathrm{dec}}\) under the map \(d_2 : {\text {H}}^1(\mathcal {G}^{(2)})^\mathcal {G}\rightarrow {\text {H}}^2(\mathcal {G}^a)\) is precisely \({\text {H}}^1(\mathcal {G}^{(2)}/\mathcal {G}^{(3)})\).

(2)
The cup product induces a canonical isomorphism \(\wedge ^2({\text {H}}^1(\mathcal {G}^a)) \rightarrow {\text {H}}^2(\mathcal {G}^a)/\beta {\text {H}}^1(\mathcal {G}^a)\).

(3)
Identify \({\text {H}}^2(\mathcal {G}^a)/\beta {\text {H}}^1(\mathcal {G}^a)\) with \(\wedge ^2({\text {H}}^1(\mathcal {G}^a))\) using the isomorphism from (2) above. Then the map
$$\begin{aligned}{}[\bullet ,\bullet ] : \widehat{\wedge }^2(\mathcal {G}^a) \rightarrow \mathcal {G}^{(2)}/\mathcal {G}^{(3)} \end{aligned}$$is \(\mathbb {Z}/\ell \)dual (hence Pontryagindual) to the map
$$\begin{aligned} {\text {H}}^1(\mathcal {G}^{(2)}/\mathcal {G}^{(3)}) \xrightarrow {d_2} {\text {H}}^2(\mathcal {G}^a) \twoheadrightarrow {\text {H}}^2(\mathcal {G}^a)/\beta {\text {H}}^1(\mathcal {G}^a) = \wedge ^2({\text {H}}^1(\mathcal {G}^a)). \end{aligned}$$
Proof
See [34, Lemma 8.2] for assertion (1). Assertion (2) follows from the Künneth formula along with the fact that \(\mathcal {G}^a\) is isomorphic to a direct power of \(\mathbb {Z}/\ell \); see [34, Fact 8.1] and the surrounding discussion for more details.
Assertion (3) is the standard “duality” between the commutator and the cupproduct. This “duality” has been wellknown for some time (see e.g. [23, Proposition 3.9.13]), but [35, Theorem 2] can also be used as a reference. See [34, Fact 8.3] for more details. \(\square \)
Kummer theory
Recall that Kummer theory yields a canonical perfect pairing
which is defined by \((\sigma ,\{x\}_K) \mapsto \sigma (\root \ell \of {x})/\root \ell \of {x}\). For an automorphism \(\phi \) of \({\text {k}}^\mathrm{M}_1(K)\), we denote by \(\phi ^*\) the automorphism of \(\mathcal {G}_K^a\) which is dual to \(\phi \) via the pairing above. This perfect duality yields a canonical isomorphism of automorphism groups
which is given by mapping \(\phi \in {{\mathrm{Aut}}}(\mathcal {G}_K^a)\) to \((\phi ^{1})^*\). This isomorphism further induces a canonical isomorphism on \((\mathbb {Z}/\ell )^\times \)classes of automorphism groups
These isomorphisms are actually compatible with the Galois action, once we introduce the appropriate twist. Hence the last isomorphism is exactly compatible with \(\rho _{k_0}\). To make things precise, let \(\chi _\ell : {{{\mathrm{Gal}}}_{k_0}}\rightarrow \mathbb {Z}_\ell ^\times \) denote the \(\ell \)adic cyclotomic character of the base field \(k_0\). We can then define the ith cyclotomic twist \(\rho _{k_0}(i)\) of the representation
in the obvious way, as \(\rho _{k_0}(i)(\tau ) = \chi _\ell (\tau )^i \cdot \rho _{k_0}(\tau )\). Next, recall that Kummer theory produces a canonical isomorphism
which is compatible with the action of \({{{\mathrm{Gal}}}_{k_0}}\). It therefore follows that the following diagram commutes
because we introduced the appropriate cyclotomic twist. But the definition of \(\rho _{k_0}(*)\) ensures that the induced isomorphism
is compatible with \(\rho _{k_0}\) since the cyclotomic twist becomes completely irrelevant after modding out by \((\mathbb {Z}/\ell )^\times \).
Galois versus Milnor
With this discussion, we may now present the main theorem of this section which allows us to pass back and forth between the Galoissetting and the Milnorsetting. The following theorem is essentially a grouptheoretical interpretation of the Merkurjev–Suslin Theorem [22].
Theorem 4.2
The following hold:

(1)
Let \(\phi \in {{\mathrm{Aut}}}({\text {k}}^\mathrm{M}_1(K))\) be given and consider \(\phi ^* \in {{\mathrm{Aut}}}(\mathcal {G}_K^a)\) the Kummerdual of \(\phi \). Then one has \(\phi \in {{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) if and only if \(\phi ^* \in {{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\).

(2)
The canonical isomorphism \(\mathcal {K}: {{\mathrm{Aut}}}(\mathcal {G}_K^a) \xrightarrow {\cong } {{\mathrm{Aut}}}({\text {k}}^\mathrm{M}_1(K))\) restricts to an isomorphism \(\mathcal {K}: {{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a) \xrightarrow {\cong } {{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\).

(3)
The canonical isomorphism \(\mathcal {K}: \underline{{{\mathrm{Aut}}}}(\mathcal {G}_K^a) \xrightarrow {\cong } \underline{{{\mathrm{Aut}}}}({\text {k}}^\mathrm{M}_1(K))\) restricts to an isomorphism \(\mathcal {K}: \underline{{{\mathrm{Aut}}}}^\mathrm{c}(\mathcal {G}_K^a) \xrightarrow {\cong } \underline{{{\mathrm{Aut}}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) which is compatible with \(\rho _{k_0}\).
Concerning the proof of Theorem 4.2, the implication \((1) \Rightarrow (2)\) is clear, while the implication \((2) \Rightarrow (3)\) follows from the observations about cyclotomic twists made above. It therefore remains to prove assertion (1), which was essentially already proven in [34, Theorem 8.6]; alternatively, one can deduce (1) from the main results of [35]. We give a summary of the proof of Theorem 4.2 below. First, we need to recall some calculations in Galois cohomology.
Fact 4.3
The following hold:

(1)
The Bockstein morphism \(\beta : {\text {H}}^1({{\mathrm{Gal}}}_K) \rightarrow {\text {H}}^2({{\mathrm{Gal}}}_K)\) is trivial.

(2)
The inflation map \({\text {H}}^*(\mathcal {G}_K) \rightarrow {\text {H}}^*({{\mathrm{Gal}}}_K)\) is an isomorphism for \(* = 0,1,2\).
Proof
Assertion (2) is clear for \(* = 0,1\), and for \(* = 2\) it follows by considering the LHS spectral sequence associated to the extension
See [34, Fact 8.4] for the details. Assertion (1) follows from the fact that \(\mu _{\ell ^2} \subset K\); see [34, Lemma 8.5] for the details. \(\square \)
Proof of Theorem 4.2
As noted above, it suffices to prove assertion (1) as assertions (2) and (3) follow from this. First, note that the Kummer pairing canonically induces a perfect pairing
Let \(\mathcal {R}(\mathcal {G}_K)\) denote the kernel of the map
Since \({\text {k}}^\mathrm{M}_*(K)\) is a quadratic \(\mathbb {Z}/\ell \)algebra, in order to prove assertion (1), it suffices to prove that the dual of the inclusion \(\mathcal {R}(\mathcal {G}_K) \hookrightarrow \widehat{\wedge }^2(\mathcal {G}_K^a)\) with respect to the pairing above is the (surjective) multiplication map
in the mod\(\ell \) Milnor Kring. This follows easily by combining Fact 4.1(3) with the Merkurjev–Suslin Theorem [22] and Fact 4.3, as follows.
First, since \(\mu _\ell \subset K\), we may simplify the notation and choose a fixed isomorphism \(\mu _\ell \cong \mathbb {Z}/\ell \) of \({{\mathrm{Gal}}}_K\)modules. In particular, we may identify \({\text {k}}^\mathrm{M}_1(K)\) with \({\text {H}}^1(\mathcal {G}_K^a) = {\text {H}}^1(\mathcal {G}_K)\) via the Kummer pairing, and \({\text {k}}^\mathrm{M}_2(K)\) with \({\text {H}}^2(\mathcal {G}_K)\) via the Merkurjev–Suslin Theorem [22] and Fact 4.3(2).
Next, recall from Fact 4.3 that the Bockstein morphism \(\beta : {\text {H}}^1(\mathcal {G}_K) \rightarrow {\text {H}}^2(\mathcal {G}_K)\) is trivial. Hence, the inflation map \({\text {H}}^2(\mathcal {G}_K^a) \rightarrow {\text {H}}^2(\mathcal {G}_K)\) factors through \({\text {H}}^2(\mathcal {G}_K^a)/\beta {\text {H}}^1(\mathcal {G}_K^a)\), which is isomorphic to \(\wedge ^2({\text {k}}^\mathrm{M}_1(K))\) by Fact 4.1 and our identification \({\text {H}}^1(\mathcal {G}_K^a) = {\text {k}}^\mathrm{M}_1(K)\) above.
Finally, using the LHS spectral sequence and the fact that \({\text {H}}^2(\mathcal {G}_K)_{\mathrm{dec}} = {\text {H}}^2(\mathcal {G}_K)\) by the Merkurjev–Suslin Theorem and Fact 4.3(2), we have a canonical short exact sequence
which induces an exact sequence
by Fact 4.1. Once we identify \({\text {H}}^1(\mathcal {G}_K^a)\) with \({\text {k}}^\mathrm{M}_1(K)\) and \({\text {H}}^2(\mathcal {G}_K)\) with \({\text {k}}^\mathrm{M}_2(K)\), the righthand map of this sequence is precisely the multiplication map. Finally, the dual of this sequence is precisely
by Fact 4.1(3). \(\square \)
The local theory
In this section, we recall the required results from the Local Theory in “almostabelian” anabelian geometry for function fields over algebraically closed fields. All such results have been generally stated for abelianbycentral Galois groups in the literature. But since we work primarily with the “Kummer dual” of this context, i.e. with the mod\(\ell \) Milnor Kring, we will need to translate these results to the context of Milnor Ktheory via Theorem 4.2.
Minimized Galois theory and Cpairs
For a field F, we define the \(\ell \)minimized Galois group of F as
endowed with its canonical structure of an abelian pro\(\ell \) group arising from the pointwise convergence topology. If \({{\mathrm{Char}}}F \ne \ell \) and \(\mu _\ell \subset F\), then Kummer theory together with a choice of isomorphism of \({{\mathrm{Gal}}}_F\)modules \(\mu _\ell \cong \mathbb {Z}/\ell \) induces canonically an isomorphism of pro\(\ell \) groups
However, the main benefit of working with the minimized context is that it applies also to fields of characteristic \(\ell \). Since we will need to consider valuations of K which a priori have residue characteristic \(\ell \), we must work in the minimized context.
A pair of elements \(\sigma ,\tau \in \mathfrak {g}(F)\) is called a Cpair provided that for all \(x \in F {\smallsetminus } \{0,1\}\), one has
If \(F_1,F_2\) are two fields and \(\phi : \mathfrak {g}(F_1) \rightarrow \mathfrak {g}(F_2)\) is an isomorphism of pro\(\ell \) groups, we say that \(\phi \) is compatible with Cpairs if, for all \(\sigma ,\tau \in \mathfrak {g}(F_1)\), the following are equivalent

(1)
\(\sigma ,\tau \) forms a Cpair in \(\mathfrak {g}(F_1)\).

(2)
\(\phi \sigma ,\phi \tau \) forms a Cpair in \(\mathfrak {g}(F_2)\).
In the case where \({{\mathrm{Char}}}F \ne \ell \) and \(\mu _{2\ell } \subset F\), it turns out that Cpairs can be determined in a Galoistheoretical manner, as the following fact describes. For a detailed proof of this fact, see [36, Theorem 12] and [35, Theorem 4].
Fact 5.1
Let F be a field such that \({{\mathrm{Char}}}F \ne \ell \) and \(\mu _{2\ell } \subset F\), and identify \(\mathfrak {g}(F)\) with \(\mathcal {G}_F^a\) via some isomorphism \(\mu _\ell \cong \mathbb {Z}/\ell \), as above. Let \(\sigma ,\tau \in \mathfrak {g}(F) = \mathcal {G}_F^a\) be given. Then the following are equivalent:

(1)
\(\sigma ,\tau \) form a Cpair.

(2)
One has \([\sigma ,\tau ] = 0\).
In particular, if \(\phi \) is an element of \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_F^a)\), then \(\phi \) is compatible with Cpairs.
Minimized decomposition theory
For a valuation v of F, we consider the minimized inertia and decomposition groups of v, which are defined as follows
Note that one has \({{\mathrm{I}}}_v \subset {{\mathrm{D}}}_v \subset \mathfrak {g}(F)\), and both \({{\mathrm{I}}}_v\) and \({{\mathrm{D}}}_v\) are closed subgroups of \(\mathfrak {g}(F)\).
For \(\sigma \in {{\mathrm{D}}}_v\), considered as a homomorphism \({\sigma : F^\times /\mathrm{U}_v^1 \rightarrow \mathbb {Z}/\ell }\), we write \(\sigma _v\) for the restriction of \(\sigma \) to \(\mathrm{U}_v/\mathrm{U}_v^1 = Fv^\times \). In particular, the map \(\sigma \mapsto \sigma _v\) yields a canonical morphism \({{\mathrm{D}}}_v \rightarrow \mathfrak {g}(Fv)\).
Fact 5.2
Let (F, v) be a valued field, and let w be a valuation of Fv. Then the following hold:

(1)
The canonical map \(\sigma \mapsto \sigma _v : {{\mathrm{D}}}_v \rightarrow \mathfrak {g}(Fv)\) induces an isomorphism \({{\mathrm{D}}}_v/{{\mathrm{I}}}_v \cong \mathfrak {g}(Fv)\).

(2)
One has \({{\mathrm{I}}}_v \subset {{\mathrm{I}}}_{w \circ v} \subset {{\mathrm{D}}}_{w \circ v} \subset {{\mathrm{D}}}_v\).

(3)
Identifying \({{\mathrm{D}}}_v/{{\mathrm{I}}}_v\) with \(\mathfrak {g}(Fv)\) as in (1), one has \({{\mathrm{D}}}_{w \circ v}/{{\mathrm{I}}}_v = {{\mathrm{D}}}_w\) and \({{\mathrm{I}}}_{w \circ v}/{{\mathrm{I}}}_v = {{\mathrm{I}}}_w\).
Proof
Assertion (2) is clear, while assertions (1) and (3) are [33, Lemma 2.1(1)(2)]. \(\square \)
It turns out that the Cpair condition in the minimized decomposition group of a valuation can actually be completely determined from the residue field. We summarize this property in the following fact.
Fact 5.3
Let (F, v) be a valued field and let \(\sigma ,\tau \in {{\mathrm{D}}}_v\) be given such that \(\sigma (1)=\tau (1) = 0\). Then the following are equivalent

(1)
\(\sigma ,\tau \) form a Cpair in \(\mathfrak {g}(F)\).

(2)
\(\sigma _v,\tau _v\) form a Cpair in \(\mathfrak {g}(Fv)\).
Proof
See [33, Lemma 2.1(3)]. \(\square \)
Quasidivisorial valuations
A valuation v of K is called a quasidivisorial valuation of Kk provided that v satisfies the following properties:

(1)
vK contains no nontrivial \(\ell \)divisible convex subgroups.

(2)
vK / vk is isomorphic to \(\mathbb {Z}\) as an abstract group.

(3)
\({{\mathrm{tr.deg}}}(Kk)1 = {{\mathrm{tr.deg}}}(Kvkv)\).
For a quasidivisorial valuation v of Kk, it turns out that the residue field Kv is a function field of transcendence degree \({{\mathrm{tr.deg}}}(Kk)1\) over kv (cf. [24, Fact 5.5]). In particular we can consider quasidivisorial valuations w of Kvkv as well, as long as \({{\mathrm{tr.deg}}}(Kvkv) = {{\mathrm{tr.deg}}}(Kk)1 \ge 1\). For \(r \le {{\mathrm{tr.deg}}}(Kk)\), we say that a valuation v is an r quasidivisorial valuation of Kk if v is the valuationtheoretic composition of r quasidivisorial valuations as described above.
We will sometimes want to keep track of each term in the composition defining an rquasidivisorial valuation. In such cases, we will generally consider the flag of quasidivisorial valuations:
associated to an rquasidivisorial valuation \(v_r\) of Kk. Namely, \(v_i/v_{i1}\) is a quasidivisorial valuation on \(Kv_{i1}kv_{i1}\) for all \(i = 1,\ldots ,r\); here and throughout, we write \(v_0\) for the trivial valuation so that \(Kv_0 = K\). In particular, for all \(i =1,\ldots ,r\), the valuation \(v_i\) is an iquasidivisorial valuation of Kk which refines \(v_{i1}\).
For any valuation v of K, recall that we write
This notation is compatible with the notation/terminology from Sect. 5.2, as follows. Under the Kummer pairing \(\mathcal {G}_K^a \times {\text {k}}^\mathrm{M}_1(K) \rightarrow \mu _\ell \), the subgroup \(\mathfrak {U}_v\) resp. \(\mathfrak {U}_v^1\) of \({\text {k}}^\mathrm{M}_1(K)\) is precisely the orthogonal to the minimized inertia group \({{\mathrm{I}}}_v\) resp. minimized decomposition group \({{\mathrm{D}}}_v\) of v.
The main results concerning the local theory (in the abelianbycentral setting) state that the minimized inertia and decomposition groups of rquasidivisorial valuations are preserved under the action of elements of \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\), and that the partially ordered structure of the associated valuations is preserved as well. We present the following theorem merely as a translation of these results which replaces \({{\mathrm{I}}}_v\) resp. \({{\mathrm{D}}}_v\) with \(\mathfrak {U}_v\) resp. \(\mathfrak {U}_v^1\), and \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) with \({{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\). The fact that elements of \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) preserve minimized decomposition/inertia groups of quasidivisorial valuations was first proven by Pop in [26], which uses the Galois context and the usual inertia/decomposition groups. Nevertheless, the key arguments from loc. cit. can be made to work in the minimized context as well. In any case, in order to keep things precise, we will instead use the reference [33] which uses the minimized context exclusively.
Theorem 5.4
Let \(\sigma \in {{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) be given. Then the following hold:

(1)
Let v be an rquasidivisorial valuation of Kk, with \(r < {{\mathrm{tr.deg}}}(Kk)\). Then there exists a unique rquasidivisorial valuation \(v^\sigma \) of Kk such that
$$\begin{aligned} \sigma \mathfrak {U}_v = \mathfrak {U}_{v^\sigma }, \ \ \sigma \mathfrak {U}_v^1 = \mathfrak {U}_{v^\sigma }^1. \end{aligned}$$ 
(2)
Let v be an rquasidivisorial valuation of Kk and w an squasidivisorial valuation of Kk, with \(r,s < {{\mathrm{tr.deg}}}(Kk)\), and let \(v^\sigma ,w^\sigma \) be as in (1) above. Then v is a coarsening of w if and only if \(v^\sigma \) is a coarsening of \(w^\sigma \).
Proof
Before we begin the proof, we choose an isomorphism \(\mu _\ell \cong \mathbb {Z}/\ell \) which will be fixed throughout, and which allows us to identify \(\mathcal {G}_K^a\) with \(\mathfrak {g}(K)\) by Kummer theory.
Proof of (1):
Let \(\sigma ^*\) denote the element of \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) which is the dual of \(\sigma \) under the Kummer pairing (see Theorem 4.2(1)). Recall that \(\mathfrak {U}_v\) resp. \(\mathfrak {U}_v^1\) is the orthogonal of \({{\mathrm{I}}}_v\) resp. \({{\mathrm{D}}}_v\) under this Kummer pairing
Therefore, it suffices to show that there exists an rquasidivisorial valuation \(v^\sigma \) such that
as the uniqueness of this \(v^\sigma \) will be discussed at the end of the proof.
Recall from Theorem 4.2(1) that \(\sigma ^*\) is compatible with \(\mathcal {R}\), hence \(\sigma ^*\) is compatible with Cpairs by Fact 5.1. The proof now proceeds by induction on r. The base case \(r = 1\) follows immediately from [33, Theorem D] and/or [26, Theorem 1].
The inductive case proceeds as follows. First, write an rquasidivisorial valuation v as \(v = w \circ w_0\) with \(w_0\) an \((r1)\)quasidivisorial valuation and w a quasidivisorial valuation of \(Kw_0kw_0\). By induction, there exists an \((r1)\)quasidivisorial valuation \(w_1 = w_0^\sigma \) such that
Thus, \(\sigma ^*\) induces an isomorphism
by Fact 5.2. Also, note that \({{\mathrm{tr.deg}}}(Kw_0kw_0) \ge 2\) by assumption. By Fact 5.3, this isomorphism \(\sigma ^* : \mathfrak {g}(Kw_0) \rightarrow \mathfrak {g}(Kw_1)\) is compatible with Cpairs. Using [33, Theorem D] again, it follows that there exists a quasidivisorial valuation \(w'\) of \(Kw_1kw_1\) such that \(\sigma ^* {{\mathrm{I}}}_w = {{\mathrm{I}}}_{w'}\) and \(\sigma ^* {{\mathrm{D}}}_w = {{\mathrm{D}}}_{w'}\). Letting \(v^\sigma {:}{=}\, w' \circ w_1\), it follows from Fact 5.2 that \(\sigma ^* {{\mathrm{I}}}_v = {{\mathrm{I}}}_{v^\sigma }\) and \(\sigma ^*{{\mathrm{D}}}_w = {{\mathrm{D}}}_{v^\sigma }\), as required.
Proof of (2):
Since vK and wK contain no nontrivial \(\ell \)divisible convex subgroups, it follows from [33, Lemma 3.1] or [36, Lemma 3.4] that v is a coarsening of w if and only if \({{\mathrm{I}}}_v \subset {{\mathrm{I}}}_w\). By assertion (1), this is true if and only if \({{\mathrm{I}}}_{v^\sigma } \subset {{\mathrm{I}}}_{w^\sigma }\), which is similarly equivalent to \(v^\sigma \) being a coarsening of \(w^\sigma \). This observation also implies that \(v^\sigma \) is uniquely determined by v and by \(\sigma \). \(\square \)
We will continue to use the notation \(v^\sigma \) which was implicitly introduced in Theorem 5.4. In other words, for an rquasidivisorial valuation v of Kk with \(r < {{\mathrm{tr.deg}}}(Kk)\), and \(\sigma \in {{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\), we denote by \(v^\sigma \) the unique rquasidivisorial valuation of Kk such that
Since \(v^\sigma \) is compatible with coarsening/refinement of v, we may also use this notation for flags of quasidivisorial valuations. Namely, if \((v_1,\ldots ,v_r)\) is a flag of quasidivisorial valuations of Kk, then \((v_1^\sigma ,\ldots ,v_r^\sigma )\) is again a flag of quasidivisorial valuations of Kk.
Divisorial valuations
An rquasidivisorial valuation is called rdivisorial provided that the restriction of v to k is trivial. As in the quasidivisorial setting, we may wish to consider a flag of divisorial valuations
where \(v_i/v_{i1}\) is a divisorial valuation of \(Kv_{i1}kv_{i1}\) for all \(i \ge 1\); as before, here \(v_0\) denotes the trivial valuation of K.
It turns out (using the valuative criterion for properness) that any divisorial valuation indeed arises from some Weilprimedivisor on some normal model of Kk. More generally, any rdivisorial valuation arises from a flag of Weilprimedivisors on some normal model. See [24, §5] for more details on this.
In general, it is still a major open question to determine which rquasidivisorial valuations are actually rdivisorial, using the grouptheoretical structure of \(\mathcal {G}_K^c\) resp. the ring structure of \({\text {k}}^\mathrm{M}_*(K)\). Nevertheless, in our context, we can use geometric subgroups (as defined in Sect. 2) which arise from \(K_0\) to distinguish the rdivisorial valuations among the rquasidivisorial ones. See also [26, Theorem 19] for a related result which uses a similar argument.
Proposition 5.5
Let v be an rquasidivisorial valuation of Kk, with \(r < {{\mathrm{tr.deg}}}(Kk)\). Then the following are equivalent:

(1)
The valuation v is an rdivisorial valuation of Kk.

(2)
There exists some \(t \in K_0 {\smallsetminus } k_0\) such that the intersection \(\mathfrak {K}(t) \cap \mathfrak {U}_v^1\) is finite.
Proof
First of all, note that \(KK_0\) and \(kk_0\) are both algebraic extensions. Thus, the associated residue extensions, \(KvK_0v\) and \(kvk_0v\), are also algebraic. Moreover, since k is algebraically closed, the residue field kv is also algebraically closed. In particular, if \({{\mathrm{tr.deg}}}(Kvkv) \ge 1\), then \(K_0v\) cannot be contained in kv, and therefore there exist (many) elements t in \({\mathrm{U}_v \cap K_0^\times }\) whose image \(\bar{t}\) in Kv is transcendental over kv.
Now assume that v is rdivisorial, hence v is trivial on k. Since \(r < {{\mathrm{tr.deg}}}(Kk)\), it follows that Kv is a function field of transcendence degree \(\ge 1\) over k. Arguing as above, we see that there exists some element
such that the image \(\bar{t}\) of t in Kv is transcendental over k. This implies that \({\mathbb {K}(t)^\times \subset \mathrm{U}_v}\) and that the image of \(\mathbb {K}(t)\) in Kv is a function field of transcendence degree 1 over k. Let \(L'\) denote the image of \(\mathbb {K}(t)\) in Kv and let L denote the relative algebraic closure of \(L'\) in Kv. Note that L is a finite extension of \(L'\), and that \(\mathbb {K}(t) \rightarrow L'\) is an isomorphism.
If we consider the canonical map
then its kernel is the same as the kernel of \(\mathfrak {K}(t) \cong {\text {k}}^\mathrm{M}_1(L') \rightarrow {\text {k}}^\mathrm{M}_1(L)\), which is finite by Kummer theory. On the other hand, this kernel is precisely \(\mathfrak {U}_v^1 \cap \mathfrak {K}(t)\).
Conversely, assume that v is not rdivisorial, hence v is nontrivial on k, and let \(t \in K_0 {\smallsetminus } k_0\) be given. We must show that \(\mathfrak {K}(t) \cap \mathfrak {U}_v^1\) is infinite. By replacing t with \(t^{1}\) if needed, we may assume, without loss of generality, that \(v(t) \ge 0\).
Now let \(a \in k^\times \) be any element such that \(v(a) < 0\). For all such a, one has \(v(a^{1} t) > 0\), and therefore
On the other hand, there are infinitely many such \(a \in k^\times \), hence the set
is an infinite linearlyindependent subset of \({\text {k}}^\mathrm{M}_1(k(t))\). Since the map given by the composition \({\text {k}}^\mathrm{M}_1(k(t)) \rightarrow {\text {k}}^\mathrm{M}_1(\mathbb {K}(t)) \cong \mathfrak {K}(t)\) has a finite kernel by Kummer theory, it follows that \(\mathfrak {U}_v^1 \cap \mathfrak {K}(t)\) is infinite, as required. \(\square \)
Milnor Ktheory of function fields
In this section, we will prove some important vanishing and nonvanishing results for the mod\(\ell \) Milnor Kring of a function field. In particular, we will show that a significant portion of the “algebraicindependence” structure of a function field K over an algebraically closed field k is encoded in the mod\(\ell \) Milnor Kring of K.
Vanishing
We begin by recalling the following fact which follows from some wellknown cohomological dimension bounds, combined with the highly celebrated VoevodskyRost Theorem [31, 37, 39].
Fact 6.1
One has \({\text {k}}^\mathrm{M}_s(K) = 0\) for all \(s > {{\mathrm{tr.deg}}}(Kk)\).
Proof
It is wellknown that the field K has \(\ell \)cohomologicaldimension \(\le {{\mathrm{tr.deg}}}(Kk)\) (cf. [32, II.§4 Proposition 11]). Therefore, it follows from the VoevodskyRost Theorem [31, 37, 39] that
for all \(s > {{\mathrm{tr.deg}}}(Kk)\). \(\square \)
Nonvanishing
The nonvanishing results in mod\(\ell \) Milnor Ktheory of function fields follow the “yoga” that algebraically independent elements should have nontrivial products in Milnor Ktheory. This turns out to be true, but with various exceptions which arise from modding out by \(\ell \)th powers. Nevertheless, it turns out that these exceptions can be avoided because they are related to some ramification phenomena which are concentrated in codimension one.
Lemma 6.2
Let \(t_1,\ldots ,t_r \in K\) be algebraically independent over k. Then there exists a nonempty open subset U of \(\mathbb {A}^r_k\) such that, for all \((a_1,\ldots ,a_r) \in U(k)\), one has
Proof
By extending \(t_1,\ldots ,t_r\) to a transcendence base \(\mathbf {t}= (t_1,\ldots ,t_d)\) for Kk, we may assume without loss of generality that \(r = d = {{\mathrm{tr.deg}}}(Kk)\). Let \(X = \mathbb {A}^d_\mathbf {t}\) denote affine dspace over k with parameters \(\mathbf {t}\), so that \(k(\mathbf {t})\) is canonically identified with the function field of X. Let \(K'\) be the maximal separable subextension of \(Kk(\mathbf {t})\), and let Y denote the normalization of X in \(K'\).
Then \(Y \rightarrow X\) is a finite separable (possibly branched) cover of kvarieties. Since the branch locus of \(Y \rightarrow X\) has codimension one, there exists a nonempty open subset U of X such that Y is unramified over U.
Let \(x \in U\) be a given closed point. Then x corresponds to a krational point
and in this case \((t_1a_1,\ldots ,t_da_d)\) is a system of regular parameters at x.
If y is any closed point of Y lying above x, then \((t_1a_1,\ldots ,t_da_d)\) is also a system of regular parameters at y, since y is unramified over x. By taking the \(\mathfrak {m}_y\)adic completion at y, we obtain a kembedding of \(K'\) into the field of Laurent series \(k((T_1,\ldots ,T_d)) =: L\) which sends \(t_ia_i\) to \(T_i\). But \(\{T_1,\ldots ,T_d\}_L \ne 0\) by Fact 3.3, so it follows that
Finally, one has \(\{t_1a_1,\ldots ,t_da_d\}_K \ne 0\) as well by Lemma 3.1. \(\square \)
The following proposition is our second main “nonvanishing” result, and it will be crucial in describing geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\). This will play a primary role in the reconstruction of the “geometric lattice” in the proof of the main theorems.
Proposition 6.3
Let \(t_1,\ldots ,t_r \in K\) be algebraically independent over k. Let \(z \in K^\times \) be such that \(\{z\}_K \notin \mathfrak {K}(t_1,\ldots ,t_r)\). Then there exists a nonempty open subset U of \(\mathbb {A}^r_k\) such that for all \((a_1,\ldots ,a_r) \in U(k)\), one has
Proof
Put \(d = {{\mathrm{tr.deg}}}(Kk)\) and \(s {:}{=}\, dr\). Let \(\mathbf {t}= (t_1,\ldots ,t_r,y_1,\ldots ,y_s)\) be a transcendence base of Kk extending \(t_1,\ldots ,t_r\). Let \(K'\) denote the maximal separable subextension of \(Kk(\mathbf {t})\). By Lemma 3.1, there exists some \(z' \in K'\) such that \(\{z'\}_K = \{z\}_K\). By replacing z with such a \(z'\), we may assume without loss of generality that \(z \in K'\).
Let \(F'\) denote the relative algebraic closure of \(k(t_1,\ldots ,t_r)\) in \(K'\). In particular, note that \(F'\) is separable over \(k(t_1,\ldots ,t_r)\) and that \(F {:}{=}\, \mathbb {K}(t_1,\ldots ,t_r)\) is purely inseparable over \(F'\). Therefore, one has \(\{z\}_{K'} \notin \{(F')^\times \}_{K'}\) by Lemma 3.1. This implies that the field \(F'\) is relatively algebraically closed also in \(K'(\root \ell \of {z}) =: L\). And since L is separable over \(k(\mathbf {t})\), it follows that L is regular over \(F'\).
Let B denote the normalization of \(\mathbb {A}^r_{t_1,\ldots ,t_r}\) in \(F'\). Moreover, we let \(X_0\) denote \(\mathbb {A}^s_{B;y_1,\ldots ,y_s}\), an affine sspace over B with coordinates \((y_1,\ldots ,y_s)\). Finally, let \(X_1\) denote the normalization of \(X_0\) in \(K'\), and let \(X_2\) denote the normalization of \(X_0\) in L.
We will now pass to a sufficiently small nonempty open subset V of B which has the six properties listed below. This is possible since each one of these properties holds on a dense open subset of B, as described in each item below.

(1)
The fibers of \(X_i \rightarrow B\), \(i = 0,1,2\), over points of V are all geometrically integral. This is an open condition on B since \(k(X_i)\) is regular over \(F' = k(B)\), hence \(X_i \rightarrow B\) has generically geometrically integral fibers.

(2)
Any point of V is unramified over \(\mathbb {A}^r_{t_1,\ldots ,t_r}\). This is an open condition on B because the extension \(F'k(t_1,\ldots ,t_r)\) is finite and separable, hence the ramification locus of \(B \rightarrow \mathbb {A}^r_{t_1,\ldots ,t_r}\) has codimension one.

(3)
For all \(x \in V\), the function z is regular and nonzero on the generic point of \((X_1)_x\), the fiber of \(X_1 \rightarrow B\) over x. This is clearly an open condition on B, since the support of z has codimension one in \(X_1\), and \(X_0\) is flat over B of relative dimension s.

(4)
For all \(x \in V\), letting \(\bar{z}\) denote the image of z in \(k((X_1)_x)\), one has
$$\begin{aligned} k((X_2)_x) = k((X_1)_x)[\root \ell \of {\bar{z}}]. \end{aligned}$$This is an open condition on B because \(L = K'[\root \ell \of {z}]\), hence for a sufficiently small nonempty affine open subset of \(X_1\), say \({{\mathrm{Spec}}}A\), one has \(z \in A\) and the normalization of A in L is precisely \(A[\root \ell \of {z}]\).

(5)
For all \(x \in V\), one has \([k(X_2):k(X_0)] = [k((X_2)_x):k((X_0)_x)]\), and therefore one also has \(\ell = [k((X_2)_x):k((X_1)_x)]\) and \([k(X_1):k(X_0)] = [k((X_1)_x):k((X_0)_x)]\). This is an open condition on B by a standard application of the BertiniNoether theorem (cf. [13, Proposition 9.4.3]).

(6)
For all \(x \in V\), letting \(\eta ^i_x\) denote the generic point of the fiber \((X_i)_x\) over x, the point \(\eta ^1_x\) is unramified over \(\eta ^0_x\). This is clearly an open condition on B, since the branch locus of \(X_1 \rightarrow X_0\) is a proper closed subset of \(X_0\), and \(X_0\) is flat over B.
Let U denote the image of V in \(\mathbb {A}^r_{t_1,\ldots ,t_r}\), and note that U is a nonempty (hence dense) open subset of \(\mathbb {A}^r_{t_1,\ldots ,t_r}\). Suppose that \(x \in U\) is a closed point with associated rational point \((a_1,\ldots ,a_r) \in U(k) \subset k^r\), and let \(y \in V\) be a closed point lying above x. Then \((t_1a_1,\ldots ,t_ra_r)\) is a system of regular parameters at x. Since y is unramified over x by condition (2) above, the tuple \((t_1a_1,\ldots ,t_ra_r)\) is also a system of regular parameters at y. Since \(X_0 = \mathbb {A}^s_B\), we see that \((t_1a_1,\ldots ,t_ra_r)\) is a system of regular parameters for the generic point of the fiber \((X_0)_y\). By condition (6), \((t_1a_1,\ldots ,t_ra_r)\) is also a system of regular parameters for the generic point \(\eta _y\) of the fiber \((X_1)_y\), which is integral by condition (1). Finally, by (4) and (5), we know that \(\{\bar{z}\}_{k(\eta _y)} \ne 0\) as an element of \({\text {k}}^\mathrm{M}_1(k(\eta _y))\). Taking the completion with respect to the maximal ideal of \(\mathcal {O}_{X_1,\eta _y}\), we obtain an embedding of \(K'\) into the field of Laurent series
which sends \(t_ia_i\) to \(T_i\). Fact 3.3 implies that \(\{T_1,\ldots ,T_r,z\}_M \ne 0\), hence
Finally, one has \(\{t_1a_1,\ldots ,t_ra_r,z\}_K \ne 0\) by Lemma 3.1, and this concludes the proof of the proposition. \(\square \)
As a corollary, we obtain our primary criterion for constructing geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\). Since it appears in the statement of the corollary, we briefly note that, given r elements \(f_1,\ldots ,f_r\) of \({\text {k}}^\mathrm{M}_1(K)\), one obtains a canonical morphism
The description of geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\) will use the kernels of such morphisms.
Corollary 6.4
Let \(t_1,\ldots ,t_r \in K\) be algebraically independent over k. Let \(S_1,\ldots ,S_r\) be arbitrary infinite subsets of k. Then one has
where \((a_1,\ldots ,a_r)\) varies over the elements of \(S_1 \times \cdots \times S_r\). \(\square \)
Proof
It is clear that
where \((a_1,\ldots ,a_r)\) varies over \(S_1 \times \cdots \times S_r\), by Fact 6.1. The converse follows immediately from Proposition 6.3, since the fact that \(S_i\) are all infinite, implies that the set
is nonempty for any nonempty open subset U of \(\mathbb {A}^r_k\). \(\square \)
Milnor dimension
For a subset S of \({\text {k}}^\mathrm{M}_1(K)\), we define the Milnor dimension of S, denoted \(\dim ^\mathrm{M}(S)\), as the minimal element of \(\mathbb {Z}_{\ge 0}\) which satisfies
Since \({\text {k}}^\mathrm{M}_r(K) = 0\) for all \(r > {{\mathrm{tr.deg}}}(Kk)\) by Fact 6.1, it follows that \(\dim ^\mathrm{M}(S)\) is a welldefined element of \(\mathbb {Z}_{\ge 0}\) and that \(\dim ^\mathrm{M}(S) \le {{\mathrm{tr.deg}}}(Kk)\), for any subset S of \({\text {k}}^\mathrm{M}_1(K)\). The following fact follows immediately from Fact 6.1 and Lemma 6.2.
Fact 6.5
Let S be a subset of K. Then one has \(\dim ^\mathrm{M}(\mathfrak {K}(S)) = {{\mathrm{tr.deg}}}(\mathbb {K}(S)k)\).
Milnorsupremum
We can now use the vanishing/nonvanishing results above and the notion of Milnordimension to show how to reconstruct large geometric subgroups from smaller ones. Let S be a subset of \({\text {k}}^\mathrm{M}_1(K)\) with \(d = \dim ^\mathrm{M}(S)\). We define the Milnorsupremum of S, denoted \({\sup }^\mathrm{M}(S)\), as
The following lemma shows how the Milnorsupremum can be used to construct “large” geometric subgroups from smaller geometric subgroups.
Lemma 6.6
Let \((S_i)_i\) be a collection of subsets of K, and put \(\mathfrak {K}_i = \mathfrak {K}(S_i)\). Moreover, put
Then one has \({\sup }^\mathrm{M}(\mathfrak {K}) = \mathfrak {K}(S)\).
Proof
Put \(d' {:}{=}\, {{\mathrm{tr.deg}}}(\mathbb {K}(S)k)\) and \(d {:}{=}\, \dim ^\mathrm{M}(\mathfrak {K})\). First we show that \(d = d'\). The inequality \(d \le d'\) follows from Fact 6.1 since \(\mathfrak {K}\subset \mathfrak {K}(S)\). Conversely, we note that there exist \(s_1,\ldots ,s_{d'} \in S\) which are algebraically independent over k. Thus, \(d \ge d'\) by Lemma 6.2.
Since \(d = {{\mathrm{tr.deg}}}(\mathbb {K}(S)k) = \dim ^\mathrm{M}(\mathfrak {K}(S))\) and \(\mathfrak {K}\subset \mathfrak {K}(S)\), it follows again from Fact 6.1 that
Conversely, we again use the fact that there exist \(t_1,\ldots ,t_d \in S\) which are algebraically independent over k. Then the inclusion
follows from Corollary 6.4. \(\square \)
Geometric lattices
A graded lattice is a \(\mathbb {Z}_{\ge 0}\)graded set \(\mathcal {L}^* = \coprod _{i \ge 0} \mathcal {L}^i\) endowed with a partial ordering \(\le \), such that the following two conditions hold:

(1)
Every subset S of \(\mathcal {L}^*\) has a greatest lower bound \(\wedge S\) and a least upper bound \(\vee S\) in \(\mathcal {L}^*\). Namely, the partially ordered set \((\mathcal {L}^*,\le )\) is a complete lattice.

(2)
If \(A \in \mathcal {L}^s\) and \(B \in \mathcal {L}^t\) are such that \(A < B\), then one has \(s < t\). Namely, the partial ordering \(\le \) is strictly compatible with the grading of \(\mathcal {L}^*\).
An isomorphism between two graded lattices \(\mathcal {L}_1^*\) and \(\mathcal {L}_2^*\) is a graded bijection
which is an isomorphism on the level of partially ordered sets. We will denote the automorphism group of a graded lattice \(\mathcal {L}^*\) by \({{\mathrm{Aut}}}^*(\mathcal {L}^*)\).
Relative algebraic closure
Assume now that F is a perfect field and that L is an extension of finite transcendence degree over F, such that F is relatively algebraically closed in L. We denote by \({\mathbb {G}^*(LF)}\) the graded lattice of relatively algebraically closed subextensions of LF, graded by transcendence degree.
More precisely, we let \({\mathbb {G}^s(LF)}\) denote the collection of relatively algebraically closed subextensions of LF of transcendence degree s over F. Then one has \({\mathbb {G}^*(LF) = \coprod _{s \ge 0} \mathbb {G}^s(LF)}\), and the ordering on \({\mathbb {G}^*(LF)}\) is the partial ordering given by inclusion of subextensions of LF.
Note that one has a canonical isomorphism of graded lattices
defined by \(M \mapsto M^i\), with inverse given by \(M^i \mapsto M^i \cap L\). In particular, this canonical isomorphism induces an isomorphism of automorphism groups:
We will denote by \({{\mathrm{Aut}}}_{\{F\}}(L^i)\) the set of automorphisms \(\phi \) of \(L^i\) which satisfy \(\phi F = F\). Note that any element of \({{\mathrm{Aut}}}_{\{F\}}(L^i)\) induces an automorphism of \(\mathbb {G}^*(L^iF)\) in the obvious way. Thus we obtain a canonical homomorphism
The work of Evans–Hrushovski [8, 9] and Gismatullin [14] considers the surjectivity/injectivity of this map. We summarize their main results in the following theorem.
Theorem 7.1
(see [14, Theorem 4.2]) Let F be a perfect field and let L be an extension of finite transcendence degree over F, such that F is relatively algebraically closed in L. Assume furthermore that \({{\mathrm{tr.deg}}}(LF) \ge 5\). Then the canonical map
is surjective, and its kernel is the subgroup generated by \({\text {Frob}}_{L^i}\).
Proof
The only part of this theorem which doesn’t follow directly from [14, Theorem 4.2] is that loc. cit. uses the combinatorial geometry associated to \(\mathbb {G}^*(LF)\) as its basic structure, whereas we use the whole lattice \(\mathbb {G}^*(LF)\). These two formulations are easily seen to be equivalent, as follows.
First, note that the combinatorial geometry \(\mathbb {G}(LF)\) associated to LF is defined to be the set \(\mathbb {G}^1(LF)\) with a closure operation \({{\mathrm{cl}}}\) on subsets \(S \subset \mathbb {G}^1(LF)\). This closure operation is easily interpretable in the lattice \(\mathbb {G}^*(LF)\) as
Conversely, given the set \(\mathbb {G}^1(LF)\) endowed with the closure operation \({{\mathrm{cl}}}\) defined above, it is easy to see that \(\mathbb {G}^*(LF)\) is canonically isomorphic to the lattice of flats associated to the combinatorial geometry \((\mathbb {G}^1(LF),{{\mathrm{cl}}})\). In other words, the lattice \(\mathbb {G}^*(LF)\) can be identified with the lattice of closed subsets of \(\mathbb {G}^1(LF)\) with respect to the closure operation \({{\mathrm{cl}}}\) described above, and the grading of this lattice is given by the combinatorial dimension of closed subsets.
With these observations, it is easy to see that restricting \(\phi \in {{\mathrm{Aut}}}^*(\mathbb {G}^*(LF))\) to \(\mathbb {G}^1(LF)\) induces an isomorphism of automorphism groups
where \({{\mathrm{Aut}}}^{{{\mathrm{cl}}}}(\mathbb {G}^1(LF))\) denotes the set of permutations of \(\mathbb {G}^1(LF)\) which are compatible with the closure operation \({{\mathrm{cl}}}\). This isomorphism of automorphism groups is clearly compatible with the canonical morphisms originating from \({{\mathrm{Aut}}}_{\{F\}}(L^i)\). Hence, the assertion of the theorem follows immediately from [14, Theorem 4.2]. \(\square \)
The Galois action on the geometric lattice
We now consider the canonical Galois action of \({{{\mathrm{Gal}}}_{k_0}}\) on \({\mathbb {G}^*(Kk)}\). First, recall that \({{{\mathrm{Gal}}}_{k_0}}\) can be canonically identified with the Galois group \({{\mathrm{Gal}}}(KK_0)\), since \(K_0k_0\) is a regular function field. In particular, \({{{\mathrm{Gal}}}_{k_0}}\) acts on the (relatively algebraically closed) subextensions of Kk in the obvious way, and this action preserves transcendence degree. In other words, \({{{\mathrm{Gal}}}_{k_0}}\) acts on the graded lattice \(\mathbb {G}^*(Kk)\).
Using the notation introduced above, we have
and \(\mathbb {G}^r(Kk)\) consists of all those \(\mathbb {K}(S)\) such that \({{\mathrm{tr.deg}}}(\mathbb {K}(S)k) = r\). We will consider the subgroup \({{{\mathrm{Aut}}}^*(\mathbb {G}^*(Kk)K_0)}\) of \({{{\mathrm{Aut}}}^*(\mathbb {G}^*(Kk))}\) consisting of all automorphisms \(\Phi \in {{\mathrm{Aut}}}^*(\mathbb {G}^*(Kk))\) such that \(\Phi \mathbb {K}(S) = \mathbb {K}(S)\) for all subsets \(S \subset K_0\).
We can also describe \({{\mathrm{Aut}}}^*(\mathbb {G}^*(Kk)K_0)\) as a “Galois Group,” as follows. First, observe that one has a canonical injective map
which sends \({F_0 \in \mathbb {G}^*(K_0k_0)}\) to \(F {:}{=}\, \mathbb {K}(F_0)\). Therefore, \({{\mathrm{Aut}}}^*(\mathbb {G}^* (Kk)K_0)\) is the Galois group of \({\mathbb {G}^*(Kk)}\) over \({\mathbb {G}^*(K_0k_0)}\), i.e. the set of automorphisms of \({\mathbb {G}^*(Kk)}\) which fix \({\mathbb {G}^*(K_0k_0)}\) pointwise.
Note that \({{{\mathrm{Gal}}}_{k_0}}\) fixes \(\mathbb {K}(S)\) setwise (as a subset of K) for any subset \(S \subset K_0\). Therefore, the action of \({{{\mathrm{Gal}}}_{k_0}}\) on \(\mathbb {G}^*(Kk)\) induces a canonical Galois representation
We now use Theorem 7.1 to prove that this map is an isomorphism.
Proposition 7.2
Assume that \({{\mathrm{tr.deg}}}(Kk) \ge 5\). Then the canonical map
is an isomorphism.
Proof
We first use Theorem 7.1 to make the following observation: Any automorphism \(\Phi \) of \(\mathbb {G}^*(Kk)\) arises from an automorphism \(\tilde{\Phi }\) of \(K^i\) which is unique upto composition with some power of \({\text {Frob}}_{K^i}\). Assume moreover that \(\Phi \) restricts to an automorphism \(\Phi _0\) of \(\mathbb {G}^*(K_0k_0)\). Then Theorem 7.1 implies that \(\Phi _0\) arises from an automorphism \(\tilde{\Phi }_0\) of \(K_0^i\) which is unique upto composition with some power of \({\text {Frob}}_{K_0^i}\). It therefore follows from the functoriality of the situation that this automorphism \(\tilde{\Phi }\) restricts to an automorphism of \(K_0^i\), which is precisely \(\tilde{\Phi }_0\), upto composition with a power of \({\text {Frob}}_{K_0^i}\).
Consider the following subgroup of \({{\mathrm{Aut}}}_{\{K_0^i\}}(K^i)\):
By Theorem 7.1 and the observations made above, we see that the canonical map
is surjective, and its kernel is the subgroup generated by \({\text {Frob}}_{K^i}\).
On the other hand, it is easy to see that one has a canonical isomorphism
Finally, we conclude the proof of the proposition by recalling that the canonical map \(\rho _{k_0} : {{{\mathrm{Gal}}}_{k_0}}\rightarrow {{\mathrm{Gal}}}(KK_0)\) is an isomorphism, since \(K_0k_0\) is a regular function field. As the isomorphisms
are all compatible with \(\rho _{k_0}\), the assertion follows. \(\square \)
The mod\(\ell \) geometric lattice
As a first step towards the mod\(\ell \) context, we will prove that there is an isomorphic copy of \(\mathbb {G}^*(Kk)\) inside of the lattice of subgroups of \({\text {k}}^\mathrm{M}_1(K)\). We write \(\mathfrak {G}^*(Kk)\) for the collection of geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\), ordered by inclusion in \({\text {k}}^\mathrm{M}_1(K)\), and graded by \(\dim ^\mathrm{M}\). Namely, as a partiallyordered set, one has
where the partialordering is given by inclusion of subgroups of \({\text {k}}^\mathrm{M}_1(K)\). The grading of
is defined by the condition that \(\mathfrak {G}^s(KK)\) consists of all geometric subgroups A of \({\text {k}}^\mathrm{M}_1(K)\) such that \(\dim ^\mathrm{M}(A) = s\). The next proposition shows that we can identify \(\mathfrak {G}^*(Kk)\) with \(\mathbb {G}^*(Kk)\), and that the Milnorsupremum defined in Sect. 6.4 corresponds to the leastupperbound in \(\mathbb {G}^*(Kk)\), via this identification.
Proposition 7.3
The following hold:

(1)
The set \(\mathfrak {G}^*(Kk)\), endowed with the ordering by inclusion in \({\text {k}}^\mathrm{M}_1(K)\) and the grading by \(\dim ^\mathrm{M}\), is a graded lattice.

(2)
The map \(\mathbb {K}(S) \mapsto \mathfrak {K}(S)\) induces a canonical isomorphism of graded lattices \(\mathbb {G}^*(Kk) \rightarrow \mathfrak {G}^*(Kk)\).

(3)
For a collection \((\mathfrak {K}_i)_i\) of elements of \(\mathfrak {G}^*(Kk)\), the leastupperbound of \((\mathfrak {K}_i)_i\) in the lattice \(\mathfrak {G}^*(Kk)\) is precisely the Milnorsupremum \({\sup }^\mathrm{M}(\bigcup _i \mathfrak {K}_i)\).
Proof
Note that the map \(\mathbb {K}(S) \mapsto \mathfrak {K}(S)\) yields a canonical surjective map \(\mathbb {G}^*(Kk) \rightarrow \mathfrak {G}^*(Kk)\). By Fact 6.5, this surjective map restricts to a surjective map
on the graded pieces, and it is clear from the definition that this map respects the partial ordering. Since \(\mathbb {G}^*(Kk)\) is a graded lattice, in order to prove (1) and (2), it suffices to prove that the map above is an isomorphism on the level of partially ordered sets. With this in mind, suppose that \(S_1,S_2\) are two subsets of K, and assume that \(\mathfrak {K}(S_1) \subset \mathfrak {K}(S_2)\). We must show that one has \(\mathbb {K}(S_1) \subset \mathbb {K}(S_2)\).
Assume the contrary, and, for \(i = 1,2\), put \(d_i {:}{=}\, {{\mathrm{tr.deg}}}(\mathbb {K}(S_i)k)\). Recall that, by Fact 6.5, one has \(d_i = \dim ^\mathrm{M}(\mathfrak {K}(S_i))\). As \(\mathbb {K}(S_i)\) is relatively algebraically closed in K, it follows that
Hence, there exist \(t_0,\ldots ,t_{d} \in S_1 \cup S_2\) which are algebraically independent over k. By Lemma 6.2, there exist \(a_0,\ldots ,a_d \in k\) such that
However, since \(\mathfrak {K}(S_1) \subset \mathfrak {K}(S_2) =: \mathfrak {K}\), we have \(\{t_ia_i\}_K \in \mathfrak {K}\) for all \(i = 0,\ldots ,d\). But then (7.1) provides a contradiction to the fact that \(\dim ^\mathrm{M}(\mathfrak {K}) = d_2 \le d\).
This proves, in particular, that the map \(\mathbb {G}^*(Kk) \rightarrow \mathfrak {G}^*(Kk)\) is an isomorphism of partially ordered sets, while the compatibility with the grading was already noted above. Assertion (3) follows immediately from assertion (2) and Lemma 6.6. \(\square \)
Galois action on the mod\(\ell \) lattice
By Proposition 7.3(1)(2), the partially ordered set \(\mathfrak {G}^*(Kk)\) is a graded lattice which is canonically isomorphic to \(\mathbb {G}^*(Kk)\). Moreover, the definition of this isomorphism immediately shows that it is compatible with the action of \({{{\mathrm{Gal}}}_{k_0}}\). In any case, since \(\mathfrak {G}^*(Kk)\) is a graded lattice, we can define \({{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk)K_0)\) similarly to the way we defined \({{\mathrm{Aut}}}^*(\mathbb {G}^*(Kk)K_0)\). Namely, \({{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk)K_0)\) consists of all automorphisms \(\Phi \) of \(\mathfrak {G}^*(Kk)\) (as a gradedlattice) such that \(\Phi \mathfrak {K}(S) = \mathfrak {K}(S)\) for all \(S \subset K_0\). As before, one has a canonical Galois representation
On the other hand, Proposition 7.3(2) immediately implies that we have a canonical isomorphism of automorphism groups:
and it is easy to see that this isomorphism is compatible with \(\rho _{k_0}\). Thus, by combining Propositions 7.2 and 7.3, we immediately deduce the following corollary.
Corollary 7.4
Assume that \({{\mathrm{tr.deg}}}(Kk) \ge 5\). Then the canonical map
is an isomorphism. \(\square \)
Essentially unramified points and fibers
A key difficulty which arises by working in the mod\(\ell \) context is that the presence of ramification can make certain valuations “invisible.” More precisely, suppose that t is a nonconstant element of K. While every divisorial valuation of \(\mathbb {K}(t)k\) is the restriction of some divisorial valuation of Kk, there may be some divisorial valuations v of \(\mathbb {K}(t)k\) such that \(\{\mathrm{U}_v\}_K\) is not of the form \(\mathfrak {U}_w \cap \mathfrak {K}(t)\) for any divisorial valuation w of Kk. Dualizing using the Kummer pairing, there may be some minimized inertia subgroups of \(\mathcal {G}_{\mathbb {K}(t)}^a\) arising from divisorial valuations of \(\mathbb {K}(t)k\) which are not the image of any minimized inertia subgroup of \(\mathcal {G}_K^a\) that arise from a divisorial valuation of Kk. This “difficulty” is clearly intimately tied to ramification (specifically, ramification indices which are divisible by \(\ell \)). In this section, we introduce some general conditions which will suffice to prevent such problems.
The flag associated to regular parameters
We will use a basic construction in algebraic geometry which associates an rdivisorial valuation and/or a flag of divisorial valuations of length r to a system of regular parameters at a point of codimension r in a regular kvariety. More precisely, let X be a regular kvariety, and let x be a (possibly nonclosed) regular point of X. Let \(\mathcal {O}_{X,x}\) be the regular local ring at x. For a subset \(S \subset \mathcal {O}_{X,x}\), we use the usual notation
to denote the closed subscheme of \({{\mathrm{Spec}}}\mathcal {O}_{X,x}\) associated to the ideal (S) of \(\mathcal {O}_{X,x}\).
Let \((f_1,\ldots ,f_r)\) be a system of regular parameters for the (maximal ideal of the) regular local ring \(\mathcal {O}_{X,x}\), and put \(L {:}{=}\, k(X)\). We will abuse the terminology and also say that \((f_1,\ldots ,f_r)\) is a system of regular parameters at x in X.
In any case, to the system \((f_1,\ldots ,f_r)\) of regular parameters of \(\mathcal {O}_{X,x}\), we associate a flag \((v_1,\ldots ,v_r)\) of divisorial valuations of Lk, by letting \(v_i/v_{i1}\) be the divisorial valuation of
associated to the prime Weildivisor \(V(f_1,\ldots ,f_i)\) on \(V(f_1,\ldots ,f_{i1})\). As before, \(v_0\) stands for the trivial valuation of L by convention. The following is a summary of the basic facts concerning the relationship between \((f_1,\ldots ,f_r)\) and \((v_1,\ldots ,v_r)\).
Fact 8.1
In the context above, the following hold:

(1)
For all \(i = 1,\ldots ,r\), one has \(\mathrm{U}_{v_{i1}}/\mathrm{U}_{v_{i}} \cong \mathbb {Z}\). Moreover, one has \(f_i \in \mathrm{U}_{v_{i1}}\) and its image in \(\mathrm{U}_{v_{i1}}/\mathrm{U}_{v_i}\) is a generator.

(2)
For all \(i = 1,\ldots ,r\), one has \(\{\mathrm{U}_{v_{i1}}\}_{L}/\{\mathrm{U}_{v_{i}}\}_{L} \cong \mathbb {Z}/\ell \). Moreover, one has \(\{f_i\}_{L} \in \{\mathrm{U}_{v_{i1}}\}_{L}\) and its image in \(\{\mathrm{U}_{v_{i1}}\}_{L}/\{\mathrm{U}_{v_{i}}\}_{L}\) is a generator.
\(\ell \)unramified prolongations
Suppose now that \(k(X) = L\) is a subextension of Kk, and \((v_1,\ldots ,v_r)\) is a flag of divisorial valuations of Lk. Let \((w_1,\ldots ,w_r)\) be a flag of divisorial valuations of Kk which prolongs \((v_1,\ldots ,v_r)\); i.e. \(w_i\) is a prolongation of \(v_i\) for \(i = 1,\ldots ,r\). Note that this condition ensures that the canonical map \({\text {k}}^\mathrm{M}_1(L) \rightarrow {\text {k}}^\mathrm{M}_1(K)\) restricts to a morphism \(\{\mathrm{U}_{v_i}\}_L \rightarrow \mathfrak {U}_{w_i}\) for all \(i = 1,\ldots ,r\). We will say that \((w_1,\ldots ,w_r)\) is an \(\ell \) unramified prolongation of \((v_1,\ldots ,v_r)\), provided that the canonical map \({\text {k}}^\mathrm{M}_1(L) \rightarrow {\text {k}}^\mathrm{M}_1(K)\) induces isomorphisms
for all \(i = 1,\ldots ,r\) (recall that \(v_0\) resp. \(w_0\) denote the trivial valuations).
The notion of an \(\ell \)unramified prolongation and Fact 8.1 lead to the following particularly useful observation. If the flag \((v_1,\ldots ,v_r)\) arises from a system of regular parameters \((f_1,\ldots ,f_r)\) at a regular point \(x \in X\) as described in Sect. 8.1, and \((w_1,\ldots ,w_r)\) is an \(\ell \)unramified prolongation of \((v_1,\ldots ,v_r)\) to K, then \(\{f_i\}_K\) is a generator of \(\mathfrak {U}_{w_{i1}}/\mathfrak {U}_{w_i} \cong \mathbb {Z}/\ell \) for all \(i = 1,\ldots ,r\) by Fact 8.1(2).
The essential branch locus
Let X be a regular kvariety, and suppose that K is a finite extension of k(X). Let \(K'\) denote the maximal separable subextension of Kk(X), and let \(Y \rightarrow X\) denote the normalization of X in \(K'\). Thus, \(Y \rightarrow X\) is a finite separable (possibly branched) cover of kvarieties. The branch locus of this finite separable cover \(Y \rightarrow X\) will be called the essential branch locus of X in K. Recall that the essential branch locus of X in K is actually a divisor of X. However, we will only be interested in the support of this divisor. Namely, we will consider the essential branch locus of X in K only as a closed subvariety of X which has codimension one.
Along the same lines, if x is a (schemetheoretic) point of X, we say that x is essentially unramified in K if x is not contained in the essential branch locus of X in K. Similarly, if Z is an integral closed subvariety of X, we say that Z is essentially unramified in K if the generic point of Z is essentially unramified in K. Since the essential branch locus of X in K is closed in X, we note that Z is essentially unramified in K if and only if Z is not contained in the essential branch locus of X in K.
The concept of essentially unramified points and the essential branch locus allows us to produce “many” \(\ell \)unramified prolongations of flags of divisorial valuations, as follows. In the context above, suppose that x is an essentially unramified regular point of X, and let \(y \in Y\) be a point in the fiber of x. Moreover, let \((f_1,\ldots ,f_r)\) be a system of regular parameters at x, and let \(\mathbf {v}{:}{=}\, (v_1,\ldots ,v_r)\) be the flag of divisorial valuations of k(X)k associated to \((f_1,\ldots ,f_r)\). Since y is unramified over x, it follows that \((f_1,\ldots ,f_r)\) is a system of regular parameters at y as well, and we let \(\mathbf {w}' {:}{=}\, (w_1',\ldots ,w_r')\) be the flag of divisorial valuations of \(k(Y) = K'\) associated to \((f_1,\ldots ,f_r)\). Note that the canonical map \({\text {k}}^\mathrm{M}_1(k(X)) \rightarrow {\text {k}}^\mathrm{M}_1(k(Y))\) induces isomorphisms
for all \(i = 1,\ldots ,r\) (recall that \(v_0\) resp. \(w'_0\) denote the trivial valuations).
Finally, let \(\mathbf {w}= (w_1,\ldots ,w_r)\) be any prolongation of \(\mathbf {w}'\) to K. Then \(\mathbf {w}\) is a flag of divisorial valuations, and it follows from Lemma 3.2 that \(\mathbf {w}\) is an \(\ell \)unramified prolongation of \(\mathbf {v}\) as defined in Sect. 8.2. We summarize this discussion for later use in the following fact.
Fact 8.2
Suppose that X is a regular kvariety and that K is a finite extension of k(X). Let \(K'\) denote the maximal separable subextension of Kk(X), and let Y denote the normalization of X in \(K'\). Let x be a regular point of X which is essentially unramified in K. Let \((f_1,\ldots ,f_r)\) be a system of regular parameters at x with associated flag \(\mathbf {v}\) of divisorial valuations, and let y be any point of Y in the fiber above x. Then the following hold:

(1)
The system \((f_1,\ldots ,f_r)\) is a system of regular parameters at y.

(2)
Any prolongation \(\mathbf {w}\) to K of the flag of divisorial valuations of \(k(Y) = K'\) associated to \((f_1,\ldots ,f_r)\), considered as a system of regular parameters at y, is an \(\ell \)unramified prolongation of \(\mathbf {v}\).
Essentially unramified fibers
We will primarily use Fact 8.2 in the case where \(x \in X\) is the generic point of a fiber of some smooth morphism. More precisely, suppose that \(X \rightarrow S\) is a dominant smooth morphism of regular kvarieties with geometrically integral fibers, and let \(s \in S\) be a closed point in the image of \(X \rightarrow S\). Let \(\eta _s \in X\) be the generic point of the fiber of \(X \rightarrow S\) over s.
With the setup above, if \((f_1,\ldots ,f_r)\) is a system of regular parameters at \(s \in S\), then \((f_1,\ldots ,f_r)\) is also a system of regular parameters at \(\eta _s \in X\). Thus, if K is a finite extension of k(X) and \(\eta _s\) is essentially unramified in K, then we may apply Fact 8.2 to \(\eta _s \in X\) endowed with a system of regular parameters \((f_1,\ldots ,f_r)\), which arises from \(s \in S\).
Mod\(\ell \) divisors
In this subsection, we will use the concept of essentially unramified fibers, as discussed in Sect. 8.4, to compare the divisorial valuations on a field of the form \(\mathbb {K}(t)\) with the divisorial valuations which can be detected in the mod\(\ell \) setting from K.
For \(t \in K {\smallsetminus } k\), we denote by \(\mathscr {D}_t\) the set of divisorial valuations of \(\mathbb {K}(t)k\). Since \(\mathbb {K}(t)\) is a onedimensional function field over k, the elements of \(\mathscr {D}_t\) are in canonical bijection with the closed points of the unique complete normal model of \(\mathbb {K}(t)k\). As for the mod\(\ell \) analogue of \(\mathscr {D}_t\), we define \(\mathfrak {D}_t\) to be the set
where v varies over the divisorial valuations of Kk.
Note that one has \(\mathbb {K}(t)/\mathrm{U}_v \cong \mathbb {Z}\) for all \(v \in \mathscr {D}_t\), and that \(\mathfrak {K}(t)/\mathfrak {V}\cong \mathbb {Z}/\ell \) for all \(\mathfrak {V}\in \mathfrak {D}_t\). Our primary goal in this section is to compare \(\mathscr {D}_t\) and \(\mathfrak {D}_t\). First, we show that \(\mathfrak {D}_t\) can be embedded canonically in \(\mathscr {D}_t\).
Lemma 8.3
Let \(t \in K {\smallsetminus } k\) be given. For every \(\mathfrak {V}\in \mathfrak {D}_t\), there exists a unique \(v \in \mathscr {D}_t\) such that \(\mathfrak {V}= \{\mathrm{U}_v\}_K\). In particular, one has a canonical injective map \(\mathfrak {D}_t \hookrightarrow \mathscr {D}_t\) which satisfies \(\mathfrak {V}\mapsto v\) if and only if \(\mathfrak {V}= \{\mathrm{U}_v\}_K\).
Proof
Let w be a divisorial valuation of Kk such that \(\mathfrak {V}= \mathfrak {U}_w \cap \mathfrak {K}(t)\). Since \(\mathfrak {K}(t) \not \subset \mathfrak {U}_w\), we deduce that w is nontrivial on \(\mathbb {K}(t)\), hence \(w_{\mathbb {K}(t)}\) is a divisorial valuation on \(\mathbb {K}(t)\). Denote this divisorial valuation of \(\mathbb {K}(t)\) by v. Then clearly one has \(\{\mathrm{U}_v\}_K \subset \mathfrak {U}_w \cap \mathfrak {K}(t) = \mathfrak {V}\). On the other hand, both \(\mathfrak {K}(t)/\mathfrak {V}\) and \(\mathfrak {K}(t)/\{\mathrm{U}_v\}_K\) are isomorphic to \(\mathbb {Z}/\ell \), hence \(\mathfrak {V}= \{\mathrm{U}_v\}_K\).
Concerning the uniqueness of v, suppose that \(v'\) is another divisorial valuation of \(\mathbb {K}(t)\) such that \(\mathfrak {V}= \{\mathrm{U}_{v'}\}_K\). Then one has \(\{\mathrm{U}_v\}_K = \{\mathrm{U}_{v'}\}_K\), and since \({\text {k}}^\mathrm{M}_1(\mathbb {K}(t)) \rightarrow {\text {k}}^\mathrm{M}_1(K)\) is injective, we deduce that \(\{\mathrm{U}_v\}_{\mathbb {K}(t)} = \{\mathrm{U}_{v'}\}_{\mathbb {K}(t)}\). In particular, v and \(v'\) must be dependent as valuations of \(\mathbb {K}(t)\), for otherwise \(\mathrm{U}_v \cdot \mathrm{U}_{v'} = \mathbb {K}(t)^\times \) by the approximation theorem for independent valuations. Since both v and \(v'\) have value groups isomorphic to \(\mathbb {Z}\), it follows that \(v = v'\). This proves the uniqueness of v, as required. \(\square \)
A primary difficuly which arises in the mod\(\ell \) case is that the canonical map \(\mathfrak {D}_t \hookrightarrow \mathscr {D}_t\) described in Lemma 8.3 need not be surjective in general. Nevertheless, we can use the notion of essentiallyunramified fibers to give a sufficient condition for an element of \(\mathscr {D}_t\) to arise from \(\mathfrak {D}_t\). Although we will not need it later, we note that an argument similar to the proof of Lemma 8.4 below shows that all but finitely many of the elements of \(\mathscr {D}_t\) arise from some element of \(\mathfrak {D}_t\) via this injection.
Lemma 8.4
Let \(t \in K {\smallsetminus } k\) be given and let S be the unique proper normal model of \(\mathbb {K}(t)k\). Let \(v \in \mathscr {D}_t\) be given, and let \(s \in S\) be the (unique) center of v. Assume that there exists a regular kvariety X and a smooth dominant morphism \(X \rightarrow S\) with geometrically integral fibers, such that the following hold:

(1)
K is a finite extension of k(X).

(2)
s is in the image of \(X \rightarrow S\).

(3)
The fiber \(X_s\) of \(X \rightarrow S\) over s is essentially unramified in K.
Then there exists some \(\mathfrak {V}\in \mathfrak {D}_t\) such that \(\mathfrak {V}= \{\mathrm{U}_v\}_K\), i.e. v is in the image of the canonical injective map \(\mathfrak {D}_t \hookrightarrow \mathscr {D}_t\) from Lemma 8.3.
Proof
Let \(\pi \in \mathbb {K}(t)\) be a uniformizer for v, and let \(s \in S\) be the (unique) center of v on S. Furthermore, let \(\eta \in X\) be the generic point of the fiber of \(X \rightarrow S\) over s. Following the discussion of Sect. 8.4 with the morphism \(X \rightarrow S\), it follows that \(\eta \) is a regular point of codimension one, and that \(\pi \) is a local parameter at \(\eta \). Let \(w_0\) be the divisorial valuation of k(X) associated to \(\pi \) at \(\eta \). By Fact 8.2, there exists an \(\ell \)unramified prolongation w of \(w_0\) to Kk. The lemma follows by taking \(\mathfrak {V}= \mathfrak {U}_w \cap \mathfrak {K}(t)\) and noting that the image of \(\{\pi \}_K\) is a generator of \({\text {k}}^\mathrm{M}_1(K)/\mathfrak {U}_w \cong \mathbb {Z}/\ell \). \(\square \)
Strongly general elements and birational Bertini
In this section, we recall the notion of a general element of a regular function field. We also introduce the notion of a stronglygeneral element which is related to the notion of a general element, but has further assumptions which are motivated by the discussion of Sect. 8. The primary goal of this section is to prove socalled Birational Bertini results for both general and stronglygeneral elements, which will show that there are “many” such elements in higherdimensional function fields.
General elements
Let LF be a regular field extension and let \(x \in L {\smallsetminus } F\) be given. We say that x is separable in LF if \(x \notin F \cdot L^p\) where \(p = {{\mathrm{Char}}}F\). If \({{\mathrm{Char}}}F = 0\), then every element of L is separable in LF by convention. We say that x is general in LF provided that L is a regular extension of F(x). In particular, if x is general in LF then F(x) is relatively algebraically closed in L.
The following lemma is our socalled Birational Bertini result for general elements. The first assertion of this lemma can be found in [18, Ch. VIII, p. 213]. The second assertion of this lemma has essentially the same proof as in loc. cit., but since it hasn’t explicitly appeared in the literature, we provide a detailed proof below.
Lemma 9.1
Let F be an infinite field, and let L be a regular function field over F. Let \(x,y \in L\) be algebraically independent over F with y separable in LF. Then the following hold:

(1)
For all but finitely many \(a \in F\), the element \(x+ay\) is general in LF.

(2)
There exists a nonempty open subset U of \(\mathbb {A}^2_F\) such that for all \((a,b) \in U(F)\), the element \((xa)/(yb)\) is general in LF.
Proof
As mentioned above, we only need to prove assertion (2) since assertion (1) can be found in [18, Ch. VIII, p. 213]. To simplify the notation, for \(P = (a,b) \in F^2\), we write
Since y is separable in LF, there exists an Fderivation D of L such that \(D(y) \ne 0\). Now we may calculate:
Hence \(D(t_{a,b}) = 0\) if and only if \(t_{a,b} = D(x)/D(y)\), so this can only happen for at most one pair \(P_0 \in F^2\). Thus, for any pair (a, b) different from this (possible) exceptional one \(P_0\), the element \(t_{a,b}\) is separable in LF, which implies that \(LF(t_{a,b})\) has a separating transcendence base.
For each \(P \in F^2\), write \(E_P {:}{=}\, F(t_P)\) and \(E'_P\) for the relative algebraic closure of \(E_P\) in L. If P, Q are two different points of \(F^2\), note that one has \(E_P \cdot E_Q = F(x,y)\). Note that \(E_P'\) and \(E_Q'\) are regular of transcendence degree 1 over F, since they are contained in L which is regular over F. This implies that \(E_P'\) and \(E_Q'\) are linearly disjoint over F, since LF is regular.
Let M denote the relative algebraic closure of F(x, y) in L, and note that there are only finitely many intermediate subextensions of MF(x, y). In particular, there are finitely many subextensions of MF(x, y) of the form \(E'_P(x,y)\). Let \(P_1,\ldots ,P_n\) be finitely many points in \(F^2\) such that \(E'_{P_i}(x,y)\) exhaust all such subextensions. Now suppose that Q is any point of \(F^2\) which is different from \(P_0,\ldots ,P_n\). Since \(Q \ne P_0\), we see that \(E'_Q\) is the separable algebraic closure of \(E_Q\) in M. Moreover, by the discussion above, \(E'_Q(x,y)\) must be linearly disjoint from \(E'_{P_i}(x,y)\) over F(x, y), for all \(i = 1,\ldots ,n\). This forces \(E'_Q(x,y)\) to be precisely F(x, y), and therefore \(E'_Q = E_Q\). In other words, \(E_Q = F(t_Q)\) is algebraically closed in L, and since \(Q \ne P_0\), we see that L is regular over \(E_Q = F(t_Q)\), as required. \(\square \)
Stronglygeneral elements
Let \(t \in K\) be a nonconstant element. We say that t is a stronglygeneral element in Kk if the following two conditions hold:

(1)
The element t is general in Kk.

(2)
The canonical injective map \(\mathfrak {D}_t \rightarrow \mathscr {D}_t\) from Lemma 8.3 is surjective (hence bijective).
In the spirit of Lemma 9.1, we now prove the following Birational Bertini result for stronglygeneral elements of Kk.
Proposition 9.2
Let \(x,y \in K\) be algebraically independent over k such that y is separable in Kk. Then there exists a nonempty open subset U of \(\mathbb {A}^2_k\) such that, for all \((a,b) \in U(k)\), the element \((xa)/(yb)\) is stronglygeneral in Kk.
Proof
By Lemma 9.1(2), there exists a nonempty open subset \(U_1\) of \(\mathbb {A}^2_k\) such that for all \((a,b) \in U_1(k)\), the element \(t_{a,b} = (xa)/(yb)\) is general in Kk. We must therefore prove that the second condition for a stronglygeneral element is also an open condition on \((a,b) \in \mathbb {A}^2_k(k)\) as above.
Put \(x = t_1\), \(y = t_2\) and extend \(t_1,t_2\) to a transcendence base \(\mathbf {t}= (t_1,\ldots ,t_d)\) for Kk. Furthermore, consider the canonical coordinate projection \(\mathbb {A}^d_\mathbf {t}\rightarrow \mathbb {A}^2_{t_1,t_2}\). Also, identify \(\mathbb {A}^2_k\) as above with \(\mathbb {A}^2_{t_1,t_2}\), so that we may consider \(U_1\) as an open subset of \(\mathbb {A}^2_{t_1,t_2}\). Finally, note that K is a finite extension of \(k(\mathbf {t}) = k(\mathbb {A}^d_\mathbf {t})\). Thus, there exists a nonempty open subset U of \(U_1\) such that for all \((a,b) \in U(k)\), the fiber of \(\mathbb {A}^d_\mathbf {t}\rightarrow \mathbb {A}^2_{t_1,t_2}\) over the point (a, b) is essentially unramified in K. We will show that this open set U satisfies the required assertion.
Let \((a,b) \in U(k)\) be given, and consider the (rational) projection \(\mathbb {A}^2_{t_1,t_2} \rightarrow \mathbb {P}^1_t\) induced by sending t to \((xa)/(yb)\). The fibers of this morphism are all lines in \(\mathbb {A}^2_{t_1,t_2}\) given by equations of the form
for \((c:d) \in \mathbb {P}^1(k)\) (written in homogeneous coordinates). All such lines pass through the point (a, b) in \(\mathbb {A}^2_{t_1,t_2}\) hence the fibers of the composition
are all nonempty, geometrically integral, and essentially unramified in K. Let Z be the preimage of (a, b) under the coordinate projection \(\mathbb {A}^d_\mathbf {t}\twoheadrightarrow \mathbb {A}^2_{t_1,t_2}\), and put \(X{:}{=}\, \mathbb {A}^d_\mathbf {t}{\smallsetminus } Z\). Then the surjective rational morphism \(\mathbb {A}^d_\mathbf {t}\twoheadrightarrow \mathbb {P}^1_t\) defined above is regular on X, and the induced (regular) map \(X \rightarrow \mathbb {P}^1_t\) is a smooth surjective morphism with geometrically integral fibers.
With this setup, the fact that \(\mathfrak {D}_t \rightarrow \mathscr {D}_t\) is surjective follows from Lemma 8.4, by taking X as above, \(S = \mathbb {P}^1_t\), and \(X \rightarrow S\) the map defined above. \(\square \)
The main benefit of Proposition 9.2 is that it can be used to show that stronglygeneral elements multiplicatively generate higherdimensional function fields. The following lemma is a precise formulation of this fact which we will use later.
Lemma 9.3
Let L be a relativelyalgebraically closed subfield of K, such that \(k_0 \subset L\) and \({{\mathrm{tr.deg}}}(Lk_0) \ge 2\). Then the multiplicative group \(L^\times \) is generated by elements \(t \in L^\times \) which are stronglygeneral in Kk.
Proof
It suffices to prove that every transcendental element x of L is a product of finitely many elements of L which are stronglygeneral in Kk. Since L is relatively algebraically closed in K, it follows that every nonconstant element of L is a power of some element of L which is separable in Kk. Thus, we may assume without loss of generality that x is separable. Moreover, since \({{\mathrm{tr.deg}}}(Lk \cap L) = {{\mathrm{tr.deg}}}(Lk_0) \ge 2\), there exists another element \(y \in L\) which is algebraically independent from x over k, and such that y is separable in Kk.
Note that if \((tab)/(ub)\) is stronglygeneral in Kk with \(a,b \in k\), then so is
Thus, using Proposition 9.2, the fact that \(k_0\) is infinite, and the assumption that \(k_0 \subset L\), we can find \(a,b \in k_0\) such that both
are stronglygeneral in Kk. But then we see that
is a product of two elements of L which are stronglygeneral in Kk. This concludes the proof of the lemma. \(\square \)
Rationallike collections
Let \(t \in K {\smallsetminus } k\) be given. A particularly useful consequence of Lemma 8.3 is that every element \(x \in \mathfrak {K}(t)\) is contained in all but finitely many of the \(\mathfrak {V}\in \mathfrak {D}_t\). In particular, the projection maps \(\mathfrak {K}(t) \twoheadrightarrow \mathfrak {K}(t)/\mathfrak {V}\) for \(\mathfrak {V}\in \mathfrak {D}_t\) together induce a canonical morphism
Moreover, recall that \(\mathfrak {K}(t)/\mathfrak {V}\cong \mathbb {Z}/\ell \) for all \(\mathfrak {V}\in \mathfrak {D}_t\). By choosing a collection \(\Phi = (\Phi _\mathfrak {V})_{\mathfrak {V}\in \mathfrak {D}_t}\) of isomorphisms
we thereby obtain a map
defined by \({{\mathrm{div}}}_\Phi (x) = \sum _{\mathfrak {V}\in \mathfrak {D}_t} \Phi _\mathfrak {V}(x \cdot \mathfrak {V}) \cdot [\mathfrak {V}]\). As the notation \({{\mathrm{div}}}_\Phi \) suggests, this morphism should be considered as a “mod\(\ell \)” analogue of the usual divisor map
albeit with respect to the collection of isomorphisms \(\Phi \).
Suppose now that t is strongly general in Kk, so that the canonical injective map \(\mathfrak {D}_t \rightarrow \mathscr {D}_t\) given by Lemma 8.3 is actually a bijection. In this context, we say that a collection of isomorphisms \(\Phi = (\Phi _\mathfrak {V}: \mathfrak {K}(t)/\mathfrak {V}\xrightarrow {\cong } \mathbb {Z}/\ell )_{\mathfrak {V}\in \mathfrak {D}_t}\) as above is a rationallike collection provided that the induced map
fits into a short exact sequence
For every stronglygeneral element \(t \in K {\smallsetminus } k\), there is a canonical rationallike collection \(\Psi = (\Psi _\mathfrak {V})_{\mathfrak {V}\in \mathfrak {D}_t}\) associated to the field \(\mathbb {K}(t) = k(t)\), which is defined as follows. For each \(\mathfrak {V}\in \mathfrak {D}_t\) with associated element \(v \in \mathscr {D}_t\) (i.e. \(\mathfrak {V}= \{\mathrm{U}_v\}_K\)), the isomorphism \(\Psi _\mathfrak {V}\) is the unique one making the following diagram commute:
The following Lemma shows that any rational collection is obtained from the canonical one by multiplying by some element of \((\mathbb {Z}/\ell )^\times \).
Lemma 9.4
Let \(t \in K {\smallsetminus } k\) be strongly general in Kk, and let \(\Psi = (\Psi _\mathfrak {V})_{\mathfrak {V}\in \mathfrak {D}_t}\) be the canonical rationallike collection associated to \(\mathbb {K}(t) = k(t)\). Also, let \((\Phi _\mathfrak {V})_{\mathfrak {V}\in \mathfrak {D}_t}\) be another rationallike collection. Then there exists a unique \(\epsilon \in (\mathbb {Z}/\ell )^\times \), such that \(\Phi _\mathfrak {V}= \epsilon \cdot \Psi _\mathfrak {V}\) for all \(\mathfrak {V}\in \mathfrak {D}_t\).
Proof
For each \(\mathfrak {V}\in \mathfrak {D}_t\), there exists some \(\epsilon _\mathfrak {V}\in (\mathbb {Z}/\ell )^\times \) such that
We must show that \(\epsilon _\mathfrak {V}\) is independent of \(\mathfrak {V}\). So let \(\mathfrak {V}_i\), \(i = 1,2\) be two elements of \(\mathfrak {D}_t\), and put \(\epsilon _i {:}{=}\, \epsilon _{\mathfrak {V}_i}\).
Since \(\Psi \) is a rationallike collection, there exists some \(a \in \mathfrak {K}(t)\) such that
This implies that
But the fact that \(\Phi \) is a rationallike collection implies that \(\epsilon _1 = \epsilon _2\), as required. \(\square \)
We now use the notions of stronglygeneral elements and rationallike collections to prove a proposition which will be useful in several steps of the proof of Theorem D.
Proposition 9.5
Assume that \({{\mathrm{tr.deg}}}(Kk) \ge 2\), and let \(\sigma \) be an automorphism of \({\text {k}}^\mathrm{M}_1(K)\). Then the following are equivalent:

(1)
There exists an \(\epsilon \in (\mathbb {Z}/\ell )^\times \) such that \(\sigma = \epsilon \cdot \mathbf {1}_{{\text {k}}^\mathrm{M}_1(K)}\).

(2)
For all \(\mathfrak {K}\in \mathfrak {G}^1(Kk)\), one has \(\sigma \mathfrak {K}= \mathfrak {K}\).
Proof
The implication \((1) \Rightarrow (2)\) is trivial. The proof of the nontrivial direction \((2) \Rightarrow (1)\) has three main steps:

(1)
First, we show that for all \(t \in K {\smallsetminus } k\) and for all \(\mathfrak {V}\in \mathfrak {D}_t\), one has \(\sigma \mathfrak {V}= \mathfrak {V}\).

(2)
Second, we show that for all t which is stronglygeneral in Kk, the restriction of \(\sigma \) to \(\mathfrak {K}{:}{=}\, \mathfrak {K}(t)\) is of the form \(\epsilon _\mathfrak {K}\cdot \mathbf {1}_\mathfrak {K}\), for some \(\epsilon _\mathfrak {K}\in (\mathbb {Z}/\ell )^\times \), which a priori might depend on \(\mathfrak {K}\).

(3)
Finally, we show that \(\epsilon _\mathfrak {K}\) from step (2) doesn’t actually depend on \(\mathfrak {K}\), and then conclude the proof of the proposition by using Lemma 9.3.
Step (1): Let v be a divisorial valuation of Kk. Since Kv is a function field of transcendence degree \(\ge 1\) over k, it is easy to see that \({\mathrm{U}_v}\) is multiplicatively generated by elements \({x \in \mathrm{U}_v}\) whose image in Kv is transcendental over k. For all such \({x \in \mathrm{U}_v}\), one has \({\mathbb {K}(x)^\times \subset \mathrm{U}_v}\). Thus, \(\mathfrak {U}_v\) is generated by subgroups of the form \(\mathfrak {K}(x)\) such that \(\mathfrak {K}(x) \subset \mathfrak {U}_v\). Since \(\sigma \mathfrak {K}(x) = \mathfrak {K}(x)\) for all \(x \in K {\smallsetminus } k\), it follows that \(\sigma \mathfrak {U}_v = \mathfrak {U}_v\). For any \(t \in K {\smallsetminus } k\), it follows that \(\sigma \mathfrak {V}= \mathfrak {V}\) for all \(\mathfrak {V}\in \mathfrak {D}_t\) by the definition of the elements of \(\mathfrak {D}_t\).
Step (2): Let t be stronglygeneral in Kk and put \(\mathfrak {K}= \mathfrak {K}(t)\). Consider the canonical rationallike collection \(\Psi = (\Psi _\mathfrak {V})_{\mathfrak {V}\in \mathfrak {D}_t}\) associated to \(\mathbb {K}(t) = k(t)\). Since \(\sigma \mathfrak {V}= \mathfrak {V}\) for all \(\mathfrak {V}\in \mathfrak {D}_t\), we obtain an induced rationallike collection \(\Phi = (\Phi _\mathfrak {V})_{\mathfrak {V}\in \mathfrak {D}_t}\), where \(\Phi _\mathfrak {V}{:}{=}\, \Psi _\mathfrak {V}\circ \sigma \). By Lemma 9.4, there exists some \(\epsilon _\mathfrak {K}\in (\mathbb {Z}/\ell )^\times \) depending only on \(\mathfrak {K}\) and \(\sigma \), such that \(\Phi _\mathfrak {V}= \epsilon _\mathfrak {K}\cdot \Psi _\mathfrak {V}\) for all \(\mathfrak {V}\in \mathfrak {D}_t\). In other words, for all \(x \in \mathfrak {K}\), one has
The injectivity of \({{\mathrm{div}}}_\Psi \) in the definition of \(\Psi \) being a rationallike collection implies that \(\sigma _\mathfrak {K}= \epsilon _\mathfrak {K}\cdot \mathbf {1}_\mathfrak {K}\).
Step (3): Let \(t_1,t_2\) be stronglygeneral in Kk, and put \(\mathfrak {K}_i {:}{=}\, \mathfrak {K}(t_i)\) and \(\epsilon _i {:}{=}\, \epsilon _{\mathfrak {K}_i}\) for \(i = 1,2\). If \(t_1,t_2\) are algebraically dependent over k, then \(\mathfrak {K}(t_1) = \mathfrak {K}(t_2)\), so that \(\epsilon _1 = \epsilon _2\).
Assume, on the other hand, that \(t_1,t_2\) are algebraically independent over k. Since \(t_i\) is general in Kk, we see that \(\{\{t_ia\}_K \ : \ a \in k\}\) is a linearlyindependent subset of \({\text {k}}^\mathrm{M}_1(K)\). Thus, by Proposition 9.2, we may choose \(a,b \in k\) such that \(\{t_1a\}_K\) and \(\{t_2b\}_K\) are \(\mathbb {Z}/\ell \)independent in \({\text {k}}^\mathrm{M}_1(K)\) and such that \(t_0 {:}{=}\, (t_1a)/(t_2b)\) is stronglygeneral in Kk. Put \(\mathfrak {K}_0 = \mathfrak {K}(t_0)\) and \(\epsilon _0 = \epsilon _{\mathfrak {K}_0}\).
We can now calculate:
Since \(\{t_1a\}_K\) and \(\{t_2b\}_K\) are linearly independent in \({\text {k}}^\mathrm{M}_1(K)\), it follows that \(\epsilon _1 = \epsilon _2 = \epsilon _0\). This proves that \(\epsilon _\mathfrak {K}\) doesn’t depend on \(\mathfrak {K}= \mathfrak {K}(t)\) for t stronglygeneral in Kk.
Letting \(\epsilon = \epsilon _\mathfrak {K}\) for some (hence any) \(\mathfrak {K}= \mathfrak {K}(t)\) with t stronglygeneral, we deduce that \(\sigma _\mathfrak {K}= \epsilon \cdot \mathbf {1}_\mathfrak {K}\) for all \(\mathfrak {K}= \mathfrak {K}(t)\) with t stronglygeneral. By Lemma 9.3, we see that \({\text {k}}^\mathrm{M}_1(K)\) is generated by its subgroups of the form \(\mathfrak {K}(t)\) for t stronglygeneral in Kk. Hence \(\sigma = \epsilon \cdot \mathbf {1}_{{\text {k}}^\mathrm{M}_1(K)}\), as required. \(\square \)
Faithfulness of the Galois action
We conclude this section by proving that the Galois action of \({{{\mathrm{Gal}}}_{k_0}}\) on the mod\(\ell \) Milnor Kring of K is faithful. Although there are many ways to prove this fact, we can use geometric subgroups and the BirationalBertini results to prove this for function fields of dimension \(\ge 2\). The result also holds for function fields of dimension 1, but a different argument is needed in that case.
Lemma 9.6
Suppose that \({{\mathrm{tr.deg}}}(Kk) \ge 1\). Then the canonical Galois representation
is injective. In particular, the Galois representation
is injective as well.
Proof
First if \(K = k(t)\) with \(t \in K_0\), then the claim is clear, simply because the set
is linearly independent in \({\text {k}}^\mathrm{M}_1(k(t))\), and since the action of \(\tau \in {{{\mathrm{Gal}}}_{k_0}}\) on \(\{ta\}_{k(t)}\) satisfies \(\tau \{ta\}_{k(t)} = \{t\tau a\}_{k(t)}\).
Next, if K has transcendence degree \(\ge 2\), we note that the action of \(\tau \in {{{\mathrm{Gal}}}_{k_0}}\) on \({\text {k}}^\mathrm{M}_1(K)\) restricts to an automorphism on any geometric subgroup of the form \(\mathfrak {K}(S)\) for \(S \subset K_0\). By Lemma 9.1, there exists some \(t \in K_0\) which is general in Kk. In this case, the map \({\text {k}}^\mathrm{M}_1(k(t)) \rightarrow {\text {k}}^\mathrm{M}_1(K)\) is injective with image \(\mathfrak {K}(t)\). This injection is compatible with the action of \({{{\mathrm{Gal}}}_{k_0}}\), so the assertion follows from the argument above.
Finally, suppose that \({{\mathrm{tr.deg}}}(Kk) = 1\) and suppose that \(\tau \) is in the kernel of the canonical map
Note that in order to show \(\tau = \mathbf {1}\), it suffices to prove that \(\tau a = a\) for all but finitely many \(a \in k\).
We now choose some \(t \in K_0\) such that K is finite and separable over k(t). Let C denote the complete normal model of Kk, and consider the finite (possibly branched) separable cover \(C \rightarrow \mathbb {P}^1_t\) induced by the inclusion \(k(t) \hookrightarrow K\).
Now let \(a \in k\) be given such that the point \(t = a\) in \(\mathbb {P}^1_t\) is unramified in the cover \(C \rightarrow \mathbb {P}^1_t\), and let v be a divisorial valuation of Kk whose center on C lies above this point. By our assumption on \(\tau \), it follows that
However, note that \(\{ta\}_K \notin \mathfrak {U}_v\) while \(\tau \mathfrak {U}_v = \mathfrak {U}_v\). In particular, we see that \(\{t\tau a\}_K \notin \mathfrak {U}_v\), which directly implies that \(\tau a = a\). Since this condition holds for all but finitely many \(a \in k\), we deduce that \(\tau = \mathbf {1}\), as required.
Since the morphism \(\rho _{k_0} : {{{\mathrm{Gal}}}_{k_0}}\rightarrow \underline{{{\mathrm{Aut}}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) factors through \({{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\), we deduce that the morphism \(\rho _{k_0} : {{{\mathrm{Gal}}}_{k_0}}\rightarrow {{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) is injective as well. \(\square \)
The main proof
We now turn to the proof of Theorems C and D, which is the main focus of this paper. The primary focus will be on Theorem D, since we have been primarily working with mod\(\ell \) Milnor Ktheory, while Theorem C will follow by applying Theorem 4.2.
Using the notation from Theorem D, recall that \(\mathbf {a}= (a_1,\ldots ,a_r)\) is an arbitrary (possibly empty) finite tuple of elements of \(k_0^\times \). We start off the proof by working with a fixed element \(\tau \in {{\mathrm{Aut}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\), although we will eventually replace \(\tau \) by another element \(\sigma \in {{\mathrm{Aut}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) of the form \(\epsilon \cdot \tau \) for some \(\epsilon \in (\mathbb {Z}/\ell )^\times \). In particular, \(\sigma \) and \(\tau \) represent the same element of \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\), but this \(\sigma \) will have some further special properties which we will need. In any case, if A is any subgroup of \({\text {k}}^\mathrm{M}_1(K)\) and \(\tau ,\sigma \) are as above, then one has \(\sigma A = \tau A\). Since the primary goal of the proof is to show that \(\tau \) induces an automorphism of the lattice of geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\), this observation shows that it doesn’t actually matter if we replace \(\tau \) with \(\sigma = \epsilon \cdot \tau \). We now fix this initial element \(\tau \in {{\mathrm{Aut}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\).
Recall that the definition of \({{\mathrm{Aut}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) says that \(\tau \) is an automorphism of \({\text {k}}^\mathrm{M}_1(K)\) which satisfies the following two properties:

(1)
\(\tau \) extends to an automorphism of \({\text {k}}^\mathrm{M}_*(K)\).

(2)
For all \(t \in K_0 {\smallsetminus } k_0\), \(\tau \) restricts to an automorphism of the subgroup
$$\begin{aligned} \langle \{t\}_K,\{ta_1\}_K,\ldots ,\{ta_r\}_K \rangle . \end{aligned}$$
The following fact summarizes the formulation of these two conditions which will form the starting point of our proof.
Fact 10.1
In the context above, the following hold:

(1)
Let \(x_1,\ldots ,x_r \in {\text {k}}^\mathrm{M}_1(K)\) be given. Then one has \(\{x_1,\ldots ,x_r\}_K = 0\) if and only if one has \(\{\tau x_1,\ldots ,\tau x_r\}_K = 0\).

(2)
For all \(t \in K_0 {\smallsetminus } k_0\), one has \(\tau \{t\}_K \in \langle \{t\}_K,\{ta_1\}_K,\ldots ,\{ta_r\}_K \rangle \).
Acceptable subsets
As discussed above, the primary goal of the proof is to show that the action of \(\tau \) on the subgroups of \({\text {k}}^\mathrm{M}_1(K)\) induces an automorphism of the lattice \(\mathfrak {G}^*(Kk)\) of geometric subgroups. With this in mind, we say that a subset \(S \subset K\) is \(\tau \) acceptable if there exists a subset T of K such that
Thus, the primary goal of the proof is to show that every subset of K is \(\tau \)acceptable, and we will then conclude the proof by applying Corollary 7.4. The following fact follows immediately from Lemma 6.6 and Fact 10.1(1), and it essentially reduces our primary goal to showing that every element of K is acceptable.
Fact 10.2
Suppose that \((S_i)_i\) is a collection of \(\tau \)acceptable subsets of K, and for each i, let \(T_i\) be a subset of K such that
Put \(S = \bigcup _i S_i\) and \(T = \bigcup _i T_i\). Then one has \(\tau \mathfrak {K}(S) = \mathfrak {K}(T)\). In particular, S is \(\tau \)acceptable.
Fixing \(K_0\)
We begin by showing that every subset of \(K_0\) is \(\tau \)acceptable. In fact, since our goal will be to apply Corollary 7.4, we must show the stronger property that \(\tau \mathfrak {K}(S) = \mathfrak {K}(S)\) for all subsets \(S \subset K_0\). This assertion is the starting point of the proof and is accomplished in the following lemma.
Lemma 10.3
Let \(S \subset K_0\) be a subset. Then one has \(\tau \mathfrak {K}(S) = \mathfrak {K}(S)\). In particular, every subset of \(K_0\) is \(\tau \)acceptable.
Proof
By Fact 10.2, it suffices to prove that \(\tau \mathfrak {K}(t) = \mathfrak {K}(t)\) for all \(t \in K_0 {\smallsetminus } k_0\). By Corollary 6.4, one has
By Fact 10.1(1), we see that
On the other hand, Fact 10.1(2) implies that \(\tau \{tc\}_K \in \mathfrak {K}(t)\) for all \(c \in k_0\). Moreover, for all \(x \in \mathfrak {K}(t)\), one has \(\mathfrak {K}(t) \subset \ker \{x,\bullet \}_K\) by Fact 6.1. In particular, we deduce that \(\mathfrak {K}(t) \subset \tau \mathfrak {K}(t)\). Repeating this argument with \(\tau ^{1} \in {{\mathrm{Aut}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\) in place of \(\tau \), we deduce that \(\mathfrak {K}(t) = \tau \mathfrak {K}(t)\), as required. \(\square \)
Although Lemma 10.3 will be used in the final steps of the proof, we will need a stronger variant of this result. Namely, we will need to prove that there exists a \(\sigma \) of the form \(\sigma = \epsilon \cdot \tau \) for some \(\epsilon \in (\mathbb {Z}/\ell )^\times \) such that \(\sigma \{t\}_K = \{t\}_K\) for all \(t \in K_0^\times \). This stronger variant appears in Proposition 10.6 below, and proving this proposition is the main goal of this subsection. Naturally, this property can be seen as a crude approximation to our goal of proving that \(\tau \) arises from some element of \({{{\mathrm{Gal}}}_{k_0}}\).
Let \((v_1,\ldots ,v_r)\) be a flag of divisorial valuations of Kk of length \(r < {{\mathrm{tr.deg}}}(Kk)\). Since \(\tau \) is an element of \({{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\), we recall from Sect. 5.3 (specifically Theorem 5.4) that there exists a unique flag \((v_1^\tau ,\ldots ,v_r^\tau )\) of quasidivisorial valuations of Kk which satisfies
for all \(i = 1,\ldots ,r\). We now use Lemma 10.3 to prove that this induced flag actually consists of divisorial valuations.
Lemma 10.4
Let \((v_1,\ldots ,v_r)\) be a flag of divisorial valuations of Kk, with \(r < {{\mathrm{tr.deg}}}(Kk)\). Then \((v_1^\tau ,\ldots ,v_r^\tau )\) is a flag of divisorial valuations of Kk.
Proof
By Theorem 5.4, the valuation \(v_i^\tau \) is the iquasidivisorial valuation of Kk which is uniquely determined by the fact that
On the other hand, by Proposition 5.5, there exists some \(t \in K_0 {\smallsetminus } k_0\) such that \(\mathfrak {K}(t) \cap \mathfrak {U}_{v_i}^1\) is finite, since \(v_i\) is idivisorial. But then by Lemma 10.3, we see that
is finite as well. Hence \(v_i^\tau \) is an idivisorial valuation by Proposition 5.5. \(\square \)
To simplify the exposition for the rest of the proof, we will introduce some notation to label the elements of \(\mathscr {D}_t\) and \(\mathfrak {D}_t\) for a stronglygeneral element t. If we fix an element \(t \in K {\smallsetminus } k\) which is stronglygeneral in Kk, then the canonical map
defined in Lemma 8.3 is a bijection. Since \(\mathbb {K}(t) = k(t)\) (as t is, in particular, general), the elements of \(\mathscr {D}_t\) are in bijection with the closed points of \(\mathbb {P}^1_t\). Thus \(\mathfrak {D}_t\) is also parametrized by the closed points of \(\mathbb {P}^1_t\), via the bijection \(\mathfrak {D}_t \rightarrow \mathscr {D}_t\). By fixing the parameter t, we can label the closed points of \(\mathbb {P}^1_t\) as \(k \cup \{\infty \}\) in the usual way. Namely, for \(c \in k\), the corresponding point of \(\mathbb {P}^1_t\) is the closed point given by the equation \(tc = 0\), and the point associated to \(\infty \) is the closed point given by \(1/t = 0\). We will denote the element of \(\mathfrak {D}_t\) associated to \(c \in k \cup \{\infty \}\) by \(\mathfrak {V}[t;c]\), and we will denote the element of \(\mathscr {D}_t\) associated to c by v[t; c]. Using this notation, we recall from Lemma 8.3 that for all \(c \in k \cup \{\infty \}\), one has
as subgroups of \({\text {k}}^\mathrm{M}_1(K)\), and that one has \(\mathfrak {K}(t)/\mathfrak {V}[t;c] \cong \mathbb {Z}/\ell \) for all \(c \in k \cup \{\infty \}\).
A change of the parameter t by some fractionallinear transformation yields a corresponding change in the associated element of \(k \cup \{\infty \} = \mathbb {P}^1(k)\). More precisely, if we let \({\mathrm{GL}}_2(k)\) act on \(\mathbb {P}^1(k)\) and on the generators of k(t)k by fractionallinear transformations, as usual, and if \(M \in {\mathrm{GL}}_2(k)\) is given, then for all \(c \in \mathbb {P}^1(k)\), one has
as subgroups of \({\text {k}}^\mathrm{M}_1(K)\).
For an element x of \(\mathfrak {K}(t)\), we define the support of x in \(\mathfrak {D}_t\) as
This is completely analogous to the usual notion of the support of a function \(f \in k(t)^\times \) in \(\mathbb {P}^1(k) = \mathscr {D}_t\). In particular, using the notation introduced above, note that one has
for all \(c \in k\).
The following lemma shows that \(\tau \) fixes subgroups of the form \(\mathfrak {V}[t;c]\) which arise from \(K_0\), i.e. such that \(t \in K_0 {\smallsetminus } k_0\) and \(c \in \mathbb {P}^1(k_0)\). This is a key step towards proving Proposition 10.6 below. The proof of this lemma essentially follows by considering the \(\mathfrak {D}_t\)supports of various elements associated to t and using Fact 10.1(2).
Lemma 10.5
Let \(t \in K_0 {\smallsetminus } k_0\) be strongly general in Kk, and let \(c \in \mathbb {P}^1(k_0)\) be given. Then one has \(\tau \mathfrak {V}[t;c] = \mathfrak {V}[t;c]\).
Proof
By replacing t with another element of \(K_0\) which generates \(\mathbb {K}(t) = k(t)\) over k, it suffices to prove that \(\tau \mathfrak {V}[t;\infty ] = \mathfrak {V}[t;\infty ]\). By Fact 10.1(2), we know that
By combining Lemmas 10.3 and 10.4 with the definition of \(\mathfrak {D}_t\), it follows that for all \(\mathfrak {V}\in \mathfrak {D}_t\), one has \(\tau \mathfrak {V}\in \mathfrak {D}_t\) as well. In other words, \(\mathfrak {V}\mapsto \tau \mathfrak {V}\) can be considered as a permutation of \(\mathfrak {D}_t\).
Note that the \(\mathfrak {D}_t\)support of any element of
is contained in the set
And since the \(\mathfrak {D}_t\)support of \(\{t\}_K\) is \(\{\mathfrak {V}[t;0],\mathfrak {V}[t;\infty ]\}\), it follows that one has
For \(c \in k_0^\times \) and \(a \in k\), one has \(\mathfrak {V}[t/c;a] = \mathfrak {V}[t;ca]\); in particular \(\mathfrak {V}[t;0] = \mathfrak {V}[t/c;0]\) for all \(c \in k_0^\times \). By varying \(c \in k_0^\times \) and using the fact that \(k_0\) is infinite, we deduce that
By replacing t with \(t^{1}\), it follows similarly that
as well. Hence \(\tau \) restricts to a permutation of \(\{\mathfrak {V}[t;0],\mathfrak {V}[t;\infty ]\}\).
Finally, for \(c \in k_0\), one has \(\mathfrak {V}[tc;0] = \mathfrak {V}[t;c]\). Repeating the argument above with \(tc\) for \(c \in k_0\), we deduce that
for all \(c \in k_0\). But since \(\mathfrak {V}[t;c] \ne \mathfrak {V}[t;0]\) for \(c \in k_0^\times \) (since t is stronglygeneral in Kk), it follows that \(\tau \mathfrak {V}[t;\infty ] = \mathfrak {V}[t;\infty ]\), as required. \(\square \)
As mentioned above, the following proposition is the primary goal of this subsection, and it can be seen as the first major step towards the proof of Theorem D.
Proposition 10.6
Assume that \({{\mathrm{tr.deg}}}(Kk) \ge 2\). Then there exists a unique \(\epsilon \in (\mathbb {Z}/\ell )^\times \) such that the following hold:

(1)
For all \(t \in K_0^\times \), one has \(\tau \{t\}_K = \epsilon \cdot \{t\}_K\).

(2)
For all \(t \in K_0\) which is strongly general in Kk and for all \(b \in k\), there exists a unique \(c \in k\) such that \(\tau \{tb\}_K = \epsilon \cdot \{tc\}_K\).
Proof
First, let us assume that \(t \in K_0{\smallsetminus } k_0\) is stronglygeneral in Kk. Recall that the following hold:

(1)
First, \(\tau \mathfrak {K}(t) = \mathfrak {K}(t)\) by Lemma 10.3.

(2)
Second, one has \(\tau \mathfrak {V}\in \mathfrak {D}_t\) for all \(\mathfrak {V}\in \mathfrak {D}_t\) by Lemma 10.4 and the definition of \(\mathfrak {D}_t\).

(3)
Third, for all \(c \in k_0 \cup \{\infty \} = \mathbb {P}^1(k_0)\), one has \(\tau \mathfrak {V}[t;c] = \mathfrak {V}[t;c]\) by Lemma 10.5.
In particular, \(\tau \) induces isomorphisms \(\tau : \mathfrak {K}(t)/\mathfrak {V}\xrightarrow {\cong } \mathfrak {K}(t)/\tau \mathfrak {V}\) for every \(\mathfrak {V}\in \mathfrak {D}_t\).
Let \(\Psi = (\Psi _\mathfrak {V})_{\mathfrak {V}\in \mathfrak {D}_t}\) be the canonical rationallike collection associated to \(\mathbb {K}(t)k\), as defined in Sect. 9.3. Consider the induced rationallike collection \(\Psi ^\tau = (\Psi ^\tau _{\mathfrak {V}})_{\mathfrak {V}\in \mathfrak {D}_t}\), where the isomorphism \(\Psi ^\tau _{\tau \mathfrak {V}} : \mathfrak {K}(t)/\tau \mathfrak {V}\xrightarrow {\cong }\mathbb {Z}/\ell \) indexed by \(\tau \mathfrak {V}\) is the unique one making the following diagram commute:
By Lemma 9.4, there exists an \(\epsilon _t \in (\mathbb {Z}/\ell )^\times \) such that \(\epsilon _t \cdot \Psi _{\tau \mathfrak {V}} = \Psi ^\tau _{\tau \mathfrak {V}}\) for all \(\mathfrak {V}\in \mathfrak {D}_t\). Since it will be used later on, recall that this \(\epsilon _t\) only depends on \(\mathfrak {K}(t)\) and \(\tau \). \(\square \)
Proof of (1):
Now let \(c \in k_0\) be given. Then one has \({{\mathrm{div}}}_\Psi (\{tc\}_K) = [\mathfrak {V}[t;c]]  [\mathfrak {V}[t;\infty ]]\) since \(\Psi \) is the canonical rationallike collection associated to \(\mathbb {K}(t)\).
By Lemma 10.5, one has \(\tau \mathfrak {V}[t;c] = \mathfrak {V}[t;c]\) and \(\tau \mathfrak {V}[t;\infty ] = \mathfrak {V}[t;\infty ]\). And since \(\Psi ^\tau _{\tau \mathfrak {V}} = \epsilon _t \cdot \Psi _{\tau \mathfrak {V}}\) for all \(\mathfrak {V}\in \mathfrak {D}_t\), we deduce that
The injectivity of \({{\mathrm{div}}}_\Psi \) implies that \(\tau \{tc\}_K = \epsilon _t \cdot \{tc\}_K\).
In order to conclude the proof of assertion (1), we will apply Lemma 9.3 to the subfield \(K_0\) of K. In light of this, it suffices to show that the \(\epsilon _t\) which appears in the argument above is independent of \(\mathfrak {K}(t)\) for \(t \in K_0\) which is stronglygeneral in Kk.
With this in mind, suppose that \(u,t \in K_0\) are both stronglygeneral in Kk. Let \(\epsilon _t\) resp. \(\epsilon _u\) be as above, and assume for a contradiction that \(\epsilon _t \ne \epsilon _u\). Since the \(\epsilon _t\) resp. \(\epsilon _u\) depends only on \(\mathfrak {K}(t)\) resp. \(\mathfrak {K}(u)\) and \(\tau \), this implies that \(\mathfrak {K}(t) \ne \mathfrak {K}(u)\), hence \(\mathbb {K}(t) \ne \mathbb {K}(u)\) by Proposition 7.3. In particular, u, t are algebraically independent over k.
By Proposition 9.2, there exists a nonempty open subset U of \(\mathbb {A}^2_k\) such that \((a,b) \in U(k)\) implies that \((ta)/(ub)\) is stronglygeneral in Kk. Moreover, since t, u are general in Kk, it follows that the sets \(\{\{ta\}_K\}_{a \in k_0}\), \(\{\{ua\}_K\}_{a \in k_0}\) are \(\mathbb {Z}/\ell \)independent in \({\text {k}}^\mathrm{M}_1(K)\). Since \(k_0\) is infinite, there exists some \((a,b) \in U(k_0)\) such that \(\{ta\}_K\) and \(\{ub\}_K\) are \(\mathbb {Z}/\ell \)independent in \({\text {k}}^\mathrm{M}_1(K)\).
Put \(x = (ta)/(ub)\), and recall that \(x \in K_0\) and that x is stronglygeneral in Kk. Let \(\epsilon _x\) be again as above. Now we calculate, similarly to the proof of Proposition 9.5:
Since \(\{ta\}_K\) and \(\{ub\}_K\) are linearlyindependent in \({\text {k}}^\mathrm{M}_1(K)\), it follows that \(\epsilon _t = \epsilon _x = \epsilon _u\). This concludes the proof of (1), and we let \(\epsilon \) be the unique element of \((\mathbb {Z}/\ell )^\times \) such that \(\tau \{t\}_K = \epsilon \cdot \{t\}_K\) for all \(t \in K_0\). I.e. \(\epsilon = \epsilon _t\) for some/all \(t \in K_0\) which is stronglygeneral in Kk. \(\square \)
Proof of (2):
Let \(b \in k\) be given, assume that \(t \in K_0\) is stronglygeneral in Kk, and let \(\epsilon \) be as in the proof of (1) above. By Lemma 10.5, we see that \(\tau \mathfrak {V}[t;\infty ] = \mathfrak {V}[t;\infty ]\). Since \(\mathfrak {V}[t;b] \ne \mathfrak {V}[t;\infty ]\), it follows that there exists a unique \(c \in k\) such that \(\tau \mathfrak {V}[t;b] = \mathfrak {V}[t;c]\). Arguing similarly to the above, we have
The injectivity of \({{\mathrm{div}}}_\Psi \) implies that \(\tau \{tb\}_K = \epsilon \cdot \{tc\}_K\), as required. Finally, the uniqueness of c follows from the fact that \(c \mapsto \mathfrak {V}[t;c] : \mathbb {P}^1(k) \rightarrow \mathfrak {D}_t\) is a bijection, and that c is uniquely determined by the condition that \(\tau \mathfrak {V}[t;b] = \mathfrak {V}[t;c]\). \(\square \)
At this point, we will fix \(\sigma {:}{=}\, \epsilon ^{1} \cdot \tau \) with \(\epsilon \in (\mathbb {Z}/\ell )^\times \) as in Proposition 10.6. In particular, \(\sigma \) has the following crucial properties:

(1)
\(\sigma \) and \(\tau \) represent the same element of \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\). In particular \(\sigma A = \tau A\) for all subgroups A of \({\text {k}}^\mathrm{M}_1(K)\). Thus, one has \(\sigma \mathfrak {K}(S) = \mathfrak {K}(S)\) for all \(S \subset K_0\) by Lemma 10.3.

(2)
One has \(\sigma \{t\}_K = \{t\}_K\) for all \(t \in K_0^\times \) by Proposition 10.6(1).

(3)
If \(t \in K_0\) is stronglygeneral in Kk, and \(b \in k\) is arbitrary, then there exists a unique element \(c \in k\) such that \(\sigma \{tb\}_K = \{tc\}_K\), by Proposition 10.6(2).
At this stage in the proof, the main missing step is that we have no apparent control over the c which appears in point (3) above. Namely, this c might a priori vary as we change the element t. The next proposition gives a crucial sufficient condition for the independence of this c from t.
Proposition 10.7
Let \(x,y \in K_0\) be two elements which are algebraically independent over k. Let \(e,f \in k_0\) be such that \(t_e {:}{=}\, (xe)/y\) and \(t_f := (xf)/y\) are stronglygeneral in Kk, and let \(b \in k\) be given. Assume that there exists a regular kvariety X and a dominant smooth morphism \(X \rightarrow \mathbb {P}^2_{x,y}\) with geometrically integral fibers, such that the following hold:

(1)
The closed point \((0:b:1) \in \mathbb {P}^2_{x,y}\) is in the image of \(X \rightarrow \mathbb {P}^2_{x,y}\).

(2)
K is a finite extension of k(X).

(3)
The fiber of \(X \rightarrow \mathbb {P}^2_{x,y}\) over (0 : b : 1) is essentially unramified in K.
Then there exists a unique \(c \in k\) such that \(\sigma \{t_eb\}_K = \{t_ec\}_K\) and \(\sigma \{t_fb\}_K = \{t_fc\}_K\).
Proof
For \(f_1,\ldots ,f_s \in k[x,y]\), we denote by \(V(f_1,\ldots ,f_s)\) the (reduced) closed subvariety of \(\mathbb {A}^2_{x,y}\) given by the ideal \(\sqrt{(f_1,\ldots ,f_s)}\). We will abuse the notation, and also write \(V(f_1,\ldots ,f_r)\) for the closure of this subvariety in \(\mathbb {P}^2_{x,y}\), also considered as a (reduced) subvariety. Following our notational conventions, we denote the closed points of \(\mathbb {P}^2_{x,y}\) by their associated krational point, written in homogeneous coordinates. In particular, the closed points of \(\mathbb {A}^2_{x,y}\) are written as \((1:a_1:a_2)\), \(a_1,a_2 \in k\), and the points of \(\mathbb {P}^2_{x,y} {\smallsetminus } \mathbb {A}^2_{x,y}\) are written as \((0:a_1:a_2)\), \(a_1,a_2 \in k\), \((a_1,a_2) \ne (0,0)\).
Let v denote the divisorial valuation of k(x, y)k associated to the prime Weildivisor \(Z := \mathbb {P}^2_{x,y} {\smallsetminus } \mathbb {A}^2_{x,y}\) on \(\mathbb {P}^2_{x,y}\). For any \(a \in k\), let \(v_a\) be the 2divisorial valuation of k(x, y)k refining v which is associated to the point (0 : a : 1) on Z. Thus \((v,v_a)\) is a flag of divisorial valuations of k(x, y)k of length 2.
Let \(\eta \) denote the generic point of Z. To simplify the exposition later in the proof, we will say that \(a \in k\) is allowable if the fiber of \(X \rightarrow \mathbb {P}^2_{x,y}\) over the point (0 : a : 1) is nonempty and essentially unramified in K. Since (0 : b : 1) lies on Z, assumptions (1) and (3) imply that the fiber \(X_\eta \) of \(X \rightarrow \mathbb {P}^2_{x,y}\) over \(\eta \) is nonempty and essentially unramified in K. Therefore, we see that all but finitely many \(a \in k\) (including b) are allowable.
For \(h \in k\), we write \(t_h := (xh)/y\). We also write \(t := t_0 = x/y\). Note that for all \(a \in k\), the system \((1/x,ta)\) is a system of regular parameters for the regular closed point (0 : a : 1), and the flag of divisorial valuations associated to this system is precisely \((v,v_a)\). Thus, by the discussion of Sect. 8.4 and using Fact 8.2, we see that there exists an \(\ell \)unramified prolongation w of v to K. In other words, w is a divisorial valuation of Kk which prolongs v, and the canonical map
is an isomorphism. Using the same argument, for any allowable \(a \in k\), there exists an \(\ell \)unramified prolongation \(w_a\) of \(v_a\) to K which refines w. In other words, for such \(a \in k\), \(w_a\) is a 2divisorial valuation of Kk which refines w and prolongs \(v_a\), and one has a canonical isomorphism
Note also that one has \(\{t_ha\}_{k(x,y)} \in \{\mathrm{U}_v\}_{k(x,y)}{\smallsetminus }\{\mathrm{U}_{v_a}\}_{k(x,y)}\) for all \(h \in k\). To summarize, for any allowable \(a \in k\), the flag \((w,w_a)\) is an \(\ell \)unramified prolongation of \((v,v_a)\) to K, and the following conditions hold:

(1)
One has \(\{1/x\}_K \in {\text {k}}^\mathrm{M}_1(K) {\smallsetminus } \mathfrak {U}_w\) hence \(\{x\}_K \in {\text {k}}^\mathrm{M}_1(K) {\smallsetminus } \mathfrak {U}_w\).

(2)
For all \(h \in k\), one has \(\{t_ha\}_K \in \mathfrak {U}_w {\smallsetminus } \mathfrak {U}_{w_a}\).
By Lemma 10.4, there exists a unique divisorial valuation \(w^\sigma \) of Kk, and for every allowable \(a \in k\) as above, there exists a unique 2divisorial valuation \(w_a^\sigma \) of Kk, such that the following conditions hold:

(1)
\(w_a^\sigma \) refines \(w^\sigma \).

(2)
\(\sigma \mathfrak {U}_w = \mathfrak {U}_{w^\sigma }\) and \(\sigma \mathfrak {U}_w^1 = \mathfrak {U}_{w^\sigma }^1\).

(3)
\(\sigma \mathfrak {U}_{w_a} = \mathfrak {U}_{w_a^\sigma }\) and \(\sigma \mathfrak {U}_{w_a}^1 = \mathfrak {U}_{w_a^\sigma }^1\).
Finally, we let \(v^\sigma \) resp. \(v_a^\sigma \) be the restrictions of \(w^\sigma \) resp. \(w_a^\sigma \) to k(x, y).
Claim
One has \(v^\sigma = v\).
Proof
Recall that \(\eta \) denotes the generic point of Z in \(\mathbb {P}^2_{x,y}\). As \(\mathbb {P}^2_{x,y}\) is proper over k, the valuation \(v^\sigma \) has a unique center on \(\mathbb {P}^2_{x,y}\). Since \(\eta \) is a regular codimension 1 point of \(\mathbb {P}^2_{x,y}\), it suffices to show that the center of \(v^\sigma \) on \(\mathbb {P}^2_{x,y}\) is \(\eta \).
Recall that one has \(\sigma \{x\}_K = \{x\}_K\) by Proposition 10.6, and that \(\sigma \mathfrak {U}_w = \mathfrak {U}_{w^\sigma }\) as noted above. Since \(\{x\}_K \notin \mathfrak {U}_w\), we see that
In particular, \(v^\sigma (x) \ne 0\). This implies that the center of \(v^\sigma \) on \(\mathbb {P}^2_{x,y}\) is contained in the support of the function x, which is \(V(x) \cup Z\).
On the other hand, note that one also has \({\{x1\}_{k(x,y)} \notin \{\mathrm{U}_v\}_{k(x,y)}}\), hence \(\{x1\}_K\) is also a generator of \({\text {k}}^\mathrm{M}_1(K)/\mathfrak {U}_w\). By repeating the same argument with \(x1\) in place of x, and noting that \(\sigma \{x1\}_K = \{x1\}_K\) by Proposition 10.6, we deduce that the center of \(v^\sigma \) on \(\mathbb {P}^2_{x,y}\) must actually be contained in Z, since the support of \(x1\) on \(\mathbb {P}^2_{x,y}\) is \(V(x1) \cup Z\).
Now assume for a contradiction that the center of \(v^\sigma \) is a closed point P on Z. For an allowable \(a \in k\), recall that \(v_a^\sigma \) refines v. It therefore follows that the center of \(v_a^\sigma \) on \(\mathbb {P}^2_{x,y}\) must also be this closed point P.
Now let \(a_0 \in k_0\) be allowable—such an \(a_0\) exists since \(k_0\) is infinite. By Proposition 10.6, we have \(\{ta_0\}_K = \sigma \{ta_0\}_K\). Therefore \(\{ta_0\}_K \notin \mathfrak {U}_{w_{a_0}^\sigma }\), hence \(v_{a_0}^\sigma (ta_0) \ne 0\). By considering the support of \(ta_0\) in \(\mathbb {P}^2_{x,y}\), we see that the point P must be either the point \((0:a_0:1)\) or the point (0 : 1 : 0). In fact, it follows that P must be the point (0 : 1 : 0) since we can repeat this argument with a different allowable \(a_1 \in k_0\), \(a_1 \ne a_0\), which exists since \(k_0\) is infinite.
Now consider the function \((ta_0)/(ta_1)\) for \(a_1 \in k_0\) distinct from \(a_0\). By Proposition 10.6, we have \(\{(ta_0)/(ta_1)\}_K = \sigma \{(ta_0)/(ta_1)\}_K\), while \(\{ta_1\}_K \in \mathfrak {U}_{w_{a_0}}\). Therefore, \(\{(ta_0)/(ta_1)\}_K \notin \mathfrak {U}_{w_{a_0}^\sigma }\), hence \(v_{a_0}^\sigma ((ta_0)/(ta_1)) \ne 0\). By looking at the support of \((ta_0)/(ta_1)\) on \(\mathbb {P}^2_{x,y}\), we obtain a contradiction to the fact that \(P = (0:1:0)\).
Having obtained our contradiction, it follows that the center of \(v^\sigma \) cannot be a closed point on Z. This means that the center of \(v^\sigma \) must be the generic point of Z, which concludes the proof of the claim. \(\square \)
Recall from Proposition 10.6(2) that there exist unique constants \(b_e,b_f \in k\) such that \(\sigma \{t_eb\}_K = \{t_eb_e\}_K\) and \(\sigma \{t_fb\}_K = \{t_fb_f\}_K\). We must show that \(b_e = b_f\).
Note that one has \(\{t_eb\}_K \in \mathfrak {U}_w {\smallsetminus } \mathfrak {U}_{w_b}\), so that by Proposition 10.6, we have
In particular, \(v_b^\sigma \) is a proper refinement of \(v^\sigma \). Thus, the center Q of \(v_b^\sigma \) on \(\mathbb {P}^2_{x,y}\) must be a closed point on the line Z at infinity, for otherwise this center would be \(\eta \) which would imply that \(v^\sigma = v^\sigma _b\) by the claim above.
Let \(a \in k_0\) be different from b. By Proposition 10.6, we see that one has \(\sigma \{(t_eb)/(t_ea)\}_K = \{(t_eb_e)/(t_ea)\}_K,\) and thus
By considering the support of the function \((t_eb_e)/(t_ea)\) on \(\mathbb {P}^2_{x,y}\), it follows that Q cannot be the point (0 : 1 : 0). Thus, this center Q must be a point of the form (0 : c : 1) for some \(c \in k\). Recalling that
so that \(v_b^\sigma (t_eb_e) \ne 0\), we deduce from this that \(b_e = c\). Finally, by noting that also
we deduce similarly that \(b_f = c\). Thus, one has \(c = b_e = b_f\), as required. \(\square \)
Intersections
We now turn to the second main part of the proof. In this part, we develop a condition for detecting onedimensional geometric subgroups as intersections of certain twodimensional geometric subgroups. The first lemma in this direction shows that any onedimensional geometric subgroup can actually be realized as the intersection of two twodimensional geometric subgroups. The second lemma in this direction gives a sufficient condition for the intersection of two twodimensional geometric subgroups to be geometric.
Lemma 10.8
Assume that \({{\mathrm{tr.deg}}}(Kk) \ge 4\). Let \(t \in K {\smallsetminus } k\) be given, and put \(F = \mathbb {K}(t)\). Let \(t_1,t_2,t_3 \in K\) be algebraically independent over F. Then there exist \(a,b \in k_0\) such that
Proof
Extend \(t_1,t_2,t_3\) to a transcendence base \(\mathbf {t}= (t_1,\ldots ,t_r)\) for KF, and let \(K'\) denote the maximal separable subextension of \(KF(\mathbf {t})\). Note that \(K'\) is then a regular extension of F. By Lemma 9.1(1), for all but finitely many \(a \in k\), the field \(K'\) is regular over \(F(t_1+a \cdot t_3)\); since \(k_0\) is infinite, we may choose such an a which lies in \(k_0\). Applying Lemma 9.1(1) again, for all but finitely many \(b \in k\), the field \(K'\) is regular over \(F(t_1 + a \cdot t_3,t_2 + b \cdot t_3)\); again, we may choose such a b which lies in \(k_0\). We put \(x = t_1 + a \cdot t_3\) and \(y = t_2 + b \cdot t_3\) for \(a,b \in k_0\) as above.
Next, put \(F_1 = F(x)\), \(F_2 = F(y)\) and \(F_{12} = F(x,y)\), and note that \(F_*\) is relatively algebraically closed in \(K'\) for \(* = 1,2,12\). Also, for \(* = 1,2,12\), let \(M_*\) denote the relative algebraic closure of \(F_*\) in K. Since \(KK'\) is purelyinseparable, the extension \(M_*F_*\) is also purelyinseparable.
Since \(F_{12} = F(x,y)\) is rational over F and \(F_1 = F(x)\), \(F_2 = F(y)\), it is easy to see that one has \(\{F_1^\times \}_{F_{12}} \cap \{F_2^\times \}_{F_{12}} = \{F^\times \}_{F_{12}}\) as subgroups of \({\text {k}}^\mathrm{M}_1(F_{12})\). Since \({\text {k}}^\mathrm{M}_1(F_{12}) \rightarrow {\text {k}}^\mathrm{M}_1(K')\) is injective, we deduce that
Finally, the fact that
follows easily from Lemma 3.1 using the fact that the extensions \(M_*F_*\), \(* = 1,2,12\), and \(KK'\) are purelyinseparable. This concludes the proof of the lemma since \(\mathfrak {K}(t,x) = \{M_1^\times \}_K\) and \(\mathfrak {K}(t,y) = \{M_2^\times \}_K\). \(\square \)
Lemma 10.9
Let \(\mathfrak {K}\) be a subgroup of \({\text {k}}^\mathrm{M}_1(K)\) which is maximal among the subgroups \(\Delta \) of \({\text {k}}^\mathrm{M}_1(K)\) such that \(\dim ^\mathrm{M}(\Delta ) = 1\). Assume furthermore that there exist elements of \(\mathfrak {G}^*(Kk)\) denoted as follows

\(A \in \mathfrak {G}^1(Kk)\)

\(B_1,B_2,C \in \mathfrak {G}^2(Kk)\)

\(B_1',B_2',D \in \mathfrak {G}^3(Kk)\)
such that the following conditions hold:

(1)
\(B_1 \cup B_2 \subset D\), \(B_1 \ne B_2\), and \(A \not \subset D\).

(2)
\(B_1 \cup A \subset B_1'\) and \(B_2 \cup A \subset B_2'\).

(3)
\(C \subset B_1' \cap B_2'\) and \(\mathfrak {K}= B_1 \cap B_2\).
Then \(\mathfrak {K}\) is a onedimensional geometric subgroup of \({\text {k}}^\mathrm{M}_1(K)\), i.e. one has \(\mathfrak {K}\in \mathfrak {G}^1(Kk)\).
Proof
First suppose that \(t \in K {\smallsetminus } k\) is given, and consider the geometric subgroup \(\mathfrak {K}(t)\). Then for all \(a,b \in \mathfrak {K}(t)\), one has \(\{a,b\}_K = 0\) by Fact 6.1. Moreover, by Proposition 6.3, if \(c \in {\text {k}}^\mathrm{M}_1(K) {\smallsetminus } \mathfrak {K}(t)\), then there exist (many) elements \(d \in \mathfrak {K}(t)\) such that \(\{c,d\}_K \ne 0\). In particular, \(\mathfrak {K}(t)\) is maximal among subgroups \(\Delta \) of \({\text {k}}^\mathrm{M}_1(K)\) such that \(\dim ^\mathrm{M}(\Delta ) = 1\).
Now suppose that \(\mathfrak {K}\) satisfies the assumptions on the lemma. The goal of this proof will be to show that there exists some \(t \in K {\smallsetminus } k\) such that \(\mathfrak {K}(t) \subset \mathfrak {K}\). Then the “maximality” in the observation above would imply that \(\mathfrak {K}(t) = \mathfrak {K}\). We will tacitly use Proposition 7.3(1), which says that for \(E_1,E_2 \in \mathbb {G}^*(Kk)\), one has \(E_1 \subset E_2\) if and only if \(\mathfrak {K}(E_1) \subset \mathfrak {K}(E_2)\) as subgroups of \({\text {k}}^\mathrm{M}_1(K)\).
Let \(F_1,F_2 \in \mathbb {G}^2(Kk)\) be such that \(\mathfrak {K}(F_i) = B_i\) and put \(F = F_1 \cap F_2\). Then condition (1) implies that \(F_1 \ne F_2\) hence \({{\mathrm{tr.deg}}}(Fk) \le 1\). Let \(F_{12} \in \mathbb {G}^3(Kk)\) be such that \(\mathfrak {K}(F_{12}) = D\), then condition (1) implies that \(F_1 \cdot F_2 \subset F_{12}\). Let \(x \in K {\smallsetminus } k\) be such that \(A = \mathfrak {K}(x)\). Condition (1) implies that x is transcendental over \(F_{12}\), hence it is also transcendental over \(F_1\) and \(F_2\). Thus, one has \(B_i' = \mathfrak {K}(F_i,x)\) by condition (2).
On the other hand, x being transcendental over \(F_{12}\), and \(F_1 \cdot F_2 \subset F_{12}\), implies that
On the other hand, letting \(M \in \mathbb {G}^2(Kk)\) be such that \(\mathfrak {K}(M) = C\), we deduce from condition (3) that \(M \subset \mathbb {K}(F_1,x)\) and \(M \subset \mathbb {K}(F_2,x)\), hence \({{\mathrm{tr.deg}}}(\mathbb {K}(F,x)k) \ge 2\). Since \({{\mathrm{tr.deg}}}(Fk) \le 1\) holds, we deduce that \({{\mathrm{tr.deg}}}(\mathbb {K}(F,x)k) = 2\) and therefore \({{\mathrm{tr.deg}}}(Fk) = 1\).
Finally, one has
Therefore, \(\mathfrak {K}(F) \subset \mathfrak {K}\) by condition (3). Letting \(t \in K {\smallsetminus } k\) be such that \(\mathbb {K}(t) = F\), we deduce that \(\mathfrak {K}(t) \subset \mathfrak {K}\), hence \(\mathfrak {K}= \mathfrak {K}(t)\) as noted in the beginning of the proof. \(\square \)
The base case
Recall that our primary goal is to show that every element of K is \(\sigma \)acceptable. Also, recall that one has \(K = K_0 \otimes _{k_0} k\), and therefore every element t of K can be written as
for some \(x_0,\ldots ,x_r \in K_0\) and some \(a_0,\ldots ,a_r \in k\). We have already proved in Lemma 10.3 that elements of \(K_0\) are \(\sigma \)acceptable, hence elements of the form \(a_0 x_0\) where \(a_0 \in k\) and \(x_0 \in K_0\) are also \(\sigma \)acceptable. The proof that every element of K is \(\sigma \)acceptable follows by induction on the length r of the expression \(a_0 x_0 + \cdots + a_r x_r\) above. The base case for our induction is the case \(r = 1\), which is the focus of this subsection.
We begin by proving that “many” elements of the form \(a_0 x_0 + a_1 x_1\) are \(\sigma \)acceptable, and we will then use the “intersection” results proved in the previous subsection to deduce the full base case.
Lemma 10.10
Let \(t_1,t_2,t_3 \in K_0\) be algebraically independent over k. Then there exists a nonempty open subset U of \(\mathbb {A}^3_k\) such that for all \((a_1,a_2,a_3) \in U(k_0)\), and for all \(b \in k\), the element
is \(\sigma \)acceptable.
Proof
Extend \(t_1,t_2,t_3\) to a transcendence base \(\mathbf {t}:= (t_1,\ldots ,t_d)\) for Kk with \(t_i \in K_0\). Let \({\tilde{U}}\) denote the (nonempty, open) complement of the essential branch locus of \(\mathbb {A}^d_\mathbf {t}\) in K, and let U denote the (nonempty, open) image of \({\tilde{U}}\) under the natural coordinate projection
Since the map \({\tilde{U}} \rightarrow U\) is just a coordinate projection of affine spaces, and since \(k_0\) is infinite, we note that the map \({\tilde{U}}(k_0) \rightarrow U(k_0)\) is surjective. By Lemma 9.1(2), we may replace U with a smaller nonempty open subset, if needed, and assume without loss of generality that for all \((a_1,a_2,a_3) \in U(k_0)\), the element \((t_1a_1)/(t_3a_3)\) is general (hence separable) in Kk. We will show that this open set U satisfies the assertion of the lemma.
Let \(p := (a_1,a_2,a_3) \in U(k_0)\) be given, and let \(P := (a_1,\ldots ,a_d) \in {\tilde{U}}(k_0)\) be a point lying above p. Put \(x = (t_2a_2)/(t_1a_1)\) and \(y = (t_3a_3)/(t_1a_1)\), and consider the (rational) projection about p,
which is defined on points by \((X,Y,Z) \mapsto (Xa_1:Ya_2:Za_3)\). Let Z be the fiber of p with respect to \(\mathbb {A}^d_\mathbf {t}\rightarrow \mathbb {A}^3_{t_1,t_2,t_3}\), and put \(X := \mathbb {A}^d_\mathbf {t}{\smallsetminus } Z\). The composition of the following maps
is a (regular) smooth surjective morphism with geometrically integral fibers. Moreover, the point \(P = (a_1,\ldots ,a_d)\) is contained in the closure of every fiber of \(X \rightarrow \mathbb {P}^2_{x,y}\). Since P is essentially unramified in K, it follows that all the fibers of \(X \rightarrow \mathbb {P}^2_{x,y}\) must be essentially unramified in K. Thus, the morphism \(X \rightarrow \mathbb {P}^2_{x,y}\) satisfies the assumptions of Proposition 10.7.
Now suppose that \(e \in k_0\) is given and put \(t_e = (xe)/y\). Consider the (rational) projection \(\mathbb {P}^2_{x,y} \rightarrow \mathbb {P}^1_{t_e}\) defined by the inclusion of function fields \(k(t_e) \hookrightarrow k(x,y)\). The fibers of this morphism are the lines in \(\mathbb {P}^2_{x,y}\) passing through the point (1 : e : 0), and so this map is surjective onto \(\mathbb {P}^1_{t_e}\). Letting \(Y_e\) denote the preimage of the point (1 : e : 0) in X, and putting \(X_e := X {\smallsetminus } Y_e\), we find that the composition
is a (regular) smooth surjective morphism with geometrically integral fibers which are all essentially unramified in K.
In particular, if \(t_e = (xe)/y\) is general in Kk, then we see that \(t_e\) is automatically stronglygeneral in Kk by applying Lemma 8.4 to the morphism \(X_e \rightarrow \mathbb {P}^1_{t_e}\). Moreover, as 1 / y is separable in Kk, it follows from Lemma 9.1(1) that \(t_e\) is general (hence stronglygeneral) for all but finitely many \(e \in k_0\).
Now let \(b \in k\) be arbitrary as in the statement of the lemma. By Proposition 10.6(2), for every \(e \in k_0\) as above (i.e. such that \(t_e\) is stronglygeneral), there exists a unique c (which a priori might depend on e) such that
Fortunately, as noted above, we may directly use Proposition 10.7 which implies that this c doesn’t depend on the given \(e \in k_0\) such that \(t_e\) is stronglygeneral.
In other words, there exists a single \(c \in k\) such that, for all \(e \in k_0\) as above, one has
Finally, by Lemma 10.6(1), we may multiply both sides by \(\sigma \{y\}_K = \{y\}_K\) to deduce that
We conclude that \(\sigma \mathfrak {K}(x+b \cdot y) = \mathfrak {K}(x+ c \cdot y)\) by Corollary 6.4, since the above equality holds true for all but finitely many elements e of \(k_0\). \(\square \)
The following lemma concludes the base case for our induction.
Lemma 10.11
Assume that \({{\mathrm{tr.deg}}}(Kk) \ge 5\) and let \(x_0,y_0 \in K_0\) be given. Then for all \(d \in k\), the element \(x_0+d\cdot y_0\) is \(\sigma \)acceptable.
Proof
We may assume without loss of generality that \(x_0,y_0\) are algebraically independent over k, for otherwise the claim is either trivial (if \(x_0+d \cdot y_0 \in k\)) or it follows from Lemma 10.3.
Put \(t = x_0+d \cdot y_0\). Let \(t_1,t_2,t_3 \in K_0\) be algebraically independent over \(\mathbb {K}(x_0,y_0)\), and let \(a,b \in k_0\) be as in Lemma 10.8, i.e., letting \(x = t_1+at_3\) and \(y = t_2 + b t_3\), one has
Let \(z \in K_0\) be algebraically independent over \(\mathbb {K}(x_0,y_0)\), and let \(e,f,g \in k_0\) be such that
is \(\sigma \)acceptable; such \(e,f,g \in k_0\) exist by Lemma 10.10. Now note that
Since \(z \in K_0\) is \(\sigma \)acceptable by Lemma 10.3, it follows that \(\{t,z\}\) is \(\sigma \)acceptable by Lemma 10.10 and Fact 10.2. Using similar arguments for various \(z \in K_0\), we see that the following subsets of K are all \(\sigma \)acceptable as well by Fact 10.2 and Lemma 10.3:
Moreover, recall that if S is \(\sigma \)acceptable and T is a subset such that \(\sigma \mathfrak {K}(S) = \mathfrak {K}(T)\), then one has
by Fact 6.5 and Fact 10.1. It follows from these observations and Proposition 7.3 that \(\sigma \mathfrak {K}(t)\) satisfies the assumptions of Lemma 10.9, as follows. Indeed, recall that \(\mathfrak {K}(t)\) is maximal among subgroups \(\Delta \) of \({\text {k}}^\mathrm{M}_1(K)\) such that \(\dim ^\mathrm{M}(\Delta ) = 1\) by Fact 6.1 and Proposition 6.3. Thus, \(\sigma \mathfrak {K}(t)\) is also maximal with this property by Fact 10.1(1). Finally, in the notation of Lemma 10.9, we can take

(1)
\(A = \sigma \mathfrak {K}(t_3)\) and \(C = \sigma \mathfrak {K}(t,t_3)\).

(2)
\(B_1 = \sigma \mathfrak {K}(t,x)\), \(B_2 = \sigma \mathfrak {K}(t,y)\) and \(D = \sigma \mathfrak {K}(t,x,y)\).

(3)
\(B_1' = \sigma \mathfrak {K}(t,x,t_3)\) and \(B_2' = \sigma \mathfrak {K}(t,y,t_3)\).
Applying Lemma 10.9, we deduce that \(\sigma \mathfrak {K}(t) \in \mathfrak {G}^1(Kk)\), and therefore t is \(\sigma \)acceptable, as required. \(\square \)
The general case
We are now ready to prove the final main step in our proof, that every element t of K is \(\sigma \)acceptable. As noted above, this will proceed by induction on the length of the expression
with the base case \(r = 1\) taken care of by Lemma 10.11.
Lemma 10.12
Assume that \({{\mathrm{tr.deg}}}(Kk) \ge 5\). Then every element of K is \(\sigma \)acceptable.
Proof
Recall that every element of K is of the form \(a_0 x_0 + \cdots + a_r x_r\) for \(a_i \in k\) and \(x_i \in K_0\). We proceed by induction on r, with the case \(r = 0\) being Lemma 10.3 and the case \(r = 1\) being Lemma 10.11. So assume that r is fixed and that all elements of K which can be written as
with \(s < r\), are \(\sigma \)acceptable. Let \(t \in K\) be an element of the form
with \(a_i \in k\) and \(x_i \in K_0\). As a first reduction, divide by \(a_0\) to assume without loss of generality that \(a_0 = 1\), so that
Also, we may assume that \(a_r \in k {\smallsetminus } k_0\), for otherwise \(x_0 + a_r x_r \in K_0\), hence t is \(\sigma \)acceptable by the inductive hypothesis. We may further assume without loss of generality that \(x_r\) and t are algebraically independent, for otherwise \(\mathfrak {K}(t) = \mathfrak {K}(x_r)\) and so t is \(\sigma \)acceptable by Lemma 10.3.
Choose \(t_1,t_2 \in K_0\) which are algebraically independent over \(\mathbb {K}(t,x_r)\). By Lemma 10.8, we can choose \(a,b \in k_0\) such that
Put \(x = a t_1 + a_r x_r\) and \(y = b t_1 + a_rx_r\). Then \(tx\), \(ty\), \(ta_r x_r\), x, y and \(x_r\) are all \(\sigma \)acceptable by the inductive hypothesis, and so any subset of \(\{tx,ty,ta_r x_r,x,y,x_r\}\) is also \(\sigma \)acceptable by Fact 10.2. Now we apply Lemma 10.9 to deduce the claim, as follows. First, \(\sigma \mathfrak {K}(t)\) is maximal among subgroups \(\Delta \) of \({\text {k}}^\mathrm{M}_1(K)\) such that \(\dim ^\mathrm{M}(\Delta ) = 1\), arguing as in the proof of Lemma 10.11. Also, we may consider the following geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\) following the notation of Lemma 10.9:

(1)
\(A = \sigma \mathfrak {K}(x_r) = \mathfrak {K}(x_r)\) and \(C = \sigma \mathfrak {K}(t,x_r) = \sigma \mathfrak {K}(ta_r x_r,x_r)\).

(2)
\(B_1 = \sigma \mathfrak {K}(t,x) = \sigma \mathfrak {K}(tx,x)\), \(B_2 = \sigma \mathfrak {K}(t,y) = \sigma \mathfrak {K}(ty,y)\).

(3)
\(D = \sigma \mathfrak {K}(t,x,y) = \sigma \mathfrak {K}(tx,x,y)\).

(4)
\(B_1' = \sigma \mathfrak {K}(t,x,x_r) = \sigma \mathfrak {K}(tx,x,x_r)\).

(5)
\(B_2' = \sigma \mathfrak {K}(t,y,x_r) = \sigma \mathfrak {K}(ty,y,x_r)\).
By Proposition 7.3 and the observations made above, we see that these subgroups of \({\text {k}}^\mathrm{M}_1(K)\) satisfy the assumptions of Lemma 10.9. It therefore follows from Lemma 10.9 that \(\sigma \mathfrak {K}(t) \in \mathfrak {G}^1(Kk)\) is geometric, hence t is \(\sigma \)acceptable, as required. \(\square \)
Concluding the Proofs of Theorems C and D
For the rest of this section, we assume that \({{\mathrm{tr.deg}}}(Kk) \ge 5\) so that we can use Corollary 7.4 and Lemma 10.12.
By Lemma 10.12, any element of K is \(\sigma \)acceptable. Thus any subset of K is \(\sigma \)acceptable by Fact 10.2. Moreover, by Fact 6.5 and Fact 10.1(1), if S, T are two subsets of K such that \(\sigma \mathfrak {K}(S) = \mathfrak {K}(T)\), then one has \({{\mathrm{tr.deg}}}(\mathbb {K}(S)k) = {{\mathrm{tr.deg}}}(\mathbb {K}(T)k)\). In particular, the map \(A \mapsto \sigma A\) induces an automorphism of the graded lattice \(\mathfrak {G}^*(Kk)\) of geometric subgroups of \({\text {k}}^\mathrm{M}_1(K)\). In other words, we obtain a canonical homomorphism
which factors through \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\). Furthermore, by Lemma 10.3, it follows that \(\sigma \mathfrak {K}(S) = \mathfrak {K}(S)\) for subsets S of \(K_0\). In other words, the image of this canonical map \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K)) \rightarrow {{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk))\) actually lands in the subgroup \({{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk)K_0)\) which was defined in Sect. 7.4.
Finally, it is easy to see that the map \(\underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K)) \rightarrow {{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk)K_0)\) is compatible with \(\rho _{k_0}\). Namely, the following diagram commutes:
By Corollary 7.4, the map \(\rho _{k_0} : {{{\mathrm{Gal}}}_{k_0}}\rightarrow {{\mathrm{Aut}}}^*(\mathfrak {G}^*(Kk)K_0)\) is an isomorphism. On the other hand, it immediately follows from Proposition 9.5 that the map
is injective. Hence the map
is an isomorphism as well. This concludes the proof of Theorem D.
Finally, it easily follows from Kummer theory that the isomorphism \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}(\mathcal {G}_K^a) \cong \underline{{{\mathrm{Aut}}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) of Theorem 4.2 restricts to an isomorphism \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}_\mathbf {a}(\mathcal {G}_K^a) \cong \underline{{{\mathrm{Aut}}}}^\mathrm{M}_\mathbf {a}({\text {k}}^\mathrm{M}_1(K))\). Thus, Theorem C follows immediately from Theorem D by applying Theorem 4.2.
Concluding the proof of the mod\(\ell \) I/OM
We now turn to the proof of Theorems A and B. As we will see, Theorem A follows rather easily from Theorem C. On the other hand, Theorem B follows from Theorem A moreorless because of our definition of a 5connected subcategory of \(\mathbf {Var}_{k_0}\).
Proof of Theorem A
Let X be a normal \(k_0\)variety of dimension \(\ge 5\), and let \(\mathcal {U}\) be a birational system of X. Put \(K = k(X)\). First, since X is geometrically normal, we recall that for every \(U \in \mathcal {U}\), one has canonical surjective morphisms
Moreover, taking limits over \(U \in \mathcal {U}\), one has
Therefore, we obtain a canonical morphism
which is defined by sending a system of automorphisms \((\phi _U)_{U \in \mathcal {U}}\) in \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {U})\) to its projective limit \(\varprojlim _U \phi _U \in {{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\). This map clearly induces a corresponding map on \((\mathbb {Z}/\ell )^\times \)classes of automorphisms
Since the maps \(\mathcal {G}_K^a \rightarrow \pi ^a(U)\) are all surjective for \(U \in \mathcal {U}\), it follows that the map \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {U}) \rightarrow {{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) is injective, hence \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}(\pi ^a_\mathcal {U}) \rightarrow \underline{{{\mathrm{Aut}}}}^\mathrm{c}(\mathcal {G}_K^a)\) is injective as well. Finally, for a finite tuple \(\mathbf {a}\) of elements of \(k_0^\times \), it follows immediately from the definitions that the image of the canonical map
lands in the subgroup \({{\mathrm{Aut}}}^\mathrm{c}_\mathbf {a}(\mathcal {G}_K^a)\).
To conclude, we note that if we choose \(t \in K_0^\times \) which is general in Kk (such a t exists by Lemma 9.1), then the canonical map \({\mathcal {G}_K^a \rightarrow \pi ^a(\mathrm{U}_\mathbf {a})}\) induced by t is surjective. Moreover, this map factors through \(\pi ^a(U)\) for some \(U \in \mathcal {U}\) which is sufficiently small. From this observation, it follows that the map \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_{\mathcal {U}_\mathbf {a}}) \rightarrow {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {U})\) is injective, hence the induced maps
are both injective as well. These injections are clearly compatible with \(\rho _{k_0}\), and therefore Theorem A follows from Theorem C.
Proof of Theorem B
Before we conclude the proof of Theorem B, we need a small lemma concerning the domination condition between two birational systems, as defined in Sect. 1.7.
Lemma 11.1
Let \(\mathcal {V}\) be a subcategory of \(\mathbf {Var}_{k_0}\), and let \(\mathcal {U}_1\) and \(\mathcal {U}_2\) be two positivedimensional birational systems, such that \(\mathcal {U}_1\) dominates \(\mathcal {U}_2\) in \(\mathcal {V}\). Let \(\phi \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})\) be given, and assume that \(\phi _{\mathcal {U}_1} \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_{\mathcal {U}_1})\) is defined by \(\tau \in {{{\mathrm{Gal}}}_{k_0}}\). Then the following hold:

(1)
The restriction \(\phi _{\mathcal {U}_2} \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_{\mathcal {U}_2})\) is also defined by \(\tau \).

(2)
If there exists some \(\epsilon \in (\mathbb {Z}/\ell )^\times \) and some \(\tau ' \in {{{\mathrm{Gal}}}_{k_0}}\) such that \(\epsilon \cdot \phi _{\mathcal {U}_2}\) is defined by \(\tau '\), then \(\tau ' = \tau \) and \(\epsilon = 1\).
Proof
Put \(K = k(X)\) for some \(X \in \mathcal {U}_2\) and \(L = k(Y)\) for some \(Y \in \mathcal {U}_1\). Since \(\mathcal {U}_1\) dominates \(\mathcal {U}_2\) in \(\mathcal {V}\), we see that K is a subfield of L.
Proof of (1):
Arguing as in Sect. 11.1, it suffices to show that the image of \(\phi \) under the map
is defined by \(\tau \). Let \(\phi _L\) resp. \(\phi _K\) denote the image of \(\phi \) in \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_L^a)\) resp. \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\). Since \(\phi _{\mathcal {U}_1}\) is defined by \(\tau \), we see that \(\phi _L\) is defined by \(\tau \) as well.
Note that the assumptions of the lemma imply that \(\phi _L\) and \(\phi _K\) are compatible with the canonical morphism \(\mathcal {G}_L^a \rightarrow \mathcal {G}_K^a\), i.e., the following diagram commutes:
We will now deal with the cases \(\dim \mathcal {U}_2 \ne 1\) and \(\dim \mathcal {U}_2 = 1\) separately.
\(\underline{\hbox {Case }\dim \mathcal {U}_2 = 1:}\) In this case, our assumptions ensure that \(\mathcal {G}_L^a \rightarrow \mathcal {G}_K^a\) is surjective. Since \(\phi _L\) is defined by \(\tau \), and since \(\phi _L\) and \(\phi _K\) are compatible with the projection \(\mathcal {G}_L^a \twoheadrightarrow \mathcal {G}_K^a\), it follows that \(\phi _K\) must also be defined by \(\tau \).
\(\underline{\hbox {Case }\dim \mathcal {U}_2 > 1:}\) Let \(\psi = \tau ^{1} \cdot \phi _K\) denote the composition of \(\phi _K\) with the element of \({{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) induced by \(\tau ^{1}\). Furthermore, let \(\psi ^* \in {{\mathrm{Aut}}}^\mathrm{M}({\text {k}}^\mathrm{M}_1(K))\) be the element associated to \(\psi \) via the Kummer pairing (see Theorem 4.2). Finally, note that the image of \(\mathcal {G}_L^a \rightarrow \mathcal {G}_K^a\) is an open subgroup of \(\mathcal {G}_K^a\), on which \(\psi \) acts as the identity. Thus, there exists a finite subgroup \(H_0\) of \({\text {k}}^\mathrm{M}_1(K)\) such that for every \(x \in {\text {k}}^\mathrm{M}_1(K)\), one has \(\psi ^* x \in x + H_0\). Therefore, there is a subgroup H of \({\text {k}}^\mathrm{M}_1(K)\) such that \(\psi ^*\) acts as the identity on H, and such that H has finite index in \({\text {k}}^\mathrm{M}_1(K)\).
We will show that \(\psi ^*\) is some \((\mathbb {Z}/\ell )^\times \)multiple of the identity on \({\text {k}}^\mathrm{M}_1(K)\). First, suppose that \(t \in K {\smallsetminus } k\) is given and consider the onedimensional geometric subgroup \(\mathfrak {K}(t)\). The inclusion \(k(t) \hookrightarrow K\) induces a (possibly noninjective) map \({\text {k}}^\mathrm{M}_1(k(t)) \rightarrow {\text {k}}^\mathrm{M}_1(K)\) and we let M denote the preimage of H in \({\text {k}}^\mathrm{M}_1(k(t))\). Since H has finite index in \({\text {k}}^\mathrm{M}_1(K)\), it follows that M must have finite index in \({\text {k}}^\mathrm{M}_1(k(t))\).
Claim
There exists some \(x \in k(t) {\smallsetminus } k\) such that \(\{xc\}_{k(t)} \in M\) for infinitely many \(c \in k\).
Proof
Since M has finite index in \({\text {k}}^\mathrm{M}_1(k(t))\), there exists some \(f \in k(t)^\times \) such that the set
is infinite. Note that for all \(a,b \in {\mathcal {S}}\) one has \(\{(ta)/(tb)\}_{k(t)} \in M\). Let \(a,b \in {\mathcal {S}}\) be two different elements with \(b \ne 0\). Put \(x := (ta)/(tb)\), and let \(c \in k\) be a constant such that \(c \ne 1\). Since \(\{1c\}_{k(t)} = 0\), we find that
In particular, \(\{xc\}_{k(t)} \in M\) for every \(c \in k {\smallsetminus } \{1\}\) such that \((acb)/(1c) \in {\mathcal {S}}\). Since \({\mathcal {S}}\) was infinite, we see that there are infinitely many such constants c, which proves the claim. \(\square \)
Let \(x \in k(t) {\smallsetminus } k\) be as in the claim above. Then one has \(\psi ^*\{xc\}_K = \{xc\}_K\) for infinitely many \(c \in k\). As \(\mathfrak {K}(t) = \mathfrak {K}(x)\), it follows from Corollary 6.4 that \(\psi ^* \mathfrak {K}(t) = \mathfrak {K}(t)\). Finally, since \(t \in K {\smallsetminus } k\) was arbitrary, Proposition 9.5 shows that \(\psi ^* \in (\mathbb {Z}/\ell )^\times \cdot \mathbf {1}_{{\text {k}}^\mathrm{M}_1(K)}\). In particular, \(\psi = \tau ^{1} \cdot \phi _K\) is contained in \((\mathbb {Z}/\ell )^\times \cdot \mathbf {1}_{\mathcal {G}_K^a}\).
Now note that we have a commutative diagram:
and recall that the vertical arrows in this diagram have an open (hence nontrivial) image in \(\mathcal {G}_K^a\). Since \(\tau ^{1} \cdot \phi _K \in (\mathbb {Z}/\ell )^\times \cdot \mathbf {1}_{\mathcal {G}_K^a}\), it follows that \(\tau ^{1} \cdot \phi _K = \mathbf {1}_{\mathcal {G}_K^a}\). This proves assertion (1).
Proof of (2):
Recall that \(\phi _K \in {{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) is defined by \(\tau \), and the assumption of (2) implies that \(\epsilon \cdot \phi _K \in {{\mathrm{Aut}}}^\mathrm{c}(\mathcal {G}_K^a)\) is defined by \(\tau '\). Since \(\phi _K\) and \(\epsilon \cdot \phi _K\) represent the same element of \(\underline{{{\mathrm{Aut}}}}^\mathrm{c}(\mathcal {G}_K^a)\), and since one has a \(\rho _{k_0}\)compatible isomorphism
by Theorem 4.2, it follows from Lemma 9.6 that \(\tau = \tau '\). Finally, since the map
is injective by Lemma 9.6, we see that \(\epsilon = 1\), as required. \(\square \)
We will now assume that \(\mathcal {V}\) is a 5connected subcategory of \(\mathbf {Var}_{k_0}\), and we will conclude the proof of Theorem B, which states that the canonical map
is an isomorphism.
First we show that this map is injective. Since \(\mathcal {V}\) contains a positivedimensional object, it follows from the definition of \(\mathcal {V}\) being 5connected that \(\mathcal {V}\) contains a positivedimensional birational system \(\mathcal {U}\). By first restricting to \(\mathcal {U}\) and then taking limits over the objects of \(\mathcal {U}\) as above, we obtain a canonical map,
where U is some object of \(\mathcal {U}\). This map is clearly compatible with \(\rho _{k_0}\). Finally, recall that one has a \(\rho _{k_0}\)compatible isomorphism
by Theorem 4.2. Thus, injectivity follows from Lemma 9.6.
The proof of the surjectivity of this map is more difficult, but it essentially follows from the technical definition of \(\mathcal {V}\) being 5connected and Theorem A, as follows. First, let us fix an element \(\phi \) of \({{\mathrm{Aut}}}^\mathrm{c}(\pi ^a_\mathcal {V})\). Recall that this element \(\phi \) is represented by a system \((\phi _X)_{X \in \mathcal {V}}\) with \(\phi _X \in {{\mathrm{Aut}}}^\mathrm{c}(\pi ^a(X))\) which is compatible with the morphisms from \(\mathcal {V}\). To prove surjectivity, we must show that there exists some \(\tau \in {{{\mathrm{Gal}}}_{k_0}}\) and some \(\epsilon \in (\mathbb {Z}/\ell )^\times \), such that for all positivedimensional \(X \in \mathcal {V}\), \(\epsilon \cdot \phi _X\) is defined by \(\tau \).
By the definition of \(\mathcal {V}\) being 5connected, we see that there exists some birational system \(\mathcal {U}\) and some finite tuple \(\mathbf {a}\) of elements of \(k_0^\times \) such that \(\dim \mathcal {U}\ge 5\) and such that \(\mathcal {U}_\mathbf {a}\) is contained in \(\mathcal {V}\). Thus, by Theorem A, there exists a unique \(\tau \in {{{\mathrm{Gal}}}_{k_0}}\) and an \(\epsilon \in (\mathbb {Z}/\ell )^\times \) such that \(\epsilon \cdot \phi _{\mathcal {U}_\mathbf {a}}\) is defined by \(\tau \), and thus \(\epsilon \cdot \phi _\mathcal {U}\) is defined by \(\tau \) as well. To simplify the notation, we replace \(\phi \) by \(\epsilon \cdot \phi \), so we must prove that \(\phi \) itself is defined by \(\tau \).
Let X be any positivedimensional object of \(\mathcal {V}\) and put \(\mathcal {U}= \mathcal {U}_0\). Since \(\mathcal {V}\) is 5connected, we see that there exists a birational system \(\mathcal {U}_{2r} = \mathcal {U}_X^+\) which contains X, and birational systems \(\mathcal {U}_1,\ldots ,\mathcal {U}_{2r1}\) such that, for all \(i = 0,\ldots ,r1\), the following conditions hold:

(1)
One has \(\dim \mathcal {U}_{2i+1} \ge 5\).

(2)
The birational system \(\mathcal {U}_{2i+1}\) attaches \(\mathcal {U}_{2i}\) to \(\mathcal {U}_{2i+2}\) in \(\mathcal {V}\).
Applying Theorem A again, we find that there exist \(\tau _0,\ldots ,\tau _{r1} \in {{{\mathrm{Gal}}}_{k_0}}\) and \(\epsilon _0,\ldots ,\epsilon _{r1} \in (\mathbb {Z}/\ell )^\times \) such that \(\epsilon _i \cdot \phi _{\mathcal {U}_{2i+1}}\) is defined by \(\tau _i\) for all \(i = 0,\ldots ,r1\). By Lemma 11.1(1), we see that for all \(i = 0,\ldots ,r1\), \(\epsilon _i \cdot \phi _{\mathcal {U}_{2i}}\) and \(\epsilon _i \cdot \phi _{\mathcal {U}_{2i+2}}\) are both defined by \(\tau _i\). Since \(\phi _{\mathcal {U}_0}\) was defined by \(\tau \), we see that \(\tau _0 = \tau \) and that \(\epsilon _0 = 1\) by Lemma 11.1(2). Hence \(\phi _{\mathcal {U}_2}\) is also defined by \(\tau \) by Lemma 11.1. Proceeding inductively on \(i = 0,\ldots ,r1\), we find that \(\tau _i = \tau \) and that \(\epsilon _i = 1\) for all \(i = 0,\ldots ,r1\). In particular, \(\phi _{\mathcal {U}_{2r1}}\) is defined by \(\tau \), so that \(\phi _{\mathcal {U}_{2r}}\) is defined by \(\tau \) as well by Lemma 11.1.
Since X is contained in \(\mathcal {U}_{2r} = \mathcal {U}_X^+\), we deduce that \(\phi _X\) is defined by \(\tau \) as well. As \(X \in \mathcal {V}\) was arbitrary, we see that the original element \(\phi \) is defined by \(\tau \). In other words, the map
is surjective. This concludes the proof of Theorem B.
Notes
 1.
This condition will be made precise in Sect. 1.4.
References
 1.
André, Y.: On a geometric description of \({{\rm Gal}}(\overline{\bf Q}_p/{\bf Q}_p)\) and a \(p\)adic avatar of \(\widehat{GT}\). Duke Math. J. 119(1), 1–39 (2003)
 2.
Belyi, G.V.: On Galois extensions of a maximal cyclotomic field. Math. USSRIzv. 14(2), 247–256 (1980)
 3.
Bogomolov, F.A.: On two conjectures in birational algebraic geometry. Algebraic geometry and analytic geometry. ICM90 Satellite Conference Proceedings, pp. 26–52. Springer, Tokyo (1991)
 4.
Bogomolov, F. A., Tschinkel, Y.: Commuting elements of Galois groups of function fields, Motives, polylogarithms and Hodge theory, Part I (Irvine, CA, 1998), 2002, pp. 75120
 5.
Chebolu, S.K., Efrat, I., Mináč, J.: Quotients of absolute Galois groups which determine the entire Galois cohomology. Math. Ann. 352(1), 205–221 (2012)
 6.
Drinfeld, V.G.: On quasitriangular quasiHopf algebras and on a group that is closely connected with \({{\rm Gal}}(\overline{\bf Q}/{\bf Q})\). Leningr. Math. J. 2(4), 829–860 (1990)
 7.
Efrat, I.: The Zassenhaus filtration, Massey products, and representations of profinite groups. Adv. Math. 263, 389–411 (2014)
 8.
Evans, D.M., Hrushovski, E.: Projective planes in algebraically closed fields. Proc. Lond. Math. Soc. (3) 62(1), 1–24 (1991)
 9.
Evans, D.M., Hrushovski, E.: The automorphism group of the combinatorial geometry of an algebraically closed field. J. Lond. Math. Soc. (2) 52(2), 209–225 (1995)
 10.
Efrat, I., Mináč, J.: On the descending central sequence of absolute Galois groups. Am. J. Math. 133(6), 1503–1532 (2011)
 11.
Efrat, I., Mináč, J.: Small Galois groups that encode valuations. Acta Arith. 156(1), 7–17 (2012)
 12.
Efrat, I., Mináč, J.: Galois groups and cohomological functors. Trans. Am. Math. Soc. 369(4), 2697–2720 (2017)
 13.
Fried, M.D., Jarden, M.: Field arithmetic, third, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 11. Springer, Berlin. Revised by Jarden (2008)
 14.
Gismatullin, J.: Combinatorial geometries of field extensions. Bull. Lond. Math. Soc. 40(5), 789–800 (2008)
 15.
Grothendieck, A.: Esquisse d’un programme, Geometric Galois actions, vol. 1, pp. 5–48 (1997). With an English translation on pp. 243–283
 16.
Hoshi, Y., Mochizuki, S.: On the combinatorial anabelian geometry of nodally nondegenerate outer representations. Hiroshima Math. J. 41(3), 275–342 (2011)
 17.
Labute, J.P.: Classification of Demushkin groups. Can. J. Math. 19, 106–132 (1967)
 18.
Lang, S.: Introduction to algebraic geometry. AddisonWesley Publishing Co., Inc., Reading (1972). Third printing, with corrections
 19.
Matsumoto, M.: Galois representations on profinite braid groups on curves. J. Reine Angew. Math. 474, 169–219 (1996)
 20.
Matsumoto, M.: Topological methods in studying Galois actions. Presentation at Oberwolfach Workshop Galois Groups and Fundamental Groups (1997)
 21.
Mahé, L., Mináč, J., Smith, T.L.: Additive structure of multiplicative subgroups of fields and Galois theory. Doc. Math. 9, 301–355 (2004)
 22.
Merkurjev, A.S., Suslin, A.A.: \(K\)cohomology of Severi–Brauer varieties and the norm residue homo morphism. Izv. Akad. Nauk SSSR Ser. Mat. 46(5), 10111046, 11351136 (1982)
 23.
Neukirch, J., Schmidt, A., Wingberg, K.: Cohomology of Number fields, Second, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 323. Springer, Berlin (2008)
 24.
Pop, F.: Galois theory of Zariski prime divisors. Groupes de Galois arithmétiques et différentiels, pp. 293–312 (2006)
 25.
Pop, F.: Pro\(\ell \) abelianbycentral Galois theory of prime divisors. Isr. J. Math. 180, 43.68 (2010)
 26.
Pop, F.: \({\mathbb{Z}}/\ell \) abelianbycentral Galois theory of prime divisors. The arithmetic of fundamental groups—PIA 2010, 2012, pp. 225–244
 27.
Pop, F.: On the birational anabelian program initiated by Bogomolov I. Invent. Math. 187(3), 511–533 (2012)
 28.
Pop, F.: Recovering function fields from their decomposition graphs. In: Goldfeld, D., Jorgenson, J., Jones, P., Ramakrishnan, D., Ribet, K., Tate, J. (eds.) Number theory, analysis and geometry, pp. 519–594. Springer, Boston, MA (2012)
 29.
Pop, F.: On I/OM (2014). https://www.math.upenn.edu/~pop/Research/Papers.html
 30.
Pop, F.: Finite tripod variants of I/OM (Preprint) (2016). https://www.math.upenn.edu/~pop/Research/Papers.html
 31.
Rost, M.: Chain lemma for splitting fields of symbols (Preprint) (1998). https://www.math.unibielefeld.de/~rost/chainlemma.html
 32.
Serre, J.P.: Galois cohomology, English, Springer Monographs in Mathematics, Springer, Berlin (2002). Translated from the French by Patrick Ion and revised by the author
 33.
Topaz, A.: Abelianbycentral Galois groups of fields II: definability of inertia/decomposition groups. Isr. J. Math. 215(2), 713–748 (2016)
 34.
Topaz, A.: Reconstructing function fields from rational quotients of mod\(\ell \) Galois groups. Math. Ann. 366(1–2), 337.385 (2016)
 35.
Topaz, A.: Abelianbycentral Galois groups of fields I: a formal description. Trans. Am. Math. Soc. 369(4), 2721–2745 (2017)
 36.
Topaz, A.: Commutingliftable subgroups of Galois groups II. J. Reine Angew. Math. 730, 65–133 (2017)
 37.
Voevodsky, V.: On motivic cohomology with \({\bf Z}/l\)coefficients. Ann. Math. (2) 174(1), 401–438 (2011)
 38.
Voevodsky, V.: Galois representations connected with hyperbolic curves. Math. USSRIzv. 39(3), 1281–1291 (1991)
 39.
Weibel, C.: The norm residue isomorphism theorem. J. Topol. 2(2), 346–372 (2009)
Acknowledgements
First and foremost, the author would like to thank Florian Pop and Thomas Scanlon for numerous technical discussions concerning the topics in this paper. The author also thanks all who expressed interest in this paper, and especially Y. Hoshi, E. Hrushovski, M. Kim, J. Mináč, A. Obus, A. Silberstein and A. Tamagawa. Finally, the author thanks the anonymous referee, whose thoughtful comments helped improve this paper in various ways.
Author information
Affiliations
Corresponding author
Additional information
Research supported in part by NSF postdoctoral fellowship DMS1304114, and in part by EPSRC programme grant EP/M024830/1 Symmetries and Correspondences.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Topaz, A. The Galois action on geometric lattices and the mod\(\ell \) I/OM. Invent. math. 213, 371–459 (2018). https://doi.org/10.1007/s0022201807922
Received:
Accepted:
Published:
Issue Date:
Mathematics Subject Classification
 12F10
 12G
 12J10
 19D45