F. J. Herrera-Govantes, M. A. Olalla Acosta, J. L. Vicente-Cordoba
This paper deals with valuations of fields of formal meromorphic functions and their residue fields. We explicitly describe the residue fields of the monomial valuations. We also classify all the discrete rank one valuations of fields of power series in two and three variables, according to their residue fields. We prove that all our cases are possible and give explicit constructions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 $σ$ is a formal power series in $x_1,...,x_n$ with coefficints in the algebraic closure of $k$. We give a very simple necessary and sufficient condition for $σ$ to be algebraic over $k((x_1,...,x_n))$. As an application of our methods, we give a characterization of valuation rings $V$ which dominate an excellent, Noetherian local domain $R$ of dimension two, and suc…
Poincare Series of Non-divisorial Valuations on Two-dimensional Function Fields
本文利用双图和估值生成序列计算二维函数域上非除子估值的庞加莱级数，证明其反映双图数据并提供估值的另一种分类方法。
Let $V$ be a finite set of divisorial valuations centered at a 2-dimensional regular local ring $R$. In this paper we study its structure by means of the semigroup of values, $S_V$, and the multi-index graded algebra defined by $V$, $\gr_V R$. We prove that $S_V$ is finitely generated and we compute its minimal set of generators following the study of reduced curve singularities. Moreover, we prove a unique decomposition theorem for the elements of the semigroup. The comparison between valuations in $V$, the approximation of a reduced plane curve singularity $C$ by families of sets $V^{(k)}$ o…
In this paper we study the rank one discrete valuations of the field $k((X_1,..., X_n))$ whose center in $k\lcor\X\rcor$ is the maximal ideal. In sections 2 to 6 we give a construction of a system of parametric equations describing such valuations. This amounts to finding a parameter and a field of coefficients. We devote section 2 to finding an element of value 1, that is, a parameter. The field of coefficients is the residue field of the valuation, and it is given in section 5. The constructions given in these sections are not effective in the general case, because we need either to use 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 by its valuation. We consider this field to be a good candidate for the base field for tropical geometry.
We investigate valued fields which admit a valuation basis. Given a countable ordered abelian group G and a real closed, or algebraically closed field F, we give a sufficient condition for a valued subfield of the field of generalized power series F((G)) to admit a K-valuation basis. We show that the field of rational functions F(G) and the field F(G) of power series in F((G)) algebraic over F(G) satisfy this condition. It follows that for archimedean F and divisible G the real closed field F(G) admits a restricted exponential function.
For an affine toric variety X we compute the Poincare series of the multi-index filtration defined by a finite number of monomial divisorial valuations on the ring O_{X,0}. We give an alternative description of the Poincare series as an integral with respect to the Euler characteristic over the projectivization of the space of germs O_{X,0}. In particular we study divisorial valuations on the ring O_{C^d,0} that arise by considering toric constellations. We give an explicit formula for the Poincare series and a nice geometric description. This generalizes an expression of the Poincare series f…
Consider the linear differential equation of $m$-th order with constant coefficients from the valuation ring $K$ of a non-Archimedean field. We get sufficient conditions of uniqueness and existence for the solution of this equation from $K[[x]]$. Also the fundamental solution from $\frac{1}{x}K[[\frac{1}{x}]]$ of the equation is obtained and it is shown that the convolution of the fundamental solution and a non-homogeneity is a unique solution of the equation.
Pseudo-valuation domains have been studied since their introduction in 1978 by Hedstrom and Houston. Related objects, boundary valuation domains, were introduced by Maney in 2004. Here, it is shown that the class of atomic pseudo-valuation domains coincides with the class of boundary valuation domains. It is also shown that power series rings and generalized power series rings give examples of pseudo-valuation domains whose congruence lattices can be characterized. The paper also introduces, and makes use of, a sufficient condition on the group of divisibility of a domain to guarantee that it …
Flat dimension for power series over valuation rings
该研究针对秩1真稠密值群赋值环上的幂级数环，通过探究其赋值理论构造出希尔伯特合冲定理的反例，同时给出该幂级数环非凝聚环的新证明。
We construct algebraically closed fields containing an algebraic closure of the field of power series in several variables over a characteristic zero field. Each of these fields depends on the choice of an Abhyankar valuation and are constructed via the Newton-Puiseux method. Then we study more carefully the case of monomial valuations and we give a result generalizing the Abhyankar-Jung Theorem for monic polynomials whose discriminant is weighted homogeneous.
Let $k$ be a field with a real valuation $ν$ and $R$ a $k$-algebra. We show that there exist a $k$-algebra $K$ and a real valuation $μ$ on $K$ extending $ν$ such that any real ring valuation of $R$ is induced by $μ$ via some homomorphism from $R$ to $K$; $K$ can be chosen to be a field. Then we study the case when $ν$ is trivial and $R$ a complete local Noetherian ring with the residue field $k$. Let $K$ be the ring $\bar{k}[[t^\R]]$ of Hahn series with its natural valuation $μ$; $\bar{k}$ is an algebraic closure of $k$. Despite $K$ is not universal in the strong sense defined above, it has th…
In this paper we use the theory of multiplier ideals to show that the valuation ideals of a rank one Abhyankar valuation centered at a smooth point of a complex algebraic variety are approximated, in a quite strong sense, by sequences of powers of fixed ideals. Fix a rank one valuation v centered at a smooth point x on an algebraic variety over a field of characteristic zero. Assume that v is Abhyankar, that is, that its rational rank plus its transcendence degree equal the dimension of the variety. Let a_m denote the ideal of elements in the local ring of x whose valuations are at least m. Ou…
Recently, Anscombe and Koenigsmann gave an existential 0-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields.
The paper proves the intermediate value theorem for polynomials and power series over a valued field with divisible valuation group and infinite residue field. Some further results on the behaviour of the valuation are obtained using Hensel's Lemma.
An algorithm for computing syzygies on $V[X]$ when $V$ is a valuation domain
本文针对赋值域 V 上的多项式环 V[X]，提出基于“阶梯形”的算法，以计算有限生成子模的 V-饱和，并进而求得其合冲模的有限生成元系。
Let $ k $ be a field, $ G $ a totally ordered abelian group and $ \mathbb K = k((G)) $ the maximal field of generalised power series, endowed with the canonical valuation $ v $. We study the group $ v \mathrm{-Aut} K $ of valuation preserving automorphisms of a subfield $ k(G)\subseteq K\subseteq \mathbb K $, where $ k(G) $ is the fraction field of the group ring $ k[G] $. Under the assumption that $ K $ satisfies two lifting properties we are able to generalise and refine Hofberger's decomposition of $ v \mathrm{-Aut}\mathbb K $ and prove a structure theorem decomposing $ v\mathrm{-Aut} K $ i…
The aim of this paper is to introduce a certain number of tools and results suitable for the study of valuations of higher rank on function fields of algebraic varieties. This will be based on a study of higher rank quasi-monomial valuations taking values in the lexicographically ordered group R^k. We prove a duality theorem that gives a geometric realization of higher rank quasi-monomial valuations as tangent cones of dual cone complexes. Using this duality, we provide an analytic description of quasi-monomial valuations as multi-directional derivative operators on tropical functions. We cons…
We discuss definability of henselian valuation rings in the Macintyre language $\mathcal{L}_{\rm Mac}$, the language of rings expanded by n-th power predicates. In particular, we show that henselian valuation rings with finite or Hilbertian residue field are uniformly $\exists$-$\emptyset$-definable in $\mathcal{L}_{\rm Mac}$, and henselian valuation rings with value group $\mathbb{Z}$ are uniformly $\exists\forall$-$\emptyset$-definable in the ring language, but not uniformly $\exists$-$\emptyset$-definable in $\mathcal{L}_{\rm Mac}$. We apply these results to local fields $\mathbb{Q}_p$ and …
We study necessary and sufficient conditions for a valued field $\KF$ with value group $G$ and residue field $\kf$ (with char $\KF$ = char $\kf$) to admit a truncation closed embedding in the field of generalized power series $\kf((G, f))$ (with factor set $f$). We show that this is equivalent to the existence of a family ({\it tower of complements}) of $\kf$-subspaces of $\KF$ which are complements of the (possibly fractional) ideals of the valuation ring. If $\KF$ is a Henselian field of characteristic 0 or, more generally, an algebraically maximal Kaplansky field, we give an intrinsic const…
Characterizing absolutely irreducible integer-valued polynomials over discrete valuation domains
本文针对有限剩余域离散赋值域上的不可约整值多项式，利用与多项式关联的固定因子核刻画绝对不可约性，并给出将判定归结为特定幂唯一分解的界。
Some factorization results for formal power series
本文研究形式幂级数在主理想领域上的因子分解，给出精确的不可约因子数量界，并推导出形式幂级数的不可约性判别准则。
In this paper, we investigate the structure of skew power series rings of the form $S = R[[x;σ,δ]]$, where $R$ is a complete filtered ring and $(σ,δ)$ is a skew derivation respecting the filtration. Our main focus is on the case in which $σδ= δσ$, and we aim to use techniques in non-commutative valuation theory to address the long-standing open question: if $P$ is an invariant prime ideal of $R$, is $PS$ a prime ideal of $S$? When $R$ has characteristic $p$, our results reduce this to a finite-index problem. We also give preliminary results in the "Iwasawa algebra" case $δ= σ- \mathrm{id}_R$ i…
We study real sequences $\{a_{n}\}_{n\in \mathbb{N}}$ that eventually agree with a polynomial. We show that if the numerator polynomial of its rational generating series is of degree $s$ and has only nonnegative coefficients, then the numerator polynomial of the subsequence $\{ a_{rn+i}\}_{n\in \mathbb{N}}$, $0\leq i<r$, has only nonpositive, real roots for all $r\geq s-i$. We apply our results to combinatorially positive valuations on polytopes and to Hilbert functions of Veronese submodules of graded Cohen-Macaulay algebras. In particular, we prove that the Ehrhart $h^\ast$-polynomial of the…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。