Searcharxiv⌕ Search

arXiv subjects

Paolo Aluffi

Publications and source records attributed to Paolo Aluffi.

At least 37 records · Page 2Linked to original sources
arXiv2016

Projective duality and a Chern-Mather involution

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.

math.AG↗
arXiv2015

Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds

We obtain an algorithm computing the Chern-Schwartz-MacPherson (CSM) classes of Schubert cells in a generalized flag manifold G/B. In analogy to how the ordinary divided difference operators act on Schubert classes, each CSM class of a Schubert class is obtained by applying certain Demazure-Lusztig type operators to the CSM class of a cell of dimension one less. These operators define a representation of the Weyl group on the homology of G/B. By functoriality, we deduce algorithmic expressions for CSM classes of Schubert cells in any flag manifold G/P. We conjecture that the CSM classes of Schubert cells are an effective combination of (homology) Schubert classes, and prove that this is the case in several classes of examples. We also extend our results and conjectures to the torus equivariant setting.

math.AG↗
arXiv2014

Degrees of projections of rank loci

We provide formulas for the degrees of the projections of the locus of square matrices with given rank from linear spaces spanned by a choice of matrix entries. The motivation for these computations stem from applications to `matrix rigidity'; we also view them as an excellent source of examples to test methods in intersection theory, particularly computations of Segre classes. Our results are generally expressed in terms of intersection numbers in Grassmannians, which can be computed explicitly in many cases. We observe that, surprisingly (to us), these degrees appear to match the numbers of Kekulé structures of certain `benzenoid hydrocarbons', and arise in many other contexts with no apparent direct connection to the enumerative geometry of rank conditions.

math.AG↗
arXiv2014

Chern classes of splayed intersections

We generalize the Chern class relation for the transversal intersection of two nonsingular varieties to a relation for possibly singular varieties, under a 'splayedness' assumption. The relation is shown to hold for both the Chern-Schwartz-MacPherson class and the Chern-Fulton class. The main tool is a formula for Segre classes of splayed subschemes. We also discuss the Chern class relation under the assumption that one of the varieties is a general very ample divisor.

math.AG↗
arXiv2013

Multidegrees of monomial rational maps

We prove a formula for the multidegrees of a rational map defined by generalized monomials on a projective variety, in terms of integrals over an associated Newton region. This formula leads to an expression of the multidegrees as volumes of related polytopes, in the spirit of the classical Bernstein-Kouchnirenko theorem, but extending the scope of these formulas to more general monomial maps. We also determine a condition under which the multidegrees may be computed in terms of the characteristic polynomial of an associated matrix.

math.AG↗
arXiv2013

Segre classes of monomial schemes

We propose an explicit formula for the Segre classes of monomial subschemes of nonsingular varieties, such as schemes defined by monomial ideals in projective space. The Segre class is expressed as a formal integral on a region bounded by the corresponding Newton polyhedron. We prove this formula for monomial ideals in two variables and verify it for some families of examples in any number of variables.

math.AG↗
arXiv2012

Splayed divisors and their Chern classes

We obtain several new characterizations of splayedness for divisors: a Leibniz property for ideals of singularity subschemes, the vanishing of a `splayedness' module, and the requirements that certain natural morphisms of modules and sheaves of logarithmic derivations and logarithmic differentials be isomorphisms. We also consider the effect of splayedness on the Chern classes of sheaves of differential forms with logarithmic poles along splayed divisors, as well as on the Chern-Schwartz-MacPherson classes of the complements of these divisors. A postulated relation between these different notions of Chern class leads to a conjectural identity for Chern-Schwartz-MacPherson classes of splayed divisors and subvarieties, which we are able to verify in several template situations.

math.AG↗
arXiv2012

Euler characteristics of general linear sections and polynomial Chern classes

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 simple approach to a theory of `polynomial Chern classes' for varieties endowed with a morphism to projective space, recovering properties analogous to the Deligne-Grothendieck axioms from basic properties of the Euler characteristic. We prove that the polynomial Chern class defines homomorphisms from suitable relative Grothendieck rings of varieties to Z[t].

math.AG↗
arXiv2012

Verdier specialization via weak factorization

Let X in V be a closed embedding, with V - X nonsingular. We define a constructible function on X, agreeing with Verdier's specialization of the constant function 1 when X is the zero-locus of a function on V. Our definition is given in terms of an embedded resolution of X; the independence on the choice of resolution is obtained as a consequence of the weak factorization theorem of Abramovich et al. The main property of the specialization function is a compatibility with the specialization of the Chern class of the complement V-X. With the definition adopted here, this is an easy consequence of standard intersection theory. It recovers Verdier's result when X is the zero-locus of a function on V. Our definition has a straightforward counterpart in a motivic group. The specialization function and the corresponding Chern class and motivic aspect all have natural `monodromy' decompositions, for for any X in V as above. The definition also yields an expression for Kai Behrend's constructible function when applied to (the singularity subscheme of) the zero-locus of a function on V.

math.AG↗
arXiv2012

Grothendieck classes and Chern classes of hyperplane arrangements

We show that the characteristic polynomial of a hyperplane arrangement can be recovered from the class in the Grothendieck group of varieties of the complement of the arrangement. This gives a quick proof of a theorem of Orlik and Solomon relating the characteristic polynomial with the ranks of the cohomology of the complement of the arrangement. We also show that the characteristic polynomial can be computed from the total Chern class of the complement of the arrangement; this has also been observed by Huh. In the case of free arrangements, we prove that this Chern class agrees with the Chern class of the dual of a bundle of differential forms with logarithmic poles along the hyperplanes in the arrangement; this follows from work of Mustata and Schenck. We conjecture that this relation holds for all free divisors. We give an explicit relation between the characteristic polynomial of an arrangement and the Segre class of its singularity (`Jacobian') subscheme. This gives a variant of a recent result of Wakefield and Yoshinaga, and shows that the Segre class of the singularity subscheme of an arrangement together with the degree of the arrangement determine the ranks of the cohomology of its complement. We also discuss the positivity of the Chern classes of hyperplane arrangements: we give a combinatorial interpretation of this phenomenon, and we discuss the cases of generic and free arrangements.

math.AG↗
arXiv2012

Chern classes of free hypersurface arrangements

The Chern class of the sheaf of logarithmic derivations along a simple normal crossing divisor equals the Chern-Schwartz-MacPherson class of the complement of the divisor. We extend this equality to more general divisors, which are locally analytically isomorphic to free hyperplane arrangements.

math.AG↗
arXiv2011

Chern classes of graph hypersurfaces and deletion-contraction

We study the behavior of the Chern classes of graph hypersurfaces under the operation of deletion-contraction of an edge of the corresponding graph. We obtain an explicit formula when the edge satisfies two technical conditions, and prove that both these conditions hold when the edge is multiple in the graph. This leads to recursions for the Chern classes of graph hypersurfaces for graphs obtained by adding parallel edges to a given (regular) edge. Analogous results for the case of Grothendieck classes of graph hypersurfaces were obtained in previous work. Both Grothendieck classes and Chern classes were used to define `algebro-geometric' Feynman rules. The results in this paper provide further evidence that the polynomial Feynman rule defined in terms of the Chern-Schwartz-MacPherson class of a graph hypersurface reflects closely the combinatorics of the corresponding graph.The key to the proof of the main result is a more general formula for the Chern-Schwartz-MacPherson class of a transversal intersection, which may be of independent interest. We also describe a more geometric approach, using the apparatus of `Verdier specialization'.

math.AG↗
arXiv2011

A motivic approach to phase transitions in Potts models

We describe an approach to the study of phase transitions in Potts models based on an estimate of the complexity of the locus of real zeros of the partition function, computed in terms of the classes in the Grothendieck ring of the affine algebraic varieties defined by the vanishing of the multivariate Tutte polynomial. We give completely explicit calculations for the examples of the chains of linked polygons and of the graphs obtained by replacing the polygons with their dual graphs. These are based on a deletion-contraction formula for the Grothendieck classes and on generating functions for splitting and doubling edges.

math-ph↗
arXiv2010

Graph hypersurfaces and a dichotomy in the Grothendieck ring

The subring of the Grothendieck ring of varieties generated by the graph hypersurfaces of quantum field theory maps to the monoid ring of stable birational equivalence classes of varieties. We show that the image of this map is the copy of Z generated by the class of a point. Thus, the span of the graph hypersurfaces in the Grothendieck ring is nearly killed by setting the Lefschetz motive L to zero, while it is known that graph hypersurfaces generate the Grothendieck ring over a localization of Z[L] in which L becomes invertible. In particular, this shows that the graph hypersurfaces do not generate the Grothendieck ring prior to localization. The same result yields some information on the mixed Hodge structures of graph hypersurfaces, in the form of a constraint on the terms in their Deligne-Hodge polynomials.

math.AG↗
arXiv2009

New Orientifold Weak Coupling Limits in F-theory

We present new explicit constructions of weak coupling limits of F-theory generalizing Sen's construction to elliptic fibrations which are not necessary given in a Weierstrass form. These new constructions allow for an elegant derivation of several brane configurations that do not occur within the original framework of Sen's limit, or which would require complicated geometric tuning or break supersymmetry. Our approach is streamlined by first deriving a simple geometric interpretation of Sen's weak coupling limit. This leads to a natural way of organizing all such limits in terms of transitions from semistable to unstable singular fibers. These constructions provide a new playground for model builders as they enlarge the number of supersymmetric configurations that can be constructed in F-theory. We present several explicit examples for E8, E7 and E6 elliptic fibrations.

hep-th↗
arXiv2009

Feynman motives and deletion-contraction relations

We prove a deletion-contraction formula for motivic Feynman rules given by the classes of the affine graph hypersurface complement in the Grothendieck ring of varieties. We derive explicit recursions and generating series for these motivic Feynman rules under the operation of multiplying edges in a graph and we compare it with similar formulae for the Tutte polynomial of graphs, both being specializations of the same universal recursive relation. We obtain similar recursions for graphs that are chains of polygons and for graphs obtained by replacing an edge by a chain of triangles. We show that the deletion-contraction relation can be lifted to the level of the category of mixed motives in the form of a distinguished triangle, similarly to what happens in categorifications of graph invariants.

math-ph↗
arXiv2009

Limits of PGL(3)-translates of plane curves, I

We classify all possible limits of families of translates of a fixed, arbitrary complex plane curve. We do this by giving a set-theoretic description of the projective normal cone (PNC) of the base scheme of a natural rational map, determined by the curve, from the $P^8$ of 3x3 matrices to the $P^N$ of plane curves of degree $d$. In a sequel to this paper we determine the multiplicities of the components of the PNC. The knowledge of the PNC as a cycle is essential in our computation of the degree of the PGL(3)-orbit closure of an arbitrary plane curve, performed in our earlier paper "Linear orbits of arbitrary plane curves".

math.AG↗