In\cite {21}, Boltje and Maisch found a permutation complex of Specht modules in representation theory of Hecke algebras, which is the same as the Boltje-Hartmann complex appeared in the representation theory of symmetric groups and general linear groups. In this paper we prove the exactness of Boltje-Maisch complex in the dominant weight case.

We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3-Calabi–Yau triangulated category. The motivation/application is that the result will be used to show that the (principal component of) space of stability conditions on the 3-Calabi–Yau category is simply connected in the sequel [King and Qiu, Invent. Math., to appear].

In this paper, we give explicit descriptions of the centers and cocenters of 0-Hecke algebras associated to finite Coxeter groups.

No abstract uploaded!

Let A be an abelian category and B be the Happel-Reiten-Smalo tilt of A with respect to a torsion pair. We give necessary and sufficient conditions for the existence of a derived equivalence between A and B, which is compatible with the inclusion of B into the derived category of A. As applications, we obtain new derived equivalences related to splitting torsion pairs, TTF-triples and two-term silting subcategories, respectively. We prove that for the realization functor of any bounded t-structure, its denseness implies its fully-faithfulness.

We construct two non-semisimple braided ribbon tensor categories of modules for each singlet vertex operator algebra M(p), p≥2. The first category consists of all finite-length M(p)-modules with atypical composition factors, while the second is the subcategory of modules that induce to local modules for the triplet vertex operator algebra W(p). We show that every irreducible module has a projective cover in the second of these categories, although not in the first, and we compute all fusion products involving atypical irreducible modules and their projective covers.

Soit G un groupe réductif défini sur un corps algébriquement clos de caractéristique positive. Nous montrons que le foncteur contraction par Frobenius de la catégorie des G-modules est adjoint à droite de celui de tensorisation deux fois par le module de Steinberg du tordu de Frobenius du G-module de départ. Il s’ensuit en particulier que le foncteur de contraction par Frobenius préserve le caractère injectif et l’existence de bonne filtration mais pas la semi-simplicité. (For a reductive group G defined over an algebraically closed field of positive characteristic, we show that the Frobenius contraction functor of $Gs-modules is right adjoint to the Frobenius twist of the modules tensored with the Steinberg module twice. It follows that the Frobenius contraction functor preserves injectivity, good filtrations, but not semi-simplicity.)

The unipotent variety of a reductive algebraic group G plays an important role in the representation theory. In this paper, we will consider the closure U of the unipotent variety in the De ConciniProcesi compactification G of a connected simple algebraic group G. We will prove that U-U is a union of some G-stable pieces introduced by Lusztig in [Moscow Math. J 4 (2004) 869896]. This was first conjectured by Lusztig. We will also give an explicit description of U. It turns out that similar results hold for the closure of any Steinberg fiber in G.

In this paper, we study some relation between the cocenter H(G) of the Hecke algebra H (G) of a connected reductive group G over a nonarchimedean local field and the cocenter H(M) of its Levi subgroups M. Given any Newton component of H(G), we construct the induction map i from the corresponding Newton component of H(M) to it. We show that this map is an isomorphism. This leads to the BernsteinLusztig type presentation of the cocenter H(G), which generalizes the work [11] on the affine Hecke algebras. We also show that the map i we constructed is adjoint to the Jacquet functor.

Let G be a connected almost simple algebraic group with a Dynkin automorphism . Let G be the connected almost simple algebraic group associated with G and . We prove that the dimension of the tensor invariant space of G is equal to the trace of on the corresponding tensor invariant space of G. We prove that if G has the saturation property then so does G . As a consequence, we show that the spin group Spin (2 n+ 1) has saturation factor 2, which strengthens the results of BelkaleKumar [1] and Sam [28] in the case of type B n.

Let O_25 be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge 25 whose composition factors are the irreducible quotients of reducible Verma modules. We show that O_25 is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian 3-cocycle twist of the category of finite-dimensional sl_2-modules. We also show that this sl_2-type subcategory is braid-reversed tensor equivalent to a similar category for the Virasoro algebra at central charge 1. As an application, we construct a simple conformal vertex algebra which contains the Virasoro vertex operator algebra of central charge 25 as a PSL_2(C)-orbifold. We also use our results to study Arakawa's chiral universal centralizer algebra of SL_2 at level -1, showing that it has a symmetric tensor category of representations equivalent to Rep PSL_2(C). This algebra is an extension of the tensor product of Virasoro vertex operator algebras of central charges 1 and 25, analogous to the modified regular representations of the Virasoro algebra constructed earlier for generic central charges by I. Frenkel-Styrkas and I. Frenkel-M. Zhu.

We give a survey on Mœglin's construction of representations in the Arthur packets for p-adic quasisplit symplectic and orthogonal groups. The emphasis is on comparing Mœglin's parametrization of elements in the Arthur packets with that of Arthur.

We will use the combinatorics of the G-stable pieces to describe the closure relation of the partition of partial flag varieties in [L3, section 4].

We give a new description of the set {m Adm}(\mu) of admissible alcoves as an intersection of certain``obtuse cones''of alcoves, and we show this description may be given by imposing conditions vertexwise. We use this to prove the vertexwise admissibility conjecture of Pappas-Rapoport-Smithling. The same idea gives simple proofs of two ingredients used in the proof of the Kottwitz-Rapoport conjecture on existence of crystals with additional structure.

We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra g^, from g-module homomorphisms. When g=sl_2, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to g^, and we identify obstructions to the construction arising from the possible non-existence of series solutions having a prescribed form.

Suppose V^G is the fixed-point vertex operator subalgebra of a compact group G acting on a simple abelian intertwining algebra V. We show that if all irreducible V^G-modules contained in V live in some braided tensor category of V^G-modules, then they generate a tensor subcategory equivalent to the category Rep G of finite-dimensional representations of G, with associativity and braiding isomorphisms modified by the abelian 3-cocycle defining the abelian intertwining algebra structure on V. Additionally, we show that if the fusion rules for the irreducible V^G-modules contained in V agree with the dimensions of spaces of intertwiners among G-modules, then the irreducibles contained in V already generate a braided tensor category of V^G-modules. These results do not require rigidity on any tensor category of V^G-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when V^G is C_2-cofinite but not necessarily rational. When V^G is both C_2-cofinite and rational and V is a vertex operator algebra, we use the equivalence between Rep G and the corresponding subcategory of V^G-modules to show that V is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge 1 admits a braided tensor category structure equivalent to Rep SU(2), up to modification by an abelian 3-cocycle.

In this article we propose a geometric description of Arthur packets for p-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups and follows the direction indicated by Vogan in his 1993 paper on the Langlands correspondence. Using vanishing cycles, we introduce and study a functor from the category of equivariant perverse sheaves on the moduli space of certain Langlands parameters to local systems on the regular part of the conormal bundle for this variety. In this article we establish the main properties of this functor and show that it plays the role of microlocalization in the work of Adams, Barbasch and Vogan. We use this to define ABV-packets for pure rational forms of p-adic groups and propose a geometric description of the transfer coefficients that appear in Arthur's main local result in the endoscopic classification of representations. This article includes conjectures modelled on Vogan's work, especially the prediction that Arthur packets are ABV-packets for p-adic groups. We gather evidence for these conjectures by verifying them in numerous examples.

Let G be a semisimple group over an algebraically closed field. Steinberg has associated to a Coxeter element G of minimal length G a subvariety G of G isomorphic to an affine space of dimension G which meets the regular unipotent class G in exactly one point. In this paper this is generalized to the case where G is replaced by any elliptic element in the Weyl group of minimal length G in its conjugacy class, G is replaced by a subvariety G of G isomorphic to an affine space of dimension G , and G is replaced by a unipotent class G of codimension G in such a way that the intersection of G and G is finite.

We reduce some key calculations of compositions of morphisms between Soergel bimodules (" Soergel calculus") to calculations in the nil Hecke ring (" Schubert calculus"). This formula has several applications in modular representation theory.

Let <i>G</i> be a semisimple adjoint group over <b>C</b> and <i></i> be the De ConciniProcesi completion of <i>G</i>. In this paper, we define a Lagrangian subvariety of the cotangent bundle of <i></i> such that the singular support of any character sheaf on <i></i> is contained in .

Let G be a connected semi-simple algebraic group of adjoint type over an algebraically closed field and let ar G be the wonderful compactification of G. For a fixed pair (B,B  ) of opposite Borel subgroups of G, we look at intersections of Lusztigs G-stable pieces and the B  B-orbits in ar G , as well as intersections of BB-orbits and B  B  -orbits in ar G . We give explicit conditions for such intersections to be nonempty, and in each case, we show that every nonempty intersection is smooth and irreducible, that the closure of the intersection is equal to the intersection of the closures, and that the nonempty intersections form a strongly admissible partition of .

Motivated by spectral gluing patterns in the Betti Langlands program, we show that for any reductive group G, a parabolic subgroup P, and a topological surface M, the (enhanced) spectral Eisenstein series category of M is the factorization homology over M of the E2-Hecke category H_{G,P} =IndCoh(LS_{G,P}(D^2, S^1)), where LS_{G,P}(D^2, S^1) denotes the moduli stack of G-local systems on a disk together with a P-reduction on the boundary circle. More generally, for any pair of stacks Y → Z satisfying some mild conditions and any map between topological spaces N → M, we define (Y, Z)^{N,M} = Y^N ×_{Z^N} {Z^M} to be the space of maps from M to Z along with a lift to Y of its restriction to N. Using the pair of pants construction, we define an E_n-category H_n(Y, Z) = IndCoh_0((Y, Z)^{S^n−1,D^n})_{Y}), and compute its factorization homology on any d-dimensional manifold M with d ≤ n, \int_M H_n(Y, Z) = IndCoh_0(Y, Z)^{∂(M×D^n−d),M}_{Y^M}, where IndCoh_0 is the sheaf theory introduced by ArinkinGaitsgory and Beraldo. Our result naturally extends previous known computations of Ben-Zvi–Francis–Nadler and Beraldo.

We prove that the DeligneLusztig variety associated to minimal length elements in any <i></i>-conjugacy class of the Weyl group is affine, which was conjectured by Orlik and Rapoport in [S. Orlik, M. Rapoport, DeligneLusztig varieties and period domains over finite fields, arXiv: 0705.1646].

In his monograph Arthur (The endoscopic classification of representations: orthogonal and symplectic groups, Colloquium Publications, American Mathematical Society, Providence, 2013) characterizes the L-packets of quasisplit symplectic groups and orthogonal groups. By extending his work, we characterize the L-packets for the corresponding similitude groups with desired properties. In particular, we show these packets satisfy the conjectural endoscopic character identities.

We study a class of perverse sheaves on some spherical varieties which include the strata of the De ConciniProcesi completion of a symmetric variety. This is a generalization of the theory of (parabolic) character sheaves.