Related papers: An axiomatic approach to virtual chains
We define a category $v\mathcal{T}$ of tangles diagrams drawn on surfaces with boundaries. On the one hand we show that there is a natural functor from the category of virtual tangles to $v\mathcal{T}$ which induces an equivalence of…
In $n$-dimensional classical field theory one studies maps from $n$-dimensional manifolds in such a way that classical mechanics is recovered for $n=1$. In previous papers we have shown that the standard polysymplectic framework in which…
The variation operator in singularity theory maps relative homology cycles to compact cycles in the Milnor fiber using the monodromy. We construct its symplectic analogue for an isolated singularity. We define the monodromy Lagrangian Floer…
We show that blow-ups or reverse flips (in the sense of the minimal model program) of rational symplectic manifolds with point centers create Floer-non-trivial Lagrangian tori. As applications, we demonstrate the existence of Hamiltonian…
This paper is an introduction to virtual knot theory and an exposition of new ideas and constructions, including the parity bracket polynomial, the arrow polynomial, the parity arrow polynomial and categorifications of the arrow polynomial.…
Let X be an abelian scheme over a scheme B. The Fourier--Mukai transform gives an equivalence between the derived category of X and the derived category of the dual abelian scheme. We partially extend this to certain schemes X over B (which…
In the first of the series of papers devoted to our project ``Holomorphic Floer Theory" we discuss exponential integrals and related wall-crossing structures. We emphasize two points of view on the subject: the one based on the ideas of…
A general quantum many-body theory in configuration space is developed by extending the traditional coupled cluter method (CCM) to a variational formalism. Two independent sets of distribution functions are introduced to evaluate the…
In this expository manuscript, we review the construction of Gromov-Witten virtual fundamental class via FOOO's theory of Kuranishi structures for moduli spaces of pseudo-holomorphic maps defined on closed Riemann surfaces. We consider…
In this article we develop formal category theory within augmented virtual double categories. Notably we formalise the classical notions of Kan extension, Yoneda embedding $\text y_A\colon A \to \hat A$, exact square, total category and…
Gordian complex of knots was defined by Hirasawa and Uchida as the simplicial complex whose vertices are knot isotopy classes in $\mathbb{S}^3$. Later Horiuchi and Ohyama defined Gordian complex of virtual knots using $v$-move and forbidden…
In this paper, motivated by symplectic topology, we explore categorical entropy and present two main results. The first result establishes a relation between categorical entropies of functors on a category and its localization.…
Kuranishi structures were introduced in the 1990s by Fukaya and Ono for the purpose of assigning a virtual cycle to moduli spaces of pseudoholomorphic curves that cannot be regularized by geometric methods. Starting from the same core idea…
We survey various aspects of Floer theory and its place in modern symplectic geometry, from its introduction to address classical conjectures of Arnold about Hamiltonian diffeomorphisms and Lagrangian submanifolds, to the rich algebraic…
This paper gives a new interpretation of the virtual braid group in terms of a strict monoidal category SC that is freely generated by one object and three morphisms, two of the morphisms corresponding to basic pure virtual braids and one…
We present a domain-specific type theory for constructions and proofs in category theory. The type theory axiomatizes notions of category, functor, profunctor and a generalized form of natural transformations. The type theory imposes an…
The present paper is mainly a survey of our work arXiv:0708.4221 and arXiv:0808.2440 but it also contains the announcement of some new results. Its main purpose is to present an accessible introduction to a technique allowing efficient…
The notion of linear K-system is introduced by the present authors as an abstract model arising from the structure of compactified moduli spaces of solutions to Floer's equation in the book [FOOO14]. The purpose of the present article is to…
We consider virtual pullbacks in $K$-theory, and show that they are bivariant classes and satisfy certain functoriality. As applications to $K$-theoretic counting invariants, we include proofs of a virtual localization formula for schemes…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…