Showing 1–43 of 43 results for author: Raicu, C

Computing the cohomology of line bundles on the incidence correspondence and related invariants

Authors: Annet Kyomuhangi, Emanuela Marangone, Claudiu Raicu, Ethan Reed

Abstract: We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence correspondence (the partial flag variety parametrizing pairs consisting of a point in projective space and a hyperplane containing it). Additionally, the package provi… ▽ More We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence correspondence (the partial flag variety parametrizing pairs consisting of a point in projective space and a hyperplane containing it). Additionally, the package provides tools for (1) computing the multiplication in the graded Han-Monsky representation ring, (2) determining the splitting type of vector bundles of principal parts on the projective line, and (3) testing the weak and strong Lefschetz properties for Artinian monomial complete intersections. △ Less

Submitted 21 March, 2025; originally announced March 2025.

Report number: PIMS-20250321-PDF MSC Class: 14-04; 13-04; 14M15; 20G05; 05E05

Cohomology on the incidence correspondence and related questions

Authors: Annet Kyomuhangi, Emanuela Marangone, Claudiu Raicu, Ethan Reed

Abstract: We study a variety of questions centered around the computation of cohomology of line bundles on the incidence correspondence (the partial flag variety parametrizing pairs consisting of a point in projective space and a hyperplane containing it). Over a field of characteristic zero, this problem is resolved by the Borel-Weil-Bott theorem. In positive characteristic, we give recursive formulas for… ▽ More We study a variety of questions centered around the computation of cohomology of line bundles on the incidence correspondence (the partial flag variety parametrizing pairs consisting of a point in projective space and a hyperplane containing it). Over a field of characteristic zero, this problem is resolved by the Borel-Weil-Bott theorem. In positive characteristic, we give recursive formulas for cohomology, generalizing work of Donkin and Liu in the case of the 3-dimensional flag variety. In characteristic 2, we provide non-recursive formulas describing the cohomology characters in terms of truncated Schur polynomials and Nim symmetric polynomials. The main technical ingredient in our work is the recursive description of the splitting type of vector bundles of principal parts on the projective line. We also discuss properties of the structure constants in the graded Han-Monsky representation ring, and explain how our cohomology calculation characterizes the Weak Lefschetz Property for Artinian monomial complete intersections. △ Less

Submitted 20 November, 2024; originally announced November 2024.

Report number: PIMS-20241120-PDF MSC Class: 14M15; 14C20; 20G05; 20G15; 05E05; 13A35

Higher resonance schemes and Koszul modules of simplicial complexes

Authors: Marian Aprodu, Gavril Farkas, Claudiu Raicu, Alessio Sammartano, Alexander I. Suciu

Abstract: Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the (higher) Koszul modules of $A$. In this note, we investigate the geometry of the support loci of these modules, called the resonance schemes of the algebra. Whe… ▽ More Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the (higher) Koszul modules of $A$. In this note, we investigate the geometry of the support loci of these modules, called the resonance schemes of the algebra. When $A=\Bbbk\langle Δ\rangle$ is the exterior Stanley-Reisner algebra associated to a finite simplicial complex $Δ$, we show that the resonance schemes are reduced. We also compute the Hilbert series of the Koszul modules and give bounds on the regularity and projective dimension of these graded modules. This leads to a relationship between resonance and Hilbert series that generalizes a known formula for the Chen ranks of a right-angled Artin group. △ Less

Submitted 5 March, 2024; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 17 pages; accepted for publication in Journal of Algebraic Combinatorics

MSC Class: 13F55; 14M12; 16E05

Journal ref: Journal of Algebraic Combinatorics 59 (2024), no. 4, 787-805

Some questions arising from the study of cohomology on flag varieties

Authors: Zhao Gao, Claudiu Raicu, Keller VandeBogert

Abstract: A fundamental problem at the confluence of algebraic geometry and representation theory is to describe the cohomology of line bundles on flag varieties over a field of characteristic p. When p=0, the solution is given by the celebrated Borel-Weil-Bott Theorem, while for p>0 the problem is widely open. In this note we describe a collection of open questions that arise from the study of particular c… ▽ More A fundamental problem at the confluence of algebraic geometry and representation theory is to describe the cohomology of line bundles on flag varieties over a field of characteristic p. When p=0, the solution is given by the celebrated Borel-Weil-Bott Theorem, while for p>0 the problem is widely open. In this note we describe a collection of open questions that arise from the study of particular cases of the general theory, focusing on their combinatorial and commutative algebra aspects. △ Less

Submitted 8 August, 2023; originally announced August 2023.

MSC Class: 14M15; 20G05; 05E05

Stable sheaf cohomology on flag varieties

Authors: Claudiu Raicu, Keller VandeBogert

Abstract: We prove an effective stabilization result for the sheaf cohomology groups of line bundles on flag varieties parametrizing complete flags in k^n, as well as for the sheaf cohomology groups of polynomial functors applied to the cotangent sheaf Omega on projective space. In characteristic zero, these are natural consequences of the Borel-Weil-Bott theorem, but in characteristic p>0 they are non-triv… ▽ More We prove an effective stabilization result for the sheaf cohomology groups of line bundles on flag varieties parametrizing complete flags in k^n, as well as for the sheaf cohomology groups of polynomial functors applied to the cotangent sheaf Omega on projective space. In characteristic zero, these are natural consequences of the Borel-Weil-Bott theorem, but in characteristic p>0 they are non-trivial. Unlike many important contexts in modular representation theory, where the prime characteristic p is assumed to be large relative to n, in our study we fix p and let n go to infinity. We illustrate the general theory by providing explicit stable cohomology calculations in a number of cases of interest. Our examples yield cohomology groups where the number of indecomposable summands has super-polynomial growth, and also show that the cohomological degrees where non-vanishing occurs do not form a connected interval. In the case of polynomial functors of Omega, we prove a Kunneth formula for stable cohomology, and show the invariance of stable cohomology under Frobenius, which combined with the Steinberg tensor product theorem yields calculations of stable cohomology for an interesting class of simple polynomial functors arising in the work of Doty. The results in the special case of symmetric powers of Omega provide a nice application to commutative algebra, yielding a sharp vanishing result for Koszul modules of finite length in all characteristics. △ Less

Submitted 25 June, 2023; originally announced June 2023.

MSC Class: 14M15; 13D02; 20G05; 20G10

Reduced resonance schemes and Chen ranks

Authors: Marian Aprodu, Gavril Farkas, Claudiu Raicu, Alexander I. Suciu

Abstract: The resonance varieties are cohomological invariants that are studied in a variety of topological, combinatorial, and geometric contexts. We discuss their scheme structure in a general algebraic setting and introduce various properties that ensure the reducedness of the associated projective resonance scheme. We prove an asymptotic formula for the Hilbert series of the associated Koszul module, th… ▽ More The resonance varieties are cohomological invariants that are studied in a variety of topological, combinatorial, and geometric contexts. We discuss their scheme structure in a general algebraic setting and introduce various properties that ensure the reducedness of the associated projective resonance scheme. We prove an asymptotic formula for the Hilbert series of the associated Koszul module, then discuss applications to vector bundles on algebraic curves and to Chen ranks formulas for finitely generated groups, with special emphasis on Kähler and right-angled Artin groups. △ Less

Submitted 24 April, 2024; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 36 pages. Final version, to appear in the Journal fuer die reine und angewandte Mathematik (Crelle)

Journal ref: Journal für die reine und angewandte Mathematik (Crelle's Journal), 814 (2024), 205--240

Cohomology of line bundles on the incidence correspondence

Authors: Zhao Gao, Claudiu Raicu

Abstract: For a finite dimensional vector space V of dimension n, we consider the incidence correspondence (or partial flag variety) X in P(V) x P(V*), parametrizing pairs consisting of a point and a hyperplane containing it. We completely characterize the vanishing and non-vanishing behavior of the cohomology groups of line bundles on X in characteristic p>0. If n=3 then X is the full flag variety of V, an… ▽ More For a finite dimensional vector space V of dimension n, we consider the incidence correspondence (or partial flag variety) X in P(V) x P(V*), parametrizing pairs consisting of a point and a hyperplane containing it. We completely characterize the vanishing and non-vanishing behavior of the cohomology groups of line bundles on X in characteristic p>0. If n=3 then X is the full flag variety of V, and the characterization is contained in the thesis of Griffith from the 70s. In characteristic 0, the cohomology groups are described for all V by the Borel-Weil-Bott theorem. Our strategy is to recast the problem in terms of computing cohomology of (twists of) divided powers of the cotangent sheaf on projective space, which we then study using natural truncations induced by Frobenius, along with careful estimates of Castelnuovo-Mumford regularity. When n=3, we recover the recursive description of characters from recent work of Linyuan Liu, while for general n we give character formulas for the cohomology of a restricted collection of line bundles. Our results suggest truncated Schur functions as the natural building blocks for the cohomology characters. △ Less

Submitted 7 October, 2022; originally announced October 2022.

MSC Class: 14M15; 14C20; 20G05; 20G15; 05E05

Koszul modules with vanishing resonance in algebraic geometry

Authors: Marian Aprodu, Gavril Farkas, Claudiu Raicu, Jerzy Weyman

Abstract: We discuss various applications of a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace in the second wedge product of a vector space. Previously Koszul modules of finite length have been used to give a proof of Green's Conjecture on syzygies of generic canonical curves. We now give applications to effective stabilization of cohomology of… ▽ More We discuss various applications of a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace in the second wedge product of a vector space. Previously Koszul modules of finite length have been used to give a proof of Green's Conjecture on syzygies of generic canonical curves. We now give applications to effective stabilization of cohomology of thickenings of algebraic varieties, divisors on moduli spaces of curves, enumerative geometry of curves on K3 surfaces and to skew-symmetric degeneracy loci. We also show that the stability of sufficiently positive rank 2 vector bundles on curves is governed by resonance. △ Less

Submitted 8 December, 2023; v1 submitted 3 January, 2022; originally announced January 2022.

Comments: 28 pages. To appear in Selecta Math

Borel-Moore homology of determinantal varieties

Authors: András C. Lőrincz, Claudiu Raicu

Abstract: We compute the rational Borel-Moore homology groups for affine determinantal varieties in the spaces of general, symmetric, and skew-symmetric matrices, solving a problem suggested by the work of Pragacz and Ratajski. The main ingredient is the relation with Hartshorne's algebraic de Rham homology theory, and the calculation of the singular cohomology of matrix orbits, using the methods of Cartan… ▽ More We compute the rational Borel-Moore homology groups for affine determinantal varieties in the spaces of general, symmetric, and skew-symmetric matrices, solving a problem suggested by the work of Pragacz and Ratajski. The main ingredient is the relation with Hartshorne's algebraic de Rham homology theory, and the calculation of the singular cohomology of matrix orbits, using the methods of Cartan and Borel. We also establish the degeneration of the Čech-de Rham spectral sequence for determinantal varieties, and compute explicitly the dimensions of de Rham cohomology groups of local cohomology with determinantal support, which are analogues of Lyubeznik numbers first introduced by Switala. Additionally, in the case of general matrices we further determine the Hodge numbers of the singular cohomology of matrix orbits and of the Borel-Moore homology of their closures, based on Saito's theory of mixed Hodge modules. △ Less

Submitted 6 November, 2021; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: 28 pages, v2: added results on mixed Hodge structures. New sections: 2.2, 4.3, 7

MSC Class: 14M12; 14F10; 13D45; 14B15; 14F40; 13D07; 32S35; 55N33; 55N35; 57T15

On some modules supported in the Chow variety

Authors: Claudiu Raicu, Steven V Sam, Jerzy Weyman

Abstract: The study of Chow varieties of decomposable forms lies at the confluence of algebraic geometry, commutative algebra, representation theory and combinatorics. There are many open questions about homological properties of Chow varieties and interesting classes of modules supported on them. The goal of this note is to survey some fundamental constructions and properties of these objects, and to propo… ▽ More The study of Chow varieties of decomposable forms lies at the confluence of algebraic geometry, commutative algebra, representation theory and combinatorics. There are many open questions about homological properties of Chow varieties and interesting classes of modules supported on them. The goal of this note is to survey some fundamental constructions and properties of these objects, and to propose some new directions of research. Our main focus will be on the study of certain maximal Cohen-Macaulay modules of covariants supported on Chow varieties, and on defining equations and syzygies. We also explain how to assemble Tor groups over Veronese subalgebras into modules over a Chow variety, leading to a result on the polynomial growth of these groups. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: 20 pages; Dedicated to Bernd Sturmfels on the occasion of his 60th birthday

Journal ref: Vietnam J. Math. 50 (2022), Special issue celebrating the 60th birthday of Bernd Sturmfels, 501-521

Hermite reciprocity and Schwarzenberger bundles

Authors: Claudiu Raicu, Steven V Sam

Abstract: Hermite reciprocity refers to a series of natural isomorphisms involving compositions of symmetric, exterior, and divided powers of the standard $SL_2$-representation. We survey several equivalent constructions of these isomorphisms, as well as their recent applications to Green's Conjecture on syzygies of canonical curves. The most geometric approach to Hermite reciprocity is based on an idea of… ▽ More Hermite reciprocity refers to a series of natural isomorphisms involving compositions of symmetric, exterior, and divided powers of the standard $SL_2$-representation. We survey several equivalent constructions of these isomorphisms, as well as their recent applications to Green's Conjecture on syzygies of canonical curves. The most geometric approach to Hermite reciprocity is based on an idea of Voisin to realize certain multilinear constructions cohomologically by working on a Hilbert scheme of points. We explain how in the case of ${\bf P}^1$ this can be reformulated in terms of cohomological properties of Schwarzenberger bundles. We then proceed to study these bundles from several perspectives: We show that their exterior powers have supernatural cohomology, arising as special cases of a construction of Eisenbud and Schreyer. We recover basic properties of secant varieties $Σ$ of rational normal curves (normality, Cohen-Macaulayness, rational singularities) by considering their desingularizations via Schwarzenberger bundles, and applying the Kempf-Weyman geometric technique. We show that Hermite reciprocity is equivalent to the self-duality of the unique rank one Ulrich module on the affine cone $\widehatΣ$ of some secant variety, and we explain how for a Schwarzenberger bundle of rank $k$ and degree $d\ge k$, Hermite reciprocity can be viewed as the unique (up to scaling) non-zero section of $(Sym^k\mathcal{E})(-d+k-1)$. △ Less

Submitted 8 June, 2021; originally announced June 2021.

Comments: 26 pages

MSC Class: 13D02

Journal ref: Commutative Algebra (edited by Irena Peeva), 689-721, Springer, 2022

Euler obstructions for the Lagrangian Grassmannian

Authors: Paul LeVan, Claudiu Raicu

Abstract: We prove a case of a positivity conjecture of Mihalcea-Singh, concerned with the local Euler obstructions associated to the Schubert stratification of the Lagrangian Grassmannian LG(n,2n). Combined with work of Aluffi-Mihalcea-Schürmann-Su, this further implies the positivity of the Mather classes for Schubert varieties in LG(n,2n), which Mihalcea-Singh had verified for the other cominuscule space… ▽ More We prove a case of a positivity conjecture of Mihalcea-Singh, concerned with the local Euler obstructions associated to the Schubert stratification of the Lagrangian Grassmannian LG(n,2n). Combined with work of Aluffi-Mihalcea-Schürmann-Su, this further implies the positivity of the Mather classes for Schubert varieties in LG(n,2n), which Mihalcea-Singh had verified for the other cominuscule spaces of classical Lie type. Building on the work of Boe and Fu, we give a positive recursion for the local Euler obstructions, and use it to show that they provide a positive count of admissible labelings of certain trees, analogous to the ones describing Kazhdan-Lusztig polynomials. Unlike in the case of the Grassmannians in types A and D, for LG(n,2n) the Euler obstructions e_{y,w} may vanish for certain pairs (y,w) with y <= w in the Bruhat order. Our combinatorial description allows us to classify all the pairs (y,w) for which e_{y,w}=0. Restricting to the big opposite cell in LG(n,2n), which is naturally identified with the space of n x n symmetric matrices, we recover the formulas for the local Euler obstructions associated with the matrix rank stratification. △ Less

Submitted 18 May, 2021; originally announced May 2021.

MSC Class: 14M15; 14M12; 05C05; 32S05; 32S60

Local Euler obstructions for determinantal varieties

Authors: András C. Lőrincz, Claudiu Raicu

Abstract: The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character formulas for simple equivariant $D$-modules. These calculations are then combined with standard arguments involving Kashiwara's local index formula and the descri… ▽ More The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character formulas for simple equivariant $D$-modules. These calculations are then combined with standard arguments involving Kashiwara's local index formula and the description of characteristic cycles of simple equivariant $D$-modules. The formulas are implicit in the work of Boe and Fu, and in the case of general matrices they have also been obtained recently by Gaffney--Grulha--Ruas, for skew-symmetric matrices by Promtapan and Rimányi, and for all cases by Zhang. △ Less

Submitted 1 September, 2021; v1 submitted 1 May, 2021; originally announced May 2021.

Comments: 19 pages. Final version

MSC Class: 14F10; 14F40; 14M12; 55N33; 13A50; 32S60

An equivariant Hochster's formula for $\mathfrak S_n$-invariant monomial ideals

Authors: Satoshi Murai, Claudiu Raicu

Abstract: Let $R=\Bbbk[x_1,\dots,x_n]$ be a polynomial ring over a field $\Bbbk$ and let $I\subset R$ be a monomial ideal preserved by the natural action of the symmetric group $\mathfrak S_n$ on $R$. We give a combinatorial method to determine the $\mathfrak S_n$-module structure of $\mathrm{Tor}_i(I,\Bbbk)$. Our formula shows that $\mathrm{Tor}_i(I,\Bbbk)$ is built from induced representations of tensor p… ▽ More Let $R=\Bbbk[x_1,\dots,x_n]$ be a polynomial ring over a field $\Bbbk$ and let $I\subset R$ be a monomial ideal preserved by the natural action of the symmetric group $\mathfrak S_n$ on $R$. We give a combinatorial method to determine the $\mathfrak S_n$-module structure of $\mathrm{Tor}_i(I,\Bbbk)$. Our formula shows that $\mathrm{Tor}_i(I,\Bbbk)$ is built from induced representations of tensor products of Specht modules associated to hook partitions, and their multiplicities are determined by topological Betti numbers of certain simplicial complexes. This result can be viewed as an $\mathfrak S_n$-equivariant analogue of Hochster's formula for Betti numbers of monomial ideals. We apply our results to determine extremal Betti numbers of $\mathfrak S_n$-invariant monomial ideals, and in particular recover formulas for their Castelnuovo--Mumford regularity and projective dimension. We also give a concrete recipe for how the Betti numbers change as we increase the number of variables, and in characteristic zero (or $>n$) we compute the $\mathfrak S_n$-invariant part of $\mathrm{Tor}_i(I,\Bbbk)$ in terms of $\mathrm{Tor}$ groups of the unsymmetrization of $I$. △ Less

Submitted 26 December, 2020; originally announced December 2020.

Comments: 31 pages

Hodge ideals for the determinant hypersurface

Authors: Michael Perlman, Claudiu Raicu

Abstract: We determine explicitly the Hodge ideals for the determinant hypersurface as an intersection of symbolic powers of determinantal ideals. We prove our results by studying the Hodge and weight filtrations on the mixed Hodge module O_X(*Z) of regular functions on the space X of n x n matrices, with poles along the divisor Z of singular matrices. The composition factors for the weight filtration on O_… ▽ More We determine explicitly the Hodge ideals for the determinant hypersurface as an intersection of symbolic powers of determinantal ideals. We prove our results by studying the Hodge and weight filtrations on the mixed Hodge module O_X(*Z) of regular functions on the space X of n x n matrices, with poles along the divisor Z of singular matrices. The composition factors for the weight filtration on O_X(*Z) are pure Hodge modules with underlying D-modules given by the simple GL-equivariant D-modules on X, where GL is the natural group of symmetries, acting by row and column operations on the matrix entries. By taking advantage of the GL-equivariance and the Cohen-Macaulay property of their associated graded, we describe explicitly the possible Hodge filtrations on a simple GL-equivariant D-module, which are unique up to a shift determined by the corresponding weights. For non-square matrices, O_X(*Z) is naturally replaced by the local cohomology modules H^j_Z(X,O_X), which turn out to be pure Hodge modules. By working out explicitly the Decomposition Theorem for some natural resolutions of singularities of determinantal varieties, and using the results on square matrices, we determine the weights and the Hodge filtration for these local cohomology modules. △ Less

Submitted 18 May, 2021; v1 submitted 22 March, 2020; originally announced March 2020.

Comments: 16 pages, v2: updated discussion of generation level, and added Remark 4.2 on alternate approach to calculation of weight filtration

MSC Class: 14M12; 14J17; 14E15; 13D45

Journal ref: Selecta Math. (N.S.) 27 no. 1 (2021)

Relations between the 2x2 minors of a generic matrix

Authors: Hang Huang, Michael Perlman, Claudia Polini, Claudiu Raicu, Alessio Sammartano

Abstract: We prove the case t = 2 of a conjecture of Bruns-Conca-Varbaro, describing the minimal relations between the t x t minors of a generic matrix. Interpreting these relations as polynomial functors, and applying transpose duality as in the work of Sam-Snowden, this problem is equivalent to understanding the relations satisfied by t x t generalized permanents. Our proof follows by combining Koszul hom… ▽ More We prove the case t = 2 of a conjecture of Bruns-Conca-Varbaro, describing the minimal relations between the t x t minors of a generic matrix. Interpreting these relations as polynomial functors, and applying transpose duality as in the work of Sam-Snowden, this problem is equivalent to understanding the relations satisfied by t x t generalized permanents. Our proof follows by combining Koszul homology calculations on the minors side, with a study of subspace varieties on the permanents side, and with the Kempf-Weyman technique (on both sides). △ Less

Submitted 19 May, 2021; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: 21 pages. To appear in Advances in Mathematics

MSC Class: 13D07; 13A50; 13C40; 14M12; 13A30

Journal ref: Advances in Mathematics, Volume 386, 2021

Bi-graded Koszul modules, K3 carpets, and Green's conjecture

Authors: Claudiu Raicu, Steven V Sam

Abstract: We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the Canonical Ribbon Conjecture of Bayer and Eisenbud holds over a field of characteristic zero or at least equal to the Clifford index. Our results confirm a conjecture of Eisenbud and Schreyer regarding the characteristics where the generic statement of Green's conjecture holds… ▽ More We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the Canonical Ribbon Conjecture of Bayer and Eisenbud holds over a field of characteristic zero or at least equal to the Clifford index. Our results confirm a conjecture of Eisenbud and Schreyer regarding the characteristics where the generic statement of Green's conjecture holds. They also recover and extend to positive characteristics results due to Aprodu and Voisin asserting that Green's Conjecture holds for generic curves of each gonality. △ Less

Submitted 2 August, 2021; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 23 pages

MSC Class: 13D02

Journal ref: Compos. Math. 158 (2022), no. 1, 33-56

Regularity of S_n-invariant monomial ideals

Authors: Claudiu Raicu

Abstract: For a polynomial ring S in n variables, we consider the natural action of the symmetric group S_n on S by permuting the variables. For an S_n-invariant monomial ideal I in S and j >= 0, we give an explicit recipe for computing the modules Ext^j(S/I,S), and use this to describe the projective dimension and regularity of I. We classify the S_n-invariant monomial ideals that have a linear free resolu… ▽ More For a polynomial ring S in n variables, we consider the natural action of the symmetric group S_n on S by permuting the variables. For an S_n-invariant monomial ideal I in S and j >= 0, we give an explicit recipe for computing the modules Ext^j(S/I,S), and use this to describe the projective dimension and regularity of I. We classify the S_n-invariant monomial ideals that have a linear free resolution, and also characterize those which are Cohen-Macaulay. We then consider two settings for analyzing the asymptotic behavior of regularity: one where we look at powers of a fixed ideal I, and another where we vary the dimension of the ambient polynomial ring and examine the invariant monomial ideals induced by I. In the first case we determine the asymptotic regularity for those ideals I that are generated by the S_n-orbit of a single monomial by solving an integer linear optimization problem. In the second case we describe the behavior of regularity for any I, recovering a recent result of Murai. △ Less

Submitted 10 September, 2019; originally announced September 2019.

MSC Class: 13D07; 05E40; 13D45

Feasibility criteria for high-multiplicity partitioning problems

Authors: Claudiu Raicu

Abstract: For fixed weights w_1,...,w_n, and for d>0, we let B denote a collection of d*n balls, with d balls of weight w_i for each i=1,...,n. We consider the problem of assigning the balls to n bins with capacities C_1,...,C_n, in such a way that each bin is assigned d balls, without exceeding its capacity. When d>>0, we give sufficient criteria for the feasibility of this problem, which coincide up to ex… ▽ More For fixed weights w_1,...,w_n, and for d>0, we let B denote a collection of d*n balls, with d balls of weight w_i for each i=1,...,n. We consider the problem of assigning the balls to n bins with capacities C_1,...,C_n, in such a way that each bin is assigned d balls, without exceeding its capacity. When d>>0, we give sufficient criteria for the feasibility of this problem, which coincide up to explicit constants with the natural set of necessary conditions. Furthermore, we show that our constants are optimal when the weights w_i are distinct. The feasibility criteria that we present here are used elsewhere (in commutative algebra) to study the asymptotic behavior of the Castelnuovo-Mumford regularity of symmetric monomial ideals. △ Less

Submitted 4 September, 2019; originally announced September 2019.

MSC Class: 90C27; 05D99

Computing Schur complexes

Authors: Michael K. Brown, Hang Huang, Robert P. Laudone, Michael Perlman, Claudiu Raicu, Steven V Sam, João Pedro Santos

Abstract: We describe a Macaulay2 package for computing Schur complexes. This package expands on the ChainComplexOperations package by David Eisenbud. We describe a Macaulay2 package for computing Schur complexes. This package expands on the ChainComplexOperations package by David Eisenbud. △ Less

Submitted 18 November, 2019; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: 9 pages, v2: revised Section 2.1. To appear in the Journal of Software for Algebra and Geometry. Updated package, available at: https://github.com/mperlm3/SchurComplexes

MSC Class: 13P20; 15A69

Journal ref: J. Softw. Alg. Geom. 9 (2019) 111-119

Koszul modules and Green's conjecture

Authors: Marian Aprodu, Gavril Farkas, Stefan Papadima, Claudiu Raicu, Jerzy Weyman

Abstract: We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green's conjecture for every g-cuspidal rational curve over an algebraically closed field k with char(k) = 0 or char(k) >= (g+2)/2. As a consequence, we deduce that the general canonical curve of genus g satisfies Green's conjecture in this range. Our results are new in positive characteristic, whereas in cha… ▽ More We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green's conjecture for every g-cuspidal rational curve over an algebraically closed field k with char(k) = 0 or char(k) >= (g+2)/2. As a consequence, we deduce that the general canonical curve of genus g satisfies Green's conjecture in this range. Our results are new in positive characteristic, whereas in characteristic zero they provide a different proof for theorems first obtained in two landmark papers by Voisin. Our strategy involves establishing two key results of independent interest: (1) we describe an explicit, characteristic-independent version of Hermite reciprocity for sl_2-representations; (2) we completely characterize, in arbitrary characteristics, the (non-)vanishing behavior of the syzygies of the tangential variety to a rational normal curve. △ Less

Submitted 29 May, 2019; v1 submitted 27 October, 2018; originally announced October 2018.

Comments: minor edits, 42 pages, to appear in Invent. Math

Syzygies of determinantal thickenings and representations of the general linear Lie superalgebra

Authors: Claudiu Raicu, Jerzy Weyman

Abstract: We let S denote the ring of polynomial functions on the space of m x n matrices, and consider the action of the group GL = GL_m x GL_n via row and column operations on the matrix entries. For a GL-invariant ideal I in S we show that the linear strands of its minimal free resolution translate via the BGG correspondence to modules over the general linear Lie superalgebra gl(m|n). When I is the ideal… ▽ More We let S denote the ring of polynomial functions on the space of m x n matrices, and consider the action of the group GL = GL_m x GL_n via row and column operations on the matrix entries. For a GL-invariant ideal I in S we show that the linear strands of its minimal free resolution translate via the BGG correspondence to modules over the general linear Lie superalgebra gl(m|n). When I is the ideal generated by the GL-orbit of a highest weight vector, we give a conjectural description of the classes of these gl(m|n)-modules in the Grothendieck group, and prove that our prediction is correct for the first strand of the minimal free resolution. △ Less

Submitted 16 August, 2018; originally announced August 2018.

Comments: To appear in Acta Mathematica Vietnamica, special issue: The Prospects for Commutative Algebra

MSC Class: 13D02; 14M12; 17B10

Journal ref: Acta Math. Vietnam. 44, no. 1, 269-284 (2019)

Topological invariants of groups and Koszul modules

Authors: Marian Aprodu, Gavril Farkas, Stefan Papadima, Claudiu Raicu, Jerzy Weyman

Abstract: We provide a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace K inside the second exterior product of a vector space, as well as a sharp upper bound for its Hilbert function. This purely algebraic statement has interesting applications to the study of a number of invariants associated to finitely generated groups, such as the Alexander… ▽ More We provide a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace K inside the second exterior product of a vector space, as well as a sharp upper bound for its Hilbert function. This purely algebraic statement has interesting applications to the study of a number of invariants associated to finitely generated groups, such as the Alexander invariants, the Chen ranks, or the degree of growth and nilpotency class. For instance, we explicitly bound the aforementioned invariants in terms of the first Betti number for the maximal metabelian quotients of (1) the Torelli group associated to the moduli space of curves; (2) nilpotent fundamental groups of compact Kaehler manifolds; (3) the Torelli group of a free group. △ Less

Submitted 7 July, 2021; v1 submitted 5 June, 2018; originally announced June 2018.

Comments: 25 pages. Final version, to appear in Duke Math. Journal

Journal ref: Duke Math. Journal 171 (2022), 2013-2046

Iterated local cohomology groups and Lyubeznik numbers for determinantal rings

Authors: András C. Lőrincz, Claudiu Raicu

Abstract: We give an explicit recipe for determining iterated local cohomology groups with support in ideals of minors of a generic matrix in characteristic zero, expressing them as direct sums of indecomposable D-modules. For non-square matrices these indecomposables are simple, but this is no longer true for square matrices where the relevant indecomposables arise from the pole order filtration associated… ▽ More We give an explicit recipe for determining iterated local cohomology groups with support in ideals of minors of a generic matrix in characteristic zero, expressing them as direct sums of indecomposable D-modules. For non-square matrices these indecomposables are simple, but this is no longer true for square matrices where the relevant indecomposables arise from the pole order filtration associated with the determinant hypersurface. Specializing our results to a single iteration, we determine the Lyubeznik numbers for all generic determinantal rings, thus answering a question of Hochster. △ Less

Submitted 22 May, 2018; originally announced May 2018.

MSC Class: 13D07; 14M12; 13D45

Homological invariants of determinantal thickenings

Authors: Claudiu Raicu

Abstract: The study of homological invariants such as Tor, Ext and local cohomology modules constitutes an important direction in commutative algebra. Explicit descriptions of these invariants are notoriously difficult to find and often involve combining an array of techniques from other fields of mathematics. In recent years tools from algebraic geometry and representation theory have been successfully emp… ▽ More The study of homological invariants such as Tor, Ext and local cohomology modules constitutes an important direction in commutative algebra. Explicit descriptions of these invariants are notoriously difficult to find and often involve combining an array of techniques from other fields of mathematics. In recent years tools from algebraic geometry and representation theory have been successfully employed in order to shed some light on the structure of homological invariants associated with determinantal rings. The goal of this notes is to survey some of these results, focusing on examples in an attempt to clarify some of the more technical statements. △ Less

Submitted 28 December, 2017; originally announced December 2017.

Comments: appeared in honorary volume dedicated to Prof. Dorin Popescu

MSC Class: 13D07; 14M12; 13D45

Journal ref: Bull. Math. Soc. Sci. Math. Roumanie, Volume 60 (108), no. 4, pages 425-446 (2017)

Equivariant D-modules on binary cubic forms

Authors: András C. Lőrincz, Claudiu Raicu, Jerzy Weyman

Abstract: We consider the space X = Sym^3(C^2) of binary cubic forms, equipped with the natural action of the group GL_2 of invertible linear transformations of C^2. We describe explicitly the category of GL_2-equivariant coherent D_X-modules as the category of representations of a quiver with relations. We show moreover that this quiver is of tame representation type and we classify its indecomposable repr… ▽ More We consider the space X = Sym^3(C^2) of binary cubic forms, equipped with the natural action of the group GL_2 of invertible linear transformations of C^2. We describe explicitly the category of GL_2-equivariant coherent D_X-modules as the category of representations of a quiver with relations. We show moreover that this quiver is of tame representation type and we classify its indecomposable representations. We also give a construction of the simple equivariant D_X-modules (of which there are 14), and give formulas for the characters of their underlying GL_2-representations. We conclude the article with an explicit calculation of (iterated) local cohomology groups with supports given by orbit closures. △ Less

Submitted 28 December, 2017; originally announced December 2017.

MSC Class: 13D45; 14F10; 16G20

On the (non-)vanishing of syzygies of Segre embeddings

Authors: Luke Oeding, Claudiu Raicu, Steven V Sam

Abstract: We analyze the vanishing and non-vanishing behavior of the graded Betti numbers for Segre embeddings of products of projective spaces. We give lower bounds for when each of the rows of the Betti table becomes non-zero, and prove that our bounds are tight for Segre embeddings of products of P^1. This generalizes results of Rubei concerning the Green-Lazarsfeld property N_p for Segre embeddings. Our… ▽ More We analyze the vanishing and non-vanishing behavior of the graded Betti numbers for Segre embeddings of products of projective spaces. We give lower bounds for when each of the rows of the Betti table becomes non-zero, and prove that our bounds are tight for Segre embeddings of products of P^1. This generalizes results of Rubei concerning the Green-Lazarsfeld property N_p for Segre embeddings. Our methods combine the Kempf-Weyman geometric technique for computing syzygies, the Ein-Erman-Lazarsfeld approach to proving non-vanishing of Betti numbers, and the theory of algebras with straightening laws. △ Less

Submitted 12 August, 2017; originally announced August 2017.

MSC Class: 13D02

Journal ref: Algebr. Geom. 6 (2019), no. 5, 571-591

Regularity and cohomology of determinantal thickenings

Authors: Claudiu Raicu

Abstract: We consider the ring S=C[x_ij] of polynomial functions on the vector space C^(m x n) of complex m x n matrices. We let GL= GL_m x GL_n and consider its action via row and column operations on C^(m x n) (and the induced action on S). For every GL-invariant ideal I in S and every j>=0, we describe the decomposition of the modules Ext^j_S(S/I,S) into irreducible GL-representations. For any inclusion… ▽ More We consider the ring S=C[x_ij] of polynomial functions on the vector space C^(m x n) of complex m x n matrices. We let GL= GL_m x GL_n and consider its action via row and column operations on C^(m x n) (and the induced action on S). For every GL-invariant ideal I in S and every j>=0, we describe the decomposition of the modules Ext^j_S(S/I,S) into irreducible GL-representations. For any inclusion I into J of GL-invariant ideals we determine the kernels and cokernels of the induced maps Ext^j_S(S/I,S) -> Ext^j_S(S/J,S). As a consequence of our work, we give a formula for the regularity of the powers and symbolic powers of generic determinantal ideals, and in particular we determine which powers have a linear minimal free resolution. As another consequence, we characterize the GL-invariant ideals I in S for which the induced maps Ext^j_S(S/I,S) -> H_I^j(S) are injective. In a different direction we verify that Kodaira vanishing, as described in work of Bhatt-Blickle-Lyubeznik-Singh-Zhang, holds for determinantal thickenings. △ Less

Submitted 12 August, 2017; v1 submitted 1 November, 2016; originally announced November 2016.

Comments: minor changes, to appear in Proc. Lond. Math. Soc

MSC Class: 14F10; 13D45; 14M12

Journal ref: Proceedings of the London Mathematical Society 116, no. 2:248-280 (2018)

Bernstein-Sato polynomials for maximal minors and sub-maximal Pfaffians

Authors: András C. Lőrincz, Claudiu Raicu, Uli Walther, Jerzy Weyman

Abstract: We determine the Bernstein-Sato polynomials for the ideal of maximal minors of a generic m x n matrix, as well as for that of sub-maximal Pfaffians of a generic skew-symmetric matrix of odd size. As a corollary, we obtain that the Strong Monodromy Conjecture holds in these two cases. We determine the Bernstein-Sato polynomials for the ideal of maximal minors of a generic m x n matrix, as well as for that of sub-maximal Pfaffians of a generic skew-symmetric matrix of odd size. As a corollary, we obtain that the Strong Monodromy Conjecture holds in these two cases. △ Less

Submitted 25 January, 2016; originally announced January 2016.

MSC Class: 13D45; 14F10; 14M12; 32C38; 32S40

Journal ref: Adv. Math. 307 (2017), 224-252

Local cohomology with support in ideals of symmetric minors and Pfaffians

Authors: Claudiu Raicu, Jerzy Weyman

Abstract: We compute the local cohomology modules H_Y^(X,O_X) in the case when X is the complex vector space of n x n symmetric, respectively skew-symmetric matrices, and Y is the closure of the GL-orbit consisting of matrices of any fixed rank, for the natural action of the general linear group GL on X. We describe the D-module composition factors of the local cohomology modules, and compute their multipli… ▽ More We compute the local cohomology modules H_Y^(X,O_X) in the case when X is the complex vector space of n x n symmetric, respectively skew-symmetric matrices, and Y is the closure of the GL-orbit consisting of matrices of any fixed rank, for the natural action of the general linear group GL on X. We describe the D-module composition factors of the local cohomology modules, and compute their multiplicities explicitly in terms of generalized binomial coefficients. One consequence of our work is a formula for the cohomological dimension of ideals of even minors of a generic symmetric matrix: in the case of odd minors, this was obtained by Barile in the 90s. Another consequence of our work is that we obtain a description of the decomposition into irreducible GL-representations of the local cohomology modules (the analogous problem in the case when X is the vector space of m x n matrices was treated in earlier work of the authors). △ Less

Submitted 14 September, 2015; originally announced September 2015.

MSC Class: 13D45; 14F10; 14M12

Journal ref: J. Lond. Math. Soc. (2) 94 (2016), no. 3, 709-725

Characters of equivariant D-modules on spaces of matrices

Authors: Claudiu Raicu

Abstract: We compute the characters of the simple GL-equivariant holonomic D-modules on the vector spaces of general, symmetric and skew-symmetric matrices. We realize some of these D-modules explicitly as subquotients in the pole order filtration associated to the determinant/Pfaffian of a generic matrix, and others as local cohomology modules. We give a direct proof of a conjecture of Levasseur in the cas… ▽ More We compute the characters of the simple GL-equivariant holonomic D-modules on the vector spaces of general, symmetric and skew-symmetric matrices. We realize some of these D-modules explicitly as subquotients in the pole order filtration associated to the determinant/Pfaffian of a generic matrix, and others as local cohomology modules. We give a direct proof of a conjecture of Levasseur in the case of general and skew-symmetric matrices, and provide counterexamples in the case of symmetric matrices. The character calculations are used in subsequent work with Weyman to describe the D-module composition factors of local cohomology modules with determinantal and Pfaffian support. △ Less

Submitted 16 January, 2016; v1 submitted 23 July, 2015; originally announced July 2015.

Comments: Reorganized the material according to the referee's suggestions. To appear in Compos. Math

MSC Class: 14F10; 13D45; 14M12

Journal ref: Compositio Math. 152 (2016) 1935-1965

Characters of equivariant D-modules on Veronese cones

Authors: Claudiu Raicu

Abstract: For d > 1, we consider the Veronese map of degree d on a complex vector space W , Ver_d : W -> Sym^d W , w -> w^d , and denote its image by Z. We describe the characters of the simple GL(W)-equivariant holonomic D-modules supported on Z. In the case when d is 2, we obtain a counterexample to a conjecture of Levasseur by exhibiting a GL(W)-equivariant D-module on the Capelli type representation Sym… ▽ More For d > 1, we consider the Veronese map of degree d on a complex vector space W , Ver_d : W -> Sym^d W , w -> w^d , and denote its image by Z. We describe the characters of the simple GL(W)-equivariant holonomic D-modules supported on Z. In the case when d is 2, we obtain a counterexample to a conjecture of Levasseur by exhibiting a GL(W)-equivariant D-module on the Capelli type representation Sym^2 W which contains no SL(W)-invariant sections. We also study the local cohomology modules H_Z^j(S), where S is the ring of polynomial functions on the vector space Sym^d W. We recover a result of Ogus showing that there is only one local cohomology module that is non-zero (namely in degree j = codim(Z)), and moreover we prove that it is a simple D-module and determine its character. △ Less

Submitted 23 July, 2015; v1 submitted 28 December, 2014; originally announced December 2014.

Comments: minor changes, to appear in Trans. AMS

MSC Class: 13D45; 14M17; 14F10; 14F40

Journal ref: Trans. Amer. Math. Soc. 369 (2017), no. 3, 2087-2108

The syzygies of some thickenings of determinantal varieties

Authors: Claudiu Raicu, Jerzy Weyman

Abstract: The vector space of m x n complex matrices (m >= n) admits a natural action of the group GL = GL_m x GL_n via row and column operations. For positive integers a,b, we consider the ideal I_{a x b} defined as the smallest GL-equivariant ideal containing the b-th powers of the a x a minors of the generic m x n matrix. We compute the syzygies of the ideals I_{a x b} for all a,b, together with their GL… ▽ More The vector space of m x n complex matrices (m >= n) admits a natural action of the group GL = GL_m x GL_n via row and column operations. For positive integers a,b, we consider the ideal I_{a x b} defined as the smallest GL-equivariant ideal containing the b-th powers of the a x a minors of the generic m x n matrix. We compute the syzygies of the ideals I_{a x b} for all a,b, together with their GL-equivariant structure, generalizing earlier results of Lascoux for the ideals of minors (b=1), and of Akin-Buchsbaum-Weyman for the powers of the ideals of maximal minors (a=n). Our methods rely on a nice connection between commutative algebra and the representation theory of the superalgebra gl(m|n), as well as on our previous calculation of Ext modules done in the context of describing local cohomology with determinantal support. Our results constitute an important ingredient in the proof by Nagpal-Sam-Snowden of the first non-trivial Noetherianity results for twisted commutative algebras which are not generated in degree one. △ Less

Submitted 16 January, 2016; v1 submitted 1 November, 2014; originally announced November 2014.

Comments: Minor edits, references added

MSC Class: 13D02; 14M12; 17B10

Journal ref: Proc. Amer. Math. Soc. 145 (2017), no. 1, 49-59

Introduction to uniformity in commutative algebra

Authors: Craig Huneke, Claudiu Raicu

Abstract: These notes are based on three lectures given by the first author as part of an introductory workshop at MSRI for the program in Commutative Algebra, 2012-13. The notes follow the talks, but there are extra comments and explanations, as well as a new section on the uniform Artin-Rees theorem. The notes deal with the theme of uniform bounds, both absolute and effective, as well as uniform annihilat… ▽ More These notes are based on three lectures given by the first author as part of an introductory workshop at MSRI for the program in Commutative Algebra, 2012-13. The notes follow the talks, but there are extra comments and explanations, as well as a new section on the uniform Artin-Rees theorem. The notes deal with the theme of uniform bounds, both absolute and effective, as well as uniform annihilation of cohomology △ Less

Submitted 29 August, 2014; originally announced August 2014.

Comments: This paper will appear in a volume connected with the MSRI program. It was written in 2013

MSC Class: 13

Local cohomology with support in generic determinantal ideals

Authors: Claudiu Raicu, Jerzy Weyman

Abstract: For positive integers m >= n >= p, we compute the GL_m x GL_n-equivariant description of the local cohomology modules of the polynomial ring S of functions on the space of m x n matrices, with support in the ideal of p x p minors. Our techniques allow us to explicitly compute all the modules Ext_S(S/I_x,S), for x a partition and I_x the ideal generated by the irreducible sub-representation of S in… ▽ More For positive integers m >= n >= p, we compute the GL_m x GL_n-equivariant description of the local cohomology modules of the polynomial ring S of functions on the space of m x n matrices, with support in the ideal of p x p minors. Our techniques allow us to explicitly compute all the modules Ext_S(S/I_x,S), for x a partition and I_x the ideal generated by the irreducible sub-representation of S indexed by x. In particular we determine the regularity of the ideals I_x, and we deduce that the only ones admitting a linear free resolution are the powers of the ideal of maximal minors of the generic matrix, as well as the products between such powers and the maximal ideal of S. △ Less

Submitted 3 September, 2013; originally announced September 2013.

Journal ref: Algebra & Number Theory 8 (2014), No. 5, 1231-1257

Local cohomology with support in ideals of maximal minors and sub-maximal Pfaffians

Authors: Claudiu Raicu, Jerzy Weyman, Emily E. Witt

Abstract: We compute the GL-equivariant description of the local cohomology modules with support in the ideal of maximal minors of a generic matrix, as well as of those with support in the ideal of 2n x 2n Pfaffians of a (2n+1)x(2n+1) generic skew-symmetric matrix. As an application, we characterize the Cohen-Macaulay modules of covariants for the action of the special linear group SL(G) on G^m. The main to… ▽ More We compute the GL-equivariant description of the local cohomology modules with support in the ideal of maximal minors of a generic matrix, as well as of those with support in the ideal of 2n x 2n Pfaffians of a (2n+1)x(2n+1) generic skew-symmetric matrix. As an application, we characterize the Cohen-Macaulay modules of covariants for the action of the special linear group SL(G) on G^m. The main tool we develop is a method for computing certain Ext modules based on the geometric technique for computing syzygies and on Matlis duality. △ Less

Submitted 8 October, 2013; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: v2: minor changes, references added, to appear in Advances in Mathematics

Journal ref: Adv. Math. 250: 596-610, 2014

Products of Young symmetrizers and ideals in the generic tensor algebra

Authors: Claudiu Raicu

Abstract: We describe a formula for computing the product of the Young symmetrizer of a Young tableau with the Young symmetrizer of a subtableau, generalizing the classical quasi-idempotence of Young symmetrizers. We derive some consequences to the structure of ideals in the generic tensor algebra and its partial symmetrizations. Instances of these generic algebras appear in the work of Sam and Snowden on t… ▽ More We describe a formula for computing the product of the Young symmetrizer of a Young tableau with the Young symmetrizer of a subtableau, generalizing the classical quasi-idempotence of Young symmetrizers. We derive some consequences to the structure of ideals in the generic tensor algebra and its partial symmetrizations. Instances of these generic algebras appear in the work of Sam and Snowden on twisted commutative algebras, as well as in the work of the author on the defining ideals of secant varieties of Segre-Veronese varieties, and in joint work of Oeding and the author on the defining ideals of tangential varieties of Segre-Veronese varieties. △ Less

Submitted 8 May, 2013; v1 submitted 30 January, 2013; originally announced January 2013.

Comments: v2: minor changes, last section moved before the proofs sections, to appear in Journal of Algebraic Combinatorics

Journal ref: J. Algebraic Combin. 39, no. 2:247-270, 2014

Non-simplicial decompositions of Betti diagrams of complete intersections

Authors: Courtney Gibbons, Jack Jeffries, Sarah Mayes, Claudiu Raicu, Branden Stone, Bryan White

Abstract: We investigate decompositions of Betti diagrams over a polynomial ring within the framework of Boij--Soederberg theory. That is, given a Betti diagram, we decompose it into pure diagrams. Relaxing the requirement that the degree sequences in such pure diagrams be totally ordered, we are able to define a multiplication law for Betti diagrams that respects the decomposition and allows us to write a… ▽ More We investigate decompositions of Betti diagrams over a polynomial ring within the framework of Boij--Soederberg theory. That is, given a Betti diagram, we decompose it into pure diagrams. Relaxing the requirement that the degree sequences in such pure diagrams be totally ordered, we are able to define a multiplication law for Betti diagrams that respects the decomposition and allows us to write a simple expression the decomposition of the Betti diagram of any complete intersection in terms of the degrees of its minimal generators. In the more traditional sense, the decomposition of complete intersections of codimension at most 3 are also computed as given by the totally ordered decomposition algorithm obtained from (Eisenbud-Schreyer, 2009). In higher codimension, obstructions arise that inspire our work on an alternative algorithm. △ Less

Submitted 21 May, 2013; v1 submitted 15 January, 2013; originally announced January 2013.

Comments: 13 pages. This is work from the 2011 MSRI Summer Graduate Workshop in Commutative Algebra

Report number: MR3370483

Journal ref: Journal of Commutative Algebra 7 (2015), no. 2, 189--206

Representation stability for syzygies of line bundles on Segre--Veronese varieties

Authors: Claudiu Raicu

Abstract: The rational homology groups of the packing complexes are important in algebraic geometry since they control the syzygies of line bundles on projective embeddings of products of projective spaces (Segre--Veronese varieties). These complexes are a common generalization of the multidimensional chessboard complexes and of the matching complexes of complete uniform hypergraphs, whose study has been a… ▽ More The rational homology groups of the packing complexes are important in algebraic geometry since they control the syzygies of line bundles on projective embeddings of products of projective spaces (Segre--Veronese varieties). These complexes are a common generalization of the multidimensional chessboard complexes and of the matching complexes of complete uniform hypergraphs, whose study has been a topic of interest in combinatorial topology. We prove that the multivariate version of representation stability, a notion recently introduced and studied by Church and Farb, holds for the homology groups of packing complexes. This allows us to deduce stability properties for the syzygies of line bundles on Segre--Veronese varieties. We provide bounds for when stabilization occurs and show that these bounds are sometimes sharp by describing the linear syzygies for a family of line bundles on Segre varieties. As a motivation for our investigation, we show in an appendix that Ein and Lazarsfeld's conjecture on the asymptotic vanishing of syzygies of coherent sheaves on arbitrary projective varieties reduces to the case of line bundles on a product of (at most three) projective spaces. △ Less

Submitted 6 September, 2012; originally announced September 2012.

MSC Class: 13D02; 14M12; 05E10; 55U10

Journal ref: J. Eur. Math. Soc. 18 (2016), no. 6, 1201-1231

Tangential varieties of Segre-Veronese varieties

Authors: Luke Oeding, Claudiu Raicu

Abstract: We determine the minimal generators of the ideal of the tangential variety of a Segre-Veronese variety, as well as the decomposition into irreducible GL-representations of its homogeneous coordinate ring. In the special case of a Segre variety, our results confirm a conjecture of Landsberg and Weyman. We determine the minimal generators of the ideal of the tangential variety of a Segre-Veronese variety, as well as the decomposition into irreducible GL-representations of its homogeneous coordinate ring. In the special case of a Segre variety, our results confirm a conjecture of Landsberg and Weyman. △ Less

Submitted 31 January, 2013; v1 submitted 26 November, 2011; originally announced November 2011.

Comments: we generalize the results from the previous version to the Segre-Veronese case

MSC Class: 14L30; 15A69; 15A72

Journal ref: Collect. Math. 65, no. 3:303-330, 2014

Secant Varieties of Segre--Veronese Varieties

Authors: Claudiu Raicu

Abstract: We prove that the ideal of the variety of secant lines to a Segre--Veronese variety is generated in degree three by minors of flattenings. In the special case of a Segre variety this was conjectured by Garcia, Stillman and Sturmfels, inspired by work on algebraic statistics, as well as by Pachter and Sturmfels, inspired by work on phylogenetic inference. In addition, we describe the decomposition… ▽ More We prove that the ideal of the variety of secant lines to a Segre--Veronese variety is generated in degree three by minors of flattenings. In the special case of a Segre variety this was conjectured by Garcia, Stillman and Sturmfels, inspired by work on algebraic statistics, as well as by Pachter and Sturmfels, inspired by work on phylogenetic inference. In addition, we describe the decomposition of the coordinate ring of the secant line variety of a Segre--Veronese variety into a sum of irreducible representations under the natural action of a product of general linear groups. △ Less

Submitted 10 November, 2011; v1 submitted 26 November, 2010; originally announced November 2010.

Comments: v2: this submission replaces the previous version, titled "The GSS conjecture", generalizing the results there to Segre--Veronese varieties

MSC Class: 14M12; 14M17

Journal ref: Algebra & Number Theory 6, no. 8:1817-1868, 2012

3x3 Minors of Catalecticants

Authors: Claudiu Raicu

Abstract: Secant varieties to Veronese embeddings of projective space are classical varieties whose equations are not completely understood. Minors of catalecticant matrices furnish some of their equations, and in some situations even generate their ideals. Geramita conjectured that this is the case for the secant line variety of the Veronese variety, namely that its ideal is generated by the 3x3 minors of… ▽ More Secant varieties to Veronese embeddings of projective space are classical varieties whose equations are not completely understood. Minors of catalecticant matrices furnish some of their equations, and in some situations even generate their ideals. Geramita conjectured that this is the case for the secant line variety of the Veronese variety, namely that its ideal is generated by the 3x3 minors of any of the "middle" catalecticants. Part of this conjecture is the statement that the ideals of 3x3 minors are equal for most catalecticants, and this was known to hold set-theoretically. We prove the equality of 3x3 minors and derive Geramita's conjecture as a consequence of previous work by Kanev. △ Less

Submitted 8 May, 2013; v1 submitted 6 November, 2010; originally announced November 2010.

Comments: v3: minor changes, to appear in Mathematical Research Letters

MSC Class: 14M12

Journal ref: Math. Res. Lett. 20, no. 4:745-756, 2013

Affine Toric Equivalence Relations are Effective

Authors: Claudiu Raicu

Abstract: Any map of schemes $X\to Y$ defines an equivalence relation $R=X\times_Y X\to X\times X$, the relation of "being in the same fiber". We have shown elsewhere that not every equivalence relation has this form, even if it is assumed to be finite. By contrast, we prove here that every toric equivalence relation on an affine toric variety does come from a morphism and that quotients by finite toric e… ▽ More Any map of schemes $X\to Y$ defines an equivalence relation $R=X\times_Y X\to X\times X$, the relation of "being in the same fiber". We have shown elsewhere that not every equivalence relation has this form, even if it is assumed to be finite. By contrast, we prove here that every toric equivalence relation on an affine toric variety does come from a morphism and that quotients by finite toric equivalence relations always exist in the affine case. In special cases, this result is a consequence of the vanishing of the first cohomology group in the Amitsur complex associated to a toric map of toric algebras. We prove more generally the exactness of the Amitsur complex for maps of commutative monoid rings. △ Less

Submitted 25 August, 2009; v1 submitted 29 May, 2009; originally announced May 2009.

Comments: v2: substantial revisions - generalized Theorem 3.1, corrected treatment of the general case of Theorem 4.1, removed erroneous assertion of sigma bar being a pointed affine monoid, added one reference

MSC Class: 14A15; 14L30

Journal ref: Proc. Amer. Math. Soc. 138: 3835-3847, 2010