Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 29th 2010

    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 CC with pullbacks, then let JJ-epi denote the singleton pretopology with covers maps that admit local sections over a JJ-cover. Now if CC is extensive, JJ-epi is the same as ⨿J\amalg J-epi, where ⨿J\amalg J is a class of maps ⨿U iX\amalg U_i \to X for {U iX}\{ U_i \to X\} a JJ-covering family. If JJ isn’t a superextensive pretopology, then JJ-sheaves are not necessarily the same as ⨿J\amalg J-sheaves, but sheaves for JJ-epi can’t be sheaves for both JJ and ⨿J\amalg J, so we have a pretopology KK on CC countering the claim that KK-sheaves are the same as KK-epi sheaves.

    However, the question relates not to JJ-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 XX. I could take a new covering family of XX to be {U i⨿YX}\{ U_i \amalg Y \to X\} for any old map YXY \to X, and hardly expect the original sheaves to be sheaves for this covering family.

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 29th 2010

    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.

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 29th 2010

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

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeOct 29th 2010

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

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 29th 2010

    Cool, thanks!

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 29th 2010

    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.

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeOct 29th 2010

    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.