Related papers: The bivariant parasimplicial $\mathsf{S}_{\bullet}…
For a rigid object $M$ in an algebraic triangulated category $\mathcal{T}$, a functor pr$(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is constructed, which essentially takes an object to its `presentation', where pr$(M)$ is the full…
We initiate and develop the theory of complex harmonic maps to holomorphic Riemannian symmetric spaces, which we make use of to study complex analytic aspects of higher Teichm\"uller theory, with a focus on rank $2$ Hitchin components.…
We study a class of algebras with non-Lie commutation relations whose symplectic leaves are surfaces of revolution: a cylinder or a torus. Over each of such surfaces we introduce a family of complex structures and Hilbert spaces of…
We provide a general method to study representations of quivers over abstract stable homotopy theories (e.g. arbitrary rings, schemes, dg algebras, or ring spectra) in terms of Auslander-Reiten diagrams. For a finite acyclic quiver $Q$ and…
This paper deals with certain fundamental results about affine hulls and simplices in a real normed linear space. The framework of the paper is Bishop's constructive mathematics, which, with its characteristic interpretation of existence as…
We study Morse theory on noncompact manifolds equipped with exhaustions by compact pieces, defining the Morse homology of a pair which consists of the manifold and related geometric/homotopy data. We construct a collection of Morse data…
For any rank-one Riemannian symmetric space S of non-compact type and any discrete, cofinite, non-cocompact, torsion-free group $\Gamma$ of orientation-preserving Riemannian isometries on S, we develop a cohomological interpretation for the…
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic…
We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the…
We propose a duality between quiver gauge theories and the combinatorics of dimer models. The connection is via toric diagrams together with multiplicities associated to points in the diagram (which count multiplicities of fields in the…
We establish a general method to produce cofibrant approximations in the model category $U_S(C,D)$ of $S$-valued $C$-indexed diagrams with $D$-weak equivalences and $D$-fibrations. We also present explicit examples of such approximations.…
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a…
As it is known, finitely presented quivers correspond to Dynkin graphs (Gabriel, 1972) and tame quivers -- to extended Dynkin graphs (Donovan and Freislich, Nazarova, 1973). In the article "Locally scalar reresentations of graphs in the…
We provide a detailed study of the general structure of two-dimensional topological stabilizer quantum error correcting codes, including subsystem codes. Under the sole assumption of translational invariance, we show that all such codes can…
We provide a uniform construction of "mixed versions" or "graded lifts" in the sense of Beilinson-Ginzburg-Soergel which works for arbitrary Artin stacks. In particular, we obtain a general construction of graded lifts of many categories…
Tannaka duality and its extensions by Lurie, Sch\"appi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete…
String diagrams are pictorial representations for morphisms of symmetric monoidal categories. They constitute an intuitive and expressive graphical syntax, which has found application in a very diverse range of fields including concurrency…
We construct a finite dimensional quiver algebra from the non-simply laced type $B$ Dynkin diagram, which we call the type $B$ zigzag algebra. This leads to a faithful categorical action of the type $B$ braid group $\mathcal{A}(B)$, acting…
Motivated by Maulik-Okounkov stable maps associated to quiver varieties, we define and construct algebraic stable maps on tensor products of representations in the category O of the Borel subalgebra of an arbitrary untwisted quantum affine…
In this paper, we consider how the approach of Bezrukavnikov and Kaledin to understanding the categories of coherent sheaves on symplectic resolutions can be applied to the Coulomb branches introduced by Braverman, Finkelberg and Nakajima.…