Related papers: The general Arason-Pfister Hauptsatz
We revisit, in an elementary way, the classical statement of various ``Main Conjectures'' for $p$-class groups $\mathcal{H}_K$ and $p$-ramified torsion groups $\mathcal{T}_K$ of abelian fields $K$, in the non semi-simple case $p \mid [K :…
Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…
One of the most significant discrete invariants of a quadratic form $\phi$ over a field $k$ is its (full) splitting pattern, a finite sequence of integers which describes the possible isotropy behaviour of $\phi$ under scalar extension to…
The (weak) Nullstellensatz over finite fields says that if $P_1,\ldots,P_m$ are $n$-variate degree-$d$ polynomials with no common zero over a finite field $\mathbb{F}$ then there are polynomials $R_1,\ldots,R_m$ such that…
Fourier coefficients of automorphic representations $\pi$ of $\Sp_{2n}(\BA)$ are attached to unipotent adjoint orbits in $\Sp_{2n}(F)$, where $F$ is a number field and $\BA$ is the ring of adeles of $F$. We prove that for a given $\pi$, all…
Let F be an arbitrary field of characteristic not 2. We write W(F) for the Witt ring of F, consisting of the isomorphism classes of all anisotropic quadratic forms over F. For any element x of W(F), dimension dim x is defined as the…
Let $\phi$ be a non-isotrivial family of Drinfeld A-modules of rank r in generic characteristic with a suitable level structure over a connected smooth algebraic variety X. Suppose that the endomorphism ring of $\phi$ is equal to A. Then we…
Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $\phi$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can…
We present a new approach to verify the Elementary Type Conjecture for abstract Witt rings with small number of square classes. To do so, we make use of an abstract analogue of the 2-torsion part of the Brauer group, also verifying a…
Let $\mathcal F$ be a saturated fusion system on a finite $p$-group $S$, and let $P$ be a strongly $\mathcal F$-closed subgroup of $S$. We define the concept ``$\mathcal F$-essential subgroups with respect to $P$" which are some proper…
We build on previous work on multirings (\cite{roberto2021quadratic}) that provides generalizations of the available abstract quadratic forms theories (special groups and real semigroups) to the context of multirings…
We define the concept of a doset Hibi ring and a generalized doset Hibi ring which are subrings of a Hibi ring and are normal affine semigrouprings. We apply the theory of (generalized) doset Hibi rings to analyze the rings of absolute…
Let $F$ be a field. Following the resolution of Milnor's conjecture relating the graded Witt ring of $F$ to its mod-2 Milnor $K$-theory, a major problem in the theory of symmetric bilinear forms is to understand, for any positive integer…
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…
Let $F$ be a global function field over the finite field $\mathbb{F}_q$ where $q$ is a prime power and $A$ be the ring of elements in $F$ regular outside $\infty$. Let $\phi$ be an arbitrary Drinfeld module over $F$ For a fixed non-zero…
The celebrated Borel--Tits theorem provides a classification of abstract isomorphisms between (simple) isotropic groups over fields, showing that such isomorphisms arise from field isomorphisms and group-scheme isomorphisms. In this work,…
We provide a new proof of the analogue of the Artin-Springer theorem for groups of type $\mathsf{D}$ that can be represented by similitudes over an algebra of Schur index $2$: an anisotropic generalized quadratic form over a quaternion…
We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are…
We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…
We show that the effective field equations for a recently formulated polynomial affine model of gravity, in the sector of a torsion-free connection, accept general Einstein manifolds---with or without cosmological constant---as solutions.…