Related papers: A closer look at Kadeishvili's theorem
The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produced, the simplest one being entirely solved by the notion of…
In this paper, we consider the Hermitian $K$-theory of schemes with involution, for which we construct a transfer morphism and prove a version of the d\'{e}vissage theorem. This theorem is then used to compute the Hermitian $K$-theory of…
In these lectures we present our minimality theorem by which in cohomology of a topological space appear multioperations which turn it ot Stasheff $A(\infty)$ algebra. This rich structure carries more information than just the structure of…
We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic $K$-homology and equivariant…
We introduce and study matrix transfers to achieve elementary models for bivariant $K$-theory. They share lots of common properties with Voevodsky's framed correspondences and lead to symmetric matrix motives of algebraic varieties…
Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved…
This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main…
For a Koszul operad $\mathcal{P}$, there are several existing approaches to the notion of a homotopy between homotopy morphisms of homotopy $\mathcal{P}$-algebras. Some of those approaches are known to give rise to the same notions. We…
We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…
Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.
The following homotopy lifting theorem is proved: Let $\phi, \psi: B \to D/I$ be homotopic $\ast$-homomorphisms and suppose $\psi$ lifts to a (discrete) asymptotic homomorphism. Then $\phi$ lifts to a (discrete) asymptotic homomorphism.…
This paper investigates if a differential graded algebra can have more than one $A_\infty$-structure extending the given differential graded algebra structure. We give a sufficient condition for uniqueness of such an $A_\infty$-structure up…
Algebraic $kk$-theory, introduced by Corti\~nas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor…
We show that the sum over planar trees formula of Kontsevich and Soibelman transfers C-infinity structures along a contraction. Applying this result to a cosimplicial commutative algebra A^* over a field of characteristic zero, we exhibit a…
The main theorem in this paper is that the base change functor from a noetherian abelian category to its noetherian polynomial category induces an isomorphism on K-theory. The main theorem implies the well-known fact that A^1-homotopy…
We compute the equivariant K-theory with integer coefficients of an equivariantly formal isotropy action, subject to natural hypotheses which cover the three major classes of known examples. The proof proceeds by constructing a map of…
The aim of this work is to construct certain homotopy t-structures on various categories of motivic homotopy theory, extending works of Voevodsky, Morel, D\'eglise and Ayoub. We prove these $t$-structures possess many good properties, some…
This paper studies the operad of linearly compatible di-algebras, denoted by $As^{2}$, which is a nonsymmetric operad encoding the algebras with two binary operations that satisfy individual and sum associativity conditions. We also prove…
Generalising a previous work of Jiang and Sheng, a cohomology theory for differential Lie algebras of arbitrary weight is introduced. The underlying $L_\infty[1]$-structure on the cochain complex is also determined via a generalised version…
A dg-natural transformation between dg-functors is called an objectwise homotopy equivalence if its induced morphism on each object admits a homotopy inverse. In general an objectwise homotopy equivalence does not have a dg-inverse but has…