Showing 1–46 of 46 results for author: Massey, D

A Note on Numerical Perverse Sheaves

Authors: David B. Massey

Abstract: We define and describe the properties of a class of perverse sheaves which is very useful when the base ring is not a field. We define and describe the properties of a class of perverse sheaves which is very useful when the base ring is not a field. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 4 pages

Relative Polar Multiplicities and the Real Link

Authors: David B. Massey

Abstract: For a hypersurface defined by a complex analytic function, we obtain a chain complex of free abelian groups, with ranks given in terms of relative polar multiplicities, which has cohomology isomorphic to the reduced cohomology of the real link. This leads to Morse-type inequalities between the Betti numbers of the real link of the hypersurface and the relative polar multiplicities of the function. For a hypersurface defined by a complex analytic function, we obtain a chain complex of free abelian groups, with ranks given in terms of relative polar multiplicities, which has cohomology isomorphic to the reduced cohomology of the real link. This leads to Morse-type inequalities between the Betti numbers of the real link of the hypersurface and the relative polar multiplicities of the function. △ Less

Submitted 30 December, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: 5 pages

Minkowski Inequalities and non-isolated hypersurface singularities

Authors: David B. Massey

Abstract: We derive a number of inequalities involving Lê numbers of non-isolated hypersurface singularities. In particular, we derive Lê-Iomdine formulas with inequalities and use these, together with Teissier's Minkowski inequalities for sectional Milnor numbers of isolated hypersurface singularities, to arrive at ``Minkowski inequalities'' for Lê numbers. We derive a number of inequalities involving Lê numbers of non-isolated hypersurface singularities. In particular, we derive Lê-Iomdine formulas with inequalities and use these, together with Teissier's Minkowski inequalities for sectional Milnor numbers of isolated hypersurface singularities, to arrive at ``Minkowski inequalities'' for Lê numbers. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Comments: 15 pages

The Intermediate Extension, Vanishing Cycles, and Perverse Eigenspace of One

Authors: David B. Massey

Abstract: We prove a number of results involving the kernel of the identity minus the monodromy on the vanishing cycles. We prove a number of results involving the kernel of the identity minus the monodromy on the vanishing cycles. △ Less

Submitted 24 March, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

Comments: 11 pages

A lower bound on the top Betti number of the Milnor fiber

Authors: David Massey

Abstract: We derive a lower bound for the top possibly-non-zero Betti number of the Milnor fiber of an analytic function in terms of the zero-dimensional Lê number and the internal monodromy of the vanishing cycles restricted to the complex link of the critical locus of the function. We derive a lower bound for the top possibly-non-zero Betti number of the Milnor fiber of an analytic function in terms of the zero-dimensional Lê number and the internal monodromy of the vanishing cycles restricted to the complex link of the critical locus of the function. △ Less

Submitted 29 August, 2023; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 10 pages

Verdier dualizing and the variation map

Authors: David B. Massey

Abstract: We describe how the canonical and variation maps between the shifted nearby and vanishing cycles interact with Verdier dualizing. We describe how the canonical and variation maps between the shifted nearby and vanishing cycles interact with Verdier dualizing. △ Less

Submitted 15 August, 2023; originally announced August 2023.

Comments: 7 pages

A Lemma of Lazarsfeld and the Jacobian blow up

Authors: David B. Massey

Abstract: For a complex analytic function $f$, the exceptional divisor of the jacobian blow-up is of great importance. In this paper, we show what a lemma from the thesis of Lazarsfeld tells one about the structure of this exceptional divisor. For a complex analytic function $f$, the exceptional divisor of the jacobian blow-up is of great importance. In this paper, we show what a lemma from the thesis of Lazarsfeld tells one about the structure of this exceptional divisor. △ Less

Submitted 25 October, 2022; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: version 2, 5 pages, added a "going up" version of the main theorem

A Non-isolated Addendum to the Theorem of Bobadilla and Pełka

Authors: David B. Massey

Abstract: We show that the Theorem of Bobadilla and Pełka implies a non-isolated version for aligned hyper surface singularities. We show that the Theorem of Bobadilla and Pełka implies a non-isolated version for aligned hyper surface singularities. △ Less

Submitted 23 August, 2022; originally announced September 2022.

Comments: 1 page. Just a quick note

A note on the support and cosupport conditions for a perverse sheaf

Authors: David B. Massey

Abstract: We give a characterization of the support and cosupport conditions for a perverse sheaf in terms of the Whitney filtration. We give a characterization of the support and cosupport conditions for a perverse sheaf in terms of the Whitney filtration. △ Less

Submitted 6 July, 2022; originally announced July 2022.

Comments: Just a 4-page discussion and lemma, of possible use to others

Milnor fibers of homogeneous polynomials of prime power degree

Authors: David B. Massey

Abstract: We consider a homogeneous polynomial of degree equal to a prime power and examine the cohomology of the Milnor fiber. We consider a homogeneous polynomial of degree equal to a prime power and examine the cohomology of the Milnor fiber. △ Less

Submitted 2 June, 2022; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: No results were changed, but the text was completely revised, including the addition of new references

MSC Class: 32S25

Weather of the Dorm WIFI Ecosystem at the University of Colorado Boulder for Fall Semester 2019 to Spring Semester 2020 a Case Study of WIFI and a Campus Response to the COVID-19 Perturbation

Authors: Jake Mcgrath, Armen Davis, James Curry, Orrie Gartner, Glenn Rodrigues, Seth Spielman, Daniel Massey

Abstract: Growing use of network technology in Higher Education means that there has been increasing demand to adapt technology platforms and tools that transform student learning strategies, faculty teaching, research modalities, as well as general operations. Many of the new modalities are necessary for IHE business. In August 2019, we began collecting and analyzing data from the campus WIFI network. A go… ▽ More Growing use of network technology in Higher Education means that there has been increasing demand to adapt technology platforms and tools that transform student learning strategies, faculty teaching, research modalities, as well as general operations. Many of the new modalities are necessary for IHE business. In August 2019, we began collecting and analyzing data from the campus WIFI network. A goal of the research was to answer question like what passive sensing of the IHE WIFI might tell us about the dynamics of the WIFI weather in the IHE ecosystem and what does anonymized data tell us about the IHE ecosystem. The analogy with weather prediction seemed appropriate and a viable approach. Starting Fall 2019, data were collected in the observational phase. In the analysis phase, we applied Singular Spectrum Analysis decomposition, to deconstruct WIFI data from dorms, the central campus dining cafeteria, the recreation center, and other buildings on campus. That analysis led to the identification of clusters of buildings that behaved similarly. Just as in the case of models of the weather, a final component of this research was forecasting. We found that weekly forecast of WIFI behavior in the Fall 2019, were straight forward using SSA and seemed to present behavior of a low dimensional dynamical system. However, in Spring 2020, and the COVID perturbation, the campus ecosystem received a shock and data show that the campus changed very quickly. We found that as the campus moved to conduct remote learning, teaching, the closure of research labs, and the edict to work remotely, SSA forecasting techniques not trained on the Spring 2020, data after the shock, performed poorly. While SSA forecasting trained on a portion of the data did better. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: Contact E-mail: [email protected], Applied Mathematics, University of Colorado, Boulder 80309-0526

Learning to Ask Medical Questions using Reinforcement Learning

Authors: Uri Shaham, Tom Zahavy, Cesar Caraballo, Shiwani Mahajan, Daisy Massey, Harlan Krumholz

Abstract: We propose a novel reinforcement learning-based approach for adaptive and iterative feature selection. Given a masked vector of input features, a reinforcement learning agent iteratively selects certain features to be unmasked, and uses them to predict an outcome when it is sufficiently confident. The algorithm makes use of a novel environment setting, corresponding to a non-stationary Markov Deci… ▽ More We propose a novel reinforcement learning-based approach for adaptive and iterative feature selection. Given a masked vector of input features, a reinforcement learning agent iteratively selects certain features to be unmasked, and uses them to predict an outcome when it is sufficiently confident. The algorithm makes use of a novel environment setting, corresponding to a non-stationary Markov Decision Process. A key component of our approach is a guesser network, trained to predict the outcome from the selected features and parametrizing the reward function. Applying our method to a national survey dataset, we show that it not only outperforms strong baselines when requiring the prediction to be made based on a small number of input features, but is also highly more interpretable. Our code is publicly available at \url{https://github.com/ushaham/adaptiveFS}. △ Less

Submitted 25 May, 2020; v1 submitted 31 March, 2020; originally announced April 2020.

Control by the lowest degree vanishing cycles

Authors: David B. Massey

Abstract: Given the germ of an analytic function on affine space with a smooth critical locus, we prove that the constancy of the stalk cohomology of the Milnor fiber in lowest degree off a codimension two subset of the critical locus implies that the vanishing cycles are concentrated in lowest degree and are constant. Given the germ of an analytic function on affine space with a smooth critical locus, we prove that the constancy of the stalk cohomology of the Milnor fiber in lowest degree off a codimension two subset of the critical locus implies that the vanishing cycles are concentrated in lowest degree and are constant. △ Less

Submitted 8 November, 2019; originally announced November 2019.

Comments: 6 pages. arXiv admin note: text overlap with arXiv:math/0504380

Intersection Cohomology and Perverse Eigenspaces of the Monodromy

Authors: David B. Massey

Abstract: We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface. We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface. △ Less

Submitted 1 February, 2019; v1 submitted 6 January, 2018; originally announced January 2018.

Comments: 16 pages

MSC Class: 32B15; 32C18; 32B10; 32S25; 32S15; 32S55

A Result on Relative Conormal Spaces

Authors: David B. Massey

Abstract: We prove a result on the relationship between the relative conormal space of an analytic function $f$ on affine space and the relative conormal space of $f$ restricted to a hyperplane slice, at a point where the relative conormal space of $f$ is "microlocally trivial". We prove a result on the relationship between the relative conormal space of an analytic function $f$ on affine space and the relative conormal space of $f$ restricted to a hyperplane slice, at a point where the relative conormal space of $f$ is "microlocally trivial". △ Less

Submitted 13 October, 2017; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: 6 pages, corrected one symbol from previous version

MSC Class: 32B15; 32C18; 32B10; 32S25; 32S15; 32S55

Characteristic Cycles and the Relative Local Euler Obstruction

Authors: David B. Massey

Abstract: In this paper, we investigate the local Euler obstruction and the relative local Euler obstruction in terms of constructible complexes of sheaves, characteristic cycles, and vanishing cycles. The fundamental tool that we use is the notion of a characteristic complex for an analytic space embedded in affine space. In this paper, we investigate the local Euler obstruction and the relative local Euler obstruction in terms of constructible complexes of sheaves, characteristic cycles, and vanishing cycles. The fundamental tool that we use is the notion of a characteristic complex for an analytic space embedded in affine space. △ Less

Submitted 2 May, 2017; v1 submitted 15 April, 2017; originally announced April 2017.

Comments: Added some references and comments, and included a more-complicated example at the end

IPA-deformations of functions on affine space

Authors: David B. Massey

Abstract: We investigate deformations of functions on affine space, deformations in which the changes specialize to a distinguished point in the zero-locus of the original function. Such deformations enable us to obtain nice results on the cohomology of the Milnor fiber of the original function. We investigate deformations of functions on affine space, deformations in which the changes specialize to a distinguished point in the zero-locus of the original function. Such deformations enable us to obtain nice results on the cohomology of the Milnor fiber of the original function. △ Less

Submitted 21 June, 2016; originally announced June 2016.

Comments: 12 pages

MSC Class: 32S05; 32S60; 32S30; 32S55; 32S50; 32S15

Perverse Results on Milnor Fibers inside Parameterized Hypersurfaces

Authors: Brian Hepler, David B. Massey

Abstract: We discuss some results on parameterized hypersurfaces which follow quickly from results in the category of perverse sheaves We discuss some results on parameterized hypersurfaces which follow quickly from results in the category of perverse sheaves △ Less

Submitted 28 February, 2016; originally announced February 2016.

MSC Class: 32S25; 57R45; 32S20

A Note on Kernels, Images, and Cokernels in the Perverse Category

Authors: David B. Massey

Abstract: We discuss the relationship between kernels, images and cokernels of morphisms between perverse sheaves and induced maps on stalk cohomology. We discuss the relationship between kernels, images and cokernels of morphisms between perverse sheaves and induced maps on stalk cohomology. △ Less

Submitted 24 February, 2016; originally announced February 2016.

Comments: 7 pages

Some Special Cases of Bobadilla's Conjecture

Authors: Brian Hepler, David B. Massey

Abstract: We prove two special cases of a conjecture of J. Fernández de Bobadilla for hypersurfaces with $1$-dimensional critical loci. We do this via a new numerical invariant for such hypersurfaces, called the beta invariant, first defined and explored by the second author in 2014. The beta invariant is an algebraically calculable invariant of the local ambient topological-type of the hypersurface, and… ▽ More We prove two special cases of a conjecture of J. Fernández de Bobadilla for hypersurfaces with $1$-dimensional critical loci. We do this via a new numerical invariant for such hypersurfaces, called the beta invariant, first defined and explored by the second author in 2014. The beta invariant is an algebraically calculable invariant of the local ambient topological-type of the hypersurface, and the vanishing of the beta invariant is equivalent to the hypotheses of Bobadilla's conjecture. △ Less

Submitted 3 December, 2015; v1 submitted 11 October, 2015; originally announced October 2015.

MSC Class: 32B15; 32C18; 32B10

A New Conjecture, a New Invariant, and a New Non-splitting Result

Authors: David B. Massey

Abstract: We prove a new non-splitting result for the cohomology of the Milnor fiber, reminiscent of the classical result proved independently by Lazzeri, Gabrielov, and Lê in 1973-74. We do this while exploring a conjecture of Bobadilla about a stronger version of our non-splitting result. To explore this conjecture, we define a new numerical invariant for hypersurfaces with $1$-dimensional critical loci… ▽ More We prove a new non-splitting result for the cohomology of the Milnor fiber, reminiscent of the classical result proved independently by Lazzeri, Gabrielov, and Lê in 1973-74. We do this while exploring a conjecture of Bobadilla about a stronger version of our non-splitting result. To explore this conjecture, we define a new numerical invariant for hypersurfaces with $1$-dimensional critical loci: the beta invariant. The beta invariant is an invariant of the ambient topological-type of the hypersurface, is non-negative, and is algebraically calculable. Results about the beta invariant remove the topology from Bobadilla's conjecture and turn it into a purely algebraic question. △ Less

Submitted 27 April, 2015; v1 submitted 13 October, 2014; originally announced October 2014.

MSC Class: 32B15; 32C35; 32C18; 32B10

Non-isolated Hypersurface Singularities and Lê Cycles

Authors: David B. Massey

Abstract: In this series of lectures, I will discuss results for complex hypersurfaces with non-isolated singularities. In Lecture 1, I will review basic definitions and results on complex hypersurfaces, and then present classical material on the Milnor fiber and fibration. In Lecture 2, I will present basic results from Morse theory, and use them to prove some results about complex hypersurfaces, including… ▽ More In this series of lectures, I will discuss results for complex hypersurfaces with non-isolated singularities. In Lecture 1, I will review basic definitions and results on complex hypersurfaces, and then present classical material on the Milnor fiber and fibration. In Lecture 2, I will present basic results from Morse theory, and use them to prove some results about complex hypersurfaces, including a proof of Lê's attaching result for Milnor fibers of non-isolated hypersurface singularities. This will include defining the relative polar curve. Lecture 3 will begin with a discussion of intersection cycles for proper intersections inside a complex manifold, and then move on to definitions and basic results on Lê cycles and Lê numbers of non-isolated hypersurface singularities. Lecture 4 will explain the topological importance of Lê cycles and numbers, and then I will explain, informally, the relationship between the Lê cycles and the complex of sheaves of vanishing cycles. △ Less

Submitted 13 November, 2015; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: Notes from a series of lectures from the São Carlos singularities meeting of 2014. Revision made to Exercise 3.1 (a)

MSC Class: 32B15; 32C35; 32C18; 32B10

Milnor fibers and Links of Local Complete Intersections

Authors: David B. Massey

Abstract: We discuss and prove a number of cohomological results for Milnor fibers, real links, and complex links of local complete intersections with singularities of arbitrary dimension. We discuss and prove a number of cohomological results for Milnor fibers, real links, and complex links of local complete intersections with singularities of arbitrary dimension. △ Less

Submitted 21 February, 2014; originally announced February 2014.

Comments: 14 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

The Perverse Study of the Milnor Fiber

Authors: David B. Massey

Abstract: In this note, we provide a quick introduction to the study of the Milnor fibration via the derived category and perverse sheaves. This is primarily a dictionary for translating from the standard topological setting to the derived category and/or the Abelian category of perverse sheaves. In this note, we provide a quick introduction to the study of the Milnor fibration via the derived category and perverse sheaves. This is primarily a dictionary for translating from the standard topological setting to the derived category and/or the Abelian category of perverse sheaves. △ Less

Submitted 29 July, 2012; originally announced July 2012.

Comments: 13 pages

A remark on vanishing cycles with two strata

Authors: Lê Dũng Tráng, David B. Massey

Abstract: Suppose that the critical locus $Σ$ of a complex analytic function $f$ on affine space is, itself, a space with an isolated singular point at the origin $\0$, and that the Milnor number of $f$ restricted to normal slices of $Σ-\{\0\}$ is constant. Then, the general theory of perverse sheaves puts severe restrictions on the cohomology of the Milnor fiber of $f$ at $\0$, and even more surprising res… ▽ More Suppose that the critical locus $Σ$ of a complex analytic function $f$ on affine space is, itself, a space with an isolated singular point at the origin $\0$, and that the Milnor number of $f$ restricted to normal slices of $Σ-\{\0\}$ is constant. Then, the general theory of perverse sheaves puts severe restrictions on the cohomology of the Milnor fiber of $f$ at $\0$, and even more surprising restrictions on the cohomology of the Milnor fiber of generic hyperplane slices. △ Less

Submitted 19 August, 2011; originally announced August 2011.

Comments: A 3-page note

MSC Class: 32B15; 32C35; 32C18; 32B10

Calculations with Characteristic Cycles

Authors: David B. Massey

Abstract: We discuss and prove a number of results for calculating characteristic cycles, or graded, enriched characteristic cycles. We concentrate particularly on results related to hypersurfaces. We discuss and prove a number of results for calculating characteristic cycles, or graded, enriched characteristic cycles. We concentrate particularly on results related to hypersurfaces. △ Less

Submitted 15 November, 2016; v1 submitted 22 January, 2011; originally announced January 2011.

Comments: 38 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Natural Commuting of Vanishing Cycles and the Verdier Dual

Authors: David B. Massey

Abstract: We prove that the shifted vanishing cycles and nearby cycles commute with Verdier dualizing up to a {\bf natural} isomorphism, even when the coefficients are not in a field. We prove that the shifted vanishing cycles and nearby cycles commute with Verdier dualizing up to a {\bf natural} isomorphism, even when the coefficients are not in a field. △ Less

Submitted 19 August, 2009; originally announced August 2009.

Comments: 6 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Journal ref: Pacific J. Math. 284 (2016) 431-437

Real Analytic Milnor Fibrations and a Strong Łojasiewicz Inequality

Authors: David B. Massey

Abstract: We give a strong version of a classic inequality of Łojasiewicz; one which collapses to the usual inequality in the complex analytic case. We show that this inequality for a pair, quadruple, or octuple of real analytic functions allows us to construct a real Milnor fibration inside a ball. We give a strong version of a classic inequality of Łojasiewicz; one which collapses to the usual inequality in the complex analytic case. We show that this inequality for a pair, quadruple, or octuple of real analytic functions allows us to construct a real Milnor fibration inside a ball. △ Less

Submitted 29 November, 2008; v1 submitted 20 March, 2007; originally announced March 2007.

Comments: 20 pages

MSC Class: 32C18; 14P15; 26E05; 32B10; 32B20

Vanishing Vanishing Cycles

Authors: David B. Massey

Abstract: If $\Adot$ is a bounded, constructible complex of sheaves on a complex analytic space $X$, and $f:X\to\C$ and $g:X\to\C$ are complex analytic functions, then the iterated vanishing cycles $φ_g[-1](φ_f[-1]\Adot)$ are important for a number of reasons. We give a formula for the stalk cohomology $H^*(φ_g[-1]φ_f[-1]\Adot)_x$ in terms of relative polar curves, algebra, and the normal Morse data and mic… ▽ More If $\Adot$ is a bounded, constructible complex of sheaves on a complex analytic space $X$, and $f:X\to\C$ and $g:X\to\C$ are complex analytic functions, then the iterated vanishing cycles $φ_g[-1](φ_f[-1]\Adot)$ are important for a number of reasons. We give a formula for the stalk cohomology $H^*(φ_g[-1]φ_f[-1]\Adot)_x$ in terms of relative polar curves, algebra, and the normal Morse data and micro-support of $\Adot$. △ Less

Submitted 23 October, 2010; v1 submitted 9 October, 2006; originally announced October 2006.

Comments: 11 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Enriched Relative Polar Curves and Discriminants

Authors: David B. Massey

Abstract: Let $(f, g)$ be a pair of complex analytic functions on a singular analytic space $X$. We give ``the correct'' definition of the relative polar curve of $(f, g)$, and we give a very formal generalization of Lê's attaching result, which relates the relative polar curve to the relative cohomology of the Milnor fiber modulo a hyperplane slice. We also give the technical arguments which allow one to… ▽ More Let $(f, g)$ be a pair of complex analytic functions on a singular analytic space $X$. We give ``the correct'' definition of the relative polar curve of $(f, g)$, and we give a very formal generalization of Lê's attaching result, which relates the relative polar curve to the relative cohomology of the Milnor fiber modulo a hyperplane slice. We also give the technical arguments which allow one to work with a derived category version of the discriminant and Cerf diagram of a pair of functions. From this, we derive a number of generalizations of results which are classically proved using the discriminant. In particular, we give applications to families of isolated ``critical points''. △ Less

Submitted 25 July, 2006; v1 submitted 7 July, 2006; originally announced July 2006.

Comments: 34 pages, the revision contains a new section

MSC Class: 32B15; 32C35; 32C18; 32B10

Vanishing Cycles and Thom's $a_f$ Condition

Authors: David B. Massey

Abstract: We give a complete description of the relationship between the vanishing cycles of a complex of sheaves along a function $f$ and Thom's $a_f$ condition. We give a complete description of the relationship between the vanishing cycles of a complex of sheaves along a function $f$ and Thom's $a_f$ condition. △ Less

Submitted 11 February, 2007; v1 submitted 14 May, 2006; originally announced May 2006.

Comments: 14 pages, with a revised introduction

MSC Class: 32B15; 32C35; 32C18; 32B10

Hypersurface Singularities and Milnor Equisingularity

Authors: Lê Dũng Tráng, David B. Massey

Abstract: Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional at the origin, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber, $F_{f, \mathbf 0}$, of $f$ at the origin, with either integral or $\mathbb Z/p\mathbb Z$ coefficients. If the critical locus of $f$ has arbitrary dimension, we show that the smallest… ▽ More Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional at the origin, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber, $F_{f, \mathbf 0}$, of $f$ at the origin, with either integral or $\mathbb Z/p\mathbb Z$ coefficients. If the critical locus of $f$ has arbitrary dimension, we show that the smallest possibly non-zero reduced Betti number of $F_{f, \mathbf 0}$ completely determines if $f$ defines a family of isolated singularities, over a smooth base, with constant Milnor number. This result has a nice interpretation in terms of the structure of the vanishing cycles as an object in the perverse category. △ Less

Submitted 19 April, 2005; originally announced April 2005.

Comments: A substantial improvement on our earlier paper, Hypersurface Singularities and the Swing. 15 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Hypersurface Singularities and the Swing

Authors: Lê Dũng Tráng, David B. Massey

Abstract: Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber of $f$. This result has an interesting implication on the structure of the vanishing cycles in the category of perverse sheaves. Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber of $f$. This result has an interesting implication on the structure of the vanishing cycles in the category of perverse sheaves. △ Less

Submitted 7 February, 2005; v1 submitted 19 November, 2004; originally announced November 2004.

Comments: 11 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Lê Modules and Traces

Authors: David B. Massey

Abstract: We show how some of our recent results clarify the relationship between the Lê numbers and the cohomology of the Milnor fiber of a non-isolated hypersurface singularity. The Lê numbers are actually the ranks of the free Abelian groups -- the Lê modules -- appearing in a complex whose cohomology is that of the Milnor fiber. Moreover, the Milnor monodromy acts on the Lê module complex, and we desc… ▽ More We show how some of our recent results clarify the relationship between the Lê numbers and the cohomology of the Milnor fiber of a non-isolated hypersurface singularity. The Lê numbers are actually the ranks of the free Abelian groups -- the Lê modules -- appearing in a complex whose cohomology is that of the Milnor fiber. Moreover, the Milnor monodromy acts on the Lê module complex, and we describe the traces of these monodromy actions in terms of the topology of the critical locus. △ Less

Submitted 13 February, 2005; v1 submitted 10 October, 2004; originally announced October 2004.

Comments: 12 pages, to appear in Proc. AMS

MSC Class: 32B15; 32C35; 32C18; 32B10

Semi-simple Carrousels and the Monodromy

Authors: David B. Massey

Abstract: Let $\Cal U$ be an open neighborhood of the origin in $\Bbb C^{n+1}$ and let $f:(\Cal U, \bold 0)\to(\Bbb C, 0)$ be complex analytic. Let $z_0$ be a generic linear form on $\Bbb C^{n+1}$. If the relative polar curve $Γ^1_{f, z_0}$ at the origin is irreducible and the intersection number $\big(Γ^1_{f, z_0}\cdot V(f))_\bold 0$ is prime, then there are severe restrictions on the possible degree… ▽ More Let $\Cal U$ be an open neighborhood of the origin in $\Bbb C^{n+1}$ and let $f:(\Cal U, \bold 0)\to(\Bbb C, 0)$ be complex analytic. Let $z_0$ be a generic linear form on $\Bbb C^{n+1}$. If the relative polar curve $Γ^1_{f, z_0}$ at the origin is irreducible and the intersection number $\big(Γ^1_{f, z_0}\cdot V(f))_\bold 0$ is prime, then there are severe restrictions on the possible degree $n$ cohomology of the Milnor fiber at the origin. We also obtain some interesting, weaker, results when $\big(Γ^1_{f, z_0}\cdot V(f))_\bold 0$ is not prime. △ Less

Submitted 6 October, 2004; originally announced October 2004.

Comments: 13 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Intersection Cohomology, Monodromy, and the Milnor Fiber

Authors: David B. Massey

Abstract: We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology manifold. Given an analytic function $f$ on an intersection cohomology manifold, we describe a simple relation between $V(f)$ being an intersection cohomology mani… ▽ More We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology manifold. Given an analytic function $f$ on an intersection cohomology manifold, we describe a simple relation between $V(f)$ being an intersection cohomology manifold and the vanishing cycle Milnor monodromy of $f$. We then describe how the Sebastiani-Thom isomorphism allows us to easily produce intersection cohomology manifolds with arbitrary singular sets. Finally, as an easy application, we obtain restrictions on the cohomology of the Milnor fiber of a hypersurface with a special type of one-dimensional critical locus. △ Less

Submitted 17 January, 2005; v1 submitted 18 April, 2004; originally announced April 2004.

Comments: 15 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Integral Restrictions on the Monodromy

Authors: David B. Massey

Abstract: Given a complex analytic function with a one-dimensional critical locus at the origin, we examine the monodromy action on the integral cohomology of the Milnor fiber. We relate this monodromy to that of a generic hyperplane slice through the origin, and to that of a generic hyperplane slice near the origin. We thereby obtain number-theoretic restrictions on the monodromy and on the cohomology of… ▽ More Given a complex analytic function with a one-dimensional critical locus at the origin, we examine the monodromy action on the integral cohomology of the Milnor fiber. We relate this monodromy to that of a generic hyperplane slice through the origin, and to that of a generic hyperplane slice near the origin. We thereby obtain number-theoretic restrictions on the monodromy and on the cohomology of the original Milnor fiber. △ Less

Submitted 11 June, 2003; v1 submitted 10 June, 2003; originally announced June 2003.

Comments: 9 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Euler Obstruction and Defects of Functions on Singular Varieties

Authors: J. -P. Brasselet, D. Massey, A. J. Parameswaran, J. Seade

Abstract: Several authors have proved Lefschetz type formulae for the local Euler obstruction. In particular, a result of this type is proved in [BLS].The formula proved in that paper turns out to be equivalent to saying that the local Euler obstruction, as a constructible function, satisfies the local Euler condition (in bivariant theory) with respect to general linear forms. The purpose of this work i… ▽ More Several authors have proved Lefschetz type formulae for the local Euler obstruction. In particular, a result of this type is proved in [BLS].The formula proved in that paper turns out to be equivalent to saying that the local Euler obstruction, as a constructible function, satisfies the local Euler condition (in bivariant theory) with respect to general linear forms. The purpose of this work is to understand what prevents the local Euler obstruction of satisfying the local Euler condition with respect to functions which are singular at the considered point. This is measured by an invariant (or ``defect'') of such functions that we define below. We give an interpretation of this defect in terms of vanishing cycles, which allows us to calculate it algebraically. When the function has an isolated singularity, our invariant can be defined geometrically, via obstruction theory. We notice that this invariant unifies the usual concepts of {\it the Milnor number} of a function and of the {\it local Euler obstruction} of an analytic set. △ Less

Submitted 19 February, 2003; originally announced February 2003.

Comments: 18 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Singularities and Enriched Cycles

Authors: David B. Massey

Abstract: We introduce graded, enriched characteristic cycles as a method for encoding Morse modules of strata with respect to a constructible complex of sheaves. Using this new device, we obtain results for arbitrary complex analytic functions on arbitrarily singular complex analytic spaces. We introduce graded, enriched characteristic cycles as a method for encoding Morse modules of strata with respect to a constructible complex of sheaves. Using this new device, we obtain results for arbitrary complex analytic functions on arbitrarily singular complex analytic spaces. △ Less

Submitted 17 June, 2003; v1 submitted 11 August, 2002; originally announced August 2002.

Comments: 40 pages

MSC Class: 32B15; 32C35; 32C18; 32B10

Invariant Subspaces of the Monodromy

Authors: David B. Massey

Abstract: We show that there are obstructions to the existence of certain types of invariant subspaces of the Milnor monodromy; this places restrictions on the cohomology of Milnor fibres of non-isolated hypersurface singularities. We show that there are obstructions to the existence of certain types of invariant subspaces of the Milnor monodromy; this places restrictions on the cohomology of Milnor fibres of non-isolated hypersurface singularities. △ Less

Submitted 30 January, 2001; originally announced January 2001.

Comments: 10 pages

MSC Class: 32B15; 32C35; 32C18

Perverse Cohomology and the Vanishing Index Theorem

Authors: David B. Massey

Abstract: The characteristic cycle of a complex of sheaves on a complex analytic space provides weak information about the complex; essentially, it yields the Euler characteristics of the hypercohomology of normal data to strata. We show how perverse cohomology actually allows one to extract the individual Betti numbers of the hypercohomology of normal data to strata, not merely the Euler characteristics.… ▽ More The characteristic cycle of a complex of sheaves on a complex analytic space provides weak information about the complex; essentially, it yields the Euler characteristics of the hypercohomology of normal data to strata. We show how perverse cohomology actually allows one to extract the individual Betti numbers of the hypercohomology of normal data to strata, not merely the Euler characteristics. We apply this to the ``calculation'' of the vanishing cycles of a complex, and relate this to the work of Parusiński and Briançon, Maisonobe, and Merle on Thom's $a_f$ condition. △ Less

Submitted 8 July, 2000; originally announced July 2000.

Comments: 15 pages

MSC Class: 32B15

A Little Microlocal Morse Theory

Authors: David B. Massey

Abstract: If a complex analytic function, $f$, has a stratified isolated critical point, then it is known that the cohomology of the Milnor fibre of $f$ has a direct sum decomposition in terms of the normal Morse data to the strata. We use microlocal Morse theory to obtain the same result under the weakened hypothesis that the vanishing cycles along $f$ have isolated support. We also investigate an index-… ▽ More If a complex analytic function, $f$, has a stratified isolated critical point, then it is known that the cohomology of the Milnor fibre of $f$ has a direct sum decomposition in terms of the normal Morse data to the strata. We use microlocal Morse theory to obtain the same result under the weakened hypothesis that the vanishing cycles along $f$ have isolated support. We also investigate an index-theoretic proof of this fact. △ Less

Submitted 18 January, 2001; v1 submitted 24 June, 2000; originally announced June 2000.

Comments: 18 pages

MSC Class: 32B15

Notes on Perverse Sheaves and Vanishing Cycles

Authors: David B. Massey

Abstract: A working mathematician's summary of many results on the derived category, perverse sheaves, and vanishing cycles. This is the September 2023 version. A working mathematician's summary of many results on the derived category, perverse sheaves, and vanishing cycles. This is the September 2023 version. △ Less

Submitted 9 December, 2024; v1 submitted 19 August, 1999; originally announced August 1999.

Comments: 44 pages

MSC Class: 32B15

Gap Sheaves and Vogel Cycles

Authors: David B. Massey

Abstract: Throughout our work on the Lê cycles of an affine hypersurface singularity, our primary algebraic tool consisted of a method for taking the Jacobian ideal of a complex analytic function and decomposing it into pure-dimensional "pieces". These pieces were obtained by considering the relative polar varieties of Lê and Teissier as gap sheaves. A gap sheaf is a formal device which gives a scheme-the… ▽ More Throughout our work on the Lê cycles of an affine hypersurface singularity, our primary algebraic tool consisted of a method for taking the Jacobian ideal of a complex analytic function and decomposing it into pure-dimensional "pieces". These pieces were obtained by considering the relative polar varieties of Lê and Teissier as gap sheaves. A gap sheaf is a formal device which gives a scheme-theoretic meaning to the analytic closure of the difference of an initial scheme and an analytic set. We would like to extend our results on Lê cycles to functions on an arbitrary complex analytic space, and so we generalize this algebraic approach. We begin with an ordered set of generators for an ideal, and produce a collection of pure-dimensional analytic cycles, the Vogel cycles, which seem to contain a great deal of ``geometric'' data related to the original ideal. We prove a number of useful results, including some extremely general Lê-Iomdine-Vogel formulas; these formulas generalize the Lê Iomdine formulas that we used so profitably in previous work. △ Less

Submitted 19 August, 1999; originally announced August 1999.

Comments: 27 pages

MSC Class: 14C25

Critical Points of Functions on Singular Spaces

Authors: David B. Massey

Abstract: We compare and contrast various notions of the "critical locus" of a complex analytic function on a singular space. After choosing a topological variant as our primary notion of the critical locus, we justify our choice by generalizing Lê and Saito's result that constant Milnor number implies that Thom's a_f condition is satisfied. We compare and contrast various notions of the "critical locus" of a complex analytic function on a singular space. After choosing a topological variant as our primary notion of the critical locus, we justify our choice by generalizing Lê and Saito's result that constant Milnor number implies that Thom's a_f condition is satisfied. △ Less

Submitted 19 August, 1999; originally announced August 1999.

Comments: 35 pages

MSC Class: 32B15

The Sebastiani-Thom Isomorphism in the Derived Category

Authors: David B. Massey

Abstract: We prove a derived category version of the Sebastiani-Thom Theorem, which describes the vanishing cycles of the sum of two functions of disjoint variables. We prove a derived category version of the Sebastiani-Thom Theorem, which describes the vanishing cycles of the sum of two functions of disjoint variables. △ Less

Submitted 19 August, 1999; originally announced August 1999.

Comments: 8 pages

MSC Class: 32B15