We construct a geometric realization of the Khovanov-Lauda-Rouquier algebra
$R$ associated with a symmetric Borcherds-Cartan matrix $A=(a_{ij})_{i,j\in I}$
via quiver varieties. As an application, if $a_{ii} \ne 0$ for any $i\in I$, we
prove that there exists a 1-1 correspondence between Kashiwara's lower global
basis (or Lusztig's canonical basis) of $U_\A^-(\g)$ (resp.\ $V_\A(\lambda)$)
and the set of isomorphism classes of indecomposable projective graded modules
over $R$ (resp.\ $R^\lambda$).
We establish a duality within the spectral sequence that governs the
holomorphic double fibration transform. It has immediate application to the
questions of injectivity and range characterization for this transform. We
discuss some key examples and an improved duality that holds in the Hermitian
holomorphic case.
We explain the appearance of free convolution of Kerov transition measures in
the outer product of representations of S_n by showing that some elements of
the group algebra are asymptotically free.
The transfer factors for standard endoscopy involve, among other things, the
Langlands-Shelstad splitting invariant. This note introduces a twisted version
of that splitting invariant. The twisted splitting invariant is then used to
define a better twisted factor $\Delta_I$. In addition we correct a sign error
in the definition of twisted transfers. There are two ways to correct the sign
error. One way yields twisted transfer factors $\Delta'$ that are compatible
with the classical Langlands correspondence.
We classify all finite dimensional algebras which are derived equivalent to
m-cluster tilted algebras of type A.
We investigate various topological spaces and varieties which can be
associated to a block of a finite group scheme G. These spaces come from the
theory of cohomological support varieties for modules, as well as from the
representation-theoretic constructions of E. Friedlander and J. Pevtsova.
Let G be a simple classical algebraic group over an algebraically closed
field of positive characteristic. We describe the support variety of a simple
G-module over the r-th Frobenius kernel of G, in terms of its calculation over
the first Frobenius kernel. We then use this result to compute the block
varieties of the Frobenius kernels of G.
Let T be a triangulated category with triangulated subcategories X and Y. We
show that the subcategory of extensions X * Y is triangulated if and only if Y
* X is contained in X * Y.
In this situation, we show the following analogue of the Second Isomorphism
Theorem: (X * Y) / X is equivalent to Y / (X \cap Y) and (X * Y) / Y is
equivalent to X / (X \cap Y).
We establish a connection between planar rook algebras and tensor
representations $\VV^{\otimes k}$ of the natural two-dimensional representation
$\VV$ of the general linear Lie superalgebra $\gl$. In particular, we show that
the centralizer algebra $\maths{End}_{\gl}(\VV^{\otimes k})$ is the planar rook
algebra $\CC \mathsf{P}_{k-1}$ for all $k \geq 1$, and we exhibit an explicit
decomposition of $\VV^{\otimes k}$ into irreducible $\gl$-modules. We obtain
similar results for the quantum enveloping algebra $\UU_\qq(\gl)$ and its
natural two-dimensional module $\VV_\qq$.
The spin analogues of several classical concepts and results for Hecke
algebras are established. A Frobenius type formula is obtained for irreducible
characters of the Hecke-Clifford algebra. A precise characterization of the
trace functions allows us to define the character table for the algebra. The
algebra is endowed with a canonical symmetrizing trace form, with respect to
which the spin generic degrees are formulated and shown to coincide with the
spin fake degrees.
We give a purely cohomological treatment of a character theory for
(g,K)-modules. This leads to a beautiful formalism extending to large
categories of (g,K)-modules. Due to results of Hecht-Schmid and Vogan the
classical results of Harish-Chandra's global character theory extend to this
setting. This algebraic approach reduces (not necessarily admissible)
discretely decomposable branching problems to finiteness statements about
multiplicities of composition factors and appropriate character formulas.
The nonstandard Hecke algebra \check{\mathscr{H}}_r was defined in GCT IV to
study the Kronecker problem. We study a quotient \check{\mathscr{H}}_{r,2} of
\check{\mathscr{H}}_r, called the nonstandard Temperley-Lieb algebra, which is
simpler than \check{\mathscr{H}}_{r}. It is defined to be the subalgebra of
H_{r,2} \otimes \mathscr{H}_{r,2} generated by \mathcal{P}_i := C'_i \otimes
C'_i + C_i \otimes C_i, i \in [r-1], where \mathscr{H}_{r,2} is the
Temperley-Lieb algebra and C'_i and C_i are Kazhdan-Lusztig basis elements.
Atypicality is a fundamental combinatorial invariant for simple supermodules
of a basic Lie superalgebra. Boe, Nakano, and the author gave a conjectural
geometric interpretation of atypicality via support varieties. Inspired by low
dimensional topology, Geer, Patureau-Mirand, and the author gave a
generalization of the Kac-Wakimoto atypicality conjecture. We prove both of
these conjectures for the Lie superalgebra osp(m|2n).
Let A be a connected left artinian ring with radical square zero and with n
simple modules. If A is not self-injective, then we show that any module M with
Ext^i(M,A) = 0 for 1 \le i \le n + 1 is projective. We also determine the
structure of the artin algebras with radical square zero and n simple modules
which have a non-projective module M such that Ext^i(M,A) = 0 for 1 \le i \le
n.
Let $G$ be a connected reductive algebraic group over a non-Archimedean local
field $K$, and let $\mathfrak g$ be its Lie algebra. By a theorem of
Harish-Chandra, if $K$ has characteristic zero, the Fourier transforms of
nilpotent orbital integrals are represented on the set of regular elements in
${\mathfrak g}(K)$ by locally constant functions, which, extended by zero to
all of ${\mathfrak g}(K)$, are locally integrable. In this paper, we prove that
if the group $G$ is unramified, these functions are in fact specializations of
constructible motivic exponential functions.
We use the representation theory of Lie algebras and computational linear
algebra to obtain an explicit formula for the hyperdeterminant of a $3 \times 3
\times 2$ array: a homogeneous polynomial of degree 12 in 18 variables with
16749 monomials and 41 distinct integer coefficients; the monomials belong to
178 orbits under the action of $(S_3 \times S_3 \times S_2) \rtimes S_2$.
Using differential techniques, we compute the Jacquet module of the locally
analytic vectors of irreducible admissible unitary representations of
GL_2(\qp). This gives a direct proof of some results of Colmez, leading to a
proof of conjectures by Berger, Breuil and Emerton.
We consider a natural basis of the Iwahori fixed vectors in the Whittaker
model of an unramified principal series representation of a split semisimple p-
adic group, indexed by the Weyl group. We show that the elements of this basis
may be computed from one another by applying Demazure-Lusztig operators. The
precise identities involve correction terms, which may be calculated by a
combinatorial algorithm that is identical to the computation of the fibers of
the Bott-Samelson resolution of a Schubert variety.
In this expository paper, we provide an overview of the Gelfand-Zeiltin
integrable system on the Lie algebra of $n\times n$ complex matrices
$\fgl(n,\C)$ introduced by Kostant and Wallach in 2006. We discuss results
concerning the geometry of the set of strongly regular elements, which consists
of the points where Gelfand-Zeitlin flow is Lagrangian. We use the theory of
$K_{n}=GL(n-1,\C)\times GL(1,\C)$-orbits on the flag variety $\mathcal{B}_{n}$
of $GL(n,\C)$ to describe the strongly regular elements in the nilfiber of the
moment map of the system.
The purpose of this paper is to generalize Zhu's theorem about characters of
modules over a vertex operator algebra to the setting of a vertex operator
superalgebra whose vectors may have rational, rather than integer, conformal
weights. It turns out that to recover SL(2, Z)-invariance of the characters, it
is necessary to include twisted modules into the discussion. Another new
feature arises in the super-case; the space of conformal blocks is no longer
spanned by the trace functions of Zhu, the twisted trace functions of Dong, Li
and Mason, and their super-analogues.
The uncertainty principle of SE(2) allows to construct a coherent states
transform that is strictly related to the Bargmann transform for the second
Heisenberg group H2. The corresponding target space is characterized
constructively and related to the almost complex structure of SE(2) as a
contact manifold. Such a coherent state transform provides a model for neural
activity maps in the primary visual cortex, that are then described in terms of
minimal uncertainty states. The results of the model are compared with the
experimental measurements.
Let $W$ be a finite Coxeter group. It is well-known that the number of
involutions in $W$ is equal to the sum of the degrees of the irreducible
characters of $W$. Following a suggestion of Lusztig, we show that this
equality is compatible with the decomposition of $W$ into Kazhdan--Lusztig
cells. The proof uses a generalisation of the Frobenius--Schur indicator to
symmetric algebras, which may be of independent interest.
The classification results for the extreme characters of two basic "big"
groups, the infinite symmetric group S(infinity) and the infinite-dimensional
unitary group U(infinity), are remarkably similar. It does not seem to be
possible to explain this phenomenon using a suitable extension of the
Schur-Weyl duality to infinite dimension. We suggest an explanation of a
different nature that does not have analogs in the classical representation
theory.
Zuk's criterion give us a condition for a finitely generated group to have
Property(T): the smallest non - zero eigenvalue of Laplace operator
corresponding to the simple random walk on the associated graph have to be
greater than 1/2. We present here two examples that prove that this condition
cannot be improved.
In recent papers we have refined a conjecture of Lehrer and Solomon
expressing the character of the representation of a finite Coxeter group $W$ on
the $p$th graded piece of its Orlik-Solomon algebra as a sum of characters
induced from linear characters of centralizers of elements of $W$. Our refined
conjecture relates the character of $W$ on the $p$th graded piece of its
Orlik-Solomon algebra with the descent algebra of $W$.
Adjoint functors and projectivization in representation theory of partially
ordered sets are used to generalize the algorithms of differentiation by a
maximal and by a minimal point. Conceptual explanations are given for the
combinatorial construction of the derived set and for the differentiation
functor
In this paper we determine the second Hochschild cohomology group for a class
of self-injective algebras of tame representation type namely, those which are
standard one-parametric but not weakly symmetric. These were classifed up to
derived equivalence by Bocian, Holm and Skowro\'nski.
We consider a central extension of the sheaf of Lie algebras of maps from a
manifold into a finite-dimensional simple Lie algebra, together with the sheaf
of vector fields. Using vertex algebra methods we construct sheaves of modules
for this sheaf of Lie algebras. Our results extend the work of
Malikov-Schechtman-Vaintrob on the chiral de Rham complex.
We prove an analogon of Koszul duality for category O in positive
characteristic. However, there are no Koszul rings, and we do not prove an
analog of the Kazhdan-Lusztig conjectures in this context.
The goal of this paper is to study the representation theory of a classical
infinite-dimensional Lie algebra - the Lie algebra of vector fields on an
N-dimensional torus for N > 1. The case N=1 gives a famous Virasoro algebra (or
its centerless version - the Witt algebra). The algebra of vector fields has an
important class of tensor modules parametrized by finite-dimensional modules of
gl(N). Tensor modules can be used in turn to construct bounded irreducible
modules for the vector fields on N+1-dimensional torus, which are the central
objects of our study.
For p odd, the Lie group SO_0(p+1,p+1) has a family of unitary degenerate
principal series representations realized on the space of real (p+1) by (p+1)
skew symmetric matrices, similar to the Stein's complementary series for
SL(2n,C) or Speh's representation for SL(2n,R). We consider their restriction
on the subgroup G= SO(p+1,p) and prove that they are still irreducible and is
equivalent to (a unitarization of) the principal series representation of G,
and also irreducible under a maximal parabolic subgroup of G.
We show that the complexity of the Lie module $\mathrm{Lie}(n)$ in
characteristic $p$ is bounded above by $m$ where $p^m$ is the largest $p$-power
dividing $n$ and, if $n$ is not a $p$-power, is equal to the maximum of the
complexities of $\Lie(p^i)$ for $1 \leq i \leq m$.
We adapt the conjectural local Langlands parameterization to split
metaplectic groups over local fields. When $\tilde G$ is a central extension of
a split connected reductive group over a local field (arising from the
framework of Brylinski and Deligne), we construct a dual group $\mathbf{\tilde
G}^\vee$ and an L-group ${}^L \mathbf{\tilde G}^\vee$ as group schemes over
${\mathbb Z}$.
Motivated by known examples of global integrals which represent automorphic
L-functions, this paper initiates the study of a certain two-dimensional array
of global integrals attached to any reductive algebraic group, indexed by
maximal parabolic subgroups in one direction and by unipotent conjugacy classes
in the other. Fourier coefficients attached to unipotent classes,
Gelfand-Kirillov dimension of automorphic representations, and an identity
which, empirically, appears to constrain the unfolding process are presented in
detail with examples selected from the exceptional groups.
Roughly speaking, a bidiagonal pair is a pair of diagonalizable linear
transformations on a finite dimensional vector space, each of which acts in a
bidiagonal fashion on the eigenspaces of the other. We associate to each
bidiagonal pair a sequence of scalars called a parameter array. We present a
classification of bidiagonal pairs up to isomorphism using this concept of a
parameter array.
In this paper we present Affine.m - program for computations in
representation theory of finite-dimensional and affine Lie algebras and
describe implemented algorithms. Algorithms are based upon the properties of
weights and Weyl symmetry. The most important problems for us are the ones,
concerning computation of weight multiplicities in irreducible and Verma
modules, branching of representations and tensor product decomposition. These
problems have numerous applications in physics and we provide some examples of
these applications.
We prove that any unitary representation of GL(n;R) and GL(n;C) admits an
equivariant linear form with respect to one of the subgroups considered by
Klyachko.
We give a complete classification of the irreducible quasifinite modules for
algebras of the form Vir \otimes A, where Vir is the Virasoro algebra and A is
a Noetherian commutative associative unital algebra over the complex numbers.
It is shown that all such modules are tensor products of generalized evaluation
modules. We also give an explicit sufficient condition for a Verma module of
Vir \otimes A to be reducible. In the case that A is an infinite-dimensional
integral domain, this condition is also necessary.
Let $A$ be a finite dimensional hereditary algebra over an algebraically
closed field $k$, $T_2(A)=(\begin{array}{cc}A&0 A&A\end{array})$ be the
triangular matrix algebra and $A^{(1)}=(\begin{array}{cc}A&0 DA&A\end{array})$
be the duplicated algebra of $A$ respectively. We prove that ${\rm rep.dim}\
T_2(A)$ is at most three if $A$ is Dynkin type and ${\rm rep.dim}\ T_2(A)$ is
at most four if $A$ is not Dynkin type. Let $T$ be a tilting A-$\module$ and
$\ol{T}=T\oplus\ol{P}$ be a tilting $A^{(1)}$-$\module$.
We determine the dimensions of irreducible representations of the
three-dimensional Sklyanin algebras. This contributes to the study of marginal
deformations of the N=4 super Yang-Mills theory in four dimensions in
supersymmetric string theory. Namely the classification of such representations
is equivalent to determining the vacua of the aforementioned deformed theories.
We introduce some graded versions of the walled Brauer algebra, working over
a field of characteristic zero. This allows us to prove that the walled Brauer
algebra is Morita equivalent to an idempotent truncation of a certain infinite
dimensional version of Khovanov's arc algebra, as suggested by recent work of
Cox and De Visscher. We deduce that the walled Brauer algebra is Koszul
whenever its defining parameter is non-zero.
We prove that the categories of smooth and analytic unitary representations
of Banach--Lie supergroups are well-behaved under restriction functors, in the
sense that the restriction of a representation to an integral subsupergroup is
well-defined. We also prove that the category of analytic representations is
isomorphic to a subcategory of the category of smooth representations. These
facts are needed as a crucial first step to a rigorous treatment of the
analytic theory of unitary representations of Banach--Lie supergroups.
We give a proof of the parabolic/singular Koszul duality for the category O
of affine Kac-Moody algebras. The main new tool is a relation between moment
graphs and finite codimensional affine Schubert varieties. We apply this
duality to q-Schur algebras and to cyclotomic rational double affine Hecke
algebras.
Cayley's hyperdeterminant is a homogeneous polynomial of degree 4 in the 8
entries of a 2 x 2 x 2 array. It is the simplest (nonconstant) polynomial which
is invariant under changes of basis in three directions. We use elementary
facts about representations of the 3-dimensional simple Lie algebra sl_2(C) to
reduce the problem of finding the invariant polynomials for a 2 x 2 x 2 array
to a combinatorial problem on the enumeration of 2 x 2 x 2 arrays with
non-negative integer entries.
We present a construction of autoequivalences of derived categories of
symmetric algebras based on projective modules with periodic endomorphism
algebras. This construction generalises autoequivalences previously constructed
by Rouquier-Zimmermann and is related to the autoequivalences of Seidel-Thomas
and Huybrechts-Thomas.
Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(\Lambda)$
be the integrable highest weight $U_q(\g)$-module with highest weight
$\Lambda$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra
$R^\Lambda$ provides a categorification of $V(\Lambda)$.
Suppose that $\tilde{G}$ is a connected reductive group defined over a field
$k$, $\Gamma$ is a group of $k$-automorphisms of $\tilde{G}$ satisfying a
quasi-semisimplicity condition, and $G$ is the connected part of the group of
fixed points. Then $G$ is reductive. If both $\tilde{G}$ and $G$ are
$k$-quasisplit, then we can consider their duals $\tilde{G}^*$ and $G^*$. We
show the existence and give an explicit formula for a natural map from stable
conjugacy classes in $G^*(k)$ to those in $\tilde{G}^*(k)$.
In this article we give an algorithm for determining the generators and
relations for the rings of semi-invariant functions on irreducible components
of representation spaces for gentle string algebras. These rings of
semi-invariants turn out to be semigroup rings to which we can associate a
so-called matching graph. Under this association, generators for the semigroup
can be seen by certain walks on this graph, and relations are given by certain
configurations in the graph. This allows us to determine degree bounds for the
generators and relations of these rings.
It is proved that certain types of modular cusp forms generate irreducible
automorphic representation of the underlying algebraic group. Analogous
archimedean and non-archimedean local statements are also given.
It is generally believed (and for the most part is probably true) that Lie
theory, in contrast to the characteristic zero case, is insufficient to tackle
the representation theory of algebraic groups over prime characteristic fields.
However, in this paper we show that, for a large and important class of
unipotent algebraic groups (namely the unipotent upper triangular groups
$U_n$), and under a certain hypothesis relating the characteristic $p$ to both
$n$ and the dimension $d$ of a representation (specifically, $p \geq
\text{max}(n,2d)$), Lie theory is completely sufficient to determine t
In this paper we extend a result for representations of the Additive group
$G_a$ given in [3] to the Heisenberg group $H_1$. Namely, if $p$ is greater
than 2d then all $d$-dimensional characteristic $p$ representations for $H_1$
can be factored into commuting products of representations, with each factor
arising from a representation of the Lie algebra of $H_1$, one for each of the
the representation's Frobenius layers.
The finite groups having an indecomposable polynomial invariant whose degree
is at least half of the order of the group are classified. Apart from four
sporadic exceptions these are exactly the groups having a cyclic subgroup of
index at most two. The Noether bound is determined for these groups, and
estimates are given for various other groups as well.
Recently, Cohen and Wales built a faithful linear representation of the Artin
group of type $D_n$, hence showing the linearity of this group. It was later
discovered that this representation is reducible for some complex values of its
two parameters. It was also shown that when the representation is reducible,
the action on a proper invariant subspace is a Hecke algebra action of type
$D_n$.
In this expository paper we present an overview of various graphical
categorifications of the Heisenberg algebra and its Fock space representation.
We begin with a discussion of "weak" categorifications via modules for Hecke
algebras and "geometrizations" in terms of the cohomology of the Hilbert
scheme. We then turn our attention to more recent "strong" categorifications
involving planar diagrammatics and derived categories of coherent sheaves on
Hilbert schemes.
Let $G$ be a connected reductive algebraic group over an algebraically closed
field ${\bf k}$ of characteristic not equal to 2, let $\B$ be the variety of
all Borel subgroups of $G$, and let $K$ be a symmetric subgroup of $G$. Fixing
a closed $K$-orbit in $\B$, we associate to every $K$-orbit on $\B$ some
subsets of the Weyl group of $G$, and we study them as invariants of the
$K$-orbits. When ${\bf k} = {\mathbb C}$, these invariants are used to
determine when an orbit of a real form of $G$ and an orbit of a Borel subgroup
of $G$ have non-empty intersection in $\B$.
EI-categories are a simultaneous generalisation of finite groups and finite
quivers without oriented cycles. It is therefore a natural question to ask for
a characterisation of finite representation type. For special classes of
EI-categories a complete characterisation is obtained using quiver techniques.
For EI-categories with two objects we present a necessary criterion for finite
representation type. The complexity of this classification problem is
illustrated by some examples.
Ramanujan's Master theorem states that, under suitable conditions, the Mellin
transform of a power series provides an interpolation formula for the
coefficients of this series. Based on the duality of Riemannian symmetric
spaces of compact and noncompact type inside a common complexification, we
prove an analogue of Ramanujan's Master Theorem for the spherical Fourier
transform of a spherical Fourier series. This extend the results proven by
Bertram for Riemannian symmetric spaces of rank-one.
Suppose a finite group acts on a scheme X and a finite-dimensional Lie
algebra g. The associated equivariant map algebra is the Lie algebra of
equivariant regular maps from X to g. The irreducible finite-dimensional
representations of these algebras were classified in previous work with P.
Senesi, where it was shown that they are all tensor products of evaluation
representations and one-dimensional representations.
For any complex parameters a,b, the W(a,b) algebra is the Lie algebra with
basis {L_i,W_i|i\in Z}, and relations [L_i,L_j]=(j-i)L_{i+j},
[L_i,W_j]=(a+j+bi)W_{i+j},[W_i,W_j]=0. In this paper, indecomposable modules of
the intermediate series over W(a,b) are classified. It is also proved that an
irreducible Harish-Chandra W(a,b)-module is either a highest/lowest weight
module or a uniformly bounded module. Furthermore, if a\notin Q, an irreducible
weight W(a,b)-module is simply a Vir-module with trivial actions of W_k.
If $Q$ is a non degenerate quadratic form on ${\bb C}^n$, it is well known
that the differential operators $X=Q(x)$, $Y=Q(\partial)$, and
$H=E+\frac{n}{2}$, where $E$ is the Euler operator, generate a Lie algebra
isomorphic to ${\go sl}_{2}$.
We completely classify the real root subsystems of root systems of loop
algebras of Kac-Moody Lie algebras. This classification involves new notions of
"admissible subgroups" of the coweight lattice of a root system $\Psi$, and
"scaling functions" on $\Psi$. Our results generalise and simplify earlier work
on subsystems of real affine root systems.
The $q$-deformed Fock spaces of higher levels were introduced by
Jimbo-Misra-Miwa-Okado. The $q$-decomposition matrix is a transition matrix
from the standard basis to the canonical basis defined by Uglov in the
$q$-deformed Fock space. In this paper, we show that parts of $q$-decomposition
matrices of level $\ell$ coincides with that of level $\ell - 1$ under certain
conditions of multi charge.
Induced representations of $\ast$-algebras by unbounded operators in Hilbert
space are investigated. Conditional expectations of a $\ast$-algebra $\cA$ onto
a unital $\ast$-subalgebra $\cB$ are introduced and used to define inner
products on the corresponding induced modules. The main part of the paper is
concerned with group graded $\ast$-algebras $\cA=\oplus_{g\in G}\cA_g$ for
which the *-subalgebra $\cB:=\cA_e$ is commutative.
We study orbital integrals and invariant eigendistributions for the symmetric
pair (g,h)=(gl(4,R),gl(2,R)*gl(2,R)). Let q=g/h and let N be the set of
nilpotents of q. We first obtain an asymptotic behavior of orbital integrals
around nonzero semisimple elements of q. We study eigendistributions around
such elements and give an explicit basis of eigendistributions on q-N given by
a locally integrable function on q-N.
We prove a new family of total positivity criteria for partial flag varieties
for simply-connected complex algebraic group in the simply laced case.
We define the category of partitioned binary relations and show that it
contains many classical diagram categories, including categories of binary
relations, maps, injective maps, partitions, (oriented) Brauer diagrams and
(oriented) Temperley-Lieb diagrams. We construct a one-parameter deformation of
the category of partitioned binary relations and show that it gives rise to
classical one-parameter deformations of partition, Brauer and Temperley-Lieb
categories.
In this paper we continue the project of generalizing tilting theory to the
category of contravariant functors $Mod(C)$, from a skeletally small
preadditive category $C$ to the category of abelian groups. We introduced the
notion of a a generalized tilting category $T$, and extended Happel's theorem
to $Mod(C)$. We proved that there is an equivalence of triangulated categories
$D^b (Mod(C))\cong Db (Mod(T))$. In the case of dualizing varieties, we proved
a version of Happel's theorem for the categories of finitely presented
functors.
We study the Segal-Bargmann transform, or the heat transform, $H_t$ for a
compact symmetric space $M=U/K$. We prove that $H_t$ is a unitary isomorphism
$H_t : L^2(M) \to \cH_t (M_\C)$ using representation theory and the restriction
principle. We then show that the Segal-Bargmann transform behaves nicely under
propagation of symmetric spaces.
For each natural number n greater than 1, we define an algebra satisfying
many properties that one might expect to hold for a Brauer algebra of type Cn.
The monomials of this algebra correspond to scalar multiples of symmetric
Brauer diagrams on 2n strands. The algebra is shown to be free of rank the
number of such diagrams and cellular, in the sense of Graham and Lehrer.
This paper deals with the problem of factorizing integer powers of the
Laplace operator acting on functions taking values in higher spin
representations. This is a far-reaching generalization of the well-known fact
that the square of the Dirac operator is equal to the Laplace operator. Using
algebraic properties of projections of Stein-Weiss gradients, i.e. generalized
Rarita-Schwinger and twistor operators, we give a sharp upper bound on the
order of polyharmonicity for functions with values in a given representation
with half-integral highest weight.
Let $G$ be a complex simply-connected semisimple Lie group and let $\g=
\hbox{\rm Lie}\,G$. Let $\g = \n_- +\hh + \n$ be a triangular decomposition of
$\g$. The authors in [LW] introduce a very nice representation theory idea for
the construction of certain elements in $\hbox{\rm cent}\,U(n)$. A key lemma in
[LW] is incorrect but the idea is in fact valid. In our paper here we modify
the construction so as to yield the desired elements in $\hbox{\rm
cent}\,U(\n)$.
We study a limit category $M$ constructed from the polynomial representations
of all general linear groups. We construct a $g$-categorification on $M$ in the
sense of Chuang and Rouquier, which categorifies the Fock space representation
of $g$, (here $g$ is either $\hat{sl}_p$ or $sl_{\infty}$ depending on the
characteristic of the ground field). We construct the Misra-Miwa crystal of
Fock space from the set of simple objects of $M$.
We refine a conjecture by Lehrer and Solomon on the structure of the
Orlik--Solomon algebra of a finite Coxeter group $W$, related it to the descent
algebra of $W$ and prove the conjecture for symmetric groups.
This paper is an exposition of W.B. Arveson's complete invariant for the
unitary similarity of complex, irreducible matrices.
We construct a family of irreducible unitary representations of the loop
affine group of a line (ax+b group) with central extension on the Hilbert space
of square integrable functions with respect to the Wiener measure. We relate
the matrix coefficients of the elements of the loop ax+b group to the loop
analogue of the Gamma-function.
In a recent article, G. Malle and G. Navarro conjectured that the $p$-blocks
of a finite group all of whose height 0 characters have the same degree are
exactly the nilpotent blocks defined by M. Brou\'e and L. Puig. In this paper,
we check that this conjecture holds for spin-blocks of the covering group
$2.\A_n$ of the alternating group $\A_n$, thereby solving a case excluded from
the study of quasi-simple groups by Malle and Navarro.
We characterize the image of the Poisson transform on each boundary component
of a Riemannian symmetric space of the noncompact type by a system of
differential equations. The system corresponds to a generator system of a two
sided ideals of an universal enveloping algebra, which are explicitly given by
analogues of minimal polynomials of matrices.
The index of a seaweed Lie algebra can be computed from its associated
meander graph. We examine this graph in several ways with a goal of determining
families of Frobenius (index zero) seaweed algebras. Our analysis gives two new
families of Frobenius seaweed algebras as well as elementary proofs of known
families of such Lie algebras.
We prove a singular version of Beilinson-Bernstein localization for a complex
semi-simple Lie algebra following the ideas from the positive characteristic
case done in \cite{BMR2}.
Let $A_{n}(S)$ be a coefficient free cluster algebra over a field $K$. A
cluster automorphism is an element of $Aut._{K}K(t_{1}, t_{2},..., t_{n})$
which leaves the set of all cluster variables, $\xi_{S}$, invariant. The group
of all such automorphisms is studied in terms of the orbits of the symmetric
group action on the set of all seeds S and the cluster pattern.
We give a geometric model for a tube category in terms of homotopy classes of
oriented arcs in an annulus with marked points on its boundary. In particular,
we interpret the dimensions of extension groups of degree 1 between
indecomposable objects in terms of negative crossing numbers between
corresponding arcs, giving a geometric interpretation of the description of an
extension group in the cluster category of a tube as a symmetrized version of
the extension group in the tube.
In this paper we give an intimate connection between the characteristic zero
representation theories of the Additive and Heisenberg groups, and their
characteristic p >0 theories when p is much larger than the dimension a
representation. In particular, if p >> dimension, then all characteristic p
representations for these groups can be factored into commuting products of
representations, with each factor arising from a representation of the Lie
algebra of the group, one for each of the representation's Frobenius layers.
The principle of tannakian duality states that any neutral tannakian category
is tensorially equivalent to the category Rep_k G of finite dimensional
representations of some affine group scheme G and field k, and conversely.
Gabriel's Theorem, and the work of Bernstein, Gelfand and Ponomarev
established a connection between the theory of quiver representations and the
theory of simple Lie algebras. Lie superalgebras have been studied from many
perspectives, and many results about Lie algebras have analogues for Lie
superalgebras.
In this paper we use invariant theory to develop the notion of cohomological
detection for Type I classical Lie superalgebras. In particular we show that
the cohomology with coefficients in an arbitrary module can be detected on
smaller subalgebras. These results are used later to affirmatively answer
questions, which were originally posed in \cite{BKN1} and \cite{BaKN}, about
realizing support varieties for Lie superalgebras via rank varieties
constructed for the smaller detecting subalgebras.
We compute the Hochschild Cohomology of a finite-dimensional preprojective
algebra of generalized Dynkin type Ln over a field of odd characteristic not
dividing 2n+1. This turns out to be periodic by a result of
Bialkowski-Erdmann-Skowro\'{n}ski. In particular, we describe the ring
structure of the Hoschschild Cohomology ring under the Yoneda product by giving
an explicit presentation by generators and relations.
Cluster categories of hereditary algebras have been introduced as orbit
categories of their derived categories. Keller has pointed out that for
non-hereditary algebras orbit categories need not be triangulated, and he
introduced the notion of triangulated hull to overcome this problem. In this
paper we study the image if the natural functor from the bounded derived
category to the cluster category, that is we investigate how far the orbit
category is from being the cluster category.
Approximate algebraic structures play a defining role in arithmetic
combinatorics and have found remarkable applications to basic questions in
number theory and pseudorandomness. Here we study approximate representations
of finite groups: functions f:G -> U_d such that Pr[f(xy) = f(x) f(y)] is
large, or more generally Exp_{x,y} ||f(xy) - f(x)f(y)||^2$ is small, where x
and y are uniformly random elements of the group G and U_d denotes the unitary
group of degree d.
We show that the notions of $R$-trivial monoid and weakly ordered monoid are
equivalent. We use this fact to construct a complete system of orthogonal
idempotents for all $R$-trivial monoids.
Given a Lax system of equations with the spectral parameter on a Riemann
surface we construct a projective unitary representation of the Lie algebra of
Hamiltonian vector fields by Knizhnik-Zamolodchikov operators. This provides a
prequantization of the Lax system. The representation operators of Poisson
commuting Hamiltonians of the Lax system projectively commute.
We discuss certain Eisenstein series on arithmetic quotients of loop groups,
G^, which are associated to cusp forms on finite-dimensional groups associated
with maximal parabolics of G^.
We present an explicit difference operator diagonalized by the Macdonald
polynomials associated with an (arbitrary) admissible pair of irreducible
reduced crystallographic root systems. By the duality symmetry, this gives rise
to an explicit Pieri formula for the Macdonald polynomials in question. The
simplest examples of our construction recover Macdonald's celebrated difference
operators and associated Pieri formulas pertaining to the minuscule and
quasi-minuscule weights.
We present explicit Pieri formulas for Macdonald's spherical functions (or
generalized Hall-Littlewood polynomials associated with root systems) and their
$q$-deformation the Macdonald polynomials. For the root systems of type $A$,
our Pieri formulas recover the well-known Pieri formulas for the
Hall-Littlewood and Macdonald symmetric functions due to Morris and Macdonald
as special cases.
We show that with respect to the q-Plancherel measure on partitions of size
n, the irreducible characters of an Hecke algebra $H_q(S_n)$ are concentrated
around the normalized trace of $H_q(S_n)$. More precisely, we prove that the
deviations of the values of the q-characters $\chi^\lambda_q$ are
asymptotically gaussian, and we give an explicit formula for the covariances of
the limit normal laws (the other results were already in arXiv:1001.2180).
We show the q-analog of a well-known result of Farahat and Higman: in the
center of the Iwahori-Hecke algebra $H_{n,q}$, if
$(a_{\lambda\mu}^{\nu}(n,q))_\nu$ is the set of structure constants involved in
the product of two Geck-Rouquier conjugacy classes $\Gamma_{\lambda,n}$ and
$\Gamma_{\mu,n}$, then each coefficient $a_{\lambda\mu}^{\nu}(n,q)$ depends on
$n$ and $q$ in a polynomial way. Our proof relies on the construction of a
projective limit of the Hecke algebras; this projective limit is inspired by
the Ivanov-Kerov algebra of partial permutations.
A new calculus of planar diagrams involving diagrammatics for biadjoint
functors and degenerate affine Hecke algebras is introduced. The calculus leads
to an additive monoidal category whose Grothendieck ring contains an integral
form of the Heisenberg algebra in infinitely many variables. We construct bases
of vector spaces of morphisms between products of generating objects in this
category.
Let G denote either a special orthogonal group or a symplectic group defined
over the complex numbers. We prove the following saturation result for G: given
dominant weights \lambda^1, ..., \lambda^r such that the tensor product
V_{N\lambda^1} \otimes ... \otimes V_{N\lambda^r} contains nonzero G-invariants
for some N \ge 1, we show that the tensor product V_{2\lambda^1} \otimes ...
\otimes V_{2\lambda^r} also contains nonzero G-invariants.
We extend our previous study of quaternionic analysis based on representation
theory to the case of split quaternions H_R. The special role of the unit
sphere in the classical quaternions H identified with the group SU(2) is now
played by the group SL(2,R) realized by the unit quaternions in H_R. As in the
previous work, we use an analogue of the Cayley transform to relate the
analysis on SL(2,R) to the analysis on the imaginary Lobachevski space
SL(2,C)/SL(2,R) identified with the one-sheeted hyperboloid in the Minkowski
space M.
Let $R$ be the polynomial ring of the reflection representation of $W=S_n$,
and for any parabolic subgroup $W_J \subset W$ corresponding to a subset $J$ of
the Dynkin diagram, let $R^J$ be the subring of polynomials invariant under
$W_J$. When $J=\{i\}$ is a singleton, denote the ring $R^i$ and the
corresponding reflection $s_i$.
For an arbitrary unimodular Lie group $G$, we construct strongly continuous
unitary representations in the Bergman space of a naturally constructed
strongly pseudoconvex neighborhood of $G$ in the complexification of its
underlying manifold.
Simple-minded systems in stable module categories are defined by
orthogonality and generating properties so that the images of the simple
modules under a stable equivalence form such a system. Simple-minded systems
are shown to be invariant under stable equivalences; thus the set of all
simple-minded systems is an invariant of a stable module category. The
simple-minded systems of several classes of algebras are described and
connections to the Auslander-Reiten conjecture are pointed out.
Let $G$ be an arbitrary finite group. The McKay conjecture asserts that $G$
and the normaliser $N_G (P)$ of a Sylow $p$-subgroup $P$ in $G$ have the same
number of characters of degree not divisible by $p$ (that is, of $p'$-degree).
We propose a new refinement of the McKay conjecture, which suggests that one
may choose a correspondence between the characters of $p'$-degree of $G$ and
$N_G (P)$ to be compatible with induction and restriction in a certain sense.
This refinement implies, in particular, a conjecture of Isaacs and Navarro.
We study modules with 1-dimensional socle for preprojective algebras for type
A quivers. In particular, we classify such modules, determine all homomorphisms
between them, and then explain how they may be used to describe the components
of Lusztig quiver varieties.
Let G be a compact connected semisimple Lie group and let H\subset G be a
closed connected subgroup such that rank(G)=rank(H) and G/H is a symmetric
space. Given an irreducible representation of H, we define a Dirac operator D
and determine the representations of G in the kernel of D. Moreover, we show
that any irreducible representation of G can be constructed in this way. Our
approach is similar to that of Parthasarathy.
We calculate all decomposition matrices of the cyclotomic Hecke algebras of
the rank 2 exceptional complex reflection groups in characteristic 0. We prove
the existence of canonical basic sets in the sense of Geck-Rouquier and show
that all modular irreducible representations can be lifted to the ordinary
ones.
It is shown that every nonsingular continuous representation of the group
algebra $L^{1}(G)$ in Banach spaces is completely reducible if and only if $G$
is a compact group.
Building on the work of P.N. Norton, we give combinatorial formulae for two
maximal decompositions of the identity into orthogonal idempotents in the
$0$-Hecke algebra of the symmetric group, $\mathbb{C}H_0(S_N)$. This
construction is compatible with the branching from $S_{N-1}$ to $S_{N}$.
Let $U_n(q)$ denote the upper triangular group of degree $n$ over the finite
field $\F_q$ with $q$ elements. It is known that irreducible constituents of
supercharacters partition the set of all irreducible characters $Irr(U_n(q)).$
In this paper we present a correspondence between supercharacters and pattern
subgroups of the form $U_k(q)\cap {}^wU_k(q)$ where $w$ is a monomial matrix in
$GL_k(q)$ for some $k<n.$
The Harish-Chandra--Howe local character expansion expresses the characters
of reductive, $p$-adic groups in terms of Fourier transforms of nilpotent
orbital integrals on their Lie algebras, and Murnaghan--Kirillov theory
expresses many characters of reductive, $p$-adic groups in terms of Fourier
transforms of semisimple orbital integrals (also on their Lie algebras). In
many cases, the evaluation of these Fourier transforms seems intractable; but,
for $\operatorname{SL}_2$, the nilpotent orbital integrals have already been
computed.
We define series of representations of the Thompson's groups $F$ and $T$. We
show that they are irreducible and classify them up to unitary equivalence.
We consider a generalized discriminant associated to a symmetric space which
generalizes the discriminant of real symmetric matrices, and note that it can
be written as a sum of squares of real polynomials. A method to estimate the
minimum number of squares required to represent the discrimininant is developed
and applied in examples.
We give a proof of a conjecture of Lehrer and Shoji regarding the occurrences
of the exterior powers of the reflection representation in the cohomology of
Springer fibers. The actual theorem proved is a slight extension of the
original conjecture to all nilpotent orbits and also takes into account the
action of the component group. The method is to use Shoji's approach to the
orthogonality formulas for Green functions to relate the symmetric algebra to a
sum over Green functions.
We propose a new realization, using Harish-Chandra bimodules, of the Serre
functor for the BGG category $\mathcal{O}$ associated to a semi-simple complex
finite dimensional Lie algebra. We further show that our realization carries
over to classical Lie superalgebras in many cases. Along the way we prove that
category $\mathcal{O}$ and its parabolic generalizations for classical Lie
superalgebras are categories with full projective functors.
In this note, we point out an error in the proof of Theorem 4.7 of [P. Achar
and A.~Henderson, `Orbit closures in the enhanced nilpotent cone', Adv. Math.
219 (2008), 27-62], a statement about the existence of affine pavings for
fibres of a certain resolution of singularities of an enhanced nilpotent orbit
closure. We also give independent proofs of later results that depend on that
statement, so all other results of that paper remain valid.
We prove that if a finite group $H$ has a generalized involution model, as
defined by Bump and Ginzburg, then the wreath product $H \wr S_n$ also has a
generalized involution model. This extends the work of Baddeley concerning
involution models for wreath products. As an application, we construct a
Gelfand model for wreath products of the form $A \wr S_n$ with $A$ abelian, and
give an alternate proof of a recent result due to Adin, Postnikov, and Roichman
describing a particularly elegant Gelfand model for the wreath product $\ZZ_r
\wr S_n$.
We prove the Weyl denominator identity for the affine Lie superalgebra
gl(2|2)^ conjectured by V. Kac and M. Wakimoto. As it was pointed out in their
paper, this gives another proof of Jacobi identity for the number of
presentations of a given integer as a sum of eight squares.
We give a complete classification of the infinite dimensional tilting modules
over a tame hereditary algebra R. We start our investigations by considering
tilting modules of the form T=R_U\oplus R_U /R where U is a union of tubes, and
R_U denotes the universal localization of R at U in the sense of Schofield and
Crawley-Boevey. Here R_U/R is a direct sum of the Pr\"ufer modules
corresponding to the tubes in U.
Let $N$ be the Heisenberg group. We consider left-invariant multiplicity free
subspaces of $L^2(N)$. We prove a necessary and sufficient density condition in
order that such subspaces possess the interpolation property with respect to a
class of discrete subsets of $N$ that includes the integer lattice. We exhibit
a concrete example of a subspace that has interpolation for the integer
lattice, and we also prove a necessary and sufficient condition for shift
invariant subspaces to possess a singly-generated orthonormal basis of
translates.
We propose a new definition of Koszulity for graded algebras where the degree
zero part has finite global dimension, but is not necessarily semi-simple. The
standard Koszul duality theorems hold in this setting. We give an application
to algebras arising from multiplicity free blocks of the BGG category $\mathcal
O$.