Related papers: \'{E}tale Homotopy Obstructions of Arithmetic Sphe…

In this paper we define 2-vector bundles as suitable bundles of 2-vector spaces over a base space, and compare the resulting 2-K-theory with the algebraic K-theory spectrum K(V) of the 2-category of 2-vector spaces, as well as the algebraic…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

Take n>k>1 such that n-k is odd. In this paper we consider mapping a from (n-k+1)-dimensional closed ball into the space of (n \times k)--matrices such that its restriction to a sphere goes into the Stiefel manifold V_k(R^n). We construct a…

Let X be a homogeneous space, X = G/H, where G is a connected linear algebraic group over a number field k, and H is a k-subgroup of G (not necessarily connected). Let S be a finite set of places of k. We compute the Brauer-Manin…

Given a spin rational homology sphere $Y$ equipped with a $\mathbb{Z}/m$-action preserving the spin structure, we use the Seiberg--Witten equations to define equivariant refinements of the invariant $\kappa(Y)$ from \cite{Man14}, which take…

This paper concerns obstruction flatness of hypersurfaces $\Sigma$ that arise as unit sphere bundles $S(E)$ of Griffiths negative Hermitian vector bundles $(E, h)$ over K\"ahler manifolds $(M, g).$ We prove that if the curvature of $(E, h)$…

Over the moduli space of pointed smooth algebraic curves, the projectivized $k$-th Hodge bundle is the space of $k$-canonical divisors. The incidence loci are defined by requiring the $k$-canonical divisors to have prescribed multiplicities…

Let O be a closed geodesic polygon in S^2. Maps from O into S^2 are said to satisfy tangent boundary conditions if the edges of O are mapped into the geodesics which contain them. Taking O to be an octant of S^2, we compute the infimum…

We prove that TR is corepresentable by the reduced topological Hochschild homology of the flat affine line $\mathbf{S}[t]$ as a functor defined on the $\infty$-category of cyclotomic spectra with values in the $\infty$-category of spectra…

In this paper, we classify the homotopy types of the total spaces of $S^{2k-1}$-bundles (or fibrations) over $S^{2k}$ for $2\leq k\leq 6$. One of the two key new ingredients in the argument is the new necessary and sufficient conditions for…

In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension of a certain homomorphism defined a…

We attack the question of E_2-formality of differential graded algebras over prime fields via obstruction theory. We are able to prove that E_2-algebras whose cohomology ring is a polynomial algebra on even degree classes are intrinsically…

Let $R\subseteq \Bbb Q$ be a subring of the rationals and let $p$ be the least prime (if none, $p=\infty $) which is not invertible in $R.$ For an $R$-local $r$-connected $CW$-complex $X$ of dimension $\leq \min(r+2p-3,rp-1), r\geq 1, $ a…

Wall's finiteness obstruction is an algebraic K-theory invariant which decides if a finitely dominated space is homotopy equivalent to a finite CW complex. The object of this survey is to describe the invariant (which was first formulated…

Let $X$ be a differentiable manifold endowed with a transitive action $\alpha:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms…

We prove that any null-homotopic special holomorphic vector bundle automorphisms of a rank 2 vector bundle E over a Stein space X can be written as a finite product of unipotent holomorphic vector bundle automorphism as well as a finite…

We give some upper bounds on the dimension of the kernel of the cup product map $H^{1}(X,\mathbb{C})\otimes H^{1}(X,\mathbb{C}) \to H^{2}(X,\mathbb{C})$, where $X$ is a compact K\"ahler variety without Albanese fibrations.

In this paper, we show that for finite $CW$-complexes $X$ and two-stage space $Y$ (for example $n$-spheres $S^n$, homogeneous spaces and $F_0$-spaces), the rational homotopy type of $\map(X, Y)$ is determined by the cohomology algebra…

Let $C$ be an algebraic curve of genus $g$ and $L$ a line bundle over $C$. Let $\mathcal{MS}_C(n,L)$ and $\mathcal{MO}_C(n,L)$ be the moduli spaces of $L$-valued symplectic and orthogonal bundles respectively, over $C$ of rank $n$. We…

Let $f:A \to B$ be a ring homomorphism of not necessarily unital rings and $I\triangleleft A$ an ideal which is mapped by f isomorphically to an ideal of B. The obstruction to excision in K-theory is the failure of the map between relative…