Commutative Algebra

AG-2026.02-661

math.AC

Partial fraction decompositions on hyperplane arrangements

Claire de Korte, Teresa Yu

We study partial fraction decompositions (PFDs) in several variables using tools from commutative algebra. We give criteria for when a rational function with poles on a hyperplane arrangement has a desirable PFD. Our criteria are obtained by examining the primary decomposition of ideals coming from hyperplane arrangements. We then present an algorithm for finding a PFD that satisfies properties desired for simplifying the calculation of scattering amplitudes. We demonstrate the effectiveness of this algorithm by computing practical examples coming from Feynman integrals.

AG-2024.11-777

math.AC

Gram Matrices for Isotropic Vectors

Yassine El Maazouz, Bernd Sturmfels, Svala Sverrisdóttir

We investigate determinantal varieties for symmetric matrices that have zero blocks along the main diagonal. In theoretical physics, these arise as Gram matrices for kinematic variables in quantum field theories. We study the ideals of relations among functions in the matrix entries that serve as building blocks for conformal correlators.

AG-2024.07-690

math.AC

A combinatorial formula for the coefficients of multidimensional resultants

Abdelmalek Abdesselam

The classical multidimensional resultant can be defined as the, suitably normalized, generator of a projective elimination ideal in the ring of universal coefficients. This is the approach via the so-called inertia forms or Trägheitsformen. Using clever substitutions, Mertens and Hurwitz gave a criterion, for recognizing such inertia forms, which amounts to a linear system for their numerical coefficients. In this article we explicitly solve this linear system. We do so by identifying a subset of the available equations which forms a unitriangular system. The key notion we use is that of transversal, i.e., a selection of a monomial term in each of the homogeneous polynomials at hand. We need two such transversals which are disjoint and extremal, in the sense that they relate to extremizers of a, possibly new, determinantal inequality for differences of two substochastic matrices. Thanks to this notion of extremal pair of transversals, we derive an explicit formula for the coefficients of general multidimensional resultants, as a sum of terms made of a sign times a product of multinomial coefficients, thereby explicitly showing they are integer-valued. As an application of our formula, we recover Sombra's bound on the height of resultants, in the classical case.

AG-2015.02-1329

math.AC

Matrix Factorizations for Complete Intersections and Minimal Free Resolutions

David Eisenbud, Irena Peeva

Matrix factorizations of a hypersurface yield a description of the asymptotic structure of minimal free resolutions over the hypersurface. We introduce a new concept of matrix factorizations for complete intersections that allows us to describe the asymptotic structure of minimal free resolutions over complete intersections.

AG-2010.12-2219

math.AC

Symplectic polynomial invariants of one or two matrices of small size

Dragomir Z. Djokovic

The algebra of holomorphic polynomial Sp_{2n}-invariants of k complex 2n by 2n matrices (under diagonal conjugation action) is generated by the traces of words in these matrices and their symplectic adjoints. No concrete minimal generating set is known for this algebra apart from the cases n=1, when Sp_2=SL_2, and n=2, k=1. We construct such sets in the cases n=k=2 and n=3, k=1. In the latter case we also construct a homogeneous system of parameters and a Hironaka decomposition of the algebra.