Related papers: Explicit Class Field Theory for Orders in Global F…

We reduce the classification of finite extensions of function fields (of curves over finite fields) with the same class number to a finite computation; complete this computation in all cases except when both curves have base field…

Let F be a global function field of characteristic p with ring of integers A and let \Phi be a Hayes module on the Hilbert class field H(A) of F. We prove an Iwasawa Main Conjecture for the Z_p^\infty-extension F/F generated by the…

We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…

In this paper, we study properties of nodal orders defined over arbitrary base fields. In particular we give a classification of complete real nodal orders.

We investigate the presence of twinlike models in theories described by several real scalar fields. We focus on the first-order formalism, and we show how to build distinct scalar field theories that support the same extended solution, with…

Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on…

We compute the $2$-completed integral motivic homology, effective algebraic K-theory, and very effective hermitian K-theory of the geometric classifying space of the cyclic group of order two over algebraically closed fields, the real…

In 1907, Hans Hahn proved the remarkable fact that any ordered group can be embedded in an ordered real function space. This set the stage for work on ordered groups and fields, and this area received valuable contributions from Levi-Civita…

The existing derivations of a heavy quark effective theory (HQET) are analyzed beyond the next-to-leading order in $1/m$. With one exception they are found to be incorrect. The problem is a wrong normalization of the heavy quark field in…

Let $F$ be a totally real number field of class number one, and let $K$ be a CM-field with $F$ as its maximal real subfield. For each positive integer $N$, we construct a class group of certain binary quadratic forms over $F$ which is…

An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

We show that double field theory arises from the color-kinematic double copy of Yang-Mills theory. A precise double copy prescription for the Yang-Mills action at quadratic and cubic order is provided that yields the double field theory…

Neukirch developed an axiomatic and explicit approach to class field theory. This was applied to local fields and number fields but was never done for global function fields since he believed that geometric approach is more suitable.…

There exist numerous results in the literature proving that within certain families of totally real number fields, the minimal rank of a universal quadratic lattice over such a field can be arbitrarily large. Kala introduced a technique of…

In this paper we are interested in the stability of the $2$-rank of the class group in the cyclotomic $\mathbb{Z}_2$-extension of real biquadratic fields. In fact, we give several families of real biquadratic fields $K$ such that $…

In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the…

Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…

The computation of a maximal order of an order in a semisimple algebra over a global field is a classical well-studied problem in algorithmic number theory. In this paper we consider the related problems of computing all minimal overorders…