Source author record

Claudiu Raicu

Claudiu Raicu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2021arXiv

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

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.

preprint2021arXiv

Hermite reciprocity and Schwarzenberger bundles

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)$.

preprint2021arXiv

On some modules supported in the Chow variety

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.

preprint2020arXiv

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

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$.

preprint2019arXiv

Koszul modules and Green's conjecture

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.

preprint2016arXiv

The syzygies of some thickenings of determinantal varieties

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.

preprint2014arXiv

Introduction to uniformity in commutative algebra

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

preprint2013arXiv

3x3 Minors of Catalecticants

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.

preprint2013arXiv

Local cohomology with support in generic determinantal ideals

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.

preprint2013arXiv

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

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.

preprint2013arXiv

Products of Young symmetrizers and ideals in the generic tensor algebra

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.

preprint2012arXiv

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

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.

preprint2011arXiv

Secant Varieties of Segre--Veronese Varieties

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.

preprint2009arXiv

Affine Toric Equivalence Relations are Effective

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.