Search

The theory of minimal K-types for p-adic reductive groups was developed in part to classify irreducible admissible representations with wild ramification. An important observation was that minimal K-types associated to such representations correspond to fundamental strata. These latter objects are triples (x, r, beta), where x is a point in the Bruhat-Tits building of the reductive group G, r is a nonnegative real number, and beta is a semistable functional on the degree r associated graded piece of the Moy-Prasad filtration corresponding to x. Recent work on the wild ramification case of the geometric Langlands conjectures suggests that fundamental strata also play a role in the geometric setting. In this paper, we develop a theory of minimal K-types for formal flat G-bundles. We show that any formal flat G-bundle contains a fundamental stratum; moreover, all such strata have the same rational depth. We thus obtain a new invariant of a flat G-bundle called the slope, generalizing the classical definition for flat connections. The slope can also be realized as the minimum depth of a stratum contained in the flat G-bundle, and in the case of positive slope, all such minimal depth strata are fundamental. Finally, we show that a flat G-bundle is irregular singular if and only if it has positive slope., Comment: 37 pages. A new trivialization-free definition of containment of a stratum in a flat G-bundle has been added. The paper has been reorganized so that the main definitions and results are given in Section 2

In this paper, we construct twist automorphisms on quantum unipotent cells, which are quantum analogues of the Berenstein-Fomin-Zelevinsky twist automorphisms on unipotent cells. We show that those quantum twist automorphisms preserve the dual canonical bases of quantum unipotent cells. Moreover, we prove that quantum twist automorphisms are described by the syzygy functors for representations of preprojective algebras in the symmetric case. This is the quantum analogue of Gei{\ss}-Leclerc-Schr\"oer's description, and Gei{\ss}-Leclerc-Schr\"oer's results are essential in our proof. As a consequence, we show that quantum twist automorphisms are compatible with quantum cluster monomials. The 6-periodicity of specific quantum twist automorphisms is also verified., Comment: v3: 57 pages. Major revision. We have detailed our explanation of the classical counterpart of the De Concini-Procesi isomorphisms and the proof of Theorem 7.25. The organization of the paper has been changed. The main results are unchanged v4: 53 pages. Minor corrections. Final version

The Howe dual pair (sl(2),O(m)) allows the characterization of the classical Fourier transform (FT) on the space of rapidly decreasing functions as the exponential of a well-chosen element of sl(2) such that the Helmholtz relations are satisfied. In this paper we first investigate what happens when instead we consider exponentials of elements of the universal enveloping algebra of sl(2). This leads to a complete class of generalized Fourier transforms, that all satisfy properties similar to the classical FT. There is moreover a finite subset of transforms which very closely resemble the FT. We obtain operator exponential expressions for all these transforms by making extensive use of the theory of integer-valued polynomials. We also find a plane wave decomposition of their integral kernel and establish uncertainty principles. In important special cases we even obtain closed formulas for the integral kernels. In the second part of the paper, the same problem is considered for the dual pair (osp(1|2),Spin(m)), in the context of the Dirac operator. This connects our results with the Clifford-Fourier transform studied in previous work., Comment: Second version, changes in title, introduction and section 2

Let R be a commutative noetherian ring. The notion of n-wide subcategories of Mod R is introduced and studied in Matsui-Nam-Takahashi-Tri-Yen in relation to the cohomological dimension of a specialization-closed subset of Spec R. In this paper, we introduce the notions of n-coherent subsets of Spec R and n-uniform subcategories of D(Mod R), and explore their interactions with n-wide subcategories of Mod R. We obtain a commutative diagram which yields filtrations of subcategories of Mod R, D(Mod R) and subsets of Spec R and complements classification theorems of subcategories due to Gabriel, Krause, Neeman, Takahashi and Angeleri Hugel-Marks-Stovicek-Takahashi-Vitoria., Comment: 17 pages, to appear in IMRN

Equivariant map algebras are Lie algebras of algebraic maps from a scheme (or algebraic variety) to a target finite-dimensional Lie algebra (in the case of the current paper, we assume the latter is a simple Lie algebra) that are equivariant with respect to the action of a finite group. In the first part of this paper, we define global Weyl modules for equivariant map algebras satisfying a mild assumption. We then identify a commutative algebra A that acts naturally on the global Weyl modules, which leads to a Weyl functor from the category of A-modules to the category of modules for the equivariant map algebra in question. These definitions extend the ones previously given for generalized current algebras (i.e. untwisted map algebras) and twisted loop algebras. In the second part of the paper, we restrict our attention to equivariant map algebras where the group involved is abelian, acts on the target Lie algebra by diagram automorphisms, and freely on (the set of rational points of) the scheme. Under these additional assumptions, we prove that A is finitely generated and the global Weyl module is a finitely generated A-module. We also define local Weyl modules via the Weyl functor and prove that these coincide with the local Weyl modules defined directly in a previous paper. Finally, we show that A is the algebra of coinvariants of the analogous algebra in the untwisted case., Comment: 38 pages. v2: Section numbering changed to match published version. Minor typos corrected

The problem of whether the cohomological support map of a finite dimensional Hopf algebra has the tensor product property has attracted a lot of attention following the earlier developments on representations of finite group schemes. Many authors have focussed on concrete situations where positive and negative results have been obtained by direct arguments. In this paper we demonstrate that it is natural to study questions involving the tensor product property in the broader setting of a monoidal triangulated category. We give an intrinsic characterization by proving that the tensor product property for the universal support datum is equivalent to complete primeness of the categorical spectrum. From these results one obtains information for other support data, including the cohomological one. Two theorems are proved giving compete primeness and non-complete primeness in certain general settings. As an illustration of the methods, we give a proof of a recent conjecture of Negron and Pevtsova on the tensor product property for the cohomological support maps for the small quantum Borel algebras for all complex simple Lie algebras., 20 pages

In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient space of $\mathfrak{D}$. The set $S$ is positive if the theta functions corresponding to the integral points of $S$ and its $\mathbb{N}$-dilations define an $\mathbb{N}$-graded subalgebra of $\Gamma(V, \mathcal{O}_V)[x]$. In particular, a positive set $S$ defines a compactification of $V$ through a Proj construction applied to the corresponding $\mathbb{N}$-graded algebra. In this paper we give a natural convexity notion for subsets of $\mathfrak{D}$, called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of $\mathfrak{D}$, or to check positivity of a given subset., Comment: 40 pages, 19 figures, comments welcome. Added subsection 2.2.3 treating quotients and fibers of cluster varieties. The main theorem holds in this broader setting. To appear in IMRN

Coset constructions of $\mathcal{W}$-algebras have many applications, and were recently given for principal $\mathcal{W}$-algebras of $A$, $D$, and $E$ types by Arakawa together with the first and third authors. In this paper, we give coset constructions of the large and small $N=4$ superconformal algebras, which are the minimal $\mathcal{W}$-algebras of $\mathfrak{d}(2,1;a)$ and $\mathfrak{psl}(2|2)$, respectively. From these realizations, one finds a remarkable connection between the large $N=4$ algebra and the diagonal coset $C^{k_1, k_2} = \text{Com}(V^{k_1+k_2}(\mathfrak{sl}_2), V^{k_1}(\mathfrak{sl}_2) \otimes V^{k_2}(\mathfrak{sl}_2))$, namely, as two-parameter vertex algebras, $C^{k_1, k_2}$ coincides with the coset of the large $N=4$ algebra by its affine subalgebra. We also show that at special points in the parameter space, the simple quotients of these cosets are isomorphic to various $\mathcal{W}$-algebras. As a corollary, we give new examples of strongly rational principal $\mathcal{W}$-algebras of type $C$ at degenerate admissible levels., 34 pages

For a reductive group $G$, Steinberg established a map from the Weyl group to the set of nilpotent $G$-orbits by using moment maps on double flag varieties. In particular, in the case of the general linear group, it provides a geometric interpretation of the Robinson-Schensted correspondence between permutations and pairs of standard tableaux of the same shape. We extend Steinberg's approach to the case of a symmetric pair $(G,K)$ to obtain two different maps, namely a \emph{generalized Steinberg map} and an \emph{exotic moment map}. Although the framework is general, in this paper we focus on the pair $(G,K) = (\mathrm{GL}_{2n}(\mathbb{C}), \mathrm{GL}_n(\mathbb{C}) \times \mathrm{GL}_n(\mathbb{C}))$. Then the generalized Steinberg map is a map from \emph{partial} permutations to the pairs of nilpotent orbits in $ \mathfrak{gl}_n(\mathbb{C}) $. It involves a generalization of the classical Robinson--Schensted correspondence to the case of partial permutations. The other map, the exotic moment map, establishes a combinatorial map from the set of partial permutations to that of signed Young diagrams, i.e., the set of nilpotent $K$-orbits in the Cartan space $(\mathrm{Lie}(G)/\mathrm{Lie}(K))^* $. We explain the geometric background of the theory and combinatorial algorithms which produce the above mentioned maps., Comment: 51 pages, 3 figures. Minor modifications. Accepted in the International Mathematics Research Notices

This paper contributes to the study of the fibers of the commutator map on special linear groups in characteristic zero. Specifically, we show that the fibers over non-central elements all have the same dimension. Also we explain that the fibers over central elements can be of larger dimension and compute how large. We use the character tables of finite general linear groups constructed by J.A. Green to count solutions to the commutator equation $[x,y]=g$ over finite fields and use algebraic geometry to go from characteristic $p$ to characteristic $0$. To deal with fibers over central elements, we compute the orbits of the conjugation action of $\mathrm{GL}_n$ on these fibers., Comment: 15 pages, no figure

In this paper we study derived equivalences for Symplectic reflection algebras. We establish a version of the derived localization theorem between categories of modules over Symplectic reflection algebras and categories of coherent sheaves over quantizations of Q-factorial terminalizations of the symplectic quotient singularities. To do this we construct a Procesi sheaf on the terminalization and show that the quantizations of the terminalization are simple sheaves of algebras. We will also sketch some applications: to the generalized Bernstein inequality and to perversity of wall crossing functors., Comment: 17 pages, v2 acknowledgements added, v3 19 pages, the exposition is made more detailed; v4 accepted version, significant modifications

Let $A$ be the path algebra of a Dynkin quiver over a finite field, and let $C_1(\mathscr{P})$ be the category of 1-cyclic complexes of projective $A$-modules. In the present paper, we give a PBW-basis and a minimal set of generators for the Hall algebra $\H(C_1(\mathscr{P}))$ of $C_1(\mathscr{P})$. Using this PBW-basis, we firstly prove the degenerate Hall algebra of $C_1(\mathscr{P})$ is the universal enveloping algebra of the Lie algebra spanned by all indecomposable objects. Secondly, we calculate the relations in the generators in $\H(C_1(\mathscr{P}))$, and obtain quantum Serre relations in a quotient of certain twisted version of $\H(C_1(\mathscr{P}))$. Moreover, we establish relations between the degenerate Hall algebra, twisted Hall algebra of $A$ and those of $C_1(\mathscr{P})$, respectively., Comment: 20 pages

Let $G$ be a complex connected simple algebraic group with a fixed real form $\sigma$. Let $G(\mathbb{R})=G^\sigma$ be the corresponding group of real points. This paper reports a finiteness theorem for the classification of irreducible unitary Harish-Chandra modules of $G(\mathbb{R})$ (up to equivalence) having non-vanishing Dirac cohomology. Moreover, we study the distribution of the spin norm along Vogan pencils for certain $G(\mathbb{R})$, with particular attention paid to the unitarily small convex hull introduced by Salamanca-Riba and Vogan., Comment: Further extended version, 31 pages

It is known that every three dimensional Gorenstein toric singularity has a crepant resolution. Although it is not unique, all crepant resolutions are connected by repeating the operation "flop". On the other hand, this singularity also has a non-commutative crepant resolution (= NCCR) which is constructed from a consistent dimer model. Such an NCCR is given as the endomorphism ring of a certain module which we call splitting maximal modifying module. In this paper, we show that all splitting maximal modifying modules are connected by repeating the operation "mutation" of splitting maximal modifying modules for the case of toric singularities associated with reflexive polygons., 50 pages, including many figures, v4: corrected the proof of Lemma 3.7, v3: revised several places, especially subsection 5.6, v2: minor changes

In this paper, we conjecture an extension of the Hilbert basis theorem and the finite generation of invariants to commutative algebras in symmetric finite tensor categories over fields of positive characteristic. We prove the conjecture in the case of semisimple categories and more generally in the case of categories with fiber functors to the characteristic $p > 0$ Verlinde category of $SL_{2}$. We also construct a symmetric finite tensor category $\sVec_{2}$ over fields of characteristic $2$ and show that it is a candidate for the category of supervector spaces in this characteristic. We further show that $\sVec_{2}$ does not fiber over the characteristic $2$ Verlinde category of $SL_{2}$ and then prove the conjecture for any category fibered over $\sVec_{2}$., 17 pages. v2: Fixed proof of Prop 2.10. Added an example of category not fibering over Verlinde in characteristic 2 and proved main theorems for this category as well

In this paper we prove the abelian localization theorem for modules over cyclotomic Rational Cherednik algebras., 10 pages, preliminary version

In this paper, we give a simple and short proof of the uniqueness of generic representations in an $L$-packet for a quasi-split connected classical group over a non-archimedean local field., Comment: 10 pages

An oscillator group $G$ is a semidirect product of a Heisenberg group with a one-parameter group. In this article we construct Olshanski semigroups for infinite-dimensional oscillator groups. These are complex involutive semigroups which have a polar decomposition. The main application will be for representations $\pi$ of $G$ which are semibounded, i.e., there exists a non-empty open subset $U$ of the Lie algebra $\mathfrak{g}$ such that the operators $id\pi(x)$ from the derived representation are uniformly bounded from above for $x\in U$. More precisely we show that every semibounded representation of an oscillator group $G$ extends to a non-degenerate holomorphic representation of such a semigroup and conversely each non-degenerate holomorphic representation of such a semigroup gives rise to a semibounded representation of $G$. The main application of this result is a classification of representations of the canonical commutation relations with a positive Hamiltonian, which will be obtained in a subsequent paper. Moreover it yields direct integral decomposition into irreducible ones and implies the existence of a dense subspace of analytic vectors for semibounded representations of $G$.

We develop a theory of tensor categories over a field endowed with abstract operators. Our notion of a "field with operators", coming from work of Moosa and Scanlon, includes the familiar cases of differential and difference fields, Hasse-Schmidt derivations, and their combinations. We develop a corresponding Tannakian formalism, describing the category of representations of linear groups defined over such fields. The paper extends the previously know (classical) algebraic and differential algebraic Tannakian formalisms., 38 pages

We introduce the (global) q-Whittaker function as the limit at t=0 of the q,t-spherical function extending the symmetric Macdonald polynomials to arbitrary eigenvalues. The construction heavily depends on the technique of the q-Gaussians developed by the author (and Stokman in the non-reduced case). In this approach, the q-Whittaker function is given by a series convergent everywhere, a kind of generating function for multi-dimensional q-Hermite polynomials (closely related to the level 1 Demazure characters). One of the applications is a q-version of the Shintani- Casselman- Shalika formula, which appeared directly connected with q-Mehta- Macdonald identities in terms of the Jackson integrals. This formula generalizes that of type A due to Gerasimov et al. to arbitrary reduced root systems. At the end of the paper, we obtain a q,t-counterpart of the Harish-Chandra asymptotic formula for the spherical functions, including the Whittaker limit., Comment: V2: a discussion of the one-dimensional case was added. V3: Jackson integration and growth estimates were added. V4: a q-variant of the Harish-Chandra asymptotic formula for spherical functions was added. V5: editing, some improvements, adding references. V6: General editing