The extended weight semigroup of a homogeneous space G/H of a connected semisimple algebraic group G characterizes the spectra of the representations of G on the spaces of regular sections of homogeneous linear bundles over G/H, including the space of regular functions on G/H. We compute the extended weight semigroups for all strictly irreducible affine spherical homogeneous spaces G/H, where G is a simply connected non-simple semisimple complex algebraic group and H a connected closed subgroup of it. In all the cases we also find the highest weight functions corresponding to the indecomposable elements of this semigroup. Among other things, our results complete the computation of the weight semigroups for all strictly irreducible simply connected affine spherical homogeneous spaces of semisimple complex algebraic groups.
In this article, we give a simple explicit construction of an affine slice for the coadjoint action of a certain class of biparabolic (also called seaweed) subalgebras of a semisimple Lie algebra over an algebraically closed field of characteristic zero. In particular, this class includes all Borel subalgebras.
For G a semisimple algebraic group, we revisit the description of the components of the affne Springer fiber given by ts, with s a regular semisimple element. We then compute the fixed points of each component of a particular affne Springer fiber for Type A
In this note, we prove that an affine cellular algebra $A$ is semisimple if and only if the scheme associated to $A$ is reduced and 0-dimensional, and the bilinear forms with respect to all layers of $A$ are isomorphisms. Moreover, if the ground ring is a perfect field, then $A$ is semisimple if and only if it is separable. We also give a sufficient condition for an affine cellular algebra being Jacobson semisimple.
In this paper, we are interested in the decomposition of the tensor product of two representations of a symmetrizable Kac-Moody Lie algebra $\mathfrak g$. Let $P\_+$ be the set of dominant integral weights. For $λ\in P\_+$ , $L(λ)$ denotes the irreducible, integrable, highest weight representation of g with highest weight $λ$. Let $P\_{+,\mathbb Q}$ be the rational convex cone generated by $P\_+$. Consider the tensor cone $Γ(\mathfrak g) := \{(λ\_1 ,λ\_2, μ) $\in$ P\_{+,\mathbb Q}^3\,| \exists N \textgreater{} 1 L(Nμ) \subset L(N λ\_1)\otimes L(N λ\_2)\}$. If $\mathfrak g$ is finite dimensiona…
In this paper we classify and give Kazhdan-Lusztig type character formulas for equivariantly irreducible representations of Lie algebras of reductive algebraic groups over a field of large positive characteristic. The equivariance is with respect to a group whose connected component is a torus. Character computation is done in two steps. First, we treat the case of distinguished $p$-characters: those that are not contained in a proper Levi. Here we essentially show that the category of equivariant modules we consider is a cell quotient of an affine parabolic category $\mathcal{O}$. For this, w…
We study algebras encoding stable range branching rules for the pairs of complex classical groups of the same type in the context of toric degenerations of spherical varieties. By lifting affine semigroup algebras constructed from combinatorial data of branching multiplicities, we obtain algebras having highest weight vectors in multiplicity spaces as their standard monomial type bases. In particular, we identify a family of distributive lattices and their associated Hibi algebras which can uniformly describe the stable range branching algebras for all the pairs we consider.
The paper is mainly devoted to the irreducibility of the polynomial representation of the double affine Hecke algebra for an arbitrary reduced root systems and generic "central charge" q. The technique of intertwiners in the non-semisimple variant is the main tool. We introduce Macdonald's non-semisimple polynomials and use them to analyze the reducibility of the polynomial representation in terms of the affine exponents, counterparts of the classical Coxeter exponents. The focus is on the principal aspects of the technique of intertwiners, including related problems in the theory of reduced d…
For a connected semisimple group G over the field of real numbers R, using a method of Onishchik and Vinberg, we compute the first Galois cohomology set H^1(R,G) in terms of Kac labelings of the affine Dynkin diagram of G.
We present two novel proofs of the known classification of connected affine algebraic supergroups $G$ such that $\operatorname{Rep}G$ is semisimple. The proofs are geometrically motivated, although both rely on an algebraic lemma that characterizes $\mathfrak{osp}(1|2n)$ amongst simple Lie superalgebras.
For an affine spherical homogeneous space G/H of a connected semisimple algebraic group G, we consider the factorization morphism by the action on G/H of a maximal unipotent subgroup of G. We prove that this morphism is equidimensional if and only if the weight semigroup of G/H satisfies some simple condition.
The affine Springer fiber corresponding to a regular integral equivalued semisimple element admits a paving by vector bundles over Hessenberg varieties and hence its (Borel-Moore) homology is "pure".
Let $G$ be a semisimple, simply connected, algebraic group over an algebraically closed field $k$ with Lie algebra $\frak g$. We study the spaces of parahoric subalgebras of a given type containing a fixed nil-elliptic element of $\frak g\otimes k((π))$, i.e. fixed point varieties on affine flag manifolds. We define a natural class of $k^*$-actions on affine flag manifolds, generalizing actions introduced by Lusztig and Smelt. We formulate a condition on a pair $(N,f)$ consisting of $N\in\frak{g}\otimes k((π))$ and a $k^*$-action $f$ of the specified type which guarantees that $f$ induces an a…
Let $\mathbf{G}$ be a connected split reductive group over a field of characteristic zero or sufficiently large characteristic, $γ_0\in(\operatorname{Lie}\mathbf{G})((t))$ be any topologically nilpotent regular semisimple element, and $γ=tγ_0$. Using methods from $p$-adic orbital integrals, we show that the number of components of the Iwahori affine Springer fiber over $γ$ modulo $Z_{\mathbf{G}((t))}(γ)$ is equal to the order of the Weyl group.
For $G$ a connected reductive group, $γ\in \kg(F)$ semisimple regular integral, we introduce a fundamental domain $F_γ$ for the affine Springer fibers $\xx_γ$. There is a beautiful way to reduce the purity conjecture of $\xx_γ$ to that of $F_γ$, we call it the Arthur-Kottwitz reduction. When restricted to the unramified case, it turns out that these fundamental domains behave well in family. We formulate a rationality conjecture about a generating series of their Poincaré polynomials. We then study them in detail for the group $\gl_{3}$. In particular, we pave them in affine spaces and we prov…
We study some non-semisimple representations of affine Temperley--Lieb algebras and related cellular algebras. In particular, we classify extensions between simple standard modules. Moreover, we construct a completion which is an infinite dimensional cellular algebra.
A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a supergroup is reductive if and only if its connected component is reductive. The connected component is reductive if and only if the Lie superalgebra divided by its center is a product of simple Lie algebras of classical type and Lie superalgebras spo(1,2r) of the orthosymplectic types BC_r.
The affine Schur algebra $\widetilde{S}(n,r)$ (of type A) over a field $K$ is defined to be the endomorphism algebra of the tensor space over the extended affine Weyl group of type $A_{r-1}$. By the affine Schur-Weyl duality it is isomorphic to the image of the representation map of the $\mathcal{U}(\hat{\mathfrak{gl}}_{n})$ action on the tensor space when $K$ is the field of complex numbers. We show that $\widetilde{S}(n,r)$ can be defined in another two equivalent ways. Namely, it is the image of the representation map of the semigroup algebra $K\widetilde{GL}_{n,a}$ (defined in Section \ref…
Let h be a regular semisimple element in a complex simple Lie algebra g. Let t be an indeterminate. We consider the "variety" of Iwahori subalgebras of g tensored with power series in t which contain t times h. This variety admits a free action of a free abelian group of rank equal to the rank of g. We describe a fundamental domain for this action.
To a generic holomorphic vector bundle on an algebraic curve and an irreducible finite-dimensional representation of a semisimple Lie algebra, we assign a representation of the corresponding affine Krichever--Novikov algebra in the space of semi-infinite exterior forms. It is shown that equivalent pairs of data give rise to equivalent representations and vice versa.
The main motivation for the study of cluster algebras initiated in math.RT/0104151, math.RA/0208229 and math.RT/0305434 was to design an algebraic framework for understanding total positivity and canonical bases in semisimple algebraic groups. In this paper, we introduce and explicitly construct the canonical basis for a special family of cluster algebras of rank 2.
We give a complete description of the category of smooth complex representations of the multiplicative group of a central simple algebra over a locally compact nonarchimedean local field. More precisely, for each inertial class in the Bernstein spectrum, we construct a type and compute its Hecke algebra. The Hecke algebras that arise are all naturally isomorphic to products of affine Hecke algebras of type A. We also prove that, for cuspidal classes, the simple type is unique up to conjugacy.
We give an introduction to the structure theory of extended affine Lie algebras, which provide a common framework for finite-dimensional semisimple, affine and toroidal Lie algebras. The notes are based on a lecture series given during the Fields Institute summer school at the University of Ottawa in June 2009.
We develop the homology theory of the algebra of a regular semigroup, which is a particularly nice case of a quasi-hereditary algebra in good characteristic. Directedness is characterized for these algebras, generalizing the case of semisimple algebras studied by Munn and Ponizovksy. We then apply homological methods to compute (modulo group theory) the quiver of a right regular band of groups, generalizing Saliola's results for a right regular band. Right regular bands of groups come up in the representation theory of wreath products with symmetric groups in much the same way that right regul…
In this paper we consider the Baum-Connes correspondence for the affine and extended affine Weyl groups of a compact connected semisimple Lie group. We show that the Baum-Connes correspondence in this context arises from Langlands duality for the Lie group.
