Search Results

Yes, this is just a basic fact in category theory, if interpreted correctly. For $C$ any category, and $F$ any preheaf on $C,$ $F$ is the colimit in presheaves of the diagram $C/F \to C \stackrel{y}{\ …

Let $X$ be a scheme over $\mathbb{C}$. When does the topological space $X\left(\mathbb{C}\right)$ of $\mathbb{C}$-points have the homotopy type of a finite CW-complex? When does the topological spa …

There is a classical result which says that the assignment $$M \mapsto C^{\infty}\left(M\right)$$ is an embedding of the category of (paracompact Hausdorff) smooth manifolds into the opposite category …

I will try to answer this question in a way relevant to more than one field, however, to be honest, I'm rather unconventional in the sense that my experience in this area stems from topological and di …

$\newcommand\Top{\mathit{Top}}\DeclareMathOperator\Sh{Sh}$One advantage is that it gives you a geometric representation for slice topoi of sheaves over a space: Given a topos $E$, $E$ is equivalent to …

1.) It's possible to define stacks on ANY category equipped with a Grothendieck topology (such a category with a topology is called a site). In particular, this holds true for the Zariski site. Moreov …

It depends on what you mean by an étalé "space". As long as $C$ has a small set of topological generators (i.e. as long as $Sh(C,J)$ isn't too large to be a topos), there always exists a certain versi …

Let $X$ be a stack of $n$-groupoids on the site of affine schemes over a fixed base, with the etale topology. If $n=1$ then for $X$ to be Deligne-Mumford, aside from having an etale atlas from an alge …

Local questions: 1) Given a commutative ring $A,$ is $Sh_\infty\left(Spec(A)\right)$ hypercomplete? 2) Given a commutative ring $A,$ is $Sh_\infty\left(Et\left(A\right)\right)$ hypercomplete, where …

If $X_1 \rightrightarrows X_0$ is a groupoid and $\mathcal{X}$ is the associated stack, consider the atlas $p:X_0 \to \mathcal{X}$. If you form the weak $2$-pullback of $p \times p:X_0 \times X_0 \to …

Suppose that $C$ is a Grothendieck site, and $\mathscr{X}$ is a stack over $C$ (which is NOT equivalent to a sheaf). Let $$\pi_{\mathscr{X}}:\int_{C} \mathscr{X}\to C$$ denote the associated fibered c …

Let $S$ be your Grothendieck site. What you want is a subcategory $j:B \hookrightarrow S$ such that the Grothendieck topology of $S$ restricts to $B$ in the sense that every covering sieve of $b \in B …

I believe I have the answer in the setting of sheaves of sets. Let us first do this for presheaves, $Set^{C^{op}}$. This category is Cartesian-closed. This can be seen by setting $Y^X(U):=Hom(X \time …

I have stumbled upon some literature on Deligne-Mumford stacks, and it seems to me, at least superficially, that there is a strong link between DM-stacks which have "trivial generic stabilizers" and " …

Let $X$ be a scheme of finite type over $\mathbb{C}$ and let $Z \hookrightarrow X$ be a closed subscheme. Consider the associated closed inclusion $Z_{an} \hookrightarrow X_{an}$ between their analyti …