相关论文: Simplicial presheaves of coalgebras

We give a description of certain categories of equivariant coherent sheaves on Grothendieck's resolution in terms of the categorical affine Hecke algebra of Soergel. As an application, we deduce a relationship of these coherent sheaf…

Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi :…

This work develops a comprehensive algebraic model for rational stable parametrized homotopy theory over arbitrary base spaces. Building on the simplicial analogue of the foundational framework of May-Sigurdsson for parametrized spectra,…

We study simplicial profinite groups with a view towards applications in profinite combinatorial group theory. This approach provides a natural framework to the concept of pro-$\mathfrak{C}$-presentation of a pro-$\mathfrak{C}$-group $G$ as…

We consider a hyperplane arrangement in $\mathbb{C}^n$ defined over $\mathbb{R}$, and the associated natural stratification of $\mathbb{C}^n$. The category of perverse sheaves smooth with respect to this stratification was described by…

We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and…

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…

Conformal algebras, recently introduced by Kac, encode an axiomatic description of the singular part of the operator product expansion in conformal field theory. The objective of this paper is to develop the theory of ``multi-dimensional''…

We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model…

Let X be a locally symmetric space associated to a reductive algebraic group G defined over Q. L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of X; they were introduced in…

We show that for a Heyting algebra ${\cal H}$, a relational-presheaf is an idempotent symmetric order-preserving lax-semifunctor. A relational-presheaf is a relational-sheaf, if it is an idempotent infima-preserving lax semifunctor. The…

We consider the set of affine alcoves associated with a root system R as a topological space and consider a certain category S of sheaves of Z-modules on this space. Here Z is the structure algebra of the root system over a field k. To any…

In this work we study the homotopy theory of the category $\mathsf{RMod}_{\mathcal{P}}$ of right modules over a simplicial operad $\mathcal{P}$ via the formalism of forest spaces $\mathsf{fSpaces}$, as introduced by Heuts, Hinich and…

We define a homotopy relation between arrows of a category with weak equivalences, and give a condition under which the quotient by the homotopy relation yields the homotopy category. In the case of the fibrant-cofibrant objects of a model…

Assume that R is a semi-local regular ring containing an infinite perfect field, or that R is a semi-local ring of several points on a smooth scheme over an infinite field. Let K be the field of fractions of R. Let H be a strongly inner…

When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with…

For every ring R, we present a pair of model structures on the category of pro-spaces. In the first, the weak equivalences are detected by cohomology with coefficients in R. In the second, the weak equivalences are detected by cohomology…

This paper takes its starting point in an idea of Grothendieck on the representation of homotopy types. We show that any locally finite nilpotent homotopy can be represented by a simplicial set which is a finitely generated free group in…

Parsummable categories were introduced by Schwede as input for his global algebraic $K$-theory construction. We prove that their whole homotopy theory with respect to the so-called global equivalences can already be modelled by the more…

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a…