Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am going to polish the entry local system now.
The following is long forgotten discussion that had been sitting in a query box there. Everybody involved should check what of that still needs further discussion and then have that discussion here on the forum.
Urs: I am hoping that maybe David Speyer, whose expositional blog entry is linked to below, or maybe somebody else would enjoy filling in some material here.
Bruce: Could it perhaps be “On a topological space (why do we need connected?) this is the same as a sheaf of flat sections of a finite-dimensional vector bundle equipped with flat connection;”. I guess by “flat connection” in this general topological context we would mean simply a functor from the homotopy groupoid to the category of vector spaces?
Zoran Škoda: connected because otherwise you do not have even the same dimension of the typical stalk of teh lcoally constant sheaf. Maybe there is a fancy wording with groupoids avoiding this, but when you have a representation on a single space, you need connectedness.
Ronnie Brown I do not have time to write more tonight but mention that there is a section of the paper
on local systems, where a module over the fundamental groupoid of a space is regarded as a special case of a crossed complex. This seems convenient for the singular theories but has not been developed in a Cech setting. The homotopy classification theorem
where is the skeletal filtration of the CW-complex , is a crossed complex, and is the classifying space of , thus includes the local coefficient version of the classical Eilenberg-Mac Lane theory.
Tim: Quoting an exercise in Spanier (1966) on page 58:
A local system on a space is a covariant functor from the fundamental groupoid of to some category.
A reference is given to a paper by Steenrod: Homology with local coefficients, Annals 44 (1943) pp. 610 - 627.
Perhaps the entry could reflect the origins of the idea. The current one seems to me to be much too restrictive. There are other applications of the idea than the ones at present indicated, although of course those are important at the moment. Reference to vector bundles is not on the horizon in Spanier!!!!.
Local systems with other codomains than vector spaces are used in rational homotopy theory.
Urs: I am all in favor of emphasizing that “local system” is nothing but a functor from a fundamental groupoid. That’s of course right up my alley, compare the discussion with David Ben-Zvi at the “Journal Club”. Whoever finds the time to write something along these lines here should do so (and in clude in particular the reference Ronnie Brown gives above).
BUT at the same time it seems to me that many practitioners will by defualt think of the explicitly sheaf-theoretic notion when hearing “local syetem” which the entry currently states. We should emphasize this explicitly, something like: “while in general a local system is to be thought of as a representation of a fundamental groupoid, often the term is understood exclusively in its realization within abelian sheaf theory as follows …”
(to be continued in next comment)
(continuation from previous comment)
Tim: How about wording such as:
In general a local system is defined to be … (ref. Spanier (1966) and earlier Steenrod (1943).) …. . (Perhaps a classical example would help here.)
A particularly important case of this is when the functor takes its values in the category of vector spaces or slightly more generally abelian groups. For instance given a locally constant sheaf on a manifold then there is naturally a local system that encodes valuable information in a neat way. In this entry we will primarily discuss this latter more restrictive sense, at least to start with. Later we will look at other applications and instances of the more general case.
(I tend to not use the word representation when functor is meant and I would discourage saying that a local system IS a locally constant sheaf of whatever, as they are very different types of stuff (I almost get the ’I spy evil’ reaction when I see that!).
Zoran Skoda: Keep both definitions, and say when they are equivalent, sheaf theoretic and fundamental group one. Why I favour the sheaf theoretic definition as primary is its generality: it works over a site, it is related to combinatorial versions (local system of cohomological coefficients on a simplicial complex or on a poset), as well as local systems on stratified spaces: I do not know how the fundamental group is defined in those cases to yield the same notion; and as aside issue I also do not know if there is a usage of local systems on topological spaces which are not linearly connected. Besides, representations of fundamental group in f.d. vector spaces have also another name: monodromies (monodromy representations).
Urs: it seems everybody is waiting for everybody else to make the first step. So I did it now. Please see the above changes and please feel free to improve as you see the need!
Tim: The usual meaning of ’primary’ would be relating to time so Steenrod would have it there! Homology and cohomolgy with local coefficients is known from way back and ’local system’ I thought was short for ’local system of coefficients’. I understand what you mean about generality but would disagree on your last comment. Your objection to the version in Spanier seems to be that someone else thought of another name later, yet the sheaf theoretic definition is saying that local system is another name for a locally constant sheaf of f.d. v. spaces so …. .
Can someone tell me how old the term ’monodromy’ is? I know that Ehresmann used it so perhaps Cartan? I digress.
The main aim should be to have a clear description of the idea and a definition or definitions with some discussion of their interrelationships.
Zoran Skoda: so how will you do the local system on a site ? For a general site with a terminal object it is hard to have a satisfactory notion of fundamental group (though it works for topoi – with regular epi topology assumed) while locally free sheaf still makes sense: you can use a cover of terminal object. The word monodromy is usually associated to the case of ordinary differential equations and Riemann-Hilbert problem, so I believe that it existed around 1900, though I may be wrong.
(to be continued in next comment)
(continuation from previous comment)
Tim: My own approach would, I think, be to rephrase things along the line of standard treatments of descent theory from a simplicial viewpoint. I have not thought about this so this may get garbled a bit. Classically you can do local systems on a triangulation of a manifold without reference to the fundamental group(oid), and again classically open covers of a manifold are linked to triangulations by the Cech nerve, (see simplicial local system. The analogue for a general topos would be a hypercovering (I suppose) so it should be feasible to adapt the definition to that setting. (This is probably either well known or wrong!) The fundamental group should be nowhere in sight. Paths are not relevant in this, and, of course, locally constant sheaves or their generalisations are just around the corner. (This is all analytic continuation but does not use paths only (generalisations of) open sets.)
Local system was, as I said earlier, originally short for ’local system of coefficients’, I believe, i.e. for cohomology or homology.
My main point is that a local system is not the same as a locally constant sheaf. It is more like a diagram defining such a sheaf, rather than the sheaf itself. If that terminology is used then it is sloppy terminology. This does not make it ’wrong’, just like so much maths, ’systematic abuse of terminology’, and it should only be indulged in with great care and consideration.
(Another case which is more serious, I likewise object to U(1)-gerbes being called just gerbes. This is historically wrong, can confuse a beginning researcher, and also can have a devastating effect on the future of young researchers, when well known ’experts’ insist, for instance, that ’nice’ gerbes are all abelian,(implying that other types are uninteresting, nasty and unimportant) as that condemns workers in non-Abelian cohomology who study non-Abelian gerbes to lack of grant funding etc. (I know I have been there!!! so my vehemence is well founded.))
Your comment on monodromy reinforced my feeling about it. I have not got Steenrod’s paper, so wonder if it shows that he was aware of the link. His fibre bundles book was still in the future … interesting historical question there.
Zoran Skoda: I like your comment and historical remarks (by the way, the present homological algebra books like Methods…by Gelfand-Manin (p.28) distinguishes homology coefficient systems (on simplicial sets) and cohomology coefficient systems (maybe some remark within simplicial local system is due). As far as using internal nerve of a (hyper)cover in arbitrary site (I emphasise site, not topos) one can try defining fund. groupoid along such terms, that is implicit in the work of Pataraia on internal cosimplicial objects, which I never studied enough, and includes some conditions; in any case it does not look elementary to me. As far as historical info we should keep looking for it (including original usage of “monodromy”); it is instructive and shows some curious geometrical insights in old papers.
(end of old query box content)
Went through this cluster of links, polished slightly here and there and added links back and forth:
A locally constant function is a section of a constant sheaf;
a locally constant sheaf is a section of a constant stack;
a locally constant stack is a section of (… and so on…)
a locally constant ∞-stack is a section of a constant ∞-stack.
A locally constant sheaf / -stack is also called a local system.
I was going to post the following, but strictly speaking this needs a bit more discussion of the lax pullback/Grothendieck construction point. But I am out of time for tonight, will have to continue another time. But maybe it is good if I post the following nevertheless.
I am through with rewriting local system and locally constant infinity-stack.
I rewrote it starting with plain -topos theory and then later remark about the case of ordinary sheaves. There is (still) plenty of room for expansion on this special case, of course, but then, there is also a good list of references for standard material.
So here is a main point that is kind of obvious but which we did not have explicitly stated anywhere before.
Write .
A locally constant infinity-stack on an object in an -topos is equivalently
a morphism ;
the object in the over-topos obtained by the -Grothendieck construction, i.e. the pullback
of the universal fibration.
This is the genuine “-sheaf on ” in that is the little -topos over .
Now by general abstraction, cohomology with coefficients in the localy system of coefficients deserves to be nothing but
which is to be read as nothing but the nonabelian sheaf cohomology on with coefficients in the locally constant -sheaf .
And indeed, if you unwind the definitions and use the universality of the comma pullback, you find that a cocycle in here is in a diagram
Why the restriction to finite things everywhere? Surely being finite is not an essential aspect of “local constancy,” although perhaps the traditional term “local system” implies some finite-dimensionality.
At least there needs to be some cardinality bound such that the collection of -groupoids of bounded size still forms a small -groupoid.
I would regard that as a problem with “defining” a locally constant object to be a section of a constant stack, rather than using an “intrinsic” definition of locally constant object. But one could also always talk about sections of the large constant stack of small ∞-groupoids by going up a universe.
Sure. I added a brief remark to local system.
I agree with Mike - there should be no restriction to finite things. It is a theorem (Polesello and Waschkies) that locally constant stacks are sections of the constant 2-stack (or more appropriately, given Tim’s copied comments above - it is a theorem that local systems are equivalent to sections of the constant 2-stack with fibre ). I don’t think it should be the definition.
sections of the constant 2-stack with fibre
It’s just that taken at face value there is no 2-stack with values in . Since is not an object in but in . But of course one can deal with this.
I don’t think it should be the definition.
As you notice, in low categorical degree it is a theorem that both definitions are equivalent.
So then when we generalize to higher categorical degree, we have the usual choice of which of several equivalent definitions of the lower dimensional one to pick. We want to pick the one with the nicest abstract properties. So that’s what I do here: since in low categorical degree a locally constant (n-1)-stack is proven to be precisely a section of a constant -stack, and since the notion of sections of constant -stacks has a very good general abstract formulation, I declare this to be the general definition.
I think this is good and well established practice of how to proceed with generalizing concepts to higher category theory. Now, with any alternative definition of locally constant -stack one still can and wants to check if or if not it is equivalent to this one.
We want to pick the one with the nicest abstract properties.
I don’t think that’s necessarily always the rule. Sometimes we should instead pick the one which adheres as closely as possible to the desired meaning. If there is a notion which disagrees with that but has better abstract properties, then maybe we should give that other one a different name. Ideally, something called “locally constant” should be defined in such a way as to make clear in what sense it is “locally constant.”
In this case, I think both definitions turn out to be equivalent. So I think that when introducing the concept as a definition, there is no harm in using the definition with better intuition, and only then remarking that it is equivalent to another version.
By the way, giving an intrinsic definition of “locally constant” rather than as “a section of a constant stack” has the abstract advantage that it doesn’t require any arbitrary cardinality bound on the size of the fibers.
Let’s see if we can make some progress.
In the case where we do have everything we want, both notions should agree, so we can take that case as the testing case.
So let me assume a globally and locally -connected -topos and
a morphism. i still think the corresponding locally constant stack regarded as an object of should be the pullback
for the universal fibration.
So how would we recognize this as being “locally constant”? Like this: say a cover of “by contractible patches” is a morphism such that
is an effective epimorphism
is 0-truncated (a set).
The second conditon encodes that each connected component of is contractible. We are to think of this is of contractible patches .
Then pick such a cover and pull back to it
The total rectangle here is still a pullback. Now use that and that is full and faithful to deduce that the adjunct
is still a pullback. Since by assumption is a set, the bottom morphism picks a bunch of finite -groupoids – which I think we can deduce must all be equivalent – and by the property of is follows that
(Hm, maybe I am assuming now also that preserves finite products.) So we conclude that
so this says that looks locally like a contractible times a constant -stack. Which should be the defining property of locally constant objects in . I guess.
And now conversely, suppose that is an object in such that there is an effective epimorphism and a pullback diagram
We want to conclude that then there is a morphism such that we have a pasting of pullbacks
For this now use the assumption that is an effective epi, hence that
is a colimiting cone under the Cech nerve. This implies that the morphism that classifies factors through and we get
Now we need to show that the right square fills. For that use that colimits in are universal.
Yes, let’s work this out. First of all, I definitely want a definition that makes sense for any (∞,1)-topos at all, not just a locally and/or globally connected one. Part of the point of considering these things is to be use them to define the “fundamental pro-∞-groupoid” or “fundamental Galois topos” that represents the shape of an ill-behaved topos. And not wanting to restrict to locally ∞-connected toposes means that we shouldn’t expect to be able to restrict to covers by contractible objects, either; we’re forced to allow arbitrary covers.
In a 1-topos, one definition of “locally constant object” is an object such that there exists a well-supported object (i.e. is an (effective) epi) such that over , for some map in Set and in the topos , where I am writing for brevity. Of course if is locally connected, then is equivalently , so we can think of this as saying we have an I-indexed family of sets S, and then to each connected component of U we assign one of those sets and take it to be the constant fiber over that connected component.
A different, and perhaps better, way of thinking about it is to note that , by extensivity of , so that is equivalently an -indexed family of objects of . Saying that is well-supported then means that the jointly cover , and the isomorprhism over is equivalently an isomorphism over each —so that actually becomes literally constant over each .
Now suppose we translate that straightforwardly into an -topos, and define a locally constant object to be an such that there exists a well-supported object (i.e. is an effective epi) such that over , for some maps in and in . This is a bit different from your definition, but for the above reasons I think it’s better especially in the non-locally-contractible case.
In the special case when , this says that is the fiber of along a global section of . Clearly a special case of this is when is the -groupoid of -groupoids bounded in size by some cardinal and is the universal fibration over it, so any pullback of the constant stack on the universal fibration (your definition) is easily locally constant in this sense.
Conversely, suppose given a locally constant object with , , and as defined above. Then there exists a cardinal such that is the pullback of the universal fibration over along some map . Since preserves pullbacks, we may as well assume that and is the universal fibration. Now, since over is a pullback of the “global object” , it has descent data over the kernel of , and hence (via the equivalence) so does .
Here I want to do the same thing you did, but I don’t understand how you get from this to a saying that the map has descent data over the kernel and hence factors through . That seems to require that knowing the pullback functor is fully faithful, which seems plausible, but I don’t know how to prove it. Is this a known fact?
Yes, let’s work this out.
Yes, let’s do that.
This is a bit different from your definition,
I think what we wrote coincides.
There is only a slight difference in notation and setup: I wrote your as in order to be able to connect back to a situation in in cases where that is gros and suitably connected. (And I’ll write for the base object now, not to collide with your use of .)
For given that is given by your formula
in identifies with my formula
in . Notably we may restrict to the case that and . But allowing more general over-toposes here is supposed to allow us to conclude in the end that if is the little topos of an object in a -connected one, then finite locally constant objects in it are classified by maps into in .
Now I need to think more about the other points.
which seems plausible, but I don’t know how to prove it. Is this a known fact?
I think what we need is the statement about the classification of associated infinity-bundles. The article by Wendt referenced at that link shows this for -toposes over 1-sites: if is a fiber sequence that is locally trivial (in our sense here) then it is classified by a morphism .
For our case is a -bounded -groupoid and since is full and faithful (in the -connected , compare my remarks above) we have that this is a morphism . But here is precisely the sub--groupoid of on , so we conclude that we have a pullback
as desired.
There should be a general abstract version of Wendt’s argument that works in -toposes over general -sites.
But I need to stop thinking about this for the moment, because I have to bring some more -operad theory into place for our seminar tomorrow, and I have already spent way too much time doing other things here… But let’s get back to this a little later.
There is only a slight difference in notation and setup
I guess I misunderstood your definition of “locally constant object.” I thought you were requiring U to be contractible, and asking for a decomposition as a product rather than a pullback .
(Sorry about mixing up the meaning of ; I wrote my comment before I had a chance to read yours.)
if is the little topos of an object in a -connected one, then finite locally constant objects in it are classified by maps into in .
I think that should follow automatically if we just do everything for a general topos , and then at the end specialize to , rather than needing to carry through the extra notation everywhere. For if finite locally constant objects in any are classified by global sections of , then those in are classified by global sections in of , which are equivalent to maps in by adjunction.
Mike,
sure, I was just trying to deduce and study what should be the general definition from and in the special case that we are dealing with the little topos of an object in a, say, cohesive topos, just so as to be able to identify the equivalence of two different definitions in that case.
For the general case we don’t need all these extra assumptions. But we will then also not have the alternative slick definition.
More later…
But we will then also not have the alternative slick definition.
What do you mean? Why not?
To start with something very basic that I understand, and which is probably obvious to you, I think it’s easy to see that whenever is a presheaf (∞,1)-topos, then the pullback functor is fully faithful. (Since slices of a presheaf topos are again presheaf topoi, this also applies to the situation relevant above where 1 is replaced by .)
For if for some small (∞,1)-category , then is locally ∞-connected, and is the ∞-groupoid reflection of , call it . Thus we have
using the adjunctions and that is a reflection of (∞,1)-categories into ∞-groupoids. But this latter ∞-groupoid is the same as (the core of) the full subcategory of spanned by those presheaves which take all maps in to equivalences. Since is the category of all presheaves , this is clearly the core of a full subcategory of it.
Of course we also notice here the nice characterization of locally constant objects in a presheaf topos: they are the presheaves taking values in the core.
Now can we somehow transport this along a left exact reflection? I have no idea how to do that…
Hm, not sure. Let’s see, with this argument we’d want to use that the pullback that we are computing is the sheafification of the pullback of presheaves and decompose the functor in question as
You argued that up to the last morphism this is full and faithful. So the remaining question would be if sheafification is faithful on locally constant presheaves.
I am inclined to think we should go about it instead like this:
since or when we are interested only in the core of the -category of locally constant -sheaves anyway, we may just as well regard them in terms of the principal -principal bundles that they are associated to.
And then we can use the discussion at principal infinity-bundle to conclude that they are classified by maps into . And since preserves looping this is and this in turn is the image under of the full subcategory of on the given . So that finally we find this way that -principal -bundles for arbitrary are represented by .
Notice that this does reproduce our previous notion of total spaces of these beasts:
if
is a -principal -bundle and an -permutation representation, then the corresponding associated -bundle is the pullback of the universal associated -bundle which is
Here the action -ggroupoid is the colimit and colimits with values in -groupoids are indeed computed by the pullback of the universal fibration, so that we have a pasting diagram of pullbacks
Gee, I really have to run now. I’ll be late for the seminar after all…
since or when we are interested only in the core of the ∞-category of locally constant ∞-sheaves anyway
I think we’re interested in more than that. Specifically, by analogy with 1-topos theory, the full (∞,1)-category of the locally constant objects is supposed to be the “Galois topos” of the topos we started with, which we want to identify with the topos of actions of its “fundamental pro-∞-groupoid.”
Moreover, you seem sort of to be retreating again to the “define things by their classifying maps” approach that I want to get away from. (-: How is this related to the “locally a family of constant objects” definition?
Wait… those two s are different! One of them is the constant presheaf, the other is the constant sheaf.
Concerning s:
Wait…
Er, silly me.
Concerning retreats:
Moreover, you seem sort of to be retreating again to the “define things by their classifying maps” approach
I wouldn’t think I am. I think instead I am making use of the fact that for principal -bundles I have the equivalence between their total-space definition and their cocycles. At least that’s the claim here. There is a definition “principal -action” which talks about total objects and actions by group objects .
I am proposing to make use of the fact that every locally constant -sheaf with typical fiber is (or should be) a -principal -bundle/torsor.
How is this related to the “locally a family of constant objects” definition?
To the extent that a principal -bundle is locally trivial, a -principal -bundle is given locally trivial, with transition functions in , and so on.
The corresponding -associated bundle hece is locally constant on , and so forth.
Specifically, by analogy with 1-topos theory, the full (∞,1)-category of the locally constant objects is supposed to be the “Galois topos
Okay, that’s easy enough to get once we have the core of it: just take the full sub--category of the ambient topos on the objects of the core.
I think what I’m worried about is that (1) in general, a locally constant object might not have a “typical fiber,” and (2) even if it does, I only see why it would be an -bundle, not a -bundle. And identifying with seems like the same sort of problem as showing that is fully faithful.
I only see why it would be an -bundle, not a -bundle.
But this is our design criterion for locally constant -sheaves: we want them to be classified by morphisms into . That is .
My intuitive design criterion for locally constant sheaves would be that they are locally constant, i.e. there is a cover over which they pull back to a (family of) constant objects, as in #17. This is what I’ve been claiming since the beginning: the definition of “locally constant object” should be one which is locally, space, constant. If they are classified by morphisms into then I would want to regard that as a nice characterization theorem.
On the other hand, if this characterization turns out to be false, i.e. the two notions turn out to be different, then I’ll be willing to listen to arguments about which of them is the better ∞-categorical replacement for locally constant objects in a 1-topos. But we aren’t going to figure out whether the characterization is true if we take it as the definition of “locally constant.” Maybe it would clarify things if I phrase the questions in this way:
Given a well-supported U, if X is such that we have an equivalence , then we call say that X is U-split.
Say that an object is globally classified if it is the pullback of the constant sheaf on the universal fibration along a global section .
Question 1: is it true that X is globally classified if and only if it is U-split for some well-supported U?
Question 2: If not, which of the two is the better definition of “locally constant object”?
Okay, good that you are trying to formalize the discussion. I’ll follow up on that by giving some formal statements. Then after that I reply to your questions.
Fix some -topos . Let .
Claim Principal -torsors are represented by in that .
Definition
A principal -torsor is locally trivial if there exists an effective epi such that .
Write .
The -bundle associated to a -torsor is .
Proposition If is locally trivial with trivializing cover then the associated bundle is a locally trivial -bundle in that
Proof : Consider the diagram
where on the far right we have the universel fibration. The diagram on the right is a pullback by the characterization of colimits of -groupoids as pullbacks of the universal fibration and the fact that preserves finite limits (in particulal looping and delooping). The middle square is a pullback by definition of the associated bundle. Now let the leftmost diagram be a pullback to get its restriction to the cover in the top left. By the pasting law this is . By the assumption that on the torsor and hence its cocycle are trivial and again using that preserves finite limits this is
QED.
Remark If has several direct summands it is straightforward to generalize this discussion to one where may be different on each summand.
Propososal Call an object locally constant if it is equivalent to a -bundle associated to an -torsor.
Remark In the case that all -torsors are locally trivial, this means that every locally constant object locally looks like . But the fact that it is associated to a -torsor also implies that there is descent data on this local data, and this descent data is itself “locally constant” in that it takes values in .
Replies to your questions
I don’t see the “if and only if”. I see an implication as above. It is not even clear to me that in full generality we have a right to expext the existence of sufficiently nice s at all.
The associtated-bundle definition makes sense without any assumption on existence of good s. But if good s exist, it reproduces objects that look locally like plus locally constant descent data. So that seems to be good to me.
I don’t see the “if and only if”. I see an implication as above.
That’s why it was a question, not a statement. (-: I don’t quite see where niceness of U comes in, though.
The associtated-bundle definition makes sense without any assumption on existence of good Us.
So does the U-split definition, as a definition. Nothing in the definition requires U to be “good.” And if the reason the associated-bundle definition is good is that it reproduces the other definition when good Us exist, that sounds to me like an argument that the other definition is the one we actually want in general.
The reason I numbered the questions is that I think we need to answer Question 1 before starting on Question 2. And I mean “answer” in the sense of either prove the iff, or produce a counterexample—and ideally characterize the cases in which the iff holds, and how you get counterexamples.
Just a quick thought:
keep in mind the example of -bundles on non-paracompact spaces. If they are not trivialised by a numerable cover, then they can’t be classified by a map to the usual classifying spaces, because the universal bundles thereon are trivialised over a numerable cover. More generally, if one has a universal bundle of some sort, which is -split for a smaller class of covers than generic objects admit (cf (numerable cover) (open covers) ), then they may be locally split, but not globally classified. I don’t know if this example can be worked around, or if it applies to other cases, but I thought I throw it in there.
@David: interesting point! My first inclination is that that has more to do with the difference between the “usual” classifying spaces and the corresponding classifying topoi. At least in the 1-dimensional case when G is discrete, I think the classifying topos classifies all bundles, not just numerable ones. But perhaps you are suggesting that in the ∞-case, even the universal bundle over the classifying topos might be trivialized over a cover with some special property that doesn’t pull back?
No, I was wondering that perhaps the universal bundle is trivialised over a cover with special properties full stop. Say we had a universal family that was Zariski trivial - it wouldn’t classify families that are only etale-trivial because the Zariski trivialisation should pull back along the classifying map. The situation is perhaps a bit artificial, I admit…
It is perhaps purposely looking at the wrong problem for the classifying object. I know that every topos is the classifying space for a localic groupoid, so perhaps if we have a non-sober topological group with rather trivial soberification its classifying topos will have the same inability to classify the naive objects we might at first consider. We can consider its classifying space which will classify bundles in the usual sense. I’m not sure if isomorphism classes of these could be different to universal classes of bundles with structure group its soberification.
Actually the classifying topos classifies either numerable bundles or all bundles, depending on the site one uses to define the category of sheaves that is the classifying topos (the site of all open covers or numerable open covers).
-deleted (duplicate post)
Actually the classifying topos classifies either numerable bundles or all bundles, depending on the site one uses to define the category of sheaves that is the classifying topos (the site of all open covers or numerable open covers).
I don’t understand. When G is discrete, what I call the “classifying topos” of G is the category of G-sets. Where do open covers come in?
Say we had a universal family that was Zariski trivial - it wouldn’t classify families that are only etale-trivial because the Zariski trivialisation should pull back along the classifying map.
What would it mean for a bundle over the classifying topos to be “Zariski trivial”? A general topos doesn’t have an etale or Zariski topology, it just is. I must be misunderstanding what you mean somehow.
I wasn’t thinking of a classifying topos - just a boring old ’classifying scheme’, which is probably a stupid, non-existent example. I may be barking up the wrong tree, you know…
@Mike #38 - I was thinking of a topological group for some reason, and something more complicated - isn’t there are classifying topos by taking the levelwise sheaves on the nerve and taking some sort of homotopy colimit of the corresponding simplicial topos?
More sensibly, just remind me, the classifying map of a G-bundle (G discrete) on is a map (geometric morphism?) If that is the case the Gr. topology one uses on determines what sort of cover the bundle is trivialised by.
I think it is probably the case that the classifying topos gets around all my arguments. I was working on the assumption (perhaps mistakenly) that we could think about all this internal to an (oo,1)-topos.
Yes, you can take levelwise sheaves on the nerve of a topological group and then take a hocolim / codescent object. If you do that as a 1-topos, then you get the category Cont(G) of continuous G-sets (i.e. discrete topological spaces with a continuous G-action), which doesn’t classify G-bundles in the sense that people usually mean for a topological group. For instance, if G is connected, then a continuous G-set necessarily has trivial action, so Cont(G)=Set. I suspect, however, that if you take the hocolim as an (∞,1)-topos, then (at least when G is nice, such as locally contractible) you’ll get the presheaf (∞,1)-topos on —the delooping of the ∞-group —which should classify G-torsors in the sense that one usually wants.
I wouldn’t think that you’d want to change that by replacing sheaves on G by sheaves on its numerable opens; isn’t the point about numerable covers more about the space X over which the bundle lives?
If that is the case the Gr. topology one uses on X determines what sort of cover the bundle is trivialised by.
Yes, of course, the notion of “G-bundle on X” depends on the topology of X, whether X is a space or more generally a topos. And a given spacelike datum (such as a topological space, scheme, etc.) can give rise to more than one topos, and hence more than one notion of bundle. But I think the classifying topos of G should classify all bundles in the sense that once you’ve defined a topos, and hence a notion of bundle, then the classifying topos classifies those.
I was working on the assumption (perhaps mistakenly) that we could think about all this internal to an (oo,1)-topos.
I guess that’s not an unreasonable assumption, since up until now we’ve just been talking about a notion of “locally constant object” in a particular topos. However, if G is an ∞-groupoid, then its presheaf (∞,1)-topos has the nice property that for any other topos E, geometric morphisms are equivalent to global sections of the constant stack in E. So that’s why I expect to also classify all G-bundles (defined in the appropriate way relative to the topology we used to construct the topos E itself).
isn’t the point about numerable covers more about the space X over which the bundle lives?
yes. Argh - I was terribly confused.
I think I’ll bow out of this discussion - I’m a bit out of my depth. :)
I’d like to revive this old discussion, since I was just thinking about this the other day. Like Mike I am really interested in topoi that are not locally -connected, specifically the étale topos of a scheme.
A local system on a topos , as defined on the nLab, is an element of , where is the shape of . If is a cofiltered system corepresenting , then any local system on is represented by a local system on some (i.e. an object of ).
Mike, in post #17 you propose a definition of locally constant on which I’m not quite sold. One thing about your definition that bothers me is that given a local system, it is trivially a locally constant sheaf with , so there’s no need for any cover at all. I think we can all agree that the following is the most naive definition possible: is locally constant if there exists an effective epimorphism such that becomes constant over each . This is the definition in Appendix A to Higher Algebra (although Jacob Lurie says that this is “well-behaved” only for locally -connected topoi).
We can use descent to show that any locally constant sheaf in the naive sense is a local system. When the topos is locally -connected, the converse is the content of Theorem A.1.15 in Higher Algebra. In this case the effective epi that will work comes from a contractible cover of (= the shape). I’m hoping that this argument can be adapted to the non-locally -connected case (but of course the cover will now depend on the local system).
Here’s how it would go, very roughly. Let be a cofiltered system corepresenting the shape of . Morally is the pullback of along the shape (really is a small final subcategory of what you get this way). Start with a local system on . This is given by a local system on for some . Choose a contractible cover . Going around the pullback square defining gives us a canonical point of , i.e., a morphism in . The local system should then be the image of the local system over under the composition
,
where the last functor is pullback along . Set . Then is a cover of . The functor followed by pullback to factors through , so is constant, as desired. Sorry this is still very sketchy.
Thoughts?
Hi Marc,
I haven’t read your comment carefully yet, but I should point out that the discussion in this thread continued for a while on the blog. Is your question answered there?
Hm, somehow I had missed that appendix A.1 “Locally constant sheaves” of Higher Algebra until now. I must have been being blind (likely; or was this added more recently?)
I have added pointers to this now from locally n-connected (n+1,1)-topos and elsewhere.
One comment (admittedly somewhat orthogonal to Marc’s comment):
in the case that we have an ambient "gros" locally -connected -topos (= of locally constant shape) given, all its objects are also locally -connected / of locally constant shape. By chasing through the definitions and theorems one finds that Jacob Lurie’s definition of locally constant objects in is equivalent to that of locally constant -stacks on as given in section 2.3.14 here.
Urs, I’ve only looked at the appendix to Higher Algebra for the first time this week, so it may well be new for all I know. I think Higher Algebra was updated quite recently. I agree that the results there prove the equivalence of the two definitions in the locally -connected case.
Mike, I see that you’ve provided a counter-example () to the implication locally constant local system? Is this still valid? I thought this implication would be the easier one, so I didn’t check it carefully. Just to be clear, so far I’m only trying to check that an object of is locally constant iff it is the pullback along a morphism (for some cardinal ). So I haven’t considered what the categories of such objects should be, which seemed to be an object of controversy on the blog (?). I think it’s true in general that local system locally constant, and as Urs said, the whole equivalence is certainly true if is locally -connected.
OK, so let be locally constant, and let’s try to classsify by a map (let me drop the core and the cardinality bound from the notation). Choose a diagram with colimit (a Cech nerve) such that is constant. So for some -groupoid . We have cartesian squares
Now we apply the exact functor , which is the composition , where is the pullback functor. We get cartesian squares
All that remains to check is that the bottom map in these cartesian squares is natural for varying (and it seems to me that this is true for formal reasons), and then in the colimit we will obtain as a pullback of a map as desired. Does any part of this “proof” sound particularly fishy?
Mike, I see that you’ve provided a counter-example () to the implication locally constant local system? Is this still valid?
I still believe it. (Although I think I now prefer to use the name “locally constant” for what you are calling a “local system”.)
The part of your “proof” that I think is fishy is the part that you think is true for “formal reasons”. It’s true that there is a canonical isomorphism over between the pullbacks of via and via , hence an isomorphism between and . The question is whether this isomorphism induces an isomorphism between the corresponding maps into , which I believe is what fails in the non-locally-connected case.
Ah great, I’ll try to figure out how it goes in your counter-example. The only example I have of a non-locally contractible topos in which this implication does work is the case of discrete sheaves in the étale -topos of a simplicial scheme: any locally constant sheaf of sets (in the naive sense) induces a local system on the étale homotopy type (see Friedlander’s book Etale Homotopy of Simplicial Schemes). But this topos is locally -connected, so I guess that’s why it works for discrete sheaves.
I think I understand. Let me know if I’ve gotten this right. So a locally constant sheaf should really come with the data of an isomorphism between and , and then isomorphisms between and , and so on. And if the topos is locally contractible then such data is essentially unique on a contractible cover, so it’s not needed. More generally, no additional data is needed for -truncated sheaves on a locally -connected topos.
And if the topos is locally contractible then such data is essentially unique on a contractible cover, so it’s not needed.
I’m not sure this is true. Even if we have a good cover, then the transition functions for a local system of discrete abelian groups are not automatic, and we still need the cocycle equation to hold - this isn’t automatic. If we have a local system of (connected, say) chain complexes, then we still need cocycle equations to hold ’all the way up’.
@David, I think Marc is thinking of a locally constant sheaf as being given as a sheaf already, which implies that it has transition functions with cocycle equations etc. The point is that in addition to giving this sheaf and isomorphisms between and the constant sheaf at over (making it “locally constant” in the traditional sense), which implies that the constant sheaves at and over are isomorphic, we need to give a lifting of that isomorphism to a section over of the constant sheaf at . And so on.
[Cross-posted with Mike]
Right, I got it backwards. If you fix equivalences , then you already have an equivalence , and the question is, does it come from an equivalence . If the topos is locally contractible (or -connected and the ’s are -truncated), there is an essentially unique such equivalence.
So is there any characterization of those locally constant sheaves (in the naive sense) that are classified by a map that doesn’t stray too far from the naive definition? One could simply require the existence of those , , and so on, so as to make the descent argument work, but that’s not very practical.
I can’t think of any other way to state it.
(By the way, an equivalence is not quite the same as a section over of the constant sheaf at .)
One property of local systems that locally -connected topoi have and that would be pleasant to have in general is that they themselves form an -topos. Jacob Lurie has a definition of the -topos of local systems on a pro-space in HTT 7.1.6, which as far as I can see differs from the usual definition. By the usual definition I mean that the category of local systems on is the corresponding colimit of categories of local systems, where the transition maps are the pullback functors. The problem with this definition is that the result doesn’t look like an -topos anymore (for example, if is a local system on for each , there need not be a coproduct of all ’s). To fix this, Lurie takes this colimit within the category of -topoi, which gives you the limit of the underlying diagram of categories, where the transition maps are the pushforwards. This looks like some kind of completion of the previous category. The nice thing is that is right adjoint to the functor (at least Lurie claims so in HTT).
If is locally -connected, then the full subcategory of locally constant objects is equivalent to (of course is just a constant pro-space in this case). In general, what the nLab defines is local systems on the shape of in the “usual” sense, so they do not form an -topos. I would say that we should take instead as the definition of the -topos of local systems in . There is a functor sending a local system to its “underlying sheaf”, which is the left adjoint of the unit of the above adjunction, and which is fully faithful in the locally -connected case. I’m not sure what kind of “stuff” forgets in general. From the above discussion I guess it could forget structure?
I’m still quite confused by all this because it seems that the image of is the same as what the nLab definition gives you. If so then either the two definitions of local systems on a pro-space that I think are different are in fact the same, or this functor definitely forgets structure.
Why do you say it seems the image of this functor is the same as the nLab definition?
Hi Mike,
I was wrong, of course. I realized soon after I posted but it was time for bed! The image does seem bigger: the pullback of any map is in the image, and any object in the image is a filtered colimit of such. Maybe the image even contains objects that cannot be made constant over a cover. At least the proof that any local system is trivializable that I sketched in #45 does not work for local systems that do not live on a single space of the pro-space .
Okay. I guess it depends on what we want “local system” to mean, and therefore what we want to use it for.
By the way, this is unrelated to my recent posts but I found this paper addressing in details the case of the 1-topos of a topological space, which I didn’t see mentioned in the blog discussion: http://matwbn.icm.edu.pl/ksiazki/fm/fm156/fm15611.pdf. It defines a category of locally constant sheaves with some extra structure and proves that it is equivalent to Set-representations of the fundamental Cech pro-groupoid.
Thanks. Let’s archive this refrence somewhere where we can later find it. I added it to fundamental groupoid and to some other entries. (I see that the related entries all deserve to be expanded…)
added pointer to a textbook account:
added pointer to:
1 to 63 of 63