Related papers: A detailed look at the Szczarba map
We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of…
We construct new examples of derived autoequivalences for a family of higher-dimensional Calabi-Yau varieties. Specifically, we take the total spaces of certain natural vector bundles over Grassmannians G(r,d) of r-planes in a d-dimensional…
We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…
This is the first draft of a book about higher categories approached by iterating Segal's method, as in Tamsamani's definition of $n$-nerve and Pelissier's thesis. If $M$ is a tractable left proper cartesian model category, we construct a…
For a smooth map between noetherian schemes, Verdier relates the top relative differentials of the map with the twisted inverse image functor `upper shriek'. We show that the associated traces for smooth proper maps can be rendered concrete…
We show that homotopy pullbacks of sheaves of simplicial sets over a Grothendieck topology distribute over homotopy colimits; this generalizes a result of Puppe about topological spaces. In addition, we show that inverse image functors…
We introduce a new `geometric realization' of an (abstract) simplicial complex, inspired by probability theory. This space (and its completion) is a metric space, which has the right (weak) homotopy type, and which can be compared with the…
Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…
We describe the Gerstenhaber bracket structure on Hochschild cohomology of Koszul quiver algebras in terms of homotopy lifting maps. There is a projective bimodule resolution of Koszul quiver algebras that admits a comultiplicative…
We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…
We import into homotopy theory the algebro-geometric construction of the cotangent space of a geometric point on a scheme. Specializing to the category of spectra local to a Morava $K$-theory of height $d$, we show that this can be used to…
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…
The paper is devoted to the problem of finding explicit combinatorial formulae for the Pontryagin classes. We discuss two formulae, the classical Gabrielov-Gelfand-Losik formula based on investigation of configuration spaces and the local…
In this work, we construct the stable derivator associated to a homotopically complete and cocomplete dg-category by explicitly defining homotopy Kan extensions via suitable weighted homotopy limits and colimits in dg-categories. By…
This paper is the first in a series of two papers, $\mathbf{Z}$-Categories I and $\mathbf{Z}$-Categories II, which develop the notion of $\mathbf{Z}$-category, the natural bi-infinite analog to strict $\omega$-categories, and show that the…
We introduce the abstract setting of presheaf category on a thick category of cubes. Precubical sets, symmetric transverse sets, symmetric precubical sets and the new category of (non-symmetric) transverse sets are examples of this…
We define a natural 2-categorical structure on the base category of a large class of Grothendieck fibrations. Given any model category $\mathbf{C}$, we apply this construction to a fibration whose fibers are the homotopy categories of the…
Using the ordered analogue of Farley-Sabalka's discrete gradient field on the configuration space of a graph, we unravel a levelwise behavior of the generators of the pure braid group on a tree. This allows us to generalize Farber's…
In this paper, we consider the model structure on the category of cellular sets originally conjectured by Cisinski and Joyal to give a model for the homotopy theory of weak (\omega)-categories. We demonstrate first that any…
In this note we are going to understand two questions. One is the fiber of the natural map from a projective algebraic group $G$ to $G/\Gamma$, where $\Gamma$ denotes the $\Gamma$-equivalence on $G$. The other one is to define a natural map…