arXiv subjects

Henrik Russell

Publications and source records attributed to Henrik Russell.

9 recordsLinked to original sources

arXiv2024

The geometric fundamental group of the affine line over a finite field

The affine line and the punctured affine line over a finite field F are taken as benchmarks for the problem of describing geometric \'etale fundamental groups. To this end, using a reformulation of Tannaka duality we construct for a projective variety X a (non-commutative) universal affine pro-algebraic group Lu(X), such that for any given affine subvariety U of X any finite and \'etale Galois covering of U over F is a pull-back of a Galois covering of a quotient Lu(X,U) of Lu(X). Then the geometric fundamental group of U is a completion of the k-points of Lu(X,U), where k is an algebraic closure of F. We obtain explicit descriptions of the universal affine groups Lu(X,U) for U the affine line and the punctured affine line over F.

math.AG↗

arXiv2023

Geometric class field theory with bounded ramification

Let U be a smooth quasi-projective variety over a field k that is finite, the algebraic closure of a finite field or algebraically closed of characteristic 0. Let X be a suitable projective compactification of U, and D an effective divisor on X with support in X\U. We consider a relative Chow group of modulus D, the Albanese variety of X of modulus D and the Abel-Jacobi map with modulus. We show that there is a 1-1 correspondence between relative Cartier divisors on X and compatible systems of relative Cartier divisors on curves in X. This allows us to prove a Roitman theorem with modulus, and we obtain a reciprocity law and an existence theorem for abelian coverings of X with ramification bounded by D. Changes to the previous version: X is of arbitrary dimension and not necessarily smooth, char(k) = 0 is included for the so called Skeleton Theorem and the Roitman Theorems, log as well as non-log versions are treated. The definition of the Chow group with modulus was inconsistent for singular curves, this is clarified now.

math.AG↗

arXiv2015

Abelianized fundamental group of the affine space over a finite field and big Witt vectors in several variables

Let $X$ be a normal proper variety over a perfect field $k$. We describe abelian coverings of X in terms of the functor $\underline{\rm HDiv}_X$ of principal relative Cartier divisors on $X$. If the base field $k$ is finite, the geometric Galois group of the maximal abelian extension of the function field of $X$ is given by the $k$-valued points of the Cartier dual of the completion of $\underline{\rm HDiv}_X$. As another application, we present the geometric abelianized fundamental group of the affine $n$-space over a finite field by the group of big Witt vectors in $n$ variables, a generalization of the (usual) big Witt vectors.

math.AG↗

arXiv2013

Albanese varieties with modulus over a perfect field

Let X be a smooth proper variety over a perfect field k of arbitrary characteristic. Let D be an effective divisor on X with multiplicity. We introduce an Albanese variety Alb(X, D) of X of modulus D as a higher dimensional analogon of the generalized Jacobian of Rosenlicht-Serre with modulus for smooth proper curves. Basing on duality of 1-motives with unipotent part (which are introduced here), we obtain explicit and functorial descriptions of these generalized Albanese varieties and their dual functors. We define a relative Chow group of zero cycles w.r.t. the modulus D and show that Alb(X, D) is a universal quotient of this Chow group. As an application we can rephrase Lang's class field theory of function fields of varieties over finite fields in explicit terms.

math.AG↗

arXiv2011

Description of generalized Albanese varieties by curves

Let X be a projective variety over an algebraically closed base field, possibly singular. The aim of this paper is to show that the generalized Albanese variety of Esnault-Srinivas-Viehweg can be computed from one general curve C in X, if the base field is of characteristic 0. We illustrate this by an example, which we also use to unravel some mysterious properties of the Albanese of Esnault-Srinivas-Viehweg.

math.AG↗

arXiv2011

Albanese varieties of singular varieties over a perfect field

Let X be a projective variety, possibly singular. A generalized Albanese variety of X was constructed by Esnault, Srinivas and Viehweg over algebraically closed base field as a universal regular quotient of the relative Chow group of 0-cycles by Levine-Weibel. In this paper, we obtain a functorial description of the Albanese of Esnault-Srinivas-Viehweg over a perfect base field, using duality theory of 1-motives with unipotent part.

math.AG↗

arXiv2010

Modulus of a rational map into a commutative algebraic group

For a rational map $ϕ: X \to G$ from a normal algebraic variety $X$ to a commutative algebraic group $G$, we define the modulus of $ϕ$ as an effective divisor on $X$. We study the properties of the modulus. This work generalizes the known theories for curves to higher dimensional varieties.

math.NT↗

arXiv2009

Albanese varieties with modulus and Hodge theory

Let X be a proper smooth variety over the complex numbers. We consider the generalized Albanese variety Alb(X,Y) of X of modulus Y, which is a higher dimensional analogue of the generalized Jacobian variety with modulus of Rosenlicht-Serre. Note that the divisor Y can have multiplicity, so the algebraic group Alb(X,Y) can have an additive part. The purpose of this paper is to give Hodge theoretic presentations of Alb(X,Y).

math.AG↗

arXiv2009

Generalized Albanese and its dual

We consider categories of rational maps to algebraic groups and study existence and construction of universal objects for such categories, using the duality theory of Laumon 1-motives. In particular, we obtain functorial descriptions of the Albanese of a singular projective variety X over an algebraically closed field of characteristic zero, which is the universal regular quotient of a relative Chow group of points on X, and of its dual.

math.AG↗