Related papers: Making Lifting Obstructions Explicit

We develop square zero obstruction theory for modules over $\mathbb{E}_1$-algebras in an arbitrary stable (presentably) monoidal $\infty$-category. We explicitly describe the obstruction element as the homotopy class of a canonically…

We give a rigorous account and prove continuity properties for the correspondence between almost flat bundles on a triangularizable compact connected space and the quasi-representations of its fundamental group. For a discrete countable…

If $K$ is a compact Lie group and $g\geq 2$ an integer, the space $K^{2g}$ is endowed with the structure of a Hamiltonian space with a Lie group valued moment map $\Phi$. Let $\beta$ be in the centre of $K$. The reduction…

Let K be the kernel of an epimorphism G -> Z, where G is a finitely presented group. If K has infinitely many subgroups of index 2, 3, or 4, then it has uncountably many. Moreover, if K is the commutator subgroup of a classical knot group…

Let $A$ be a unital $C^*$-algebra. Its unitary group, $UA$, contains a wealth of topological information about $A$. However, the homotopy type of $UA$ is out of reach even for $A = M_2(\CC)$. There are two simplifications which have been…

Let $G$ be a nonabelian, simple group with a nontrivial conjugacy class $C \subseteq G$. Let $K$ be a diagram of an oriented knot in $S^3$, thought of as computational input. We show that for each such $G$ and $C$, the problem of counting…

The aim of this paper is to study co-prolongations of central extensions. We construct the obstruction theory for co-prolongations and classify the equivalence classes of these by kernels of a homomorphisms between 2-dimensional cohomology…

We provide a geometric interpretation for the connecting homomorphism in the localization sequence of Hermitian $K$-theory. As an application, we compute the Hermitian $K$-theory of projective bundles and Grassmannians in the regular case.…

For a connected regular scheme X, flat and of finite type over Spec(Z), we construct a reciprocity homomorphism \rho_X: C_X --> \pi_1^\ab(X), which is surjective and whose kernel is the connected component of the identity. The (topological)…

Given a manifold $M$ and a point in its interior, the point-pushing map describes a diffeomorphism that pushes the point along a closed path. This defines a homomorphism from the fundamental group of $M$ to the group of isotopy classes of…

We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of…

The existence of a model structure on the category $\mathcal{D}$ of diffeological spaces is crucial to developing smooth homotopy theory. We construct a compactly generated model structure on the category $\mathcal{D}$ whose weak…

The purpose of this paper is to study some obstruction classes induced by a construction of a homotopy-theoretic version of projective TQFT (projective HTQFT for short). A projective HTQFT is given by a symmetric monoidal projective functor…

Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…

We answer the natural question: when are a regular Poisson structure along with a complex structure transverse to its symplectic leaves induced by generalized complex structure? The leafwise symplectic form and transverse complex structure…

Positiveness of scalar curvature and Ricci curvature requires vanishing the obstruction $\theta(M)$ which is computed in some KK-theory of C*-algebras index as a pairing of spin Dirac operator and Mishchenko bundle associated to the…

Twisted complex $K$-theory can be defined for a space $X$ equipped with a bundle of complex projective spaces, or, equivalently, with a bundle of C$^*$-algebras. Up to equivalence, the twisting corresponds to an element of $H^3(X;\Z)$. We…

The paper presents a classification theorem for the class of flat connections with triangular (0,1)-components on a topologically trivial complex vector bundle over a compact Kahler manifold. As a consequence we obtain several results on…

We develop an obstruction theory for homotopy of homomorphisms f,g : M -> N between minimal differential graded algebras. We assume that M = Lambda V has an obstruction decomposition given by V = V_0 oplus V_1 and that f and g are homotopic…

Let $R$ be a ring spectrum and $ E\to X$ an $R$-module bundle of rank $n$. Our main result is to identify the homotopy type of the group-like monoid of homotopy automorphisms of this bundle, $hAut^R(E)$. This will generalize the result…