Related papers: $\infty$-Dold-Kan correspondence via representatio…
Complete filtered $A_\infty$-algebras model certain deformation problems in the noncommutative setting. The formal deformation theory of a group representation is a classical example. With such applications in mind, we provide the…
Recently, Gekeler proved that the group of invertible analytic functions modulo constant functions on Drinfeld's upper half space is isomorphic to the dual of an integral generalized Steinberg representation. In this note we show that the…
We consider a general Kaluza-Klein reduction of a truncated Lovelock theory. We find necessary geometric conditions for the reduction to be consistent. The resulting lower-dimensional theory is a higher derivative scalar-tensor theory,…
Conserved directed-percolation (C-DP) and the depinning transition of a disordered elastic interface belong to the same universality class as has been proven very recently by Le Doussal and Wiese [Phys. Rev. Lett.~\textbf{114}, 110601…
Homology is characterized by the Eilenberg-Steenrod axioms. We define homology of higher categories via a categorical analogue of the Eilenberg-Steenrod axioms. We prove a categorical Dold-Kan correspondence, providing a combinatorial…
We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's…
The symmetric interaction combinators are an equally expressive variant of Lafont's interaction combinators. They are a graph-rewriting model of deterministic computation. We define two notions of observational equivalence for them,…
The universal invariant with respect to a given ribbon Hopf algebra is a tangle invariant that dominates all the Reshetikhin-Turaev invariants built from the representation theory of the algebra. We construct a canonical strict monoidal…
We prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Importantly, we prove versions of the Bousfield-Kan formula and the fat…
Let G be a finite group. We systematically exploit general homological methods in order to reduce the computation of G-equivariant KK-theory to topological equivariant K-theory. The key observation is that the functor assigning to a…
We study a spectral reciprocity formula relating $\mathrm{GL}_3 \times \mathrm{GL}_2$ with $\mathrm{GL}_3 \times \mathrm{GL}_1$ and $\mathrm{GL}_1$ moments of $L$-functions discovered by Kwan. Globally we give an adelic and distributional…
We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the…
Differential calculus on the space of asymptotically linear curves is developed. The calculus is applied to the vortex filament equation in its Hamiltonian description. The recursion operator generating the infinite sequence of commuting…
We extend the complete ordered set Dana Scott's $D_\infty$ to a complete weakly ordered Kan complex $K_\infty$, with properties that guarantee the non-equivalence of the interpretation of some higher conversions of $\beta\eta$-conversions…
In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…
We consider a completely integrable lattice regularization of the sine-Gordon model with discrete space and continuous time. We derive a determinant representation for a correlation function which in the continuum limit turns into the…
These notes give a proof of the representability of homotopy invariant K-theory in the stable homotopy category of schemes (which was announced by Voevodsky). One deduces from the proper base change theorem in stable homotopy theory of…
We show that the homotopy category of a combinatorial stable model category $\ck$ is well generated. It means that each object $K$ of $\Ho(\ck)$ is an iterated weak colimit of $\lambda$-compact objects for some cardinal $\lambda$. A natural…
We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for…
We generalize Brenner and Butler's Theorem as well as Happel's Theorem on the equivalences induced by a finitely generated tilting module over artin algebras, to the case of an infinitely generated tilting module over an arbitrary…