No abstract uploaded!

No abstract uploaded!

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 study the resonances of the Laplacian acting on the compactly supported sections of a homogeneous vector bundle over a Riemannian symmetric space of the non-compact type. The symmetric space is assumed to have rank-one but the irreducible representation τ of K defining the vector bundle is arbitrary. We determine the resonances. Under the additional assumption that τ occurs in the spherical principal series, we determine the resonance representations. They are all irreducible. We find their Langlands parameters, their wave front sets and determine which of them are unitarizable.

The first author constructed a q-parameterized spherical category $\sC$ over C(q) in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $\sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables.

Inspired by the quantum McKay correspondence, we consider the classical ADE Lie theory as a quantum theory over sl2. We introduce anti-symmetric characters for representations of quantum groups and investigate the Fourier duality to study the spectral theory. In the ADE Lie theory, there is a correspondence between the eigenvalues of the Coxeter element and the eigenvalues of the adjacency matrix. We formalize related notions and prove such a correspondence for representations of Verlinde algebras of quantum groups: this includes generalized Dynkin diagrams over any simple Lie algebra g at any level k. This answers a recent comment of Terry Gannon on an old question posed by Victor Kac in 1994.

We study categories associated to a decorated marked surface S_△, which is obtained from an unpunctured marked surface S by adding a set of decorating points. For any triangulation T of S_△, let Γ_T be the associated Ginzburg dg algebra. We show that there is a bijection between reachable open arcs in S_△ and the reachable rigid indecomposables in the perfect derived category perΓ_T. This is the dual of the bijection, between simple closed arcs in S_△ and reachable spherical objects in the 3-Calabi-Yau category D_{fd}(ΓT), constructed in the prequel (Qiu in Math Ann 365:595–633, 2016). Moreover, we show that Amiot’s quotient perΓ_T/D_{fd}(ΓT) that defines the generalized cluster categories corresponds to the forgetful map S_△→S (forgetting the decorating points) in a suitable sense.

We give a geometric realization, the tagged rotation, of the AR-translation on the generalized cluster category associated to a surface S with marked points and non-empty boundary, which generalizes Brüstle–Zhang’s result for the puncture free case. As an application, we show that the intersection of the shifts in the 3-Calabi–Yau derived category D(Γ_S) associated to the surface and the corresponding Seidel–Thomas braid group of D(Γ_S) is empty, unless S is a polygon with at most one puncture (i.e. of type A or D).

We classify the Ext-quivers of hearts in the bounded derived category D(A_n) and the finite-dimensional derived category D(\Gamma_N A_n) of the Calabi-Yau-N Ginzburg algebra D(\Gamma_N A_n). This provides the classification for Buan-Thomas' colored quiver for higher clusters of A-type. We also give explicit combinatorial constructions from a binary tree with n+2 leaves to a torsion pair in mod k\overrightarrow{A_n} and a cluster tilting set in the corresponding cluster category, for the straight oriented A-type quiver \overrightarrow{A_n}. As an application, we show that the orientation of the n-dimensional ssociahedron induced by poset structure of binary trees coincides with the orientation induced by poset structure of torsion pairs in mod k\overrightarrow{A_n} (under the correspondence above).

Let G ⊆ \tilde{G} be two quasisplit connected reductive groups over a local field of characteristic zero and having the same derived group. Although the existence of L-packets is still conjectural in general, it is believed that the L-packets of G should be the restriction of those of \tilde{G}. Motivated by this, we hope to construct the L-packets of \tilde{G} from those of G. The primary example in our mind is when G = Sp(2n), whose L-packets have been determined by Arthur [The endoscopic classification of representations: orthogonal and symplectic groups, Colloquium Publications, vol. 61 (American Mathematical Society, Providence, RI, 2013)], and \tilde{G} = GSp(2n). As a first step, we need to consider some well-known conjectural properties of L-packets. In this paper, we show how they can be deduced from the conjectural endoscopy theory. As an application, we obtain some structural information about L-packets of \tilde{G} from those of G.

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.

Zelevinsky’s classification theory of discrete series of p-adic general linear groups has been well known. Mœglin and Tadić gave the same kind of theory for p-adic classical groups, which is more complicated due to the occurrence of nontrivial structure of L-packets. Nonetheless, their work is independent of the endoscopic classification theory of Arthur (also Mok in the unitary case), which concerns the structure of L-packets in these cases. So our goal in this paper is to make more explicit the connection between these two very different types of theories. To do so, we reprove the results of Mœglin and Tadić in the case of quasisplit symplectic groups and orthogonal groups by using Arthur’s theory.

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 develop a general procedure to study the combinatorial structure of Arthur packets for p-adic quasisplit Sp(N) and O(N) following the works of Mœglin. This allows us to answer many delicate questions concerning the Arthur packets of these groups, for example the size of the packets.

Arthur classified the discrete automorphic representations of symplectic and orthogonal groups over a number field by that of the general linear groups. In this classification, those that are not from endoscopic lifting correspond to pairs (ϕ,b), where ϕ is an irreducible unitary cuspidal automorphic representation of some general linear group and b is an integer. In this paper, we study the local components of these automorphic representations at a nonarchimedean place, and we give a complete description of them in terms of their Langlands parameters.

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.

In this article we study a conjecture of Geiss-Leclerc-Schröer, which is an analogue of a classical conjecture of Lusztig in the Weyl group case. It concerns the relation between canonical basis and semi-canonical basis through the characteristic cycles. We formulate an approach to this conjecture and prove it for type quiver. In the general type A case, we reduce the conjecture to show that certain nearby cycles have vanishing Euler characteristic.

The action of the mapping class group of the thrice-punctured projective plane on its GL(2,C) character variety produces an algorithm for generating the simple length spectra of quasi-Fuchsian thrice-punctured projective planes. We apply this algorithm to quasi-Fuchsian representations of the corresponding fundamental group to prove: a sharp upper-bound for the length its shortest geodesic, a McShane identity and the surprising result of non-polynomial growth for the number of simple closed geodesic lengths.

We give a block decomposition of the dg category of character sheaves on a simple and simply-connected complex reductive group G, similar to the one in generalized Springer correspondence. As a corollary, we identify the category of character sheaves on G as the category of quasi-coherent sheaves on an explicitly defined derived stack G^.

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.

Let G be a connected reductive complex algebraic group, and E a complex elliptic curve. Let GE denote the connected component of the trivial bundle in the stack of semistable Gbundles on E. We introduce a complex analytic uniformization of G_E by adjoint quotients of reductive subgroups of the loop group of G. This can be viewed as a nonabelian version of the classical complex analytic uniformization E=C^∗/q^Z. We similarly construct a complex analytic uniformization of G itself via the exponential map, providing a nonabelian version of the standard isomorphism C^∗= C/Z, and a complex analytic uniformization of G_E generalizing the standard presentation E = C/(Z ⊕ Zτ). Finally, we apply these results to the study of sheaves with nilpotent singular support. As an application to Betti geometric Langlands conjecture in genus 1, we define a functor from Sh_N(G_E) (the semistable part of the automorphic category) to IndCoh_{Nˇ}(Locsys_{Gˇ}(E)) (the spectral category).

We study the cluster combinatorics of d-cluster tilting objects in d-cluster categories. Using mutations of maximal rigid objects in d-cluster categories, which are defined in a similar way to mutations for d-cluster tilting objects, we prove the equivalences between d-cluster tilting objects, maximal rigid objects and complete rigid objects. Using the chain of d+1 triangles of d-cluster tilting objects in [O. Iyama, Y. Yoshino, Mutations in triangulated categories and rigid Cohen–Macaulay modules, Invent. Math. 172 (1) (2008) 117–168], we prove that any almost complete d-cluster tilting object has exactly d+1 complements, compute the extension groups between these complements, and study the middle terms of these d+1 triangles. All results are the extensions of corresponding results on cluster tilting objects in cluster categories established for d-cluster categories in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. 204 (2006) 572–618]. They are applied to the Fomin–Reading generalized cluster complexes of finite root systems defined and studied in [S. Fomin, N. Reading, Generalized cluster complexes and Coxeter combinatorics, Int. Math. Res. Not. 44 (2005) 2709–2757; H. Thomas, Defining an m-cluster category, J. Algebra 318 (2007) 37–46; K. Baur, R. Marsh, A geometric description of m-cluster categories, Trans. Amer. Math. Soc. 360 (2008) 5789–5803; K. Baur, R. Marsh, A geometric description of the m-cluster categories of type D_n, preprint, arXiv:math.RT/0610512; see also Int. Math. Res. Not. 2007 (2007), doi:10.1093/imrn/rnm011], and to that of infinite root systems [B. Zhu, Generalized cluster complexes via quiver representations, J. Algebraic Combin. 27 (2008) 25–54].

We study the functorially finite maximal rigid subcategories in 2-CY triangulated categories and their endomorphism algebras. Cluster tilting subcategories are obviously functorially finite and maximal rigid; we prove that the converse is true if the 2-CY triangulated categories admit a cluster tilting subcategory. As a generalization of a result of Keller and Reiten (2007) [KR], we prove that any functorially finite maximal rigid subcategory is Gorenstein with Gorenstein dimension at most 1. Similar as cluster tilting subcategory, one can mutate maximal rigid subcategories at any indecomposable object. If two maximal rigid objects are reachable via simple mutations, then their endomorphism algebras have the same representation type.

We study extension spaces, cotorsion pairs and their mutations in the cluster category of a marked surface without punctures. Under the one-to-one correspondence between the curves, valued closed curves in the marked surface and the indecomposable objects in the associated cluster category, we prove that the dimension of extension space of two indecomposable objects in the cluster categories equals to the intersection number of the corresponding curves. By using this result, we prove that there are no non-trivial t-structures in the cluster categories when the surface is connected. Based on this result, we give a classification of cotorsion pairs in these categories. Moreover we define the notion of paintings of a marked surface without punctures and their rotations. They are a geometric model of cotorsion pairs and of their mutations respectively.

We study the cluster algebras arising from cluster tubes with rank bigger than 1. Cluster tubes are 2−Calabi-Yau triangulated categories which contain no cluster tilting objects, but maximal rigid objects. Fix a certain maximal rigid object T in the cluster tube C_n of rank n. For any indecomposable rigid object M in C_n, we define an analogous X_M of Caldero-Chapton's formula (or Palu's cluster character formula) by using the geometric information of M. We show that X_M,X_{M′} satisfy the mutation formula when M,M′ form an exchange pair, and that X_? : M↦X_M gives a bijection from the set of indecomposable rigid objects in C_n to the set of cluster variables of cluster algebra of type C_{n−1}, which induces a bijection between the set of basic maximal rigid objects in C_n and the set of clusters. This strengths a surprising result proved recently by Buan-Marsh-Vatne that the combinatorics of maximal rigid objects in the cluster tube Cn encode the combinatorics of the cluster algebra of type B_{n−1} since the combinatorics of cluster algebras of type B_{n−1} or of type C_{n−1} are the same by a result of Fomin and Zelevinsky. As a consequence, we give a categorification of cluster algebras of type C.