
$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 twocomponent fermionic Fock space, give solutions of a
$Q$system. An obvious generalization using the loop group of ${\rm GL}_3$
acting on threecomponent fermionic Fock space leads to a new system of 4
difference equations.

This article proves that an irreducible subfactor planar algebra with a
distributive biprojection lattice admits a minimal 2box 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.

We study quiver gauge theories on the round and squashed sevenspheres, and
orbifolds thereof. They arise by imposing $G$equivariance on the homogeneous
space $G/H=\mathrm{SU}(4)/\mathrm{SU}(3)$ endowed with its SasakiEinstein
structure, and $G/H=\mathrm{Sp}(2)/\mathrm{Sp}(1)$ as a 3Sasakian 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 YangMills instantons on
CalabiYau cones. It is shown that the moduli space of instantons on the
hyperKahler cone can be described as the intersection of three Hermitian
YangMills 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$.

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 welldefined 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 Gorensteinprojective 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 selfinjective 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 Gorensteinprojective 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.

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 welldefined 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 selfinjective that $R(\Lambda,V)$
is universal. In this paper, we prove instead that if $\Lambda$ is arbitrary
but $V$ is Gorensteinprojective 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 Gorensteinprojective 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 Gorensteinprojective
$\Lambda$module has a universal deformation ring that is isomorphic to either
$\mathbf{k}$ or to $\mathbf{k}[\![t]\!]/(t^2)$.

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.

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.

There is a classical geometric construction which uses a binary quadratic
form to define an involution on the space of binary dics. 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.

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 CastelnuovoMumford 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 CastelnuovoMumford 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.

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.

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 CalabiYau 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 nontrivial $\mathbb{C}^{\star}$action. Our formula extends the results
of BatyrevMoreau [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.

To a big ntilting object in a complete, cocomplete abelian category A with
an injective cogenerator we assign a big ncotilting 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 contramodulevalued variant of the usual
derived Homfunctor.

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
FantechiMannNironi and GeraschenkoSatriano for abstract toric stacks.

We consider the algebra of Hecke correspondences (elementary transformations
at a single point) acting on the algebraic Ktheory 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 DingIoharaMiki algebra (at a suitable specialization of
parameters), as well as with a generalized shuffle algebra.

Answering a question posed by Conway and Norton in their seminal 1979 paper
on moonshine, we prove the existence of a graded infinitedimensional module
for the sporadic simple group of O'Nan, for which the McKayThompson 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 TateShafarevich groups of certain elliptic curves. This
work represents the first example of moonshine involving arithmetic invariants
of this type.

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 BreuilM\'ezard conjecture for (tamely)
potentially crystalline deformation rings with HodgeTate 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 DeligneLuzstig representations for the group
$\mathrm{GL}_3(\mathbb{F}_q)$.

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.

We prove nilpotence theorems in tensortriangulated categories using suitable
Gabriel quotients of the module category, and discuss examples.

We introduce higher dimensional analogues of the Nakayama algebras from the
viewpoint of Iyama's higher AuslanderReiten 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$clustertilting
$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.

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.

We introduce a type affine $C$ analogue of the nil TemperleyLieb algebra,
in terms of generators and relations. We show that this algebra $T(n)$, which
is a quotient of the positive part of a KacMoody 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.

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 Schurfiniteness
conjecture for Q, resp. for T, and the Schurfiniteness conjecture for B. As an
application, we prove the Schurfiniteness conjecture for Q, resp. for T, when
B is lowdimensional. Along the way, we obtain a proof of the Schurfiniteness
conjecture for smooth complete intersections of two or three quadric
hypersurfaces. Finally, we prove similar results for the Bassfiniteness
conjecture.

We show that sheet closures appear as associated varieties of affine vertex
algebras. Further, we give new examples of nonadmissible 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 Walgebras.

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
(PollicottRuelle) resonant states on $\mathbf V_\tau$ that vanish under
covariant derivatives in the Anosovunstable 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
PollicottRuelle 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 PollicottRuelle
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.

We use recollement and HRStilt to describe bounded tstructures 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
tstructures on $\mathcal{D}^b(\mathbb{X})$ can be reduced to that in
classification of bounded tstructures on bounded derived categories of finite
dimensional right modules over representationfinite finite dimensional
hereditary algebras.