arXiv subjects

Eduardo Cattani

Publications and source records attributed to Eduardo Cattani.

18 recordsLinked to original sources

arXiv2022

Non-splitting flags, Iterated Circuits, $\underline{\mathbf σ}$-matrices and Cayley configurations

We explore four approaches to the question of defectivity for a complex projective toric variety $X_A$ associated with an integral configuration $A$. The explicit tropicalization of the dual variety $X_A^\vee$ due to Dickenstein, Feichtner, and Sturmfels allows for the computation of the defect in terms of an affine combinatorial invariant $ρ(A)$. We express $ρ(A)$ in terms of affine invariants $ι(A)$ associated to Esterov's iterated circuits and $λ(A)$, an invariant defined by Curran and Cattani in terms of a Gale dual of $A$. Thus we obtain formulae for the dual defect in terms of iterated circuits and Gale duals. An alternative expression for the dual defect of $X_A$ is given by Furukawa-Ito in terms of Cayley decompositions of $A$. We give a Gale dual interpretation of these decompositions and apply it to the study of defective configurations.

math.AG↗

arXiv2011

Mixed Discriminants

The mixed discriminant of n Laurent polynomials in n variables is the irreducible polynomial in the coefficients which vanishes whenever two of the roots coincide. The Cayley trick expresses the mixed discriminant as an A-discriminant. We show that the degree of the mixed discriminant is a piecewise linear function in the Plucker coordinates of a mixed Grassmannian. An explicit degree formula is given for the case of plane curves.

math.AG↗

arXiv2009

The structure of bivariate rational hypergeometric functions

We describe the structure of all codimension-two lattice configurations $A$ which admit a stable rational $A$-hypergeometric function, that is a rational function $F$ all whose partial derivatives are non zero, and which is a solution of the $A$-hypergeometric system of partial differential equations defined by Gel'fand, Kapranov and Zelevinsky. We show, moreover, that all stable rational $A$-hypergeometric functions may be described by toric residues and apply our results to study the rationality of bivariate series whose coefficients are quotients of factorials of linear forms.

math.AG↗

arXiv2008

Infinitesimal Variations of Hodge Structure at Infinity

By analyzing the local and infinitesimal behavior of degenerating polarized variations of Hodge structure the notion of infinitesimal variation of Hodge structure at infinity is introduced. It is shown that all such structures can be integrated to polarized variations of Hodge structure and that, conversely, all are limits of infinitesimal variations of Hodge structure (IVHS) at finite points. As an illustration of the rich information encoded in this new structure, some instances of the maximal dimension problem for this type of infinitesimal variation are presented and contrasted with the "classical" case of IVHS at finite points.

math.AG↗

arXiv2008

Mixed Lefschetz Theorems and Hodge-Riemann Bilinear Relations

Statements analogous to the Hard Lefschetz Theorem (HLT) and the Hodge-Riemann bilinear relations (HRR) hold in a variety of contexts: they impose restrictions on the cohomology algebra of a smooth compact Kähler manifold or on the intersection cohomology of a projective toric variety; they restrict the local monodromy of a polarized variation of Hodge structure; they impose conditions on the possible $f$-vectors of convex polytopes. While the statements of these theorems depend on the choice of a Kähler class, or its analog, there is usually a cone of possible Kähler classes. It is then natural to ask whether the HLT and HRR remain true in a mixed context. In this note we present a unified approach to proving the mixed HLT and HRR, generalizing the previously known results, and proving it in new cases such as the intersection cohomology of non-rational polytopes.

math.AG↗

arXiv2006

Counting Solutions to Binomial Complete Intersections

We study the problem of counting the total number of affine solutions of a system of n binomials in n variables over an algebraically closed field of characteristic zero. We show that we may decide in polynomial time if that number is finite. We give a combinatorial formula for computing the total number of affine solutions (with or without multiplicity) from which we deduce that this counting problem is #P-complete. We discuss special cases in which this formula may be computed in polynomial time; in particular, this is true for generic exponent vectors.

math.AC↗

arXiv2006

Restriction of A-Discriminants and Dual Defect Toric Varieties

We study the $A$-discriminant of toric varieties. We reduce its computation to the case of irreducible configurations and describe its behavior under specialization of some of the variables to zero. We prove a Gale dual characterization of dual defect toric varieties and deduce from it the classsification of such varieties in codimension less than or equal to four. This classification motivates a decomposition theorem which yields a sufficient condition for a toric variety to be dual defect. For codimension less than or equal to four, this condition is also necessary and we expect this to be the case in general.

math.AG↗

arXiv2005

Complete intersections in toric ideals

We present examples which show that in dimension higher than one or codimension higher than two, there exist toric ideals I_A such that no binomial ideal contained in I_A and of the same dimension is a complete intersection. This result has important implications in sparse elimination theory and in the study of the Horn system of partial differential equations.

math.AC↗

arXiv2003

Frobenius Modules and Hodge Asymptotics

We exhibit a direct correspondence between the potential defining the H^{1,1} small quantum module structure on the cohomology of a Calabi-Yau manifold and the asymptotic data of the A-model variation of Hodge structure. This is done in the abstract context of polarized variations of Hodge structure and Frobenius modules.

math.AG↗

arXiv2003

Balanced Configurations of Lattice Vectors and GKZ-rational Toric Fourfolds in P^6

We introduce a notion of balanced configurations of vectors. This is motivated by the study of rational A-hypergeometric functions in the sense of Gelfand, Kapranov and Zelevinsky. We classify balanced configurations of seven plane vectors up to GL(2,R) equivalence and deduce that the only gkz-rational toric four-folds in complex projective space P^6 are those varieties associated with an essential Cayley configuration. In this case, we study a suitable hyperplane arrangement and show that all rational A-hypergeometric functions may be described in terms of toric residues.

math.CO↗

arXiv2000

Asymptotic Hodge theory and quantum products

Assuming suitable convergence properties for the Gromov-Witten potential of a Calabi-Yau manifold $X$ one may construct a polarized variation of Hodge structure over the complexified Kähler cone of $X$. In this paper we show that, in the case of fourfolds, there is a correspondence between ``quantum potentials'' and polarized variations of Hodge structures that degenerate to a maximally unipotent boundary point. Under this correspondence, the WDVV equations are seen to be equivalent to the Griffiths' trasversality property of a variation of Hodge structure.

math.AG↗

arXiv2000

Binomial Residues

A binomial residue is a rational function defined by a hypergeometric integral whose kernel is singular along binomial divisors. Binomial residues provide an integral representation for rational solutions of A-hypergeometric systems of Lawrence type. The space of binomial residues of a given degree, modulo those which are polynomial in some variable, has dimension equal to the Euler characteristic of the matroid associated with A.

math.AG↗

arXiv1999

Rational Hypergeometric Functions

Multivariate hypergeometric functions associated with toric varieties were introduced by Gel'fand, Kapranov and Zelevinsky. Singularities of such functions are discriminants, that is, divisors projectively dual to torus orbit closures. We show that most of these potential denominators never appear in rational hypergeometric functions. We conjecture that the denominator of any rational hypergeometric function is a product of resultants, that is, a product of special discriminants arising from Cayley configurations. This conjecture is proved for toric hypersurfaces and for toric varieties of dimension at most three. Toric residues are applied to show that every toric resultant appears in the denominator of some rational hypergeometric function.

math.AG↗

arXiv1998

The A-hypergeometric System Associated with a Monomial Curve

We make a detailed analysis of the A-hypergeometric system (or GKZ system) associated with a monomial curve and integral, hence resonant, exponents. We characterize the Laurent polynomial solutions and show that these are the only rational solutions. We also show that for any exponent, there are at most two linearly independent Laurent solutions, and that the upper bound is reached if and only if the curve is not arithmetically Cohen--Macaulay. We then construct, for all integral parameters, a basis of local solutions in terms of the roots of the generic univariate polynomial associated with A. We determine the holonomic rank r for all integral exponents and show that it is constantly equal to the degree d of X if and only if X is arithmetically Cohen-Macaulay. Otherwise there is at least one exponent for which r = d + 1.

math.AG↗

arXiv1997

Residues and Resultants

Resultants, Jacobians and residues are basic invariants of multivariate polynomial systems. We examine their interrelations in the context of toric geometry. The global residue in the torus, studied by Khovanskii, is the sum over local Grothendieck residues at the zeros of $n$ Laurent polynomials in $n$ variables. Cox introduced the related notion of the toric residue relative to $n+1$ divisors on an $n$-dimensional toric variety. We establish denominator formulas in terms of sparse resultants for both the toric residue and the global residue in the torus. A byproduct is a determinantal formula for resultants based on Jacobians.

alg-geom↗

arXiv1995

Residues in Toric Varieties

We study residues on a complete toric variety X, which are defined in terms of the homogeneous coordinate ring of X. We first prove a global transformation law for toric residues. When the fan of the toric variety has a simplicial cone of maximal dimension, we can produce an element with toric residue equal to 1. We also show that in certain situations, the toric residue is an isomorphism on an appropriate graded piece of the quotient ring. When X is simplicial, we prove that the toric residue is a sum of local residues. In the case of equal degrees, we also show how to represent X as a quotient (Y-{0})/C* such that the toric residue becomes the local residue at 0 in Y.

alg-geom↗

arXiv1994

Computing Multidimensional Residues

Given n polynomials in n variables with a finite number of complex roots, for any of their roots there is a local residue operator assigning a complex number to any polynomial. This is an algebraic, but generally not rational, function of the coefficients. On the other hand, the global residue, which is the sum of the local residues over all roots, depends rationally on the coefficients. This paper deals with symbolic algorithms for evaluating that rational function. Under the assumption that the deformation to the initial forms is flat, for some choice of weights on the variables, we express the global residue as a single residue integral with respect to the initial forms. When the input equations are a Groebner basis, this leads to an efficient series expansion algorithm for global residues, and to a vanishing theorem with respect to the corresponding cone in the Groebner fan. The global residue of a polynomial equals the highest coefficient of its (Groebner basis) normal form, and, conversely, the entire normal form is expressed in terms of global residues. This yields a method for evaluating traces over zero-dimensional complete intersections. Applications include the counting of real roots, the computation of the degree of a polynomial map, and the evaluation of multivariate symmetric functions. All algorithms are illustrated for an explicit system in three variables.

alg-geom↗

arXiv1994

On the Locus of Hodge Classes

Let $f: X \rightarrow S$ be a family of non singular projective varieties parametrized by a complex algebraic variety $S$. Fix $s \in S$, an integer $p$, and a class $h \in {\rm H}^{2p}(X_s,\Z)$ of Hodge type $(p,p)$. We show that the locus, on $S$, where $h$ remains of type $(p,p)$ is algebraic. This result, which in the geometric case would follow from the rational Hodge conjecture, is obtained in the setting of variations of Hodge structures.

alg-geom↗