Let $G$ be a simple simply connected algebraic group and let $\mathfrak{g}_*$ be a $\mathbf{Z}/m$-grading on its Lie algebra $\mathfrak{g}$. G. Lusztig and Z. Yun, in a recent series of articles, studied the classification of simple $G_0$-equivariant perverse sheaves on the nilpotent cone of $\mathfrak{g}_i$ for $i\in \mathbf{Z}/m$, where $G_0$ is the exponentiation of the degree zero piece $\mathfrak{g}_0$. They proved a decomposition of the equivariant derived category of $\ell$-adic sheaves on the nilpotent cone of $\mathfrak{g}_i$ into blocks, each generated by a certain cuspidal local system via the procedure of {\itshape spiral inductions}. We prove a conjecture of them, stating that there is a bijection between 1) the set of simple perverse sheaves in a fixed block and 2) the set of simple modules of a block of a (trigonometric) degenerate double affine Hecke algebra (dDAHA). This is a dDAHA analogue of the Deligne--Langlands correspondence for affine Hecke algebras proven by Kazhdan--Lusztig. Our results generalise a previous work of E. Vasserot, where the perverse sheaves in the principal block were considered.

No abstract uploaded!

No abstract uploaded!

Let A be an abelian category and B be the Happel-Reiten-Smalo tilt of A with respect to a torsion pair. We give necessary and sufficient conditions for the existence of a derived equivalence between A and B, which is compatible with the inclusion of B into the derived category of A. As applications, we obtain new derived equivalences related to splitting torsion pairs, TTF-triples and two-term silting subcategories, respectively. We prove that for the realization functor of any bounded t-structure, its denseness implies its fully-faithfulness.

Let $z=x+iy \in \mathbb{H}:=\{z= x+ i y\in\mathbb{C}: y>0\}$ and $ \theta (s;z)=\sum_{(m,n)\in\mathbb{Z}^2 } e^{-s \frac{\pi }{y }|mz+n|^2}$ be the theta function associated with the lattice $\Lambda ={\mathbb Z}\oplus z{\mathbb Z}$. In this paper we consider the following pair of minimization problems \begin{equation}\aligned \min_{ \mathbb{H} } \theta (2;\frac{z+1}{2})+\rho\theta (1;z),\;\;\rho\in[0,\infty), \\ \min_{ \mathbb{H} } \theta (1; \frac{z+1}{2})+\rho\theta (2; z),\;\;\rho\in[0,\infty), \endaligned\end{equation} where the parameter $\rho\in[0,\infty)$ represents the competition of two intertwining lattices, the particular selection of the parameters $s=1,2$ is determined by the physical model, which can be generalized by our strategy and method proposed here. We find that as $\rho$ varies the optimal lattices admit a novel pattern: they move from rectangular (the ratio of long and short sides changes from $\sqrt3$ to 1 continuously), square, rhombus (the angle changes from $\pi/2$ to $\pi/3$ continuously) to hexagonal continuously; geometrically, up to an invariant group(a subgroup of the classical modular group), they move continuously on a special curve ; furthermore, there exists a closed interval of $\rho$ such that the optimal lattices is always a square lattice. This is the first, novel and also the complete result on the minimizer problem for theta functions with parameter $\rho$. This is in sharp contrast to optimal lattice shapes for single theta function ($\rho=\infty$ case), for which the hexagonal lattice prevails. As a consequence, we give a partial and positive answer to optimal lattice arrangements of vortices in competing systems of Bose-Einstein condensates as conjectured (and numerically and experimentally verified) by Mueller-Ho \cite{Mue2002}, this is the first progress on Mueller-Ho conjecture.