Related papers: An $\mathsf{A}_{\infty}$ version of the Poincar\'e…
In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual…
For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…
For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…
In this paper we study the mixed Poincar\'e polynomial of generic $\mathrm{PGL}_n(\mathbb{C})$-character stacks with coefficients in some local systems arising from the conjugacy classes of $\mathrm{PGL}_n(\mathbb{C})$ which have…
We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a…
In this article we give a new proof of Ng\^o's Geometric Stabilisation Theorem, which implies the Fundamental Lemma. This is a statement which relates the cohomology of Hitchin fibres for a quasi-split reductive group scheme $G$ to the…
We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends…
We classify Haag-dual Poincar\'e covariant subsystems $\B\subset \F$ of a graded-local net $\F$ on 4D Minkowski spacetime which satisfies standard assumptions and has trivial superselection structure. The result applies to the canonical…
It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists…
The goal of this paper is to push forward the study of those properties of log-concave measures that help to estimate their Poincar{\'e} constant. First we revisit E. Milman's result [40] on the link between weak (Poincar{\'e} or…
We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…
This paper constitutes a recent work using the constructions of a previous preprint alg-geom/9512006 to show that the functors geometric realisation and Poincar\'e $n$-groupoid induce an equivalence between the category of $n$-grouppoids…
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…
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 prove that the category $\textbf{G-Cat}$ of small categories with $G$-action forms a model of unstable $G$-global homotopy theory for every discrete group $G$, generalizing Schwede's global model structure on $\textbf{Cat}$. As a…
Let M,N and B\subset N be compact smooth manifolds of dimensions n+k,n and \ell, respectively. Given a map f from M to N, we give homological conditions under which g^{-1}(B) has nontrivial cohomology (with local coefficients) for any map g…
We prove a new localization theorem for stable model categories if the localizing subcategory is generated by a precovering class in the model category. We use this to show how one may explicitly realize certain Bousfield localization…
Let M be the moduli scheme of canonically polarized manifolds with Hilbert polynomial h. We construct for a given finite set I of natural numbers m>1 with h(m)>0 a projective compactification M' of the reduced scheme underlying M such that…
We construct a globalization of Ferrand's norm functor over rings which generalizes it to the setting of a finite locally free morphism of schemes $T\to S$ of constant rank. It sends quasi-coherent modules over $T$ to quasi-coherent modules…
For M and N closed oriented connected smooth manifolds of the same dimension, we consider the mapping space Map(M,N;f) of continuous maps homotopic to f:M--> N.We show that the evaluation map from the space of maps to the manifold N induces…