English
Related papers

Related papers: Completions of valuation rings

200 papers

In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative…

Algebraic Geometry · Mathematics 2025-11-13 Arvid Siqveland

Let $k$ be an arbitrary field. We construct examples of regular local $k$-algebras $R$ (of positive dimension) for which the ring of differential operators $D_k(R)$ is trivial in the sense that it contains {\it no} operators of positive…

Commutative Algebra · Mathematics 2024-04-16 Alapan Mukhopadhyay , Karen E. Smith

We study the S-integral points on the complement of a union of hyperplanes in projective space, where S is a finite set of places of a number field k. In the classical case where S consists of the set of archimedean places of k, we…

Number Theory · Mathematics 2007-05-23 Aaron Levin

Let $\mathcal{R}$ be a finite valuation ring of order $q^r$. In this paper we generalize and improve several well-known results, which were studied over finite fields $\mathbb{F}_q$ and finite cyclic rings $\mathbb{Z}/p^r\mathbb{Z}$, in the…

Combinatorics · Mathematics 2016-11-22 Pham Van Thang , Le Anh Vinh

The covering number of an associative ring $R$ is the minimal number of proper subrings whose union is $R$. We establish a strategy to classify unital rings of a given finite covering number, and obtain a classification of unital rings…

Rings and Algebras · Mathematics 2020-09-09 Jon Cohen

Let $R$ be a two-dimensional regular local ring. In this paper, we prove that there is a bijection between the set of all valuations of $Quot(R)$ centered at $R$ and valuations of $k(x,y)$ centered at $k[x,y]_{(x,y)}$, where $k$ is the…

Algebraic Geometry · Mathematics 2019-01-30 Wael Mahboub , Mark Spivakovsky

Let $K$ be an algebraically closed field of arbitrary characteristic and let $X$ be an irreducible projective variety over $K$. Let $G\subseteq\text{Bir}(X)$ be a bounded-degree subgroup. We prove that there exists an irreducible projective…

Algebraic Geometry · Mathematics 2024-03-13 She Yang

We introduce and explore the Uniform Izumi-Rees Property in Noetherian rings with applications to multiplicity theory and containment relationships among symbolic powers of ideals. As an application, we prove that if $R$ is a normal domain…

Commutative Algebra · Mathematics 2025-11-03 Thomas Polstra

We study the ramification groups of finite Galois extensions $L/K$ of a complete discrete valuation field $K$ of equal characteristic $p>0$ with perfect residue field and Galois group isomorphic to the group of unitriangular matrices…

Number Theory · Mathematics 2025-09-01 Koto Imai

In the current paper we show that the dimension of a family $V$ of irreducible reduced curves in a given ample linear system on a toric surface $S$ over an algebraically closed field is bounded from above by $-K_S.C+p_g(C)-1$, where $C$…

Algebraic Geometry · Mathematics 2012-01-20 Ilya Tyomkin

For a simple, normal and finite extension of a valued field, we prove that we can related the order of the ramification group of the field extension and the set of key polynomials associated to the extension of the valuation. More…

Algebraic Geometry · Mathematics 2016-02-29 Jean-Christophe San Saturnino

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

Logic in Computer Science · Computer Science 2024-04-24 Thaynara Arielly de Lima , Andréia Borges Avelar , André Luiz Galdino , Mauricio Ayala-Rincón

When $k$ is a field, the classical Jacobian criterion computes the singular locus of an equidimensional, finitely generated $k$-algebra as the closed subset of an ideal generated by appropriate minors of the so-called Jacobian matrix.…

Commutative Algebra · Mathematics 2024-11-06 Nawaj KC

We define normalized versions of Berkovich spaces over a trivially valued field $k$, obtained as quotients by the action of $\mathbb R_{>0}$ defined by rescaling semivaluations. We associate such a normalized space to any special formal…

Algebraic Geometry · Mathematics 2018-10-16 Lorenzo Fantini

Let $(R,\mathfrak{m},k)$ be a Noetherian local ring and let $M$ be a finitely generated $R$-module. The main focus of this paper is to give positive answers for some long-standing homological conjectures over the idealization ring $R\ltimes…

Commutative Algebra · Mathematics 2024-06-04 Igor Nascimento , Victor Jorge-Pérez , Thiago Freitas

We study the ring of characteristic classes with values in the Chow ring for principal $G$-bundles over schemes. If we consider bundles which are locally trivial in the Zariski topology, then we show, for $G$ reductive, that this ring is…

alg-geom · Mathematics 2008-02-03 D. Edidin , W. Graham

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…

Algebraic Geometry · Mathematics 2017-06-27 Henri Gillet , Damian Rössler

We previously obtained a generalization and refinement of results about the ramification theory of Artin-Schreier extensions of discretely valued fields in characteristic $p$ with perfect residue fields to the case of fields with more…

Number Theory · Mathematics 2017-07-07 Vaidehee Thatte

Let $R$ be a commutative Noetherian local ring with residue field $k$. We show that if a finite direct sum of syzygy modules of $k$ surjects onto `a semidualizing module' or `a non-zero maximal Cohen-Macaulay module of finite injective…

Commutative Algebra · Mathematics 2023-04-25 Dipankar Ghosh , Anjan Gupta , Tony J. Puthenpurakal

If $R$ is a valuation domain of maximal ideal $P$ with a maximal immediate extension of finite rank it is proven that there exists a finite sequence of prime ideals $P=L_0\supset L_1\supset...\supset L_m\supseteq 0$ such that…

Rings and Algebras · Mathematics 2010-01-12 Francois Couchot