Related papers: Universal valued fields and lifting points in loca…

In this note, we show that the algebraic K-theory of generalized archimedean valuation rings occurring in Durov's compactification of the spectrum of a number ring is given by stable homotopy groups of certain classifying spaces. We also…

Let $\A$ be a $\k$-algebra where $\k$ a field of arbitrary characteristic, and let $\mathscr{A}_\k$ be a full subcategory of $\A$-Mod, the abelian category of left $\A$-modules.Following M. Kleiner and I. Reiten, $\mathscr{A}_\k$ is {\it…

Suppose that $k$ is an arbitrary field. Consider the field $k((x_1,...,x_n))$, which is the quotient field of the ring $k[[x_1,...,x_n]]$ of formal power series in the variables $x_1,...,x_n$, with coefficients in $k$. Suppose that $\sigma$…

Let $k$ be an arbitrary field, $\Lambda$ be a $k$-algebra and $V$ be a $\Lambda$-module. When it exists, the universal deformation ring $R(\Lambda,V)$ of $V$ is a $k$-algebra whose local homomorphisms to $R$ parametrize the lifts of $V$ up…

Let k be a field of characteristic zero, K an algebraic function field over k, and V a k-valuation ring of K. Zariski's theorem of local uniformization shows that there exist algebraic regular local rings R_i with quotient field K which are…

Let $R$ be a complete equicharacteristic noetherian local domain with an algebraically closed residue field $k$. Let $\nu$ be a zero dimensional valuation of rank one centered in $R$ with value group $\Phi$. We show that there is a…

Given a totally real number field $F$, we show that there are only finitely many totally real extensions of $K$ of a fixed degree that admit a universal quadratic form defined over $F$. We further obtain several explicit classification…

For a given algebraically closed field $k$ of characteristic $p>0$ we consider the set ${\mathcal C}_k$, of graded isomorphism classes of {\em standard graded pairs} $(R, I)$, where $R$ is a standard graded ring over the field and $I$ is a…

Let $k$ be a field. In this paper, we define the notion of semi-fiber products of commutative $k$-algebras and show that the class of such rings contains several classes of commutative rings, including that of the fiber products of local…

Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the…

In this paper we define a field K of characteristic zero with valuation whose value group is the real numbers, and we show that this field of generalised Puiseux series is algebraically closed and complete with respect to the norm induced…

Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…

Let $K$ be a field, $\mathcal {O}_v$ a valuation ring of $K$ associated to a valuation $v$: $K\rightarrow\Gamma\cup\{\infty\}$, and ${\bf m}_v$ the unique maximal ideal of $\mathcal {O}_v$. Consider an ideal $\mathcal {I}$ of the free…

Let $k$ be an algebraically closed complete non-Archimedean field, and let $K$ be a finitely generated field extension over $k$ with transcendence degree $1$. Equip $K$ a non-Archimedean norm extending the one on $k$, and let $\mathcal{K}$…

If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…

Let $k$ be a field of characteristic zero and ${\bar k}$ an algebraic closure of $k$. For a geometrically integral variety $X$ over $k$, we write ${\bar k}(X)$ for the function field of ${\bar X}=X\times_k{\bar k}$. If $X$ has a smooth…

We introduce a general notion of solution for a Noetherian differential $k$-algebra and study its relationship with simplicity, where k is an algebraically closed field; then we analyze conditions under which such solutions may exist and be…

Let $\mathcal{O}_K$ be a discrete valuation ring with fraction field $K$ of characteristic $0$ and algebraically closed residue field $k$ of characteristic $p > 0$. Let $A/K$ be an abelian variety of dimension $g$ with a $K$-rational point…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a…