BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Christine Berkesch contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We provide a sharp upper bound on the quotient of the rank of an A-hypergeometric system with a three-dimensional torus action by the normalized volume of A; in this case, the upper bound is two.
The rank of an $A$-hypergeometric $D$-module $M_A(β)$, associated with a full rank $(d\times n)$-matrix $A$ and a vector of parameters $β\in \mathbb{C}^d$, is known to be the normalized volume of $A$, denoted $\mathrm{vol}(A)$, when $β$ lies outside the exceptional arrangement $\mathcal{E}(A)$, an affine subspace arrangement of codimension at least two. If $β\in \mathcal{E}(A)$ is simple, we prove that $d-1$ is a tight upper bound for the ratio $\mathrm{rank}(M_A(β))/\mathrm{vol}(A)$ for any $d\geq 3$. We also prove that the set of parameters $β$ such that this ratio is at least $2$ is an affine subspace arrangement of codimension at least $3$.
We compute the $L$-characteristic cycle of an $A$-hypergeometric system and higher Euler-Koszul homology modules of the toric ring. We also prove upper semicontinuity results about the multiplicities in these cycles and apply our results to analyze the behavior of Gevrey solution spaces of the system.
Syzygies capture intricate geometric properties of a subvariety in projective space. However, when the ambient space is a product of projective spaces or a more general smooth projective toric variety, minimal free resolutions over the Cox ring are too long and contain many geometrically superfluous summands. In this paper, we construct some much shorter free complexes that better encode the geometry.
We consider integrals that generalize both the Mellin transforms of rational functions of the form 1/f and the classical Euler integrals. The domains of integration of our so-called Euler--Mellin integrals are naturally related to the coamoeba of f, and the components of the complement of the closure of the coamoeba give rise to a family of these integrals. After performing an explicit meromorphic continuation of Euler--Mellin integrals, we interpret them as A-hypergeometric functions and discuss their linear independence and relation to Mellin--Barnes integrals.
Boij-Söderberg theory is the study of two cones: the cone of cohomology tables of coherent sheaves over projective space and the cone of standard graded minimal free resolutions over a polynomial ring. Each cone has a simplicial fan structure induced by a partial order on its extremal rays. We provide a new interpretation of these partial orders in terms of the existence of nonzero homomorphisms, for both the general and the equivariant constructions. These results provide new insights into the families of sheaves and modules at the heart of Boij-Söderberg theory: supernatural sheaves and Cohen-Macaulay modules with pure resolutions. In addition, our results strongly suggest the naturality of these partial orders, and they provide tools for extending Boij-Söderberg theory to other graded rings and projective varieties.
We classify the possible shapes of minimal free resolutions over a regular local ring. This illustrates the existence of free resolutions whose Betti numbers behave in surprisingly pathological ways. We also give an asymptotic characterization of the possible shapes of minimal free resolutions over hypersurface rings. Our key new technique uses asymptotic arguments to study formal Q-Betti sequences.
The Bernstein-Sato polynomial (or global b-function) is an important invariant in singularity theory, which can be computed using symbolic methods in the theory of D-modules. After surveying algorithms for computing the global b-function, we develop a new method to compute the local b-function for a single polynomial. We then develop algorithms that compute generalized Bernstein-Sato polynomials of Budur-Mustata-Saito and Shibuta for an arbitrary polynomial ideal. These lead to computations of log canonical thresholds, jumping coefficients, and multiplier ideals. Our algorithm for multiplier ideals simplifies that of Shibuta and shares a common subroutine with our local b-function algorithm. The algorithms we present have been implemented in the D-modules package of the computer algebra system Macaulay2.