Questions tagged [grothendieck-topology]
The grothendieck-topology tag has no usage guidance.
93
questions
2
votes
2answers
227 views
What is the geometric description of the set of isomorphism class of $G$-torsors over a site $C$?
Let $X$ be a topological space and $G$ be a topological group. Let $\tilde{G}$ be the sheaf of groups defined by the sheaf of sections of the product $G$ bundle $ \pi_1:X\times G \rightarrow X $.
(1)...
3
votes
2answers
265 views
Is any constant Zariski sheaf already a Nisnevich sheaf?
Lat $A$ be a set and $\underline{A}$ the associated constant Zariski sheaf on the category $Sm/S$ of schemes which are smooth over $S$ for a fixed base scheme $S$. Is $\underline{A}$ already a (...
5
votes
0answers
192 views
$\ell$-adic Eilenberg-MacLane space and Brown representability
I posted the following question on MathStackexchange, where it was suggested that I should move my question to Mathoverflow, which do here (https://math.stackexchange.com/questions/3550741/algebraic-...
2
votes
0answers
110 views
Only discrete topology gives trivial topos?
Given a Grothendieck site $\mathsf{(C,\tau)}$, if the associated Grothendieck topos $\mathsf{Shv(C,\tau)}$ is trivial, i.e. $\mathsf{Shv(C,\tau)}$ consists of the terminal sheaf $*$ only, can we ...
9
votes
0answers
231 views
When is fppf better than fpqc (and vice versa)?
Depending on a geometer's needs, they may use the Zariski/etale/syntomic/etc. topology on the spaces they consider. I know some settings where etale topology is better suited for the task than the ...
3
votes
1answer
180 views
What to call a morphism of sites inducing an equivalence on categories of sheaves?
Is there a standard term for a morphism of sites $(C,J)\to(C',J')$ which induces an equivalence on sheaf categories $\operatorname{Sh}(C',J')\xrightarrow\sim\operatorname{Sh}(C,J)$? The nLab entry ...
14
votes
1answer
584 views
Has this “backwards” perspective on toposes been studied?
Topos theory can be seen as a categorification of topology via the following analogies.
\begin{array}{|c|c|}
\hline
\text{locales}&\text{Grothendieck toposes}\\\hline
\text{open sets}&\text{...
2
votes
0answers
201 views
Significance of some expected results when defining Grothendieck topology
Let $\mathcal{C}$ be a category. Fixing an object $U$ of $\mathcal{C}$, there are some obvious functors we can associate to it, for example:
$h_U:\mathcal{C}^{op}\rightarrow \text{Set}$ given by $V\...
2
votes
1answer
166 views
fppf-extension of algebraic groups is an algebraic group
The problem is the following:
Let $k$ be a field and let $N,G,Q: (\operatorname{Sch}/k)_{\operatorname{fppf}} \longrightarrow \operatorname{Grps}$
be fppf-sheaves from the big fppf-site of $\...
2
votes
1answer
169 views
Stack associated to Groupoid object in category $\text{Sch}/S$
Consider the category of manifolds $\text{Man}$.
A groupoid object in the category of manifolds is called a Lie groupoid, denoted by $\mathcal{G}$. There is a way to associate a stack (over the ...
0
votes
1answer
389 views
Why care about Grothendieck topology? [closed]
Noah Schweber said here the following:
Why would you want a notion of sheaf theory for objects more general
than topological spaces? Well, the original motivation (to my
understanding) was to ...
4
votes
1answer
272 views
How to construct cup-product in a general site?
Let $\mathcal{C}$ be a site on the category of schemes for some Grothendieck topology, $X$ a scheme, and let $F,G$ be two sheaves of abelian groups on $\mathcal{C}$. Do we have cup-product as follows?
...
4
votes
1answer
410 views
Do coherent sheaves on rigid analytic spaces form an abelian category?
It is said that the category of sheaves of abelian groups on a Grothendieck site(topology) is an abelian category. On the other hand, it is known that in usual algebraic geometry, given an variety (...
2
votes
2answers
254 views
In the definition of big/small étale/fppf/… site, is their covering set really a set?
My definition of a site is a pair $(\mathcal{C},\DeclareMathOperator{\Cov}{Cov}\Cov (\mathcal{C}))$ where $\mathcal{C}$ is a category and $\Cov (\mathcal{C})$ is a set consisting of elements of the ...
6
votes
1answer
384 views
Applications of $h$-topology and $h$-descent
This is a technical problem about applications of Grothendieck topologies. In some recent works, the technique of $h$-topology and $h$-descent is very useful, for an introduction see https://stacks....
0
votes
0answers
282 views
Grothendieck topology on a scheme equivalent to the circle
Suppose a class of morphisms of schemes is reasonable enough so that we can associate a small site to any scheme (just like small étale site). Is there a simple class of morphisms such that there is a ...
6
votes
0answers
139 views
Does an fppf cohomological class annihilated by an etale cover come from etale cohomological group?
Let $X$ be a scheme, $F$ a sheaf on the fppf site of $X$, and $\alpha\in H^i_{\mathrm{fppf}}(X,F)$ such that it is trivialized by an etale cover of $X$. Does $\alpha$ lie in the image of the canonical ...
4
votes
1answer
157 views
When can a scheme be recovered from its descent groupoid?
Suppose that $ Y $ is a scheme and $ f\colon X\to Y $ a covering of $ Y $ in some Grothendieck topology on the category of schemes (i.e. if $\{ U_i\to Y\}$ is a covering in the topological sense, then ...
2
votes
1answer
189 views
Why are sheaves of a coverage the same as those on its generated Grothendieck coverage?
Preliminaries: There are lots of variations on the settings in which we define sheaves. I am concerned with the details linking the general definition below to the Grothendieck topology it generates; ...
3
votes
0answers
212 views
Locality in Grothendieck Topologies
Let $\mathcal{C}$ be a category and $\mathcal{J}$ be a Grothendieck topology on it (i.e., $(\mathcal{C},\mathcal{J})$ is a site). Then what is a good notion of locality in it?
I came up with the ...
2
votes
3answers
643 views
Classical point-set topology using Grothendieck topologies
Its well known that the category of opens $O(X) $of a topological space $X$ can be endowed with a Grothendieck topology making it into a site. I am looking for references which take the reader through ...
7
votes
0answers
133 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\}$$...
6
votes
1answer
319 views
Equivalence of the definitions of a sheaf in SGA4 and in “Categories and Sheaves”
I asked this question on Mathematics Stack Exchange, but got no answer.
I don't understand why the definition of a sheaf (Definition 17.3.1 (ii)) given in the book
[KS] Categories and Sheaves by ...
10
votes
1answer
429 views
What is the total space of a stack after all?
From my general experience I think for myself of what follows as some kind of taboo question for some reason: in my imagination, everybody wants an answer to this but somehow thinks it shall not be ...
0
votes
1answer
151 views
If $J$-coverings can be glued $I$-locally is $J$-locality an $I$-local property? (Reducing descent problems to simpler ones)
Let $(C,J)$ be a category with a grothendieck topology. For every object $X \in C$ there's (I hope) a little site which is the full subcategory of the slice category $C_{/X}$ whose objects are the ...
8
votes
1answer
670 views
Are all Grothendieck topologies on Set equivalent?
The category $\textbf{Set}$ can be given a Grothendieck topology where the covering families are jointly surjective families of set inclusions $\{X_i\stackrel{\phi_i}{\hookrightarrow} X\}\in\mathrm{...
7
votes
0answers
217 views
Reference for the Brown-Gersten property for smooth manifolds
A classical result by Brown and Gersten says that to verify the homotopy descent property for the Zariski topology
it suffices to verify it for Zariski squares and the empty cover of the empty scheme.
...
7
votes
1answer
350 views
Is there a way to “puncture” a topos?
Let $E$ be a (Grothendieck) topos, e.g. $E = \text{Sh}(X)$ for a topological space $X$. And let $p = (p^*, p_*):\text{Set}\to E$ be a point of $E$, is there a way to "puncture" $E$ in some sense? By "...
2
votes
1answer
105 views
Exercise on “locality” in topos theory
Let $\mathcal E=\mathsf{Sh}(\mathsf C,J)$. Let $A\rightarrowtail \Omega$ be a fixed subobject. For each $X$ in $\mathcal E$, define $T_A(X)$ to be a set of subobjects of $X$ as follows. $U\...
16
votes
3answers
1k views
Voevodsky's Triangulated Categories of Motives and their Relationships
As we know, Voevodsky constructed several candidates for the triangulated category of motives using different constructions and topologies (h, qfh, etale, and Nisnevich).
I would like to know what ...
20
votes
1answer
594 views
Can we just use effective descent morphisms (pure morphisms) as covers?
There are a number of notions of "cover" for a scheme: etale, faithfully flat, fpqc, fppf, Zariski, Nisnevich, etc. Most of these have a nice property, which is that a cover of that type satisfies ...
3
votes
2answers
487 views
Grothendieck topologies on $\mathbb{C}$
I would like to consider three sheaves $\mathcal{C}^0$, $\mathcal{H}$ and $\mathcal{S}$ on $\mathbb{C}$ (endowed with the euclidean topology): the first is the sheaf of continuous $\mathbb{C}$-valued ...
21
votes
1answer
1k views
Flat versus etale cohomology
Although the definition of etale ($\ell$-adic) cohomology is scary, I have at least some intuition for how it should behave: for instance, when it makes sense, I expect that it should be ``similar'' ...
10
votes
0answers
337 views
Making the conceptual leap from locales to Grothendieck topologies?
I find the definition for locales and sheaves on locales to be straightforward, but I'm stumbling over the idea of a Grothendieck topology. Is there a nice way to see roughly how the latter ...
3
votes
1answer
217 views
Sections of morphisms up to fppf covering
Let $f:X\to S$ be a finite type affine morphism of schemes where $S$ is an integral noetherian affine regular scheme whose function field is of characteristic zero.
Assume that all geometric fibers ...
1
vote
0answers
238 views
Isomorphism in a derived category of chain complexes with rational coefficients
Let $C$ be the category of quasi-projective schemes over a base field $k$ (maybe I will need some assumptions on $k$). Let $Ab(C_{\tau})$ be the category of Abelian sheaves on a site $C_{\tau}$, where ...
44
votes
3answers
4k views
What is the purpose of the flat/fppf/fpqc topologies?
There have been other similar questions before (e.g. What is your picture of the flat topology?), but none of them seem to have been answered fully.
As someone who originally started in topology/...
2
votes
0answers
347 views
Reference for cdh topology
Let $f:X\rightarrow Y$ be a proper surjective morphism over some base scheme $S$ of finite type, suppose $f$ restricts to an isomorphism over some open $U$ of $X$, we also suppose both $X$ and $Y$ are ...
3
votes
2answers
394 views
Morphism on schemes induced by continuous morphism of sites
I am beginner in the theory of Grothendieck topologies and I have the following question.
Let $X, Y$ be schemes over an algebraically closed field $k$. Denote by $X_{et}$ and $Y_{et}$ the Etale sites ...
8
votes
3answers
1k views
Gerbes and Stacks
The definition of a gerbe on a smooth manifold that I know is that - after fixing an open cover $U_i$, a gerbe consists of the data of line bundles $L_{ij}$ on two-fold-intersections $U_{ij}$, ...
12
votes
1answer
1k views
Reference request: Book of topology from “Topos” point of view
Question: Is there any book of topology in the modern language of topos theory?
Motivation:
In "Sheaves in Geometry and Logic" Mac Lane and Moerdijk say: "For Grothendieck, topology became the ...
3
votes
0answers
338 views
Two functorial definitions of schemes
I have been reading a bit about the "functor of points" theory for schemes. There seem to be two ways of going about defining schemes this way:
Equip the category $\textbf {Psh}=\operatorname{Fun}(\...
6
votes
1answer
442 views
Hypercovers of sheaves in classical and quasi-categories
I am interested in relating the definition of hypercovers in the $\infty$-topos of sheaves on an $\infty$-Grothendieck site to the classical definition of hypercovers of presheaves on a Grothendieck ...
3
votes
0answers
183 views
Are there any useful Grothendieck topologies for which the H1 of $GL_n$ is not the set of rank $n$ vector bundles
Let n be a positive integer and X a scheme. Then for all the Grothendieck topologies I know (Zariski, etale, fppf) the set $H^1(X,GL_n)$ is the set of (isomorphism classes of) rank $n$ vector bundles.
...
2
votes
0answers
95 views
Cohomology and quotients for the canonical topology
Recall that for any category $\mathcal C$, there is a unique finest topology, the canonical topology on $\mathcal C$ for which all representable functors are sheaves. I am interested in the example $\...
0
votes
1answer
277 views
Sheaffication using a $\lambda$-transfinite colimit
I asked this question on mathstack (long time ago), however I received no answers, so I'm trying it here. I don't know whether it's suitable for this site, anyway.
I was reading this article http://...
6
votes
1answer
1k views
Torsors and the fpqc topology
Fix a scheme $S$, a group scheme $G/S$ (let us say smooth, maybe even affine with some finiteness conditions if you like), and suppose I have some other $S$-scheme $P$ with a right $G$-action. We want ...
8
votes
1answer
258 views
Which dense inclusions of sites are ∞-dense?
An inclusion of sites f: D→C is dense if it induces an equivalence between the categories of sheaves on C and D.
Likewise, f is ∞-dense is it induces an equivalence between the ∞-categories of ∞-...
0
votes
1answer
476 views
What was the original/historical motivation for introducing Grothendieck (pre-)topologies
The title essentially explains it, but I'll give some background:
I'm giving a talk to some fellow grad students about the relative Picard functor which requires introducing Grothendieck (pre-)...
4
votes
0answers
227 views
Can one construct Freyd-Mitchell's embeddings that respect sheafifications?
For a certain presheaf $P$ with values in an abelian category $A$ satisfying AB5 and its sheafification $S$ (with respect to a small Grothendieck site) I would like to prove: $S(f):S(X)\to S(Y)$ is ...
