L. M. Feher, B. Komuves
In this paper we derive closed formulas for the Thom polynomials of two families of second order Thom-Boardman singularities Σ^{i,j}. The formulas are given as linear combinations of Schur polynomials, and all coefficients are nonnegative.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The Thom-Boardman symbol was first introduced by Thom in 1956 to classify singularities of differentiable maps. It was later generalized by Boardman to a more general setting. Although the Thom-Boardman symbol is realized by a sequence of non-increasing, nonnegative integers, to compute those numbers is, in general, extremely difficult. In the case of polynomial multiplication maps, Robert Varley conjectured that computing the Thom-Boardman symbol for polynomial multiplication reduces to computing the successive quotients and remainders for the Euclidean algorithm applied to the degrees of the…
It is well known that Thom-Boardman symbols are realized by non-increasing sequences of nonnegative integers. A natural question is whether the converse is also true. In this paper we answer this question affirmatively, that is, for any non-increasing sequence of nonnegative integers, there is a map-germ with the prescribed sequence as its Thom-Boardman symbol.
We generalise to the equivariant case a result of J. Denef and F. Loeser about trigonometric sums on tori; on the other hand, we study the Thom-Boardman stratification associated to the multiplication of global sections of line bundles on a curve. We prove a subtle inequaliity about the dimensions of these strata. Our motivation comes from the geometric Langlands program. Based on works of W. T. Gan, N. Gurevich, D. Jiang and S. Lysenko, we propose, for the reductive group $G$ of type $\mathrm G_2$, a conjectural construction of the automorphic sheaf whose Arthur parameter is unipotent and sub…
Thom polynomial describes the cohomology class Poincaré dual to the locus of particular singularity of a generic holomorphic map. In this paper we derive a closed formula for the generating function of its coefficients. The method is based on a new construction of the embedding space of punctual Hibert scheme that we call the non-associative Hilbert scheme. The efficiency of the method is demonstrated on explicit computation of a number of Thom polynomials, including those associated with singularities of Thom-Boardman types~$Σ^{i,j}$, $Σ^{2,1,1}$, $Σ^{2,2,1}$, and~$Σ^{2,2,2}$.
Thom polynomials measure how global topology forces singularities. The power of Thom polynomials predestine them to be a useful tool not only in differential topology, but also in algebraic geometry (enumerative geometry, moduli spaces) and algebraic combinatorics. The main obstacle of their widespread application is that only a few, sporadic Thom polynomials have been known explicitly. In this paper we develop a general method for calculating Thom polynomials of contact singularities. Along the way, relations with the equivariant geometry of (punctual, local) Hilbert schemes, and with iterate…
Thom polynomials of singularities express the cohomology classes dual to singularity submanifolds. A stabilization property of Thom polynomials is known classically, namely that trivial unfolding does not change the Thom polynomial. In this paper we show that this is a special case of a product rule. The product rule enables us to calculate the Thom polynomials of singularities if we know the Thom polynomial of the product singularity. As a special case of the product rule we define a formal power series (Thom series, Ts_Q) associated with a commutative, complex, finite dimensional local algeb…
Combining the Kazarian approach to Thom polynomials via classifying spaces of singularities with the Fulton-Lazarsfeld theory of numerical positivity for ample vector bundles, we show that the coefficients of various Schur function expansions of the Thom polynomials of stable and unstable singularities are nonnegative.
Envelopes and evolutes
研究平面曲线的包络线起源可追溯至惠更斯，后由蒙日、达布等人扩展至空间曲线。本文定义了射影空间中线性空间族的包络线，并通过引入垂直性概念定义了投影代数簇的包络线，基于已知的Thom多项式公式验证并推广了Salmon的公式，发现新的结果。
We describe the positivity of Thom polynomials of singularities of maps, Lagrangian Thom polynomials and Legendrian Thom polynomials. We show that these positivities come from Schubert calculus.
Combining the "method of restriction equations" of Rimányi et al. with the techniques of symmetric functions, we establish the Schur function expansions of the Thom polynomials for the Morin singularities $A_3: ({\bf C}^{\bullet},0)\to ({\bf C}^{\bullet + k},0)$ for any nonnegative integer $k$.
Thom (residual) polynomials in characteristic classes are used in the analysis of geometry of functional spaces. They serve as a tool in description of classes Poincaré dual to subvarieties of functions of prescribed types. We give explicit universal expressions for residual polynomials in spaces of functions on complex curves having isolated singularities and multisingularities, in terms of few characteristic classes. These expressions lead to a partial explicit description of a stratification of Hurwitz spaces.
We combine recently developed intersection theory for non-reductive geometric invariant theoretic quotients with equivariant localisation to prove a formula for Thom polynomials of Morin singularities. These formulas use only toric combinatorics of certain partition polyhedra, and our new approach circumvents the poorly understood Borel geometry of existing models.
We give the Thom polynomials for the singularities $I_{2,2}$ associated with maps $({\bf C}^{\bullet},0) \to ({\bf C}^{\bullet+k},0)$ with parameter $k\ge 0$. Our computations combine the characterization of Thom polynomials via the ``method of restriction equations'' of Rimanyi et al. with the techniques of Schur functions.
The Green-Griffiths-Lang conjecture says that for every complex projective algebraic variety $X$ of general type there exists a proper algebraic subvariety of $X$ containing all nonconstant entire holomorphic curves $f:\mathbb{C} \to X$. We construct a compactification of the invariant jet differentials bundle over complex manifolds motivated by an algebraic model of Morin singularities and we develop an iterated residue formula using equivariant localisation for tautological integrals over it. We show that the polynomial GGL conjecture for a generic projective hypersurface of degree $\mathrm{…
Thom polynomials for singularities of maps
本文介绍了汤姆多项式理论，用于映射奇点的分类与交理论研究，具有广泛的应用前景。
We investigate the equisingularity question for $1$-parameter deformation families of mixed polynomial functions $f_t(\mathbf{z},\bar{\mathbf{z}})$ from the Newton polygon point of view. We show that if the members $f_t$ of the family satisfy a number of elementary conditions, which can be easily described in terms of the Newton polygon, then the corresponding family of mixed hypersurfaces $f_t^{-1}(0)$ is Whitney equisingular (and hence topologically equisingular) and satisfies the Thom condition.
We show that Thom polynomials of Lagrangian singularities have nonnegative coefficients in the basis consisting of Q-functions. The main tool in the proof is nonnegativity of cone classes for globally generated bundles.
Grothendieck polynomials were introduced by Lascoux and Schützenberger, and they play an important role in K-theoretic Schubert calculus. In this paper, we give a new definition of double stable Grothendieck polynomials based on an iterated residue operation. We illustrate the power of our definition by calculating the Grothendieck expansion of K-theoretic Thom polynomials of $A_2$ singularities. We present the expansion in two versions: one displays its expected stabilization, while the other displays its expected finiteness property.
We develop algebro-combinatorial tools for computing the Thom polynomials for the Morin singularities $A_i(-)$ ($i\ge 0$). The main tool is the function $F^{(i)}_r$ defined as a combination of Schur functions with certain numerical specializations of Schur polynomials as their coefficients. We show that the Thom polynomial ${\cal T}^{A_i}$ for the singularity $A_i$ (any $i$) associated with maps $({\bf C}^{\bullet},0) \to ({\bf C}^{\bullet+k},0)$, with any parameter $k\ge 0$, under the assumption that $Σ^j=\emptyset$ for all $j\ge 2$, is given by $F^{(i)}_{k+1}$. Equivalently, this says that "…
The rationality of the singularities of the $A_n$-loci is the natural question that arises in the papers devoted to the study of the Thom polynomials and $K$-theoretic invariants of the said loci. In this paper we prove that, in general, the $A_2$-loci have singularities worse than rational, and therefore they can not be presented as a GIT quotient of a smooth variety with respect to a reductive group.
We give the Thom polynomials for the singularities I_2,2 and A_3 associated with maps (C^n,0) -> (C^{n+k},0) with parameter k>=0. We give the Schur function expansions of these Thom polynomials. Moreover, for the singularities A_i (with any parameter k >= 0) we analyze the ``first approximation'' F^(i) to the Thom polynomial. Our computations combine the characterization of Thom polynomials via the ``method of restriction equations'' of Rimanyi et al. with the techniques of (super) Schur functions.
In this note we provide a formula for the Tjurina number of a join of isolated hypersurface singularities in separated variables. From this we are able to provide a characterization of isolated hypersurface singularities whose difference between the Milnor and Tjurina numbers is less or equal than two arising as the join of isolated hypersurface singularities in separated variables. Also, we are able to provide new upper bounds for the quotient of Milnor and Tjurina numbers of certain join of isolated hypersurface singularities. Finally, we deduce an upper bound for the quotient of Milnor and …
Thom series in negative relative codimension
本文建立接触函数奇点的Thom级数理论，证明其两项核心性质，阐明三类Thom多项式的关系并完成多类奇点的相关计算，成果将应用于计数几何问题研究。
In this paper we propose a systematic study of Thom polynomials for group actions defined by M. Kazarian. On one hand we show that Thom polynomials are first obstructions for the existence of a section and are connected to several problems of topology, global geometry and enumerative algebraic geometry. On the other hand we describe a way to calculate Thom polynomials: the method of restriction equations. It turned out that though the idea is quite simple the method is very powerful. We reproduced and improved earlier result in several directions (singularities, Schubert calculus, quivers). Ho…
On the reduced Bernstein-Sato polynomial of Thom-Sebastiani singularities
本文给出了 Thom-Sebastiani 奇点约化 Bernstein-Sato 多项式关系的纯代数证明，适用于任意可定义该多项式的设定。
We generalize the notion of Thom polynomials from singularities of maps between two complex manifolds to invariant cones in representations, and collections of vector bundles. We prove that the generalized Thom polynomials, expanded in the products of Schur functions of the bundles, have nonnegative coefficients. For classical Thom polynomials associated with maps of complex manifolds, this gives an extension of our former result for stable singularities to nonnecessary stable ones. We also discuss some related aspects of Thom polynomials, which makes the article expository to some extent.
We discuss computations of the Thom polynomials of singularity classes of maps in the basis of Schur functions. We survey the known results about the bound on the length and a rectangle containment for partitions appearing in such Schur function expansions. We describe several recursions for the coefficients. For some singularities, we give old and new computations of their Thom polynomials.
We give a criterion to test geometric properties such as Whitney equisingularity and Thom's $a_f$ condition for new families of (possibly non-isolated) hypersurface singularities that "behave well" with respect to their Newton diagrams. As an important corollary, we obtain that in such families all members have isomorphic Milnor fibrations.
Hilbert scheme topological invariants of plane curve singularities are identified to framed threefold stable pair invariants. As a result, the conjecture of Oblomkov and Shende on HOMFLY polynomials of links of plane curve singularities is given a Calabi-Yau threefold interpretation. The motivic Donaldson-Thomas theory developed by M. Kontsevich and the third author then yields natural motivic invariants for algebraic knots. This construction is motivated by previous work of V. Shende, C. Vafa and the first author on the large $N$ duality derivation of the above conjecture.
We study Legendrian singularities arising in complex contact geometry. We define a one-parameter family of bases in the ring of Legendrian characteristic classes such that any Legendrian Thom polynomial has nonnegative coefficients when expanded in these bases. The method uses a suitable Lagrange Grassmann bundle on the product of projective spaces. This is an extension of a nonnegativity result for Lagrangian Thom polynomials obtained by the authors previously. For a fixed pecialization, other specializations of the parameter lead to upper bounds for the coefficients of the given basis. One g…
We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom-Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of Jacobian semigroup ideal involving a transversal matroid. For any such ideal we construct a defining Thom-Sebastiani polynomial. On the analytic side, we show that power series with a quasihomogeneous extended Jacobian ideal are strongly Euler homogeneous. Due to a Mather-Yau-type theorem, such power series are determined by their Jacobian ideal up to right equ…
We introduce the restricted local volume of a relatively very ample invertible sheaf as an invariant of equisingularity by determining its change across families. We apply this result to give numerical control of Whitney-Thom (differential) equisingularity for families of isolated complex analytic singularities. The characterization of the vanishing of the local volume gives rise to the class of deficient conormal (dc) singularities. We introduce a notion of generalized smoothability by considering the class of singularities that deform to dc singularities. Using Whitney stratifications and th…
Interpolation characterization of higher Thom polynomials
本文借鉴 Maulik–Okounkov 稳定包络的插值公理，在次数有界框架内构建 SSM 类比，提出仅依靠奇异性对称性计算 SSM-Thom 多项式的新工具，并给出显式示例及几何应用。
Hodge--Tjurina Numbers, Tjurina Spectra, and Thom--Sebastiani Formulas
本文研究孤立超曲面奇点的 Hodge--Tjurina 数与 Tjurina 子谱，建立其与 Hodge 理想和微局部 V-滤过的联系，证明 Thom--Sebastiani 性质成立当且仅当 Tjurina 数乘法性，并讨论谱重构与对称性界。
R. Rimányi defined the incidence class of two singularities X and Y as $[X]|_Y$, the restriction of the Thom polynomial of X to Y. He conjectured that (under mild conditions) the incidence is not zero if and only if Y is in the closure of X. Generalizing this notion we define the incidence class of two orbits X and Y of a representation. We give a sufficient condition (positivity) for Y to have the property that the incidence class $[X]|_Y$ is not zero if and only if Y is in the closure of X for any other orbit X. We show that for many interesting cases, e.g. the quiver representations of Dynk…
Higher order double point formulas via SSM-Thom polynomials
本文通过SSM-Thom多项式研究高阶双点公式，推导出双点位形的修正公式并应用于奇异位形的几何分析。
Signature of the Milnor fiber of parametrized surfaces
针对有限决定全纯芽像这类非孤立复曲面奇点，研究结合复分析与拓扑技术，借助映射芽Thom-Mather理论和浸入相关公式，给出Milnor纤维符号差的代数显式公式，证明其为拓扑不变量并提供算例表。
There exists a well established differential topological theory of singularities of ordinary differential equations. It has mainly studied scalar equations of low order. We propose an extension of the key concepts to arbitrary systems of ordinary or partial differential equations. Furthermore, we show how a combination of this geometric theory with (differential) algebraic tools allows us to make parts of the theory algorithmic. Our three main results are firstly a proof that even in the case of partial differential equations regular points are generic. Secondly, we present an algorithm for th…
Given a polynomial map $ψ:S^m\to \mathbb{R}^k$ with components of degree $d$, we investigate the structure of the semialgebraic set $Z\subseteq S^m$ consisting of those points where $ψ$ and its derivatives satisfy a given list of polynomial equalities and inequalities (we call such a set a "singularity"). Concerning the upper estimate on the topological complexity of a polynomial singularity, we sharpen the classical bound $b(Z)\leq O(d^{m+1})$, proved by Milnor, with \begin{equation}\label{eq:abstract} b(Z)\leq O(d^{m}),\end{equation} which holds for the generic polynomial map. For what conce…
Microlocal Bernstein--Sato polynomials on singular ambient varieties
研究奇异环境簇上函数的微局部伯恩斯坦 - 佐藤多项式，扩展斋藤理论。定义最小指数研究相关奇点与霍奇滤过，得出包括与有理奇点关联等多个主要结果，还给出完全交情形下的有效算法及实现。
Topology of the links of cDV singularities of types $cA_n$ for $n>0$ and $cD_n$ for $n>4$
研究 $cA_n$ 型（$n>0$）和 $cD_n$ 型（$n>4$）cDV 奇点链环拓扑，证明 $cA_n$ 型奇点链环第二整同调群性质，确定 $cD_n$ 型奇点链环第二整同调群秩，还研究加权齐次情形下链环同调群。
Universal polynomials for multi-singularity loci of maps
本文证明了映射多奇点类型的Thom多项式的存在性，解决了长期未决的Thom-Kazarian原理，夯实了映射奇点计数理论基础，可应用于代数几何问题，证明运用了代数几何上同调运算，还关联到代数配边与动机上同调。
An enumerative problem on a variety $V$ is usually solved by reduction to intersection theory in the cohomology of a compactification of $V$. However, if the problem is invariant under a "nice" group action on $V$ (so that $V$ is spherical), then many authors suggested a better home for intersection theory: the direct limit of the cohomology rings of all equivariant compactifications of $V$. We call this limit the affine cohomology of $V$ and construct affine characteristic classes of subvarieties of a complex torus, taking values in the affine cohomology of the torus. This allows us to make t…
Let $f$ be a polynomial in $n$ variables over some number field and $Z$ a subscheme of affine $n$-space. The notion of motivic oscillation index of $f$ at $Z$ was initiated by Cluckers (2008) and Cluckers-Mustaţǎ-Nguyen (2019). In this paper we elaborate on this notion and raise several questions. The first one is stability under base field extension; this question is linked to a deep understanding of the density of non-archimedean local fields over which Igusa's local zeta functions of $f$ has a pole with given real part. The second one is around Igusa's conjecture for exponential sums with b…
We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues with locally free sheaves replaced by coherent ones. The appropriate exotic derived category of coherent matrix factorizations is then identified with the triangulated category of relative singularities, while the similar exotic derived category of locally free matrix factorizations is its full subcategory. The latter category is identified with the kernel o…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。