English
Related papers

Related papers: Algebraic valuation ring extensions as limits of c…

200 papers

We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…

Logic · Mathematics 2025-12-18 Jan Dobrowolski , Francesco Gallinaro , Rosario Mennuni

We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are…

Logic · Mathematics 2016-03-30 Jamshid Derakhshan , Angus Macintyre

We characterize completey (give a necessary and suffcient condition using special neat embeddings)for a relation algebra to belong to the amalgamation, strong amalgamation, and superamalgamation base of the class of representable algebras.…

Logic · Mathematics 2013-04-03 Tarek Sayed Ahmed

We observe algebraic derivations on an affine domain B defined over an algebraically closed field of characteristic 0, which are called locally finite derivations in commutative and non-commutative contexts in other references. We observe…

Algebraic Geometry · Mathematics 2013-03-07 Kayo Masuda , Masayoshi Miyanishi

We define an analog in characteristic $p>0$ of the proalgebraic completion of the topological fundamental group of a complex manifold.

Algebraic Geometry · Mathematics 2010-04-13 Hélène Esnault , Amit Hogadi

We classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive…

Commutative Algebra · Mathematics 2013-04-02 Franz-Viktor Kuhlmann

We give a non-constructive proof that fusion rings attached to a simple complex Lie algebra of rank 2 are complete intersections.

Rings and Algebras · Mathematics 2016-10-11 Troels Bak Andersen

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…

Algebraic Geometry · Mathematics 2012-11-05 F. J. Herrera Govantes , M. A. Olalla Acosta , M. Spivakovsky , B. Teissier

We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula…

Logic · Mathematics 2013-06-10 Raf Cluckers , Jamshid Derakhshan , Eva Leenknegt , Angus Macintyre

In this article, we give a full description of the topology of the one dimensional affine analytic space $\mathbb{A}_R^1$ over a complete valuation ring $R$ (i.e. a valuation ring with "real valued valuation" which is complete under the…

Number Theory · Mathematics 2017-03-17 Chi-Wai Leung , Chi-Keung Ng

The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.

Combinatorics · Mathematics 2012-05-07 Adrien Boussicault , Valentin Feray , Alain Lascoux , Victor Reiner

We give a proof of local strong factorization of a birational extension of regular local rings (of equicharacteristic zero) along a valuation of rank 1 and maximal rational rank. This gives an alternate proof to the geometric proof of this…

Commutative Algebra · Mathematics 2007-05-23 Steven Dale Cutkosky , Hema Srinivasan

An equivalence is established between the category of at most $a$-ramified finite separable extensions of a complete discrete valuation field $K$ and the category of at most $a$-ramified finite extensions of the "length-$a$ truncation"…

Number Theory · Mathematics 2012-12-20 Toshiro Hiranouchi , Yuichiro Taguchi

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

We give a comprehensive survey of the theory of finite dimensional Lie algebras over an algebraically closed field of characteristic p>0 and announce that for p>3 the classification of finite dimensional simple Lie algebras is complete. Any…

Rings and Algebras · Mathematics 2007-05-23 Alexander Premet , Helmut Strade

In this paper we present a characterization for the defect of a simple algebraic extensions of valued fields. This characterization generalizes the known result for the henselian case, namely that the defect is the product of the relative…

Commutative Algebra · Mathematics 2022-07-25 Josnei Novacoski , Enric Nart

In this article, we investigate the shift of Abbes and Saito's ramification filtrations of the absolute Galois group of a complete discrete valuation field of positive characteristic under a purely inseparable extension. We also study a…

Algebraic Geometry · Mathematics 2018-04-24 Haoyu Hu

The main goal of this paper is to study some properties of an extension of valuations from classical invariants. More specifically, we consider a valued field $(K,\nu)$ and an extension $\omega$ of $\nu$ to a finite extension $L$ of $K$.…

Commutative Algebra · Mathematics 2019-07-04 Steven Dale Cutkosky , Josnei Novacoski

We consider varieties generated by finite closure algebras whose canonical relations have two levels, and whose restriction to a level is an "extremal" relation, i.e. the identity or the universal relation. The corresponding logics have…

Logic · Mathematics 2023-09-21 Ivo Düntsch , Wojciech Dzik

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$…

Commutative Algebra · Mathematics 2008-01-08 Steven Dale Cutkosky , Olga Kashcheyeva