Showing 1–25 of 25 results for author: Gaffney, T

The projective analytic spectrum of the double of a module

Authors: Terence Gaffney, Thiago da Silva

Abstract: In this work, we investigate the projectivized analytic spectrum of the double of a module, establishing some general properties, and we apply these results to $\mbox{Projan}(\cR((JM(X))_D))$ over the origin in $C\times C$, where $C$ is an irreducible curve in a hypersurface $X$. In this work, we investigate the projectivized analytic spectrum of the double of a module, establishing some general properties, and we apply these results to $\mbox{Projan}(\cR((JM(X))_D))$ over the origin in $C\times C$, where $C$ is an irreducible curve in a hypersurface $X$. △ Less

Submitted 23 May, 2025; originally announced May 2025.

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

The generic equivalence among the Lipschitz saturation of a sheaf of modules

Authors: Terence Gaffney, Thiago da Silva

Abstract: In this work, we extend the concept of the Lipschitz saturation of an ideal to the context of modules in some different ways, and we prove they are generically equivalent. In this work, we extend the concept of the Lipschitz saturation of an ideal to the context of modules in some different ways, and we prove they are generically equivalent. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2012.12239

Symmetric Determinantal Singularities II: Equisingularity and SEIDS

Authors: Terence Gaffney, Michelle Molino

Abstract: This paper is the second part of a two part paper which introduces the study of the Whitney Equisingularity of families of Symmetric determinantal singularities. This study reveals how to use the multiplicity of polar curves associated to a generic deformation of a singularity to control the Whitney equisingularity type of these curves. This paper is the second part of a two part paper which introduces the study of the Whitney Equisingularity of families of Symmetric determinantal singularities. This study reveals how to use the multiplicity of polar curves associated to a generic deformation of a singularity to control the Whitney equisingularity type of these curves. △ Less

Submitted 4 March, 2021; originally announced March 2021.

The Lipschitz Saturation of a Module

Authors: Terence Gaffney, Thiago F. da Silva

Abstract: In this work we extend the concept of the Lipschitz saturation of an ideal defined in [5] to the context of modules in some different ways, and we prove they are generically equivalent. In this work we extend the concept of the Lipschitz saturation of an ideal defined in [5] to the context of modules in some different ways, and we prove they are generically equivalent. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: arXiv admin note: text overlap with arXiv:1902.03194

Symmetric Determinantal Singularities I: The Multiplicity of the Polar Curve

Authors: Terence Gaffney, Michelle Molino

Abstract: This paper is the first part of a two part paper which introduces the study of the Whitney Equisingularity of families of Symmetric determinantal singularities. This study reveals how to use the multiplicity of polar curves associated to a generic deformation of a singularity to control the Whitney equisingularity type of these curves. This paper is the first part of a two part paper which introduces the study of the Whitney Equisingularity of families of Symmetric determinantal singularities. This study reveals how to use the multiplicity of polar curves associated to a generic deformation of a singularity to control the Whitney equisingularity type of these curves. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Infinitesimal Lipschitz conditions on family of analytic varieties

Authors: Terence Gaffney, Thiago Filipe da Silva

Abstract: In this work, we extend the concept of the double of an ideal defined in \cite{G2}, to the context of modules. We also obtain the genericity of the infinitesimal Lipschitz condition A for an enlarged class of analytic spaces. In this work, we extend the concept of the double of an ideal defined in \cite{G2}, to the context of modules. We also obtain the genericity of the infinitesimal Lipschitz condition A for an enlarged class of analytic spaces. △ Less

Submitted 23 October, 2019; v1 submitted 8 February, 2019; originally announced February 2019.

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

The local Euler obstruction and topology of the stabilization of associated determinantal varieties

Authors: Terence Gaffney, Nivaldo G. Grulha Jr., Maria A. S. Ruas

Abstract: This work has two complementary parts, in the first part we compute the local Euler obstruction of generic determinantal varieties and apply this result to compute the Chern--Schwartz--MacPherson class of such varieties. In the second part we compute the Euler characteristic of the stabilization of an essentially isolated determinantal singularity (EIDS). The formula is given in terms of the local… ▽ More This work has two complementary parts, in the first part we compute the local Euler obstruction of generic determinantal varieties and apply this result to compute the Chern--Schwartz--MacPherson class of such varieties. In the second part we compute the Euler characteristic of the stabilization of an essentially isolated determinantal singularity (EIDS). The formula is given in terms of the local Euler obstruction and Gaffney's $m_{d}$ multiplicity. △ Less

Submitted 6 November, 2017; v1 submitted 2 November, 2016; originally announced November 2016.

MSC Class: 14C17; 32S15; 55S35

Equisingularity and EIDS

Authors: Terence Gaffney, Maria Aparecida Ruas

Abstract: The study of Essentially Isolated Determinantal Singularites or EIDS was initiated by Ebeling and Gusein-Zade. They are non-smoothable as determinantal singularities, and in general have non-isolated singularities. Their singularities are generic in a deleted neighborhood of the origin, hence their description as "essentially isolated". In this paper we study these singularities from the "landscap… ▽ More The study of Essentially Isolated Determinantal Singularites or EIDS was initiated by Ebeling and Gusein-Zade. They are non-smoothable as determinantal singularities, and in general have non-isolated singularities. Their singularities are generic in a deleted neighborhood of the origin, hence their description as "essentially isolated". In this paper we study these singularities from the "landscape" point of view introduced in MathArxiv 1501.00201. Using this point of view we show a connection between invariants coming from the topology of the stabilization and invariants coming from the infinitesimal geometry of the singularity. This gives us a criterion for the Whitney equisingularity of EIDS families. △ Less

Submitted 12 January, 2020; v1 submitted 31 January, 2016; originally announced February 2016.

Comments: 15 pages. Revised to improve references and readability

MSC Class: 32S15

Blow-Analytic Equivalence versus contact-bi-Lipschitz Equivalence

Authors: Lev Birbrair, Alexandre Fernandes, Terence Gaffney, Vincent Grandjean

Abstract: Two blow-analytically equivalent real analytic plane function germs are sub-analytically bi-Lipschitz contact equivalent Two blow-analytically equivalent real analytic plane function germs are sub-analytically bi-Lipschitz contact equivalent △ Less

Submitted 25 January, 2016; v1 submitted 22 January, 2016; originally announced January 2016.

Infinitesimal bi-Lipschitz Equivalence of Functions

Authors: Terence Gaffney

Abstract: We introduce two different notions of infinitesimal bi-Lipschitz equivalence for functions, one related to bi-Lipschitz triviality of families of functions, one related to homeomorphisms which are bi-Lipschitz on the fibers of the functions in the family. We show that the first is not a generic condition, and that the second is. We introduce two different notions of infinitesimal bi-Lipschitz equivalence for functions, one related to bi-Lipschitz triviality of families of functions, one related to homeomorphisms which are bi-Lipschitz on the fibers of the functions in the family. We show that the first is not a generic condition, and that the second is. △ Less

Submitted 19 January, 2016; originally announced January 2016.

Comments: 17 pages. A talk on the material of this paper was given at the singularities section of the Colóquio Brasileiro de Matemática in July 2015

MSC Class: 32S15

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

The genericity of the infinitesimal Lipschitz condition for hypersurfaces

Authors: Terence Gaffney

Abstract: We continue the development of the theory of infinitesimal Lipschitz equivalence, showing the genericity of the condition for families of hypersurfaces with isolated singularities. We continue the development of the theory of infinitesimal Lipschitz equivalence, showing the genericity of the condition for families of hypersurfaces with isolated singularities. △ Less

Submitted 11 October, 2014; v1 submitted 20 March, 2013; originally announced March 2013.

Comments: 19 pages. To appear in the Proceedings of the 12th International Workshop on Real and Complex Singularities, ICMC-USP Sao Carlos. This version corrects typos

MSC Class: 32S25; 32S30

The Multiplicity Polar Theorem, collections of 1-forms and Chern numbers

Authors: Terence Gaffney, Nivaldo G. Grulha Jr.

Abstract: In this work we show how the Multiplicity Polar Theorem can be used to calculate Chern numbers for a collection of 1-forms. In this work we show how the Multiplicity Polar Theorem can be used to calculate Chern numbers for a collection of 1-forms. △ Less

Submitted 30 December, 2011; originally announced January 2012.

Comments: 27 pages

Weak subintegral closure of ideals

Authors: Terence Gaffney, Marie A. Vitulli

Abstract: We describe some basic facts about the weak subintegral closure of ideals in both the algebraic and complex-analytic settings. We focus on the analogy between results on the integral closure of ideals and modules and the weak subintegral closure of an ideal. We start by giving a geometric interpretation of the Reid-Roberts-Singh criterion for when an element is weakly subintegral over a subring.… ▽ More We describe some basic facts about the weak subintegral closure of ideals in both the algebraic and complex-analytic settings. We focus on the analogy between results on the integral closure of ideals and modules and the weak subintegral closure of an ideal. We start by giving a geometric interpretation of the Reid-Roberts-Singh criterion for when an element is weakly subintegral over a subring. We give new characterizations of the weak subintegral closure of an ideal. We associate with an ideal $I$ of a ring $A$ an ideal $I_>$, which consists of all elements of $A$ such that $v(a)>v(I)$, for all Rees valuations $v$ of $I$. The ideal $I_>$ plays an important role in conditions from stratification theory such as Whitney's condition A and Thom's condition $A_f$ and is contained in every reduction of $I$. We close with a valuative criterion for when an element is in the weak subintegral closure of an ideal. For this, we introduce a new closure operation for a pair of modules, which we call relative closure. △ Less

Submitted 12 September, 2008; v1 submitted 22 August, 2007; originally announced August 2007.

Comments: New version features revisions to Section 2

MSC Class: 13B22; 13F45; 14M05; 32C20

The Multiplicity-Polar Theorem

Authors: Terence Gaffney

Abstract: Given a family of pairs of modules parametrised by a smooth space Y, the Multiplicity-Polar Theorem relates the multiplicity of the pair of modules at a special point of the parameter to the multiplicity of the pair at a generic point. This theorem is proved in this paper (Corollary 1.4). The applications of the Multiplicity-Polar theorem are of two types. In the first we construct a deformati… ▽ More Given a family of pairs of modules parametrised by a smooth space Y, the Multiplicity-Polar Theorem relates the multiplicity of the pair of modules at a special point of the parameter to the multiplicity of the pair at a generic point. This theorem is proved in this paper (Corollary 1.4). The applications of the Multiplicity-Polar theorem are of two types. In the first we construct a deformation so that we can understand the significance of the multiplicity of the pair, or show we can use the multiplicity of the pair to describe some geometric behavior. Applications of this type are the geometric significance of the BR-multiplicity (Theorem 2.1), the geometric significance of multiplicity of the pair (J(f), I) where f defines a hypersurface with non-isolated singularities, J(f) is the jacobian ideal of f and I is the ideal of the singular locus of the hypersurface. We do the cases where I defines a complete intersection (Theorem 2.3), or the hypersurface is the image of a finitely determined map-germ F: C^2,0\to C^3,0 (Theorem 2.6). We then show how the multiplicity of the pair can be used to calculate the index of a differential 1-form with an isolated singularity on a germ of an isolated singularity (Theorem 2.8). In the second kind of application, we use the generalization of the Principle of Specialization of Integral Dependence to prove results in equisingularity. The particular condition we study in this paper is the W_f condition (Theorems 2.10 and 2.11). △ Less

Submitted 21 March, 2007; originally announced March 2007.

Comments: 21 pages

MSC Class: 32S15; 14B05; 13H15

The Multiplicity Polar Theorem and Isolated Singularities

Authors: Terence Gaffney

Abstract: Using invariants from commutative algebra to count geometric objects is a basic idea in singularities. For example, the multiplicity of an ideal is used to count points of intersection of two analytic sets at points of non-transverse intersection. A problem with the multiplicity of an ideal or module is that it is only defined for modules and ideals of finite colength. In this paper we use pai… ▽ More Using invariants from commutative algebra to count geometric objects is a basic idea in singularities. For example, the multiplicity of an ideal is used to count points of intersection of two analytic sets at points of non-transverse intersection. A problem with the multiplicity of an ideal or module is that it is only defined for modules and ideals of finite colength. In this paper we use pairs of modules and their multiplicities as a way around this difficulty. A key tool is the multiplicity-polar theorem which applies to families of pairs of modules, linking the multiplicity at a general pair of the family to the multiplicity of the pair at the special fiber. The specific problem we work on is: Suppose X,0 is an equidimensional complex analytic set in C^n, and T^*_X(C^n) is the closure of the conormal vectors to the smooth part of X, s, a section of T^*(C^n), the cotangent bundle of C^n restricted to X. Suppose the intersection of the image of s, denoted im(s), with T^*_X(C^n) is isolated. Then we calculate the intersection multiplicity im(s)\cdot T^*_X(C^n) using the multiplicity of pairs. It is easy to see that if X=C^n and s(x)=df(x), where f has an isolated singularity at the origin, then this number is the Milnor number of f. Variations of this number appear in several different situations, such as, the theory of differential forms on singular spaces, the theory of D-modules, the Milnor fiber of a function with an isolated singularity, the A_f stratification condition of Thom, and the theory of the Euler invariant. We discuss the application of our result to all of these situations. △ Less

Submitted 13 September, 2005; originally announced September 2005.

Comments: 22 pages

MSC Class: 14B05;13H15

The multiplicity of pairs of modules and hypersurface singularities

Authors: Terence Gaffney

Abstract: This paper applies the multiplicity polar theorem to the study of hypersurfaces with non-isolated singularities. The multiplicity polar theorem controls the multiplicity of a pair of modules in a family by relating the multiplicity at the special fiber to the multiplicity of the pair at the general fiber. It is as important to the study of multiplicities of modules as the basic theorem in ideal… ▽ More This paper applies the multiplicity polar theorem to the study of hypersurfaces with non-isolated singularities. The multiplicity polar theorem controls the multiplicity of a pair of modules in a family by relating the multiplicity at the special fiber to the multiplicity of the pair at the general fiber. It is as important to the study of multiplicities of modules as the basic theorem in ideal theory which relates the multiplicity of an ideal to the local degree of the map formed from the generators of a minimal reduction. In fact, as a corollary of the theorem, we show here that for M a submodule of finite length of a free module F over the local ring of an equidimensional complex analytic germ, that the number of points at which a generic perturbation of a minimal reduction of M is not equal to F, is the multiplicity of M. In this paper we apply this result to the study of stratification conditions on families of hypersurfaces, obtaining the first set of invariants giving necessary and sufficient conditions for the A_f condition for hypersurfaces with non-isolated singularities. △ Less

Submitted 2 September, 2005; originally announced September 2005.

Comments: 27 pages

MSC Class: 14B05;13H15

Equisingularity of sections, $(t^r)$ condition, and the integral closure of modules

Authors: Terence Gaffney, David Trotman, Leslie Wilson

Abstract: This paper uses the theory of integral closure of modules to study the sections of both real and complex analytic spaces. The stratification conditions used are the (t^) conditions introduced by Thom and Trotman. Our results include a new simple proof showing how the (t^r) conditions improve under Grassman modification, and a characterization of the (t^r) conditions using the multiplicity of a… ▽ More This paper uses the theory of integral closure of modules to study the sections of both real and complex analytic spaces. The stratification conditions used are the (t^) conditions introduced by Thom and Trotman. Our results include a new simple proof showing how the (t^r) conditions improve under Grassman modification, and a characterization of the (t^r) conditions using the multiplicity of a submodule of the Jacobian module of the singularity. This gives numerical criteria for Verdier Equisingularity of families of sections of the space. △ Less

Submitted 30 August, 2005; originally announced August 2005.

Comments: 30 pages

MSC Class: 32S60; 14B05; 32S15; 14P05

The Lê numbers of the square of a function and their applications

Authors: Javier Fernández de Bobadilla, Terence Gaffney

Abstract: Lê numbers were introduced by Massey with the purpose of numerically controlling the topological properties of families of non-isolated hypersurface singularities and describing the topology associated with a function with non-isolated singularities. They are a generalization of the Milnor number for isolated hypersurface singularities. In this note the authors investigate the composite of an… ▽ More Lê numbers were introduced by Massey with the purpose of numerically controlling the topological properties of families of non-isolated hypersurface singularities and describing the topology associated with a function with non-isolated singularities. They are a generalization of the Milnor number for isolated hypersurface singularities. In this note the authors investigate the composite of an arbitrary square-free f and $z^2$. They get a formula for the Lê numbers of the composite, and consider two applications of these numbers. The first application is concerned with the extent to which the Lê numbers are invariant in a family of functions which satisfy some equisingularity condition, the second is a quick proof of a new formula for the Euler obstruction of a hypersurface singularity. Several examples are computed using this formula including any X defined by a function which only has transverse D(q,p) singularities off the origin. △ Less

Submitted 8 August, 2005; originally announced August 2005.

Comments: 14 pages

MSC Class: 32S15; 32S60; 32S25; 32S10

Invariants of D(q,p) singularities

Authors: Terence Gaffney

Abstract: The basic examples of functions defining non-isolated hypersurface singularities are the A(d) singularities and the D(q,p) singularities. The A(d) singularities, up to analytic equivalence, are the product of a Morse function and the zero map, while the simplest D(q,p) singularity is the Whitney umbrella. These are the basic examples, because they correspond to stable germs of functions in the s… ▽ More The basic examples of functions defining non-isolated hypersurface singularities are the A(d) singularities and the D(q,p) singularities. The A(d) singularities, up to analytic equivalence, are the product of a Morse function and the zero map, while the simplest D(q,p) singularity is the Whitney umbrella. These are the basic examples, because they correspond to stable germs of functions in the study of germs of functions with non-isolated singularities. Given a germ of a function which defines a non-isolated hypersurface singularity at the origin, which in the appropriate sense, has finite codimension in the set of such germs, the singularity type of such germs away from the origin is A(d) or D(q,p). In this note we calculate the homotopy type of the Milnor fiber of germs of type D(q,p), as well as their Lê numbers. The calculation of the Lê numbers involves the use of an incidence variety which may be useful for studying germs of finite codimension. The calculation shows that the set of symmetric matrices of kernel rank greater than or equal to 1 is an example of a hypersurface singularity with a Whitney stratification (given by the rank of the matrices) in which only one singular stratum gives a component of top dimension of the singular set of the conormal. △ Less

Submitted 20 February, 2007; v1 submitted 1 August, 2005; originally announced August 2005.

Comments: 10 pages, corrects typos and a small mistake in the proof of theorem 1.1. Several proofs are expanded to improve readability. Material on the Euler obstruction added

MSC Class: 32S15; 14B05

Nilpotents, Integral Closure and Equisingularity conditions

Authors: Terence Gaffney

Abstract: In earlier work, the author described various stratification conditions for a complex analytic set X in terms of the theory of integral closure of modules. However, even if an analytic set has a reduced structure, often geometric operations like intersection give a non-reduced structure on the resulting analytic space. In this note we show that it is not necessary for X to have a reduced structu… ▽ More In earlier work, the author described various stratification conditions for a complex analytic set X in terms of the theory of integral closure of modules. However, even if an analytic set has a reduced structure, often geometric operations like intersection give a non-reduced structure on the resulting analytic space. In this note we show that it is not necessary for X to have a reduced structure to apply the earlier integral closure results. As an application we give a simple proof of a necessary and sufficient condition for the Whitney conditions to pass to the intersection of X with a hyperplane containing the smooth stratum Y, and for this intersection to be "typical". In the case where X is a family of ICIS singularities, we show the condition on H at a point y of Y depends only on the fiber of the family over y. △ Less

Submitted 28 July, 2005; originally announced July 2005.

Comments: 10 pages

MSC Class: 32S15; 14B05; 13H15

Segre Numbers and Hypersurface Singularities

Authors: Terence Gaffney, Robert Gassler

Abstract: We define the Segre numbers of an ideal as a generalization of the multiplicity of an ideal of finite colength. We prove generalizations of various theorems involving the multiplicity of an ideal such as a principle of specialization of integral dependence, the Rees-Böger theorem, and the formula for the multiplicity of the product of two ideals. These results are applied to the study of various… ▽ More We define the Segre numbers of an ideal as a generalization of the multiplicity of an ideal of finite colength. We prove generalizations of various theorems involving the multiplicity of an ideal such as a principle of specialization of integral dependence, the Rees-Böger theorem, and the formula for the multiplicity of the product of two ideals. These results are applied to the study of various equisingularity conditions, such as Verdier's condition W, and conditions $A_f$ and $W_f$. △ Less

Submitted 1 November, 1996; originally announced November 1996.

Comments: 32 pages, AMSTEX 2.1/AMSPPT

Specialization of integral dependence for modules

Authors: T. Gaffney, S. Kleiman

Abstract: We establish the principle of specialization of integral dependence for submodules of finite colength of free modules, as part of the general algebraic-geometric theory of the Buchsbaum--Rim multiplicity. Then we apply the principle to the study of equisingularity of ICIS germs, obtaining results for such equisingularity conditions as Whitney's Condition A, Thom's Condition A_f, and Henry, Merle… ▽ More We establish the principle of specialization of integral dependence for submodules of finite colength of free modules, as part of the general algebraic-geometric theory of the Buchsbaum--Rim multiplicity. Then we apply the principle to the study of equisingularity of ICIS germs, obtaining results for such equisingularity conditions as Whitney's Condition A, Thom's Condition A_f, and Henry, Merle and Sabbah's Condition W_f. Notably, we describe these conditions for analytic families in terms of various numerical invariants, which, for the most part, depend only on the members of a family, not on its total space. △ Less

Submitted 13 May, 1998; v1 submitted 3 October, 1996; originally announced October 1996.

Comments: 42 pages, PLAIN Tex (with switches for AFour, 2-across). Significant improvements have been made in the statements and proofs of many results in Sections 3 to 6