Related papers: Biquadratic fields having a non-principal euclidea…

We construct a ${\rm KO}$-valued families index for a class of $1|1$-dimensional Euclidean field theories. This realizes a conjectured cocycle map in the Stolz--Teichner program. We further show that a bundle of spin manifolds leads to a…

We develop a criterion for a normal basis, and prove that the singular values of certain Siegel functions form normal bases of ray class fields over imaginary quadratic fields other than $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$.…

We introduce and study a special class of ideals, called tropical ideals, in the semiring of tropical polynomials, with the goal of developing a useful and solid algebraic foundation for tropical geometry. The class of tropical ideals…

Already Dedekind and Weber considered the problem of counting integral ideals of norm at most $x$ in a given number field $K$. Here we improve on the existing results in case $K/\mathbb Q$ is abelian and has degree at least four. For these…

We extend the classical results on the symmetry inheritance of the canonical electromagnetic fields, described by the Maxwell's Lagrangian, to a much wider class of models, which include those of the Born-Infeld, power Maxwell and the…

H-type Lie algebras were introduced by Kaplan as a class of real Lie algebras generalizing the familiar Heisenberg Lie algebra $\mathfrak{h}^3$. The H-type property depends on a choice of inner product on the Lie algebra $\mathfrak{g}$.…

Let $R^h$ denote the polynomial ring in variables $x_1,\,\ldots,\, x_h$ over a specified field $K$. We consider all of these rings simultaneously, and in each use lexicographic (lex) monomial order with $x_1 > \cdots > x_h$. Given a fixed…

The theory of continued fractions of functions $ \sqrt D $ is used to give lower bound for class numbers $h(D)$ of general real quadratic function fields $K=k(\sqrt D)$ over $k={\bf F}_q(T)$. For five series of real quadratic function…

This paper is devoted to understanding the defining ideal of a Nichols algebra from the decomposition of specific elements in the group algebra of braid groups. A family of primitive elements are found and algorithms are proposed. To prove…

Let $k$ be a number field, $f(x)\in k[x]$ a polynomial over $k$ with $f(0)\neq 0$, and $\O_{k,S}^*$ the group of $S$-units of $k$, where $S$ is an appropriate finite set of places of $k$. In this note, we prove that outside of some natural…

In this paper we study number fields which are Euclidean with respect to a function different from the absolute value of the norm. We also show that the Euclidean minimum with respect to weighted norms may be irrational and not isolated.

We find a class of block graphs whose binomial edge ideals have minimal regularity. As a consequence, we characterize the trees whose binomial edge ideals have minimal regularity. Also, we show that the binomial edge ideal of a block graph…

We develop class field theory of curves over $p$-adic fields which extends the unramified theory of S. Saito. The class groups which approximate abelian \'etale fundamental groups of such curves are introduced in the terms of algebraic…

GADTs were introduced in Haskell's eco-system more than a decade ago, but their interaction with several mainstream features such as type classes and functional dependencies has a lot of room for improvement. More specifically, for some…

We show the existence of and explicitly construct generic polynomials for various groups, over fields of positive characteristic. The methods we develop apply to a broad class of connected linear algebraic groups defined over finite fields…

We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2,2,2) whose Hilbert 2-class fields are finite.

Class field theory furnishes an intrinsic description of the abelian extensions of a number field that is in many cases not of an immediate algorithmic nature. We outline the algorithms available for the explicit computation of such…

We investigate a class of algebras that provides multiparameter versions of both quantum symplectic space and quantum Euclidean $2n$-space. These algebras encompass the graded quantized Weyl algebras, the quantized Heisenberg space, and a…

Austere submanifolds of Euclidean space were introduced in 1982 by Harvey and Lawson in their foundational work on calibrated geometries. In general, the austerity condition is much stronger than minimality since it express that the nonzero…

We associate to a sufficiently generic oriented matroid program and choice of linear system of parameters a finite dimensional algebra, whose representation theory is analogous to blocks of Bernstein--Gelfand--Gelfand category $\mathcal O$.…