arXiv subjects
Publications and source records attributed to Masaki Kashiwara.
The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.
In this paper, we give an explicit combinatorial realization of the crystal B(λ) for an irreducible highest weight U_q(q(n))-module V(λ) in terms of semistandard decomposition tableaux. We present an insertion scheme for semistandard decomposition tableaux and give algorithms of decomposing the tensor product of q(n)-crystals. Consequently, we obtain explicit combinatorial descriptions of the shifted Littlewood-Richardson coefficients.
In this paper, we develop the crystal basis theory for the quantum queer superalgebra $U_q(\mathfrak q(n))$. We define the notion of crystal bases and prove the tensor product rule for $U_q(\mathfrak q(n))$-modules in the category $O_int^{\geq 0}$. Our main theorem shows that every $U_q(\mathfrak q(n))$-module in the category $O_int^{\geq 0}$ has a unique crystal basis.
In this paper, we investigate the supercategories consisting of supermodules over quiver Hecke superalgebras and cyclotomic quiver Hecke superalgebras. We prove that these supercategories provide a supercategorification of a certain family of quantum superalgebras and their integrable highest weight modules. We show that, by taking a specialization, we obtain a supercategorification of quantum Kac-Moody superalgebras and their integrable highest weight modules.
We define the notion of a trace kernel on a manifold M. Roughly speaking, it is a sheaf on M x M for which the formalism of Hochschild homology applies. We associate a microlocal Euler class to such a kernel, a cohomology class with values in the relative dualizing complex of the cotangent bundle over M and we prove that this class is functorial with respect to the composition of kernels. This generalizes, unifies and simplifies various results of (relative) index theorems for constructible sheaves, D-modules and elliptic pairs.
Let us consider a finite set of pairs consisting of good $U'_q(g)$-modules and invertible elements. The distribution of poles of normalized R-matrices yields Khovanov-Lauda-Rouquier algebras We define a functor from the category of finite-dimensional modules over the KLR algebra to the category of finite-dimensional $U_q'(g)$-modules. We show that the functor sends convolution products to tensor products and is exact if the KLR albera is of type A, D, E.
We introduce a new family of superalgebras which should be considered as a super version of the Khovanov-Lauda-Rouquier algebras. Let $I$ be the set of vertices of a Dynkin diagram with parity. To this data, we associate a family of graded superalgebras, the quiver Hecke superalgebras. When there are no odd vertices, these algebras are nothing but the usual Khovanov-Lauda-Rouquier algebras. We then define another family of graded superalgebras, the quiver Hecke-Clifford superalgebras, and show that they are weakly Morita superequivalent to the quiver Hecke superalgebras. Moreover, we prove that the affine Hecke-Clifford superalgebras, as well as their degenerate version, the affine Sergeev superalgebras, are isomorphic to the quiver Hecke-Clifford superalgebras after a completion.
We construct a geometric realization of the Khovanov-Lauda-Rouquier algebra $R$ associated with a symmetric Borcherds-Cartan matrix $A=(a_{ij})_{i,j\in I}$ via quiver varieties. As an application, if $a_{ii} \ne 0$ for any $i\in I$, we prove that there exists a 1-1 correspondence between Kashiwara's lower global basis (or Lusztig's canonical basis) of $U_\A^-(\g)$ (resp.\ $V_\A(λ)$) and the set of isomorphism classes of indecomposable projective graded modules over $R$ (resp.\ $R^λ$).
We show that the quiver Hecke superalgebras and their cyclotomic quotients provide a supercategorification of quantum Kac-Moody algebras and their integrable highest weight modules.
We study the properties of level zero modules over quantized affine algebras. The proof of the conjecture on the cyclicity of tensor products by Akasaka and the present author is given. Several properties of modules generated by extremal vectors are proved. The weights of a module generated by an extremal vector are contained in the convex hull of the Weyl group orbit of the extremalweight. The universal extremal weight module with level zero fundamental weight as an extremal weight is irreducible, and isomorphic to the affinization of an irreducible finite-dimensional module.
Let X be a complex manifold. The classical Riemann-Hilbert correspondence associates to a regular holonomic system M the C-constructible complex of its holomorphic solutions. Denote by t the affine coordinate in the complex projective line. If M is not necessarily regular, we associate to it the ind-R-constructible complex G of tempered holomorphic solutions to the exterior product of M with the D-module associated with the exponential e^t. We conjecture that this provides a Riemann-Hilbert correspondence for holonomic systems. We discuss the functoriality of this correspondence, we prove that M can be reconstructed from G if X has dimension 1, and we show how the Stokes data are encoded in G.
Varagnolo-Vasserot and Rouquier proved that, in a symmetric generalized Cartan matrix case, the simple modules over the quiver Hecke algebra with a special parameter correspond to the upper global basis. In this note we show that the simple modules over the quiver Hecke algebras with a generic parameter also correspond to the upper global basis in a symmetric generalized Cartan matrix case.
Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(Λ)$ be the integrable highest weight $U_q(\g)$-module with highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ provides a categorification of $V(Λ)$.
In this paper, we prove Khovanov-Lauda's cyclotomic categorification conjecture for all symmetrizable Kac-Moody algebras. Let $U_q(g)$ be the quantum group associated with a symmetrizable Cartan datum and let $V(Λ)$ be the irreducible highest weight $U_q(g)$-module with a dominant integral highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ gives a categorification of $V(Λ)$.
We prove that the simple root functors E and F appearing in the categorification of irreducible highest weight modules of quantum groups via cyclotomic Khovanov-Lauda-Rouquier algebras is a biadjoint pair.
We study modules over stacks of deformation quantization algebroids on complex Poisson manifolds. We prove finiteness and duality theorems in the relative case and construct the Hochschild class of coherent modules. We prove that this class commutes with composition of kernels, a kind of Riemann-Roch theorem in the non-commutative setting. Finally we study holonomic modules on complex symplectic manifolds and we prove in particular a constructibility theorem.
Let I be an open interval, M be a real manifold, T*M its cotangent bundle and Φ={ϕ_t}, t in I, a homogeneous Hamiltonian isotopy of T*M defined outside the zero-section. Let Λbe the conic Lagrangian submanifold associated with Φ(Λis a subset of T*M x T*M x T*I). We prove the existence and unicity of a sheaf K on MxMxI whose microsupport is contained in the union of Λand the zero-section and whose restriction to t=0 is the constant sheaf on the diagonal of MxM. We give applications of this result to problems of non displaceability in contact and symplectic topology. In particular we prove that some strong Morse inequalities are stable by Hamiltonian isotopies and we also give results of non displaceability for positive isotopies in the contact setting. In this new version we suppress one hypothesis in the main theorem and we extend the result of non displaceability for positive isotopies.
In this paper, we develop the crystal basis theory for the quantum queer superalgebra $\Uq$. We define the notion of crystal bases, describe the tensor product rule, and present the existence and uniqueness of crystal bases for finite-dimensional $\Uq$-modules in the category $\mathcal{O}_{int}^{\ge 0}$.