Pure transcendental, immediate valuation ring extensions as limits of smooth algebras

Dorin Popescu

2024-02-24

Abstract:We show that a pure transcendental, immediate extension of valuation rings $V\subset V'$ containing a field is a filtered union of smooth $V$-subalgebras of $V'$.

Commutative Algebra,Algebraic Geometry

What problem does this paper attempt to address?

Algebraic valuation ring extensions as limits of complete intersection algebras

Dorin Popescu

2023-04-29

Abstract:We show that an algebraic immediate valuation ring extension of characteristic $p>0$ is a filtered union of complete intersection algebras of finite type.

Commutative Algebra,Algebraic Geometry
Quasi-Valuations Extending a Valuation

Shai Sarussi

DOI: https://doi.org/10.1016/j.jalgebra.2012.09.019

2012-09-19

Abstract:Suppose $F$ is a field with valuation $v$ and valuation ring $O_{v}$, $E$ is a finite field extension and $w$ is a quasi-valuation on $E$ extending $v$. We study quasi-valuations on $E$ that extend $v$; in particular, their corresponding rings and their prime spectrums. We prove that these ring extensions satisfy INC (incomparability), LO (lying over), and GD (going down) over $O_{v}$; in particular, they have the same Krull Dimension. We also prove that every such quasi-valuation is dominated by some valuation extending $v$. Under the assumption that the value monoid of the quasi-valuation is a group we prove that these ring extensions satisfy GU (going up) over $O_{v}$, and a bound on the size of the prime spectrum is given. In addition, a 1:1 correspondence is obtained between exponential quasi-valuations and integrally closed quasi-valuation rings. Given $R$, an algebra over $O_{v}$, we construct a quasi-valuation on $R$; we also construct a quasi-valuation on $R \otimes_{O_{v}} F$ which helps us prove our main Theorem. The main Theorem states that if $R \subseteq E$ satisfies $R \cap F=O_{v}$ and $E$ is the field of fractions of $R$, then $R$ and $v$ induce a quasi-valuation $w$ on $E$ such that $R=O_{w}$ and $w$ extends $v$; thus $R$ satisfies the properties of a quasi-valuation ring.

Commutative Algebra
Quasi-valuations and algebras over valuation domains

Shai Sarussi

DOI: https://doi.org/10.48550/arXiv.1308.4743

2013-08-22

Abstract:Suppose $F$ is a field with valuation $v$ and valuation domain $O_{v}$, and $R$ is an $O_{v}-$algebra. We prove that $R$ satisfies SGB (strong going between) over $O_{v}$. We give a necessary and sufficient condition for $R$ to satisfy LO (lying over) over $O_{v}$. Using the filter \qv constructed in [Sa1], we show that if $R$ is torsion-free over $O_{v}$ then $R$ satisfies GD (going down) over $O_{v}$. In particular, if $R$ is torsion-free and $(R^{\times} \cap O_{v}) \subseteq O_{v}^{\times}$, then for any chain in $\text{Spec}(O_v)$ there exists a chain in $\text{Spec}(R)$ covering it. Assuming $R$ is torsion-free over $O_{v}$ and $[R \otimes_{O_{v}}F:F]< \infty$, we prove that $R$ satisfies INC (incomparabilty) over $O_{v}$. Assuming in addition that $(R^{\times} \cap O_{v}) \subseteq O_{v}^{\times}$, we deduce that $R$ and $O_{v}$ have the same Krull dimension and a bound on the size of the prime spectrum of $R$ is given. Under certain assumptions on $R$ and a \qv defined on it, we prove that the \qv ring satisfies GU (going up) over $O_{v}$. Combining these five properties together, we deduce that any maximal chain of prime ideals of the \qv ring is lying over $\text{Spec}(O_{v})$, in a one-to-one correspondence.

Rings and Algebras
Generating sequences of valuations on simple extensions of domains

Razieh Ahmadian,Steven Dale Cutkosky

2023-08-10

Abstract:Suppose that $(K,v_0)$ is a valued field, $f(x)\in K[x]$ is a monic and irreducible polynomial and $(L,v)$ is an extension of valued fields, where $L=K[x]/(f(x))$. Let $A$ be a local domain with quotient field $K$ dominated by the valuation ring of $v_0$ and such that $f(x)$ is in $A[x]$. The study of these extensions is a classical subject. This paper is devoted to the problem of describing the structure of the associated graded ring ${\rm gr}_v A[x]/(f(x))$ of $A[x]/(f(x))$ for the filtration defined by $v$ as an extension of the associated graded ring of $A$ for the filtration defined by $v_0$. We give a complete simple description of this algebra when there is unique extension of $v_0$ to $L$ and the residue characteristic of $A$ does not divide the degree of $f$. To do this, we show that the sequence of key polynomials constructed by MacLane's algorithm can be taken to lie inside $A[x]$. This result was proven using a different method in the more restrictive case that the residue fields of $A$ and of the valuation ring of $v$ are equal and algebraically closed in a recent paper by Cutkosky, Mourtada and Teissier.

Commutative Algebra,Algebraic Geometry
A Valuation Theoretic Approach to Essential Dimension

Aurel Meyer

DOI: https://doi.org/10.48550/arXiv.1202.5363

2012-02-24

Abstract:In this essay we explore the notion of essential dimension using the theory of valuations of fields. Given a field extension K/k and a valuation on K that is trivial on k, we prove that the rank of the valuation cannot exceed the transcendence degree trdeg K. We use this inequality to prove lower bounds on the essential dimension in some interesting situations. We study orbits of a torus action and find a formula for the essential dimension of the functor of these orbits.

Algebraic Geometry
Valuations and Frobenius

Rankeya Datta,Karen E. Smith

DOI: https://doi.org/10.2140/ant.2016.10.1057

2016-12-29

Abstract:The behavior of the Frobenius map is investigated for valuation rings of prime characteristic. We show that valuation rings are always F-pure. We introduce a generalization of the notion of strong F-regularity, which we call F-pure regularity, and show that a valuation ring is F-pure regular if and only if it is Noetherian. For valuations on function fields, we show that the Frobenius map is finite if and only if the valuation is divisorial; in this case the valuation ring is Frobenius split. For Noetherian valuation rings in function fields, we show that the valuation ring is Frobenius split if and only if Frobenius is finite, or equivalently, if and only if the valuation ring is excellent.

Commutative Algebra
Filtered deformations of commutative algebras of Krull dimension two

Jason Bell

2023-12-09

Abstract:Let $F$ be an algebraically closed field of positive characteristic and let $R$ be a finitely generated $F$-algebra with a filtration with the property that the associated graded ring of $R$ is an integral domain of Krull dimension two. We show that under these conditions $R$ satisfies a polynomial identity, answering a question of Etingof in the affirmative in a special case.

Rings and Algebras,Quantum Algebra
Quasi-valuations - topology and the weak approximation theorem

Shai Sarussi

DOI: https://doi.org/10.48550/arXiv.1301.4338

2013-01-18

Abstract:Suppose $F$ is a field with a nontrivial valuation $v$ and valuation ring $O_{v}$, $E$ is a finite field extension and $w$ is a quasi-valuation on $E$ extending $v$. We study the topology induced by $w$. We prove that the quasi-valuation ring determines the topology, independent of the choice of its quasi-valuation. Moreover, we prove the weak approximation theorem for quasi-valuations.

General Topology,Rings and Algebras
Quasi valuation and valuation derived from filtered ring and properties

M.H. Anjom SHoa,M.H. Hosseini

DOI: https://doi.org/10.48550/arXiv.1406.4523

2014-06-18

Abstract:In this paper we show if R is a filtered ring then we can define a quasi valuation. And if R is some kind of filtered ring then we can define a valuation. Then we prove some properties and relations for R.

Rings and Algebras
Purely Inseparable ring extensions

Celia del Buey de Andrés,Diego Sulca

2024-10-07

Abstract:We revisit the concept of special algebras, also known as \textit{purely inseparable ring extensions}. This concept extends the notion of purely inseparable field extensions to the more general context of extensions of commutative rings. We use differential operators methods to provide a characterization for a ring extension to be purely inseparable in terms of a condition on certain modules of differential operators associated to the ring extension. This approach is also used to recover an already known characterization involving the modules of principal parts. Next, given a purely inseparable ring extension $A\subset C$, we aim to understand which intermediate rings $A\subset B\subset C$ satisfy the property that both $A\subset B$ and $B\subset C$ are both flat extensions by considering only the subalgebra $\operatorname{End}_B(C)$ of $\operatorname{End}_A(C)$. To achieve this, we prove a generalization of the Jacobson-Bourbaki theorem on Galois correspondence for field extensions to the setting of commutative ring extensions with homeomorphic spectra. Finally, given a tower of ring extensions $A\subset B\subset C$, we consider the question of whether the fact that two of the three extensions $A\subset C$, $A\subset B$, and $B\subset C$ are purely inseparable implies that the third one is also purely inseparable.

Commutative Algebra
On minimal ring extensions

Rahul Kumar,Atul Gaur

DOI: https://doi.org/10.48550/arXiv.2005.07217

2020-05-14

Commutative Algebra

Abstract:Let $R$ be a commutative ring with identity. The ring $R\times R$ can be viewed as an extension of $R$ via the diagonal map $\Delta: R \hookrightarrow R\times R$, given by $\Delta(r) = (r, r)$ for all $r\in R$. It is shown that, for any $a, b\in R$, the extension $\Delta(R)[(a,b)] \subset R\times R$ is a minimal ring extension if and only if the ideal $<a-b>$ is a maximal ideal of $R$. A complete classification of maximal subrings of $R(+)R$ is also given. The minimal ring extension of a von Neumann regular ring $R$ is either a von Neumann regular ring or the idealization $R(+)R/\mathfrak{m}$ where $\mathfrak{m}\in \text{Max}(R)$. If $R\subset T$ is a minimal ring extension and $T$ is an integral domain, then $(R:T) = 0$ if and only if $R$ is a field and $T$ is a minimal field extension of $R$, or $R_J$ is a valuation ring of altitude one and $T_{J}$ is its quotient field.
Uniform existential definitions of valuations in function fields in one variable

Karim Johannes Becher,Nicolas Daans,Philip Dittmann

2023-11-10

Abstract: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 negative answer, the valuation rings containing $K$ are uniformly existentially definable, and finitely generated integrally closed $K$-subalgebras are definable by a universal-existential formula. In order to obtain these results, we develop further the usage of local-global principles for quadratic forms in function fields to definability of certain subrings. We include a first systematic presentation of this general method, without restriction on the characteristic.

Number Theory
Subfields of algebraically maximal Kaplansky fields

Franz-Viktor Kuhlmann

DOI: https://doi.org/10.48550/arXiv.1803.07792

2018-03-21

Abstract:Using the ramification theory of tame and Kaplansky fields, we show that maximal Kaplansky fields contain maximal immediate extensions of each of their subfields. Likewise, algebraically maximal Kaplansky fields contain maximal immediate algebraic extensions of each of their subfields. This study is inspired by problems that appear in henselian valued fields of rank higher than 1 when a Hensel root of a polynomial is approximated by the elements generated by a (transfinite) Newton algorithm.

Commutative Algebra
Upper Ramification Groups for Arbitrary Valuation Rings

Kazuya Kato,Vaidehee Thatte

2024-04-02

Abstract:T. Saito established a ramification theory for ring extensions locally of complete intersection. We show that for a Henselian valuation ring $A$ with field of fractions $K$ and for a finite Galois extension $L$ of $K$, the integral closure $B$ of $A$ in $L$ is a filtered union of subrings of $B$ which are of complete intersection over $A$. By this, we can obtain a ramification theory of Henselian valuation rings as the limit of the ramification theory of Saito. Our theory generalizes the ramification theory of complete discrete valuation rings of Abbes-Saito. We study "defect extensions" which are not treated in these previous works.

Algebraic Geometry
Singular equivalences induced by ring extensions

Yongyun Qin

2024-03-19

Abstract:Let $B \subseteq A$ be an extension of finite dimensional algebras. We provide a sufficient condition for the existence of triangle equivalences of singularity categories (resp. Gorenstein defect categories) between $A$ and $B$. This result is applied to trivial extensions, Morita rings and triangular matrix algebras to give several reduction methods on singularity categories and Gorenstein defect categories of algebras.

Representation Theory,Rings and Algebras
On the Extensions of the Left Modules for a Meromorphic Open-String Vertex Algebra, I

Fei Qi

DOI: https://doi.org/10.1007/s00220-023-04930-3

IF: 2.361

2024-02-27

Communications in Mathematical Physics

Abstract:We study the extensions of two left modules for a meromorphic open-string vertex algebra V . We show that the extensions satisfying some technical but natural convergence conditions are in bijective correspondence to the first cohomology classes associated to the V -bimodule constructed in Huang and Qi (The first cohomology, derivations and the reductivity of a meromorphic open-string vertex algebra, Transactions of American Mathematical Society, 373 (2020)). When V is grading-restricted and contains a nice vertex subalgebra , those convergence conditions hold automatically. In addition, we show that the dimension of is bounded above by the fusion rule in the category of -modules. In particular, if the fusion rule is finite, then is finite-dimensional. We also give an example of an abelian category consisting of certain modules of the Virasoro VOA that does not contain any nice subalgebras, while the convergence conditions hold for every object.

physics, mathematical
Restricted analytic valued fields with partial exponentiation

Leonardo Ángel,Xavier Caicedo

2024-07-20

Abstract:Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of non-archimedean ordered valued fields augmented by all restricted analytic functions and an exponential function defined in the valuation ring, which extends the restricted analytic exponential. We obtain model completeness and other desirable properties for this theory. In particular, any model embeds in a model where the partial exponential extends to a full one.

Logic
Asymptotic properties of infinite directed unions of local quadratic transforms

William Heinzer,Bruce Olberding,Matthew Toeniskoetter

DOI: https://doi.org/10.1016/j.jalgebra.2017.01.009

IF: 0.908

2017-06-01

Journal of Algebra

Abstract:Let (R,m) be a regular local ring of dimension at least 2. For each valuation domain birationally dominating R, there is an associated sequence {Rn} of local quadratic transforms of R. We consider the case where this sequence {Rn}n≥0 is infinite and examine properties of the integrally closed local domain S=⋃n≥0Rn in the case where S is not a valuation domain. For this sequence, there is an associated boundary valuation ring V=⋃n≥0⋂i≥nVi, where Vi is the order valuation ring of Ri. There exists a unique minimal proper Noetherian overring T of S. T is the regular Noetherian UFD obtained by localizing outside the maximal ideal of S and S=V∩T. In the present paper, we define functions w and e, where w is the asymptotic limit of the order valuations and e is the limit of the orders of transforms of principal ideals. We describe V explicitly in terms of w and e and prove that V is either rank 1 or rank 2. We define an invariant τ associated to S that is either a positive real number or +∞. If τ is finite, then S is archimedean and T is not local. In this case, the function w defines the rank 1 valuation overring W of V and W dominates S. The rational dependence of τ over w(T×) determines whether S is completely integrally closed and whether V has rank 1. We give examples where S is completely integrally closed. If τ is infinite, then S is non-archimedean and T is local. In this case, the function e defines the rank 1 valuation overring E of V. The valuation ring E is a DVR and E dominates T, and in certain cases we prove that E is the order valuation ring of T.

mathematics
A Formalization of Complete Discrete Valuation Rings and Local Fields

María Inés de Frutos-Fernández,Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio

DOI: https://doi.org/10.1145/3636501.3636942

2023-12-18

Abstract: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 fields. In particular, we prove that the unit ball with respect to a discrete valuation on a field is a discrete valuation ring and, conversely, that the adic valuation on the field of fractions of a discrete valuation ring is discrete. We define finite extensions of valuations and of discrete valuation rings, and prove some global-to-local results. Building on this general theory, we formalize the abstract definition and some fundamental properties of local fields. As an application, we show that finite extensions of the field $\mathbb{Q}_p$ of $p$-adic numbers and of the field $\mathbb{F}_p(\!(X)\!)$ of Laurent series over $\mathbb{F}_p$ are local fields.

Logic in Computer Science,Number Theory

Pure transcendental, immediate valuation ring extensions as limits of smooth algebras

Algebraic valuation ring extensions as limits of complete intersection algebras

Quasi-Valuations Extending a Valuation

Quasi-valuations and algebras over valuation domains

Generating sequences of valuations on simple extensions of domains

A Valuation Theoretic Approach to Essential Dimension

Valuations and Frobenius

Filtered deformations of commutative algebras of Krull dimension two

Quasi-valuations - topology and the weak approximation theorem

Quasi valuation and valuation derived from filtered ring and properties

Purely Inseparable ring extensions

On minimal ring extensions

Uniform existential definitions of valuations in function fields in one variable

Subfields of algebraically maximal Kaplansky fields

Upper Ramification Groups for Arbitrary Valuation Rings

Singular equivalences induced by ring extensions

On the Extensions of the Left Modules for a Meromorphic Open-String Vertex Algebra, I

Restricted analytic valued fields with partial exponentiation

Asymptotic properties of infinite directed unions of local quadratic transforms

A Formalization of Complete Discrete Valuation Rings and Local Fields