Related papers: A note on the effective listing of complete types

We answer a question of Abhyankar by constructing an algebraic closure of the field of power series over a field of positive characteristic, using "generalized power series". (The corresponding construction in characteristic 0 dates back to…

In this paper we give a survey of recent methods for the asymptotic and exact enumeration of number fields with given Galois group of the Galois closure. In particular, the case of fields of degree up to 4 is now almost completely solved,…

We introduce a new fundamental group scheme for varieties defined over an algebraically closed field of positive characteristic and we use it to study generalization of some of C. Simpson's results to positive characteristic. We also study…

Let $k$ be an algebraically closed field of characteristic zero, $F$ be an algebraically closed extension of $k$ of transcendence degree one, and $G$ be the group of automorphisms over $k$ of the field $F$. The purpose of this note is to…

We show that the isomorphy type of every finitely generated field $K$ with $\chr(K)\neq2$ is encoded by a \textit{\textbf{single\ha3explicit\ha3axiom}} $\istp K\!$ \textit{\textbf{in\ha3the\ha3language\ha3of\ha3fields}}, i.e., for all…

We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of…

The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete…

We characterize those valued fields for which the image of the valuation ring under every polynomial in several variables contains an element of maximal value, or zero.

We give a survey of Darboux type theorems in multisymplectic geometry. These theorems establish when a closed differential form of a certain type admits a constant-coefficient expression in some local coordinate system. Beyond the classical…

These notes are an introduction to and an overview of the theory of algebraic surfaces over algebraically closed fields of positive characteristic. After some background in characteristic-p-geometry, we sketch the Kodaira-Enriques…

We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…

Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their…

These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

We derive several existence results concerning cycle types and, more generally, the "mapping behavior" of complete mappings. Our focus is on so-called first-order cyclotomic mappings, which are functions on a finite field $\mathbb{F}_q$…

Let $\mathbb{F}$ be an algebraically closed field of characteristic zero. Recently, we proved that isotypic blocks are functorially equivalent over $\mathbb{F}$. In this article we provide an example of functorially equivalent blocks which…

We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…

We show that each local field $\mathbb{F}_q((t))$ of characteristic $p > 0$ is characterised up to isomorphism within the class of all fields of imperfect exponent at most $1$ by (certain small quotients of) its absolute Galois group…

We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…