Related papers: Foam evaluation and Kronheimer--Mrowka theories
In this paper, we describe a canopolis (i.e. categorified planar algebra) formalism for Khovanov and Rozansky's link homology theory. We show how this allows us to organize simplifications in the matrix factorizations appearing in their…
We construct a cobordism group for embedded graphs in two different ways, first by using sequences of two basic operations, called "fusion" and "fission", which in terms of cobordisms correspond to the basic cobordisms obtained by attaching…
We introduce new invariants in equivariant birational geometry and study their relation to modular symbols and cohomology of arithmetic groups.
We study equivariant Seiberg-Witten Floer theory of rational homology $3$-spheres in the special case where the group action is given by an involution. The case of involutions deserves special attention because we can couple the involution…
In the first part of the Thesis, we reformulate the Murakami-Ohtsuki-Yamada state-sum description of the level n Jones polynomial of an oriented link in terms of a suitable braided monoidal category whose morphisms are Q[q, q-1] s-linear…
This paper extends de Rham theory of smooth manifolds to exploded manifolds. Included are versions of Stokes' theorem, De Rham cohomology, Poincare duality, and integration along the fiber. The resulting cohomology theory is used to define…
Equivariant cohomology is a mathematical framework particularly well adapted to a kinematical understanding of topological gauge theories of the cohomological type. It also sheds some light on gauge fixing, a necessary field theory…
We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme…
We use Gromov's K--area to define a generalized homology theory on compact smooth manifolds. In fact, this theory collects obstructions to the enlargeability of the manifold and its nontrivial submanifolds. Moreover, using the K--area…
We generalize the construction of the Heegaard Floer homology for a singular knot to that for a balanced bipartite graph. For a given graph, we provide a combinatorial description of the Euler characteristic of its Heegaard Floer homology…
For a rational homology 3-sphere $Y$ with a $\spinc$ structure $\s$, we show that simple algebraic manipulations of our construction of equivariant Seiberg-Witten Floer homology lead to a collection of variants which are topological…
We formulate the notion of an isomorphism of GKM graphs. We then show that two GKM graphs have isomorphic graph equivariant cohomology algebras if and only if the graphs are isomorphic.
A general theory of the Frolicher-Nijenhuis and Schouten-Nijenhuis brackets in the category of modules over a commutative algebra is described. Some related structures and (co)homology invariants are discussed, as well as applications to…
We give a conjectural algebraic description of the Fukaya category of a complexified hyperplane complement, using the algebras defined in arXiv:0905.1335 from the equivariant cohomology of toric varieties. We prove this conjecture for…
We give combinatorial descriptions of the Heegaard Floer homology groups for arbitrary three-manifolds (with coefficients in Z/2). The descriptions are based on presenting the three-manifold as an integer surgery on a link in the…
We study symmetries in equivariant versions of Khovanov homology, which include (i) the construction of an involution $\widehat{\sigma}$ for the $U(2)$-equivariant theory, (ii) an integral lifting $\widehat{\nu}$ of the Shumakovitch…
We define four versions of equivariant instanton Floer homology ($I^+, I^-, I^\infty$ and $\widetilde I$) for a class of 3-manifolds and $SO(3)$-bundles over them including all rational homology spheres. These versions are analogous to the…
We use correspondences to define a purely topological equivariant bivariant K-theory for spaces with a proper groupoid action. Our notion of correspondence differs slightly from that of Connes and Skandalis. We replace smooth K-oriented…
In this paper we study unimodality problems for the independence polynomial of a graph, including unimodality, log-concavity and reality of zeros. We establish recurrence relations and give factorizations of independence polynomials for…
This is a glossary of notions and methods related with the topological theory of collections of affine planes, including braid groups, configuration spaces, order complexes, stratified Morse theory, simplicial resolutions, complexes of…