Showing papers in "arXiv: Representation Theory in 2006"

Noncrossing partitions and representations of quivers

Abstract: We situate the noncrossing partitions associated to a finite Coxeter group within the context of the representation theory of quivers. We describe Reading's bijection between noncrossing partitions and clusters in this context, and show that it extends to the extended Dynkin case. Our setup also yields a new proof that the noncrossing partitions associated to a finite Coxeter group form a lattice. We also prove some new results within the theory of quiver representations. We show that the finitely generated, exact abelian, and extension-closed subcategories of the representations of a quiver $Q$ without oriented cycles are in natural bijection with the cluster-tilting objects in the associated cluster category. We also show these subcategories are exactly the finitely generated categories that can be obtained as the semistable objects with respect to some stability condition.

From triangulated categories to abelian categories--cluster tilting in a general framework

Abstract: We put cluster tilting in ageneral framework by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal one-orthogonal subcategory) carries an abelian structure. These abelian quotients turn out to be module categories of Goreisten algebras of dimension at most one.

Local geometric Langlands correspondence and affine Kac-Moody algebras

Abstract: Let \( \mathfrak{g} \) be a simple Lie algebra over ℂ and G a connected algebraic group with Lie algebra \( \mathfrak{g} \). The affine Kac-Moody algebra \( \hat {\mathfrak{g}} \) is the universal central extension of the formal loop agebra \( \mathfrak{g} \)((t)). Representations of \( \hat {\mathfrak{g}} \) have a parameter, an invariant bilinear form on \( \mathfrak{g} \), which is called the level. Representations corresponding to the bilinear form which is equal to minus one half of the Killing form are called representations of critical level. Such representations can be realized in spaces of global sections of twisted D-modules on the quotient of the loop group G((t)) by its “open compact” subgroup K, such as G[[t]] or the Iwahori subgroup I.

Acyclic Calabi-Yau categories

Abstract: We show that an algebraic 2-Calabi-Yau triangulated category over an algebraically closed field is a cluster category if it contains a cluster tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for higher cluster categories. As a first application, we show that the stable category of maximal Cohen-Macaulay modules over a certain isolated singularity of dimension three is a cluster category. As a second application, we prove the non-acyclicity of the quivers of endomorphism algebras of cluster-tilting objects in the stable categories of representation-infinite preprojective algebras. In the appendix, Michel Van den Bergh gives an alternative proof of the main theorem by appealing to the universal property of the triangulated orbit category.

Cluster-tilted algebras as trivial extensions

Abstract: Given a finite dimensional algebra $C$ (over an algebraically closed field) of global dimension at most two, we define its relation-extension algebra to be the trivial extension $C\ltimes \Ext_C^2(DC,C)$ of $C$ by the $C$-$C$-bimodule $\Ext_C^2(DC,C)$. We give a construction for the quiver of the relation-extension algebra in case the quiver of $C$ has no oriented cycles. Our main result says that an algebra $\tilde C$ is cluster-tilted if and only if there exists a tilted algebra $C$ such that $\tilde C$ is isomorphic to the relation-extension of $C$.

Cluster χ-varieties, amalgamation, and Poisson—Lie groups

Abstract: In this paper, starting from a split semisimple real Lie group G with trivial center, we define a family of varieties with additional structures. We describe them as cluster χ-varieties, as defined in [FG2]. In particular they are Poisson varieties. We define canonical Poisson maps of these varieties to the group G equipped with the standard Poisson—Lie structure defined by V. Drinfeld in [D, D1]. One of them maps to the group birationally and thus provides G with canonical rational coordinates.

Quadratic duals, Koszul dual functors, and applications

Abstract: The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways: We work in the setup of graded categories, i.e. we allow infinitely many idempotents and also define a ``Koszul'' duality functor for not necessarily Koszul categories. As an illustration of the techniques we reprove the Koszul duality of translation and Zuckerman functors for the classical category O in a quite elementary and explicit way. As applications we propose a definition of a "Koszul" dual category for integral blocks of Harish-Chandra bimodules and for blocks outside the critical hyperplanes for the Kac-Moody category O.

Hecke algebras of finite type are cellular

Abstract: Let $\cH$ be the one-parameter Hecke algebra associated to a finite Weyl group $W$, defined over a ground ring in which ``bad'' primes for $W$ are invertible. Using deep properties of the Kazhdan--Lusztig basis of $\cH$ and Lusztig's $\ba$-function, we show that $\cH$ has a natural cellular structure in the sense of Graham and Lehrer. Thus, we obtain a general theory of ``Specht modules'' for Hecke algebras of finite type. Previously, a general cellular structure was only known to exist in types $A_n$ and $B_n$.

The supercuspidal representations of p-adic classical groups

Abstract: Let G be a unitary, symplectic or special orthogonal group over a locally compact non-archimedean local field of odd residual characteristic. We construct many new supercuspidal representations of G, and Bushnell-Kutzko types for these representations. Moreover, we prove that every irreducible supercuspidal representation of G arises from our constructions.

Defining an m-cluster category

Abstract: We show that a certain orbit category considerd by Keller encodes the combinatorics of the $m$-clusters of Fomin and Reading in a fashion similar to the way the cluster category of Buan, Marsh, Reineke, Reiten, and Todorov encodes the combinatorics of the clusters of Fomin and Zelevinsky. This allows us to give type-uniform proofs of certain results of Fomin and Reading in the simply laced cases.

The Combinatorics of Quiver Representations

Abstract: We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotients for quivers). In the Appendix we include a version of Belkale's geometric proof of Fulton's conjecture that works for arbitrary quivers.

The blocks of the Brauer algebra in characteristic zero

Abstract: We determine the blocks of the Brauer algebra in characteristic zero. We also give information on the submodule structure of standard modules for this algebra.

An exotic Deligne-Langlands correspondence for symplectic groups

Abstract: Let G be a complex symplectic group. We introduce a G x (C ^x) ^{l + 1}-variety N_{l}, which we call the l-exotic nilpotent cone. Then, we realize the Hecke algebra H of type C_n ^(1) with three parameters via equivariant algebraic K-theory in terms of the geometry of N_2. This enables us to establish a Deligne-Langlands type classification of "non-critical" simple H-modules. As applications, we present a character formula and multiplicity formulas of H-modules.

A geometric description of $m$-cluster categories

Abstract: We show that the $m$-cluster category of type $A_{n-1}$ is equivalent to a certain geometrically-defined category of diagonals of a regular $nm+2$-gon. This generalises a result of Caldero, Chapoton and Schiffler for $m=1$. The approach uses the theory of translation quivers and their corresponding mesh categories. We also introduce the notion of the $m$th power of a translation quiver and show how it can be used to realise the $m$-cluster category in terms of the cluster category.

Algebras of Derived dimension zero

Abstract: We prove that a finite-dimensional algebra over an algebraically closed field is of derived dimension 0 if and only if it is an iterated tilted algebra of Dynkin type.

A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic

Abstract: This article is based on lectures given by the authors in 2005 and 2006. Our first goal is to present an introduction to the orbit method with an emphasis on the character theory of finite nilpotent groups. The second goal (motivated by a recent work of G. Lusztig) is to explain several nontrivial aspects of character theory for finite groups of the form $G(F_{q^n})$, where $G$ is a unipotent algebraic group over a finite field $F_q$. In particular, we introduce the notion of a character sheaf for a unipotent group, and provide a toy model for the representation-theoretic notion of an L-packet.

The inversion formula and holomorphic extension of the minimal representation of the conformal group

Abstract: The minimal representation π of the indefinite orthogonal group O(m + 1,2) is realized on the Hilbert space of square integrable functions on R m with respect to the measure |x| 1 dx1 � � � dxm This article gives an explicit integral formula for the holomorphic extension of π to a holomorphic semigroup of O(m + 3, C) by means of the Bessel function Taking its ‘boundary value’, we also find the integral kernel of the ‘inversion operator’ corresponding to the inversion element on the Minkowski space R m,1

Generalized cluster complexes via quiver representations

Abstract: We give a quiver representation theoretic interpretation of generalized cluster complexes defined by Fomin and Reading. By using $d-$cluster categories which are defined by Keller as triangulated orbit categories of (bounded) derived categories of representations of valued quivers, we define a $d-$compatibility degree $(-||-)$ on any pair of ``colored'' almost positive real Schur roots which generalizes previous definitions on the non-colored case, and call two such roots compatible provided the $d-$compatibility degree of them is zero. Associated to the root system $\Phi$ corresponding to the valued quiver, by using this compatibility relation, we define a simplicial complex which has colored almost positive real Schur roots as vertices and $d-$compatible subsets as simplicies. If the valued quiver is an alternating quiver of a Dynkin diagram, then this complex is the generalized cluster complex defined by Fomin and Reading.

Limits of BC-type orthogonal polynomials as the number of variables goes to infinity

Abstract: We describe the asymptotic behavior of the multivariate BC-type Ja- cobi polynomials as the number of variables and the Young diagram indexing the polynomial go to infinity. In particular, our results describe the approximation of the spherical functions of the infinite-dimensional symmetric spaces of type B, C, D or BC by the spherical functions of the corresponding finite-dimensional symmetric spaces. Similar results for the Jack polynomials were established in our earlier paper (Intern. Math. Res. Notices 1998, no. 13, 641-682; arXiv: q-alg/9709011). The main results of the present paper were obtained in 1997.

Argument Shift Method and Gaudin Model

Abstract: We construct a family of maximal commutative subalgebras in the tensor product of n copies of the universal enveloping algebra U(g) of a semisimple Lie algebra g This family is parameterized by collections \mu; z_1,,z_n, where \mu \in g^*, and z_1,,z_n are pairwise distinct complex numbers The construction presented here generalizes the famous construction of the higher Gaudin hamiltonians due to Feigin, Frenkel, and Reshetikhin For n=1, our construction gives a quantization of the family of maximal Poisson-commutative subalgebras in S(g) obtained by the argument shift method Next, we describe natural representations of commutative algebras of our family in tensor products of finite-dimensional g-modules as certain degenerations of the Gaudin model In the case of g=sl_r we prove that our commutative subalgebras have simple spectrum in tensor products of finite-dimensional g-modules for generic \mu and z_i This implies simplicity of spectrum in the "generic" sl_r Gaudin model

Poincare-Birkhoff-Witt Deformations of Calabi-Yau Algebras

Abstract: Recently, Bocklandt proved a conjecture by Van den Bergh in its graded version, stating that a graded quiver algebra (with relations) which is Calabi-Yau of dimension 3 is defined from a homogeneous potential W. In this paper, we prove that if we add to W any potential of smaller degree, we get a Poincare-Birkhoff-Witt deformation of A. Such PBW deformations are Calabi-Yau and are characterised among all the PBW deformations of A. Various examples are presented.

Deformation spaces of one-dimensional formal modules and their cohomology

Abstract: We study the geometry and cohomology of the (generic fibres) of formal deformation schemes of one-dimensional formal modules of finite height. By the work of Boyer (in mixed characterististic) and Harris and Taylor, the l-adic etale cohomology of these spaces realizes simultaneously the local Langlands and Jacquet-Langlands correspondences. The proofs given so far use Drinfeld modular varieties or Shimura varieties to derive this local result. In this paper we show without the use of global moduli spaces that the Jacquet-Langlands correspondence for supercuspidal representations is realized by the Euler-Poincare characteristic of the cohomology. Under a certain finiteness assumption on the cohomology groups, it is shown that the correspondence is realized in only one degree. One main ingredient of the proof consists in analyzing the boundary of the deformation spaces and in studying larger spaces which can be considered as compactifications of the deformation spaces.

The Geometric Weil Representation

Abstract: In this paper we construct a geometric analogue of the Weil representation over a finite field. Our construction is principally invariant, not choosing any specific realization. This eliminates most of the unpleasant formulas that appear in the traditional (non-invariant) approaches, and puts in the forefront some delicate geometric phenomena which underlie this representation.

Supercharacter formulas for pattern groups

Abstract: C. Andre and N. Yan introduced the idea of a supercharacter theory to give a tractable substitute for character theory in wild groups such as the unipotent uppertriangular group $U_n(F_q)$. In this theory superclasses are certain unions of conjugacy classes, and supercharacters are a set of characters which are constant on superclasses. This paper gives a character formula for a supercharacter evaluated at a superclass for pattern groups and more generally for algebra groups.

Continuous representations of groupoids

Abstract: We introduce unitary representations of continuous groupoids on continuous fields of Hilbert spaces. We investigate some properties of these objects and discuss some of the standard constructions from representation theory in this particular context. An important r\^{ole} is played by the regular representation. We conclude by discussing some operator algebra associated to continuous representations of groupoids; in particular, we analyse the relationship of continuous representations of $G$ and continuous representations of the Banach $*$-category $\hat{L}^{1}(G)$.

TQFT with corners and tilting functors in the Kac-Moody case

Abstract: We study projective functors (i.e. direct summands of compositions of translations through walls) for parabolic versions of $\cO$ as well as for integral regular blocks outside the critical hyperplanes in the symmetrizable Kac-Moody case. It turns out that in both situations the functors are completely determined by their restriction to the additive category generated by (the limit of) a `full projective tilting' object. We describe how projective functors in the parabolic setup give rise to an invariant of tangle cobordisms and formulate a conjectural direct connection to Khovanov homology. Our main result, however, is the classification theorem for indecomposable projective functors in the Kac-Moody case verifying a conjecture of F. Malikov and I. Frenkel.

Discrete series characters and the Lefschetz formula for Hecke operators

Abstract: This paper gives combinatorial formulas for discrete series constants, both stable and unstable, on real reductive groups. It also carries out one step of the comparison of the topological trace formula for Hecke operators with Arthur's trace formula for Hecke operators, the step in which the topological terms are combined in such a way that stable discrete series characters appear.

Mutation in triangulated categories and rigid Cohen-Macaulay modules

Abstract: We introduce the notion of mutation of $n$-cluster tilting subcategories in a triangulated category with Auslander-Reiten-Serre duality. Using this idea, we are able to obtain the complete classifications of rigid Cohen-Macaulay modules over certain Veronese subrings.

Isometric group actions on Banach spaces and representations vanishing at infinity

Abstract: Our main result is that the simple Lie group $G=Sp(n,1)$ acts properly isometrically on $L^p(G)$ if $p>4n+2$. To prove this, we introduce property $({\BP}_0^V)$, for $V$ be a Banach space: a locally compact group $G$ has property $({\BP}_0^V)$ if every affine isometric action of $G$ on $V$, such that the linear part is a $C_0$-representation of $G$, either has a fixed point or is metrically proper. We prove that solvable groups, connected Lie groups, and linear algebraic groups over a local field of characteristic zero, have property $({\BP}_0^V)$. As a consequence for unitary representations, we characterize those groups in the latter classes for which the first cohomology with respect to the left regular representation on $L^2(G)$ is non-zero; and we characterize uniform lattices in those groups for which the first $L^2$-Betti number is non-zero.

The Tetrahedron algebra and its finite-dimensional irreducible modules

Abstract: Recently Terwilliger and the present author found a presentation for the three-point $\mathfrak{sl}_2$ loop algebra via generators and relations. To obtain this presentation we defined a Lie algebra $\boxtimes$ by generators and relations and displayed an isomorphism from $\boxtimes$ to the three-point $\mathfrak{sl}_2$ loop algebra. In this paper we classify the finite-dimensional irreducible $\boxtimes$-modules.