Related papers: Tame Class Field Theory for Global Function Fields
We extend the characterization of extremal valued fields given in \cite{[AKP]} to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that…
Let k be an algebraically closed field. Given an extension A : B of finite-dimensional k- algebras, we establish criteria ensuring that the representation-theoretic notion of polynomial growth is preserved under ascent and descent. These…
Suppose $\mathbb{F}$ is a field of prime characteristic $p$ and $E$ is a finite subgroup of the additive group $(\mathbb{F},+)$. Then $E$ is an elementary abelian $p$-group. We consider two such subgroups, say $E$ and $E'$, to be equivalent…
We introduce a number field analogue of the Mertens conjecture and demonstrate its falsity for all but finitely many number fields of any given degree. We establish the existence of a logarithmic limiting distribution for the analogous…
We use discrete Morse theory to give a new proof of the Degree Theorem in Auter space A_n. There is a filtration of A_n into subspaces A_{n,k} using the degree of a graph, and the Degree Theorem says that each A_{n,k} is (k-1)-connected.…
We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which generalizes our previous results about truncated iterative…
We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a…
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…
Recently Lima and Campello de Souza introduced a new class of rational functions over odd-order finite fields, and explained their potential usefulness in cryptography. We show that these new functions are conjugate to the classical family…
In this paper we prove that there are exactly eight function fields, up to isomorphism, over finite fields with class number one.
We prove that the Tate conjecture in codimension $1$ over a finitely generated field follows from the same conjecture for surfaces over its prime subfield. In positive characteristic, this is due to de Jong--Morrow over $\mathbf{F}_p$ and…
This study provides some results about two-level type-theoretic notions in a way that the proofs are fully formalizable in a proof assistant implementing two-level type theory such as Agda. The difference from prior works is that these…
This article concerns a generalization of the Temperley-Lieb algebra, important in applications to conformal field theory. We call this algebra the valenced Temperley-Lieb algebra. We prove salient facts concerning this algebra and its…
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and…
This is a general introduction to duality in field theories. The existence and breaking of global symmetries is used as a guideline to systematically prove duality between different field theories. Systems discussed include abelian and…
We describe gradings by finite abelian groups on the associative algebras of infinite matrices with finitely many nonzero entries, over an algebraically closed field of characteristic zero.
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…
In this paper we investigate algebraic function fields in positive characteristic mainly obtained as double Artin-Schreier extensions of rational function fields with a plane model. The goal is to extend to such extensions large…
We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…