Showing 1–50 of 77 results for author: Weyman, J

Generic models of licci ideals parametrized by Schur functors

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: Let R be a commutative Noetherian ring. Licci ideals are the ideals of R that can be linked in a finite number of steps to a complete intersection. Each licci ideal admits a rigid deformation, and two licci ideals are in the same Herzog class if they have a common deformation. In this work, we show how all the Herzog classes of licci ideals of codimension 3 can be parametrized in terms of pairs of… ▽ More Let R be a commutative Noetherian ring. Licci ideals are the ideals of R that can be linked in a finite number of steps to a complete intersection. Each licci ideal admits a rigid deformation, and two licci ideals are in the same Herzog class if they have a common deformation. In this work, we show how all the Herzog classes of licci ideals of codimension 3 can be parametrized in terms of pairs of partitions associated to Schur functors. This fact allows to describe in a purely combinatorial way the (infinite) graph whose vertices correspond to Herzog classes and edges represent direct links between representatives of such classes. As applications, we obtain results on the classification of multiplications in Tor Algebras, and new structure theorems for families of licci ideals. In the final section, we extend many of these results to arbitrary codimension, but under some conjectural assumptions. △ Less

Submitted 11 June, 2025; originally announced June 2025.

Comments: 48 pages, comments are welcome

MSC Class: 13D02; 13C05; 13C40

Structure theorems for Gorenstein ideals of codimension four with small number of generators

Authors: Tymoteusz Chmiel, Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: In this article we study minimal free resolutions of Gorenstein ideals of codimension four, using methods coming from representation theory. We introduce families of higher structure maps associated with such resolution, defined similarly to the codimension three case. As our main application, we prove that every Gorenstein ideal of codimension four minimally generated by six elements is a hyperpl… ▽ More In this article we study minimal free resolutions of Gorenstein ideals of codimension four, using methods coming from representation theory. We introduce families of higher structure maps associated with such resolution, defined similarly to the codimension three case. As our main application, we prove that every Gorenstein ideal of codimension four minimally generated by six elements is a hyperplane section of a Gorenstein ideal of codimension three, strengthening a result by Herzog-Miller and Vasconcelos-Villarreal. We state analogous conjectural results for ideals minimally generated by seven and eight elements. △ Less

Submitted 11 March, 2025; originally announced March 2025.

MSC Class: 13C05; 13D02; 13H10

The linkage class of a grade three complete intersection

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: Working over a field of characteristic zero, we give structure theorems for all grade three licci ideals and their minimal free resolutions. In particular, we completely classify such ideals up to deformation. The descriptions of their resolutions extend earlier results by Buchsbaum-Eisenbud, Brown, and Sanchez. Our primary tool is the theory of higher structure maps originating from the study of… ▽ More Working over a field of characteristic zero, we give structure theorems for all grade three licci ideals and their minimal free resolutions. In particular, we completely classify such ideals up to deformation. The descriptions of their resolutions extend earlier results by Buchsbaum-Eisenbud, Brown, and Sanchez. Our primary tool is the theory of higher structure maps originating from the study of generic free resolutions of length three. △ Less

Submitted 30 November, 2024; originally announced December 2024.

MSC Class: 13C05

Residual Intersections and Schubert Varieties

Authors: Sara Angela Filippini, Xianglong Ni, Jacinta Torres, Jerzy Weyman

Abstract: Inspired by the work of Ulrich and Huneke-Ulrich, we describe a pattern to show that the ideals of certain opposite embedded Schubert varieties defined by this pattern arise by taking residual intersections of two geometrically linked opposite Schubert varieties. This pattern is uniform for the ADE types. Some of the free resolutions of the Schubert varieties in question are important for the stru… ▽ More Inspired by the work of Ulrich and Huneke-Ulrich, we describe a pattern to show that the ideals of certain opposite embedded Schubert varieties defined by this pattern arise by taking residual intersections of two geometrically linked opposite Schubert varieties. This pattern is uniform for the ADE types. Some of the free resolutions of the Schubert varieties in question are important for the structure of finite free resolutions. Our proof is representation theoretical and uniform for our pattern, however it is possible to derive our results using case-by-case analysis and the aid of a computer. △ Less

Submitted 20 November, 2024; originally announced November 2024.

Comments: 16 pages, comments welcome

An ADE correspondence for grade three perfect ideals

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: Using the theory of "higher structure maps" from generic rings for free resolutions of length three, we give a classification of grade 3 perfect ideals with small type and deviation in local rings of equicharacteristic zero, extending the Buchsbaum-Eisenbud structure theorem on Gorenstein ideals and realizing it as the type D case of an ADE correspondence. We also deduce restrictions on Betti tabl… ▽ More Using the theory of "higher structure maps" from generic rings for free resolutions of length three, we give a classification of grade 3 perfect ideals with small type and deviation in local rings of equicharacteristic zero, extending the Buchsbaum-Eisenbud structure theorem on Gorenstein ideals and realizing it as the type D case of an ADE correspondence. We also deduce restrictions on Betti tables in the graded setting for such ideals. △ Less

Submitted 2 July, 2024; originally announced July 2024.

MSC Class: 13C05

Bernstein-Gelfand-Gelfand meets geometric complexity theory: resolving the 2 x 2 permanents of a 2 x n matrix

Authors: Fulvio Gesmundo, Hang, Huang, Hal Schenck, Jerzy Weyman

Abstract: We describe the minimal free resolution of the ideal of $2 \times 2$ subpermanents of a $2 \times n$ generic matrix $M$. In contrast to the case of $2 \times 2$ determinants, the $2 \times 2$ permanents define an ideal which is neither prime nor Cohen-Macaulay. We combine work of Laubenbacher-Swanson on the Gröbner basis of an ideal of $2 \times 2$ permanents of a generic matrix with our previous… ▽ More We describe the minimal free resolution of the ideal of $2 \times 2$ subpermanents of a $2 \times n$ generic matrix $M$. In contrast to the case of $2 \times 2$ determinants, the $2 \times 2$ permanents define an ideal which is neither prime nor Cohen-Macaulay. We combine work of Laubenbacher-Swanson on the Gröbner basis of an ideal of $2 \times 2$ permanents of a generic matrix with our previous work connecting the initial ideal of $2 \times 2$ permanents to a simplicial complex. The main technical tool is a spectral sequence arising from the Bernstein-Gelfand-Gelfand correspondence. △ Less

Submitted 19 November, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: v1: 24 pages, 4 figures, v2: changes made to reflect referee input

MSC Class: 13D02; 13F55; 13C40; 68Q15

Free resolutions constructed from bigradings on Lie algebras

Authors: Xianglong Ni, Jerzy Weyman

Abstract: We construct two families of free resolutions that resolve the ideals of certain opposite Schubert varieties restricted to the big open cell. We conjecture that these examples have genericity properties translating to structure theorems for perfect ideals with given Betti numbers, extending the well-known theorem of Buchsbaum and Eisenbud on Gorenstein ideals of codimension three. We construct two families of free resolutions that resolve the ideals of certain opposite Schubert varieties restricted to the big open cell. We conjecture that these examples have genericity properties translating to structure theorems for perfect ideals with given Betti numbers, extending the well-known theorem of Buchsbaum and Eisenbud on Gorenstein ideals of codimension three. △ Less

Submitted 3 April, 2023; originally announced April 2023.

MSC Class: 13D02; 13C05; 13H10; 14M15

Artinian Gorenstein algebras of embedding dimension four and socle degree three

Authors: Pedro Macias Marques, Oana Veliche, Jerzy Weyman

Abstract: We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be obtained by \emph{doubling} from a grade three perfect ideal $J\subset I$ such that $Q/J$ is a locally Gorenstein ring. Moreover, a graded minimal free resolution o… ▽ More We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be obtained by \emph{doubling} from a grade three perfect ideal $J\subset I$ such that $Q/J$ is a locally Gorenstein ring. Moreover, a graded minimal free resolution of the $Q$-module $Q/I$ can be completely described in terms of a graded minimal free resolution of the $Q$-module $Q/J$ and a homogeneous embedding of a shift of the canonical module $ω_{Q/J}$ into $Q/J$. △ Less

Submitted 11 December, 2022; originally announced December 2022.

Comments: 42 pages

MSC Class: Primary 13C05. Secondary 13H10; 13A02; 13D02; 13D07

Journal ref: Journal of Algebra (2024) Volume 638, 788-839

Higher structure maps for free resolutions of length 3 and linkage

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: Let $I$ be a perfect ideal of height 3 in a Gorenstein local ring $R$. Let $\mathbb{F}$ be the minimal free resolution of $I$. A sequence of linear maps, which generalize the multiplicative structure of $\mathbb{F}$, can be defined using the generic ring associated to the format of $\mathbb{F}$. Let $J$ be an ideal linked to $I$. We provide formulas to compute some of these maps for the free resol… ▽ More Let $I$ be a perfect ideal of height 3 in a Gorenstein local ring $R$. Let $\mathbb{F}$ be the minimal free resolution of $I$. A sequence of linear maps, which generalize the multiplicative structure of $\mathbb{F}$, can be defined using the generic ring associated to the format of $\mathbb{F}$. Let $J$ be an ideal linked to $I$. We provide formulas to compute some of these maps for the free resolution of $J$ in terms of those of the free resolution of $I$. We apply our results to describe classes of licci ideals, showing that a perfect ideal with Betti numbers $(1,5,6,2)$ is licci if and only if at least one of these maps is nonzero modulo the maximal ideal of $R$. △ Less

Submitted 15 March, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: 33 pages

MSC Class: 13D02; 13C05; 13C40

Jacobi-Trudi formulas and determinantal varieties

Authors: Steven V Sam, Jerzy Weyman

Abstract: Gessel gave a determinantal expression for certain sums of Schur functions which visually looks like the classical Jacobi-Trudi formula. We explain the commonality of these formulas using a construction of Zelevinsky involving BGG complexes and use this explanation to generalize this formula in a few different directions. Gessel gave a determinantal expression for certain sums of Schur functions which visually looks like the classical Jacobi-Trudi formula. We explain the commonality of these formulas using a construction of Zelevinsky involving BGG complexes and use this explanation to generalize this formula in a few different directions. △ Less

Submitted 15 June, 2022; originally announced June 2022.

Comments: 14 pages

Journal ref: Algebraic Combinatorics 6 (2023) no. 5, 1163-1175

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

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

Almost Gorenstein determinantal rings of symmetric matrices

Authors: Ela Celikbas, Naoki Endo, Jai Laxmi, Jerzy Weyman

Abstract: We provide a characterization of the almost Gorenstein property of determinantal rings of a symmetric matrix of indeterminates over an infinite field. We give an explicit formula for ranks of the last two modules in the resolution of determinantal rings using Schur functors. We provide a characterization of the almost Gorenstein property of determinantal rings of a symmetric matrix of indeterminates over an infinite field. We give an explicit formula for ranks of the last two modules in the resolution of determinantal rings using Schur functors. △ Less

Submitted 17 August, 2021; originally announced August 2021.

Comments: 10 pages

MSC Class: 13H10; 13H15; 13D02

Three takes on almost complete intersection ideals of grade 3

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: We are interested in the structure of almost complete intersection ideals of grade 3. We give three constructions of these ideals and their free resolutions: one from the commutative algebra point of view, an equivariant construction giving a nice canonical form, andfinally an interpretation in terms of open sets in certain Schubert varieties. We are interested in the structure of almost complete intersection ideals of grade 3. We give three constructions of these ideals and their free resolutions: one from the commutative algebra point of view, an equivariant construction giving a nice canonical form, andfinally an interpretation in terms of open sets in certain Schubert varieties. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: 47 pp

MSC Class: 13C05; 13H10

Minuscule Schubert Varieties of Exceptional Type

Authors: Sara Angela Filippini, Jacinta Torres, Jerzy Weyman

Abstract: We study exceptional minuscule Schubert varieties and provide the defining equations of the defining ideals of their intersection with the big open cell. We also provide the resolutions of these ideals and characterize some of them in terms of fundamental examples of ideals in the theory of Gorenstein ideals. We study exceptional minuscule Schubert varieties and provide the defining equations of the defining ideals of their intersection with the big open cell. We also provide the resolutions of these ideals and characterize some of them in terms of fundamental examples of ideals in the theory of Gorenstein ideals. △ Less

Submitted 21 December, 2020; originally announced December 2020.

Comments: 21 pages, comments welcome

Mapping resolutions of length three I

Authors: Lorenzo Guerrieri, Jerzy Weyman

Abstract: We produce some interesting families of resolutions of length three by describing certain open subsets of the spectrum of the generic ring for such resolutions constructed in a recent paper by Weyman. We produce some interesting families of resolutions of length three by describing certain open subsets of the spectrum of the generic ring for such resolutions constructed in a recent paper by Weyman. △ Less

Submitted 27 July, 2022; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 23 pages

MSC Class: 13C05; 13D02

Minors of a skew symmetric matrix: A combinatorial approach

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: We use Knuth's combinatorial approach to Pfaffians to reprove and clarify a century-old formula, due to Brill. It expresses arbitrary minors of a skew symmetric matrix in terms of Pfaffians. We use Knuth's combinatorial approach to Pfaffians to reprove and clarify a century-old formula, due to Brill. It expresses arbitrary minors of a skew symmetric matrix in terms of Pfaffians. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Comments: Final version, to appear in Electron. J. Linear Algebra; 6 pp

MSC Class: 15A15; 15A24

Schubert varieties and finite free resolutions of length three

Authors: Steven V Sam, Jerzy Weyman

Abstract: In this paper we describe the relationship between the finite free resolutions of perfect ideals in split format (for Dynkin formats) and certain intersections of opposite Schubert varieties with the big cell for homogeneous spaces $G/P$ where $P$ is a maximal parabolic subgroup. In this paper we describe the relationship between the finite free resolutions of perfect ideals in split format (for Dynkin formats) and certain intersections of opposite Schubert varieties with the big cell for homogeneous spaces $G/P$ where $P$ is a maximal parabolic subgroup. △ Less

Submitted 3 May, 2020; originally announced May 2020.

Comments: 12 pages; Dedicated to Laurent Gruson with thanks for his guidance and friendship

MSC Class: 13D02; 13H10; 14M15

Journal ref: Proc. Amer. Math. Soc. 149 (2021), 1943-1955

Spinor structures on free resolutions of codimension four Gorenstein ideals

Authors: Ela Celikbas, Jai Laxmi, Jerzy Weyman

Abstract: We analyze the structure of spinor coordinates on resolutions of Gorenstein ideals of codimension four. As an application we produce a family of such ideals with seven generators which are not specializations of Kustin-Miller model. We analyze the structure of spinor coordinates on resolutions of Gorenstein ideals of codimension four. As an application we produce a family of such ideals with seven generators which are not specializations of Kustin-Miller model. △ Less

Submitted 8 August, 2021; v1 submitted 16 December, 2019; originally announced December 2019.

Comments: 26 pages, 1 figure, 2 tables Major changes: 1) Section 2: Background in Representation Theory (new section). 2) Revised section 3 (The background on free resolutions). 3) Revised Definition 4.1, modified the statement of Theorem 4.2, added a new Remark 4.3, and revised the proof of Theorem 4.2. 4) Examples in sections 5, 6, and 7 are also revised

Local cohomology on a subexceptional series of representations

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

Abstract: We consider a series of four subexceptional representations coming from the third line of the Freudenthal-Tits magic square; using Bourbaki notation, these are fundamental representations $(G',X)$ corresponding to $(C_3, ω_3),\, (A_5, ω_3), \, (D_6, ω_5)$ and $(E_7, ω_6)$. In each of these four cases, the group $G=G'\times \mathbb{C}^*$ acts on $X$ with five orbits, and many invariants display a u… ▽ More We consider a series of four subexceptional representations coming from the third line of the Freudenthal-Tits magic square; using Bourbaki notation, these are fundamental representations $(G',X)$ corresponding to $(C_3, ω_3),\, (A_5, ω_3), \, (D_6, ω_5)$ and $(E_7, ω_6)$. In each of these four cases, the group $G=G'\times \mathbb{C}^*$ acts on $X$ with five orbits, and many invariants display a uniform behavior, e.g. dimension of orbits, their defining ideals and the character of their coordinate rings as $G$-modules. In this paper, we determine some more subtle invariants and analyze their uniformity within the series. We describe the category of $G$-equivariant coherent $\mathcal{D}_X$-modules as the category of representations of a quiver with relations. We construct explicitly the simple $G$-equivariant $\mathcal{D}_X$-modules and compute the characters of their underlying $G$-structures. We determine the local cohomology groups with supports given by orbit closures, determining their precise $\mathcal{D}_X$-module structure. As a consequence, we calculate the intersection cohomology groups and Lyubeznik numbers of the orbit closures. While our results for the cases $(A_5, ω_3), \, (D_6, ω_5)$ and $(E_7, ω_6)$ are still completely uniform, the case $(C_3, ω_3)$ displays a surprisingly different behavior. We give two explanations for this phenomenon: one topological, as the middle orbit of $(C_3, ω_3)$ is not simply-connected; one geometric, as the closure of the orbit is not Gorenstein. △ Less

Submitted 23 June, 2021; v1 submitted 29 October, 2019; originally announced October 2019.

Comments: 23 pages. To appear in Annales de l'Institut Fourier

MSC Class: 14F10; 14B15; 13D45; 13A50; 11S90

Linkage classes of grade 3 perfect ideals

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection ideal, it is known not to be the case for ideals of grade 3. We soften the blow by proving that every grade 3 perfect ideal in a regular local ring is linked to a complete intersection or a Golod ideal. Our proof is indebted to a homological classification of Cohen-Macaulay local rings of codimension 3.… ▽ More While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection ideal, it is known not to be the case for ideals of grade 3. We soften the blow by proving that every grade 3 perfect ideal in a regular local ring is linked to a complete intersection or a Golod ideal. Our proof is indebted to a homological classification of Cohen-Macaulay local rings of codimension 3. That debt is swiftly repaid, as we use linkage to reveal some of the finer structures of this classification. △ Less

Submitted 3 June, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: Added proofs of 4.1 and 4.4; strengthened 5.3. Final version, to appear in J. Pure Appl. Algebra; 29 pp

MSC Class: Primary 13C40. Secondary 13D02; 13H10

The family of perfect ideals of codimension 3, of type 2 with 5 generators

Authors: Ela Celikbas, Jai Laxmi, Witold Kraśkiewicz, Jerzy Weyman

Abstract: In this paper we define an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two with trivial multiplication on the Tor algebra. This family is likely to play a key role in classifying perfect ideals with five generators of type two. In this paper we define an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two with trivial multiplication on the Tor algebra. This family is likely to play a key role in classifying perfect ideals with five generators of type two. △ Less

Submitted 23 December, 2018; originally announced December 2018.

Comments: 11 pages

MSC Class: 13C40; 13D02; 13H10

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

Some branching formulas for Kac--Moody Lie algebras

Authors: Kyu-Hwan Lee, Jerzy Weyman

Abstract: In this paper we give some branching rules for the fundamental representations of Kac--Moody Lie algebras associated to $T$-shaped graphs. These formulas are useful to describe generators of the generic rings for free resolutions of length three described in [JWm16]. We also make some conjectures about the generic rings. In this paper we give some branching rules for the fundamental representations of Kac--Moody Lie algebras associated to $T$-shaped graphs. These formulas are useful to describe generators of the generic rings for free resolutions of length three described in [JWm16]. We also make some conjectures about the generic rings. △ Less

Submitted 30 April, 2022; v1 submitted 26 April, 2018; originally announced April 2018.

Comments: A typo is corrected

Free resolutions of orbit closures of Dynkin quivers

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

Abstract: We use the Kempf-Lascoux-Weyman geometric technique in order to determine the minimal free resolutions of some orbit closures of quivers. As a consequence, we obtain that for Dynkin quivers orbit closures of 1-step representations are normal with rational singularities. For Dynkin quivers of type $A$, we describe explicit minimal generators of the defining ideals of orbit closures of 1-step repres… ▽ More We use the Kempf-Lascoux-Weyman geometric technique in order to determine the minimal free resolutions of some orbit closures of quivers. As a consequence, we obtain that for Dynkin quivers orbit closures of 1-step representations are normal with rational singularities. For Dynkin quivers of type $A$, we describe explicit minimal generators of the defining ideals of orbit closures of 1-step representations. Using this, we provide an algorithm for type $A$ quivers for describing an efficient set of generators of the defining ideal of the orbit closure of any representation. △ Less

Submitted 30 December, 2017; originally announced January 2018.

MSC Class: 13D02; 14B05; 14M05; 14M12; 14M15; 16G20

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

Free resolutions of Dynkin format and the licci property of grade 3 perfect ideals

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: Recent work on generic free resolutions of length 3 attaches to every resolution a graph and suggests that resolutions whose associated graph is a Dynkin diagram are distinguished. We conjecture that in a regular local ring, every grade 3 perfect ideal whose minimal free resolution is distinguished in this way is in the linkage class of a complete intersection. Recent work on generic free resolutions of length 3 attaches to every resolution a graph and suggests that resolutions whose associated graph is a Dynkin diagram are distinguished. We conjecture that in a regular local ring, every grade 3 perfect ideal whose minimal free resolution is distinguished in this way is in the linkage class of a complete intersection. △ Less

Submitted 17 January, 2019; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: Minor edits. Final version, to appear in Math. Scand., 13 pp

MSC Class: 13C40; 13D02

Gale-Robinson quivers: from representations to combinatorial formulas

Authors: Max Glick, Jerzy Weyman

Abstract: We investigate a family of representations of Gale-Robinson quivers that are geared towards providing concrete information about the corresponding cluster algebras. In this way, we provide a representation theoretic explanation for known combinatorial formulas for the Gale-Robinson sequence and also obtain similar formulas for several other cluster variables. We investigate a family of representations of Gale-Robinson quivers that are geared towards providing concrete information about the corresponding cluster algebras. In this way, we provide a representation theoretic explanation for known combinatorial formulas for the Gale-Robinson sequence and also obtain similar formulas for several other cluster variables. △ Less

Submitted 26 October, 2017; originally announced October 2017.

Comments: 27 pages, 6 figures

Extending Upper Cluster Algebras

Authors: Jiarui Fei, Jerzy Weyman

Abstract: Let $S$ be an upper cluster algebra, which is a subalgebra of $R$. Suppose that there is some cluster variable $x_e$ such that ${R}_{{x}_e} = S[{x}_e^{\pm 1}]$. We try to understand under which conditions ${R}$ is an upper cluster algebra, and how the quiver of $R$ relates to that of $S$. Moreover, if the restriction of $(Δ,W)$ to some subquiver is a cluster model, we give a sufficient condition f… ▽ More Let $S$ be an upper cluster algebra, which is a subalgebra of $R$. Suppose that there is some cluster variable $x_e$ such that ${R}_{{x}_e} = S[{x}_e^{\pm 1}]$. We try to understand under which conditions ${R}$ is an upper cluster algebra, and how the quiver of $R$ relates to that of $S$. Moreover, if the restriction of $(Δ,W)$ to some subquiver is a cluster model, we give a sufficient condition for $(Δ,W)$ itself being a cluster model. As an application, we show that the semi-invariant ring of any complete $m$-tuple flags is an upper cluster algebra whose quiver is explicitly given. Moreover, the quiver with its rigid potential is a polyhedral cluster model. △ Less

Submitted 14 July, 2017; originally announced July 2017.

Comments: 27 pages,7 figures. Comments are welcome

MSC Class: Primary 13F60; 16G20; Secondary 13A50

Moduli spaces of representations of special biserial algebras

Authors: Andrew T. Carroll, Calin Chindris, Ryan Kinser, Jerzy Weyman

Abstract: We show that the irreducible components of any moduli space of semistable representations of a special biserial algebra are always isomorphic to products of projective spaces of various dimensions. This is done by showing that irreducible components of varieties of representations of special biserial algebras are isomorphic to irreducible components of products of varieties of circular complexes,… ▽ More We show that the irreducible components of any moduli space of semistable representations of a special biserial algebra are always isomorphic to products of projective spaces of various dimensions. This is done by showing that irreducible components of varieties of representations of special biserial algebras are isomorphic to irreducible components of products of varieties of circular complexes, and therefore normal, allowing us to apply recent results of the second and third authors on moduli spaces. △ Less

Submitted 13 February, 2018; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 14 pages. v2: various improvements thanks to referees' comments. Some numbering changes due to a lemma being removed. v3: minor improvements, final version to be published

MSC Class: 16G20

Journal ref: International Mathematics Research Notices, Volume 2020, Issue 2, January 2020, Pages 403-421

Embeddings of canonical modules and resolutions of connected sums

Authors: Ela Celikbas, Jai Laxmi, Jerzy Weyman

Abstract: For an ideal $I_{m,n}$ generated by all square-free monomials of degree $m$ in a polynomial ring $R$ with $n$ variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this explicit embedding depends on a minimal free $R$-resolution of an ideal generated by $I_{m,n}$. Using this embedding, we give a resolution of connected sums of sev… ▽ More For an ideal $I_{m,n}$ generated by all square-free monomials of degree $m$ in a polynomial ring $R$ with $n$ variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this explicit embedding depends on a minimal free $R$-resolution of an ideal generated by $I_{m,n}$. Using this embedding, we give a resolution of connected sums of several copies of certain Artinian $k$-algebras where $k$ is a field. △ Less

Submitted 10 April, 2017; originally announced April 2017.

MSC Class: 13D02; 13D40; 13H10; 20C30 (Primary); 13F55 (Secondary)

Picture groups of finite type and cohomology in type $A_n$

Authors: Kiyoshi Igusa, Gordana Todorov, Jerzy Weyman

Abstract: For every quiver (valued) of finite representation type we define a finitely presented group called a picture group. This group is very closely related to the cluster theory of the quiver. For example, positive expressions for the Coxeter element in the group are in bijection with maximal green sequences [IT17]. The picture group is derived from the semi-invariant picture for the quiver. We use th… ▽ More For every quiver (valued) of finite representation type we define a finitely presented group called a picture group. This group is very closely related to the cluster theory of the quiver. For example, positive expressions for the Coxeter element in the group are in bijection with maximal green sequences [IT17]. The picture group is derived from the semi-invariant picture for the quiver. We use this picture to construct a finite CW complex which (by [IT16]) is a $K(π,1)$ for this group. The cells are in bijection with cluster tilting objects. For example, in type $A_n$ there are a Catalan number of cells. The main result of this paper is the computation of the cohomology ring of all picture groups of type $A_n$ with any orientation and any coefficient ring. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Comments: 35 pages, 6 figures

MSC Class: 16G20

The method of shifted partial derivatives cannot separate the permanent from the determinant

Authors: Klim Efremenko, J. M. Landsberg, Hal Schenck, Jerzy Weyman

Abstract: The method of shifted partial derivatives was used to prove a super-polynomial lower bound on the size of depth four circuits needed to compute the permanent. We show that this method alone cannot prove that the padded permanent $\ell^{n-m} perm_m$ cannot be realized inside the $GL_{n^2}$-orbit closure of the determinant $ det_n$ when $n>2m^2+2m$. Our proof relies on several simple degenerations o… ▽ More The method of shifted partial derivatives was used to prove a super-polynomial lower bound on the size of depth four circuits needed to compute the permanent. We show that this method alone cannot prove that the padded permanent $\ell^{n-m} perm_m$ cannot be realized inside the $GL_{n^2}$-orbit closure of the determinant $ det_n$ when $n>2m^2+2m$. Our proof relies on several simple degenerations of the determinant polynomial, Macaulay's theorem that gives a lower bound on the growth of an ideal, and a lower bound estimate from Gupta et. al. regarding the shifted partial derivatives of the determinant. △ Less

Submitted 7 September, 2016; originally announced September 2016.

Comments: This is one half the replacement of arXiv:1504.05171 which has been split into two papers

MSC Class: 68Q17; 13D02; 14L30; 20B30

Generic free resolutions and root systems

Authors: Jerzy Weyman

Abstract: In this paper I give an explicit construction of the generic ring R_{gen} for finite free resolutions of length 3. The corresponding problem for resolutions of length 2 was solved in 1970'ies by Hochster and Huneke. The key role is played by the defect Lie algebra introduced in my old work on the subject. The defect Lie algebra turns out to be a parabolic Lie algebra in a Kac-Moody Lie algebra ass… ▽ More In this paper I give an explicit construction of the generic ring R_{gen} for finite free resolutions of length 3. The corresponding problem for resolutions of length 2 was solved in 1970'ies by Hochster and Huneke. The key role is played by the defect Lie algebra introduced in my old work on the subject. The defect Lie algebra turns out to be a parabolic Lie algebra in a Kac-Moody Lie algebra associated to the graph T_{p,q,r} corresponding to the format of the resolution. The ring R_{gen} is Noetherian if and only if the graph T_{p.q.r} is a Dynkin graph. △ Less

Submitted 7 September, 2016; originally announced September 2016.

Isotropic Schur roots

Authors: Charles Paquette, Jerzy Weyman

Abstract: In this paper, we study the isotropic Schur roots of an acyclic quiver $Q$ with $n$ vertices. We study the perpendicular category $\mathcal{A}(d)$ of a dimension vector $d$ and give a complete description of it when $d$ is an isotropic Schur $δ$. This is done by using exceptional sequences and by defining a subcategory $\mathcal{R}(Q,δ)$ attached to the pair $(Q,δ)$. The latter category is always… ▽ More In this paper, we study the isotropic Schur roots of an acyclic quiver $Q$ with $n$ vertices. We study the perpendicular category $\mathcal{A}(d)$ of a dimension vector $d$ and give a complete description of it when $d$ is an isotropic Schur $δ$. This is done by using exceptional sequences and by defining a subcategory $\mathcal{R}(Q,δ)$ attached to the pair $(Q,δ)$. The latter category is always equivalent to the category of representations of a connected acyclic quiver $Q_{\mathcal{R}}$ of tame type, having a unique isotropic Schur root, say $δ_{\mathcal{R}}$. The understanding of the simple objects in $\mathcal{A}(δ)$ allows us to get a finite set of generators for the ring of semi-invariants SI$(Q,δ)$ of $Q$ of dimension vector $δ$. The relations among these generators come from the representation theory of the category $\mathcal{R}(Q,δ)$ and from a beautiful description of the cone of dimension vectors of $\mathcal{A}(δ)$. Indeed, we show that SI$(Q,δ)$ is isomorphic to the ring of semi-invariants SI$(Q_{\mathcal{R}},δ_{\mathcal{R}})$ to which we adjoin variables. In particular, using a result of Skowroński and Weyman, the ring SI$(Q,δ)$ is a polynomial ring or a hypersurface. Finally, we provide an algorithm for finding all isotropic Schur roots of $Q$. This is done by an action of the braid group $B_{n-1}$ on some exceptional sequences. This action admits finitely many orbits, each such orbit corresponding to an isotropic Schur root of a tame full subquiver of $Q$. △ Less

Submitted 18 May, 2016; originally announced May 2016.

Comments: 31 pages

MSC Class: 16G20

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

Trimming a Gorenstein ideal

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings. Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings. △ Less

Submitted 18 January, 2017; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: Corrected statement of Lemma 2.3 and updated proof of Theorem 2.4. Final version, to appear in J. Commut. Algebra; 11 pp

MSC Class: 13C99; 13H10

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

Modulated semi-invariants

Authors: Kiyoshi Igusa, Kent Orr, Gordana Todorov, Jerzy Weyman

Abstract: We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on t… ▽ More We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on the cluster tilting objects. Applications of these theorems are given in several concurrently written papers. △ Less

Submitted 1 September, 2015; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: 41 pages, 1 figure, many minor changes, c-vector theorem redone

MSC Class: 16G20 (Primary) 20F55 (Secondary)

On minimal free resolutions of sub-permanents and other ideals arising in complexity theory

Authors: Klim Efremenko, J. M. Landsberg, Hal Schenck, Jerzy Weyman

Abstract: We compute the linear strand of the minimal free resolution of the ideal generated by k x k sub-permanents of an n x n generic matrix and of the ideal generated by square-free monomials of degree k. The latter calculation gives the full minimal free resolution by work of Biagioli-Faridi-Rosas. Our motivation is to lay groundwork for the use of commutative algebra in algebraic complexity theory. We… ▽ More We compute the linear strand of the minimal free resolution of the ideal generated by k x k sub-permanents of an n x n generic matrix and of the ideal generated by square-free monomials of degree k. The latter calculation gives the full minimal free resolution by work of Biagioli-Faridi-Rosas. Our motivation is to lay groundwork for the use of commutative algebra in algebraic complexity theory. We also compute several Hilbert functions relevant for complexity theory. △ Less

Submitted 3 December, 2017; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: Prior version split into two parts; portion on method of shifted partials is now arXiv 1609.02103. Title changed to reflect modification. V2: changes suggested by referee

MSC Class: 68Q17; 13D02; 14L30; 20B30

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

Top-stable degenerations of finite dimensional representations II

Authors: H. Derksen, B. Huisgen-Zimmermann, J. Weyman

Abstract: Let $Λ$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $Λ$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any semisimple object $T \in Λ\text{-mod}$, the class of those $Λ$-modules with fixed dimension vector (say $\bf d$) and top $T$ which do not permit any proper top-stable degenerations… ▽ More Let $Λ$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $Λ$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any semisimple object $T \in Λ\text{-mod}$, the class of those $Λ$-modules with fixed dimension vector (say $\bf d$) and top $T$ which do not permit any proper top-stable degenerations possesses a fine moduli space. This moduli space, $\mathfrak{ModuliMax}^T_{\bf d}$, is a projective variety. Despite classifiability up to isomorphism, the targeted collections of modules are representation-theoretically rich: indeed, any projective variety arises as $\mathfrak{ModuliMax}^T_{\bf d}$ for suitable choices of $Λ$, $\bf d$, and $T$. In tandem, we give a structural characterization of the finite dimensional representations that have no proper top-stable degenerations. △ Less

Submitted 10 July, 2014; originally announced July 2014.

MSC Class: 16G10; 14D20; 16D70; 16G20

Journal ref: Advances in Math. 259 (2014) 730-765

Periodic trees and semi-invariants

Authors: Kiyoshi Igusa, Gordana Todorov, Jerzy Weyman

Abstract: Periodic trees are combinatorial structures which are in bijection with cluster tilting objects in cluster categories of affine type $\tilde{A}_{n-1}$. The internal edges of the tree encode the $c$-vectors corresponding to the cluster tilting object, as well as the weights of the virtual semi-invariants associated to the cluster tilting object. We also show a direct relationship between the positi… ▽ More Periodic trees are combinatorial structures which are in bijection with cluster tilting objects in cluster categories of affine type $\tilde{A}_{n-1}$. The internal edges of the tree encode the $c$-vectors corresponding to the cluster tilting object, as well as the weights of the virtual semi-invariants associated to the cluster tilting object. We also show a direct relationship between the position of the edges of the tree and whether the corresponding summands of the cluster tilting object are preprojective, preinjective or regular. △ Less

Submitted 2 July, 2014; originally announced July 2014.

Comments: 33 pages, 6 figures

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

Littlewood complexes and analogues of determinantal varieties

Authors: Steven V Sam, Jerzy Weyman

Abstract: One interesting combinatorial feature of classical determinantal varieties is that the character of their coordinate rings give a natural truncation of the Cauchy identity in the theory of symmetric functions. Natural generalizations of these varieties exist and have been studied for the other classical groups. In this paper we develop the relevant properties from scratch. By studying the isotypic… ▽ More One interesting combinatorial feature of classical determinantal varieties is that the character of their coordinate rings give a natural truncation of the Cauchy identity in the theory of symmetric functions. Natural generalizations of these varieties exist and have been studied for the other classical groups. In this paper we develop the relevant properties from scratch. By studying the isotypic decomposition of their minimal free resolutions one can recover classical identities due to Littlewood for expressing an irreducible character of a classical group in terms of Schur functions. We propose generalizations for the exceptional groups. In type G_2, we completely analyze the variety and its minimal free resolution and get an analogue of Littlewood's identities. We have partial results for the other cases. In particular, these varieties are always normal with rational singularities. △ Less

Submitted 22 May, 2014; v1 submitted 3 March, 2013; originally announced March 2013.

Comments: 31 pages; v2: added more details to proofs and calculations; v3: corrected typos and changed section/theorem numbering

MSC Class: 05E05; 14M12; 20G05

Journal ref: Int. Math. Res. Not. IMRN (2015), no. 13, 4663-4707

Geometry of orbit closures for the representations associated to gradings of Lie algebras of types $E_7$

Authors: Witold Kraskiewicz, Jerzy Weyman

Abstract: This paper is a continuation of arXiv:1201.1102. We investigate the orbit closures for the class of representations of simple algebraic groups associated to various gradings on the simple Lie algebra of type $E_7$. The methods for classifying the orbits for these actions were developed by Vinberg . We give the orbit descriptions, the degeneration partial orders, and indicate normality of the orbit… ▽ More This paper is a continuation of arXiv:1201.1102. We investigate the orbit closures for the class of representations of simple algebraic groups associated to various gradings on the simple Lie algebra of type $E_7$. The methods for classifying the orbits for these actions were developed by Vinberg . We give the orbit descriptions, the degeneration partial orders, and indicate normality of the orbit closures. We also investigate the rational singularities, Cohen-Macaulay and Gorenstein properties for the orbit closures. We give the information on the defining ideals of orbit closures. △ Less

Submitted 4 February, 2013; v1 submitted 4 January, 2013; originally announced January 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1201.1102 some corrections in degeneration orders

MSC Class: 22E55; 14M17

Homology of Littlewood complexes

Authors: Steven V Sam, Andrew Snowden, Jerzy Weyman

Abstract: Let V be a symplectic vector space of dimension 2n. Given a partition λwith at most n parts, there is an associated irreducible representation S_{[λ]}(V) of Sp(V). This representation admits a resolution by a natural complex L^λ, which we call the Littlewood complex, whose terms are restrictions of representations of GL(V). When λhas more than n parts, the representation S_{[λ]}(V) is not defined,… ▽ More Let V be a symplectic vector space of dimension 2n. Given a partition λwith at most n parts, there is an associated irreducible representation S_{[λ]}(V) of Sp(V). This representation admits a resolution by a natural complex L^λ, which we call the Littlewood complex, whose terms are restrictions of representations of GL(V). When λhas more than n parts, the representation S_{[λ]}(V) is not defined, but the Littlewood complex L^λstill makes sense. The purpose of this paper is to compute its homology. We find that either L^λis acyclic or that it has a unique non-zero homology group, which forms an irreducible representation of Sp(V). The non-zero homology group, if it exists, can be computed by a rule reminiscent of that occurring in the Borel-Weil-Bott theorem. This result can be interpreted as the computation of the "derived specialization" of irreducible representations of Sp(\infty), and as such categorifies earlier results of Koike-Terada on universal character rings. We prove analogous results for orthogonal and general linear groups. Along the way, we will see two topics from commutative algebra: the minimal free resolutions of determinantal ideals and Koszul homology. △ Less

Submitted 8 February, 2013; v1 submitted 16 September, 2012; originally announced September 2012.

Comments: 32 pages; v2: corrected minor typos and changed theorem/equation numbering

MSC Class: 05E10; 13D02; 15A72; 20G05

Journal ref: Selecta Math. (N.S.) 19 (2013), no. 3, 655-698