variety
2752 papers tagged with this keyword
Nice Initial Complexes of Some Classical Ideals
Published
• View Publication
• BIB
This is a survey article on Gorenstein initial complexes of extensively studied ideals in commutative algebra and algebraic geometry. These include defining ideals of Segre and Veronese varieties, toric deformations of flag varieties known as Hibi ideals, determinantal ideals of generic matrices of indeterminates, and ideals generated by Pfaffians of generic skew symmetric matrices. We give a summary of recent work on the construction of squarefree Gorenstein initial ideals of these ideals when the ideals are themselves Gorenstein. We also present our own independent results for the Segre, Veronese, and some determinantal cases.
Schubert Classes in the Equivariant K-Theory and Equivariant Cohomology of the Grassmannian
We give positive formulas for the restriction of a Schubert Class to a T-fixed point in the equivariant K-theory and equivariant cohomology of the Grassmannian. Our formulas rely on a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai, which gives an equivariant Grobner degeneration of a Schubert variety in the neighborhood of a T-fixed point of the Grassmannian.
Local Properties of Richardson Varieties in the Grassmannian via a Bounded Robinson-Schensted-Knuth Correspondence
Published
• View Publication
• BIB
We give an explicit Grobner basis for the ideal of the tangent cone at any T-fixed point of a Richardson variety in the Grassmannian, thus generalizing a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai. Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the bounded RSK (BRSK). We use the Grobner basis result to deduce a formula which computes the multiplicity of the Richardson variety at any T-fixed point by counting families of nonintersecting lattice paths, thus generalizing a result first proved by Krattehthaler.
Matroids and Geometric Invariant Theory of torus actions on flag spaces
Published
• View Publication
• BIB
We apply a theorem of Gel'fand, Goresky, MacPherson, and Serganova about matroid polytopes to study semistability of partial flags relative to a T-linearized ample line bundle of a flag space F = SL(n)/P where T is a maximal torus in SL(n) and P is a parabolic subgroup containing T. We find that the semistable points are all detected by invariant sections of degree one regardless of the line bundle or linearization thereof, provided there exists at least one nonzero invariant section of degree one. In this case the degree one sections are sufficient to give a well defined map from the G.I.T. quotient F//T to projective space.
Additionally, we show that the closure of any T-orbit in SL(n)/P is a projectively normal toric variety for any projective embedding of SL(n)/P.
Remarks on the combinatorial intersection cohomology of fans
Published
• View Publication
• BIB
We review the theory of combinatorial intersection cohomology of fans developed by Barthel-Brasselet-Fieseler-Kaup, Bressler-Lunts, and Karu. This theory gives a substitute for the intersection cohomology of toric varieties which has all the expected formal properties but makes sense even for non-rational fans, which do not define a toric variety. As a result, a number of interesting results on the toric $g$ and $h$ polynomials have been extended from rational polytopes to general polytopes. We present explicit complexes computing the combinatorial IH in degrees one and two; the degree two complex gives the rigidity complex previously used by Kalai to study $g_2$. We present several new results which follow from these methods, as well as previously unpublished proofs of Kalai that $g_k(P) = 0$ implies $g_k(P^*) = 0$ and $g_{k+1}(P) = 0$.
Modular forms for the even unimodular lattice of signature (2,10)
Published
• View Publication
• BIB
Some years ago, Borcherds described in [Bo1] two methods for constructing modular forms on modular varieties related to the orthogonal group $Ø(2,n)$. They are the so called Borcherds' additive and multiplicative lifting. The multiplicative lifting has been used by Borcherds himself and other authors to construct modular forms with known vanishing locus and interesting properties. The additive lifting has been used to construct explicit maps from some modular varieties $Ø(2,n)$. In this paper we try a more systematic treatment in certain level 2 cases giving connections with Kondo's works
Classification of pseudo-symmetric simplicial reflexive polytopes
Published in Contemporary Mathematics 423 (2007), 269-282
• View Publication
• BIB
A reflexive polytope, respectively its associated Gorenstein toric Fano variety, is called pseudo-symmetric, if the polytope has a centrally symmetric pair of facets. Here we present a complete classification of pseudo-symmetric simplicial reflexive polytopes together with some applications. This generalizes a result of Ewald on pseudo-symmetric nonsingular toric Fano varieties.
Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform
Published
• View Publication
• BIB
A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence simple unified proofs are obtained for formulas of Poincare polynomials of toric hyperkahler varieties, Poincare polynomials of Hilbert schemes of points and twisted ADHM spaces of instantons on C^2 and Poincare polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable representations of a quiver is announced.
A Combinatorial Study on Quiver Varieties
Published in SIGMA 13 (2017), 052, 28 pages
• View Publication
• BIB
This is an expository paper which has two parts. In the first part, we study quiver varieties of affine $A$-type from a combinatorial point of view. We present a combinatorial method for obtaining a closed formula for the generating function of Poincaré polynomials of quiver varieties in rank 1 cases. Our main tools are cores and quotients of Young diagrams. In the second part, we give a brief survey of instanton counting in physics, where quiver varieties appear as moduli spaces of instantons, focusing on its combinatorial aspects.
Tropical Discriminants
Published
• View Publication
• BIB
Tropical geometry is used to develop a new approach to the theory of discriminants and resultants in the sense of Gel'fand, Kapranov and Zelevinsky. The tropical A-discriminant, which is the tropicalization of the dual variety of the projective toric variety given by an integer matrix A, is shown to coincide with the Minkowski sum of the row space of A and of the tropicalization of the kernel of A. This leads to an explicit positive formula for the extreme monomials of any A-discriminant, without any smoothness assumption.
Fiber fans and toric quotients
Published
• View Publication
• BIB
The GIT chamber decomposition arising from a subtorus action on a quasiprojective toric variety is a polyhedral complex. Denote by Sigma the fan that is the cone over the polyhedral complex. In this paper we show that the toric variety defined by the fan Sigma is the normalization of the toric Chow quotient of a closely related affine toric variety by a complementary torus.
Congruences of Multinomial Lattices
We study the congruence lattices of the multinomial lattices L(v) introduced by Bennett and Birkhoff. Our main motivation is to investigate Parikh equivalence relations that model concurrent computation. We accomplish this goal by providing an explicit description of the join dependency relation between two join irreducible elements and of its reflexive transitive closure. The explicit description emphasizes several properties and makes it possible to separate the equational theories of multinomial lattices by their dimensions.
In their covering of non modular varieties Jipsen and Rose define a sequence of equations SD_{n}(\land), for n \geq 0. Our main result sounds as follows: if v = (v_{1},...,v_{n}) \in N^{n} and v_{i} > 0 for i = 1,..., n, then the multinomial lattice L(v) satisfies SD_{n-1}(\land) and fails SD_{n-2}(\land).
Lefschetz decomposition and the cd-index of fans
The goal of this article is to give a Lefschetz type decomposition for the cd-index of a complete fan.
To a complete simplicial fan one can associate a toric variety X, the even Betti numbers h_i of X and the numbers g_i = h_i-h_{i-1}. If the fan is projective, then non-negativity of g_i follows from the Lefschetz decomposition of the cohomology.
In the case of a nonsiplicial complete fan one can analogously compute the flag h-numbers h_S and, by a change of variable formula, the cd-index. We give an analogue of the Lefschetz operation for the cd-index. This gives another proof of the non-negativity of the cd-index for complete fans.
Boundary qKZ equation and generalized Razumov-Stroganov sum rules for open IRF models
Published
• View Publication
• BIB
We find higher rank generalizations of the Razumov--Stroganov sum rules at $q=-e^{iπ\over k+1}$ for $A_{k-1}$ models with open boundaries, by constructing polynomial solutions of level one boundary quantum Knizhnik--Zamolodchikov equations for $U_q(\frak{sl}(k))$. The result takes the form of a character of the symplectic group, that leads to a generalization of the number of vertically symmetric alternating sign matrices. We also investigate the other combinatorial point $q=-1$, presumably related to the geometry of nilpotent matrix varieties.
Shelling totally nonnegative flag varieties
Published
• View Publication
• BIB
In this paper we study the partially ordered set Q^J of cells in Rietsch's cell decomposition of the totally nonnegative part of an arbitrary flag variety P^J_{\geq 0}. Our goal is to understand the geometry of P^J_{\geq 0}: Lusztig has proved that this space is contractible, but it is unknown whether the closure of each cell is contractible, and whether P^J_{\geq 0} is homeomorphic to a ball. The order complex |Q^J| is a simplicial complex which can be thought of as a combinatorial approximation of P^J_{\geq 0}. Using combinatorial tools such as Bjorner's EL-labellings and Dyer's reflection orders, we prove that Q^J is graded, thin and EL-shellable. As a corollary, we deduce that Q^J is Eulerian and that the Euler characteristic of the closure of each cell is 1. Additionally, our results imply that |Q^J| is homeomorphic to a ball, and moreover, that Q^J is the face poset of some regular CW complex homeomorphic to a ball.
2-adic valuations of certain ratios of products of factorials and applications
Published in Linear Algebra Appl. 426 (2007), 159-189.
• View Publication
• BIB
We prove the conjecture of Falikman--Friedland--Loewy on the parity of the degrees of projective varieties of $n\times n$ complex symmetric matrices of rank at most $k$.
We also characterize the parity of the degrees of projective varieties of $n\times n$ complex skew symmetric matrices of rank at most $2p$.
We give recursive relations which determine the parity of the degrees of projective varieties of $m\times n$ complex matrices of rank at most $k$.
In the case the degrees of these varieties are odd, we characterize the minimal dimensions of subspaces of $n\times n$ skew symmetric real matrices and of $m\times n$ real matrices containing a nonzero matrix of rank at most $k$.
The parity questions studied here are also of combinatorial interest since they concern the parity of the number of plane partitions contained in a given box, on the one hand, and the parity of the number of symplectic tableaux of rectangular shape, on the other hand.
Bergman Complexes, Coxeter Arrangements, and Graph Associahedra
Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.
Schubert classes in the equivariant cohomology of the Lagrangian Grassmannian
Published
• View Publication
• BIB
Let $LG_n$ denote the Lagrangian Grassmannian parametrizing maximal isotropic (Lagrangian) subspaces of a fixed symplectic vector space of dimension $2n.$ For each strict partition $λ=(λ_1,...,λ_k)$ with $λ_1\leq n$ there is a Schubert variety $X(λ).$ Let $T$ denote a maximal torus of the symplectic group acting on $LG_n.$ Consider the $T$-equivariant cohomology of $LG_n$ and the $T$-equivariant fundamental class $σ(λ)$ of $X(λ).$ The main result of the present paper is an explicit formula for the restriction of the class $σ(λ)$ to any torus fixed point. The formula is written in terms of factorial analogue of the Schur $Q$-function, introduced by Ivanov. As a corollary to the restriction formula, we obtain an equivariant version of the Giambelli-type formula for $LG_n.$ As another consequence of the main result, we obtained a presentation of the ring $H_T^*(LG_n).$
On the shape of Bruhat intervals
Let (W,S) be a crystallographic Coxeter group (this includes all finite and affine Weyl groups), and J a subset of S. Let $W^J$ denote the set of minimal coset representatives modulo the parabolic subgroup $W_J$. For w in $W^J$, let $f^{w,J}_{i}$ denote the number of elements of length i below w in Bruhat order on $W^J$ (notation simplified to $f^{w}_{i}$ in the case when J=S). We show that $f^{w,J}_{i}$ is less than or equal to $f^{w,J}_{j}$ when i < j and j is less than or equal to the length of w minus i.
Furthermore, we express when an initial and final interval of the f's is symmetric around the middle in terms of Kazhdan-Lusztig polynomials.
It is also shown that if W is finite then the sequence of f's cannot grow too rapidly. Som result mirroring our first result are obtaind, again in the finite case.
The proofs rely for the most part on properties of the cohomology of Kac-Moody Schubert varieties.
Computing Tropical Varieties
Published in J. Symb. Comput. 42 (2007), no. 1-2, 54--73
• View Publication
• BIB
The tropical variety of a $d$-dimensional prime ideal in a polynomial ring with complex coefficients is a pure $d$-dimensional polyhedral fan. This fan is shown to be connected in codimension one. We present algorithmic tools for computing the tropical variety, and we discuss our implementation of these tools in the Gröbner fan software \texttt{Gfan}. Every ideal is shown to have a finite tropical basis, and a sharp lower bound is given for the size of a tropical basis for an ideal of linear forms.