Related papers: Kuznetsov Categories for Gauged Linear Sigma Model…
For even dimensional smooth complete intersections, of dimension at least 4, of two quadric hypersurfaces in a projective space, we study the genus zero Gromov-Witten invariants by the monodromy group of its whole family. We compute the…
We show that smooth varieties of general type which are well formed weighted complete intersections of Cartier divisors have maximal Hodge level, that is, their the rightmost middle Hodge numbers do not vanish. We show that this does not…
We prove that if $R$ is a G-ring then every fully dualizable $R$-linear cocomplete category is equivalent to a twist by a $\mathbb{G}_m$-gerbe of the category of modules over a finite \'etale $R$-algebra. We also show that this holds more…
We prove birational superrigidity of generic Fano complete intersections $V$ of type $2^{k_1}\cdot 3^{k_2}$ in the projective space ${\mathbb P}^{2k_1+3k_2}$, under the condition that $k_2\geq 2$ and $k_1+2k_2=\mathop{\rm dim} V\geq 12$,…
Linear free divisors are free divisors, in the sense of K.Saito, with linear presentation matrix (example: normal crossing divisors). Using techniques of deformation theory on representations of quivers, we exhibit families of linear free…
The purpose of this note is to give a generalization of the statement that the anticanonical class of a (smooth) projective toric variety is the sum of invariant prime divisors, corresponding to the rays in its fan (or facets in its…
Fusion categories are fundamental objects in quantum algebra, but their definition is narrow in some respects. By definition a fusion category must be k-linear for some field k, and every simple object V is strongly simple, meaning that (V)…
Given a quasiprojective algebraic variety with a reductive group action, we describe a relationship between its equivariant derived category and the derived category of its geometric invariant theory quotient. This generalizes classical…
We begin a systematic investigation of derived categories of smooth projective toric varieties defined over an arbitrary base field. We show that, in many cases, toric varieties admit full exceptional collections. Examples include all toric…
We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence…
The regular representation of an essentially finite 2-group $\mathbb{G}$ in the 2-category $\mathbf{2Vect}_k$ of (Kapranov and Voevodsky) 2-vector spaces is defined and cohomology invariants classifying it computed. It is next shown that…
We prove a genus zero Givental-style mirror theorem for all complete intersections in proper toric Deligne-Mumford stacks, which provides an explicit slice called big $I-$function on Givental's Lagrangian cone for such targets. In…
We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillae. We prove that CNOT is a discrete inverse category. Moreover, we prove…
We show that the derived categories of symmetric products of a curve are embedded into the derived categories of the moduli spaces of vector bundles of large ranks on the curve. It supports a prediction of the existence of a semiorthogonal…
We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in $n \leqslant 4$ variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We…
Under mild assumptions on a group G, we prove that the class of complete Riemannian n-manifolds of uniformly bounded negative sectional curvatures and with the fundamental groups isomorphic to G breaks into finitely many tangential homotopy…
Seiberg duality conjecture asserts that the Gromov-Witten theories (Gauged Linear Sigma Models) of two quiver varieties related by quiver mutations are equal via variable change. In this work, we prove this conjecture for $A_n$ type quiver…
Given a smooth projective toric variety $X_\Sigma$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_\Sigma)$…
We construct an explicit isomorphism between the generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category associated to the maximal parabolic subgroup $W (A_{n-1})$ of $W (Dn)$. This…
Let $G$ be a group. The intersection graph of subgroups of $G$, denoted by $\mathscr{I}(G)$, is a graph with all the proper subgroups of $G$ as its vertices and two distinct vertices in $\mathscr{I}(G)$ are adjacent if and only if the…