arXiv subjects

Yin Tian

Publications and source records attributed to Yin Tian.

25 records · Page 2Linked to original sources

arXiv2020

Towards functor exponentiation

We consider a possible framework to categorify the exponential map exp(-f) given the categorification of a generator f of $\frak{sl}_2$ by Lauda. In this setup the Taylor expansions of exp(-f) and exp(f) turn into complexes built out of categorified divided powers of f. Hom spaces between tensor powers of categorified f are given by diagrammatics combining nilHecke algebra relations with those for a additional "short strand" generator. The proposed framework is only an approximation to categorification of exponentiation, because the functors categorifying exp(f) and exp(-f) are not invertible.

math.QA↗

arXiv2020

The center of monoidal 2-categories in 3+1D Dijkgraaf-Witten Theory

In this work, for a finite group $G$ and a 4-cocycle $ω\in Z^4(G, \mathbf{k}^\times)$, we compute explicitly the center of the monoidal 2-category $\operatorname{2Vec}_G^ω$ of $ω$-twisted $G$-graded 1-categories of finite dimensional $\mathbf{k}$-vector spaces. This center gives a precise mathematical description of the topological defects in the associated 3+1D Dijkgraaf-Witten TQFT. We prove that this center is a braided monoidal 2-category with a trivial sylleptic center.

math.QA↗

arXiv2017

Towards a categorical boson-fermion correspondence

We construct the Heisenberg counterpart of a Clifford categorification. It is a modification of Khovanov's Heisenberg categorification. We express generators of the Heisenberg category as a complex of generators of the Clifford category. Certain vertex operators associated to the Clifford algebra are lifted to endofunctors of the Fock space categorification.

math.QA↗

arXiv2014

A categorification of the square root of -1

We give a graphical calculus for a monoidal DG category $\cal{I}$ whose Grothendieck group is isomorphic to the ring $\mathbb{Z}[\sqrt{-1}]$. We construct a categorical action of $\cal{I}$ which lifts the action of $\mathbb{Z}[\sqrt{-1}]$ on $\mathbb{Z}^2$.

math.KT↗

arXiv2014

Conifold transitions via affine geometry and mirror symmetry

Mirror symmetry of Calabi-Yau manifolds can be understood via a Legendre duality between a pair of certain affine manifolds with singularities called tropical manifolds. In this article, we study conifold transitions from the point of view of Gross and Siebert. We introduce the notions of tropical nodal singularity, tropical conifolds, tropical resolutions and smoothings. We interpret known global obstructions to the complex smoothing and symplectic small resolution of compact nodal Calabi-Yaus in terms of certain tropical $2$-cycles containing the nodes in their associated tropical conifolds. We prove that the existence of such cycles implies the simultaneous vanishing of the obstruction to smoothing the original Calabi-Yau \emph{and} to resolving its mirror. We formulate a conjecture suggesting that the existence of these cycles should imply that the tropical conifold can be resolved and its mirror can be smoothed, thus showing that the mirror of the resolution is a smoothing. We partially prove the conjecture for certain configurations of nodes and for some interesting examples.

math.AG↗

arXiv2013

A diagrammatic categorification of a Clifford algebra

We give a graphical calculus for a categorification of a Clifford algebra and its Fock space representation via differential graded categories. The categorical action is motivated by the gluing action between the contact categories of infinite strips.

math.RT↗

arXiv2013

A categorification of U_q sl(1,1) as an algebra

We construct families of differential graded algebras R and R \boxtimes R and give an algebraic formulation of the contact category of a disk through the differential graded category DGP(R) generated by some distinguished projective differential graded R-modules. The homology category H^0(DGP(R)) is a triangulated category and its Grothendieck group is a Clifford algebra. We then categorify the Clifford algebra to a functor from DGP(R \boxtimes R) to DGP(R). We construct a subcategory of the homology category which categorifies an integral version of U_q sl(1,1) as an algebra.

math.QA↗