Related papers: On the unramified extension of an arithmetic funct…

We present an extension to the quantifier-free theory of integer arrays which allows us to express counting. The properties expressible in Array Folds Logic (AFL) include statements such as "the first array cell contains the array length,"…

We develop properties of unramified, \'etale and smooth morphisms between Berkovich spaces over $\mathbb{Z}$. We prove that they satisfy properties analogous to those of morphisms of schemes and we provide analytification criteria. Our…

We study the nonclassical Hopf-Galois module structure of rings of algebraic integers in some extensions of $ p $-adic fields and number fields which are at most tamely ramified. We show that if $ L/K $ is an unramified extension of $ p…

The aim of these notes is to study some of the structural aspects of the ring of arithmetical functions. We prove that this ring is neither Noetherian nor Artinian. Furthermore, we construct various types of prime ideals. We show arithmetic…

Given a number field, it is an important question in algorithmic number theory to determine all its subfields. If the search is restricted to abelian subfields, one can try to determine them by using class field theory. For this, it is…

We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several…

For given rational prime number $p$ consider the tower of finite extensions of fields $K_0/\mathbb{Q}_p,$ $K/K_0, L/K, M/L$, where $K/K_0$ is unramified and $M/L$ is a Galois extension with Galois group $G$. Suppose one dimensional Honda…

We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.

We give an explicit description of the category of central extensions of a group scheme by a sheaf of Abelian groups. Based on this, we describe a framework for computing with central extensions of finite commutative group schemes, torsors…

Let $G$ be a finite group and $W$ be a faithful representation of $G$ over {\bf C}. The group $G$ acts on the field of rational functions $\mathbf C(W)$. The aim of this paper is to give a description of the unramified cohomology group of…

We construct derived fundamental group schemes for Tate motives over connected smooth schemes over fields. We show that there exists a pro affine derived group scheme over the rationals such that its category of perfect representations…

In this paper, we consider real and complex algebras as well as algebras over general fields. In Section 2, we revisit and prove several results on (quadratic) algebras over general fields. As an example, we demonstrate that a quadratic…

In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full…

Let Z be an algebraic space of finite type over a field, equipped with an action of the multiplicative group $G_m$. In this situation we define and study a certain algebraic space equipped with an unramified morphism to $A^1\times Z\times…

We study functions from a unique factorization monoid to a field. The set of all such functions is a commutative ring isomorphic to a ring of formal power series over the field, with indeterminates indexed by the prime elements of the…

Stressing the role of dual coalgebras, we modify the definition of affine schemes over the 'field with one element'. This clarifies the appearance of Habiro-type rings in the commutative case, and, allows a natural noncommutative…

Let $\cal R$ be either the Grothendieck semiring (semiring with multiplication) of complex algebraic varieties, or the Grothendieck ring of these varieties, or the Grothendieck ring localized by the class of the complex affine line. We…

We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an…

We develop the theory of transfer and norm maps for finite group schemes, extending classical results from finite group theory to a context where induction and restriction are not necessarily bi-adjoint. In the additive setting, we…

In this note, we introduce the notion of an unramified strongly cyclic covering for a cyclic curve, a class that has similar properties to, and contains, unramified double covers of hyperelliptic curves. We determine several of their basic…