# Questions tagged [grothendieck-topology]

The grothendieck-topology tag has no usage guidance.

**2**

votes

**2**answers

181 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 ...

**4**

votes

**0**answers

148 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....

**1**

vote

**0**answers

221 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

**0**answers

136 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

**1**answer

149 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

**1**answer

168 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

**0**answers

174 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

**3**answers

574 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

**0**answers

119 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

**1**answer

285 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

**1**answer

392 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

**1**answer

139 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 ...

**7**

votes

**1**answer

620 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{...

**6**

votes

**0**answers

189 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

**1**answer

339 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

**1**answer

102 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

**3**answers

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 ...

**19**

votes

**0**answers

456 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

**2**answers

451 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 ...

**22**

votes

**1**answer

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'' ...

**9**

votes

**0**answers

304 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

**1**answer

200 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

**0**answers

221 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 ...

**41**

votes

**3**answers

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

**0**answers

299 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

**2**answers

374 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 ...

**7**

votes

**3**answers

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

**1**answer

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 ...

**2**

votes

**0**answers

275 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}(\...

**5**

votes

**1**answer

352 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

**0**answers

176 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

**0**answers

89 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

**1**answer

256 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

**1**answer

966 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

**1**answer

234 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

**1**answer

463 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

**0**answers

214 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 ...

**6**

votes

**2**answers

705 views

### Can Inequivalent Topologies Have Same Sheaves/Cohomology?

Let $C$ be a fixed category, and let $T_1$ and $T_2$ be two Grothendieck (pre)topologies on $C$. We say $T_1$ is subordinate to $T_2$ if every covering in $T_1$ has a refinement in $T_2$. We say $T_1$ ...

**6**

votes

**1**answer

394 views

### Needless axiom for Grothendieck topologies?

Hi,
The first axiom for a Grothendieck (pre)topology on a category $C$ says that for every object $X\in C$, the family consisting of just the identity $1_X : X\to X$ should be a covering family.
Why ...

**9**

votes

**1**answer

652 views

### Is there a direct proof that affine schemes are fppf quasi-compact?

Let $A$ be a (commutative) ring. A family $(B_i)_{i\in I}$ of $A$-algebras is said to be an fppf cover if it satisfies three properties: (1) each $B_i$ is flat as an $A$-module, (2) each $B_i$ is ...

**4**

votes

**0**answers

238 views

### cech cohomology in topos

Hi,
The following result seems to be well known, but I can't come up with a proof.
Suppose that $C$ is a topos and that $F\to G$ is an effective epimorphism in $C$. If $P$ is
any abelian sheaf on $C$...

**7**

votes

**4**answers

884 views

### Grothendieck topology for a non-small category

To define a Grothendieck topology of a category, we usually require that the category is small.
Question 1: Why do we need to require the category to be small?
I thought that the problem was that ...

**3**

votes

**0**answers

214 views

### Examples of Sheafification via Hypercovers

For a presheaf $F$ on a category equipped with a pretopology, one has the sheafification $F^{\sharp}$ of $F$.
I know well the plus-construction of sheafification, which is presented in Artin's paper "...

**16**

votes

**1**answer

1k views

### Points in sites (etale, fppf, … )

I asked a part of this in an earlier question, but that part of my question didn't receive precedence.
Etale site is useful - examples of using the small fppf site?
Let $X$ be a scheme (assume it ...

**4**

votes

**1**answer

378 views

### Numerable covers from the point of view of Grothendieck topologies

Let $G$ be a topological group. Recall that its classifying space $BG$ is a CW-complex which is the base of a locally trivial principal bundle of group $G$, with contractible total space $EG$. It ...

**2**

votes

**1**answer

161 views

### Is there a name for this “weak compatibility” between Grothendieck (pre)topologies?

(I find it easier to think in terms of Grothendieck pretopologies, instead of topologies. If this annoys any experts, please forgive me.)
Suppose that $C$ is a (full) subcategory of a category $D$. ...

**8**

votes

**3**answers

963 views

### Representable Presheaf

I have a very quick question. Is there an easy example of a representable presheaf on a site that is not a sheaf? This certainly can't happen on a small FPPF site so I would expect a counterexample to ...

**9**

votes

**4**answers

2k views

### Grothendieck Topologies versus Pretopologies

The wikipedia article(s) as well as the nlab article(s) about Grothendieck topologies and Grothendieck pretopologies are careful to differentiate the two very emphatically and to point out that ...

**5**

votes

**1**answer

345 views

### Coverage, itself considered as a presheaf

A coverage $J$ on a category $C$ assigns to an object $U$ of $C$ a set of covering families $J(U)$. The covering families are required to be stable under pullback, which amounts to requiring that for ...

**30**

votes

**1**answer

2k views

### What is your picture of the flat topology?

I recently tried to explain the fppf site to a differential geometer. I started with the etale site, where I had two motivating claims:
If X is a smooth projective variety over the complexes, the ...