Related papers: Explicit Square Zero Obstruction Theory

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…

Let $M$ be a closed manifold and $\alpha : \pi_1(M)\to U_n$ a representation. We give a purely $K$-theoretic description of the associated element $[\alpha]$ in the $K$-theory of $M$ with $\R/\Z$-coefficients. To that end, it is convenient…

We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…

On a M\"obius surface, as defined by D. Calderbank, we study a variant of the Einstein-Weyl (EW) equation which we call scalar-flat M\"obius EW (sf-MEW). This is a conformally invariant, finite type, overdetermined system of semi-linear…

Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…

Given a finite CW complex $K$, we use a version of the Goodwillie-Weiss tower to formulate an obstruction theory for embedding $K$ into a Euclidean space $\mathbb{R}^d$. For $2$-dimensional complexes in $\mathbb{R}^4$, a geometric analogue…

The paper provides computations of the first non-vanishing $\mathbb{A}^1$-homotopy sheaves of the orthogonal Stiefel varieties which are relevant for the unstable isometry classification of quadratic forms over smooth affine schemes over…

This paper identifies the homotopy theories of topological stacks and orbispaces with unstable global homotopy theory. At the same time, we provide a new perspective by interpreting it as the homotopy theory of `spaces with an action of the…

Possible forms of obstructed atomic limits in quasi-one-dimensional systems are studied using line group symmetry. This is accomplished by revisiting the standard theory with an emphasis on its group-theoretical background, synthesizing the…

We give a detailed proof that locally Noetherian moduli stacks of sections carry canonical obstruction theories. As part of the argument we construct a dualizing sheaf and trace map, in the lisse-etale topology, for families of tame twisted…

The aim of this paper is to study the topological properties of some classes of subsemimodules endowed with a subbasis closed-set topology. We show that such spaces are $T_0$. When the semimodule is finitely generated, those spaces are…

A stable $\infty$-category is $1$-semiadditive if the norms for all finite group actions are equivalences. In the presence of $1$-semiadditivity, Goodwillie calculus simplifies drastically. We introduce two variants of $1$-semiadditivity…

We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…

In this paper, we show how certain ``stability phenomena'' in unpointed model categories provide the sets of homotopy classes with the structure of abelian heaps, i.e. abelian groups without a choice of a zero. In contrast with the…

We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories…

We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its…

The set of unrestricted homotopy classes $[M,S^n]$ where $M$ is a closed and connected spin $(n+1)$-manifold is called the $n$-th cohomotopy group $\pi^n(M)$ of $M$. Moreover it is known that $\pi^n(M) = H^n(M;\mathbb Z) \oplus \mathbb Z_2$…

Fulton defined classes in the Chow group of a quasi-projective scheme $M$ which reduce to its Chern classes when $M$ is smooth. When $M$ has a perfect obstruction theory, Siebert gave a formula for its virtual cycle in terms of its total…