Related papers: Motivic Homotopical Galois Extensions
Let E_n be the n-th Lubin-Tate spectrum at a prime p. There is a commutative S-algebra E^{nr}_n whose coefficients are built from the coefficients of E_n and contain all roots of unity whose order is not divisible by p. For odd primes p we…
Given an algebraic torus $T$ over a field $F$, its lattice of characters $\Lambda$ gives rise to a topological torus $\mathfrak{T}(T)=\Lambda_{\mathbb R}/\Lambda$ with a continuous action of the absolute Galois group $G$. We construct a…
We develop Kummer theory for algebraic function fields in finitely many transcendental variables. We consider any finitely generated Kummer extension (possibly, over a cyclotomic extension) of an algebraic function field, and describe the…
Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of…
Let $L/K$ be a finite Galois extension whose Galois group $G$ is non-abelian and characteristically simple. Using tools from graph theory, we shall give a closed formula for the number of Hopf-Galois structures on $L/K$ with associated…
This paper deals with criteria of algebraic independence for the derivatives of solutions of rank one difference equations. The key idea consists in deriving from the commutativity of the differentiation and difference operators a sequence…
We generalize several basic facts about the motivic sphere spectrum in $\mathbb A^1$-homotopy theory to the category $\mathrm{MS}$ of non-$\mathbb A^1$-invariant motivic spectra over a derived scheme. On the one hand, we show that all the…
We prove that the $\infty$-category of motivic spectra satisfies Milnor excision: if $A\to B$ is a morphism of commutative rings sending an ideal $I\subset A$ isomorphically onto an ideal of $B$, then a motivic spectrum over $A$ is…
We prove that a certain class of open homomorphisms between Galois groups of function fields of curves over finite fields arise from embeddings between the function fields.
We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…
If $f:S' \to S$ is a finite locally free morphism of schemes, we construct a symmetric monoidal "norm" functor $f_\otimes: \mathcal H_*(S') \to\mathcal H_*(S)$, where $\mathcal H_*(S)$ is the pointed unstable motivic homotopy category over…
The Grothendieck ring of varieties has well-known realization maps to, say, mixed Hodge structures or compactly supported $\ell$-adic cohomology. Zakharevich and\ Campbell have developed {a spectral refinement} of the Grothendieck ring of…
Let $L/K$ be a finite Galois extension of fields with group $\Gamma$. Associated to each Hopf-Galois structure on $L/K$ is a group $G$ of the same order as the Galois group $\Gamma$. The type of the Hopf-Galois structure is by definition…
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…
Using a construction closely related to Waldhausen's $S_\bullet$-construction, we produce a spectrum $K(\mathbf{Var}_{/k})$ whose components model the Grothendieck ring of varieties (over a field $k$) $K_0 (\mathbf{Var}_{/k})$. We then…
This is an expository article on the theory of formal group laws in homotopy theory, with the goal of leading to the connection with higher-dimensional abelian varieties and automorphic forms. These are roughly based on a talk at the…
We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation…
Our goal is to prove that the Leray spectral sequence associated to a map of algebraic varieties is motivic in the following sense: If the singular cohomology groups of the category of quasiprojective varieties defined over a subfield of C…
This paper investigates the structure of generic motives and their implications for the motivic cohomology of fields. Originating in Voevodsky's theory of motives and related to Beilinson's vision of a motivic $t$-structure, generic motives…
Let $\overline{\rho}: G_{\mathbf{Q}} \rightarrow {\rm GSp}_4(\mathbf{F}_3)$ be a continuous Galois representation with cyclotomic similitude character -- or, what turns out to be equivalent, the Galois representation associated to the…