• ### $\tau$-Functions, Birkhoff Factorizations and Difference Equations(1605.00192)

March 27, 2019 math.RT
$Q$-systems and $T$-systems are systems of integrable difference equations that have recently attracted much attention, and have wide applications in representation theory and statistical mechanics. We show that certain $\tau$-functions, given as matrix elements of the action of the loop group of ${\rm GL}_{2}$ on two-component fermionic Fock space, give solutions of a $Q$-system. An obvious generalization using the loop group of ${\rm GL}_3$ acting on three-component fermionic Fock space leads to a new system of 4 difference equations.
• ### Ore's theorem on subfactor planar algebras(1704.00745)

March 26, 2019 math.CO, math.OA, math.QA, math.RT, math.GR
This article proves that an irreducible subfactor planar algebra with a distributive biprojection lattice admits a minimal 2-box projection generating the identity biprojection. It is a generalization (conjectured in 2013) of a theorem of Oystein Ore on distributive intervals of finite groups (1938), and a corollary of a natural subfactor extension of a conjecture of Kenneth S. Brown in algebraic combinatorics (2000). We deduce a link between combinatorics and representations in finite group theory.
• ### Sasakian quiver gauge theories and instantons on cones over round and squashed seven-spheres(1706.07383)

We study quiver gauge theories on the round and squashed seven-spheres, and orbifolds thereof. They arise by imposing $G$-equivariance on the homogeneous space $G/H=\mathrm{SU}(4)/\mathrm{SU}(3)$ endowed with its Sasaki-Einstein structure, and $G/H=\mathrm{Sp}(2)/\mathrm{Sp}(1)$ as a 3-Sasakian manifold. In both cases we describe the equivariance conditions and the resulting quivers. We further study the moduli spaces of instantons on the metric cones over these spaces by using the known description for Hermitian Yang-Mills instantons on Calabi-Yau cones. It is shown that the moduli space of instantons on the hyper-Kahler cone can be described as the intersection of three Hermitian Yang-Mills moduli spaces. We also study moduli spaces of translationally invariant instantons on the metric cone $\mathbb{R}^8/\mathbb{Z}_k$ over $S^7/\mathbb{Z}_k$.
• ### On Deformations of Gorenstein-projective modules over Nakayama and triangular matrix algebras(1709.05391)

March 23, 2019 math.RT
Let $\mathbf{k}$ be a fixed field of arbitrary characteristic, and let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra. Assume that $V$ is a left $\Lambda$-module of finite dimension over $\mathbf{k}$. F. M. Bleher and the author previously proved that $V$ has a well-defined versal deformation ring $R(\Lambda,V)$ which is a local complete commutative Noetherian ring with residue field isomorphic to $\mathbf{k}$. Moreover, $R(\Lambda,V)$ is universal if the endomorphism ring of $V$ is isomorphic to $\mathbf{k}$. In this article we prove that if $\Lambda$ is a basic connected cycle Nakayama algebra without simple modules and $V$ is a Gorenstein-projective left $\Lambda$-module, then $R(\Lambda,V)$ is universal. Moreover, we also prove that the universal deformation rings $R(\Lambda,V)$ and $R(\Lambda, \Omega V)$ are isomorphic, where $\Omega V$ denotes the first syzygy of $V$. This result extends the one obtained by F. M. Bleher and D. J. Wackwitz concerning universal deformation rings of finitely generated modules over self-injective Nakayama algebras. In addition, we also prove the following result concerning versal deformation rings of finitely generated modules over triangular matrix finite dimensional algebras. Let $\Sigma=\begin{pmatrix} \Lambda & B\\0& \Gamma\end{pmatrix}$ be a triangular matrix finite dimensional Gorenstein $\mathbf{k}$-algebra with $\Gamma$ of finite global dimension and $B$ projective as a left $\Lambda$-module. If $\begin{pmatrix} V\\W\end{pmatrix}_f$ is a finitely generated Gorenstein-projective left $\Sigma$-module, then the versal deformation rings $R\left(\Sigma,\begin{pmatrix} V\\W\end{pmatrix}_f\right)$ and $R(\Lambda,V)$ are isomorphic.
• ### Universal Deformation Rings of Finitely Generated Gorenstein-Projective Modules over Finite Dimensional Algebras(1705.05230)

March 22, 2019 math.RT
Let $\mathbf{k}$ be a field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be a finitely generated $\Lambda$-module. F. M. Bleher and the third author previously proved that $V$ has a well-defined versal deformation ring $R(\Lambda,V)$. If the stable endomorphism ring of $V$ is isomorphic to $\mathbf{k}$, they also proved under the additional assumption that $\Lambda$ is self-injective that $R(\Lambda,V)$ is universal. In this paper, we prove instead that if $\Lambda$ is arbitrary but $V$ is Gorenstein-projective then $R(\Lambda,V)$ is also universal when the stable endomorphism ring of $V$ is isomorphic to $\mathbf{k}$. Moreover, we show that singular equivalences of Morita type (as introduced by X. W. Chen and L. G. Sun) preserve the isomorphism classes of versal deformation rings of finitely generated Gorenstein-projective modules over Gorenstein algebras. We also provide examples. In particular, if $\Lambda$ is a monomial algebra in which there is no overlap (as introduced by X. W. Chen, D. Shen and G. Zhou) we prove that every finitely generated indecomposable Gorenstein-projective $\Lambda$-module has a universal deformation ring that is isomorphic to either $\mathbf{k}$ or to $\mathbf{k}[\![t]\!]/(t^2)$.
• ### The boundness of weighted Coxeter groups of rank 3(1607.02286)

March 22, 2019 math.RT
We prove that a weighted Coxeter group (W,S,L) is bounded in the sense of G.Lusztig if the rank of W is 3.
• ### On the extended Whittaker category(1411.7982)

March 21, 2019 math.CT, math.AG, math.RT
Let $G$ be a connected reductive group, with connected center, and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$-bundles on $X$. In analogy with the classical theory of Whittaker coefficients for automorphic functions, we construct a "Fourier transform" functor, called $\mathsf{coeff}_{G,\mathsf{ext}}$, from the DG category of $\mathfrak{D}$-modules on $\operatorname{Bun}_G$ to a certain DG category $\mathcal{W}h(G,\mathsf{ext})$, called the \emph{extended Whittaker category}. Combined with work in progress by other mathematicians and the author, this construction allows to formulate the compatibility of the Langlands duality functor $\mathbb{L}_G: \operatorname{IndCoh}_{\mathcal N}(\operatorname{LocSys}_{\check{G}}) \to \mathfrak{D}(\operatorname{Bun}_G)$ with the Whittaker model. For $G=GL_n$ and $G=PGL_n$, we prove that $\mathsf{coeff}_{G,\mathsf{ext}}$ is fully faithful. This result guarantees that, for those groups, $\mathbb{L}_G$ is unique (if it exists) and necessarily fully faithful.
• ### Quadratic Involutions on Binary Forms(1008.3117)

March 21, 2019 math.AG, math.RT
There is a classical geometric construction which uses a binary quadratic form to define an involution on the space of binary d-ics. We give a complete characterization of a general class of such involutions which are definable using compound transvectant formulae. We also study the associated varieties of forms which are preserved by such involutions. Along the way we prove a recoupling formula for transvectants, which is used to deduce a system of equations satisfied by the coefficients in these involutions.
• ### Asymptotic behaviors of representations of graded categories with inductive functors(1705.00882)

March 20, 2019 math.RT, math.KT, math.AC, math.RA
In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring $k$, via introducing inductive functors which generalize important properties of shift functors of $\mathrm{FI}$-modules. In particular, a sufficient criterion for finiteness of Castelnuovo-Mumford regularity of finitely generated representations of these categories is obtained. As applications, we show that a few important infinite combinatorial categories appearing in representation stability theory are equipped with inductive functors, and hence the finiteness of Castelnuovo-Mumford regularity of their finitely generated representations is guaranteed. We also prove that truncated representations of these categories have linear minimal resolutions by relative projective modules, which are precisely linear minimal projective resolutions when $k$ is a field of characteristic 0.
• ### Geometric representations of finite groups on real toric spaces(1704.08591)

March 20, 2019 math.AT, math.RT
We develop a framework to construct geometric representations of finite groups $G$ through the correspondence between real toric spaces $X^{\mathbb R}$ and simplicial complexes with characteristic matrices. We give a combinatorial description of the $G$-module structure of the homology of $X^{\mathbb R}$. As applications, we make explicit computations of the Weyl group representations on the homology of real toric varieties associated to the Weyl chambers of type $A$ and $B$, which show an interesting connection to the topology of posets. We also realize a certain kind of Foulkes representation geometrically as the homology of real toric varieties.
• ### Stringy invariants for horospherical varieties of complexity one(1511.03852)

March 19, 2019 math.AG, math.RT
In this paper we determine the stringy motivic volume of log terminal horospherical $G$-varieties of complexity one, where $G$ is a connected reductive linear algebraic group. The stringy motivic volume of a log terminal variety is an invariant of singularities which was introduced by Batyrev and plays an important role in mirror symmetry for Calabi--Yau varieties. A horospherical $G$-variety of complexity one is a normal $G$-variety which is equivariantly birational to a product $C \times G/H$, where $C$ is a smooth projective curve and the closed subgroup $H$ contains a maximal unipotent subgroup of $G$. The simplest example of such a variety is a normal surface with a non-trivial $\mathbb{C}^{\star}$-action. Our formula extends the results of Batyrev--Moreau [BM13] on stringy invariants of horospherical embeddings. The proof involves the study of the arc space of a horospherical variety of complexity one and a combinatorial description of its orbits. In contrast to [BM13], the number of orbits is no longer countable, which adds significant difficulties to the problem. As a corollary of our main theorem, we obtain a smoothness criterion using a comparison of the stringy and usual Euler characteristics.
• ### The tilting-cotilting correspondence(1710.02230)

July 15, 2019 math.CT, math.RT
To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we construct an equivalence between the (conventional or absolute) derived categories of A and B. Under various assumptions on A, which cover a wide range of examples (for instance, if A is a module category or, more generally, a locally finitely presentable Grothendieck abelian category), we show that B is the abelian category of contramodules over a topological ring and that the derived equivalences are realized by a contramodule-valued variant of the usual derived Hom-functor.
• ### Horospherical stacks(1703.00488)

March 18, 2019 math.AG, math.RT
We prove structure theorems for algebraic stacks with a reductive group action and a dense open substack isomorphic to a horospherical homogeneous space, and thereby obtain new examples of algebraic stacks which are global quotient stacks. Our results partially generalize the work of Fantechi-Mann-Nironi and Geraschenko-Satriano for abstract toric stacks.
• ### Shuffle algebras associated to surfaces(1703.02027)

March 17, 2019 math.AG, math.RT
We consider the algebra of Hecke correspondences (elementary transformations at a single point) acting on the algebraic K-theory groups of the moduli spaces of stable sheaves on a smooth projective surface S. We derive quadratic relations between the Hecke correspondences, and compare the algebra they generate with the Ding-Iohara-Miki algebra (at a suitable specialization of parameters), as well as with a generalized shuffle algebra.
• ### O'Nan moonshine and arithmetic(1702.03516)

March 17, 2019 math.RT, math.NT
Answering a question posed by Conway and Norton in their seminal 1979 paper on moonshine, we prove the existence of a graded infinite-dimensional module for the sporadic simple group of O'Nan, for which the McKay--Thompson series are weight $3/2$ modular forms. The coefficients of these series may be expressed in terms of class numbers, traces of singular moduli, and central critical values of quadratic twists of weight 2 modular $L$-functions. As a consequence, for primes $p$ dividing the order of the O'Nan group we obtain congruences between O'Nan group character values and class numbers, $p$-parts of Selmer groups, and Tate--Shafarevich groups of certain elliptic curves. This work represents the first example of moonshine involving arithmetic invariants of this type.
• ### Serre weights and Breuil's lattice conjecture in dimension three(1608.06570)

March 17, 2019 math.RT, math.NT
We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above $p$. This is a generalization to $\mathrm{GL}_3$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil-M\'ezard conjecture for (tamely) potentially crystalline deformation rings with Hodge-Tate weights $(0,1,2)$ as well as the Serre weight conjectures over an unramified field extending our previous results. We also prove results in modular representation theory about lattices in Deligne-Luzstig representations for the group $\mathrm{GL}_3(\mathbb{F}_q)$.
• ### The representation theory of finite sets and correspondences(1510.03034)

March 17, 2019 math.CT, math.CO, math.RT, math.GR
We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for other types of functors.In particular, if $k$ is a field and if $F$ is a correspondence functor, then $F$ is finitely generated if and only if the dimension of $F(X)$ grows exponentially in terms of the cardinality of the finite set $X$. In such a case, $F$ has finite length. Also, if $k$ is noetherian, then any subfunctor of a finitely generated functor is finitely generated. When $k$ is a field, we give a description of all the simple functors and we determine the dimension of their evaluations at any finite set.A main tool is the construction of a functor associated to any finite lattice $T$. We prove for instance that this functor is projective if and only if the lattice $T$ is distributive. Moreover, it has quotients which play a crucial role in the analysis of simple functors. The special case of total orders yields some more specific results. Several other properties are also discussed, such as projectivity, duality, and symmetry.In an appendix, all the lattices associated to a given poset are described.
• ### Nilpotence theorems via homological residue fields(1710.04799)

March 15, 2019 math.AT, math.CT, math.AG, math.RT
We prove nilpotence theorems in tensor-triangulated categories using suitable Gabriel quotients of the module category, and discuss examples.
• ### Higher Nakayama algebras I: Construction(1604.03500)

May 15, 2019 math.CO, math.RT
We introduce higher dimensional analogues of the Nakayama algebras from the viewpoint of Iyama's higher Auslander--Reiten theory. More precisely, for each Nakayama algebra $A$ and each positive integer $d$, we construct a finite dimensional algebra $A^{(d)}$ having a distinguished $d$-cluster-tilting $A^{(d)}$-module whose endomorphism algebra is a higher dimensional analogue of the Auslander algebra of $A$. We also construct higher dimensional analogues of the mesh category of type $\mathbb{ZA}_\infty$ and the tubes.
• ### Cohomology and overconvergence for representations of powers of Galois groups(1705.03786)

March 14, 2019 math.RT, math.NT
We show that the Galois cohomology groups of $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ can be computed via the generalization of Herr's complex to multivariable $(\varphi,\Gamma)$-modules. Using Tate duality and a pairing for multivariable $(\varphi,\Gamma)$-modules we extend this to analogues of the Iwasawa cohomology. We show that all $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ are overconvergent and, moreover, passing to overconvergent multivariable $(\varphi,\Gamma)$-modules is an equivalence of categories. Finally, we prove that the overconvergent Herr complex also computes the Galois cohomology groups.
• ### The nil Temperley--Lieb algebra of type affine C(1703.02609)

March 14, 2019 math.CO, math.QA, math.RT
We introduce a type affine $C$ analogue of the nil Temperley--Lieb algebra, in terms of generators and relations. We show that this algebra $T(n)$, which is a quotient of the positive part of a Kac--Moody algebra of type $D_{n+1}^{(2)}$, has an easily described faithful representation as an algebra of creation and annihilation operators on particle configurations, reminiscent of the open TASEP model in statistical physics. The centre of $T(n)$ consists of polynomials in a certain element $Q$, and $T(n)$ is a free module of finite rank over its centre. We show how to localize $T(n)$ by adjoining an inverse of $Q$, and prove that the resulting algebra is a full matrix ring over a ring of Laurent polynomials over a field. Although $T(n)$ has wild representation type, over an algebraically closed field we can classify all the finite dimensional indecomposable representations of $T(n)$ in which $Q$ acts invertibly.
• ### Schur-finiteness (and Bass-finiteness) conjecture for quadric fibrations and for families of sextic du Val del Pezzo surfaces(1708.05382)

March 13, 2019 math.AT, math.AG, math.RT, math.KT
Let Q -> B be a quadric fibration and T -> B a family of sextic du Val del Pezzo surfaces. Making use of the recent theory of noncommutative mixed motives, we establish a precise relation between the Schur-finiteness conjecture for Q, resp. for T, and the Schur-finiteness conjecture for B. As an application, we prove the Schur-finiteness conjecture for Q, resp. for T, when B is low-dimensional. Along the way, we obtain a proof of the Schur-finiteness conjecture for smooth complete intersections of two or three quadric hypersurfaces. Finally, we prove similar results for the Bass-finiteness conjecture.
• ### Sheets and associated varieties of affine vertex algebras(1601.05906)

March 13, 2019 math-ph, math.MP, math.QA, math.RT
We show that sheet closures appear as associated varieties of affine vertex algebras. Further, we give new examples of non-admissible affine vertex algebras whose associated variety is contained in the nilpotent cone. We also prove some conjectures from our previous paper and give new examples of lisse affine W-algebras.
• ### Quantum-classical correspondence on associated vector bundles over locally symmetric spaces(1710.04625)

March 12, 2019 math-ph, math.MP, math.DS, math.RT, math.SP
For a compact Riemannian locally symmetric space $\mathcal M$ of rank one and an associated vector bundle $\mathbf V_\tau$ over the unit cosphere bundle $S^\ast\mathcal M$, we give a precise description of those classical (Pollicott-Ruelle) resonant states on $\mathbf V_\tau$ that vanish under covariant derivatives in the Anosov-unstable directions of the chaotic geodesic flow on $S^\ast\mathcal M$. In particular, we show that they are isomorphically mapped by natural pushforwards into generalized common eigenspaces of the algebra of invariant differential operators $D(G,\sigma)$ on compatible associated vector bundles $\mathbf W_\sigma$ over $\mathcal M$. As a consequence of this description, we obtain an exact band structure of the Pollicott-Ruelle spectrum. Further, under some mild assumptions on the representations $\tau$ and $\sigma$ defining the bundles $\mathbf V_\tau$ and $\mathbf W_\sigma$, we obtain a very explicit description of the generalized common eigenspaces. This allows us to relate classical Pollicott-Ruelle resonances to quantum eigenvalues of a Laplacian in a suitable Hilbert space of sections of $\mathbf W_\sigma$. Our methods of proof are based on representation theory and Lie theory.
• ### Bounded t-structures on the bounded derived category of coherent sheaves over a weighted projective line(1708.05274)

March 12, 2019 math.CT, math.AG, math.RT
We use recollement and HRS-tilt to describe bounded t-structures on the bounded derived category $\mathcal{D}^b(\mathbb{X})$ of coherent sheaves over a weighted projective line $\mathbb{X}$ of virtual genus $\leq 1$. We will see from our description that the combinatorics in classification of bounded t-structures on $\mathcal{D}^b(\mathbb{X})$ can be reduced to that in classification of bounded t-structures on bounded derived categories of finite dimensional right modules over representation-finite finite dimensional hereditary algebras.