Paolo Aluffi
We discuss an algorithm computing the push-forward to projective space of several classes associated to a (possibly singular, reducible, nonreduced) projective scheme. For example, the algorithm yields the topological Euler characteristic of the support of a projective scheme $S$, given the homogeneous ideal of $S$. The algorithm has been implemented in Macaulay2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The Lefschetz algebra $L^*(X)$ of a smooth complex projective variety $X$ is the subalgebra of the cohomology algebra of $X$ generated by divisor classes. We construct smooth complex projective varieties whose Lefschetz algebras do not satisfy analogues of the hard Lefschetz theorem and Poincaré duality.
We give an algorithm for computing Segre classes of subschemes of arbitrary projective varieties by computing degrees of a sequence of linear projections. Based on the fact that Segre classes of projective varieties commute with intersections by general effective Cartier divisors, we can compile a system of linear equations which determine the coefficients for the Segre class pushed forward to projective space. The algorithm presented here comes after several others which solve the problem in special cases, where the ambient variety is for instance projective space; to our knowledge, this is t…
We provide a generalization of the algorithm of Eklund-Jost-Peterson for computing Segre classes of closed subschemes of projective k-space. The algorithm is here generalized to computing the Segre classes of closed subschemes of smooth projective toric varieties.
We give evidence for a uniformization-type conjecture, that any algebraic variety can be altered into a variety endowed with a tower of smooth fibrations of relative dimension one.
The Macaulay2 package CharacteristicClasses provides commands for the computation of the topological Euler characteristic, the degrees of the Chern classes and the degrees of the Segre classes of a closed subscheme of complex projective space. The computations can be done both symbolically and numerically, the latter using an interface to Bertini. We provide some background of the implementation and show how to use the package with the help of examples.
We prove that the Gromov--Witten theory (GWT) of a projective bundle can be determined by the Chern classes and the GWT of the base. It completely answers a question raised in a previous paper (arXiv:1607.00740). Its consequences include that the GWT of the blow-up of X at a smooth subvariety Z is uniquely determined by GWT of X, Z plus some topological data.
We show that the Hirzebruch-Milnor class of a projective hypersurface, which gives the difference between the Hirzebruch class and the virtual one, can be calculated by using the Steenbrink spectra of local defining functions of the hypersurface if certain good conditions are satisfied, e.g. in the case of projective hyperplane arrangements, where we can give a more explicit formula. This is a natural continuation of our previous paper on the Hirzebruch-Milnor classes of complete intersections.
We present a localization proof of the fact that the cohomology of the moduli spaces of genus zero stable maps to projective spaces is entirely tautological. In addition, we obtain a description of a Bialynicki-Birula stratification in the context of Gathmann's moduli spaces of maps with prescribed contact order to a fixed hyperplane.
Examples of Hirzebruch-Milnor classes of projective hypersurfaces detecting higher du Bois or rational singularities
本文表明经典 Hirzebruch-Milnor 类仅在特殊情形下能检测射影超曲面的更高 du Bois 或有理奇点，并澄清了作者早期论文中的若干要点。
Projective structures on compact real manifolds are classical objects in real differential geometry. Complex manifolds with a holomorphic projective structure on the other hand form a special class as soon as the dimension is greater than one. In the Kähler Einstein case, projective space, tori and ball quotients are essentially the only examples. They can be described purely in terms of Chern class conditions. We give a complete classification of all projective manifolds carrying a projective structure. The only additional examples are modular abelian families over quaternionic Shimura curves…
In this note we extend the concept height on projective spaces to that of weighted height on weighted projective spaces and show how such a height can be computed. We prove some of the basic properties of the weighted height and show how it can be used to study hyperelliptic curves over Q. Some examples are provided from the weighted moduli space of binary sextics and octavics.
We give a basis for the vector space generated by rational Hodge classes of type (2,2) on the Hilbert square of a projective K3 surface general in its rank, which is a subspace of the singular cohomology ring with rational coefficients: we use Nakajima operators and an algebraic model developed by Lehn and Sorger as main tools. We then obtain a basis of the lattice generated by integral Hodge classes of type (2,2) on the Hilbert square of a projective K3 surface general in its rank: we exploit lattice theory, a theorem by Qin and Wang and a result by Ellingsrud, Göttsche and Lehn.
We study motivic Chern classes of cones. First we show examples of projective cones of smooth curves such that their various $K$-classes (sheaf theoretic, push-forward and motivic) are all different. Then we show connections between the torus equivariant motivic Chern class of a projective variety and of its affine cone, generalizing results on projective Thom polynomials.
We obtain several formulas for the Euclidean distance degree (ED degree) of an arbitrary nonsingular variety in projective space: in terms of Chern and Segre classes, Milnor classes, Chern-Schwartz-MacPherson classes, and an extremely simple formula equating the Euclidean distance degree of X with the Euler characteristic of an open subset of X.
Atiyah and Hirzebruch gave examples ofeven degree torsion classes in the singularcohomology of a smooth complex projective manifold, which arenot Poincaré dual to an algebraiccycle. We notice that the order ofthese classes are small comparedto the dimension of the manifold.However, building upon a construction ofKollàr, one can provide such examples witharbitrary high prime order, the dimension being fixed. This method alsoprovides examples of torsion algebraiccycles, which are non trivial in the Griffiths' groups, and lie in a arbitrary high level of the H.Saito filtration onChow groups.
We construct Bridgeland stability conditions on the derived category of smooth quasi-projective Deligne-Mumford surfaces whose coarse moduli spaces have ADE singularities. This unifies the construction for smooth surfaces and Bridgeland's work on Kleinian singularities. The construction hinges on an orbifold version of the Bogomolov-Gieseker inequality for slope semistable sheaves on the stack, and makes use of the Toën-Hirzebruch-Riemann-Roch theorem.
We prove generating series formulae for suitable twisted characteristic classes of symmetric products of a singular complex quasi-projective variety. More concretely, we study homology Hirzebruch classes for motivic coefficients, as well as for complexes of mixed Hodge modules. As a special case, we obtain a generating series formula for the (intersection) homology Hirzebruch classes of symmetric products. In some cases, the latter yields a similar formula for twisted homology L-classes generalizing results of Hirzebruch-Zagier and Moonen. Our methods also apply to the study of Todd classes of…
We observe that linear relations among Chern-Mather classes of projective varieties are preserved by projective duality. We deduce the existence of an explicit involution on a part of the Chow group of projective space, encoding the effect of duality on Chern-Mather classes. Applications include Plücker formulae, constraints on self-dual varieties, generalizations to singular varieties of classical formulas for the degree of the dual and the dual defect, formulas for the Euclidean distance degree, and computations of Chern-Mather classes and local Euler obstructions for cones.
We derive constraints on the existence of walls for Bridgeland stability conditions for general projective surfaces. We show that in suitable planes of stability conditions the walls are bounded and derive conditions for when the number of walls is globally finite. In examples, we show how to use the explicit conditions to locate walls and sometimes to show that there are no walls at all.
We prove an analogue of the Lefschetz (1,1) Theorem characterizing cohomology classes of Cartier divisors (or equivalently first Chern classes of line bundles) in the second integral cohomology. Let $X$ be a normal complex projective variety. We show that the classes of Cartier divisors in $H^2(X,Z)$ are precisely the classes $x$ such that (i) the image of $x$ in $H^2(X,C)$ (cohomology with complex coefficients) lies in $F^1 H^2(X,C)$ (first level of the Hodge filtration for Deligne's mixed Hodge structure), and (ii) $x$ is Zariski-locally trivial, i.e., there is a covering of $X$ by Zariski o…
The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds
本文通过第二作者发展的阿贝尔范畴枚举不变量理论和墙交叉公式，证明了对于射影复三维流形上的超正曲线类，带后代插入的Pandharipande-Thomas不变量生成函数的理性和极点猜想。
We present an algorithm for the symbolic and numerical computation of the degrees of the Chern-Schwartz-MacPherson classes of a closed subvariety of projective space P^n. As the degree of the top Chern-Schwartz-MacPherson class is the topological Euler characteristic, this also yields a method to compute the topological Euler characteristic of projective varieties. The method is based on Aluffi's symbolic algorithm to compute degrees of Chern-Schwartz-MacPherson classes, a symbolic method to compute degrees of Segre classes, and the regenerative cascade by Hauenstein, Sommese and Wampler. The …
We present a method to compute the degrees of the Segre classes of a subscheme of complex projective space. The method is based on generic residuation and intersection theory. It has been implemented using the software system Macaulay2.
We study the variety of rank $\leq k$ quadrics containing a general projective curve and show that it has the expected dimension in the range $g-d+r\leq 1$. By considering the loci where this expectation is not true, we construct new divisor classes in $\overline{\mathcal{M}}_{g,n}$. We use one of these classes to show that $\overline{\mathcal{M}}_{15,9}$ is of general type.
We characterize integral homology classes of the product of two projective planes which are representable by a subvariety.
Positivity properties of Schur classes
本文将丰富和数值有效向量丛的Schur类正性结果推广到纯代数环境，证明具有Kähler包的射影丛环满足Hodge-Riemann关系，并由此推出拟阵Schur系数非负。
In this paper we consider various notions of positivity for distributions on complex projective manifolds. We start by analyzing distributions having big slope with respect to curve classes, obtaining characterizations of generic projective space bundles in terms of movable curve classes. We then apply this result to investigate algebraicity of leaves of foliations, providing a lower bound for the algebraic rank of a foliation in terms of invariants measuring positivity. We classify foliations attaining this bound, and describe those whose algebraic rank slightly exceeds this bound.
We give improvements of the deformation method for computing the zeta function of a generic projective hypersurface in characteristic~$p$ that either reduce the dependence on~$p$ of the time complexity to $\tilde{O}(p^{1/2})$ or that of the space complexity to $\tilde{O}(\log(p))$ while remaining polynomial in the other input parameters.
Let X --> P^2 be a p-cyclic cover branched over a smooth, connected curve C of degree divisible by p, defined over a separably closed field of prime-to-p characteristic. We show that all (unramified) p-torsion Brauer classes on X that are fixed by Aut(X/P^2) arise as pullbacks of certain Brauer classes on k(P^2) that are unramified away from C and a fixed line L. We completely characterize these Brauer classes on k(P^2) and relate the kernel of the pullback map to the Picard group of X. If p = 2, we give a second construction, which works over any base field of characteristic not 2, that uses …
In this article we provide another method for obtaining explicit formulas yielding counts of secant planes to a projective curve. We formulate the problem in terms of Segre classes of suitable bundles over the symmetric product of the curve and take advantage of the result of Ellingsrud, Göttsche, and Lehn concerning the structure of integrals of polynomials in Chern classes of tautological bundles over Hilbert schemes of points. We use this to set up a recursion starting from the easy to compute case of the projective line.
This paper is devoted to the investigation of selected situations when the computation of projective (and other) equivalences of algebraic varieties can be efficiently solved with the help of finding projective equivalences of finite sets on the projective line. In particular, we design a unifying approach that finds for two algebraic varieties $X,Y$ from special classes an associated set of automorphisms of the projective line (the so called good candidate set) consisting of candidates for the construction of possible mappings $X\rightarrow Y$. The functionality of the designed method is pres…
Stability conditions supported on Lefschetz classes
本文推广C. Li的工作，在莱夫谢茨型簇上构造满足Kontsevich-Soibelman支撑性质的全支撑稳定性条件，覆盖维数≤3的光滑复射影簇及光滑射影环面簇。
We seek to characterize homology classes of Lagrangian projective spaces embedded in irreducible holomorphic-symplectic manifolds, up to the action of the monodromy group. This paper addresses the case of manifolds deformation-equivalent to the Hilbert scheme of length-three subschemes of a K3 surface. The class of the projective space in the cohomology ring has prescribed intersection properties, which translate into Diophantine equations. Possible homology classes correspond to integral points on an explicit elliptic curve; our proof entails showing that the only such point is two-torsion.
We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations can be done efficiently in this setting: decomposing divisors into prime divisors; computing pull-backs and push-forwards of divisors under finite morphisms, and hence Picard and Albanese maps on Jacobians; generating uniformly random divisors and points on Jacobians; computing Frobenius maps and Kummer maps; and finding a basis for the $l$-torsion of the Pic…
We consider the structure of classes of curves on a projective simply connected surface for which fundamental groups of the complements admit free quotients having rank greater than one with irreducible components belonging to a selected subset the effective cone of the surface. In particular we show a finiteness result for such classes if the ranks of free quotients of the fundamental groups with components in the subset of effective cone are sufficiently large.
We prove a Miyaoka-Yau type inequality for uniruled projective varieties.
Given a rational projective parametrization $\cP(\ttt,\sss,\vvv)$ of a rational projective surface $\cS$ we present an algorithm such that, with the exception of a finite set (maybe empty) $\cB$ of projective base points of $\cP$, decomposes the projective parameter plane as $\projdos\setminus \cB=\cup_{k=1}^{\ell} \cSm_k$ such that if $(\ttt_0:\sss_0:\vvv_0)\in \cSm_k$ then $\cP(\ttt_0,\sss_0,\vvv_0)$ is a point of $\cS$ of multiplicity $k$.
Inside a product of projective spaces, we try to understand which Chow classes come from irreducible subvarieties. The answer is closely related to the theory of integer polymatroids. The support of a representable class can be (partially) characterized as some integer point inside a particular polymatroid. If the class is multiplicity-free, we obtain a complete characterization in terms of representable polymatroids. We also generalize some of the results to the case of products of Grassmannians.
Let $X \to S$ be a miniversal family of smooth and projective varieties and D be a fixed triangulated category. We show that the set of points s in S such that the derived category of the fiber X_s at s is equivalent to D is at most countable. We deduce from this that the derived equivalence classes of smooth and projective complex varieties is at most countable.
We obtain a formula for the generating series of (the push-forward under the Hilbert-Chow morphism of) the Hirzebruch homology characteristic classes of the Hilbert schemes of points for a smooth quasi-projective variety of arbitrary pure dimension. This result is based on a geometric construction of a motivic exponentiation generalizing the notion of motivic power structure, as well as on a formula for the generating series of the Hirzebruch homology characteristic classes of symmetric products. We apply the same methods for the calculation of generating series formulae for the Hirzebruch cla…
Nef Hattori classes and products of projective lines
本文研究带特定\boldsymbol{\times}-作用的光滑连通复射影簇，证明若其Hattori线丛为nef，则该簇同构于射影直线的乘积，且以Hirzebruch曲面为例说明仅拓扑假设不足。
Let ${\rm F}$ be a rank-2 semi-stable sheaf on the projective plane, with Chern classes $c_{1}=0,c_{2}=n$. The curve $β_{\rm F}$ of jumping lines of ${\rm F}$, in the dual projective plane, has degree $n$. Let ${\rm M}_{n}$ be the moduli space of equivalence classes of semi-stables sheaves of rank 2 and Chern classes $(0,n)$ on the projective plane and ${\cal C}_{n}$ be the projective space of curves of degree $n$ in the dual projective plane. The Barth morphism $$β: {\rm M}_{n}\longrightarrow{\cal C}_{n}$$ associates the point $β_{\rm F}$ to the class of the sheaf ${\rm F}$. We prove that thi…
Computing the Roots of Twisting Sheaves over the Projective Line arising from Monodromy Representations
本文研究由射影直线上单值表示产生的向量丛在对数联络延拓下的分解问题，通过计算扭曲层的根，给出了 m=2 时所有有限维表示及 m=3 时维数小于 3 的表示的完整分解结果。
Constant coefficient and intersection complex $L$-classes of projective varieties
研究常系数与交复形 $L$-类在射影簇中的关系，证明在一般超曲面情况下，两者差异由Hodge符号决定，且在特定条件下两者相等。
Moduli spaces of semistable pairs on projective Deligne-Mumford stacks
本文把半稳定对模空间构造推广至射影 Deligne–Mumford 栈，研究其形变与障碍理论，并在三维光滑情形定义 PT 不变量。
In previous papers it was shown that the left and right O-module structure of the jet bundles on the projective line differed. In this paper we show that similar statements hold for jet bundles on projective space in any dimension. We also consider some classes associated to jet bundles in the algebraic K-theory of projective space.
Let $X$ be a nonsingular projective $n$-fold $(n\ge 2)$ of Fano or of general type with ample canonical bundle $K_X$ over an algebraic closed field $κ$ of any characteristic. We produce a new method to give a bunch of inequalities in terms of all the Chern classes $c_1, c_2, \cdots, c_n$ by pulling back Schubert classes in the Chow group of Grassmannian under the Gauss map. Moreover, we show that if the characteristic of $κ$ is $0$, then the Chern ratios $(\frac{c_{2,1^{n-2}}}{c_{1^n}}, \frac{c_{2,2,1^{n-4}}}{c_{1^n}}, \cdots, \frac{c_{n}}{c_{1^n}})$ are contained in a convex polyhedron for al…
The cohomology of the Hilbert schemes of points on smooth projective surfaces can be approached both with vertex algebra tools and equivariant tools. Using the first tool, we study the existence and the structure of universal formulas for the Chern classes of the tangent bundle over the Hilbert scheme of points on a projective surface. The second tool leads then to nice generating formulas in the particular case of the Hilbert scheme of points on the affine plane.
The Chern-Schwartz-MacPherson (CSM) and motivic Chern (mC) classes of Schubert cells in a Grassmannian are one parameter deformations of the fundamental classes of the Schubert varieties in cohomology and K-theory respectively. Like the fundamental classes, the deformed classes form a basis for the cohomology and K-theory ring of the Grassmannian. The purpose of this paper is to initiate the study of the structure constants associated to the basis CSM and mC classes in terms of the combinatorics of polynomials. First, we prove formulas for the structure constants of projective spaces that invo…
Let X be a projective scheme; let M and N be two coherent O_X-modules. Given an integer m, we present an algorithm for computing the global extension module Ext^m(X;M,N). In particular, this allows one to compute the sheaf cohomology H^m(X,N) and to construct the sheaf corresponding to an element of the module Ext^1(X;M,N). This algorithm can be implemented using only the computation of Grobner bases ans syzygies, and it has been implemented in the computer algebra system Macaulay2.
We explain how to calculate the correlation function for SYM N=2 SO(3)-gauge QFT with 4 flavors in terms of top Chern classes of the universal bundles over the moduli spaces of rank 2 stable torsion free coherent sheaves with det=-1 on the complex projective plane. We give a direct geometrical description of these moduli spaces, study a 2-dimensional torus action on them, and calculate several initial coefficients of the correlation function via Bott residue formula.
Birational involutions of the real projective plane
研究实射影平面的双射反演分类，发现12种不同类别的反演，与复数域上的4种类别不同，且固定曲线不决定共轭类。
We introduce spectral Hirzebruch-Milnor classes for singular hypersurfaces. These can be identified with Steenbrink spectra in the isolated singularity case, and may be viewed as their global analogues in general. Their definition uses vanishing cycles of mixed Hodge modules and the Todd class transformation. These are compatible with the pushforward by proper morphisms, and the classes can be calculated by using resolutions of singularities. Formulas for Hirzebruch-Milnor classes of projective hypersurfaces in terms of these classes are given in the case where the multiplicity of a generic hy…
We obtain a precise relation between the Chern-Schwartz-MacPherson class of a subvariety of projective space and the Euler characteristics of its general linear sections. In the case of a hypersurface, this leads to simple proofs of formulas of Dimca-Papadima and Huh for the degrees of the polar map of a homogeneous polynomial, extending these formula to any algebraically closed field of characteristic~0, and proving a conjecture of Dolgachev on 'homaloidal' polynomials in the same context. We generalize these formulas to subschemes of higher codimension in projective space. We also describe a…
Given a homogeneous ideal in a polynomial ring over C, we adapt the construction of Newton-Okounkov bodies to obtain a convex subset of Euclidean space such that a suitable integral over this set computes the Segre zeta function of the ideal. That is, we extract the numerical information of the Segre class of a subscheme of projective space from an associated (unbounded) Newton-Okounkov convex set. The result generalizes to arbitrary subschemes of projective space the numerical form of a previously known result for monomial schemes.
Movable curve classes and slope stability on Deligne-Mumford stacks
将光滑射影簇上关于可动曲线类和相干层的斜率稳定性的结果推广到具有射影粗模空间的光滑真DM栈上，并建立了Bogomolov-Gieseker不等式。
We describe a parallel polynomial time algorithm for computing the topological Betti numbers of a smooth complex projective variety $X$. It is the first single exponential time algorithm for computing the Betti numbers of a significant class of complex varieties of arbitrary dimension. Our main theoretical result is that the Castelnuovo-Mumford regularity of the sheaf of differential $p$-forms on $X$ is bounded by $p(em+1)D$, where $e$, $m$, and $D$ are the maximal codimension, dimension, and degree, respectively, of all irreducible components of $X$. It follows that, for a union $V$ of generi…
It is well known that the Hodge conjecture with rational coefficients holds for degree 2n-2 classes on complex projective n-folds. In this paper we study the more precise question if on a rationally connected complex projective n-fold the integral Hodge classes of degree 2n-2 are generated over $\mathbb Z$ by classes of curves. We combine techniques from the theory of singularities of pairs on the one hand and infinitesimal variation of Hodge structures on the other hand to give an affirmative answer to this question for a large class of manifolds including Fano fourfolds. In the last case, on…
Pseudo-effective classes on projective irreducible holomorphic symplectic manifolds
本文将Kovács关于K3曲面曲线锥的结果推广至任意射影不可约全纯辛流形，利用双曲几何与Hodge单项式群证明了拟有效锥的结构，并显式构造了具有相同单项式轨道的额外整有效除子，最终导出了本原辛流形存在单直纹除子等推论。
A general method of computing cohomology groups of the space of nonsingular algebraic hypersurfaces of degree $d$ in $CP^n$ is described. Using this method, rational cohomology groups of such spaces with $n=2, d \le 4$ and $n=3=d$ are calculated.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。