Showing 1–50 of 77 results for author: Cutkosky, S

Degree functions of graded families of ideals

Authors: Steven Dale Cutkosky, Jonathan Montaño

Abstract: We express multiplicities and degree functions of graded families of $\mathfrak{m}_R$-primary ideals in an excellent normal local ring $(R,\mathfrak{m}_R)$ as limits of intersection products. Moreover, in dimension 2, we show more refined results for divisorial filtrations. Finally, also in dimension 2, we give an example of a non-Noetherian divisorial filtration $\{I_n\}_{n\geqslant 0}$ of… ▽ More We express multiplicities and degree functions of graded families of $\mathfrak{m}_R$-primary ideals in an excellent normal local ring $(R,\mathfrak{m}_R)$ as limits of intersection products. Moreover, in dimension 2, we show more refined results for divisorial filtrations. Finally, also in dimension 2, we give an example of a non-Noetherian divisorial filtration $\{I_n\}_{n\geqslant 0}$ of $\mathfrak{m}_R$-primary ideals such that the union of all the sets of Rees valuations of all the $I_n$ is a finite set, and another example of a (necessarily non-Noetherian) divisorial filtration of $\mathfrak{m}_R$-primary ideals such that the set of all Rees valuations is infinite. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Multiplicities and degree functions in local rings via intersection products

Authors: Steven Dale Cutkosky, Jonathan Montaño

Abstract: We prove a theorem on the intersection theory over a Noetherian local ring $R$, which gives a new proof of a classical theorem of Rees about degree functions. To obtain this, we define an intersection product on schemes that are proper and birational over such rings $R$, using the theory of rational equivalence developed by Thorup, and the Snapper-Mumford-Kleiman intersection theory for proper sch… ▽ More We prove a theorem on the intersection theory over a Noetherian local ring $R$, which gives a new proof of a classical theorem of Rees about degree functions. To obtain this, we define an intersection product on schemes that are proper and birational over such rings $R$, using the theory of rational equivalence developed by Thorup, and the Snapper-Mumford-Kleiman intersection theory for proper schemes over an Artinian local ring. Our development of this product is essentially self-contained. As a central component of the proof of our main theorem, we extend to arbitrary Noetherian local rings a formula by Ramanujam that computes Hilbert-Samuel multiplicities. In the final section, we express mixed multiplicities in terms of intersection theory and conclude from this that they satisfy a certain multilinearity condition. Then we interpret some theorems of Rees and Sharp and of Teissier about mixed multiplicities over $2$-dimensional excellent local rings in terms of our intersection product. △ Less

Submitted 26 March, 2025; v1 submitted 18 March, 2025; originally announced March 2025.

Rees Algebras and the reduced fiber cone of divisorial filtrations on two dimensional normal local rings

Authors: Steven Dale Cutkosky

Abstract: Let $\mathcal I=\{I_n\}$ be a divisorial filtration on a two dimensional normal excellent local ring $(R,m_R)$. Let $R[\mathcal I]=\oplus_{n\ge 0}I_n$ be the Rees algebra of $\mathcal I$ and $τ:\mbox{Proj}R[\mathcal I])\rightarrow \mbox{Spec}(R)$ be the natural morphism. The reduced fiber cone of $\mathcal I$ is the $R$-algebra $R[\mathcal I]/\sqrt{m_RR[\mathcal I]}$, and the reduced exceptional f… ▽ More Let $\mathcal I=\{I_n\}$ be a divisorial filtration on a two dimensional normal excellent local ring $(R,m_R)$. Let $R[\mathcal I]=\oplus_{n\ge 0}I_n$ be the Rees algebra of $\mathcal I$ and $τ:\mbox{Proj}R[\mathcal I])\rightarrow \mbox{Spec}(R)$ be the natural morphism. The reduced fiber cone of $\mathcal I$ is the $R$-algebra $R[\mathcal I]/\sqrt{m_RR[\mathcal I]}$, and the reduced exceptional fiber of $τ$ is $\mbox{Proj}(R[\mathcal I]/\sqrt{m_RR[\mathcal I]})$. We give an explicit description of the scheme structure of $\mbox{Proj}(R[\mathcal I])$. As a corollary, we obtain a new proof of a theorem of F. Russo, showing that $\mbox{Proj}(R[\mathcal I])$ is always Noetherian and that $R[\mathcal I]$ is Noetherian if and only if $\mbox{Proj}(R[\mathcal I])$ is a proper $R$-scheme. We give an explicit description of the scheme structure of the reduced exceptional fiber $\mbox{Proj}(R[\mathcal I]/\sqrt{m_RR[\mathcal I]})$ of $τ$, in terms of the possible values 0, 1 or 2 of the analytic spread $\ell(\mathcal I)=\dim R[\mathcal I]/m_RR[\mathcal I]$. In the case that $\ell(\mathcal I)=0$, $τ^{-1}(m_R)$ is the emptyset; this case can only occur if $R[\mathcal I]$ is not Noetherian. △ Less

Submitted 3 November, 2024; v1 submitted 29 October, 2024; originally announced October 2024.

Comments: Corrected typos in introduction. 26 pages

MSC Class: 14B04; 14B25; 13A18

The Rees algebra and analytic spread of a divisorial filtration

Authors: Steven Dale Cutkosky

Abstract: In this paper we investigate some properties of Rees algebras of divisorial filtrations and their analytic spread. A classical theorem of McAdam shows that the analytic spread of an ideal $I$ in a formally equidimensional local ring is equal to the dimension of the ring if and only if the maximal ideal is an associated prime of $R/\overline{I^n}$ for some $n$. We show in Theorem 1.5 that McAdam's… ▽ More In this paper we investigate some properties of Rees algebras of divisorial filtrations and their analytic spread. A classical theorem of McAdam shows that the analytic spread of an ideal $I$ in a formally equidimensional local ring is equal to the dimension of the ring if and only if the maximal ideal is an associated prime of $R/\overline{I^n}$ for some $n$. We show in Theorem 1.5 that McAdam's theorem holds for $\mathbb Q$-divisorial filtrations in an equidimensional local ring which is essentially of finite type over an excellent local ring of dimension less than or equal to 3. This generalizes an earlier result for $\mathbb Q$-divisorial filtrations in an equicharacteristic zero excellent local domain by the author. This theorem does not hold for more general filtrations. We consider the question of the asymptotic behavior of the function $n\mapsto λ_R(R/I_n)$ for a $\mathbb Q$-divisorial filtration $\mathcal I=\{I_n\}$ of $m_R$-primary ideals on a $d$-dimensional normal excellent local ring. It is known from earlier work of the author that the multiplicity $$ e(\mathcal I)=d! \lim_{n\rightarrow\infty}\frac{λ_R(R/I_n)}{n^d} $$ can be irrational. We show in Lemma 4.1 that the limsup of the first difference function $$ \limsup_{n\rightarrow\infty}\frac{λ_R(I_n/I_{n+1})}{n^{d-1}} $$ is always finite for a $\mathbb Q$-divisorial filtration. We then give an example in Section 4 showing that this limsup may not exist as a limit. In the final section, we give an example of a symbolic filtration $\{P^{(n)}\}$ of a prime ideal $P$ in a normal two dimensional excellent local ring which has the property that the set of Rees valuations of all the symbolic powers $P^{(n)}$ of $P$ is infinite. △ Less

Submitted 5 July, 2025; v1 submitted 28 July, 2024; originally announced July 2024.

Comments: 25 pages. This final version contains a stronger version of Theorem 1.5

MSC Class: 13H15; 13A18; 14C17

Epsilon multiplicity is a limit of Amao multiplicities

Authors: Steven Dale Cutkosky, Stephen Landsittel

Abstract: In this paper we prove a volume = multiplicity type theorem for epsilon multiplicity. We show that epsilon multiplicity is a limit of Amao multiplicities. In this paper we prove a volume = multiplicity type theorem for epsilon multiplicity. We show that epsilon multiplicity is a limit of Amao multiplicities. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: 16 pages

MSC Class: 13H15

Kähler differentials, almost mathematics and deeply ramified fields

Authors: Steven Dale Cutkosky

Abstract: This article discusses ramification and the structure of relative Kähler differentials of extensions of valued fields. We begin by surveying the theory developed in recent work with Franz-Viktor Kuhlmann and Anna Rzepka constructing the relative Kähler differentials of extensions of valuation rings in Artin-Schreier and Kummer extensions. We then show how this theory is applied to give a simple pr… ▽ More This article discusses ramification and the structure of relative Kähler differentials of extensions of valued fields. We begin by surveying the theory developed in recent work with Franz-Viktor Kuhlmann and Anna Rzepka constructing the relative Kähler differentials of extensions of valuation rings in Artin-Schreier and Kummer extensions. We then show how this theory is applied to give a simple proof of Gabber and Ramero's characterization of deeply ramified fields. Section 4 develops the basics of almost mathematics, and should be accessible to a broad audience. Section 5 gives a simple and self contained proof of Gabber and Ramero's characterization of when the extension of a rank 1 valuation of a field to its separable closure is weakly étale. In the final section, we consider the equivalent conditions characterizing deeply ramified fields, as they are defined by Coates and Greenberg, and show that they are the same as the conditions of Gabber Ramero for local fields. △ Less

Submitted 29 November, 2023; v1 submitted 14 October, 2023; originally announced October 2023.

Comments: 27 pages

MSC Class: 13N05; 13A18; 13B99

Generating sequences of valuations on simple extensions of domains

Authors: Razieh Ahmadian, Steven Dale Cutkosky

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… ▽ More 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. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: 14 pages. arXiv admin note: substantial text overlap with arXiv:1904.10702

MSC Class: 12J20; 16W60; 14B25

Kähler differentials of extensions of valuation rings and deeply ramified fields

Authors: Steven Dale Cutkosky, Franz-Viktor Kuhlmann

Abstract: Assume that $(L,v)$ is a finite Galois extension of a valued field $(K,v)$. We give an explicit construction of the valuation ring $\mathcal O_L$ of $L$ as an $\mathcal O_K$-algebra, and an explicit description of the module of relative Kähler differentials $Ω_{\mathcal O_L|\mathcal O_K}$ when $L|K$ is a Kummer extension of prime degree or an Artin-Schreier extension, in terms of invariants of the… ▽ More Assume that $(L,v)$ is a finite Galois extension of a valued field $(K,v)$. We give an explicit construction of the valuation ring $\mathcal O_L$ of $L$ as an $\mathcal O_K$-algebra, and an explicit description of the module of relative Kähler differentials $Ω_{\mathcal O_L|\mathcal O_K}$ when $L|K$ is a Kummer extension of prime degree or an Artin-Schreier extension, in terms of invariants of the valuation and field extension. The case when this extension has nontrivial defect was solved in a recent paper by the authors with Anna Rzepka. The present paper deals with the complementary (defectless) case. The results are known classically for (rank 1) discrete valuations, but our systematic approach to non-discrete valuations (even of rank 1) is new. Using our results from the prime degree case, we characterize when $Ω_{\mathcal O_L|\mathcal O_K}=0$ holds for an arbitrary finite Galois extension of valued fields. As an application of these results, we give a simple proof of a theorem of Gabber and Ramero, which characterizes when a valued field is deeply ramified. We further give a simple characterization of deeply ramified fields with residue fields of characteristic $p>0$ in terms of the Kähler differentials of Galois extensions of degree $p$. △ Less

Submitted 16 June, 2025; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: Corrected mistakes and improved presentation in Sections 3 and 4

MSC Class: 12J10; 12J25

Epsilon multiplicity and analytic spread of filtrations

Authors: Steven Dale Cutkosky, Parangama Sarkar

Abstract: We extend the epsilon multiplicity of ideals defined by Ulrich and Validashti to epsilon multiplicity of filtrations, and show that under mild assumptions this multiplicity exists as a limit. We show that in rather general rings, the epsilon multiplicity of a Q-divisorial filtration is positive if and only if the analytic spread of the filtration is maximal (equal to the dimension of the ring). Th… ▽ More We extend the epsilon multiplicity of ideals defined by Ulrich and Validashti to epsilon multiplicity of filtrations, and show that under mild assumptions this multiplicity exists as a limit. We show that in rather general rings, the epsilon multiplicity of a Q-divisorial filtration is positive if and only if the analytic spread of the filtration is maximal (equal to the dimension of the ring). The condition that filtrations $\mathcal J\subset \mathcal I$ have the same epsilon multiplicity is considered, and we find conditions ensuring that the filtrations have the same integral closure. △ Less

Submitted 27 May, 2023; originally announced May 2023.

Comments: 18 pages

MSC Class: 13H15; 13A18; 13A02

On the computation of Kähler differentials and characterizations of Galois extensions with independent defect

Authors: Steven Dale Cutkosky, Franz-Viktor Kuhlmann, Anna Rzepka

Abstract: For important cases of algebraic extensions of valued fields, we develop presentations of the associated Kähler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind differentials. We then apply the results to Galois defect extensions of prime degree. Defects can appear in finite extensions of valued fields of positive residue ch… ▽ More For important cases of algebraic extensions of valued fields, we develop presentations of the associated Kähler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind differentials. We then apply the results to Galois defect extensions of prime degree. Defects can appear in finite extensions of valued fields of positive residue characteristic and are serious obstructions to several problems in positive characteristic. A classification of defects (dependent vs.\ independent) has been introduced by the second and the third author. It has been shown that perfectoid fields and deeply ramified fields only admit extensions with independent defect. We give several characterizations of independent defect, using ramification ideals, Kähler differentials and traces of the maximal ideals of valuation rings. All of our results are for arbitrary valuations; in particular, we have no restrictions on their rank or value groups. △ Less

Submitted 16 March, 2025; v1 submitted 17 May, 2023; originally announced May 2023.

Comments: Mistakes have been corrected and the presentation has been improved

MSC Class: 12J10; 12J25

A counterexample to strong local monomialization in a tower of two independent defect Artin-Schreier extensions

Authors: Steven Dale Cutkosky

Abstract: We give an example of an extension of two dimensional regular local rings in a tower of two independent defect Artin-Schreier extensions for which strong local monomialization does not hold. We give an example of an extension of two dimensional regular local rings in a tower of two independent defect Artin-Schreier extensions for which strong local monomialization does not hold. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Comments: 16 pages. arXiv admin note: substantial text overlap with arXiv:2111.12818

MSC Class: 13A18; 14B25

The Asymptotic Samuel Function of a Filtration

Authors: Steven Dale Cutkosky, Smita Praharaj

Abstract: We extend the asymptotic Samuel function of an ideal to a filtration and show that many of the good properties of this function for an ideal are true for filtrations. There are, however, interesting differences, which we explore. We study the notion of projective equivalence of filtrations and the relation between the asymptotic Samuel function and the multiplicity of a filtration. We further cons… ▽ More We extend the asymptotic Samuel function of an ideal to a filtration and show that many of the good properties of this function for an ideal are true for filtrations. There are, however, interesting differences, which we explore. We study the notion of projective equivalence of filtrations and the relation between the asymptotic Samuel function and the multiplicity of a filtration. We further consider the case of discrete valued filtrations and show that they have particularly nice properties. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Comments: 21 pages

MSC Class: 13A30; 13H15

Analytic Spread and Associated primes of divisorial filtrations

Authors: Steven Dale Cutkosky

Abstract: We prove that a classical theorem of McAdam about the analytic spread of an ideal in a Noetherian local ring is true for divisorial filtrations on an excellent local ring $R$ which is either of equicharacteristic zero or of dimension $\le 3$. In fact, the proof is valid whenever resolution of singularities holds. We prove that a classical theorem of McAdam about the analytic spread of an ideal in a Noetherian local ring is true for divisorial filtrations on an excellent local ring $R$ which is either of equicharacteristic zero or of dimension $\le 3$. In fact, the proof is valid whenever resolution of singularities holds. △ Less

Submitted 25 July, 2022; v1 submitted 6 April, 2022; originally announced April 2022.

Comments: 12 pages. In this version the assumption of being normal is removed from the results of the paper, Theorems 1.3 and 1.4. The theorems are extended to hold for Q-divisorial filtrations. arXiv admin note: text overlap with arXiv:2203.05935

MSC Class: 13A18; 13A15; 13A02

Analytic spread of filtrations on two dimensional normal local rings

Authors: Steven Dale Cutkosky

Abstract: In this paper we prove that a classical theorem by McAdam about the analytic spread of an ideal in a Noetherian local ring continues to be true for divisorial filtrations on a two dimensional normal excellent local ring $R$, and that the Hilbert polynomial of the fiber cone of a divisorial filtration on $R$ has a Hilbert function which is the sum of a linear polynomial and a bounded function. We p… ▽ More In this paper we prove that a classical theorem by McAdam about the analytic spread of an ideal in a Noetherian local ring continues to be true for divisorial filtrations on a two dimensional normal excellent local ring $R$, and that the Hilbert polynomial of the fiber cone of a divisorial filtration on $R$ has a Hilbert function which is the sum of a linear polynomial and a bounded function. We prove these theorems by first studying asymptotic properties of divisors on a resolution of singularities of the spectrum of $R$. The filtration of the symbolic powers of an ideal is an example of a divisorial filtration. Divisorial filtrations are often not Noetherian, giving a significant difference in the classical case of filtrations of powers of ideals and divisorial filtrations. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Comments: 28 pages

MSC Class: 13C05; 13H15; 14C17; 14C20

Erratic birational behavior of mappings in positive characteristic

Authors: Steven Dale Cutkosky

Abstract: Birational properites of generically finite morphisms $X\rightarrow Y$ of algebraic varieties can be understood locally by a valuation of the function field of $X$. In finite extensions of algebraic local rings in characteristic zero algebraic function fields which are dominated by a valuation there are nice monomial forms of the mapping after blowing up enough, which reflect classical invariants… ▽ More Birational properites of generically finite morphisms $X\rightarrow Y$ of algebraic varieties can be understood locally by a valuation of the function field of $X$. In finite extensions of algebraic local rings in characteristic zero algebraic function fields which are dominated by a valuation there are nice monomial forms of the mapping after blowing up enough, which reflect classical invariants of the valuation. Further, these forms are stable upon suitable further blowing up. In positive characteristic algebraic function fields it is not always possible to find a monomial form after blowing up along a valuation, even in dimension two. In dimension two and positive characteristic, after enough blowing up, there are stable forms of the mapping which hold upon suitable sequences of blowing. We give examples showing that even within these stable forms, the forms can vary dramatically (erratically) upon further blowing up. We construct these examples in towers of defect Artin-Schreier extensions which can have any prescribed distance. △ Less

Submitted 25 July, 2022; v1 submitted 24 November, 2021; originally announced November 2021.

Comments: 35 pages. This version clarifies the initial stage of an induction by defining an initial virtual exceptional divisor. Theorem 5.6 of the previous version, which is incorrect, has been removed from this version

MSC Class: 14E22; 13A18

The Minkowski Equality of Big Divisors

Authors: Steven Dale Cutkosky

Abstract: We give conditions characterizing equality in the Minkowski inequality for big divisors on a projective variety. Our results draw on the extensive history of research on Minkowski inequalities in algebraic geometry. We give conditions characterizing equality in the Minkowski inequality for big divisors on a projective variety. Our results draw on the extensive history of research on Minkowski inequalities in algebraic geometry. △ Less

Submitted 16 July, 2021; v1 submitted 11 July, 2021; originally announced July 2021.

Comments: 27 pages. A reference to a recent preprint has been added

MSC Class: 14C20; 14C17; 14C40; 14G17

Analytic Spread of Filtrations and Symbolic Algebras

Authors: Steven Dale Cutkosky, Parangama Sarkar

Abstract: In this paper we define and explore the analytic spread $\ell(\mathcal I)$ of a filtration in a local ring. We show that, especially for divisorial and symbolic filtrations, some basic properties of the analytic spread of an ideal extend to filtrations, even when the filtration is non Noetherian. We also illustrate some significant differences between the analytic spread of a filtration and the an… ▽ More In this paper we define and explore the analytic spread $\ell(\mathcal I)$ of a filtration in a local ring. We show that, especially for divisorial and symbolic filtrations, some basic properties of the analytic spread of an ideal extend to filtrations, even when the filtration is non Noetherian. We also illustrate some significant differences between the analytic spread of a filtration and the analytic spread of an ideal with examples. In the case of an ideal $I$, we have the classical bounds $\mbox{ht}(I)\le\ell(I)\le \dim R$. The upper bound $\ell(\mathcal I)\le \dim R$ is true for filtrations $\mathcal I$, but the lower bound is not true for all filtrations. We show that for the filtration $\mathcal I$ of symbolic powers of a height two prime ideal $\mathfrak p$ in a regular local ring of dimension three (a space curve singularity), so that $\mbox{ht}(\mathcal I) =2$ and $\dim R=3$, we have that $0\le \ell(\mathcal I)\le 2$ and all values of 0,1 and 2 can occur. In the cases of analytic spread 0 and 1 the symbolic algebra is necessarily non-Noetherian. The symbolic algebra is non-Noetherian if and only if $\ell(\mathfrak p^{(n)})=3$ for all symbolic powers of $\mathfrak p$ and if and only if $\ell(\mathcal I_a)=3$ for all truncations $\mathcal I_a$ of $\mathcal I$. △ Less

Submitted 6 April, 2022; v1 submitted 29 April, 2021; originally announced April 2021.

Comments: 23 pages. Final version. Theorem 4.6 is a little stronger

MSC Class: 13A02; 13A15; 13A18

Multiplicities and Mixed Multiplicities of arbitrary Filtrations

Authors: Steven Dale Cutkosky, Parangama Sarkar

Abstract: We develop a theory of multiplicities and mixed multiplicities of filtrations, extending the theory for filtrations of $m$-primary ideals to arbitrary (not necessarily Noetherian) filtrations. The mixed multiplicities of $r$ filtrations on an analytically unramified local ring $R$ come from the coefficients of a suitable homogeneous polynomial in $r$ variables of degree equal to the dimension of t… ▽ More We develop a theory of multiplicities and mixed multiplicities of filtrations, extending the theory for filtrations of $m$-primary ideals to arbitrary (not necessarily Noetherian) filtrations. The mixed multiplicities of $r$ filtrations on an analytically unramified local ring $R$ come from the coefficients of a suitable homogeneous polynomial in $r$ variables of degree equal to the dimension of the ring, analogously to the classical case of the mixed multiplicities of $m$-primary ideals in a local ring. We prove that the Minkowski inequalities hold for arbitrary filtrations. The characterization of equality in the Minkowski inequality for m-primary ideals in a local ring by Teissier, Rees and Sharp and Katz does not extend to arbitrary filtrations, but we show that they are true in a large and important subcategory of filtrations. We define divisorial and bounded filtrations. The filtration of powers of a fixed ideal is a bounded filtration, as is a divisorial filtration. We show that in an excellent local domain, the characterization of equality in the Minkowski equality is characterized by the condition that the integral closures of suitable Rees like algebras are the same, strictly generalizing the theorem of Teissier, Rees and Sharp and Katz. We also prove that a theorem of Rees characterizing the inclusion of ideals with the same multiplicity generalizes to bounded filtrations in excellent local domains. We give a number of other applications, extending classical theorems for ideals. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Comments: 32 pages

MSC Class: 13H15; 13A18; 14C17

Volumes of Line Bundles on Schemes

Authors: Steven Dale Cutkosky, Roberto Nunez

Abstract: Volumes of line bundles are known to exist as limits on generically reduced projective schemes. However, it is not known if they always exist as limits on more general projective schemes. We show that they do always exist as a limit on a codimension one subscheme of a nonsingular projective variety. Volumes of line bundles are known to exist as limits on generically reduced projective schemes. However, it is not known if they always exist as limits on more general projective schemes. We show that they do always exist as a limit on a codimension one subscheme of a nonsingular projective variety. △ Less

Submitted 17 July, 2021; v1 submitted 25 July, 2020; originally announced July 2020.

Comments: 11 pages. Final version

MSC Class: 14C40; 14C17

The Minkowski Equality for Filtrations

Authors: Steven Dale Cutkosky

Abstract: Suppose that R is an analytically irreducible or excellent local domain with maximal ideal m_R. We consider multiplicities and mixed multiplicities of R by filtrations of m_R-primary ideals. We show that the theorem of Teissier, Rees and Sharp, and Katz, characterizing equality in the Minkowski inequality for multiplicities of ideals, is true for divisorial filtrations, and for the larger category… ▽ More Suppose that R is an analytically irreducible or excellent local domain with maximal ideal m_R. We consider multiplicities and mixed multiplicities of R by filtrations of m_R-primary ideals. We show that the theorem of Teissier, Rees and Sharp, and Katz, characterizing equality in the Minkowski inequality for multiplicities of ideals, is true for divisorial filtrations, and for the larger category of bounded filtrations. This theorem is not true for arbitrary filtrations of m_R-primary ideals. △ Less

Submitted 14 January, 2021; v1 submitted 12 July, 2020; originally announced July 2020.

Comments: 48 pages. This version proves the additional result (theorem 8.4) that the Minkowski equalities hold under a condition of integral dependence for arbitrary filtrations of m-primary ideals

MSC Class: 13H15; 13A18; 14C17

Examples of Multiplicities and Mixed Multiplicities of Filtrations

Authors: Steven Dale Cutkosky

Abstract: In this paper we construct examples of irrational behavior of multiplicities and mixed multiplicities of divisorial filtrations. The construction makes essential use of anti-positive intersection products. In this paper we construct examples of irrational behavior of multiplicities and mixed multiplicities of divisorial filtrations. The construction makes essential use of anti-positive intersection products. △ Less

Submitted 5 July, 2020; originally announced July 2020.

Comments: 16 pages. arXiv admin note: text overlap with arXiv:1905.01508

MSC Class: 13H15; 14C20

Local Uniformization of Abhyankar Valuations

Authors: Steven Dale Cutkosky

Abstract: We prove local uniformization of Abhyankar valuations of an algebraic function field K over a ground field k. Our result generalizes the proof of this result, with the additional assumption that the residue field of the valuation ring is separable over k, by Hagen Knaf and Franz-Viktor Kuhlmann. The proof in this paper uses different methods, being inspired by the approach of Zariski and Abhyankar… ▽ More We prove local uniformization of Abhyankar valuations of an algebraic function field K over a ground field k. Our result generalizes the proof of this result, with the additional assumption that the residue field of the valuation ring is separable over k, by Hagen Knaf and Franz-Viktor Kuhlmann. The proof in this paper uses different methods, being inspired by the approach of Zariski and Abhyankar. △ Less

Submitted 17 July, 2021; v1 submitted 13 March, 2020; originally announced March 2020.

Comments: 28 pages. Final Final version

MSC Class: 13A18; 13H05; 14E15

Essential Finite Generation of Valuation Rings in Characteristic Zero Algebraic Function Fields

Authors: Steven Dale Cutkosky

Abstract: Let $K$ be a characteristic zero algebraic function field with a valuation $ν$. Let $L$ be a finite extension of $K$ and $ω$ be an extension of $ν$ to $L$. We establish that the valuation ring $V_ω$ of $ω$ is essentially finitely generated over the valuation ring $V_ν$ of $ν$ if and only if the initial index $ε(ω|ν)$ is equal to the ramification index $e(ω|ν)$ of the extension. This gives a positi… ▽ More Let $K$ be a characteristic zero algebraic function field with a valuation $ν$. Let $L$ be a finite extension of $K$ and $ω$ be an extension of $ν$ to $L$. We establish that the valuation ring $V_ω$ of $ω$ is essentially finitely generated over the valuation ring $V_ν$ of $ν$ if and only if the initial index $ε(ω|ν)$ is equal to the ramification index $e(ω|ν)$ of the extension. This gives a positive answer, for characteristic zero algebraic function fields, to a question posed by Hagen Knaf. △ Less

Submitted 7 December, 2019; originally announced December 2019.

Comments: 16 pages

MSC Class: 13A18; 14E15

Journal ref: Alg. Number Th. 16 (2022) 291-310

Essentially finite generation of valuation rings in terms of classical invariants

Authors: Steven Dale Cutkosky, Josnei Novacoski

Abstract: 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,ν)$ and an extension $ω$ of $ν$ to a finite extension $L$ of $K$. Then we study when the valuation ring of $ω$ is essentially finitely generated over the valuation ring of $ν$. We present a necessary condition in terms of classic invaria… ▽ More 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,ν)$ and an extension $ω$ of $ν$ to a finite extension $L$ of $K$. Then we study when the valuation ring of $ω$ is essentially finitely generated over the valuation ring of $ν$. We present a necessary condition in terms of classic invariants of the extension by Hagen Knaf and show that in some particular cases, this condition is also sufficient. We also study when the corresponding extension of graded algebras is finitely generated. For this problem we present an equivalent condition (which is weaker than the one for the finite generation of the valuation rings). △ Less

Submitted 3 July, 2019; originally announced July 2019.

Mixed multiplicities of Divisorial Filtrations

Authors: Steven Dale Cutkosky

Abstract: Suppose that $R$ is an excellent local domain with maximal ideal $m_R$. The theory of multiplicities and mixed multiplicities of $m_R$-primary ideals extends to (possibly non Noetherian) filtrations of $R$ by $m_R$-primary ideals, and many of the classical theorems for $m_R$-primary ideals continue to hold for filtrations. The celebrated theorems involving inequalities continue to hold for filtrat… ▽ More Suppose that $R$ is an excellent local domain with maximal ideal $m_R$. The theory of multiplicities and mixed multiplicities of $m_R$-primary ideals extends to (possibly non Noetherian) filtrations of $R$ by $m_R$-primary ideals, and many of the classical theorems for $m_R$-primary ideals continue to hold for filtrations. The celebrated theorems involving inequalities continue to hold for filtrations, but the good conclusions that hold in the case of equality for $m_R$-primary ideals do not hold for filtrations. In this article, we consider multiplicities and mixed multiplicities of $R$ by $m_R$-primary divisorial filtrations. We show that some important theorems on equalities of multiplicities and mixed multiplicities of $m_R$-primary ideals, which are not true in general for filtrations, are true for divisorial filtrations. We prove that a theorem of Rees showing that if there is an inclusion of $m_R$-primary ideals $I\subset I'$ with the same multiplicity then $I$ and $I'$ have the same integral closure also holds for divisorial filtrations. This theorem does not hold for arbitrary filtrations. We show that the Teissier Rees Sharp Katz theorem on equality in the Minkowski inequality holds for divisorial filtrations in an excellent domain of dimension two. We also show that the mixed multiplicities of divisorial filtrations are anti-positive intersection products on a suitable normal scheme $X$ birationally dominating $R$, when $R$ is an algebraic local domain. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: 36 pages

MSC Class: 13H15; 13A18; 14C17

Positivity of Mixed Multiplicities of Filtrations

Authors: Steven Dale Cutkosky, Hema Srinivasan, Jugal Verma

Abstract: The theory of mixed multiplicities of filtrations by $m$-primary ideals in a ring is introduced in a recent paper by Cutkosky, Sarkar and Srinivasan. In this paper, we consider the positivity of mixed multiplicities of filtrations. We show that the mixed multiplicities of filtrations must be nonnegative real numbers and give examples to show that they could be zero or even irrational. When $R$ is… ▽ More The theory of mixed multiplicities of filtrations by $m$-primary ideals in a ring is introduced in a recent paper by Cutkosky, Sarkar and Srinivasan. In this paper, we consider the positivity of mixed multiplicities of filtrations. We show that the mixed multiplicities of filtrations must be nonnegative real numbers and give examples to show that they could be zero or even irrational. When $R$ is analytically irreducible, and $\mathcal I(1),\ldots,\mathcal I(r)$ are filtrations of $R$ by $m_R$-primary ideals, we show that all of the mixed multiplicities $e_R(\mathcal I(1)^{[d_1]},\ldots,\mathcal I(r)^{[d_r]};R)$ are positive if and only if the ordinary multiplicities $e_R(\mathcal I(i);R)$ for $1\le i\le r$ are positive. We extend this to modules and prove a simple characterization of when the mixed multiplicities are positive or zero on a finitely generated module. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: 15 pages

MSC Class: 13H15; 13A30

On the construction of valuations and generating sequences on hypersurface singularities

Authors: Steven Dale Cutkosky, Steven Cutkosky, Hussein Mourtada, Bernard Teissier

Abstract: Suppose that (K, $ν$) is a valued field, f (z) $\in$ K[z] is a unitary and irreducible polynomial and (L, $ω$) is an extension of valued fields, where L = K[z]/(f (z)). Further suppose that A is a local domain with quotient field K such that $ν$ has nonnegative value on A and positive value on its maximal ideal, and that f (z) is in A[z]. This paper is devoted to the problem of describing the stru… ▽ More Suppose that (K, $ν$) is a valued field, f (z) $\in$ K[z] is a unitary and irreducible polynomial and (L, $ω$) is an extension of valued fields, where L = K[z]/(f (z)). Further suppose that A is a local domain with quotient field K such that $ν$ has nonnegative value on A and positive value on its maximal ideal, and that f (z) is in A[z]. This paper is devoted to the problem of describing the structure of the associated graded ring gr $ω$ A[z]/(f (z)) of A[z]/(f (z)) for the filtration defined by $ω$ as an extension of the associated graded ring of A for the filtration defined by $ν$. In particular we give an algorithm which in many cases produces a finite set of elements of A[z]/(f (z)) whose images in gr $ω$ A[z]/(f (z)) generate it as a gr $ν$ A-algebra as well as the relations between them. We also work out the interactions of our method of computation with phenomena which complicate the study of ramification and local uniformization in positive characteristic , such as the non tameness and the defect of an extension. For valuations of rank one in a separable extension of valued fields (K, $ν$) $\subset$ (L, $ω$) as above our algorithm produces a generating sequence in a local birational extension A1 of A dominated by $ν$ if and only if there is no defect. In this case, gr $ω$ A1[z]/(f (z)) is a finitely presented gr $ν$ A1-module. This is an improved version, thanks to a referee's remarks. △ Less

Submitted 8 March, 2021; v1 submitted 24 April, 2019; originally announced April 2019.

Mixed Multiplicities of Filtrations

Authors: Steven Dale Cutkosky, Parangama Sarkar, Hema Srinivasan

Abstract: In this paper we define and explore properties of mixed multiplicities of (not necessarily Noetherian) filtrations of $m_R$-primary ideals in a Noetherian local ring $R$, generalizing the classical theory for $m_R$-primary ideals. We construct a real polynomial whose coefficients give the mixed multiplicities. This polynomial exists if and only if the dimension of the nilradical of the completion… ▽ More In this paper we define and explore properties of mixed multiplicities of (not necessarily Noetherian) filtrations of $m_R$-primary ideals in a Noetherian local ring $R$, generalizing the classical theory for $m_R$-primary ideals. We construct a real polynomial whose coefficients give the mixed multiplicities. This polynomial exists if and only if the dimension of the nilradical of the completion of $R$ is less than the dimension of $R$, which holds for instance if $R$ is excellent and reduced. We show that many of the classical theorems for mixed multiplicities of $m_R$-primary ideals hold for filtrations, including the famous Minkowski inequalities of Teissier, and Rees and Sharp. △ Less

Submitted 22 January, 2019; v1 submitted 3 May, 2018; originally announced May 2018.

Comments: 25 pages Some some corrections are made in this final version

MSC Class: 13D40; 13H15; 14B99

Extensions of Valuations to the Henselization and Completion

Authors: Steven Dale Cutkosky

Abstract: We show that if $R$ is a local domain which is dominated by a valuation $ν$, then there does not always exist a regular local ring $R'$ which birationally dominates R and is dominated by $ν$ and an extension of $ν$ to the Henselization $(R')^h$ of $R'$ such that the associated graded rings of $R'$ and $(R')^h$ along the valuations are equal. We also show that there does not always exist $R'$, a pr… ▽ More We show that if $R$ is a local domain which is dominated by a valuation $ν$, then there does not always exist a regular local ring $R'$ which birationally dominates R and is dominated by $ν$ and an extension of $ν$ to the Henselization $(R')^h$ of $R'$ such that the associated graded rings of $R'$ and $(R')^h$ along the valuations are equal. We also show that there does not always exist $R'$, a prime ideal $p$ of the completion $\widehat{R'}$ such that $p\cap R'=(0)$ and an extension of $ν$ to $\widehat{R'}$ such that the associated graded rings of $R'$ and $\widehat{R'}/p$ along the valuation are equal. △ Less

Submitted 3 May, 2018; v1 submitted 22 December, 2017; originally announced December 2017.

Comments: 14 pages, Final version

MSC Class: 14B05; 14B22; 13B10; 11S15

Defect and Local Uniformization

Authors: Steven Dale Cutkosky, Hussein Mourtada

Abstract: We give a simple algorithm showing that the reduction of the multiplicity of a characteristic p>0 hypersurface singularity along a valuation is possible if there is a finite linear projection which is defectless. The method begins with the algorithm of Zariski to reduce multiplicity of hypersuface singularities in characteristic 0 along a valuation. This gives a simple demonstration that the only… ▽ More We give a simple algorithm showing that the reduction of the multiplicity of a characteristic p>0 hypersurface singularity along a valuation is possible if there is a finite linear projection which is defectless. The method begins with the algorithm of Zariski to reduce multiplicity of hypersuface singularities in characteristic 0 along a valuation. This gives a simple demonstration that the only obstruction to local uniformization in positive characteristic is from defect arising in finite projections of singularities. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 15 pages

MSC Class: 14E15; 14H20; 14E22

Fibers of rational maps and Jacobian matrices

Authors: Marc Chardin, Steven Dale Cutkosky, Quang Hoa Tran

Abstract: A rational map $φ: \mathbb{P}_k^m \dashrightarrow \mathbb{P}_k^n$ is defined by homogeneous polynomials of a common degree $d$. We establish a linear bound in terms of $d$ for the number of $(m-1)$-dimensional fibers of $φ$, by using ideals of minors of the Jacobian matrix. In particular, we answer affirmatively Question~11 in arXiv:1511.02933v2. A rational map $φ: \mathbb{P}_k^m \dashrightarrow \mathbb{P}_k^n$ is defined by homogeneous polynomials of a common degree $d$. We establish a linear bound in terms of $d$ for the number of $(m-1)$-dimensional fibers of $φ$, by using ideals of minors of the Jacobian matrix. In particular, we answer affirmatively Question~11 in arXiv:1511.02933v2. △ Less

Submitted 1 October, 2017; originally announced October 2017.

Comments: 13 pages, comments welcome

MSC Class: 12Y05; 14Q10; 13P05; 13C40

Journal ref: Journal of Algebra 571 (2021), Pages 40-54

Finite Generation of Extensions of Associated Graded Rings Along a Valuation

Authors: Steven Dale Cutkosky

Abstract: In this paper we consider the question of when the associated graded ring along a valuation, ${\rm gr}_{ν^*}(S)$, is a finite ${\rm gr}_{ν^*}(R)$-module, where $S$ is a normal local ring which lies over a normal local ring $R$ and $ν^*$ is a valuation of the quotient field of $S$ which dominates $S$. We obtain a very general result in equicharacteristic zero in Theorem 1.5. We also obtain general… ▽ More In this paper we consider the question of when the associated graded ring along a valuation, ${\rm gr}_{ν^*}(S)$, is a finite ${\rm gr}_{ν^*}(R)$-module, where $S$ is a normal local ring which lies over a normal local ring $R$ and $ν^*$ is a valuation of the quotient field of $S$ which dominates $S$. We obtain a very general result in equicharacteristic zero in Theorem 1.5. We also obtain general results for unramified extensions of excellent local rings in Proposition 1.7. △ Less

Submitted 3 May, 2018; v1 submitted 19 April, 2017; originally announced April 2017.

Comments: 28 pages, Final version

MSC Class: 14B05; 14B22; 13B10; 11S15

The role of defect and splitting in finite generation of extensions of associated graded rings along a valuation

Authors: Steven Dale Cutkosky

Abstract: Suppose that $R$ is a 2 dimensional excellent local domain with quotient field $K$, $K^*$ is a finite separable extension of $K$ and $S$ is a 2 dimensional local domain with quotient field $K^*$ such that $S$ dominates $R$. Suppose that $ν^*$ is a valuation of $K^*$ such that $ν^*$ dominates $S$. Let $ν$ be the restriction of $ν^*$ to $K$. The associated graded ring ${\rm gr}_ν(R)$ was introduced… ▽ More Suppose that $R$ is a 2 dimensional excellent local domain with quotient field $K$, $K^*$ is a finite separable extension of $K$ and $S$ is a 2 dimensional local domain with quotient field $K^*$ such that $S$ dominates $R$. Suppose that $ν^*$ is a valuation of $K^*$ such that $ν^*$ dominates $S$. Let $ν$ be the restriction of $ν^*$ to $K$. The associated graded ring ${\rm gr}_ν(R)$ was introduced by Bernard Teissier. It plays an important role in local uniformization. We show that the extension $(K,ν)\rightarrow (K^*,ν^*)$ of valued fields is without defect if and only if there exist regular local rings $R_1$ and $S_1$ such that $R_1$ is a local ring of a blow up of $R$, $S_1$ is a local ring of a blowup of $S$, $ν^*$ dominates $S_1$, $S_1$ dominates $R_1$ and the associated graded ring ${\rm gr}_{ν^*}(S_1)$ is a finitely generated ${\rm gr}_ν(R_1)$-algebra. We also investigate the role of splitting of the valuation $ν$ in $K^*$ in finite generation of the extensions of associated graded rings along the valuation. We will say that $ν$ does not split in $S$ if $ν^*$ is the unique extension of $ν$ to $K^*$ which dominates $S$. We show that if $R$ and $S$ are regular local rings, $ν^*$ has rational rank 1 and is not discrete and ${\rm gr}_{ν^*}(S)$ is a finitely generated ${\rm gr}_ν(R)$-algebra, then $ν$ does not split in $S$. We give examples showing that such a strong statement is not true when $ν$ does not satisfy these assumptions. We deduce that if $ν$ has rational rank 1 and is not discrete and if $R\rightarrow R'$ is a nontrivial sequence of quadratic transforms along $ν$, then ${\rm gr}_ν(R')$ is not a finitely generated ${\rm gr}_ν(R)$-algebra. △ Less

Submitted 4 January, 2017; originally announced January 2017.

Comments: 22 pages

MSC Class: 14B05; 14E22; 13B10; 11S15

Journal ref: Alg. Number Th. 11 (2017) 1461-1488

A Stronger Local Monomialization Theorem

Authors: Steven Dale Cutkosky

Abstract: We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how the results of this paper can be used. We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how the results of this paper can be used. △ Less

Submitted 2 December, 2016; originally announced December 2016.

Comments: Dedicated to Professor Winfried Bruns on the occasion of his 70th birthday

Rectilinearization of sub analytic sets as a consequence of local monomialization

Authors: Steven Dale Cutkosky

Abstract: We give a new proof of the rectilinearization theorem of Hironaka. We deduce rectilinearization as a consequence of our theorem on local monomialization for complex and real analytic morphisms. We give a new proof of the rectilinearization theorem of Hironaka. We deduce rectilinearization as a consequence of our theorem on local monomialization for complex and real analytic morphisms. △ Less

Submitted 11 January, 2016; originally announced January 2016.

Comments: 13 pages

MSC Class: 14P10

Ramification of valuations and local rings

Authors: Steven Dale Cutkosky

Abstract: In this paper we consider birational properties of ramification in excellent local rings. We extend earlier results of the author with Olivier Piltant to show that strong local monomialization is true along a valuation dominating a defectless extension of two dimensional excellent local rings. We also obtain general results on the structure of the extension of associated graded rings along a valua… ▽ More In this paper we consider birational properties of ramification in excellent local rings. We extend earlier results of the author with Olivier Piltant to show that strong local monomialization is true along a valuation dominating a defectless extension of two dimensional excellent local rings. We also obtain general results on the structure of the extension of associated graded rings along a valuation, and show that the invariants alpha and beta of stable forms of two dimensional extensions in characteristic p of the author and Olivier Piltant are not eventually constant. △ Less

Submitted 8 August, 2015; originally announced August 2015.

Comments: 31 pages. Formerly part of arXiv:1404.7459

MSC Class: 14B05; 14E22; 13F30

Journal ref: Communications in Algebra 44 (2016), 2828-2866

Asymptotic Multiplicities of Graded Families of Ideals and Linear Series

Authors: Steven Dale Cutkosky

Abstract: We find simple necessary and sufficient conditions on a local ring $R$ of dimension $d$ for the limit $$ \lim_{i\rightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} $$ to exist whenever $\{I_n\}$ is a graded family of $m_R$-primary ideals, and give a number of applications. We also give simple necessary and sufficient conditions on projective schemes over a field $k$ for asymptotic limits of the growth of… ▽ More We find simple necessary and sufficient conditions on a local ring $R$ of dimension $d$ for the limit $$ \lim_{i\rightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} $$ to exist whenever $\{I_n\}$ is a graded family of $m_R$-primary ideals, and give a number of applications. We also give simple necessary and sufficient conditions on projective schemes over a field $k$ for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist. △ Less

Submitted 8 August, 2015; originally announced August 2015.

Comments: 45 pages. This paper is a compilation of the two arXiv preprints "The asymptotic growth of graded linear series on arbitrary projective schemes", arXiv:1212.6186, and "Multilicities of graded families of linear series", arXiv:1301.5613, with some additional material

MSC Class: 13H15; 13D40; 14C40

Journal ref: Advances in Mathematics 264 (2014), 55 - 113

Local Monomialization of Analytic Maps

Authors: Steven Dale Cutkosky

Abstract: In this paper, local monomialization theorems are proven for analytic morphisms of complex and real analytic spaces. This gives the generalization of the local monomialization theorem for morphisms of algebraic varieties over a field of characteristic zero proven in the author's earlier papers "Local monomialization of morphisms", Asterisque 260 (1999) and "Local monomialization of transcendental… ▽ More In this paper, local monomialization theorems are proven for analytic morphisms of complex and real analytic spaces. This gives the generalization of the local monomialization theorem for morphisms of algebraic varieties over a field of characteristic zero proven in the author's earlier papers "Local monomialization of morphisms", Asterisque 260 (1999) and "Local monomialization of transcendental extensions", Annales de l'institut Fourier, 1517 - 1586. △ Less

Submitted 2 December, 2016; v1 submitted 6 April, 2015; originally announced April 2015.

Comments: 56 pages. This is the final version which will appear in Advances in Mathematics

MSC Class: 14B25; 14E05; 32B10; 32H02

A generalization of the Abhyankar Jung theorem to associated graded rings of valuations

Authors: Steven Dale Cutkosky

Abstract: Suppose that R\rightarrow S is an extension of local domains and ν^* is a valuation dominating S. We consider the natural extension of associated graded rings along the valuation gr_{ν^*}(R)\rightarrow gr_{ν^*}(S). We give examples showing that in general, this extension does not share good properties of the extension $\rightarrow S, but after enough blow ups above the valuations, good properties… ▽ More Suppose that R\rightarrow S is an extension of local domains and ν^* is a valuation dominating S. We consider the natural extension of associated graded rings along the valuation gr_{ν^*}(R)\rightarrow gr_{ν^*}(S). We give examples showing that in general, this extension does not share good properties of the extension $\rightarrow S, but after enough blow ups above the valuations, good properties of the extension R\rightarrow S are reflected in the extension of associated graded rings. Stable properties of this extension (after blowing up) are much better in characteristic zero than in positive characteristic. Our main result is a generalization of the Abhyankar-Jung theorem which holds for extensions of associated graded rings along the valuation, after enough blowing up. △ Less

Submitted 18 November, 2014; originally announced November 2014.

Comments: 21 pages

MSC Class: 14E22; 14B05; 13A18

Journal ref: Math. Proc. Cambridge Phil. Soc., 160 (2016), 233 - 255

Counterexamples to local monomialization in positive characteristic

Authors: Steven Dale Cutkosky

Abstract: In this paper we consider birational properties of ramification in excellent local rings. We give an example showing that local monomialization (and weak local monomialization) can fail for extensions of algebraic local rings in algebraic function fields of dimension greater than or equal to two along a valuation over a field of positive characteristic. It was earlier proven by the author that loc… ▽ More In this paper we consider birational properties of ramification in excellent local rings. We give an example showing that local monomialization (and weak local monomialization) can fail for extensions of algebraic local rings in algebraic function fields of dimension greater than or equal to two along a valuation over a field of positive characteristic. It was earlier proven by the author that local monomialization holds within characteristic zero algebraic function fields. △ Less

Submitted 8 August, 2015; v1 submitted 29 April, 2014; originally announced April 2014.

Comments: 11 pages

MSC Class: 14B05; 14E22; 13F30

Journal ref: Math. Ann. 362 (2015), 321 - 334

Asymptotic Multiplicities

Authors: Steven Dale Cutkosky

Abstract: We give several new applications of our theorem on the existence of multiplicity of graded families of ideals as a limit, including a very general Minkowski type inequality for graded families of ideals, a very general formula for existence of local volumes as a limit and a very general theorem on the existence of epsilon multiplicities as a limit for modules. We give several new applications of our theorem on the existence of multiplicity of graded families of ideals as a limit, including a very general Minkowski type inequality for graded families of ideals, a very general formula for existence of local volumes as a limit and a very general theorem on the existence of epsilon multiplicities as a limit for modules. △ Less

Submitted 6 November, 2013; originally announced November 2013.

Comments: 29 pages

MSC Class: 13H15

Ramification of local rings along valuations

Authors: Steven Dale Cutkosky, Pham An Vinh

Abstract: In this paper we discuss stable forms of extensions of algebraic local rings along a valuation in all dimensions over a field k of characteristic zero, and generalize a formula of Ghezzi, Hà and Kashcheyeva describing the extension of associated graded rings along the valuation for stable extensions of regular algebraic local rings of dimension two to arbitrary ground fields k of characteristic ze… ▽ More In this paper we discuss stable forms of extensions of algebraic local rings along a valuation in all dimensions over a field k of characteristic zero, and generalize a formula of Ghezzi, Hà and Kashcheyeva describing the extension of associated graded rings along the valuation for stable extensions of regular algebraic local rings of dimension two to arbitrary ground fields k of characteristic zero. We discuss the failure of this result in positive characteristic. △ Less

Submitted 31 August, 2013; originally announced September 2013.

Comments: 14 pages

MSC Class: 13B02

Volumes on Complex Analytic Spaces

Authors: Steven Dale Cutkosky

Abstract: We show that volumes and related limits in terms of the Kodaira-Iitaka dimension exist for line bundles and graded linear series on compact reduced complex analytic spaces. We show that volumes and related limits in terms of the Kodaira-Iitaka dimension exist for line bundles and graded linear series on compact reduced complex analytic spaces. △ Less

Submitted 2 May, 2013; originally announced May 2013.

Comments: 11 pages. arXiv admin note: substantial text overlap with arXiv:1301.5613

MSC Class: 14C40; 32C35

Teissier's problem on inequalities of nef divisors over an arbitrary field

Authors: Steven Dale Cutkosky

Abstract: Boucksom, Favre and Jonsson establish in [4] an analog of Diskant's inequality in convex geometry for nef and big line bundles on a complete algebraic variety over an algebraically closed field of characteristic zero (Theorem F [4]), from which they deduce a solution (Theorem D [4]) to a problem of Teissier (Problem B [29]) on proportionality of nef divisors. In this paper we extend these results… ▽ More Boucksom, Favre and Jonsson establish in [4] an analog of Diskant's inequality in convex geometry for nef and big line bundles on a complete algebraic variety over an algebraically closed field of characteristic zero (Theorem F [4]), from which they deduce a solution (Theorem D [4]) to a problem of Teissier (Problem B [29]) on proportionality of nef divisors. In this paper we extend these results to a complete variety over an arbitrary field k. △ Less

Submitted 3 April, 2013; originally announced April 2013.

Comments: 28 pages

MSC Class: 14C20; 14C17

Multiplicities of graded families of linear series and ideals

Authors: Steven Dale Cutkosky

Abstract: We give simple necessary and sufficient conditions on projective schemes over a field k for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist. We also give necessary and sufficient conditions on a local ring R of dimension d for the limit \lim_{i\rightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} to exist whenever \{I_n\} is a graded family of m_R-pri… ▽ More We give simple necessary and sufficient conditions on projective schemes over a field k for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist. We also give necessary and sufficient conditions on a local ring R of dimension d for the limit \lim_{i\rightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} to exist whenever \{I_n\} is a graded family of m_R-primary ideals. We give a number of applications. △ Less

Submitted 31 January, 2013; v1 submitted 23 January, 2013; originally announced January 2013.

Comments: 33 pages. In this version, the applications to epsilon type multiplicities in the final section are extended to hold on arbitrary unramified local rings

MSC Class: 14C40; 13D40

The asymptotic growth of graded linear series on arbitrary projective schemes

Authors: Steven Dale Cutkosky

Abstract: Recently, Okounkov, Lazarsfeld and Mustata, and Kaveh and Khovanskii have shown that the growth of a graded linear series on a projective variety over an algebraically closed field is asymptotic to a polynomial. We give a complete description of the possible asymptotic growth of graded linear series on projective schemes over a perfect field. If the scheme is reduced, then the growth is polynomial… ▽ More Recently, Okounkov, Lazarsfeld and Mustata, and Kaveh and Khovanskii have shown that the growth of a graded linear series on a projective variety over an algebraically closed field is asymptotic to a polynomial. We give a complete description of the possible asymptotic growth of graded linear series on projective schemes over a perfect field. If the scheme is reduced, then the growth is polynomial like, but the growth can be very complex on nonreduced schemes. We also give an example of a graded family of m-primary ideals {I_n} in a nonreduced d-dimensional local ring R, such that the length of R/I_n divided by n^d does not have a limit, even when restricted to any arithmetic sequence. △ Less

Submitted 26 December, 2012; originally announced December 2012.

Comments: 20 pages

MSC Class: 14C40; 13D40

Étoiles and Valuations

Authors: Steven Dale Cutkosky

Abstract: We establish some properties of étoiles and associated valuations over complex analytic spaces, showing that Abhyankar's inequality holds. We give some examples of pathological behavior of these valuations. We prove a regularization theorem for complex analytic morphisms. We establish some properties of étoiles and associated valuations over complex analytic spaces, showing that Abhyankar's inequality holds. We give some examples of pathological behavior of these valuations. We prove a regularization theorem for complex analytic morphisms. △ Less

Submitted 2 December, 2016; v1 submitted 19 June, 2012; originally announced June 2012.

Comments: 24 pages

MSC Class: 14D05; 14E05; 32C15

Journal ref: J. Pure Applied Algebra 221 (2017), 588 - 610

Multiplicities Associated to Graded Families of Ideals

Authors: Steven Dale Cutkosky

Abstract: We prove that limits of multiplicities associated to graded families of ideals exist under very general conditions. Most of our results hold for analytically unramified equicharacteristic local rings, with perfect residue fields. We give a number of applications, including a "volume = multiplicity" formula, generalizing the formula of Lazarsfeld and Mustata, and a proof that the epsilon multiplici… ▽ More We prove that limits of multiplicities associated to graded families of ideals exist under very general conditions. Most of our results hold for analytically unramified equicharacteristic local rings, with perfect residue fields. We give a number of applications, including a "volume = multiplicity" formula, generalizing the formula of Lazarsfeld and Mustata, and a proof that the epsilon multiplicity of Ulrich and Validashti exists as a limit for ideals in rather general rings, including analytic local domains. We also prove an asymptotic "additivity formula" for limits of multiplicities, and a formula on limiting growth of valuations, which answers a question posed by the author, Kia Dalili and Olga Kashcheyeva. Our proofs are inspired by a philosophy of Okounkov, for computing limits of multiplicities as the volume of a slice of an appropriate cone generated by a semigroup determined by an appropriate filtration on a family of algebraic objects. △ Less

Submitted 20 May, 2013; v1 submitted 18 June, 2012; originally announced June 2012.

Comments: 20 pages. The statement of Theorem 6.1 is corrected by adding the assumption that all ideals considered are nonzero. arXiv admin note: text overlap with arXiv:1301.5613

MSC Class: 13H15

Valuation Semigroups of Two Dimensional Local Rings

Authors: Steven Dale Cutkosky, Pham An Vinh

Abstract: We consider the question of when a semigroup is the semigroup of a valuation dominating a two dimensional noetherian local domain, giving some surprising examples. We give a necessary and sufficient condition for the pair of a semigroup S and a field extension L/k to be the semigroup and residue field of a valaution dominating a regular local ring R of dimension two with residue field k, generaliz… ▽ More We consider the question of when a semigroup is the semigroup of a valuation dominating a two dimensional noetherian local domain, giving some surprising examples. We give a necessary and sufficient condition for the pair of a semigroup S and a field extension L/k to be the semigroup and residue field of a valaution dominating a regular local ring R of dimension two with residue field k, generalizing the theorem of Spivakovsky for the case when there is no residue field extension. △ Less

Submitted 29 April, 2014; v1 submitted 7 May, 2011; originally announced May 2011.

Comments: 34 pages. Final version

MSC Class: 13A18

Asymptotic growth of saturated powers and epsilon multiplicity

Authors: Steven Dale Cutkosky

Abstract: Asymptotic properties of saturated powers of modules over a local domain R are studied. Under mild conditions, it is shown that the limit as k goes to infinity of the quotient of the saturation of the k-th power of a module E by the k-th power of E, when divided by k^{d+e-1}, exists. Here d is the dimension of R and e is the rank of E. We deduce that under these assumptions, the epsilon multiplici… ▽ More Asymptotic properties of saturated powers of modules over a local domain R are studied. Under mild conditions, it is shown that the limit as k goes to infinity of the quotient of the saturation of the k-th power of a module E by the k-th power of E, when divided by k^{d+e-1}, exists. Here d is the dimension of R and e is the rank of E. We deduce that under these assumptions, the epsilon multiplicity of E, defined by Ulrich and Validashti as a limsup, actually exists as a limit. △ Less

Submitted 23 November, 2010; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: 9 pages. In the revised version a typo ("n" changed to "k") is fixed in the statement of Corollary 1.3. A couple of new corollaries are added and some references are added. In the second revision (13 pages) some extensions from domains of depth \ge 2 are given to domains of dimension \ge 2

MSC Class: 13D45