Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

(0 1)-category-theory 2-category 2-category-theory 2-monad abelian-categories accessible adjoint algebra algebraic algebraic-geometry analysis arithmetic beauty book bug bundle categories category category-theory chern-simons-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry conference connection constructive constructive-mathematics cosmology database deformation-theory descent differential differential-cohomology differential-geometry duality enriched enriched-category-theory enrichment examples factorization-system fiber fibration forms foundation foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory homtopy-type-theory infinity-groupoid infinity-topos integration-theory internal-categories kan lie-algebras lie-theory limit limits linear linear-algebra locale localization localization-theory logic manifolds mathematics measure measure-theory mechanics meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism n-groups newpage noncommutative noncommutative-geometry object operator operator-algebra order-theory philosophy physics predicative pretopology pro-object probability-theory quantum quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry set set-theory sheaf simplicial site space stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka tensor terminology theory topologica-quantum-field-theory topology topos topos-theory torsor tqft type type-theory universal weighted-limit

1. • CommentRowNumber1.
   • CommentAuthorDavidRoberts
   • CommentTimeOct 29th 2010
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexSee <a href="http://mathoverflow.net/questions/44023/does-adding-corefinements-to-a-grothendieck-pretopology-change-the-topos">this MO question</a>. I got the answer wrong, because I forgot the definition of sieves generated by a Grothendieck pretopology. However, the sort of thing in the question I use in my thesis (albeit the singleton version), so now I curious as to how this works. The following is my thought process, please tell me if it is wrong. If J is a pretopology on a category $C$ with pullbacks, then let $J$-epi denote the singleton pretopology with covers maps that admit local sections over a $J$-cover. Now if $C$ is extensive, $J$-epi is the same as $\amalg J$-epi, where $\amalg J$ is a class of maps $\amalg U_i \to X$ for $\{ U_i \to X\}$ a $J$-covering family. If $J$ isn't a superextensive pretopology, then $J$-sheaves are not necessarily the same as $\amalg J$-sheaves, but sheaves for $J$-epi can't be sheaves for both $J$ and $\amalg J$, so we have a pretopology $K$ on $C$ countering the claim that $K$-sheaves are the same as $K$-epi sheaves. However, the question relates not to $J$-epi, but to a non-singleton version: the new covering families are such that old covering families factor through them. We can think about just the sheaf condition for a single object $X$. I could take a new covering family of $X$ to be $\{ U_i \amalg Y \to X\}$ for any old map $Y \to X$, and hardly expect the original sheaves to be sheaves for this covering family.

   See this MO question. I got the answer wrong, because I forgot the definition of sieves generated by a Grothendieck pretopology. However, the sort of thing in the question I use in my thesis (albeit the singleton version), so now I curious as to how this works. The following is my thought process, please tell me if it is wrong.

   If J is a pretopology on a category $C$ with pullbacks, then let $J$-epi denote the singleton pretopology with covers maps that admit local sections over a $J$-cover. Now if $C$ is extensive, $J$-epi is the same as $⨿J$-epi, where $⨿J$ is a class of maps $⨿U_i\to X$ for $\{U_i\to X\}$ a $J$-covering family. If $J$ isn’t a superextensive pretopology, then $J$-sheaves are not necessarily the same as $⨿J$-sheaves, but sheaves for $J$-epi can’t be sheaves for both $J$ and $⨿J$, so we have a pretopology $K$ on $C$ countering the claim that $K$-sheaves are the same as $K$-epi sheaves.

   However, the question relates not to $J$-epi, but to a non-singleton version: the new covering families are such that old covering families factor through them. We can think about just the sheaf condition for a single object $X$. I could take a new covering family of $X$ to be $\{U_i⨿Y\to X\}$ for any old map $Y\to X$, and hardly expect the original sheaves to be sheaves for this covering family.

2. • CommentRowNumber2.
   • CommentAuthorDavidRoberts
   • CommentTimeOct 29th 2010
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexIncidentally, in the reference - Goodwillie and Lichtenbaum's paper on the h-topology - the OP (what on earth does that mean??) gave, it mentions the f-topology on schemes as being the smallest topology generated by the extensive topology and the topology of finite surjections. Another good example for a superextensive (pre)topology. G&L cite SGA4 for their definition of 'topology' and that the <a href="http://mathoverflow.net/questions/44023/does-adding-corefinements-to-a-grothendieck-pretopology-change-the-topos/44029#44029">question</a> has an obvious answer 'yes'. I don't have access to SGA4 at the moment, so I can't check the precise definition. It may be hidden in there.

   Incidentally, in the reference - Goodwillie and Lichtenbaum’s paper on the h-topology - the OP (what on earth does that mean??) gave, it mentions the f-topology on schemes as being the smallest topology generated by the extensive topology and the topology of finite surjections. Another good example for a superextensive (pre)topology. G&L cite SGA4 for their definition of ’topology’ and that the question has an obvious answer ’yes’. I don’t have access to SGA4 at the moment, so I can’t check the precise definition. It may be hidden in there.

3. • CommentRowNumber3.
   • CommentAuthorDavidRoberts
   • CommentTimeOct 29th 2010
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexAlso G&L mention a condition of a topology having enough points: that a sheaf if trivial iff all its stalks are trivial. Do we have something like this on the Lab? I really need to get back to work, else I'd dig around myself..

   Also G&L mention a condition of a topology having enough points: that a sheaf if trivial iff all its stalks are trivial. Do we have something like this on the Lab? I really need to get back to work, else I’d dig around myself..

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeOct 29th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexOP = Original Poster. I added an answer to the MO question; despite what one might "hardly expect," it is actually true. (-:

   OP = Original Poster. I added an answer to the MO question; despite what one might “hardly expect,” it is actually true. (-:

5. • CommentRowNumber5.
   • CommentAuthorDavidRoberts
   • CommentTimeOct 29th 2010
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexCool, thanks!

   Cool, thanks!

6. • CommentRowNumber6.
   • CommentAuthorDavidRoberts
   • CommentTimeOct 29th 2010
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexI suppose the obvious thing to ask is whether this is true for sites without all pullbacks, and replacing local-section-admitting maps (or the non-singleton version as in the question) with only those of which all pullbacks exist.

   I suppose the obvious thing to ask is whether this is true for sites without all pullbacks, and replacing local-section-admitting maps (or the non-singleton version as in the question) with only those of which all pullbacks exist.

7. • CommentRowNumber7.
   • CommentAuthorMike Shulman
   • CommentTimeOct 29th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThe version in the Elephant is stated for categories without pullbacks. The right thing to do is still talk about local-section-admitting maps, just phrase it without using pullbacks.

   The version in the Elephant is stated for categories without pullbacks. The right thing to do is still talk about local-section-admitting maps, just phrase it without using pullbacks.