Related papers: Preordered groups and valued fields
A scalar field obeying a Lorentz invariant higher order wave equation, is minimally coupled to the electromagnetic field. The propagator and vertex factors for the Feynman diagrams, are determined. As an example we write down the matrix…
In the first part of the paper we define a perturbative (pre-formal) geometry and formulate a theorem on the relation between the construction of a perturbative neighborhood of affine varieties and the higher tangent bundles. In the second…
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…
We broaden the scope of quantum field theory by introducing a general class of discrete gauge theories that realize either topological order or fracton behavior across dimensions. We start from translation-invariant systems endowed with…
Let $F_q$ be a field with $q$ elements, where $q$ is a power of a prime number $p\geq 5$. For any integer $m\geq 2$ and $a\in F_q^*$ such that the polynomial $x^m-a$ is irreducible in $F_q[x]$, we combine two different methods to construct…
This paper deals with valuations of fields of formal meromorphic functions and their residue fields. We explicitly describe the residue fields of the monomial valuations. We also classify all the discrete rank one valuations of fields of…
The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.
We consider the problem of existence and enumeration of primitive TSRs of order n over any finite field. Here we prove the existence of primitive TSRs of order two over finite fields of characteristic two and establish an equivalence…
We give a complete list of the one-dimensional groups definable in algebraically closed valued fields and i the pseudo-local fields, up to a finite index subgroup and a quotient by a finite subgroup.
In this paper, we study two topics. One is the divisibility problem of class groups of quadratic number fields and its connections to algebraic geometry. The other is the construction of Selmer group and Tate-Shafarevich group for an…
Permutation polynomials over finite fields have taken an important role in vast areas in mathematics as well as engineering. Recently, Tu et al. gave some classes of complete permutation polynomials over finite fields of even…
Like (co)homology group theory of formal Hamiltonian vector fields on symplectic vector spaces, we try studying homology group theory on symplecit tori introducing the notion of weight.
We study Grothendieck rings (in the sense of logic) of fields. We prove the triviality of the Grothendieck rings of certain fields by constructing definable bijections which imply the triviality. More precisely, we consider valued fields,…
We show that finite quasisimple groups of Lie type in characteristic $p$ with an irreducible representation of prime degree $r$ over a finite field of characteristic $p$ have orders bounded above by a function of $r$, independent of $p$. We…
We study the combinatorial equivalence of separable elements in types $A$ and $B$. A bijection is constructed from the set of separable permutations in the symmetric group $S_{n+1}$ to the set of separable signed permutations in the…
We apply tropical geometry to study matrix algebras over a field with valuation. Using the shapes of min-max convexity, known as polytropes, we revisit the graduated orders introduced by Plesken and Zassenhaus. These are classified by the…
This paper contains a new proof of the classification of elements of prime order in the Cremona group Bir(P^2), up to conjugation. In addition, we give explicit geometric constructions of these Cremona transformations, and provide a…
The purpose of these notes is to collect in one place some facts on the category of finite totally ordered sets and some related categories. More specifically, we collect some results on them which will be useful for the study of iteratedly…
Classically, Groebner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build…
We start with definitions of the general notions of the theory of $\Bbb Z_{2}$-graded algebras. Then we consider theory of inductive families of $\Bbb Z_{2}$-graded semisimple finite-dimensional algebras and its representations in the…