Related papers: Making Lifting Obstructions Explicit

We consider the problem of approximating a linear cocycle (or, more generally, a vector bundle automorphism) over a fixed base dynamics by another cocycle admitting a dominated splitting. We prove that the possibility of doing so depends…

Let $\pi: P\to B$ be a locally trivial fiber bundle over a connected CW complex $B$ with fiber equal to the closed symplectic manifold $(M,\om)$. Then $\pi$ is said to be a symplectic fiber bundle if its structural group is the group of…

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

In the holomorphic or algebraic setting we consider a vector bundle E on a smooth subvariety X in a smooth variety Y over a field of characteristic zero. Assuming E extends to the l-th neighborhood of X in Y, we study cohomological…

Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different…

Let $p:E -> B$ be a principal fibration with classifying map $w:B -> C$. It is well-known that the group $[X,\Omega C]$ acts on $[X,E]$ with orbit space the image of $p_#$, where $p_#: [X,E] -> [X,B]$. The isotropy subgroup of the map of…

Associated with a smooth, $d$-closed $(1, 1)$-form $\alpha$ of possibly non-rational De Rham cohomology class on a compact complex manifold $X$ is a sequence of asymptotically holomorphic complex line bundles $L_k$ on $X$ equipped with $(0,…

In this article, we derive a topological obstruction to the removal of a isolated degenerate complex tangent to an embedding of a 3-manifold into $\mathbb{C}^3$ (without affecting the structure of the remaining complex tangents). We…

Current continuous generative models (e.g., Diffusion Models, Flow Matching) implicitly assume that locally consistent causal mechanisms naturally yield globally coherent counterfactuals. In this paper, we prove that this assumption fails…

We consider the conormal bundle of a Schubert variety $S_I$ in the cotangent bundle $T^* Gr$ of the Grassmannian $Gr$ of $k$-planes in $C^n$. This conormal bundle has a fundamental class ${\kappa_I}$ in the equivariant cohomology…

If F is a collection of topological spaces, then a homotopy class \alpha in [X,Y] is called F-trivial if \alpha_* = 0: [A,X] --> [A,Y] for all A in F. In this paper we study the collection Z_F(X,Y) of all F-trivial homotopy classes in [X,Y]…

Let X=GM be a finite group factorisation. It is shown that the quantum double D(H) of the associated bicrossproduct Hopf algebra $H=kM\cobicross k(G)$ is itself a bicrossproduct $kX\cobicross k(Y)$ associated to a group YX, where $Y=G\times…

Let $G$ be a simply-connected simple compact Lie group and let $M$ be an orientable smooth closed 4-manifold. In this paper we calculate the homotopy type of the suspension of $M$ and the homotopy types of the gauge groups of principal…

Global intersection theories for smooth algebraic varieties via products in {\it appropriate}\, Poincar\'e duality theories are obtained. We assume given a (twisted) cohomology theory $H^*$ having a cup product structure and we let consider…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

The question of whether a given H-space X is, up to homotopy, a loop space has been studied from a variety of viewpoints. Here we address this question from the aspect of homotopy operations, in the classical sense of operations on homotopy…

This work treats on the question whether a given map f: M -> B of smooth closed manifolds is homotopic to a smooth fiber bundle. We define a first obstruction in H^1(B;Wh(\pi_1(E))) and, provided that this obstruction vanishes and one…

It is known that the fundamental group homomorphism $\pi_1(T^2) \to \pi_1(S^3\setminus K)$ induced by the inclusion of the boundary torus into the complement of a knot $K$ in $S^3$ is a complete knot invariant. Many classical invariants of…

Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed Cuntz class is path connected. This result applies in particular…

A separable, proper morphism of varieties with geometrically connected fibers induces a homotopy exact sequence relating the \'etale fundamental groups of source, target and fiber. Extending work of dos Santos, we prove the existence of an…