Questions tagged [simplicial-presheaves]

A simplicial presheaf is a presheaf on a site (e.g., the category of topological spaces) taking values in simplicial sets (i.e., a contravariant functor from the site to the category of simplicial sets).

Filter by
Sorted by
Tagged with
11 votes
1 answer
1k views

Necessary conditions for cofibrancy in global projective model structure on simplicial presheaves

Consider the global projective model category of simplicial presheaves on some category (the category of smooth manifolds is particularly interesting to me). In Section 9.1 of Dugger's paper “...
Dmitri Pavlov's user avatar
11 votes
1 answer
490 views

Is there a practical criterion to determine whether the limit of a diagram of real chain complexes is also a homotopy limit?

Consider a diagram D: I→ChR of real connective chain complexes. In the example I have in mind all chain complexes are concentrated in some fixed degree n. There is a canonical map lim D → holim D ...
Dmitri Pavlov's user avatar
9 votes
1 answer
543 views

Homotopy left-exactness of a left derived functor

Let $$ F: \mathcal{C} \leftrightarrows \mathcal{D} :G $$ be a Quillen adjunction between model categories. Consider the corresponding adjunction of total derived functors $$ \mathbb{L}F: \mathrm{Ho}(\...
Alicia Garcia-Raboso's user avatar
8 votes
1 answer
339 views

An explicit isomorphism between the 1st Cech cohomology and the 1st hypercohomology

Let $\mathbf{X}$ be a Grothendieck topos and let $A$ be an abelian group in $\mathbf{X}$. Verdier's Theorem allows one to describe $\mathrm{H}^n(\mathbf{X},A)$ in terms of hypercoverings, namely, as ...
Uriya First's user avatar
  • 2,846
8 votes
0 answers
185 views

Unaugmentable cosimplicial simplicial sheaves and realization functor

I'm studying the construction of the $\mathrm{Sing}$ functor in Morel-Voevodsky ``$\mathbb{A}^1$-homotopy theory of schemes'' and I was trying to understand the properties of its left adjoint, the ...
Stefano Nicotra's user avatar
7 votes
0 answers
212 views

Pushout of Nisnevich sheaves

Let us consider the projective line $\mathbb{P}^1$ over a field $k$ and take the following open embeddings $$j_{\epsilon}\colon \mathbb{P}^1\setminus\{0,\infty\} \to \mathbb{P}^1\setminus\{\epsilon\}$$...
Stefano Nicotra's user avatar
6 votes
2 answers
945 views

Smash product of spheres in $\mathbf{SH}$ and product in cohomology

I have two very concrete and simple question. Just in case I write downwards what led me into this. My questions: Let $\mathbf{SH}(X)$ be the stable homotopy category of Voevodsky. Denote $S^n$ the ...
Tintin's user avatar
  • 2,741
6 votes
1 answer
393 views

Homotopy quotients, fixed points and stalks of simplicial (pre)sheaves

$\DeclareMathOperator\holim{holim}\DeclareMathOperator\hocolim{hocolim}$Let $\mathcal{F}$ be a simplicial (pre)sheaf on some site $\mathcal{C}$ (assume the site has enough stalks; if you like also ...
rvk's user avatar
  • 553
6 votes
1 answer
571 views

Descent properties of spaces

I am trying to make sense of what is written in Rezk's draft http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf In particular, I am referring to Proposition 2.3, which is there stated ...
Edoardo Lanari's user avatar
6 votes
0 answers
490 views

Is there a local projective model structure on simplicial sheaves? What are its fibrant objects?

Consider a site S (I am mostly interested in hypercomplete sites, e.g., the site of smooth manifolds). The category of simplicial presheaves SPSh(S) on S can be equipped with the local projective ...
Dmitri Pavlov's user avatar
5 votes
0 answers
103 views

On how Simpson's model structure on Tamsamani $n$-prenerves is cofibrantly generated

I was reading through "A closed model structure for $n$-categories, internal $Hom$, $n$-stacks and generalized Seifert Van-Kampen" by Simpson and was struggling to piece together the ...
Zach Goldthorpe's user avatar
5 votes
0 answers
260 views

Stalk of motivic homotopy sheaves

In contrast to "classical" homotopy theory, in the motivic homotopy theory, we don't have homotopy group but rather homotopy sheaves in the Nisnevich topology, which is associated to the ...
curious math guy's user avatar
4 votes
1 answer
278 views

Glueing a property via homotopy colimits

I have a problem concerning a fact which is stated without proof in this Rezk's draft: http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf . In the proof of Lemma 2.11, we are given a ...
Edoardo Lanari's user avatar
4 votes
1 answer
191 views

Are simplicial abelian sheaves fibrant?

I want to show that simplicial abelian sheaves are fibrant. For this, I wonder whether a morphism between simplicial sheaves is a fibration iff it has RLP w.r.t. all morphisms like $$\Lambda^n_k\times ...
Nanjun Yang's user avatar
4 votes
1 answer
225 views

Matching objects and hypercovers in topology

Question: Let $X$ be a topological space, $U_*\rightarrow X$ be an augmented simplicial space, and let $M_n(U_*)$ be the n-th matching object computed in $sTop$ while $M_n^X(U_*)$ denotes the $n$-th ...
Anonymous's user avatar
4 votes
1 answer
183 views

Checking that (hyper) sheafification is fibrant in local projective model structure on simplicial presheaves

Context and Notation Let $X$ be a manifold and $\mathcal{C} = Op(X)$ be the category of open subsets of $X$ with inclusions. I then consider the projective model structure on the (simplicial model) ...
cheyne's user avatar
  • 1,396
4 votes
0 answers
243 views

Homotopy colimit description of stacks

Let $F$ be an Artin stack. If $p: X \to F$ is an atlas for $F$, can we express $F$, in the $\infty$-category ${\rm Shv}^{\acute{et}}(k)$ of higher stacks, as a homotopy colimit over the simplicial ...
user237334's user avatar
4 votes
0 answers
82 views

$\mathrm{\Gamma}$ functor of Barratt-Eccles in simplicial context

In the article A free group functor for stable homotopy theory, Barratt and Eccles define for each $X\in\mathsf{sSet}_{\ast}$, the free simplicial monoid $\Gamma^{+}X$. Proposition 6.2 states if ...
Victor TC's user avatar
  • 795
4 votes
0 answers
300 views

Jardine model structure as left Bousfield localization

This should be a really basic question, but I'm stuck on it. The question. I see written everywhere (for example here, or in the article [DHI] Hypercovers and simplicial presheaves of Dugger, ...
Mauro Porta's user avatar
3 votes
1 answer
287 views

Basic technical things about simplicial sets to have a good understanding of quasicategories

May someone provide me the list of basic techniques about simplicial sets, in order to have a good understanding of the definition of a quasicategories, $\infty$-topos, $\infty$-stacks, $\infty$-...
Camell Kachour's user avatar
3 votes
1 answer
104 views

Injective model structure for simplicial presheaves

I am reading the paper by Jardine and Goerss, Localization theories for simplicial presheaves and having troubles with understand an argument. In this paper, the two authors considered $\mathcal{C}$ ...
Alexey Do's user avatar
  • 646
3 votes
1 answer
280 views

Can homotopy limits of simplicial sheaves be calculated (correctly) using sheaves of Kan complexes?

$\DeclareMathOperator\holim{holim}$ Let $sSh$ be the category of simplicial sheaves on some site (I like using the psychological crutch of the site having enough points; further, to clarify a bit, &...
rvk's user avatar
  • 553
3 votes
1 answer
395 views

Whitehead Theorem in $\mathbb{A}^1$-homotopy theory

I'm reading "UNSTABLE MOTIVIC HOMOTOPY THEORY" by Kirsten Wickelgren and Ben Williams (https://arxiv.org/pdf/1902.08857.pdf). There they have a version of Whitehead's Theorem, namely Prop ...
curious math guy's user avatar
3 votes
0 answers
124 views

Gluing data for $\infty$-sheaves?

Let $\mathcal{F}$ and $\mathcal{G}$ be two $\infty$-sheaves on $X$ resp. $Y$. I want to understand exactly when we can "glue" $\mathcal{F}$ and $\mathcal{G}$ to give a $\infty$-sheaf on $X\...
user1085050's user avatar
3 votes
0 answers
124 views

Preserves naively $\mathbb{A}^{1}$-homotopic maps

I've been studying $\mathbb{A}^{1}$-homotopy recently and would like some guidance with the question below. Thank you so much. Setup Fix $k$ a field of characteristic zero. Let $Sm_{k}$ denote the ...
Faye3's user avatar
  • 317
3 votes
0 answers
83 views

Could we have the simplicial definition of equivariant derived category of sheaves with arrow direction inversed?

Let $X$ be a topological space and $G$ be a topological group acting on $X$ from the left. We consider the simplicial space $[G\backslash X]_{\cdot}$ where $$ [G\backslash X]_n=\underbrace{G\times \...
Zhaoting Wei's user avatar
  • 8,657
3 votes
0 answers
154 views

groupoids representing mapping stacks

1)Let $X$ be a differentiable stack ((2,1) sheaf over the category of smooth manifolds $Man$) and that is geometric. Let $N\in Man$, then $$ Map(y(N),X) $$ is again a differentiable stack ($y$ is the ...
Cepu's user avatar
  • 1,424
2 votes
1 answer
117 views

Is a left Bousfield localization of simplicial presheaves a locally cartesian closed model category?

Let $\mathcal{C}$ be a small category and let $\mathcal{M} = \operatorname{sPre}(C)$ be the model category of simplicial presheaves on $\mathcal{C}$ with the injective model structure. Let $S$ be a ...
Herman Rohrbach's user avatar
2 votes
0 answers
91 views

A sectionwise fiber sequence is homotopy fiber sequence?

Let $\mathscr{C}$ be a site and $\mathsf{sPre}(\mathscr{C})$ the category of simplicial presheaves on $\mathscr{C}$ equipped with Jardine's local model structure. Let $E\to B$ is a sectionwise Kan ...
Lao-tzu's user avatar
  • 1,856
2 votes
0 answers
152 views

Is there a definition of an unpointed schematic homotopy type?

In the paper Champs Affines (http://www.math.univ-toulouse.fr/~btoen/chaff.pdf) Toen introduces pointed schematic homotopy types (SHTs) to solve Grothendieck's schematization problem (described in ...
Patrick Elliott's user avatar
2 votes
0 answers
135 views

Defineing a Sheaf of rings over a topological space

Let $X$ be a topological space and let $R$ be a commutative ring with $1$ such that for each $x\in X$ there exists a multiplicatively closed subset $S_x$ of $R$ such that for each $a\in R$ if $\frac{a}...
A. R. Magid's user avatar
2 votes
0 answers
68 views

Relation of nerve of groupoid and 1st Postnikov object

Let $B$ be a fibrant simplicial set and let $B^{(1)}$ be its 1st Postnikov object. Let $\mathscr{G}$ denote a groupoid such that $\mathrm{Obj}(\mathscr{G})=B_{0}=B^{(1)}_{0}$ and $\mathrm{Aut}_{\...
masa M's user avatar
  • 141
2 votes
0 answers
203 views

stackifickation of BG

Let $Man$ be the category of smooth manifold. Fix a $M\in Man$ and let $G$ be a group acting smoothly on $M$. The nerve of the group action on $M$ by $G$ defines a simplicial presheaf $X\: : \:Man\to ...
Cepu's user avatar
  • 1,424
1 vote
1 answer
135 views

Does the kan extension preserves contractible presheaves?

Let $\mathcal{C}$, $\mathcal{D}$ be two small categories. Let $f\: : \: \mathcal{C}\to \mathcal{D}$ be a functor. Then it induces a functor $$ f^{*}\: : \: sPsh(\mathcal{D})\to sPsh(\mathcal{C}) $$ ...
Cepu's user avatar
  • 1,424
1 vote
1 answer
260 views

How to define the internal hom between presheaves valued in cotensored categories?

First let $\mathcal{V}$ be a closed symmetric monoidal category and $\mathcal{M}$ be a category enriched over $\mathcal{V}$. Moreover we assume $\mathcal{M}$ is cotensored, or powered over $\mathcal{...
Zhaoting Wei's user avatar
  • 8,657
1 vote
0 answers
100 views

Invariance of categories of sheaves (on simplicial presheaves) under (local) weak equivalence

Let $\mathcal{C}$ be a Grothendieck site (secretly in my head I am thinking of Hausdorff topological spaces with open covers; if I am daring I might be thinking of the big etale site on complex ...
rvk's user avatar
  • 553
1 vote
0 answers
79 views

Cofibrancy of simplicial objects [duplicate]

Let $\mathcal{C}$ be a site. Consider $sPsh(\mathcal{C})$ be the equipped with the local projective model structure. Let $C_{\bullet}$ be a cofibrant object in $\mathcal{C}$ and let $y(C_\bullet)$ be ...
Cepu's user avatar
  • 1,424
1 vote
0 answers
221 views

Internal Hom on simplicial presheaves and the preservation of cofibrant objects

1)Let $\mathcal{C}$ be a cartesian closed small category. Let $\operatorname{Map}\: : \: sPsh(\mathcal{C})\times sPsh(\mathcal{C})\to sPsh(\mathcal{C})$ be the internal Hom of simplicial presheaves, i....
Cepu's user avatar
  • 1,424
0 votes
0 answers
49 views

Finitely continuous fibrant replacement functor for localization of simplicial presheaves with projective model structure

Let $C$ be a model category given by generators and relations in the sense of Dugger (that is, $C$ is a left Bousfield localization of a global projective model model structure on simplicial ...
Arshak Aivazian's user avatar
0 votes
0 answers
213 views

Quillen adjunction betwen simplicial presheaves and cochain complexes

Let $sPsh(\mathcal{C})$ the category of simplicial presheaves over a small category $\mathcal{C}$. Let $Ch^{*}_{\geq 0}$ be the category of positively graded cochain complexes of modules over a field ...
Cepu's user avatar
  • 1,424