Related papers: Localization in Homotopy Type Theory

This article is a sequel to hep-th/9411050, q-alg/9412017, q-alg/9503013. Given a collection of $m$ finite factorizable sheaves $\{\CX_k\}$, we construct here some perverse sheaves over configuration spaces of points on a projective line…

We develop a homotopy theory of $L_\infty$ algebras based on the Lawrence-Sullivan construction, a complete differential graded Lie algebra which, as we show, satisfies the necessary properties to become the right cylinder in this category.…

We show that the fundamental groupoid~\(\Pi_1(X)\) of a locally path connected semilocally simply connected space~\(X\) can be equipped with a \emph{natural} topology so that it becomes a topological groupoid; we also justify the necessity…

Let $G$ be a complex semisimple algebraic group and $X$ be a complex symmetric homogeneous $G$-variety. Assume that both $G$, $X$ as well as the $G$-action on $X$ are defined over real numbers. Then $G(\mathbb{R})$ acts on $X(\mathbb{R})$…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

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 present a simple proof of a precise version of the localization theorem in equivariant cohomology. As an application, we describe the cohomology algebra of any compact symplectic variety with a multiplicity-free action of a compact Lie…

A full triangulated subcategory $\mathsf{L} \subset \mathsf{T}$ of triangulated category $\mathsf{T}$ is \emph{localizing} if it is stable for coproducts. If, further, $\mathsf{T}$ is $\otimes$-triangulated, we say that $\mathsf{L}$ is…

Let $R$ be a ring spectrum and $ E\to X$ an $R$-module bundle of rank $n$. Our main result is to identify the homotopy type of the group-like monoid of homotopy automorphisms of this bundle, $hAut^R(E)$. This will generalize the result…

It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…

The compact, connected Lie group $E_6$ admits two forms: simply connected and adjoint type. As we previously established, the Baum-Connes isomorphism relates the two Langlands dual forms, giving a duality between the equivariant K-theory of…

Let $p$ be a prime. Given a split semisimple group scheme $G$ over a normal integral domain $R$ which is a faithfully flat $\mathbb Z_{(p)}$-algebra, we classify all finite dimensional representations $V$ of the fiber $G_K$ of $G$ over…

Suppose $X$ is a compact symplectic manifold acted on by a compact Lie group $K$ (which may be nonabelian) in a Hamiltonian fashion, with moment map $\mu: X \to {\rm Lie}(K)^*$ and Marsden-Weinstein reduction $\xred = \mu^{-1}(0)/K$. There…

Building on Quillen's rational homotopy theory, we obtain algebraic models for the rational homotopy theory of parametrised spectra. For any simply-connected space $X$ there is a dg Lie algebra $\Lambda_X$ and a (coassociative…

In the setting of homotopy type theory, each type can be interpreted as a space. Moreover, given an element of a type, i.e. a point in the corresponding space, one can define another type which encodes the space of loops based at this…

Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational…

We give details of models for rational torus equivariant homotopy theory based on (a) all subgroups, connected subgroups or dimensions of subgroups and (b) on pairs or general flags. We provide comparison functors and show the models are…

Given a simply connected space $X$, there are several, a priori different, algebraic groups whose groups of $\mathbb Q$-points are isomorphic to the group of homotopy classes of homotopy automorphisms of the rationalization of $X$. We will…

We show that every tilting module of projective dimension one over a ring R is associated in a natural way to the universal localization (in the sense of Schofield) of R at a set of finitely presented modules of projective dimension one. We…

The bootstrap category in E-theory for C*-algebras over a finite space X is embedded into the homotopy category of certain diagrams of K-module spectra. Therefore it has infinite n-order for every n. The same holds for the bootstrap…