Related papers: Conjugation Spaces are Cohomologically Pure
We study the space of smooth marked hypersurfaces in a given linear system. Specifically, we prove a homology h-principle to compare it with a space of sections of an appropriate jet bundle. Using rational models, we compute its rational…
Given a finite graph G and a topological space Z, the graphical configuration space Conf(G, Z) is the space of functions V(G) -> Z so that adjacent vertices map to distinct points. We provide a homotopy decomposition of Conf(G, X x Y) in…
In the study of the real projective plane, harmonic conjugates have an essential role, with applications to projectivities, involutions, and polarity. The construction of a harmonic conjugate requires the selection of auxiliary elements; it…
Recently, the homology and cohomology of non-k-overlapping discs, or, equivalently, no k-equal subspaces of Euclidean space, were calculated by Dobrinskaya and Turchin. We calculate the homology and cohomology of two classes of more general…
We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed…
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, specialized at q=1, is semisimple. This implies that complex conjugation defines an algebra automorphism of the quantum cohomology ring localized…
For an infinite chain bicomplex we show that the orthogonality and grading conditions provide it with the structure of a bigraded differential algebra with respect to a natural multiplication of several elements bicomplex spaces.…
Using the notion of short natural directed path, we introduce the homotopy branching space of a precubical set. It is unique only up to homotopy equivalence. We prove that, for any precubical set, it is homotopy equivalent to the branching…
We introduce a class of $G$-invariant connections on a homogeneous principal bundle $Q$ over a hermitian symmetric space $M=G/K$. The parameter space carries the structure of normal variety and has a canonical anti-holomorphic involution.…
We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology…
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…
The main goal of this paper is to prove that the space of directed loops on the final precubical set is homotopy equivalent to the "total" configuration space of points on the plane; by "total" we mean that any finite number of points in a…
The topology of the orbit space, $Y$, for the action of the complex conjugation on a complex surface, $X$, defined over reals, is studied. I give a criterion for blow-up stable triviality of $Y$ (which implies vanishing of its…
Hexagon relations are algebraic realizations of four-dimensional Pachner moves. `Constant' -- not depending on a 4-simplex in a triangulation of a 4-manifold -- hexagon relations are proposed, and their polynomial-valued cohomology is…
We identify the cohomology of the stable classifying space of homotopy automorphisms (relative to an embedded disk) of connected sums of $S^k \times S^l$, where $3 \le k < l \le 2k - 2$. The result is expressed in terms of Lie graph complex…
All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (that is, all its non-empty clopen subspaces are homeomorphic), with…
We consider the space of holomorphic maps from a compact Riemann surface to a projective space blown up at finitely many points. We show that the homology of this mapping space equals that of the space of continuous maps that intersect the…
We classify homotopes of classical symmetric spaces (studied in Part I of this work). Our classification uses the fibered structure of homotopes: they are fibered as symmetric spaces, with flat fibers, over a non-degenerate base; the base…
We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…
We describe the geometry of conjugation within any split subgroup $H$ of the full isometry group $G$ of $n$-dimensional Euclidean space. We prove that for any $h \in H$, the conjugacy class $[h]_H$ of $h$ is described geometrically by the…