Jose Seade, Mihai Tibar, Alberto Verjovsky
For an affine complex algebraic singular space Y, we define a global Euler obstruction Eu(Y) which extends the Euler-Poincare characteristic of a nonsingular Y. Using Lefschetz pencils, we express Eu(Y) as alternating sum of global polar invariants.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We determine the relation between the local Euler obstruction $Eu_f$ of a holomorphic function $f$ and different generalizations of the Milnor number for functions on singular spaces.
Using the index theorem of Dubson, Le, Ginsburg and Sabbah for the vanishing cycle functor, we give a short proof of formula of Brasselet, Le and Seade for the Euler obstruction.
For a complex analytic variety with an action of a finite group and for an invariant 1-form on it, we give an equivariant version (with values in the Burnside ring of the group) of the local Euler obstruction of the 1-form and describe its relation with the equivariant radial index defined earlier. This leads to equivariant versions of the local Euler obstruction of a complex analytic space and of the global Euler obstruction.
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.
The Euler obstruction of a function can be viewed as a generalization of the Milnor number for functions defined on singular spaces. In this work, using the Euler obstruction of a function, we give a version of the Lê-Greuel formula for two germs of analytic functions with isolated singularity at the origin on a singular space. Using this formula and results of Loeser, we also present an integral formula for the Euler obstruction of a function, generalizing a formula of Kennedy.
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.
In this note we introduce the concept of reflective projective varieties. These are stratified projective varieties with certain dimension constraints on their dual varieties. We prove that for such varieties, the Chern-Schwartz-MacPherson classes of the strata completely determine the local Euler obstructions and the polar degrees. We also propose an algorithm to compute the local Euler obstructions when such varieties are formed by group orbits. As examples we compute the local Euler obstructions of quadratic hypersurfaces and ordinary determinantal varieties to illustrate our method.
A notion of the radial index of an isolated singular point of a 1-form on a singular (real or complex) variety is discussed. For the differential of a function it is related to the Euler characteristic of the Milnor fibre of the function. A connection between the radial index and the local Euler obstruction of a 1-form is described. This gives an expression for the local Euler obstruction of the differential of a function in terms of Euler characteristics of some Milnor fibres.
Macpherson defined Chern-Schwartz-Macpherson (CSM) classes by introducing the (local) Euler obstruction function, which is an integer valued function on the variety that is constant on each stratum of a Whitney stratification of an algebraic variety. By understanding the Euler obstruction function, one gains insights about a singular algebraic variety. It was recently shown by the author and B. Wang, how to compute these functions using maximum likelihood degrees. This paper discusses a symbolic and a numerical implementation of algorithms to compute the Euler obstruction at a point. Macaulay2…
We give a numerical algorithm computing Euler obstruction functions using maximum likelihood degrees. The maximum likelihood degree is a well-studied property of a variety in algebraic statistics and computational algebraic geometry. In this article we use this degree to give a new way to compute Euler obstruction functions. We define the maximum likelihood obstruction function and show how it coincides with the Euler obstruction function. With this insight, we are able to bring new tools of computational algebraic geometry to study Euler obstruction functions.
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…
Applying a local Gauss-Bonnet formula for closed subanalytic sets to the complex analytic case, we obtain characterizations of the Euler obstruction of a complex analytic germ in terms of the Lipschitz-Killing curvatures and the Chern forms of its regular part. We also prove analogous results for the global Euler obstruction. As a corollary, we give a positive answer to a question of Fu on the Euler obstruction and the Gauss-Bonnet measure.
This is a note on MacPherson's local Euler obstruction, which plays an important role recently in Donaldson-Thomas theory by the work of Behrend. We introduce MacPherson's original definition, and prove that it is equivalent to the algebraic definition used by Behrend, following the method of Gonzalez-Sprinberg. We also give a formula of the local Euler obstruction in terms of Lagrangian intersections. As an application, we consider a scheme or DM stack $X$ admitting a symmetric obstruction theory. Furthermore we assume that there is a $\CC^*$ action on $X$, which makes the obstruction theory …
We use Matsui and Takeuchi's formula for toric A-discriminants to give algorithms for computing local Euler obstructions and dual degrees of toric surfaces and 3-folds. In particular, we consider weighted projective spaces. As an application we give counterexamples to a conjecture by Matsui and Takeuchi. As another application we recover the well-known fact that the only defective normal toric surfaces are cones.
We study the Euler obstruction of essentially isolated determinantal singularities (EIDS). The EIDS were defined by W. Ebeling and S. Gusein-Zade, as a generalization of isolated singularity. We obtain some formulas to calculate the Euler obstruction for the determinantal varieties with singular set an ICIS.
Euler obstructions and Verdier specializations
该研究为完全交簇的Milnor纤维与单值化的层论研究奠定基础，阐明Verdier特殊化层结构，结合Thom条件推导非孤立奇点完全交簇的欧拉障碍公式。
We give explicit formulas for the dimensions and the degrees of $A$-discriminant varieties introduced by Gelfand-Kapranov-Zelevinsky. Our formulas can be applied also to the case where the $A$-discriminant varieties are higher-codimensional and their degrees are described by the geometry of the configurations $A$. Moreover combinatorial formulas for the Euler obstructions of general (not necessarily normal) toric varieties will be also given.
Bi-Lipschitz Invariants in Singularity Theory: Lojasiewicz Exponent and Euler Obstruction
本文研究了奇点理论中两个基本局部不变量的双 Lipschitz 不变性，即 Lojasiewicz 指数和局部欧拉阻挠，探讨了其在双 Lipschitz 等价下的保持条件，并回答了局部欧拉阻挠是否为双 Lipschitz 不变量的问题。
We introduce a certain index of a collection of germs of 1-forms on a germ of a singular variety which is a generalization of the local Euler obstruction corresponding to Chern numbers different from the top one.
The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character formulas for simple equivariant $D$-modules. These calculations are then combined with standard arguments involving Kashiwara's local index formula and the description of characteristic cycles of simple equivariant $D$-modules. The formulas are implicit in the work of Boe and Fu, and in the case of general matrices they have also been obtained recently by Gaff…
Let $X \subset \Bbb{C}^n$ be an equidimensional complex algebraic set and let $f: X \to \mathbb{C}$ be a polynomial function. For each $c \in \Bbb{C}$, we define the global Brasselet number of $f$ at $c$, a global counterpart of the Brasselet number defined by the authors in a previous work, and the Brasselet number at infinity of $f$ at $c$. Then we establish several formulas relating these numbers to the topology of $X$ and the critical points of $f$.
We prove a case of a positivity conjecture of Mihalcea-Singh, concerned with the local Euler obstructions associated to the Schubert stratification of the Lagrangian Grassmannian LG(n,2n). Combined with work of Aluffi-Mihalcea-Schürmann-Su, this further implies the positivity of the Mather classes for Schubert varieties in LG(n,2n), which Mihalcea-Singh had verified for the other cominuscule spaces of classical Lie type. Building on the work of Boe and Fu, we give a positive recursion for the local Euler obstructions, and use it to show that they provide a positive count of admissible labeling…
In this paper we survey some results on the symmetric semi-perfect obstruction theory on a Deligne-Mumford stack $X$ constructed by Chang-Li, and Behrend's theorem equating the weighted Euler characteristic of $X$ and the virtual count of $X$ by symmetric semi-perfect obstruction theories. As an application, we prove that Joyce's d-critical scheme admits a symmetric semi-perfect obstruction theory, which can be applied to the virtual Euler characteristics by Jiang-Thomas.
For $m\geq n$, Let $K$ be an algebraic closed base field, and define $τ_{m,n,k}$ to be the set of $m\times n$ matrices over $K$ with kernel dimension $\geq k$. This is a projective subvariety of $\mathbb{P}^{mn-1}$, and is usually called determinantal variety. In most cases $τ_{m,n,k}$ is singular with singular locus $τ_{m,n,k+1}$. In this paper we compute the local Euler obstruction of $τ_{m,n,k}$, and we prove that the characteristic cycle of the intersection cohomology complex of $τ_{m,n,k}$ is irreducible. We also give an explicit formula for the Chern-Mather class of $τ_{m,n,k}$ as a clas…
We give explicit MacPherson cycles for the Chern-MacPherson class of a closed affine algebraic variety $X$ and for any constructible function $α$ with respect to a complex algebraic Whitney stratification of $X$. We define generalized degrees of the global polar varieties and of the MacPherson cycles and we prove a global index formula for the Euler characteristic of $α$. Whenever $α$ is the Euler obstruction of $X$, this index formula specializes to the Seade-Tibar-Verjovsky global counterpart of the Le-Teissier formula for the local Euler obstruction.
The Euler characteristic of Milnor fibers over 2-generic symmetric determinantal varieties
本文推导了非退化函数f:X→C的米尔诺纤维欧拉特征公式，通过描述概形的托尔结构和计算牛顿多面体体积，应用Matsui-Takeuchi公式得出结果，并探讨了局部欧拉阻挠与多项式米尔诺数的关系。
Virtual signed Euler characteristics
本文利用导出代数几何中的(-1)-位移余切丛构造拟光滑空间的五种虚拟带符号欧拉示性数，并证明其中两种相等且形变不变，另外三种相等但非形变不变。
For any scheme $M$ with a perfect obstruction theory, Jiang and Thomas associate a scheme $N$ with symmetric perfect obstruction theory. The scheme $N$ is a cone over $M$ given by the dual of the obstruction sheaf of $M$, and contains $M$ as its zero section. Locally $N$ is the critical locus of a regular function. In this note we prove that $N$ is a $d$-critical scheme in the sense of Joyce. By assuming an orientation on $N$ there exists a global motive for $N$ locally given by the motive of vanishing cycles of the local regular function. We prove a motivic localization formula under the good…
We introduce the notion of symmetric obstruction theory and study symmetric obstruction theories which are compatible with C*-actions. We prove that the contribution of an isolated fixed point under a C*-action to equivariant Donaldson-Thomas type invariants is +/- 1. As an application, we compute weighted Euler characteristics of all Hilbert schemes of points on any 3-fold. Moreover, we calculate the zero-dimensional Donaldson-Thomas invariants of any projective Calabi-Yau 3-fold. This proves a conjecture of Maulik-Nekrasov-Okounkov-Pandharipande.
Obstructions for Morin and fold maps: Stiefel-Whitney classes and Euler characteristics of singularity loci
本文研究流形到欧氏空间映射中Morin与折叠等奇点类型的规避数，通过沙利文施蒂费尔-惠特尼类等技术，给出奇点轨迹非空的障碍推理及欧拉示性数的通用公式。
In this paper, we consider an obstruction to asymptotic Chow-semistability of a polarized Kaehler algebraic manifold. Even when a linear algebraic group of positive dimension acts nontrivially and holomorphically on a polarized Kaehler algebraic manifold with constant scalar curvature, the vanishing of the obstruction allows us to generalize Donaldson's construction of approximate solutions for equations of balanced metrics.
Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including $K$-theoretic Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds. The construction of virtual structure sheaves is based on the $K$-theory and Gysin maps of sheaf stacks. In this paper, we generalize the virtual torus localization and cosection localization formulas and their combination to the setting of almost perfect obstruction theory…
The local Euler obstructions and the Euler characteristics of linear sections with all hyperplanes on a stratified projective variety are key geometric invariants in the study of singularity theory. Despite their importance, in general it is very hard to compute them. In this paper we consider a special type of singularity: the recursive group orbits. They are the group orbits of a sequence of $G_n$ representations $V_n$ satisfying certain assumptions. We introduce a new intrinsic invariant called the $c_{sm}$ invariant, and use it to give explicit formulas to the local Euler obstructions and …
We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface. In particular, we show that if $Δ$ is a complex homeomorphic to a 2-dimensional manifold with negative Euler characteristic, then $Δ$ is not the dual complex of any semistable degeneration. In fact, our theorem is somewhat more general and applies to some complexes homotopy equivalent to such a manifold. Our obstruction is provided by the theory of tropical complexes.
We study the section conjecture of anabelian geometry and the sufficiency of the finite descent obstruction to the Hasse principle for the moduli spaces of principally polarized abelian varieties and of curves over number fields. For the former we show that the section conjecture fails and the finite descent obstruction holds for a general class of adelic points, assuming several well-known conjectures. This is done by relating the problem to a local-global principle for Galois representations. For the latter, we prove some partial results that indicate that the finite descent obstruction suff…
We study rank-one sheaves and stable pairs on a smooth projective complex surface. We obtain an embedding of the moduli space of limit stable pairs into a smooth space. The embedding induces a perfect obstruction theory, which, over a surface with irregularity 0, agrees with the usual deformation-obstruction theory. The perfect obstruction theory defines a virtual fundamental class on the moduli space. Using the embedding, we show that the virtual class equals the Euler class of a vector bundle on the smooth ambient space. As an application, we show that on $\mathbb{P}^2$, the expected count o…
For a proper scheme X with a fixed 1-perfect obstruction theory, we define virtual versions of holomorphic Euler characteristic, chi y-genus, and elliptic genus; they are deformation invariant, and extend the usual definition in the smooth case. We prove virtual versions of the Grothendieck-Riemann-Roch and Hirzebruch-Riemann-Roch theorems. We show that the virtual chi y-genus is a polynomial, and use this to define a virtual topological Euler characteristic. We prove that the virtual elliptic genus satisfies a Jacobi modularity property; we state and prove a localization theorem in the toric …
Chern-Schwartz-MacPherson classes in the point of view of Obstruction Theory and Lipschitz framework
本文针对奇异簇陈类的定义问题，通过在利普希茨框架下利用Marie-Hélène Schwartz基于障碍理论的原始思想，简化了复解析簇陈类的定义与构造，弥补了该原始定义被遗忘的不足。
Integrals of the Pfaffian form over the nonsingular part of a projective variety compute information closely related to the Mather-Chern class of the variety and to other invariants such as the local Euler obstruction along strata of its singular locus and, in the hypersurface case, Milnor numbers. We obtain simple proofs of these formulas, recovering along the way several classically known results.
We prove that Donaldson-Thomas type invariants are equal to weighted Euler characteristics of their moduli spaces. In particular, such invariants depend only on the scheme structure of the moduli space, not the symmetric obstruction theory used to define them. We also introduce new invariants generalizing Donaldson-Thomas type invariants to moduli problems with open moduli space. These are useful for computing Donaldson-Thomas type invariants over stratifications.
Bruce-Roberts numbers and indices of vector fields on an ICIS
本文研究ICIS上GSV指标、局部Euler阻碍和Brasselet数等不变量，并以Bruce-Roberts数为核心，通过代数方法建立它们之间的联系，以提取拓扑与几何信息。
Decomposition of the diagonal, intermediate Jacobians, and universal codimension-2 cycles in positive characteristic
本文将复三维簇稳定有理性的两类对角上同调分解障碍推广到正特征有理链连通三维簇，证明相关代数代表元的典范自对偶性，并指出特征>2时带7结点的非常一般四次双立体消解不存在泛余维2闭链类。
The Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces and generalizations
本文研究正交Shimura簇Baily--Borel紧化的Picard群，确定拟极化K3曲面模空间对应紧化的Picard群同构于$\u2124$，并通过构造算术障碍空间证明了相关一般性定理。
We show how to calculate the Euler characteristic of a local system associated to an irreducible representation of the symplectic group of genus 3 on the moduli space of curves of genus 3 and the moduli space of principally polarized abelian varieties of dimension 3.
Indices of vector fields on (complex analytic) singular varieties have been considered by various authors from several different viewpoints. All these indices coincide with the classical local index of Poincaré-Hopf when the ambient variety is a smooth manifold. One has the Schwartz index, the local Euler obstruction, the GSV-index, the virtual index and the homological index (and probably other indices too). In this article we give a brief overview of all these indices and the relations amongst them. We also indicate their relations with the various generalisations to complex analytic singula…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。