Oct 17 2017

math.RT arXiv:1710.05821v1

In this paper, we introduce super Weyl groups, their distinguished elements and properties for basic classical Lie superalgebras. Then we formulate Jantzen filtration for baby Verma modules in graded restricted module categories of basic classical Lie superalgebras over an algebraically closed field of odd characteristic, and prove a sum formula in the corresponding Grothendieck groups. We finally obtain a strong linkage principle in such categories.

We form a generating series of regularized volumes of intersections of special cycles on a non-compact unitary Shimura variety with a fixed base change cycle. We show that it is a Hilbert modular form by identifying it with a theta integral, which we show converges even though the parameters lie outside the classical convergence range of Weil. By applying the regularized Siegel-Weil formulas of Ichino and Gan-Qiu-Takeda, we show the modular form is the restriction of a hermitian modular form of degree n related to Siegel Eisenstein series on U(n,n). An essential fact used is a computation showing the Kudla-Millson Schwartz function vanishes under the Ikeda map.

Given a non-unit, non-zero-divisor, central element $x$ of a ring $\Lambda$, it is well known that many properties or invariants of $\Lambda$ determine, and are determined by, those of $\Lambda / x \Lambda$ and $\Lambda_x$. In the present paper, we investigate how the property of "being tilting" behaves in this situation. It turns out that any tilting module over $\Lambda$ gives rise to tilting modules over $\Lambda_x$ and $\Lambda / x \Lambda$ after localization and passing to quotient respectively. On the other hand, it is proved that under some mild conditions, a module over $\Lambda$ is tilting if its corresponding localization and quotient are tilting over $\Lambda_x$ and $\Lambda / x \Lambda$ respectively.

We investigate the structure of root data by considering their decomposition as a product of a semisimple root datum and a torus. Using this decomposition we obtain a parameterisation of the isomorphism classes of all root data. By working at the level of root data we introduce the notion of a smooth regular embedding of a connected reductive algebraic group, which is a refinement of the commonly used regular embeddings introduced by Lusztig. In an unpublished manuscript Asai proved three key reduction techniques that are used for reducing statements about arbitrary connected reductive algebraic groups, equipped with a Frobenius endomorphism, to those whose derived subgroup is simple and simply connected. By using our investigations into root data we give new proofs of Asai's results and generalise them so that they are compatible with Steinberg endomorphisms. As an illustration of these ideas, we answer a question posed to us by Olivier Dudas concerning unipotent supports.

In this paper, we study the center and representation theory of finite $W$-algebra $\mathcal{T}(\mathfrak{g},e)$ over an algebraically closed field $\mathds{k}$ of characteristic $p\gg0$. We obtain an analogy of Veldkamp's theorem on the center, and then decide the structure of the reduced center of the associated reduced $W$-algebra $\mathcal{T}_\chi(\mathfrak{g},e)$ via that of the reduced enveloping algebra $U_\chi(\mathfrak{g})$. For the maximal spectrum $\text{Specm}(Z)$ of the center $Z=Z(\mathcal{T}(\mathfrak{g},e))$, we show that its Azumaya locus coincides with its smooth locus of smooth points, the former of which reflects irreducible representations of the maximal dimension for $\mathcal{T}(\mathfrak{g},e)$.

Using the Nakayama functor, we construct an equivalence from a Serre quotient category of a category of finitely generated modules to a category of finite-dimensional modules. We then apply this result to the categories FI$_G$ and VI$_q$, and answer positively an open question of Nagpal on representation stability theory.

Let $q=2^f$, and let $G=\mathrm{SO}_8^+(q)$ and $U$ be a Sylow $2$-subgroup of $G$. We first describe the fusion of the conjugacy classes of $U$ in $G$. We then use this information to prove the unitriangularity of the $\ell$-decomposition matrices of $G$ for all $\ell \ne 2$ by inducing certain irreducible characters of $U$ to $G$; the characters of $U$ of degree $q^3/2$ play here a major role. We then determine the $\ell$-decomposition matrix of $G$ in the case $\ell \mid q+1$, when $\ell \ge 5$ and $(q+1)_\ell>5$, up to two non-negative indeterminates in one column.

The space of based loops in $SL_n(\mathbb{C})$, also known as the affine Grassmannian of $SL_n(\mathbb{C})$, admits an $\mathbb{E}_2$ or fusion product. Work of Mitchell and Richter proves that this based loop space stably splits as an infinite wedge sum. We prove that the Mitchell--Richter splitting is coherently multiplicative, but not $\mathbb{E}_2$. Nonetheless, we show that the splitting becomes $\mathbb{E}_2$ after base-change to complex cobordism. Our proof of the $\mathbb{A}_\infty$ splitting involves on the one hand an analysis of the multiplicative properties of Weiss calculus, and on the other a use of Beilinson--Drinfeld Grassmannians to verify a conjecture of Mahowald and Richter. Other results are obtained by explicit, obstruction-theoretic computations.

Young diagrams are fundamental combinatorial objects in representation theory and algebraic geometry. Many constructions that rely on these objects depend on variations of a straightening process, due to Alfred Young, that expresses a filling of a Young diagram as a sum of semistandard tableau subject to certain relations. It has been a long-standing open problem to give a non-iterative, closed formula for this straightening process. This paper gives such a formula, as well as a simple combinatorial description of the coefficients that arise. Moreover, an interpretation of these coefficients in terms of paths in a directed graph is provided.

Let $S_1, \cdots, S_N$ simple finite-dimensional modules of a quantum affine algebra. We prove that if $S_i\otimes S_j$ is cyclic for any $i < j$ (i.e. generated by the tensor product of the highest weight vectors), then $S_1\otimes \cdots \otimes S_N$ is cyclic. The proof is based on the study of $R$-matrices.