Related papers: Local topological obstruction for divisors
Let $A$ be an abelian sheaf on a site $X_{\tau}$ on which we have an action of a finite group $G$. Given an $A$-torsor (respectively a gerbe banded by $A$), we would like to know under what conditions it is induced from an $A^G$-torsor…
The motivation of this paper is to construct a deformation theory of coderivations of coassociative coalgebras. We introduce a notion of a Coder pair, that is, a coassociative coalgebra with a coderivation. Then we define a proper…
An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection…
Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable…
The main object of study of this paper is the notion of a LieDer pair, i.e. a Lie algebra with a derivation. We introduce the concept of a representation of a LieDer pair and study the corresponding cohomologies. We show that a LieDer pair…
Rollings of reductive homogeneous spaces are investigated. More precisely, for a reductive homogeneous space $G / H$ with reductive decomposition $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$, we consider rollings of $\mathfrak{m}$ over…
In this note, we show that the obstruction classes of deforming vector forms on a compact K\"ahler manifold is annihilated by cohomology classes.
A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…
We prove a Kodaira-Hodge decomposition on differential 1-forms on the space of non-smooth paths over a Riemannian manifold, allowing us to define the corresponding first cohomology group. This uses the It\^o map of a Brownian system and…
Given two vector bundles E and F on a variety X and a morphism from Sym^2(E) to F, we compute the cohomology class of the locus in X where the kernel of this morphism contains a quadric of prescribed rank. Our formulas have many…
In this paper, we mainly focus on formal deformation theory of module homomorphisms. We first introduce the cohomology of module homomorphisms and study formal one-parameter deformation. We obtain some properties about obstructions. Then we…
A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…
A class of topological spaces is topologically rigid if any two spaces with the same fundamental group are also homeomorphic. Topological rigidity, in addition to its intrinsic interest, has been useful for solving abstract commensurability…
We study obstructions to the existence of Riemannian metrics of positive scalar curvature on closed smooth manifolds arising from torsion classes in the integral homology of their fundamental groups. As an application, we construct new…
In this paper, we establish an innovative framework in logarithmic Hodge theory for toroidal varieties, introducing weighted toroidal structures and developing a systematic obstruction theory for Hodge classes. Building upon recent advances…
Given a map f: M \to M of closed topological manifolds we define torsion obstructions whose vanishing is a necessary condition for f being homotopy equivalent to a projection of a locally trivial fiber bundle. If N = S^1, these torsion…
Classifying obstructions to the problem of finding extensions between two fixed modules goes back at least to L. Illusie's thesis. Our approach, following in the footsteps of J. Wise, is to introduce an analogous Grothendieck Topology on…
Consider the functor describing deformations of a representation of the fundamental group of a variety X. This paper is chiefly concerned with establishing an analogue in finite characteristic of a result proved by Goldman and Millson for…
Let $X$ be a compact quotient of the product of the real Heisenberg group $H_{4m+1}$ of dimension $4m+1$ and the 3-dimensional real Euclidean space $\bR^3$. A left invariant hypercomplex structure on $H_{4m+1}\times \bR^3$ descends onto the…
Using higher topos theory, we explore the obstruction to the \v{C}ech-de Rham map being an isomorphism in each degree for diffeological spaces. In degree 1, we obtain an exact sequence which interprets Iglesias-Zemmour's construction from…