Related papers: The $K_\infty$ Homotopy $\lambda$-Model

We investigate the homotopy type of the Alexander dual of a simplicial complex. In general the homotopy type of K does not determine the homotopy type of its dual K*. Moreover, one can construct for each finitely presented group G, a simply…

We reexamine the $W_{\infty}$ symmetry of the $sl(N)$ Conformal Affine Toda theories. It is shown that it is possible to reduce (nonuniquely) the zero curvature equation to a Lax equation for a first order pseudodifferential oprator, whose…

Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed Linear Homotopy Type Theory (LHoTT), good model categories of…

We establish the stable homotopy classification of elliptic pseudodifferential operators on manifolds with corners and show that the set of elliptic operators modulo stable homotopy is isomorphic to the K-homology group of some stratified…

The $\Lambda$-sequence spaces $\Lambda_p$ for $1< p\leq\infty$ and its generalization $\Lambda_{\hat{p}}$ for $1<\hat{p}<\infty$, $\hat{p}=(p_n)$ is introduced. The James constants and strong $n$-th James constants of $\Lambda_p$ for…

We give un upper bound Ent(\Omega, g)<\lambda\ of the diastatic entropy Ent(\Omega, g) of a complex bounded domain (\Omega, g) in terms of the balanced condition (in Donaldson terminology) of the Kaehler metric \lambda g. When (\Omega, g)…

A modest Kan complex is a modest simplicial set which has a right lifting property with respect to horn inclusions $\Lambda_k[n] \to \Delta[n]$. This paper develops the categorical logical that is required to show that there is a univalent…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

Let L be a Lie group and Lambda a lattice in L. Suppose G is a non-compact simple Lie group realized as a Lie subgroup of L, and the image of G on L/Lambda is dense. Let c be a diagonalizable element of G not contained in a compact…

We define an order relation among oriented $PD_4$-complexes. We show that with respect to this relation, two $PD_4$-complexes over the same complex are homotopy equivalent if and only if there is an isometry between the second homology…

We introduce the notion of Grothendieck heaps for unpointed Waldhausen categories and unpointed stable $\infty$-categories. This allows an extension of the studies of $\mathrm{K}_0$ to the homotopy category of unpointed topological spaces.

In this paper we lay the foundations of an $\infty$-categorical theory of Stokes data.

In Quillen's paper on rational homotopy theory, the category of 1-reduced simplicial sets is endowed with a family of model structures, the most prominent of which is the one in which the weak equivalences are the rational homotopy…

We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching…

We introduce the decomposability spectrum $K_D=\{\lambda \geq \omega| D \text{is} \lambda\text{-decomposable}\}$ of an ultrafilter $D$, and show that Shelah's $\pcf$ theory influences the possible values $K_D$ can take. For example, we show…

We propose a new notion of unbounded $K\!K$-cycle, mildly generalising unbounded Kasparov modules, for which the direct sum is well-defined. To a pair $(A,B)$ of $\sigma$-unital $C^{*}$-algebras, we can then associate a semigroup…

We use Ng's LSFT algebra to upgrade Sabloff duality of Legendrian knots to a quasi-isomorphism of $A_\infty$ bimodules over the positive augmentation category $\mathcal{A}ug_+$. We also extend the Ekholm-Etnyre-Sabloff exact sequence to an…

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…

In this paper we describe explicit $L_\infty$ algebras modeling the rational homotopy type of any component of the spaces $\map(X,Y)$ and $\map^*(X,Y)$ of free and pointed maps between the finite nilpotent CW-complex $X$ and the finite type…

We provide upper and lower bounds on the semileptonic weak decay form factors for $B \to D^(*)$ and $\Lambda_b \to \Lambda_c$ decays by utilizing inclusive heavy quark effective theory sum rules. These bounds are calculated to second order…