SearcharxivSearch

arXiv subjects

Shrawan Kumar

Publications and source records attributed to Shrawan Kumar.

At least 55 records · Page 3Linked to original sources

A conjectural presentation of fusion algebras

Let g be a semisimple Lie algebra over the complex numbers. Fix a positive integer l (called the level). Let R(l,g) be the fusion algebra at level l. Then, there is an algebra homomorphism from the representation ring R(g) of g to R(l,g). We study a presentation of its kernel. The generators for the kernel were given by Gepner, Gepner-Schwimmer, Bourdeau-Mlawer-Riggs-Schnitzer for g of type A and C series. We make a conjecture for other classical groups and also for g of type G2. We also have some partial results for F4 and E series.

math.GR

On positivity in T-equivariant K-theory of flag varieties

We prove some general results on the T-equivariant K-theory K_T(G/P) of the flag variety G/P, where G is a semisimple complex algebraic group, P is a parabolic subgroup and T$ is a maximal torus contained in P. In particular, we make a conjecture about a positivity phenomenon in K_T(G/P) for the product of two basis elements written in terms of the basis of K_T(G/P) given by the dual of the structure sheaf (of Schubert varieties) basis. (For the full flag variety G/B, this dual basis is closely related to the basis given by Kostant-Kumar.) This conjecture is parallel to (but different from) the conjecture of Griffeth-Ram for the structure constants of the product in the structure sheaf basis. We give explicit expressions for the product in the T-equivariant K-theory of projective spaces in terms of these bases. In particular, we establish our conjecture and the conjecture of Griffeth-Ram in this case.

math.AG

Special isogenies and tensor product multiplicities

We show that any bijection between two root systems that preserves angles (but not necessarily lengths) gives rise to inequalities relating tensor product multiplicities for the corresponding complex semisimple Lie groups (or Lie algebras). We explain the inequalities in two ways: combinatorially, using Littelmann's Path Model, and geometrically, using isogenies between algebaric groups defined over an algebraically closed field of positive characteristic.

math.RT

Descent of line bundles to GIT quotients of flag varieties by maximal torus

Let L be a homogeneous ample line bundle on any flag variety G/P and let T be a maximal torus of G. We prove a general necessary and sufficient condition for L to descend as a line bundle on the GIT quotient of G/P by T. We use this result to explicitly determine exactly which L descend to the GIT quotient for any simple complex algebraic group G and any parabolic subgroup P.

math.AG

Explicit Determination of the Picard Group of Moduli Spaces of Semi-Stable G-Bundles on Curves

Let $\mathcal C$ be a smooth irreducible projective curve over the complex numbers and let $G$ be a simple simply-connected complex algebraic group. Let $\mathfrak M=\mathfrak M(G,\mathcal C)$ be the moduli space of semistable principal $G$-bundles on $\mathcal C$. By an earlier result of Kumar-Narasimhan, the Picard group of $\mathfrak M$ is isomorphic with the group of integers. However, in their work the generator of the Picard group was not determined explicitly. The aim of this paper to give the generator `explicitly.' The proof involves an interesting mix of geometry and topology.

math.AG

Saturation and Irredundancy for Spin(8)

We explicitly calculate the triangle inequalities for the group PSO(8). Therefore we explicitly solve the eigenvalues of sum problem for this group (equivalently describing the side-lengths of geodesic triangles in the corresponding symmetric space for the Weyl chamber-valued metric). We then apply some computer programs to verify two basic questions/conjectures. First, we verify that the above system of inequalities is irredundant. Then, we verify the ``saturation conjecture'' for the decomposition of tensor products of finite-dimensional irreducible representations of Spin(8). Namely, we show that for any triple of dominant weights a, b, c such that a+b+c is in the root lattice, and any positive integer N, the tensor product of the irreducible representations V(a) and V(b) contains V(c) if and only if the tensor product of V(Na) and V(Nb) contains V(Nc).

math.RT

Eigenvalue problem and a new product in cohomology of flag varieties

Let G be a connected semisimple complex algebraic group and let P be a parabolic subgroup. In this paper we define a new (commutative and associative) product on the cohomology of the homogenous spaces G/P and use this to give a more efficient solution of the eigenvalue problem and also for the problem of determining the existence of G-invariants in the tensor product of irreducible representations of G. On the other hand, we show that this new product is intimately connected with the Lie algebra cohomology of the nil-radical of P via some works of Kostant and Kumar. We also initiate a uniform study of the geometric Horn problem for an arbitrary group $G$ by obtaining two (a priori) different sets of necessary recursive conditions to determine when a cohomology product of Schubert classes in G/P is non-zero. Hitherto, this was studied largely only for the group \SL(n).

math.AG

Algebraization of Frobenius splitting via quantum groups

An important breakthrough in understanding the geometry of Schubert varieties was the introduction of the notion of Frobenius split varieties and the result that the flag varieties G/P are Frobenius split. The aim of this article is to give in this case a complete and self contained representation theoretic approach to this method. The geometric Frobenius method in (char k=p>0) will here be replaced by Lusztig's Frobenius maps for quantum groups at roots of unity (which exist not only for primes but any odd integer \ell >1).

math.QA

Induction Functor in Non-commutative Equivariant Cohomology and Dirac Cohomology

The aim of this paper is to put some recent results of Huang-Pandzic (conjectured by Vogan) and Kostant on Dirac cohomology in a broader perspective.This is achieved by introducing an induction functor in the noncommutative equivariant cohomology. In this context, the results of Huang-Pandzic and Kostant are interpreted as special cases (corresponding to the manifold being a point) of more general results on noncommutative equivariant cohomology introduced by Alekseev-Meinrenken.

math.RT