Showing 1–21 of 21 results for author: Berkesch, C

King's Conjecture and Birational Geometry

Authors: Matthew R. Ballard, Christine Berkesch, Michael K. Brown, Lauren Cranton Heller, Daniel Erman, David Favero, Sheel Ganatra, Andrew Hanlon, Jesse Huang

Abstract: We state and prove a birational realization of King's Conjecture for a category glued from the derived categories of all birational models in the GKZ fan of a toric variety. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties. As a result, we obtain new and birationally-uniform applications to resolutions of the diagonal, categorical and noncommutative resol… ▽ More We state and prove a birational realization of King's Conjecture for a category glued from the derived categories of all birational models in the GKZ fan of a toric variety. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties. As a result, we obtain new and birationally-uniform applications to resolutions of the diagonal, categorical and noncommutative resolutions, monads, Frobenius generation, and window categories. △ Less

Submitted 30 December, 2024; originally announced January 2025.

Comments: 54 pages, 7 figures

MSC Class: 14M25; 14F08; 13D02; 14J33; 16E35

On virtual resolutions of points in a product of projective spaces

Authors: Isidora Bailly-Hall, Christine Berkesch, Karina Dovgodko, Sean Guan, Saisudharshan Sivakumar, Jishi Sun

Abstract: For finite sets of points in $\mathbb{P}^n \times \mathbb{P}^m$, we produce short virtual resolutions, as introduced by Berkesch--Erman--Smith. We first intersect with a sufficiently high power of one set of variables for points in $\mathbb{P}^n \times \mathbb{P}^m$ to produce a virtual resolution of length $n+m$. Then, we describe an explicit virtual resolution of length 3 for a set of points in… ▽ More For finite sets of points in $\mathbb{P}^n \times \mathbb{P}^m$, we produce short virtual resolutions, as introduced by Berkesch--Erman--Smith. We first intersect with a sufficiently high power of one set of variables for points in $\mathbb{P}^n \times \mathbb{P}^m$ to produce a virtual resolution of length $n+m$. Then, we describe an explicit virtual resolution of length 3 for a set of points in sufficiently general position in $\mathbb{P}^1 \times \mathbb{P}^2$, via a subcomplex of a free resolution. This first result generalizes to $\mathbb{P}^n \times \mathbb{P}^m$ work of Harada--Nowroozi--Van Tuyl, and the second partially generalizes work of Harada--Nowroozi--Van Tuyl and Booms-Peot, which were both for $\mathbb{P}^1 \times \mathbb{P}^1$. Along the way, we also note an explicit relationship between Betti numbers and higher difference matrices of bigraded Hilbert functions for $\mathbb{P}^n \times \mathbb{P}^m$. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 18 pages

MSC Class: Primary: 13D02. Secondary: 14M25; 14F06

A sharp bound for hypergeometric rank in dimension three

Authors: Christine Berkesch, María-Cruz Fernández-Fernández

Abstract: 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. 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. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Comments: 9 pages

MSC Class: 13N10; 32C38; 33C70; 14M25

Differential operators, retracts, and toric face rings

Authors: Christine Berkesch, C-Y. Jean Chan, Patricia Klein, Laura Felicia Matusevich, Janet Page, Janet Vassilev

Abstract: We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms o… ▽ More We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms of its differential operators. Our main technique is to realize the k-algebras we study in terms of a suitable family of their algebra retracts in a way that is compatible with the characterization of differential operators. This strategy allows us to describe differential operators of any k-algebra realized by retracts in terms of the differential operators on these retracts, without restriction on char(k). △ Less

Submitted 8 March, 2023; v1 submitted 30 November, 2021; originally announced December 2021.

Comments: Final version, to appear in Algebra & Number Theory

MSC Class: 16S32 (Primary); 13N05; 13F55 (Secondary)

Journal ref: Alg. Number Th. 17 (2023) 1959-1984

An illustrated view of differential operators of a reduced quotient of an affine semigroup ring

Authors: Christine Berkesch, C-Y. Jean Chan, Patricia Klein, Laura Felicia Matusevich, Janet Page, Janet Vassilev

Abstract: Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0. Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0. △ Less

Submitted 9 May, 2021; originally announced May 2021.

Comments: 30 pages, 17 figures

Homological and combinatorial aspects of virtually Cohen--Macaulay sheaves

Authors: Christine Berkesch, Patricia Klein, Michael C. Loper, Jay Yang

Abstract: When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can… ▽ More When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which capture desirable geometric information and are also amenable to algebraic and combinatorial study. The theory of virtual resolutions includes a notion of a virtually Cohen--Macaulay property, though tools for assessing which modules are virtually Cohen--Macaulay have only recently started to be developed. In this paper, we continue this research program in two related ways. The first is that, when $X$ is a product of projective spaces, we produce a large new class of virtually Cohen--Macaulay Stanley--Reisner rings, which we show to be virtually Cohen--Macaulay via explicit constructions of appropriate virtual resolutions reflecting the underlying combinatorial structure. The second is that, for an arbitrary smooth projective toric variety $X$, we develop homological tools for assessing the virtual Cohen--Macaulay property. Some of these tools give exclusionary criteria, and others are constructive methods for producing suitably short virtual resolutions. We also use these tools to establish relationships among the arithmetically, geometrically, and virtually Cohen--Macaulay properties. △ Less

Submitted 29 July, 2021; v1 submitted 27 December, 2020; originally announced December 2020.

Comments: Accepted to Transactions of the London Mathematical Society

MSC Class: 13D02 (Primary); 14M25; 13F55; 05E40 (Secondary)

On the rank of an $A$-hypergeometric $D$-module versus the normalized volume of $A$

Authors: Christine Berkesch, María-Cruz Fernández-Fernández

Abstract: 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… ▽ More 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$. △ Less

Submitted 3 September, 2021; v1 submitted 19 July, 2019; originally announced July 2019.

Comments: 9 pages

MSC Class: 13N10; 32C38; 33C70; 14M25

Characteristic cycles and Gevrey series solutions of $A$-hypergeometric systems

Authors: Christine Berkesch, María-Cruz Fernández-Fernández

Abstract: 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. 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. △ Less

Submitted 12 February, 2019; originally announced February 2019.

Comments: 22 pages

MSC Class: 13N10; 32C38; 33C70; 14M25

Journal ref: Alg. Number Th. 14 (2020) 323-347

On normalized Horn systems

Authors: Christine Berkesch, Laura Felicia Matusevich, Uli Walther

Abstract: We characterize the (regular) holonomicity of Horn systems of differential equations under a hypothesis that captures the most widely studied classical hypergeometric systems. We characterize the (regular) holonomicity of Horn systems of differential equations under a hypothesis that captures the most widely studied classical hypergeometric systems. △ Less

Submitted 8 June, 2018; originally announced June 2018.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:1308.5901

MSC Class: Primary: 14L30; 33C70; Secondary: 13N10; 14M25; 32C38

Virtual Resolutions for a Product of Projective Spaces

Authors: Christine Berkesch, Daniel Erman, Gregory G. Smith

Abstract: 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 geome… ▽ More 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. △ Less

Submitted 5 December, 2019; v1 submitted 22 March, 2017; originally announced March 2017.

Comments: 22 pages, 1 figure

Journal ref: Algebraic Geometry, 7 (2020) no. 4, 460-481

Syzygies, finite length modules, and random curves

Authors: Christine Berkesch, Frank-Olaf Schreyer

Abstract: We apply the theory of Groebner bases to the computation of free resolutions over a polynomial ring, the defining equations of a canonically embedded curve, and the unirationality of the moduli space of curves of a fixed genus. We apply the theory of Groebner bases to the computation of free resolutions over a polynomial ring, the defining equations of a canonically embedded curve, and the unirationality of the moduli space of curves of a fixed genus. △ Less

Submitted 10 September, 2014; v1 submitted 3 March, 2014; originally announced March 2014.

Comments: 31 pages, This article consists of extended notes from lectures by the second author at the Joint Introductory Workshop: Cluster Algebras and Commutative Algebra at the Mathematical Science Research Institute (MSRI) in Berkeley, California, in Fall 2012

Torus equivariant D-modules and hypergeometric systems

Authors: Christine Berkesch, Laura Felicia Matusevich, Uli Walther

Abstract: We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant D-modules and show that it preserves key properties, such as holonomicity, regularity, and reducibility of monodromy representation. We also examine its effect on so… ▽ More We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant D-modules and show that it preserves key properties, such as holonomicity, regularity, and reducibility of monodromy representation. We also examine its effect on solutions, characteristic varieties, and singular loci. When applied to certain binomial D-modules, our functor produces saturations of the classical hypergeometric differential equations, a fact that sheds new light on the D-module theoretic properties of these classical systems. △ Less

Submitted 12 June, 2018; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: 32 pages, The discussion of normalized Horn systems in v1 now appears in arXiv:1806.03355

Report number: Mittag-Leffler-2011spring MSC Class: 14L30; 33C70; 13N10; 14M25; 32C38

Systems of parameters and holonomicity of A-hypergeometric systems

Authors: Christine Berkesch, Stephen Griffeth, Ezra Miller

Abstract: The main result is an elementary proof of holonomicity for A-hypergeometric systems, with no requirements on the behavior of their singularities, originally due to Adolphson [Ado94] after the regular singular case by Gelfand and Gelfand [GG86]. Our method yields a direct de novo proof that A-hypergeometric systems form holonomic families over their parameter spaces, as shown by Matusevich, Miller,… ▽ More The main result is an elementary proof of holonomicity for A-hypergeometric systems, with no requirements on the behavior of their singularities, originally due to Adolphson [Ado94] after the regular singular case by Gelfand and Gelfand [GG86]. Our method yields a direct de novo proof that A-hypergeometric systems form holonomic families over their parameter spaces, as shown by Matusevich, Miller, and Walther [MMW05]. △ Less

Submitted 31 January, 2013; originally announced February 2013.

Journal ref: Pacific J. Math. 276 (2015) 281-286

Three flavors of extremal Betti tables

Authors: Christine Berkesch, Daniel Erman, Manoj Kummini

Abstract: We discuss extremal Betti tables of resolutions in three different contexts. We begin over the graded polynomial ring, where extremal Betti tables correspond to pure resolutions. We then contrast this behavior with that of extremal Betti tables over regular local rings and over a bigraded ring. We discuss extremal Betti tables of resolutions in three different contexts. We begin over the graded polynomial ring, where extremal Betti tables correspond to pure resolutions. We then contrast this behavior with that of extremal Betti tables over regular local rings and over a bigraded ring. △ Less

Submitted 24 July, 2012; originally announced July 2012.

Comments: 20 pages

MSC Class: 13D02; 13C05; 14F05

Journal ref: In: Peeva I. (eds) Commutative Algebra. Springer, New York, NY, p. 99--121, 2013

The cone of Betti diagrams over a hypersurface ring of low embedding dimension

Authors: Christine Berkesch, Jesse Burke, Daniel Erman, Courtney Gibbons

Abstract: We give a complete description of the cone of Betti diagrams over a standard graded hypersurface ring of the form k[x,y]/<q>, where q is a homogeneous quadric. We also provide a finite algorithm for decomposing Betti diagrams, including diagrams of infinite projective dimension, into pure diagrams. Boij--Soederberg theory completely describes the cone of Betti diagrams over a standard graded polyn… ▽ More We give a complete description of the cone of Betti diagrams over a standard graded hypersurface ring of the form k[x,y]/<q>, where q is a homogeneous quadric. We also provide a finite algorithm for decomposing Betti diagrams, including diagrams of infinite projective dimension, into pure diagrams. Boij--Soederberg theory completely describes the cone of Betti diagrams over a standard graded polynomial ring; our result provides the first example of another graded ring for which the cone of Betti diagrams is entirely understood. △ Less

Submitted 19 February, 2012; v1 submitted 23 September, 2011; originally announced September 2011.

Comments: Minor edits, references updated

Report number: MR2925819 MSC Class: 13D02; 05E40

Journal ref: Journal of Pure and Applied Algebra 216 (2012), no. 10, 2256--2268

Shapes of free resolutions over a local ring

Authors: Christine Berkesch, Daniel Erman, Manoj Kummini, Steven V Sam

Abstract: 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 sequence… ▽ More 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. △ Less

Submitted 7 November, 2011; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: 14 pages, 1 figure; v2: sections have been reorganized substantially and exposition has been streamlined

Report number: Mittag-Leffler-2011spring MSC Class: 13D02 (Primary) 13C05; 13H05 (Secondary)

Journal ref: Math. Ann. 354 (2012), no. 3, 939-954

Euler--Mellin integrals and A-hypergeometric functions

Authors: Christine Berkesch, Jens Forsgård, Mikael Passare

Abstract: 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… ▽ More 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. △ Less

Submitted 1 February, 2013; v1 submitted 31 March, 2011; originally announced March 2011.

Comments: 19 pages, 3 figures; Contains additional results on linear independence and relation to Mellin--Barnes integrals of Euler--Mellin integrals; Introduction revised

Report number: Mittag-Leffler-2011spring

Poset structures in Boij-Söderberg theory

Authors: Christine Berkesch, Daniel Erman, Manoj Kummini, Steven V Sam

Abstract: 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,… ▽ More 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. △ Less

Submitted 2 November, 2011; v1 submitted 13 October, 2010; originally announced October 2010.

Comments: 23 pages; v2: Added Section 8, reordered previous sections

Report number: Mittag-Leffler-2011spring MSC Class: 13D02; 14F05

Journal ref: Int. Math. Res. Not. IMRN (2012), no. 22, 5132-5160

Algorithms for Bernstein-Sato polynomials and multiplier ideals

Authors: Christine Berkesch, Anton Leykin

Abstract: 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 o… ▽ More 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. △ Less

Submitted 25 June, 2010; v1 submitted 7 February, 2010; originally announced February 2010.

Comments: 16 pages, to appear in ISSAC 2010

MSC Class: 14F20 (Primary); 14F18

A-graded methods for monomial ideals

Authors: Christine Berkesch, Laura Felicia Matusevich

Abstract: We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of exponents. These multigraded techniques originate from the study of hypergeometric systems of differential equations. We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of exponents. These multigraded techniques originate from the study of hypergeometric systems of differential equations. △ Less

Submitted 4 March, 2009; v1 submitted 28 July, 2008; originally announced July 2008.

Comments: Reorganized version with new introduction, Section 2 simplified, corrections made to Section 4

MSC Class: 13D45; 16E45 (Primary) 13F55; 13C14; 13D07 (Secondary)

The rank of a hypergeometric system

Authors: Christine Berkesch

Abstract: The holonomic rank of the A-hypergeometric system M_A(β) is the degree of the toric ideal I_A for generic parameters; in general, this is only a lower bound. To the semigroup ring of A we attach the ranking arrangement and use this algebraic invariant and the exceptional arrangement of nongeneric parameters to construct a combinatorial formula for the rank jump of M_A(β). As consequences, we obt… ▽ More The holonomic rank of the A-hypergeometric system M_A(β) is the degree of the toric ideal I_A for generic parameters; in general, this is only a lower bound. To the semigroup ring of A we attach the ranking arrangement and use this algebraic invariant and the exceptional arrangement of nongeneric parameters to construct a combinatorial formula for the rank jump of M_A(β). As consequences, we obtain a refinement of the stratification of the exceptional arrangement by the rank of M_A(β) and show that the Zariski closure of each of its strata is a union of translates of linear subspaces of the parameter space. These results hold for generalized A-hypergeometric systems as well, where the semigroup ring of A is replaced by a nontrivial weakly toric module M contained in \CC[\ZZ A]. We also provide a direct proof of the result of M. Saito and W. Traves regarding the isomorphism classes of M_A(β). △ Less

Submitted 10 February, 2010; v1 submitted 2 July, 2008; originally announced July 2008.

Comments: 32 pages. To appear in Compositio Mathematica. Revisions have been made to the exposition, and the notation has been simplified

MSC Class: 33C70; 14M25; 16E30; 20M25; 13N10

Journal ref: Compositio Math. 147 (2011) 284-318