Related papers: Tame Class Field Theory for Global Function Fields

We prove under some assumptions that the Tate conjecture holds for products of Fermat varieties of different degrees.

We classify, up to isomorphism, all gradings by an arbitrary abelian group on simple finitary Lie algebras of linear transformations (special linear, orthogonal and symplectic) on infinite-dimensional vector spaces over an algebraically…

From the generalized Riemann hypothesis for motivic L-functions, we derive an effective version of the Sato-Tate conjecture for an abelian variety A defined over a number field k with connected Sato-Tate group. By effective we mean that we…

We introduce the notion of fully Hilbertian fields, a strictly stronger notion than that of Hilbertian fields. We show that this class of fields exhibits the same good behavior as Hilbertian fields, but for fields of uncountable…

Associated to an abelian variety over a number field are several interesting and related groups: the motivic Galois group, the Mumford-Tate group, $\ell$-adic monodromy groups, and the Sato-Tate group. Assuming the Mumford-Tate conjecture,…

We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

In this work we develop, through a governing field, genus theory for a number field $\K$ with tame ramification in $T$ and splitting in $S$, where $T$ and $S$ are finite disjoint sets of primes of $\K$. This approach extends that initiated…

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…

We prove control theorems for abelian varieties over function fields.

Using the theory of pro-p groups and relative Poincar\'{e} duality, we define a type of cobordism category well suited to arithmetic topology. We completely classify topological quantum field theories on these two-dimensional versions of…

Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification theory for them have been made. Abstract…

Using the ramification theory of tame and Kaplansky fields, we show that maximal Kaplansky fields contain maximal immediate extensions of each of their subfields. Likewise, algebraically maximal Kaplansky fields contain maximal immediate…

Using a remainder theorem for valuations of a field, we give a new perspective on the norm function of a global field. We define the Euler totient function of a global field and recover the essential analytical properties of the classical…

A class of non-semisimple extensions of Lie superalgebras is studied. They are obtained by adjoining to the superalgebra its adjoint representation as an abelian ideal. When the superalgebra is of affine Kac-Moody type, a generalisation of…

In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Neron models of abelian varieties. This is a global function field version of the author's previous…

We consider the problem of classifying gradings by groups on a finite-dimensional algebra $A$ (with any number of multilinear operations) over an algebraically closed field. We introduce a class of gradings, which we call almost fine, such…

We prove the Sato-Tate conjecture for Hilbert modular forms. More precisely, we prove the natural generalisation of the Sato-Tate conjecture for regular algebraic cuspidal automorphic representations of $\GL_2(\A_F)$, $F$ a totally real…

In this paper we obtain the extended genus field of a finite abelian extension of a global rational function field. We first study the case of a cyclic extension of prime power degree. Next, we use that the extended genus fields of a…

We prove the Tate conjecture for divisor classes and the Mumford-Tate conjecture for the cohomology in degree 2 for varieties with $h^{2,0}=1$ over a finitely generated field of characteristic 0, under a mild assumption on their moduli. As…