Related papers: Leveled sub-cohomology
In the usual setup, the grading on Floer homology is relative: it is unique only up to adding a constant. "Graded Lagrangian submanifolds" are Lagrangian submanifolds with a bit of extra structure, which fixes the ambiguity in the grading.…
`Loop-fusion cohomology' is defined on the continuous loop space of a manifold in terms of \vCech cochains satisfying two multiplicative conditions with respect to the fusion and figure-of-eight products on loops. The main result is that…
Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been…
Using vertex algebra techniques, we determine a set of generators for the cohomology ring of the Hilbert schemes of points on an arbitrary smooth projective surface over the field of complex numbers.
Hypergraphs, as a generalization of simplicial complexes, have long been a subject of interest in their geometric interpretation. The subdivision of simplicial complexes can, to some extent, provide insights into the geometry of simplicial…
We classify generic coadjoint orbits for symplectomorphism groups of compact symplectic surfaces with or without boundary. We also classify simple Morse functions on such surfaces up to a symplectomorphism.
We study the generalized Hodge conjecture for certain sub-Hodge structure defined as the kernel of the cup product map with a big cohomology class, which is of Hodge coniveau at least 1. As predicted by the generalized Hodge conjecture, we…
Floer cohomology is computed for certain elements of the mapping class group of a surface $\Sigma$ of genus $g>1$ which are compositions of positive and negative dehn twists along some loops in $\Sigma$. The computations cover a certain…
We prove that in a stable range, the rational cohomology of the moduli space of curves with level structures is the same as that of the ordinary moduli space of curves.
Let $X$ be a quadratic vector field with a center whose generic orbits are algebraic curves of genus one. To each $X$ we associate an elliptic surface (a smooth complex compact surface which is a genus one fibration). We give the list of…
We construct a family of rings. To a plane diagram of a tangle we associate a complex of bimodules over these rings. Chain homotopy equivalence class of this complex is an invariant of the tangle. On the level of Grothendieck groups this…
In this paper, we first introduce stable functors with respect to a preenveloping/precovering subcategory and investigate some of their properties. Using that we then introduce and study a relative complete cohomology theory in abelian…
There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to…
Let $X$ be a scheme. In this text, we extend the known definitions of a topology on the set $X(R)$ of $R$-rational points from topological fields, local rings and ad\`ele rings to any ring $R$ with a topology. This definition is functorial…
In this work we study the topology of holomorphic rank two bundles over complex surfaces. We consider bundles that are constructed by glueing and show that under certain conditions the topology of the bundle does not depend on the glueing.…
In this paper we try to introduce a good smoothness notion for a functor. We consider properties and conditions from geometry and algebraic geometry which we expect a smooth functor should to have.
Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm…
We study some basic properties of schematic homotopy types and the schematization functor. We describe two different algebraic models for schematic homotopy types: co-simplicial Hopf alegbras and equivariant co-simplicial algebras, and…
We introduce a new definition for the species of type B, or H-species, analog to the classical species (of type A), but on which we consider the action of the groups Bn of signed permutations. We are interested in algebraic structure on…
For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.