-
arXiv:1204.0488 [pdf, ps, other]
Noncommutative desingularization of orbit closures for some representations of $GL_n$
Abstract: We describe noncommutative desingularizations of determinantal varieties, determinantal varieties defined by minors of generic symmetric matrices, and pfaffian varieties defined by pfaffians of generic anti-symmetric matrices. For maximal minors of square matrices and symmetric matrices, this gives a non-commutative crepant resolution. Along the way, we describe a method to calculate the quiver wi… ▽ More
Submitted 20 November, 2019; v1 submitted 2 April, 2012; originally announced April 2012.
Comments: Significant revisions, 39 pages
-
arXiv:1203.3168 [pdf, ps, other]
Koszul homology of codimension 3 Gorenstein ideals
Abstract: 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.
Submitted 14 March, 2012; originally announced March 2012.
Comments: 7 pages
MSC Class: 13D02
Journal ref: Proc. Amer. Math. Soc. 142 (2014), 401-408
-
arXiv:1203.2575 [pdf, ps, other]
Moduli of Abelian varieties, Vinberg theta-groups, and free resolutions
Abstract: 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… ▽ More
Submitted 21 January, 2013; v1 submitted 12 March, 2012; originally announced March 2012.
Comments: 41 pages, uses tabmac.sty, Dedicated to David Eisenbud on the occasion of his 65th birthday; v2: fixed some typos and added references
MSC Class: 13D02; 14K05; 15A72; 14L24
Journal ref: Commutative Algebra (edited by Irena Peeva), 419-469, Springer, 2013
-
arXiv:1201.6422 [pdf, ps, other]
Module varieties and representation type of finite-dimensional algebras
Abstract: In this paper we seek geometric and invariant-theoretic characterizations of (Schur-)representation finite algebras. To this end, we introduce two classes of finite-dimensional algebras: those with the dense-orbit property and those with the multiplicity-free property. We show first that when a connected algebra A admits a preprojective component, each of these properties is equivalent to A being… ▽ More
Submitted 10 July, 2013; v1 submitted 30 January, 2012; originally announced January 2012.
Comments: 14 pp., comments welcome. v3: completely revised and simplified
Journal ref: Int. Math. Res. Notices (2015) 2015 (3): 631-650
-
arXiv:1201.1102 [pdf, ps, other]
Geometry of orbit closures for the representations associated to gradings of Lie algebras of types $E_6$, $F_4$ and $G_2$
Abstract: In this paper we investigate the orbit closures for the class of representations of simple algebraic groups associated to various gradings on a simple Lie algebras of type $E_6$, $F_4$ and $G_2$. The methods for classifying the orbits for these actions were developed by Vinberg. We give the orbit descriptions, the degeneration partial orders, and decide the normality of the orbit closures. We also… ▽ More
Submitted 13 February, 2019; v1 submitted 5 January, 2012; originally announced January 2012.
MSC Class: 22E55; 14M17
-
Semi-Invariants for Gentle String Algebras
Abstract: 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… ▽ More
Submitted 3 June, 2011; originally announced June 2011.
Comments: 42 pages
MSC Class: 16G20
-
arXiv:1103.5415 [pdf, ps, other]
Generic decompositions and semi-invariants for string algebras
Abstract: 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$ th… ▽ More
Submitted 28 March, 2011; originally announced March 2011.
MSC Class: 16G20
-
arXiv:0907.4505 [pdf, ps, other]
Pieri resolutions for classical groups
Abstract: 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… ▽ More
Submitted 25 May, 2012; v1 submitted 26 July, 2009; originally announced July 2009.
Comments: 40 pages, no figures; v2: corrections to sections 2.2, 3.1, 3.3, and some typos; v3: important corrections to sections 2.2, 2.3 and Prop. 4.9 added, plus other minor corrections; v4: added assumptions to Theorem 3.6 and updated its proof; v5: Older versions misrepresented Peter Olver's results. See "New in this version" at the end of the introduction for more details
MSC Class: 13D02; 15A69; 20G05; 14F05; 05E05
Journal ref: J. Algebra 329 (2011), 222-259
-
arXiv:0907.2850 [pdf, ps, other]
An overview of mathematical issues arising in the Geometric complexity theory approach to VP v.s. VNP
Abstract: We discuss the geometry of orbit closures and the asymptotic behavior of Kronecker coefficients in the context of the Geometric Complexity Theory program to prove a variant of Valiant's algebraic analog of the P not equal to NP conjecture. We also describe the precise separation of complexity classes that their program proposes to demonstrate.
Submitted 7 January, 2011; v1 submitted 16 July, 2009; originally announced July 2009.
Comments: 29 pages, v2: role of symmetric Kronecker coefficients explained
-
arXiv:0904.0676 [pdf, ps, other]
Quivers with potentials and their representations II: Applications to cluster algebras
Abstract: 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-polynomi… ▽ More
Submitted 23 March, 2010; v1 submitted 3 April, 2009; originally announced April 2009.
Comments: 44 pages; version 2: revised according to the referee's suggestions; version 3: final version, typos corrected, references corrected and updated.
MSC Class: 16G10; 16G20; 16S38; 16D90
Journal ref: J. Amer. Math. Soc. 23 (2010), No. 3, 749-790.
-
arXiv:0802.3402 [pdf, ps, other]
On secant varieties of Compact Hermitian Symmetric Spaces
Abstract: 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 r… ▽ More
Submitted 20 November, 2008; v1 submitted 22 February, 2008; originally announced February 2008.
Comments: 15 pages, significantly cleaned up
MSC Class: 13P99; 14Q15; 15A69
-
arXiv:0709.1529 [pdf, ps, other]
The Existence of Pure Free Resolutions
Abstract: 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 characteristi… ▽ More
Submitted 19 January, 2010; v1 submitted 11 September, 2007; originally announced September 2007.
Comments: Dedicated to Jürgen Herzog on the occasion of his sixty-fifth birthday, minor changes; NOTE: Title changed to: The Existence of Equivariant Pure Free Resolutions
MSC Class: 13D02; 13D25; 13C14; 05E10; 20G05; 14L35
Journal ref: Annales de l'institut Fourier, 61 (2011), no. 3, p. 905-926
-
arXiv:0708.0798 [pdf, ps, other]
Cluster Complexes via Semi-Invariants
Abstract: 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… ▽ More
Submitted 11 October, 2008; v1 submitted 6 August, 2007; originally announced August 2007.
Comments: 34 pages
MSC Class: 16G20; 13A50
-
arXiv:0704.0649 [pdf, ps, other]
Quivers with potentials and their representations I: Mutations
Abstract: 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… ▽ More
Submitted 21 April, 2008; v1 submitted 4 April, 2007; originally announced April 2007.
Comments: 58 pages; v.2: a typo fixed, references rearranged in the correct alphabetical order, an acknowledgment added; v.3: more typos fixed, minor editorial improvements; v.4: minor editorial changes, final version to appear in Selecta Math
MSC Class: 16G10 (Primary); 16G20; 16S38 (Secondary)
-
arXiv:math/0610819 [pdf, ps, other]
Counterexamples to Okounkov's Log-Concavity Conjecture
Abstract: We give counterexamples to Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients.
Submitted 30 April, 2007; v1 submitted 26 October, 2006; originally announced October 2006.
Comments: Minor changes/corrections. Final version, to appear in Compositio Mathematica
MSC Class: 16G20;05E15
-
arXiv:math/0608288 [pdf, ps, other]
The Combinatorics of Quiver Representations
Abstract: 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 par… ▽ More
Submitted 31 August, 2007; v1 submitted 11 August, 2006; originally announced August 2006.
Comments: 63 pages
MSC Class: 16G20; 14L24; 13A50; 05E15
-
arXiv:math/0601452 [pdf, ps, other]
On the ideals and singularities of secant varieties of Segre varieties
Abstract: We find generators for the ideals of secant varieties of Segre varieties in several the cases including the Garcia-Stillmann-Ssturmfels conjecture for four factors and prove results about their singularities.
Submitted 16 January, 2007; v1 submitted 18 January, 2006; originally announced January 2006.
Comments: 12 pages, exposition significantly improved
MSC Class: 14Q15; 15A69; 13B99
-
arXiv:math/0509388 [pdf, ps, other]
On Tangential varieties of rational homogeneous varieties
Abstract: 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 infom… ▽ More
Submitted 25 January, 2007; v1 submitted 16 September, 2005; originally announced September 2005.
Comments: 17 pages, completely rewritten with some errors corrected
-
arXiv:math/0508439 [pdf, ps, other]
On the minimal free resolution of the universal ring for resolutions of length two
Abstract: Hochster established the existence of a commutative noetherian ring $\tilde C$ and a universal resolution $U$ of the form $0\to \tilde C^{e}\to \tilde C^{f}\to \tilde C^{g}\to 0$ such that for any commutative noetherian ring $S$ and any resolution $V$ equal to $0\to S^{e}\to S^{f}\to S^{g}\to 0$, there exists a unique ring homomorphism $\tilde C\to S$ with $V=U\otimes_{\tilde C} S$. In the prese… ▽ More
Submitted 23 August, 2005; originally announced August 2005.
Comments: 20 pages
MSC Class: 13D02; 14F05; 14M12
-
arXiv:math/0507393 [pdf, ps, other]
On the number of subrepresentations of a general quiver representation
Abstract: 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… ▽ More
Submitted 20 December, 2005; v1 submitted 19 July, 2005; originally announced July 2005.
Comments: 15 pages, new section on good filtrations
MSC Class: 16G20; 13A50; 14N15; 14C17
-
arXiv:math/0411127 [pdf, ps, other]
On Ideal Generators for Affine Schubert Varieties
Abstract: We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Plücker co-ordinates. As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional emb… ▽ More
Submitted 6 November, 2004; originally announced November 2004.
Comments: 34 pages
MSC Class: 14M15
-
arXiv:math/0411017 [pdf, ps, other]
Standard Bases for Affine SL(n)-Modules
Abstract: We give an elementary and easily computable basis for the Demazure modules in the basic representation of the affine Lie algebra sl(n)-hat (and the loop group SL(n)-hat). A novel feature is that we define our basis ``bottom-up'' by raising each extremal weight vector, rather than ``top-down'' by lowering the highest weight vector. Our basis arises naturally from the combinatorics of its indexi… ▽ More
Submitted 20 February, 2005; v1 submitted 31 October, 2004; originally announced November 2004.
Comments: 18 pages
MSC Class: 17B67
-
arXiv:math/0202227 [pdf, ps, other]
A Fitting Lemma for Z/2-graded modules
Abstract: We study the annihilator of the cokernel of a map of free Z/2-graded modules over a Z/2-graded skew-commutative algebra in characteristic 0 and define analogues of its Fitting ideals. We show that in the ``generic'' case the annihilator is given by a Fitting ideal, and explain relations between the Fitting ideal and the annihilator that hold in general. Our results generalize the classical Fitti… ▽ More
Submitted 22 February, 2002; originally announced February 2002.
Comments: 14 pages Plain TeX; uses diagrams.tex
MSC Class: 16W55; 15A75; 17B55; 17B60; 14H51
-
arXiv:math/0006232 [pdf, ps, other]
Two results on equations of nilpotent orbits
Abstract: We prove two results on the defining ideals of certain varieties of matrices. Let us fix two positive integers r, e. Let M(r) be the set of r x r matrices over a field K. We consider the closed subscheme of the nilpotent variety of M(r) over K defined by the conditions char_A(T)=T^r, A^e=0. We prove that when the characteristic of K is zero this scheme is reduced. Also for e=2 we prove that this… ▽ More
Submitted 30 June, 2000; originally announced June 2000.
Comments: 9 pages, Plain Tex
-
arXiv:math/9807061 [pdf, ps, other]
Symplectic multiple flag varieties of finite type
Abstract: Problem: Given a reductive algebraic group G, find all k-tuples of parabolic subgroups (P_1,...,P_k) such that the product of flag varieties G/P_1 x ... x G/P_k has finitely many orbits under the diagonal action of G. In this case we call G/P_1 x ... x G/P_k a multiple flag variety of finite type. (If P_1 is a Borel subgroup, the partial product G/P_2 x ... x G/P_k is a spherical variety.) In… ▽ More
Submitted 12 July, 1998; originally announced July 1998.
-
arXiv:math/9805067 [pdf, ps, other]
Multiple Flag Varieties of Finite Type
Abstract: We classify all products of flag varieties with finitely many orbits under the diagonal action of the general linear group. We also classify the orbits in each case and construct explicit representatives. This generalizes the classical Schubert decompostion, which states that the GL(n)-orbits on a product of two flag varieties correspond to permutations. Our main tool is the theory of quiver rep… ▽ More
Submitted 13 May, 1998; originally announced May 1998.
Comments: 18pp. to appear in Adv. Math
-
arXiv:math/9804036 [pdf, ps, other]
Graded characters of modules supported in the closure of a nilpotent conjugacy class
Abstract: We study the Poincare polynomials of isotypic components of a natural family of graded GL(n)-modules supported in the closure of a nilpotent conjugacy class. These polynomials generalize the Kostka-Foulkes and are q-analogues of Littlewood-Richardson coefficients corresponding to arbitrary tensor products of irreducibles. Many properties and formulas for these polynomials are derived, such as a… ▽ More
Submitted 7 April, 1998; originally announced April 1998.
Comments: 31 pages, AMS-LaTeX
Report number: VPI-M-98-401 MSC Class: 05E05