Related papers: Some formal gluing diagrams for continuous K-theor…

Cobordism categories are known to be compact closed. They can therefore be used to define non-degenerate models of multiplicative linear logic by combining the Int construction with double glueing. In this work we detail such construction…

We give more precise statements of Fock-Goncharov duality conjecture for cluster varieties parametrizing ${\rm SL}_{2}/{\rm PGL}_{2}$-local systems on the once punctured torus. Then we prove these statements. Along the way, using distinct…

To any left system of diagram categories or to any left pointed derivateur (in the sense of Grothendieck) a K-theory space is associated. This K-theory space is shown to be canonically an infinite loop space and to have a lot of common…

Let $W$ be a finite dimensional algebraic structure (e.g. an algebra) over a field $K$ of characteristic zero. We study forms of $W$ by using Deligne's Theory of symmetric monoidal categories. We construct a category $\mathcal{C}_W$, which…

We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…

We study one-parameter conifold degenerations whose central fiber has finitely many ordinary double points. Working within a deliberately minimal finite-node bulk/localized-sector formalism, we identify the first categorical layer suggested…

This paper introduces gluing diagrams a combinatorial tool to construct homomorphisms between the shift pseudogroups of directed graphs and thus also their full groups of shifts. We will establish which of these diagrams produce…

Let \(\T\) be a commutative ternary \(\Gm\)-semiring in the sense of the triadic, \(\Gm\)-parametrized multiplication \(\{a,b,c\}_{\gamma}\). Building on the affine \(\Gm\)-spectrum \(\SpecG(\T)\), the structure sheaf, and the equivalence…

In this paper, we apply Clausen-Scholze's theory of solid modules to the existence of adelic decompositions for schemes of finite type over $\mathbb{Z}$. Specifically, we use the six-functor formalism for solid modules to define the…

We study the robustness of topological phases on aperiodic lattices by constructing *-homomorphisms from the groupoid model to the coarse-geometric model of observable C*-algebras. These *-homomorphisms induce maps in K-theory and Kasparov…

We give an explicit description of factorization algebras over the affine line, constructing them from the gluing data determined by its corresponding OPE algebra. We then generalize this construction to factorization monoids, obtaining a…

We generalize the persistence diagram of Cohen-Steiner, Edelsbrunner, and Harer to the setting of constructible persistence modules valued in a symmetric monoidal category. We call this the type A persistence diagram of a persistence…

We explain the observation by Candelas and Font that the Dynkin diagrams of nonabelian gauge groups occurring in type IIA and F-theory can be read off from the polyhedron $\Delta^*$ that provides the toric description of the Calabi-Yau…

In this thesis we discuss various classical problems in enumerative geometry. We are focused on ideas and methods which can be used explicitly for practical computations. Our approach is based on studying the limits of elliptic stable…

In this article, we study how the Grothendieck group of coherent sheaves can be used to describe D-branes. We show how global bound state construction in topological $K$-theory can be adapted to our context, showing that D-branes wrapping a…

In this note we propose a generalization of heterotic/F-theory duality. We introduce a set of non-compact building blocks which we glue together to reach compact examples of generalized duality pairs. The F-theory building blocks consist of…

We define and investigate separable K-linear categories. We show that such a category C is locally finite and that every left C-module is projective. We apply our main results to characterize separable linear categories that are spanned by…

We continue our study of noncommutative resolutions of Coulomb branches in the case of quiver gauge theories. These include the Slodowy slices in type A and symmetric powers in $\mathbb{C}^2$ as special cases. These resolutions are based on…

This elementary survey article was prepared for a talk at the 2016 Superschool on Derived Categories and D-branes. The goal is to outline an identification of the bounded derived category of coherent sheaves on a Calabi-Yau threefold with…

We introduce and study a $K$-theory of twisted bundles for associative algebras $A(\mathfrak g)$ of formal series with an infinite-Lie algebra coefficients over arbitrary compact topological spaces. Fibers of such bundles are given by…