Showing 1–8 of 8 results for author: Rangachev, A

The Complete Intersection Discrepancy of a Curve I: Numerical Invariants

Authors: Andrei Benguş-Lasnier, Antoni Rangachev

Abstract: We generalize two classical formulas for complete intersection curves using the complete intersection discrepancy of a curve as a correction term. The first formula is a well-known multiplicity formula in singularity theory due to Lê, Greuel and Teissier that relates some of the basic invariants of a curve singularity. We apply its generalization elsewhere to the study of equisingularity of curves… ▽ More We generalize two classical formulas for complete intersection curves using the complete intersection discrepancy of a curve as a correction term. The first formula is a well-known multiplicity formula in singularity theory due to Lê, Greuel and Teissier that relates some of the basic invariants of a curve singularity. We apply its generalization elsewhere to the study of equisingularity of curves. The second formula is the genus--degree formula for projective curves. The main technical tool used to obtain these generalizations is an adjunction-type identity derived from Grothendieck duality theory. △ Less

Submitted 12 April, 2025; originally announced April 2025.

Comments: With an appendix by Marc Chardin

MSC Class: 14B07; 14C17; 14H20; 14H50; 14M06; 13C40; 13H15

A multiplicity formula for the Milnor number of smoothable curves

Authors: Andrei Benguş-Lasnier, Terence Gaffney, Antoni Rangachev

Abstract: For a reduced complex analytic curve germ we introduce an algebraic invariant we call the complete intersection discrepancy. We determine some of its basic properties. As an application we derive a multiplicity formula for the Milnor number of a reduced smoothable curve singularity generalizing a well-known formula due to Lê, Greuel and Teissier for complete intersection curves. We obtain a multip… ▽ More For a reduced complex analytic curve germ we introduce an algebraic invariant we call the complete intersection discrepancy. We determine some of its basic properties. As an application we derive a multiplicity formula for the Milnor number of a reduced smoothable curve singularity generalizing a well-known formula due to Lê, Greuel and Teissier for complete intersection curves. We obtain a multiplicity characterization of Whitney equisingularity for families of locally smoothable curves. △ Less

Submitted 6 November, 2024; v1 submitted 25 October, 2023; originally announced October 2023.

Comments: 16 pages, corrected typos, references added, improved introduction. The proof of the flatness result in Section 3 is simplified. Linkage is used to show that the formation of W specializes with passage to the fibers. Part of the proof of Theorem 1.1 is now displayed as Proposition 4.3

MSC Class: 32S15; 32S30; 32S60; 14C17; 13H15

Local volumes, equisingularity, and generalized smoothability

Authors: Antoni Rangachev

Abstract: We introduce the restricted local volume of a relatively very ample invertible sheaf as an invariant of equisingularity by determining its change across families. We apply this result to give numerical control of Whitney-Thom (differential) equisingularity for families of isolated complex analytic singularities. The characterization of the vanishing of the local volume gives rise to the class of d… ▽ More We introduce the restricted local volume of a relatively very ample invertible sheaf as an invariant of equisingularity by determining its change across families. We apply this result to give numerical control of Whitney-Thom (differential) equisingularity for families of isolated complex analytic singularities. The characterization of the vanishing of the local volume gives rise to the class of deficient conormal (dc) singularities. We introduce a notion of generalized smoothability by considering the class of singularities that deform to dc singularities. Using Whitney stratifications and the functoriality properties of conormal spaces we show that fibers of conormal spaces are well-behaved under transverse maps. Then by Thom's transversality, the structure theorems of Hilbert-Burch and Buchsbaum-Eisenbud, we show that all smoothable singularities of dimension at least 2, Cohen-Macaulay codimension 2, Gorenstein codimension 3, and more generally determinantal and Pfaffian singularities deform to dc singularities. △ Less

Submitted 21 January, 2022; v1 submitted 18 May, 2021; originally announced May 2021.

Comments: 45 pages; some results in Section 8 are strengthen by eliminating the isolated singularities hypothesis; corrected typos

MSC Class: 32S15; 32S30; 32S60; 14C17; 14B15 13A30; 13B22; 13H15

A valuation theorem for Noetherian rings

Authors: Antoni Rangachev

Abstract: Let A and B be integral domains. Suppose A is Noetherian and B is a finitely generated A-algebra that contains A. Denote by A' the integral closure of A in B. We show that A' is determined by finitely many unique discrete valuation rings. Our result generalizes Rees' classical valuation theorem for ideals. We also obtain a variant of Zariski's main theorem. Let A and B be integral domains. Suppose A is Noetherian and B is a finitely generated A-algebra that contains A. Denote by A' the integral closure of A in B. We show that A' is determined by finitely many unique discrete valuation rings. Our result generalizes Rees' classical valuation theorem for ideals. We also obtain a variant of Zariski's main theorem. △ Less

Submitted 26 October, 2021; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: Accepted in the Michigan Mathematical Journal. The current version has 7 pages, incorporates the referee's comments, and has an improved exposition

MSC Class: 13A18; 13B22; 13A30; 14A15; 14B05

Associated primes and integral closure of Noetherian rings

Authors: Antoni Rangachev

Abstract: Let A be a Noetherian ring and B be a finitely generated A-algebra. Denote by A' the integral closure of A in B. We give necessary and sufficient conditions for prime ideals to be in Ass_{A}(B/A') and Ass_{A'}(B/A') generalizing and strengthening classical results for rings of special type. Let A be a Noetherian ring and B be a finitely generated A-algebra. Denote by A' the integral closure of A in B. We give necessary and sufficient conditions for prime ideals to be in Ass_{A}(B/A') and Ass_{A'}(B/A') generalizing and strengthening classical results for rings of special type. △ Less

Submitted 26 October, 2021; v1 submitted 24 July, 2019; originally announced July 2019.

Comments: The exposition of the proof of Proposition 2.1 was significantly improved

Journal ref: Journal of Pure and Applied Algebra, Vol. 225, Issue 5, 2021

The A_f condition and relative conormal spaces for functions with non-vanishing derivative

Authors: Terence Gaffney, Antoni Rangachev

Abstract: We introduce a join construction as a way of completing the description of the relative conormal space of an analytic function on a complex analytic space that has a non-vanishing derivative at the origin. Then we show how to obtain a numerical criterion for Thom's A_f condition. We introduce a join construction as a way of completing the description of the relative conormal space of an analytic function on a complex analytic space that has a non-vanishing derivative at the origin. Then we show how to obtain a numerical criterion for Thom's A_f condition. △ Less

Submitted 18 June, 2019; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: 11 pages; the exposition of the paper is improved based on the referees' comments

Journal ref: Int. J. Math., Vol. 30, Issue 10, 2019

Associated points and integral closure of modules

Authors: Antoni Rangachev

Abstract: Let $X:=\mathrm{Spec}(R)$ be an affine Noetherian scheme, and $\mathcal{M} \subset \mathcal{N}$ be a pair of finitely generated $R$-modules. Denote their Rees algebras by $\mathcal{R}(\mathcal{M})$ and $\mathcal{R}(\mathcal{N})$. Let $\mathcal{N}^{n}$ be the $n$th homogeneous component of $\mathcal{R}(\mathcal{N})$ and let $\mathcal{M}^{n}$ be the image of the $n$th homegeneous component of… ▽ More Let $X:=\mathrm{Spec}(R)$ be an affine Noetherian scheme, and $\mathcal{M} \subset \mathcal{N}$ be a pair of finitely generated $R$-modules. Denote their Rees algebras by $\mathcal{R}(\mathcal{M})$ and $\mathcal{R}(\mathcal{N})$. Let $\mathcal{N}^{n}$ be the $n$th homogeneous component of $\mathcal{R}(\mathcal{N})$ and let $\mathcal{M}^{n}$ be the image of the $n$th homegeneous component of $\mathcal{R}(\mathcal{M})$ in $\mathcal{N}^n$. Denote by $\overline{\mathcal{M}^{n}}$ be the integral closure of $\mathcal{M}^{n}$ in $\mathcal{N}^{n}$. We prove that $\mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}})$ and $\mathrm{Ass}_{X}(\mathcal{N}^{n}/\mathcal{M}^{n})$ are asymptotically stable, generalizing known results for the case where $\mathcal{M}$ is an ideal or where $\mathcal{N}$ is a free module. Suppose either that $\mathcal{M}$ and $\mathcal{N}$ are free at the generic point of each irreducible component of $X$ or $\mathcal{N}$ is contained in a free $R$-module. When $X$ is universally catenary, we prove a generalization of a classical result due to McAdam and obtain a geometric classification of the points appearing in $\mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}})$. Notably, we show that if $x \in \mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}})$ for some $n$, then $x$ is the generic point of a codimension-one component of the nonfree locus of $\mathcal{N}/\mathcal{M}$ or $x$ is a generic point of an irreducible set in $X$ where the fiber dimension $\mathrm{Proj}(\mathcal{R}(\mathcal{M})) \rightarrow X$ jumps. We prove a converse to this result without requiring $X$ to be universally catenary. Many of our results are stated and proved more generally for standard graded algebras. Also, we recover, strengthen, and prove a sort of converse of an important result of Kleiman and Thorup about integral dependence of modules. △ Less

Submitted 3 May, 2018; v1 submitted 11 November, 2016; originally announced November 2016.

Comments: To appear in Journal of Algebra. The current version has 31 pages, incorporates the referee's comments, has an improved exposition, and some new references. The results of the last section are strengthen and the notion of deficient analytic spread is introduced

MSC Class: 13A30; 13B21; 13B22; 14A15

Journal ref: Journal of Algebra 508 (2018), 301-338

Pairs of modules and determinantal isolated singularities

Authors: Terence Gaffney, Antoni Rangachev

Abstract: We continue the development of the study of the equisingularity of isolated singularities, in the determinantal case. This version of the paper includes a substantial amount of new material (76% larger). The new material introduces the idea of the landscape of singularity, which includes the allowable deformations of the singularity and associated structure useful for equisingularity questions. Fi… ▽ More We continue the development of the study of the equisingularity of isolated singularities, in the determinantal case. This version of the paper includes a substantial amount of new material (76% larger). The new material introduces the idea of the landscape of singularity, which includes the allowable deformations of the singularity and associated structure useful for equisingularity questions. Fixing a presentation matrix M of a determinantal singularity means viewing the singularity as a section via M of the set of matrices of a given or smaller rank. Varying M gives the allowable deformations of X. This version also includes a description of the conormal varieties of the rank singularities, which is applied to our machinery. There is also an example of a determinantal singularity which is a member of two Whitney equisingular families, whose generic elements have topologically distinct smoothings. This example shows that it is impossible to find an invariant which depends only on an analytic space $X$ with an isolated singularity, whose value is independent of parameter for all Whitney equisingular deformations of $X$, and which is determined by the geometry of a smoothing of $X$. △ Less

Submitted 1 January, 2016; v1 submitted 31 December, 2014; originally announced January 2015.

Comments: 37 pages. An earlier version of version 1 was the basis of a talk given at the International Workshop on Real and Complex Singularities at Sao Carlos in the summer of 2014 by the first author

MSC Class: 32S15