Searcharxiv⌕ Search

arXiv subjects

Jerzy Weyman

Publications and source records attributed to Jerzy Weyman.

At least 73 records · Page 4Linked to original sources
arXiv2013

Homology of Littlewood complexes

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.

math.RT↗
arXiv2013

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

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.

math.RT↗
arXiv2013

Moduli of Abelian varieties, Vinberg theta-groups, and free resolutions

We present a systematic approach to studying the geometric aspects of Vinberg theta-representations. The main idea is to use the Borel-Weil construction for representations of reductive groups as sections of homogeneous bundles on homogeneous spaces, and then to study degeneracy loci of these vector bundles. Our main technical tool is to use free resolutions as an "enhanced" version of degeneracy loci formulas. We illustrate our approach on several examples and show how they are connected to moduli spaces of Abelian varieties. To make the article accessible to both algebraists and geometers, we also include background material on free resolutions and representation theory.

math.AG↗
arXiv2012

Pieri resolutions for classical groups

We generalize the constructions of Eisenbud, Fløystad, and Weyman for equivariant minimal free resolutions over the general linear group, and we construct equivariant resolutions over the orthogonal and symplectic groups. We also conjecture and provide some partial results for the existence of an equivariant analogue of Boij-Söderberg decompositions for Betti tables, which were proven to exist in the non-equivariant setting by Eisenbud and Schreyer. Many examples are given.

math.AC↗
arXiv2012

Koszul homology of codimension 3 Gorenstein ideals

In this note, we calculate the Koszul homology of the codimension 3 Gorenstein ideals. We find filtrations for the Koszul homology in terms of modules with pure free resolutions and completely describe these resolutions. We also consider the Huneke-Ulrich deviation 2 ideals.

math.AC↗
arXiv2011

Semi-Invariants for Gentle String Algebras

In this article we give an algorithm for determining the generators and relations for the rings of semi-invariant functions on irreducible components of representation spaces for gentle string algebras. These rings of semi-invariants turn out to be semigroup rings to which we can associate a so-called matching graph. Under this association, generators for the semigroup can be seen by certain walks on this graph, and relations are given by certain configurations in the graph. This allows us to determine degree bounds for the generators and relations of these rings. We furthermore show that these bounds also hold for acyclic string algebras in general.

math.RT↗
arXiv2011

Generic decompositions and semi-invariants for string algebras

We investigate the rings of semi-invariants for tame string algebras A(n) of non-polynomial growth. We are interested in dimension vectors of band modules. We use geometric technique related to the description of coordinate rings on varieties of complexes. The fascinating combinatorics emerges, showing that our rings of invariants are the rings of some toric varieties. We show that for $n\le 6$ the rings of semi-invariants are complete intersections but we show an example for $n=7$ that this is not the case in general.

math.RT↗
arXiv2010

Quivers with potentials and their representations II: Applications to cluster algebras

We continue the study of quivers with potentials and their representations initiated in the first paper of the series. Here we develop some applications of this theory to cluster algebras. As shown in the "Cluster algebras IV" paper, the cluster algebra structure is to a large extent controlled by a family of integer vectors called g-vectors, and a family of integer polynomials called F-polynomials. In the case of skew-symmetric exchange matrices we find an interpretation of these g-vectors and F-polynomials in terms of (decorated) representations of quivers with potentials. Using this interpretation, we prove most of the conjectures about g-vectors and F-polynomials made in loc. cit.

math.RA↗
arXiv2010

The Existence of Pure Free Resolutions

Let d1,...,dn be a strictly increasing sequence of integers. Boij and Söderberg [arXiv:math/0611081] have conjectured the existence of a graded module M of finite length over any polynomial ring K[x_1,..., x_n], whose minimal free resolution is pure of type (d1,...,dn), in the sense that its i-th syzygies are generated in degree di. In this paper we prove a stronger statement, in characteristic zero: Such modules not only exist, but can be taken to be GL(n)-equivariant. In fact, we give two different equivariant constructions, and we construct pure resolutions over exterior algebras and Z/2-graded algebras as well. The constructions use the combinatorics of Schur functors and Bott's Theorem on the direct images of equivariant vector bundles on Grassmann varieties.

math.AC↗
arXiv2008

On secant varieties of Compact Hermitian Symmetric Spaces

We show that the secant varieties of rank three compact Hermitian symmetric spaces in their minimal homogeneous embeddings are normal, with rational singularities. We show that their ideals are generated in degree three - with one exception, the secant variety of the $21$-dimensional spinor variety in $\pp{63}$ where we show the ideal is generated in degree four. We also discuss the coordinate rings of secant varieties of compact Hermitian symmetric spaces.

math.AG↗
arXiv2008

Cluster Complexes via Semi-Invariants

We define and study virtual representation spaces having both positive and negative dimensions at the vertices of a quiver without oriented cycles. We consider the natural semi-invariants on these spaces which we call virtual semi-invariants and prove that they satisfy the three basic theorems: the First Fundamental Theorem, the Saturation Theorem and the Canonical Decomposition Theorem. In the special case of Dynkin quivers with n vertices this gives the fundamental interrelationship between supports of the semi-invariants and the Tilting Triangulation of the (n-1)-sphere.

math.RT↗
arXiv2008

Quivers with potentials and their representations I: Mutations

We study quivers with relations given by non-commutative analogs of Jacobian ideals in the complete path algebra. This framework allows us to give a representation-theoretic interpretation of quiver mutations at arbitrary vertices. This gives a far-reaching generalization of Bernstein-Gelfand-Ponomarev reflection functors. The motivations for this work come from several sources: superpotentials in physics, Calabi-Yau algebras, cluster algebras.

math.RA↗
arXiv2007

The Combinatorics of Quiver Representations

We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotients for quivers). In the Appendix we include a version of Belkale's geometric proof of Fulton's conjecture that works for arbitrary quivers.

math.RT↗
arXiv2007

On Tangential varieties of rational homogeneous varieties

We determine which tangential varieties of homogeneously embedded rational homogeneous varieties are spherical. We determine the homogeneous coordinate rings and rings of covariants of the tangential varieties of homogenously embedded compact Hermitian symmetric spaces (CHSS). We give bounds on the degrees of generators of the ideals of tangential varieties of CHSS and obtain more explicit infomation about the ideals in certain cases.

math.AG↗
arXiv2005

On the number of subrepresentations of a general quiver representation

It is well-known that the intersection multiplicities of Schubert classes in the Grassmanian are Littlewood-Richardson coefficients. We generalize this statement in the context of quiver representations. Here the intersection multiplicity of Schubert classes is replaced by the number of subrepresentations of a general quiver reprsentation, and the Littlewood-Richardson coefficients are replaced by the the dimension of a certain space of semiinvariants.

math.AG↗