Researcher profile

Paolo Aluffi

Paolo Aluffi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
39works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

39 published item(s)

preprint2021arXiv

Segre classes as integrals over polytopes

We express the Segre class of a monomial scheme -- or, more generally, a scheme monomially supported on a set of divisors cutting out complete intersections -- in terms of an integral computed over an associated body in euclidean space. The formula is in the spirit of the classical Bernstein-Kouchnirenko theorem computing intersection numbers of equivariant divisors in a torus in terms of mixed volumes, but deals with the more refined intersection-theoretic invariants given by Segre classes, and holds in the less restrictive context of `r.c. monomial schemes'.

preprint2019arXiv

Pfaffian integrals and invariants of singular varieties

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.

preprint2018arXiv

Newton-Okounkov bodies and Segre classes

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.

preprint2013arXiv

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.

preprint2012arXiv

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].

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

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'.

preprint2010arXiv

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.

preprint2009arXiv

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.

preprint2009arXiv

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".

preprint2009arXiv

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

Every complex plane curve C determines a subscheme S of the $P^8$ of 3x3 matrices, whose projective normal cone (PNC) captures subtle invariants of C. In "Limits of PGL(3)-translates of plane curves, I" we obtain a set-theoretic description of the PNC and thereby we determine all possible limits of families of plane curves whose general element is isomorphic to C. The main result of this article is the determination of the PNC as a cycle; this is an essential ingredient in our computation in "Linear orbits of arbitrary plane curves" of the degree of the PGL(3)-orbit closure of an arbitrary plane curve, an invariant of natural enumerative significance.

preprint2009arXiv

Parametric Feynman integrals and determinant hypersurfaces

The purpose of this paper is to show that, under certain combinatorial conditions on the graph, parametric Feynman integrals can be realized as periods on the complement of the determinant hypersurface in an affine space depending on the number of loops of the Feynman graph. The question of whether the Feynman integrals are periods of mixed Tate motives can then be reformulated (modulo divergences) as a question on a relative cohomology being a realization of a mixed Tate motive. This is the cohomology of the pair of the determinant hypersurface complement and a normal crossings divisor depending only on the number of loops and the genus of the graph. We show explicitly that this relative cohomology is a realization of a mixed Tate motive in the case of three loops and we give alternative formulations of the main question in the general case, by describing the locus of intersection of the divisor with the determinant hypersurface complement in terms of intersections of unions of Schubert cells in flag varieties. We also discuss different methods of regularization aimed at removing the divergences of the Feynman integral.

preprint2008arXiv

Algebro-geometric Feynman rules

We give a general procedure to construct algebro-geometric Feynman rules, that is, characters of the Connes-Kreimer Hopf algebra of Feynman graphs that factor through a Grothendieck ring of immersed conical varieties, via the class of the complement of the affine graph hypersurface. In particular, this maps to the usual Grothendieck ring of varieties, defining motivic Feynman rules. We also construct an algebro-geometric Feynman rule with values in a polynomial ring, which does not factor through the usual Grothendieck ring, and which is defined in terms of characteristic classes of singular varieties. This invariant recovers, as a special value, the Euler characteristic of the projective graph hypersurface complement. The main result underlying the construction of this invariant is a formula for the characteristic classes of the join of two projective varieties. We discuss the BPHZ renormalization procedure in this algebro-geometric context and some motivic zeta functions arising from the partition functions associated to motivic Feynman rules.

preprint2008arXiv

Chern classes of blow-ups

We extend the classical formula of Porteous for blowing-up Chern classes to the case of blow-ups of possibly singular varieties along regularly embedded centers. The proof of this generalization is perhaps conceptually simpler than the standard argument for the nonsingular case, involving Riemann-Roch without denominators. The new approach relies on the explicit computation of an ideal, and a mild generalization of the well-known formula for the normal bundle of a proper transform. We also discuss alternative, very short proofs of the standard formula in some cases: an approach relying on the theory of Chern-Schwartz-MacPherson classes (working in characteristic 0), and an argument reducing the formula to a straightforward computation of Chern classes for sheaves of differential 1-forms with logarithmic poles (when the center of the blow-up is a complete intersection).

preprint2008arXiv

Feynman motives of banana graphs

We consider the infinite family of Feynman graphs known as the "banana graphs" and compute explicitly the classes of the corresponding graph hypersurfaces in the Grothendieck ring of varieties as well as their Chern-Schwartz-MacPherson classes, using the classical Cremona transformation and the dual graph, and a blowup formula for characteristic classes. We outline the interesting similarities between these operations and we give formulae for cones obtained by simple operations on graphs. We formulate a positivity conjecture for characteristic classes of graph hypersurfaces and discuss briefly the effect of passing to noncommutative spacetime.

preprint2007arXiv

Chern class identities from tadpole matching in type IIB and F-theory

In light of Sen's weak coupling limit of F-theory as a type IIB orientifold, the compatibility of the tadpole conditions leads to a non-trivial identity relating the Euler characteristics of an elliptically fibered Calabi-Yau fourfold and of certain related surfaces. We present the physical argument leading to the identity, and a mathematical derivation of a Chern class identity which confirms it, after taking into account singularities of the relevant loci. This identity of Chern classes holds in arbitrary dimension, and for varieties that are not necessarily Calabi-Yau. Singularities are essential in both the physics and the mathematics arguments: the tadpole relation may be interpreted as an identity involving stringy invariants of a singular hypersurface, and corrections for the presence of pinch-points. The mathematical discussion is streamlined by the use of Chern-Schwartz-MacPherson classes of singular varieties. We also show how the main identity may be obtained by applying `Verdier specialization' to suitable constructible functions.

preprint2006arXiv

Classes de Chern des varietes singulieres, revisitees

We introduce a notion of `proChow group' of varieties, agreeing with the notion of Chow group for complete varieties and covariantly functorial with respect to arbitrary morphisms. We construct a natural transformation from the functor of constructible functions to the proChow functor, extending MacPherson's natural transformation. We illustrate the result by providing very short proofs of (a generalization of) two well-known facts on Chern-Schwartz-MacPherson classes: Kwiecinski's product formula, and the Ehlers-Barthel-Brasselet-Fieseler computation of Chern-Schwartz-MacPherson classes of toric varieties.

preprint2006arXiv

Limits of Chow groups, and a new construction of Chern-Schwartz-MacPherson classes

We define an `enriched' notion of Chow groups for algebraic varieties, agreeing with the conventional notion for complete varieties, but enjoying a functorial push-forward for arbitrary maps. This tool allows us to glue intersection-theoretic information across elements of a stratification of a variety; we illustrate this operation by giving a direct construction of Chern-Schwartz-MacPherson classes of singular varieties, providing a new proof of an old (and long since settled) conjecture of Deligne and Grothendieck.

preprint2005arXiv

Celestial integration, stringy invariants, and Chern-Schwartz-MacPherson classes

We introduce a formal integral on the system of varieties mapping properly and birationally to a given one, with value in an associated Chow group. Applications include comparisons of Chern numbers of birational varieties, new birational invariants, `stringy' Chern classes, and a `celestial' zeta function specializing to the topological zeta function. In its simplest manifestation, the integral gives a new expression for Chern-Schwartz-MacPherson classes of possibly singular varieties, placing them into a context in which a `change of variable' formula holds. The formalism has points of contact with motivic integration.

preprint2004arXiv

Chern classes of birational varieties

A theorem of Batyrev's asserts that if two nonsingular varieties V,W are birational, and their canonical bundles agree after pull-back to a resolution of indeterminacies of a birational map between them, then the Betti numbers of V and W coincide. We prove that, in the same hypotheses, the total homology Chern classes of V and W are push-forwards of the same class in the Chow group of the resolution. For example, it follows that the push-forward of the total Chern class of a crepant resolution of a singular variety is independent of the resolution.

preprint2004arXiv

Modification systems and integration in their Chow groups

We introduce a notion of integration on the category of proper birational maps to a given variety $X$, with value in an associated Chow group. Applications include new birational invariants; comparison results for Chern classes and numbers of nonsingular birational varieties; `stringy' Chern classes of singular varieties; and a zeta function specializing to the topological zeta function. In its simplest manifestation, the integral gives a new expression for Chern-Schwartz-MacPherson classes of possibly singular varieties, placing them into a context in which a `change-of-variable' formula holds. v2: References added, and overly optimistic claims concerning non log-terminal singularities expunged.

preprint2003arXiv

Shadows of blow-up algebras

We study different notions of blow-up of a scheme X along a subscheme Y, depending on the datum of an embedding of X into an ambient scheme. The two extremes in this theory are the ordinary blow-up, corresponding to the identity, and the `quasi-symmetric blow-up', corresponding to an embedding into a nonsingular variety M. We prove that this latter blow-up is intrinsic of Y and X, and is universal with respect to the requirement of being embedded as a subscheme of the ordinary blow-up of some ambient space along Y. We consider these notions in the context of the theory of characteristic classes of singular varieties. We prove that if X is a hypersurface in a nonsingular variety and Y is its `singularity subscheme', these two extremes embody respectively the conormal and characteristic cycles of X. Consequently, the first carries the essential information computing Chern-Mather classes, and the second is likewise a carrier for Chern-Schwartz-MacPherson classes. In our approach, these classes are obtained from Segre class-like invariants, in precisely the same way as other intrinsic characteristic classes such as those proposed by William Fulton and by W. Fulton and Kent Johnson. We also identify a condition on the singularities of a hypersurface under which the quasi-symmetric blow-up is simply the linear fiber space associated with a coherent sheaf.

preprint2002arXiv

Inclusion-exclusion and Segre classes, II

Considerations based on the known relation between different characteristic classes for singular hypersufaces suggest that a form of the `inclusion-exclusion' principle may hold for Segre classes. We formulate and prove such a principle for a notion closely related to Segre classes. This is used to provide a simple computation of the classes introduced in math.AG/0203122, in certain special (but representative) cases.

preprint2001arXiv

Interpolation of characteristic classes of singular hypersurfaces

We show that the Chern-Schwartz-MacPherson class of a hypersurface X in a nonsingular variety M `interpolates' between two other notions of characteristic classes for singular varieties, provided that the singular locus of X is smooth and that certain numerical invariants of X are constant along this locus. This allows us to define a lift of the Chern-Schwartz-MacPherson class of such `nice' hypersurfaces to intersection homology. As another application, the interpolation result leads to an explicit formula for the Chern-Schwartz-MacPherson class of X in terms of its polar classes.

preprint1999arXiv

Linear orbits of arbitrary plane curves

The `linear orbit' of a plane curve of degree $d$ is its orbit in $¶^{d(d+3)/2}$ under the natural action of $\PGL(3)$. In this paper we obtain an algorithm computing the degree of the closure of the linear orbit of an arbitrary plane curve, and give explicit formulas for plane curves with irreducible singularities. The main tool is an intersection@-theoretic study of the projective normal cone of a scheme determined by the curve in the projective space $¶^8$ of $3\times 3$ matrices; this expresses the degree of the orbit closure in terms of the degrees of suitable loci related to the limits of the curve. These limits, and the degrees of the corresponding loci, have been established in previous work.

preprint1999arXiv

Plane curves with small linear orbits I

The `linear orbit' of a plane curve of degree d is its orbit in the projective space of dimension d(d+3)/2 parametrizing such curves under the natural action of PGL(3). In this paper we compute the degree of the closure of the linear orbits of most curves with positive dimensional stabilizers. Our tool is a nonsingular variety dominating the orbit closure, which we construct by a blow-up sequence mirroring the sequence yielding an embedded resolution of the curve. The results given here will serve as an ingredient in the computation of the analogous information for arbitrary plane curves. Linear orbits of smooth plane curves are studied in [A-F1].

preprint1999arXiv

Plane curves with small linear orbits II

The `linear orbit' of a plane curve of degree d is its orbit in P^{d(d+3)/2} under the natural action of PGL(3). We classify curves with positive dimensional stabilizer, and we compute the degree of the closure of the linear orbits of curves supported on unions of lines. Together with the results of math.AG/9805020, this encompasses the enumerative geometry of all plane curves with small linear orbit. This information will serve elsewhere as an ingredient in the computation of the degree of the orbit closure of an arbitrary plane curve.

preprint1998arXiv

Weighted Chern-Mather classes and Milnor classes of hypersurfaces

We introduce a class extending the notion of Chern-Mather class to possibly nonreduced schemes, and use it to express the difference between Schwartz-MacPherson's Chern class and the class of the virtual tangent bundle of a singular hypersurface of a nonsingular variety. Applications include constraints on the possible singularities of a hypersurface and on contacts of nonsingular hypersurfaces, and multiplicity computations.

preprint1994arXiv

A blow-up construction and graph coloring

Given a graph G (or more generally a matroid embedded in a projective space), we construct a sequence of varieties whose geometry encodes combinatorial information about G. For example, the chromatic polynomial of G (giving at each m>0 the number of colorings of G with m colors, such that no adjacent vertices are assigned the same color) can be computed as an intersection product between certain classes on these varieties, and other information such as Crapo's invariant find a very natural geometric counterpart. The note presents this construction, and gives `geometric' proofs of a number of standard combinatorial results on the chromatic polynomial.

preprint1992arXiv

Linear orbits of d-tuples of points in P^1

The group PGL(2) of linear transformations of the projective line acts naturally on the d-dimensional projective space P^d parametrizing configurations (`d-tuples') of points on the line. In this note we are concerned with the orbits of this action of PGL(2) on P^d. The closure of each orbit is a projective subvariety of P^d of which we determine the degree, the `boundary'--i.e., the complement of an orbit in its closure--, and the multiplicity at points of the boundary. These results are used to provide a complete classification of the non-singular orbit closures, and criteria for an orbit closure to be non-singular in codimension 1.

preprint1992arXiv

Linear orbits of smooth plane curves

The group PGL(3) of linear transformations of the projective plane acts naturally on the projective space parametrizing curves of a given degree. In this note we begin the study of the orbits of smooth curves under this action: we construct a resolution of the closure of the orbit of a given curve, and we use it to compute its degree. This turns out to depend only on the degree of the curve, the order of its automorphism group, and on the number and type of its flexes. This paper will appear on the Journal of Algebraic Geometry.