We study the Galois actions on the l-adic schematic and Artin-Mazur homotopy groups of algebraic varieties. For proper varieties of good reduction over a local field K, we show that the l-adic schematic homotopy groups are mixed representations explicitly determined by the Galois action on cohomology of Weil sheaves, whenever l is not equal to the residue characteristic p of K. For quasi-projective varieties of good reduction, there is a similar characterisation involving the Gysin spectral sequence. When l=p, a slightly weaker result is proved by comparing the crystalline and p-adic schematic homotopy types. Under favourable conditions, a comparison theorem transfers all these descriptions to the Artin-Mazur homotopy groups.
For a finite Galois extension of fields L/k with Galois group G, we study a functor from the G-equivariant stable homotopy category to the stable motivic homotopy category over k induced by the classical Galois correspondence. We show that after completing at a prime and eta (the motivic Hopf map) this results in a full and faithful embedding whenever k is real closed and L = k[i]. It is a full and faithful embedding after eta-completion if a motivic version of Serre's finiteness theorem is valid. We produce strong necessary conditions on the field extension L/k for this functor to be full and…
In this note we show that the protruncated shape of a spectral $\infty$-topos is a delocalization of its profinite stratified shape. This gives a way to reconstruct the extended étale homotopy groups (i.e., the non-profinitely complete étale homotopy groups) of a coherent scheme from its profinite Galois category.
In previous work, the authors constructed and studied a lift of the Galois correspondence to stable homotopy categories. In particular, if $L/k$ is a finite Galois extension of fields with Galois group $G$, there is a functor $c_{L/k}^*$ from the $G$-equivariant stable homotopy category to the stable motivic homotopy category over $k$ such that $c_{L/k}^*(G/H_+) = Spec(L^H)_+$. We proved that when $k$ is a real closed field and $L=k[i]$, the restriction of $c_{L/k}^*$ to the $η$-complete subcategory is full and faithful. Here we "uncomplete" this theorem so that it applies to $c_{L/k}^*$ itsel…
This paper gives an introduction to homotopy descent, and its applications in algebraic $K$-theory computations for fields. On the étale site of a field, a fibrant model of a simplicial presheaf can be constructed from naive Galois cohomological objects given by homotopy fixed point constructions, but only up to pro-equivalence. The homotopy fixed point spaces define finite Galois descent for simplicial presheaves (and their relatives) over a field, but a pro-categorical construction is a necessary second step for passage from finite descent conditions to full homotopy descent in a Galois coho…
Galois groups of Schubert problems via homotopy computation
Institute for Mathematics；its Applications University of Minnesota Minneapolis MN \ 55455 USA；Department of Mathematics Texas A\&M University College Station Texas \ 77843 USA
For an odd prime $p$ satisfying Vandiver's conjecture, we give explicit formulae for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_p)}$ on the homology of the degree $p$ Fermat curve, building on work of Anderson. Further, we study the invariants and the first Galois cohomology group which are associated with obstructions to rational points on the Fermat curve.
In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_n)}$. In particular, when $n$ is an odd prime $p$, he shows that the action of $G_{\mathbb{Q}(ζ_p)}$ on a more powerful relative homology group factors through the Galois group of the splitting field of the polynomial $1-(1-x^p)^p$. If $p$ satisfies Vandiver's conjecture, we prove that the Galois group of this splitting field over $\mathbb{…
An important piece of information in the theory of the arithmetic Galois action on the geometric fundamental groups of schemes is that divisorial inertia is acted on cyclotomically. We detail in this note the content of this fact in the case of the profinite braid groups arising from complex reflection groups, naturally viewing them as the geometric fundamental groups of the attending classifying spaces. We also include the case of the full (non colored) braid groups, whose completed classifying spaces are Deligne-Mumford stacks rather than schemes.
The fundamental group of Fermat and generalized Fermat curves is computed. These curves are Galois ramified covers of the projective line with abelian Galois groups $H$. We provide a unified study of the action of both cover Galois group $H$ and the absolute Galois group $\mathrm{Gal}(\bar{\Q}/\Q)$ on the pro-$\ell$ homology of the curves in study. Also the relation to the pro-$\ell$ Burau representation is investigated.
For a global field, local field, or finite field $k$ with infinite Galois group, we show that there can not exist a functor from the Morel--Voevodsky $\mathbb{A}^1$-homotopy category of schemes over $k$ to a genuine Galois equivariant homotopy category satisfying a list of hypotheses one might expect from a genuine equivariant category and an étale realization functor. For example, these hypotheses are satisfied by genuine $\mathbb{Z}/2$-spaces and the $\mathbb{R}$-realization functor constructed by Morel--Voevodsky. This result does not contradict the existence of étale realization functors t…
This paper initiates a research program that seeks to recover algebro-geometric Galois representations from combinatorial data. We study tropicalizations equipped with symmetries coming from the Galois-action present on the lattice of $1$-parameter subgroups inside ambient Galois-twisted toric varieties. Over a Henselian field, the resulting tropicalization maps become Galois-equivariant. We call their images Galois-equivariant tropicalizations, and use them to construct a large supply of Galois representations in the tropical cellular cohomology groups of Itenberg, Katzarkov, Mikhalkin, and Z…
Our aim of this and subsequent papers is to enlighten (a part of, presumably) arithmetic structures of knots. This paper introduces a notion of profinite knots which extends topological knots and shows its various basic properties. Particularly an action of the absolute Galois group of the rational number field on profinite knots is rigorously established, which is attained by our extending the action of Drinfeld's Grothendieck-Teichmüller group on profinite braid groups into on profinite knots.
We expand on Nekovář's construction of the plectic half transfer to define a plectic Galois action on Hilbert modular varieties. More precisely, we study in a unifying fashion Shimura varieties associated to groups that differ only in the centre from $R_{F/\mathbb{Q}}{\rm GL}_2$. We define plectic Galois actions on the CM points and on the set of connected components of these Shimura varieties, and show that these two actions are compatible. This extends the plectic conjecture of Nekovář--Scholl.
This paper studies the Galois action on a special lattice of geometric origin, which is related to mod-$\ell$ abelian-by-central quotients of geometric fundamental groups of varieties. As a consequence, we formulate and prove the mod-$\ell$ abelian-by-central variant/strengthening of a conjecture due to Ihara/Oda-Matsumoto.
In this note, we consider function fields of higher-dimensional algebraic varieties defined over non-local fields, and show how the Galois action on the cohomology such function fields can be used to parameterize their divisorial valuations. By applying a recent theorem of Pop, we observe that, in dimension $\geq 3$, this information is enough to completely determine the function field and the base-field in question.
Belyi-extending maps and the Galois action on dessins d'enfants
通过寻找绝对伽罗瓦群对Grothendieck的dessins d 'enfants的忠实作用的不变量和轨道来研究绝对伽罗瓦群。我们定义了一类函数称为贝利扩展映射，我们用它来构建新的伽罗瓦不变量的dessins从以前已知的不变量。Belyi扩张映射是绝对伽罗瓦群注入Grothendieck-Teichmuller群的“新型”关系的来源。我们明确了如何从一般的Belyi扩张映射得到其相关不变量的公式，该公式可以在计算机代数软件包中实现。我们给出了一个例子，一个新的不变量不同的两个dessins具有相同的价值，其他容易计算的不变量。
We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish homotopical purity and blow-up theorems for finite abelian groups.
We outline a project to study the Galois action on a class of modular graphs (special type of dessins) which arise as the dual graphs of the sphere triangulations of non-negative curvature, classified by Thurston. Because of their connections to hypergeometric functions, there is a hope that these graphs will render themselves to explicit calculation for a study of Galois action on them, unlike the case of a general dessin.
We establish that the geometric action of the absolute Galois group on the étale fundamental group of moduli spaces of curves induces a Galois action on its stack inertia subgroups, and that this action is given by cyclotomy conjugacy. This result extends the special case of inertia without étale factorisation previously established by the authors. It is here obtained in the general case by comparing deformations of Galois actions. Since the stack inertia corresponds to the first level of the stack stratification of the space, this results, by analogy with the arithmetic of the Deligne-Mumford…
In this paper, we prove that the group of homotopy automorphisms of the profinite completion of the operad of little $2$-disks is isomorphic to the profinite Grothendieck-Teichmüller group. In particular, the absolute Galois group of $\mathbb{Q}$ acts faithfully on the profinite completion of $E_2$ in the homotopy category of profinite weak operads.
For a semifield extension $T /S$, an action of a finite group $G$ on $T$ is Galois if $(1)$ the $G$-invariant subsemifield of $T$ is $S$ and $(2)$ subgroups of $G$ whose invariant semifields coincide are equal. We show that for a finite harmonic morphism between tropical curves $φ: \varGamma \to \varGamma^{\prime}$ and an isometric action of a finite group $G$ on $\varGamma$, $φ$ is $G$-Galois if and only if the natural action of $G$ on the rational function semifield $\operatorname{Rat}(\varGamma)$ of $\varGamma$ induced by the action of $G$ on $\varGamma$ is Galois for the semifield extensio…
Let $K$ be a field, let $G$ be a finite group, and let $\bar X\rightarrow \bar Y$ be a $G$-Galois branched cover of varieties over $K^{sep}$. Given a mere cover model $X\rightarrow Y$ of this cover over $K$, in Part I of this paper I observe that there is a unique minimal field $E$ over which $X\rightarrow Y$ becomes Galois, and I prove that $E/K$ is Galois with group a subgroup of $Aut(G)$. In Part II of this paper, by making the additional assumption that $K$ is a field of definition (i.e., that there exists \it some \rm Galois model over $K$), I am able to give an explicit description of th…
Inspired by recent work of Farb, Kisin and Wolfson, we develop a method for using actions of finite group schemes over a mixed characteristic dvr R to get lower bounds for the essential dimension of a cover of a variety over K = Frac(R). We then apply this to prove p-incompressibility for congruence covers of a class of unitary Shimura varieties for primes p at which the reduction of the Shimura variety (at any prime of the reflex field over p) does not have any ordinary points. We also make some progress towards a conjecture of Brosnan on the p-incompressibility of the multiplication by p map…
We discuss an action of the Grothendieck-Teichmüller proalgebraic group on the linear span of proalgebraic tangles, oriented tangles completed by a filtration of Vassiliev. The action yields a motivic structure on tangles. We derive distinguished properties of the action particularly on proalgebraic string links and on proalgebraic knots which can not be observed in the action on proalgebraic braids. By exploiting the properties, we explicitly calculate the inverse image of the trivial (the chordless) chord diagram under the Kontsevich isomorphism.
A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions of the group of algebraic points of an elliptic curve, by $Z^2$
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations.
We use the theory of canonical models of Shimura varieties to describe the projective limit of the curves Y(N), all N, and its automorphism group. In particular we prove that the Galois group of Q(CM) over Q is an extension of a certain abelian group by a 2-element group, where Q(CM) stands for the the extension of Q by all the CM-points on all the curves Y(N).
A theorem of Grothendieck tells us that if the Galois action on the Tate module of an abelian variety factors through a smaller field, then the abelian variety, up to isogeny and finite extension of the base, is itself defined over the smaller field. Inspired by this, we give a Galois descent datum for a motive $H$ over a field by asking that the Galois action on an $\ell$-adic realisation factor through a smaller field. We conjecture that this descent datum is effective, that is if a motive $H$ satisfies the above criterion, then it must itself descend to the smaller field. We prove this conj…
We consider a rather special class of translation surfaces (called M-Origamis in this work) that are obtained from dessins by a construction introduced by Martin Möller. We give a new proof with a more combinatorial flavour of Möller's theorem that $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ acts faithfully on the Teichmüller curves of M-Origamis and extend his result by investigating the Galois action in greater detail. We determine the Strebel directions and corresponding cylinder decompositions of an M-Origami, as well as its Veech group, which contains the modular group $Γ(2)$ and is …
Given a Prym-Teichmüller curve in $\mathcal{M}_3$, this note provides an invariant that sorts the cusp prototypes of Lanneau and Nguyen by component. This can be seen as an analogue of McMullen's genus $2$ spin invariant, although the source of this invariant is different. Moreover, we describe the Galois action on the cusps of these Teichmüller curves, extending the results of Bouw and Möller in genus $2$. We use this to show that the components of the genus $3$ Prym-Teichmüller curves are homeomorphic.
Let $C$ be a complex algebraic curve uniformised by a Fuchsian group $Γ$. In the first part of this paper we identify the automorphism group of the solenoid associated with $Γ$ with the Belyaev completion of its commensurator $\mathrm{Comm}(Γ)$ and we use this identification to show that the isomorphism class of this completion is an invariant of the natural Galois action of $\mathrm{Gal}(\mathbb C/\mathbb Q)$ on algebraic curves. In turn this fact yields a proof of the Galois invariance of the arithmeticity of $Γ$ independent of Kazhhdan's. In the second part we focus on the case in which $Γ$…
