We obtain a family of explicit "polyhedral" combinatorial expressions for multiplicities in the tensor product of two simple finite-dimensional modules over a complex semisimple Lie algebra. Here "polyhedral" means that the multiplicity in question is expressed as the number of lattice points in some convex polytope. Our answers use a new combinatorial concept of $\ii$-trails which resemble Littelmann's paths but seem to be more tractable. We also study combinatorial structure of Lusztig's canonical bases or, equivalently of Kashiwara's global bases. Although Lusztig's and Kashiwara's approaches were shown by Lusztig to be equivalent to each other, they lead to different combinatorial parametrizations of the canonical bases. One of our main results is an explicit description of the relationship between these parametrizations. Our approach to the above problems is based on a remarkable observation by G. Lusztig that combinatorics of the canonical basis is closely related to geometry of the totally positive varieties. We formulate this relationship in terms of two mutually inverse transformations: "tropicalization" and "geometric lifting."
We study defining inequalities of string cones via a potential function on a reduced double Bruhat cell. We give a necessary criterion for the potential function to provide a minimal set of inequalities via tropicalization and conjecture an equivalence.
We study homological multiplicities of spherical varieties of reductive group $G$ over a $p$-adic field $F$. Based on Bernstein's decomposition of the category of smooth representations of a $p$-adic group, we introduce a sheaf that measures these multiplicities. We show that these multiplicities are finite whenever the usual mutliplicities are finite, in particular this holds for symmetric varieties, conjectured for all spherical varieties and known for a large class of spherical varieties. Furthermore, we show that the Euler-Poincaré characteristic is constant in families induced from admiss…
The totally nonnegative flag variety was introduced by Lusztig. It has enriched combinatorial, geometric, and Lie-theoretic structures. In this paper, we introduce a (new) $J$-total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity. We show that the $J$-totally nonnegative flag variety has a cellular decomposition into totally positive $J$-Richardson varieties. Moreover, each totally positive $J$-Richardson variety admits a favorable decomposition, called a product structure. Combined with the generalized Poincare conjecture, we p…
To a finite quiver equipped with a positive integer on each of its vertices, we associate a holomorphic symplectic manifold having some parameters. This coincides with Nakajima's quiver variety with no stability parameter/framing if the integers attached on the vertices are all equal to one. The construction of reflection functors for quiver varieties are generalized to our case, in which these relate to simple reflections in the Weyl group of some symmetrizable, possibly non-symmetric Kac-Moody algebra. The moduli spaces of meromorphic connections on the rank 2 trivial bundle over the Riemann…
We study the Jordan-Hoelder series for nearby cycles on certain Shimura varieties and Rapoport-Zink local models, and on finite-dimensional pieces of Beilinson's deformation of the affine Grassmannian to the affine flag variety (and their p-adic analogues). We give a formula for the multiplicities of irreducible constituents in terms of certain cohomology groups, and we also provide an algorithm to compute multiplicities, in terms of the affine Hecke algebra.
In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a refined (graded) version of the Stanley-Stembridge conjecture in a special case. In this manuscript, we derive a new set of linear relations satisfied by the multiplicities of certain permutation representations in Tymocz…
The goal of this paper is to clarify the connection between certain structures from the theory of totally nonnegative Grassmannians, quiver Grassmannians for cyclic quivers and the theory of local models of Shimura varieties. More precisely, we generalize the construction from our previous paper relating the combinatorics and geometry of quiver Grassmanians to that of the totally nonnegative Grassmannians. The varieties we are interested in serve as realizations of local models of Shimura varieties. We exploit quiver representation techniques to study the quiver Grassmannians of interest and, …
In a seminal 1994 paper, Lusztig extended the theory of total positivity by introducing the totally non-negative part (G/P)_{\geq 0} of an arbitrary (generalized, partial) flag variety G/P. He referred to this space as a "remarkable polyhedral subspace", and conjectured a decomposition into cells, which was subsequently proven by the first author. Subsequently the second author made the concrete conjecture that this cell decomposed space is the next best thing to a polyhedron, by conjecturing it to be a regular CW complex that is homeomorphic to a closed ball. In this article we use discrete M…
Ariki and Ginzburg, after the previous work of Zelevinsky on orbital varieties, proved that multiplicities in a total parabolically induced representations are given by the value at q=1 of Kazhdan-Lusztig Polynomials associated to the symmetric groups. In my thesis I explore the geometry of orbital varieties and I essentially obtain two important results: - first I prove a conjecture of Zelevinksy on a property of independence of total parabolically induced representations. - More crucially I give a strategy to compute multiplicities in general parabolically induced representations using the p…
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 o…
We study special cycles on a Shimura variety of orthogonal type over a totally real field of degree $d$ associated with a quadratic form in $n+2$ variables whose signature is $(n,2)$ at $e$ real places and $(n+2,0)$ at the remaining $d-e$ real places for $1\leq e <d$. Recently, these cycles were constructed by Kudla and Rosu-Yott and they proved that the generating series of special cycles in the cohomology group is a Hilbert-Siegel modular form of half integral weight. We prove that, assuming the Beilinson-Bloch conjecture on the injectivity of the higher Abel-Jacobi map, the generating serie…
We present combinatorial upper bounds on dimensions of certain imaginary root spaces for symmetric Kac-Moody algebras. These come from the realization of the corresponding infinity-crystal using quiver varieties. The framework is general, but we only work out specifics in rank two. In that case we give explicit bounds. These turn out to be quite accurate, and in many cases exact, even for some fairly large roots.
Let F be the flag variety of a complex semi-simple group G, let H be an algebraic subgroup of G acting on F with finitely many orbits, and let V be an H-orbit closure in F. Expanding the cohomology class of V in the basis of Schubert classes defines a union V_0 of Schubert varieties in F with positive multiplicities. If G is simply-laced, we show that these multiplicites are equal to the same power of 2. For arbitrary G, we show that V_0 is connected in codimension 1. If moreover all multiplicities are 1, we show that the singularities of V are rational, and we construct a flat degeneration of…
We study the relation between the integer tropical points of a cluster variety (satisfying the full Fock-Goncharov conjecture) and the totally positive part of the tropicalization of an ideal presenting the corresponding cluster algebra. Suppose we are given a presentation of the cluster algebra by a Khovanskii basis for a collection of ${\bf g}$-vector valuations associated with several seeds related by mutations. In presence of a full rank fully extended exchange matrix we construct the rays of a subfan of the totally positive part of the tropicalization of the ideal that coincides combinato…
Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they may be used to compute weight multiplicities and tensor product multiplicities for representations of a semisimple group. The polytopes are explicitly described for a few low rank groups.
Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two papers (SIAM J Comput 2001, 2008) aims to separate algebraic complexity classes via representation theoretic multiplicities in coordinate rings of specific group varieties. The papers also conjecture that the vanishing behavior of these multiplicities would be sufficient to separate complexity classes (so-called occurrence obstructions). The existence of such strong occurrence obstructions has been recently disproven in 2016 in two successive papers, Ikenmeyer-Panova (Adv. Math.) and Bürgisser-Ikenmeyer-Panova (J. AMS). Thi…
We prove that equivariant multiplicities may be used to determine whether attractive fixed points on T-varieties are p-smooth. This gives a combinatorial criterion for the determination of the p-smooth locus of Schubert varieties for all primes p.
Let X=G/B be a complete flag variety, and L' and L" two line bundles on X. Consider the cup product map H^{d'}(X,L') x H^{d"}(X, L") --> H^{d}(X,L), where L=L' x L" and d=d'+d". We answer two natural questions about the map above: When is it a nonzero map of irreducible G-representations? Conversely, given generic irreducible representations V' and V" of G, which irreducible components of V' x V" may appear in the right hand side of the map above? We also give bounds on the multiplicities appearing in a tensor product, and relate these considerations to the boundary of the Littlewood-Richardso…
A sequence of $S_n$-representations $\{V_n\}$ is said to be uniformly representation stable if the decomposition of $V_n = \bigoplus_μ c_{μ,n} V(μ)_n$ into irreducible representations is independent of $n$ for each $μ$---that is, the multiplicities $c_{μ,n}$ are eventually independent of $n$ for each $μ$. Church-Ellenberg-Farb proved that the cohomology of flag varieties (the so-called diagonal coinvariant algebra) is uniformly representation stable. We generalize their result from flag varieties to all Springer fibers. More precisely, we show that for any increasing subsequence of Young diagr…
