2/3 Exodromy for ℓ-adic Sheaves
This is a modal window.
Das Video konnte nicht geladen werden, da entweder ein Server- oder Netzwerkfehler auftrat oder das Format nicht unterstützt wird.
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 29 | |
| Autor | ||
| Mitwirkende | ||
| Lizenz | CC-Namensnennung 3.0 Unported: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/50945 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | ||
| Genre | ||
| Abstract |
|
7
8
9
24
26
00:00
Minkowski-MetrikFormation <Mathematik>FinitismusNachbarschaft <Mathematik>Fundamentalsatz der AlgebraSortierte LogikHomotopieTopologieKonditionszahlKlassische PhysikDifferenteKategorie <Mathematik>Analytische FortsetzungTopologischer RaumObjekt <Kategorie>KnotenmengeTheoremZweiFunktorKoeffizientMereologieCross over <Kritisches Phänomen>Prozess <Physik>Minkowski-MetrikGüte der AnpassungVerschlingungMengenlehreIterationInverser LimesBetrag <Mathematik>GeometrieMorphismusPunktEndomorphismenmonoidAutomorphismusKomplexe GeometrieAlgebraisches ModellStatistikTeilmengeTopostheorieTorsionZariski-TopologieAlgebraisch abgeschlossener KörperErweiterungDrucksondierungVarietät <Mathematik>UnendlichkeitAnalogieschlussMannigfaltigkeitÄquivalenzklasseKompakter RaumDimensionsanalyseIsomorphieklasseNichtunterscheidbarkeitMinimumMultifunktionGeometrische Frustrationt-TestStrömungsrichtungPhysikalische TheorieRechter WinkelFundamentalgruppoidKlasse <Mathematik>Nichtlineares GleichungssystemKugelUrbild <Mathematik>GruppenoperationSimplexverfahrenKreisflächeKette <Mathematik>TorusMultiplikationsoperatorAlgebraische StrukturPerfekte GruppeStetige FunktionDiagrammKomplex <Algebra>Offene MengeKategorizitätAbgeschlossene MengeRelativitätstheorieStatistische HypotheseLoopZusammenhängender GraphOrientierung <Mathematik>EinheitssphäreKegelschnittArithmetisches MittelUmkehrung <Mathematik>ModelltheorieGarbentheorieKörper <Algebra>AggregatzustandWeg <Topologie>Produkt <Mathematik>Turm <Mathematik>KohomologiePhysikalisches SystemModulformRichtungMassestromDualitätstheorieOrdnung <Mathematik>Existenzsatzsinc-FunktionMomentenproblemNichtlinearer OperatorPerspektiveFundamentalgruppeInhalt <Mathematik>Affine VarietätGeradeHyperbelverfahrenStellenringFormale PotenzreiheTabelleEinsSingularität <Mathematik>KonstanteQuotientenkörperSchlussregelGanze FunktionTermOvalImmersion <Topologie>ExistenzaussageKontraktion <Mathematik>PolstelleSpieltheorieInverseGrothendieck-TopologieÜbergangFortsetzung <Mathematik>PrimidealIndexberechnungGanze ZahlTOEDifferenzkernGibbs-VerteilungMaß <Mathematik>Affiner RaumPunktspektrumLeckOrtsoperatorKurveFolge <Mathematik>RechenschieberMathematische LogikHomotopiegruppeQuadratzahlMengenalgebraInvarianteComputeranimation
Transkript: Englisch(automatisch erzeugt)
00:17
Thank you all for returning.
00:21
So I want to continue from where we got to last time. And I want to just remind you of the theme that we introduced. The theme that we introduced was that if we have a category of sheaves that we're interested in, that category of sheaves is capable of determining a homotopy type in many good situations. And that homotopy type is then
00:41
capable of recovering the category of sheaves. And so what we were going to do is we were going to understand that theme, and we were going to apply it in a particular example. And the example that I wanted to think about was the example of constructible sheaves with any kind of reasonable coefficients. So this is the theorem, and I'm in the process
01:00
of explaining this theorem and showing you how it works. And well, let's look at some of the pieces. Well, I told you what this thing is as a category last time, and I introduced that object. I told you what kind of lambdas I was going to allow. I didn't yet explain, and I won't today.
01:22
I'll do that tomorrow on Friday, what CTS means, what this continuity condition amounts to. And I actually exhibited a little bit of confusion. I wanted to correct a thing that I misstated last time. Somebody asked about whether or not
01:40
this was the same thing as the derived category CTF with this tor finiteness condition of Deline. And it is. It is the same thing as this tor finiteness. I'm really requiring that the stocks be perfect complexes. So the torsion finiteness is there. So this is the same thing as that guy.
02:06
Okay, so I'm going to tell you more about how to prove this theorem, but I want to spend some time trying to motivate the definition of this Galois category. So if you remember, this Galois category was defined, it's just a one category,
02:21
and the objects are geometric points, and the morphisms are specializations. And one of the interesting properties that we saw about this, if you recall, was the fact that every endomorphism was an automorphism in that category, that there weren't any endomorphisms that weren't invertible. And that's something that we're going to see more of in today's lecture.
02:41
So, but the motivation for this, why would you ever contemplate this thing? Why would you expect a theorem like this to be true? And the motivation comes from an interesting piece of topology that's been kind of percolating over the past 30 years or so. So today I'm going to tell you about that piece of topology, and I'm going to tell you what it gives you permission to do,
03:01
and why we can then move to the algebra geometric setting. And folks were really great about typing out questions last time, and so I hope you will continue to do that this time. So please, I've got my, I'm ready to go, I'm ready to answer your questions. So if you have any, even if they're left over from last time, I'm happy to answer. Okay.
03:20
So the question that I want to try to answer today is what kind of homotopy type is this category, is this Galois category? I want to think of this thing as a homotopy type, but what gives me permission to do that? And that's the question I'm going to answer today. Well, why don't I go ahead and answer it then? So it's a stratified homotopy type.
03:43
It's a stratified homotopy type. So I'm going to tell you all about stratifications and stratified homotopy types. So here's the basic definition. So if you have a topological space X, then a stratification of X is a continuous map
04:01
from X to P, and P here is going to be a post set with the Alexandrov topology. So with the Alexandrov topology, in case you've not taken general topology
04:22
in a little while, probably I need to remind you. So let me just remind you. So a subset U of P is open if and only if the following condition is satisfied for any X less than or equal to Y,
04:41
if X is in P, then Y is in P. Oh, sorry, U. If X is in U, then Y is in U. In other words, the opens are the upwardly closed subsets
05:02
of your post set. You've all, I assume, seen an example of this kind of thing. So for example, if I just take that post set, which I guess on some screens, that's not as visible as I want it to be. So maybe I'll write this elsewhere.
05:20
Let me just add a page here. So if I look, for example, at this post set here, zero less than one, that post set has the property that that point is open and that point is closed. So open, closed.
05:43
And you can see how to generalize this kind of story. Okay, so that's the definition of a stratification. And so if you have such a stratification, then you can talk about the strata attached to a stratification. And those are just the inverse images of the points in your post set.
06:00
So if P is a point of P, then this is called the Pth stratum. So for us to reflect on this kind of definition, let's have a look at a few examples. So I've drawn out a few examples here in the hopes of giving you some intuition
06:21
about how these things work. So here in the first example, I've just got our friend the interval. The interval, I'm gonna stratify it so that the closed stratum is zero and the open stratum is the interval from the half open interval from zero to one. So it's everything but zero.
06:42
And that's a stratification of the post set that I identified last time. I can take both the, if I have a stratification X to P, I'm allowed to take say X squared and P squared. I can product those things with themselves and that'll again be a stratification over a new post app. So here's an example of exactly that.
07:02
So here's the square, the closed square, and I'm gonna stratify it over these four points in the stratification. So one, one, it's a big open stratum. One, zero, that's just this leg here.
07:21
And one, zero and zero, one, sorry. Zero, one is one leg and one, zero is the other leg and then zero, zero is the origin. Let's see here. So some of the other more interesting ones. So there's S1 here, and I've stratified that in two different ways just to kind of give you an idea. So for example, I've stratified S1 where I just identify a point
07:41
and I've also stratified it in another way where I identify two points. So here, this is S1 stratified in two different ways. I can do this with spheres. You see these different kinds of stratifications on these spheres. Here's an interesting one. Well, I don't know if it's interesting, but it exists. So here, what have I got?
08:01
Well, I've got two points for my stratification, and then I've got two halves of the equator as my next piece is actually the two halves of the equator, that's the next piece. And then the last piece, the big open piece is just the north and south hemispheres.
08:22
Okay, so that's the idea here. That's the way these different kind of stratifications work. And we're gonna revisit this table in a little while once I introduce an invariant and we're gonna stare at this again. So this is all gonna come back to us. Okay, so if you've got one of these,
08:40
if you've got a stratified topological space, if you've got a stratified topological space, then how should we speak of its homotopy type?
09:01
I feel like, is someone's mic on? Okay, so Sean Tilson asks whether this kind of formalism is useful for thinking about manifolds with corners. Yes, absolutely.
09:21
So this is the sort of formalism that one uses to deal with not just manifolds with corners, but also more generally manifolds with various kinds of singularities and stuff. And so what you do is you typically wanna take your manifold with singularities and stratify out those singular loci
09:41
and sort of arrange things exactly for that purpose. And yeah, and that's exactly one of the first sort of objectives of stratified topology was to deal with exactly that kind of circumstance. So yeah, that's a great question. That's exactly right. Okay, so, but I'm just gonna be interested
10:01
in the homotopy type. I'm not gonna do all that fancy geometry yet. I'm just gonna try and extract a homotopy type of these stratified topological spaces. But the question is, is that if I have a stratified topological space, how should I talk about its homotopy type? What should I mean by that? And again, I'm gonna go back to our central principle, which is that I'm gonna let the sheaves do the determining of the homotopy type.
10:22
And then the homotopy type will recover the category of sheaves. And as long as I have that arrangement, then that's gonna be, I'm gonna consider that a victory. Okay, and so what kind of sheaves should I choose in the case of stratifications? And that's the thing that I wanna get to now.
10:40
Well, if I've got a stratified topological space, then the kinds of sheaves we're gonna be talking about are constructible sheaves. So a constructible sheaf on X is a sheaf F such that, well, for any point of the post set, when I take my sheaf and I restrict it to the stratification corresponding
11:02
to that point of the post set, that thing is locally constant. So I no longer have local constancy over the entire space X, instead what I have is I have a way of kind of carving up my X,
11:20
and then on each of those pieces of that carving up, I have local constancy. Okay, so the kind of picture that you should have in mind here is that, well, if I take, say zero one stratified in this way, then for example, I could have a sheaf that is actually just constant here
11:41
and just doing nothing on the rest of the interval. It seems that the stratified homotopy is equipped with an orientation. Does that manifest some topology of the sheaf? There's an orientation in the sense that you know which is closed and which is open, that's true.
12:02
I mean, the post set flows in a direction, that's certainly true. But that's really, it does manifest some topology of the sheaf in the sense that it's the relationship between open and closed, right? So for example, when I take this post set, when I take something stratified, for example,
12:21
over this post set here with the Alexandrov topology, well, I have the first stratum which is open and I have the zero stratum which is closed and that's it, right? I just chose a closed subset and it's open compliment and that's all I've done. I haven't done anything more intelligent than that. So there's an orientation in the sense that
12:42
the closed open duality is the orientation that I think you're referring to. Okay, so we're gonna try and understand these constructible sheaves. That's gonna be our objective. We're gonna try and use these sheaves and we're gonna try and use these to determine for us a homotopy type of stratified topological spaces.
13:03
And we're gonna see that stratified homotopy type is sufficient to reconstruct this category of sheaves, these nice constructible sheaves. Okay, so let's start. And so we're gonna start the same way we did last time. We're gonna start working our way up the Posnikov Tower, but we're gonna get bored
13:23
in the middle and just pass to infinity so that we finish the job early. So we'll start off with the first stage and this goes back to a definition. I think this is unpublished of McPherson. So if I have a stratified topological space, then I'm gonna define what he called
13:40
the exit path category. So the exit path category, I don't know what happened to my notes there, but anyway, I'll write down the objects and the morphisms for you.
14:03
So the objects are just gonna be points of my X. They're just gonna be points of X, but then the morphisms are gonna be more interesting. The morphisms are gonna be exit paths taken up to homotopy. So what's an exit path? And this is a point that I wanna try
14:21
and be a little careful about because it's not as obvious a notion as it might seem. So an exit path, how does that look? Well, it's gonna be a commutative diagram that looks like this. So here I'm using the stratification that I described before. This is just the stratification that goes like that where I have zero as the zero stratum
14:43
and everything else is the first stratum. So I have that stratification and I'm gonna write down a map where on the bottom, I just have really a map of posets from zero one into P and on the top, I have a path inside X, but it has to preserve this structure
15:01
that's given to you by these posets. So what does that mean? Well, that means that if I'm inside X here and I have a stratum, then if I want an exit path, I have to get out and stay out. As soon as I've moved from one stratum into another stratum, I have to do that immediately.
15:20
First of all, I have to do that instantly and then once I'm there, I can't go back in. I'm not allowed to go back into any other strata. I have to stay in the strata that I'm in. And so that's the definition of an exit path. But I'm gonna take these things up to homotopy and that's what's gonna allow me to compose these things. So let's look at a couple of examples of this,
15:43
of exit paths and not exit paths. Can we view exit paths as morphisms of stratified spaces from zero one to X? Absolutely, yes. Great question, absolutely. So this is a stratified space and this is a stratified space and I've written down a map going across there
16:03
from the first stratified space to the second. Absolutely right, yeah, exactly. Okay, so I've drawn some examples of exit paths. Oh, what structure do the homotopies preserve? I'll go into great detail about that in a second.
16:22
I'll be happy to tell you that. Is the exit path category a one categorical notion or is there also an infinity categorical notion? Again, fantastic question. I'm just about to answer it. I'll show you exactly how all that works. Yeah, these are the right questions. This is good.
16:40
It turns out I've already got it all prepared, but yeah, those are the right questions. So I wanted to draw some pictures of exit paths and non-exit paths just to get these things in front of you. So in the exit path, you see the idea here is that you really are getting out right away and going from a stratum to another stratum. You go immediately and then you're free
17:01
to do whatever you want to do in that stratum. But the thing that you can't do is you can't go down a stratum. You can't go from the open stratum to a closed stratum or anything like that. And the other thing that you can't do, I mean, notice the orientation on this thing here. I am in some sense exiting, but for the purposes of our work here, I don't want to consider this an exit path
17:22
because I spend some time in another stratum before I go into the final stratum that I pass between strata somewhere in the middle of my inner one. I don't want to do that. Now, so this thing is however, homotopic to an exit path, right? Which goes like that, that is an exit path.
17:41
But this thing right here before I do all that is not an exit path, okay? And of course I'm allowed to take loops. I can take loops that stay inside a stratum, but I can't take some loop that sort of dips into a previous stratum and then comes back. That's not the sort of thing that's permitted. So if I'm in a stratum and I feel like looping,
18:00
I'm happy to do that, but I just need to stay where I am. I can't go out to some other stratum. So when you're exiting, the door's locked behind you and the doors are also locked in front of you. You can only go through one door at a time, as it were, when you're taking an exit path. So I thought I'd draw some pictures of the exit path categories attached to these examples
18:23
because it seemed like fun. So in some of these, I think you'll see that these things are kind of interesting. Some of these have properties that are a little surprising. So let's look at them for a second. So here I've got the interval, and well, I hope you might've predicted that indeed
18:40
I'm just getting this thing as a poset regarded as a category now. Nothing really exciting very happened there. That's quite dull. Okay, but I could take zero one squared and well, the exit path category is the product of the two exit path categories. So that worked out very nicely. Here's an interesting one. Here's zero one squared stratified
19:02
over just the poset zero one two. So I just have three strata, the closed stratum, the open stratum, and then in between them is the locally closed stratum. And the exit path category just recovers that same poset. So the first three examples that I've drawn here, up to this line right here,
19:21
the first three examples that I've drawn all have the property that the exit path category happens to coincide with the poset over which you're stratified. That needn't be the case, however, as we've seen this example right here, if I take the exit path category of S1 stratified in this way, well then what can I do? I can start at that point and I can exit one way,
19:42
or I can exit the other way. But as soon as I do, I only have a contractible space in which to stratify. If I look at these two strata, I've got a contractible stratum, which is the point. And I've got another contractible stratum, which is everything that isn't that point.
20:00
So I have these two contractible strata, but the exit paths, I have two distinct ones. And one thing that you can notice if you're looking at this and you're thinking from the point of view of nerves of categories and things, you can notice that the nerve of this category exactly recovers S1. That isn't an accident,
20:21
that's gonna be a general phenomenon that we're gonna witness a little bit later. But it's something to think about right now. Another situation in which you can get the nerve of the category exactly recovering S1 is this example here. So in this example here, I have two different points. And well, what can I do?
20:40
I can flow into the top stratum or the bottom strata, or the top half of the stratum or the bottom half of the stratum in two different ways. And so this becomes that poset there. Shawn Tilson asks, when I get to a suitable stratified space on this page, can I give another example of a constructible sheaf?
21:03
Sure, yeah, absolutely. Well, actually, I can give you a whole pile of examples. So the idea behind the definition of a constructible sheaf is the following. If you look at locally constant sheaves, one of the things that's a little unsatisfying about them is that they're not closed under push forward. So if I take the push forward of a locally constant sheaf,
21:21
it won't be locally constant anymore. An example of this, for example, is if you have an open immersion, if you have an open subset of a topological space, and I try and push forward a locally constant sheaf, it won't be locally constant anymore. It'll be locally constant on the locus of that open subset but it won't be locally constant anywhere else.
21:42
And so the idea behind constructible sheaves is that you're just gonna put together all of the different ways that you could try and take push forwards of things from constant or locally constant sheaves. And that's the idea. So for any time you see a set with an open subset, you could think about just push forward
22:00
the constant sheaf along an open immersion. And that gives you tons and tons of examples of constructible sheaves. And there's a sense in which you can kind of build all of them from that kind of operation. And so that's a really good sort of way to generate these examples. There's tons of constructible sheaves out there.
22:22
Okay, let me give you a different kind of example here on this side here. Let's look at S2. So if I look at S2 and I'm gonna stratify it where the only closed stratum is gonna be the point and then everything else is gonna be the open stratum. And I look at the exit path category and well, what can happen? I can exit from this point out to somewhere on the sphere
22:42
that isn't that point. And they're all homotopic, aren't they? They're all homotopic in a way that sort of respects that stratification. So this is it. That's the exit path category, zero is less than one. It's that post-app. You might be a little unsatisfied with that answer because this thing doesn't look so good
23:01
from the point of view that we were expressing down here. Over here, we were saying, look, that category is nice because the nerve of that category recovers my space. And you might be a little angry that that hasn't happened here. We're gonna address that concern in a moment. Now, if I add a little more, if I put a little more effort into stratifying my S2
23:23
and add just one more point to my stratification, then I can get a category that will work great. So this was my best attempt to draw a picture of, this is a category where I have three objects up to isomorphism. I have three objects, zero, one and zero prime. I have unique maps from zero and zero prime into one,
23:44
but then one has a big pile of automorphisms indexed by the integers. So they're supposed to represent all the automorphisms that you have of one. And now, so what happens if I take the nerve of that category? If I take the nerve of that category,
24:00
well, then I'm suspending BZ. In other words, I'm suspending the circle. So I'm getting S2 as you'd like. So that one seems good whereas the previous one doesn't seem so good. And that's an interesting question. In the next example here, I've got S2 and I'm stratifying it how? I'm stratifying it by taking a point on the equator,
24:21
the rest of the equator, and then the rest of the sphere. And then if you sort of check it out, then you get this exit path category here, where here, I'll just emphasize that this, if I just, this highlighted piece here, is it equal, the map from one to two equalizes
24:41
the two maps from zero to one. The two composites are supposed to be equal. But the two maps from zero to one are distinct. Here's yet another stratification of S2. So now I'm taking two points on the equator, the rest of the equator and the rest of the sphere. And then you get this pleasant little shape.
25:01
And that's a nice post-set. That post-set, the nerve of that post-set is, again, recovers the sphere. So it's quite satisfying. And then there's the torus. And the torus is just two copies of the circle. So if you take the two copies of this circle here, stratified in this way, then I'll get the torus. David Corwin says,
25:21
is the exit path category always represented by a quiver? I beg your pardon. I don't remember what the correct definition of a quiver is. David, if you tell me what a quiver is, then I'll be able to answer your question.
25:41
The example with the S2 and the equalizer, it's a quiver with relations. It's not a quiver, because the quiver doesn't have relations. Okay, all right, thank you. Yeah, I'm not up on my quivering knowledge. The thing that is true about these is that they're always categories
26:02
with the property that every endomorphism is an isomorphism. But that's the only restriction that you have. So I don't know if people normally count that as a quiver, but I guess Mark is telling me that the answer is no. Okay, so this is just some examples to kind of get our intuition flowing here.
26:22
And so, but one of these examples is a little strange. We wanna think about this again, because there's something kind of funny there, and we'll come back to that funniness. Okay, so, but here's the theorem. Why did I introduce this silly thing in the first place? The reason I introduced this silly thing is that if X is a reasonably stratified topological space,
26:41
so a reasonable stratification, the correct condition is a conical stratification, but unless someone insists, I'm not gonna go and get into details about what reasonable means in this case. You can think of this as a kind of vibrancy condition, it's just making sure that your stratification is not too wild.
27:03
If you have a reasonable stratified topological space, then you have an equivalence of categories between the constructible sheaves of sets, here they're sets on X, and functors from the exit path category into the category of sets. And I prefer to call this the exodramy equivalence.
27:32
Why exodramy? Well, what's happening here is that, when we're talking about monogamy, remember we were talking about taking a loop and we're talking about traveling around that loop once,
27:42
so that was monogamy. Here, we're taking exodramy, which means that we're watching what happens to our section as we exit, as we follow an exit path, hence XO. Okay, so this is a good story, but again, we had this little slightly unsatisfying problem here,
28:01
which is that, well, it was a little strange to think about S2 stratified by this stratification here. This stratification seemed a little confusing, so I just drew an example of an exit path, just for fun. I sort of spun around the thing a little bit. Oh, Mark Levine asks, what's the composition in pi one?
28:20
So I can compose exit paths, and if my stratification is good, then when I compose two exit paths, I'll get another exit path, or up to homotopy, but it's only defined up to homotopy, so that's why I'm working with exit paths only up to homotopy. So one thing that's a little unsatisfying here
28:42
is that, well, I've got this exit path, but it seems like it's a little strange to say that there's only one exit path out into the sphere. That seems odd, because after all, if I'm thinking about a point, if I'm thinking about my presence right here on the Earth, and I think about exiting this room into the world at large, I sort of have the idea that I could go that way,
29:02
or I could go that way, or I could go that way, or I could go that way, and those all seem to be different in some sense. They're homotopic, but I want to try and keep track, maybe, of the homotopies between them. And so a better solution, this was suggested by David Truman, was that I should define instead a two category,
29:23
so that when I look at the, and this is the sort of exit path two category, so that the hom, now groupoid, from zero to one should be an S1, that my path should go that way, or that way, or that way. Joe Michel asks, does the conical condition ensure
29:42
that the composition is well-defined? It does indeed, that's exactly the point. If I don't have the conicality, then I don't really have a well-defined composition. That's exactly right. Yeah, that's right. So, okay, so, but, and the same thing is going to be here in this two category as well. I want to be able to try and think
30:01
not only about the fact that I can go out and all those, all the different ways I could go out that are actually secretly homotopic to one another, but I also want to try and keep track of that homotopic. So for example, the act of going around this way and then sort of spinning around, that has some kind of content,
30:21
and I want to try and keep track of that content. So I really want this to be, oops, I really want this to be the set of maps, now set groupoid of maps from zero to one. And what Truman showed in the early 2000s, I think, is that if X is again this kind of reasonable
30:43
stratified topological space, then we have a sort of higher categorical version of the exodromic equivalence. I have the exodromic equivalence now with constructible sheaves of groupoids, and I can compare that to functors, just plain old functors from pi to XP to groupoids.
31:02
And again, how does the functor work? Let's think about it. Well, if I have a constructible sheaf F on my X valued in groupoids, then what can I do with it? Well, I can try and extract a functor defined in the following way.
31:21
So here's what the functor is going to do. Well, the objects of this two category, the objects are just points, little X of X, and what am I going to tell you? I'm going to tell you to take your sheaf and take its stock at that point. That's what this functor does on objects.
31:43
And then on morphisms, well, you have to do a little work to say that you've actually got a well-defined functor, and that's why this is a theorem and not an observation. But you do indeed have a well-defined functor when you're sort of passing out from one stratum to another. And so this is quite inspiring,
32:01
but again, you start to have the same feeling again when you think about more general stratifications. We pass to this two categorical thing and that looked better, but you start to have the same kind of sinking feeling that something's going to go wrong if I take an N sphere. So if I take an N sphere stratified again with just two strata, the closed stratum being say the North pole
32:23
and the rest of the sphere as the open stratum, then, well, I have this problem that I'm going to start to get these contractible mapping spaces, right? As soon as N becomes at least three, I start to have these contractible mapping spaces. And clearly this kind of game is pretty unsatisfying.
32:41
So we need to go ahead and cut to the chase and start defining ourselves an infinity category. So we're going to define exit path infinity category, and that exit path infinity category is going to be defined so that the mapping space in this thing from zero to one is going to be the N minus one sphere
33:02
in just the same way that when I was trying to exit this room, I had a circle of ways to do it. Now, when I'm going to exit the North pole to the rest of the sphere, I'm going to have an S N minus one ways of doing that. So let me give you the definition of this thing precisely. So I'm going to give this definition to you
33:21
in the following way. I'm going to try and tell you what the N simplices of the exit path category are. So these are the chains of maps, zero, one, two, three, four, five, six, seven up to N sitting inside your category. And I'm going to tell you what the set or space of those things should be.
33:40
So how am I going to do that? Well, I'm going to start off by taking the N simplex and I'm going to stratify it. And the way I'm going to stratify it is kind of the way that I drew in one of the pictures. I'm going to stratify it in such a way that, well, if I look at the first K strata, then that is the case, the delta zero through K sitting inside delta N.
34:03
I'm going to stratify it over the post set so I'll just emphasize this. It's over this post set here. I'm just going to stratify it in that way. And it's going to be stratified in that way for all N.
34:21
So it's going to look sort of like that. That's my two dimensional picture, but the same kind of process works for all dimensions. And now what am I going to do if I take a reasonable stratified topological space, then I'm going to take the exit path category or exit path infinity category
34:42
to be the infinity category whose N simplices, well, they're morphisms in just the same way that the questioner suggested, they're morphisms of stratified spaces from this stratified space labeled lambda here to your favorite stratified space X over P. And that's what the N simplices look like.
35:02
So what's happening here? Well, here I'm allowing myself to sort of, I'll take an exit path so that goes out and if I have another exit path, then I'll allow myself to consider a homotopy that connects the two things. And that's a two simplex in my exit path infinity category.
35:21
So I'm hoping that this answers, I think it was Remy's question. I hope this answers his question. And so then I also have three simplices that will allow me to sort of talk about a homotopy of homotopies and homotopies of homotopies of homotopies. And I don't get to stop at any finite stage, so I have to just keep doing that.
35:41
And so this gives me access to now this beautiful exit path category, exit path infinity category. And this exit path infinity category, I really want us to think about this exit path infinity category as sort of giving us a homotopy type of a stratified topological space. So if that's gonna be the case, then our principle is that homotopy
36:01
and sheaves determine each other. So then we have this theorem of blurry, which is that X over P is again gonna be reasonable in the same way as before. It's gonna be a reasonable stratified topological space. And then we have an exogamy equivalence between constructible sheaves valued in any infinity category C
36:22
and functors from the exit path category into that C. And again, on objects, what happens, it's the same thing. You take your constructible sheave and you take its stocks at all the different points of your space. Okay, so the question that we have to ask now
36:41
is what kind of justification do we have for the idea that this is a good homotopy type, that this is pi infinity of X over P, this object is a good homotopy type. And furthermore, what kinds of structure does this thing have? How can we think about this category
37:01
in a way that sort of seems familiar to us? So here's an observation. And this is an important observation for our purposes especially. This infinity category, pi infinity X over P comes equipped with a functor, right? If I take pi infinity X over P, well, that's the objects are points
37:23
and the morphisms are exit paths and the two morphisms are homotopies of exit paths, et cetera, et cetera, et cetera. So I've got this functor here. And well, what can I do? How does this functor work? I can take a point X and I can just tell you which stratum it's in, right?
37:42
I can just tell you which stratum it's in, like that. If F is the name of my stratification. So I have a perfectly good functor. And well, if I think about what this functor is, I can look at the inverse image
38:02
of any point in my poset. And what am I gonna get? Well, when I look up over a point in the poset, I'm gonna have just the stratum sitting over me. And I'm gonna have the whole homotopy type of that stratum, right? I'm allowed to put any simplex, there are no conditions on how this simplex back here behaves
38:20
if my N here goes all the way to a single point is a constant at a single point of the poset. There are no conditions on this whatsoever. So that means that I'm allowed to look at any N simplex I like of my X, which means that when I look at the inverse image, of a point under this map,
38:41
then I'm exactly getting here, the infinity group void attached to my space. So remember what the situation is, is I'm looking at the, so, and this is regarded as the singular simplicial set. This is the singular simplicial set of that stratum, right?
39:02
So, oh, Sean Tilson says, can I go back two slides? You're confused about the stratification on Delta two. Sure, of course. So here's the stratification on Delta two. There it is. So it goes zero, one, two, it's a stratification. What's the edge between zero and two?
39:22
The edge between zero and two is part of the second stratum, right? Everything except for the edge between zero and one is in the second stratum. It's in stratum two. So stratum zero, which just consists of zero, zero. There's stratum one, which consists of everything except for the vertex
39:45
and there's stratum two, which consists of everything except for that edge. That's the stratification that we're taking here. Is reasonable the same condition as in the classical case?
40:02
Yes, yes, yeah. I'm just talking about what I would call conical stratifications. In the classical case, you can actually get away with something slightly more general, but it's not important. You really want to have this much. You really want the reasonable condition, yeah. So that's just being conically stratified, which basically I can just tell you.
40:21
Basically what it means is that in the neighborhood of every point, that stratified space looks like a cone with its stratification. And so if you want me to say more precisely how that works, I can, but let's leave it for now.
40:42
Okay, so what does that mean? So that means that this functor here has an interesting property. This functor F here has an interesting property. I have this category. It maps down to a post stat and the inverse image of a point is a groupoid, right? And all the morphisms are invertible.
41:01
Can you realize this sort of as a join of stratified spaces? So I get the stratification of delta N by taking joins of delta zeros. Yes, yes, yeah, that's exactly right, yeah. You can just keep joining on a new delta zero each time.
41:20
That works out fine, yeah. Absolutely. So, but I just wanted to say this one word here, which is conservative. This functor here is conservative. What does that mean? That means that if I have a morphism in pi infinity of X over P
41:41
and it becomes an isomorphism in P, well, what does that mean? That means it has to be the identity because P is just a post stat, then it already was an equivalence, an isomorphism upstairs. So in other words, I've got this functor. This is a functor from an infinity category to a post stat,
42:02
but it's also conservative, right? The inverse image of any point is actually just an infinity groupoid and it's the infinity groupoid attached to the stratum XP. And so this is a very special class of categories that have conservative functors to posats. Sometimes in the literature,
42:20
you'll, at least in ordinary category literature, you'll see these referred to as EI categories. I've never liked this terminology, but I guess the statement's supposed to be that every endomorphism is an isomorphism, so it becomes EI categories. Okay.
42:41
So here's the theorem. The theorem here is that the assignment that carries stratified topological spaces to these kinds of infinity categories, infinity categories with a conservative functor down to the same post stat, that's the assignment that carries your stratified topological space to this exit path infinity category.
43:04
This is actually an equivalence of homotopic theories. So this is a theorem of my PhD student, Peter Hain. But there are versions of it that sort of have been circulating prior to this. So one is this Ayala Francis Rosenblum paper.
43:20
And another one is, and there's some joint work of Nonblal and Wolf that also sort of points in this direction. But let me take a minute to sort of emphasize what this is telling you. oops. So there we go.
43:41
So, if you recall, there's this sort of homotopy hypothesis of Grothendieck. And the homotopy hypothesis, what does it say? It says that, well, if you wanna talk about topological spaces up to homotopy,
44:02
then topological spaces up to homotopy can be dealt with algebraically in the form of infinity group voids. Nowadays, we tend to think of infinity group voids as just simplicial sets satisfying the Kahn condition. And that's just now these days,
44:21
maybe even our definition of infinity group void, at least for some practitioners. And so this homotopy hypothesis is really just this equivalence of model categories between topological spaces and simplicial sets, which goes back to Kahn. So this homotopy hypothesis of Grothendieck, what does it really permit you to do?
44:41
It really permits you to say, oh, let's see, can I build up any linearly stratified space using iterated parametric joins, where I could specify the homotopy type of the link as well? Yes, that's a good question. Yes, so the question was, so suppose that I have,
45:04
so let me actually take a moment to answer that question, because it's a really neat question and I wanna do a fair job of answering it. Suppose that I'm trying to build up a stratified topological space X, and let me just do this with two strata just for a second, just to give you a clear idea of how this thing operates.
45:21
So suppose that I have my two strata X0 and X1, and I want to have X0 be the closed stratum and I wanna have X1 be the open stratum. And so the question is, what other information do I have to give you in order to construct this stratified topological space here? And the answer is, well, I have to tell you
45:41
about the deleted tubular neighborhood of X0 inside the thing that you're gonna construct. I have to provide you with the information of the link as it's called. And so how does that work? Well, I have to give you some sort of information about something that I'm gonna call X01, and it needs to come with maps from X0 to X0 and X1.
46:02
And so this thing is gonna be, it's gonna be the deleted tubular neighborhood of X0 in the thing that I'm gonna construct in X, in the union of these two things. And then, well, what am I gonna do? I'm gonna put these two pieces together
46:21
to give me this X, right? So what am I telling you here? I'm telling you that actually stratified homotopy types, another way to reconstruct them, I'm still just working with the stratification over P equals zero one right now, but stratifications over just P equals zero one
46:41
are given to you precisely by diagrams like this. And now, so the question is, well, what happens if I take a more exotic post-set? And the answer is, well, I have to choose a more exotic diagram, and the exotic diagram I choose is by taking the subdivision of P op. And so if you take a diagram satisfying certain properties,
47:03
basically a seagull condition indexed on the subdivision of P op, then I can actually reconstruct the entire stratified space. And that's actually a key component in how Peter proves this theorem here. One of the things that he does
47:21
is he doesn't just work with these categories with a conservative functor down to a post-set. He also replaces these, he also considers at the same time what we started calling decolages over P. And these are functors from the opposite of the subdivision of P into spaces satisfying the seagull condition.
47:41
And these things turn out to be the same. So that's how you can build up a stratified space by just taking the strata and all of the sort of iterated links. Do I have time to remind us what the seagull condition says? Sure, I got time for anything. Let's tell you. Yeah, so what does the seagull condition say?
48:01
Well, so if I'm talking about a functor, maybe I shouldn't call it X, maybe I call too many things X. If I've got a functor from the subdivision op to spaces, what's the seagull condition gonna look like? Well, let me tell you. So what are these things? The objects here are, they're linearly ordered subsets of your post-set P.
48:24
They're linearly ordered subsets of your post-set P. And so to any sort of linearly ordered post subset of P, I can associate the space, which is this guy here. And well, I've got a functor from SD op into spaces.
48:44
So what does that entitle me to do? Well, it entitles me to write down a map from D applied to P zero through P in to D applied to any of the individual pieces. So this is P zero less than P one. So that's the link between the strata P zero and P one.
49:03
And then I'm gonna talk about the link between the strata P one and P two. And I'll just keep doing that. Clark, I don't think we can see what you're writing at the bottom of the page. Maybe you can scroll. Oh, I see. Yeah, I see it. It becomes too far down.
49:20
I'll try that again. Thank you. Thanks. Here, I'll just erase this and write above it instead. That's right. I always forget that there's that weird band that Zoom puts on everything. Thanks, Paul. So what can I do here? I can write a map down to D of P zero P one
49:44
cross over D of P one with D of P one, P two, et cetera, up to D of P N minus one P N.
50:05
And so I'm perfectly allowed to consider this map. And the Siegel condition says that this is an equivalence and that's the Siegel condition. Does the target of Haines equivalence behave well as we change the post at P? Yes, it absolutely does.
50:21
This equivalence is completely functorial in P. So I've written this down with a fixed P, but there's a statement that works for all P simultaneously. And yeah, absolutely yes. If you like, this is a fiber of a parameterized equivalence
50:43
of homotopy theories, if you wanted to say it that way. Yeah, so this is what the decolauge perspective allows. It says that if you want to understand these things by, kind of, in decolauge, the idea of that word there was that I was going to take the strata and the links and just sort of disconnect them all
51:01
and then use that to be able to reconstruct the thing that I actually want, which is this infinity group order, this homotopy type, this stratified homotopy type. And this is telling you exactly what the rules are for re-gluing your thing from the individual pieces, the strata.
51:21
And so what have I got here? Well, we had this homotopy hypothesis of Grothendieck, which says that spaces and infinity group voids should be the same basic data. Spaces considered up to homotopy and group voids should be the same basic data. And what Peter is telling you, Peter Hain is telling you, is that stratified topological spaces
51:41
should be a certain kind of infinity category. And in fact, this thing really is an equivalence of homotopy theories. By the way, for people who like this kind of thing, you might be amused to know that there isn't or doesn't appear to be an actual model structure on the left-hand side. It appears that you have to work with a semi-model structure in order
52:00
to get this off the ground. But nevertheless, this does happen and it is a correct theorem. Okay, so what's our moral here? The moral is that just as homotopy types are infinity group voids, that's the Grothendieck's homotopy hypothesis, stratified homotopy types are certain kinds of infinity categories with a conservative functor
52:24
to a poset. So what does that give us permission to do? Well, Grothendieck's homotopy hypothesis gave us permission to say, well, if I wanna understand spaces, for example, if I wanna understand things like homotopy types of schemes,
52:41
I'm allowed to construct those things in an essentially algebraic way by building simplicial sets with certain properties. And so that's exactly how you construct the Atal homotopy type. That thing is constructed as a simplicial set with this and that property. And so what we're doing now is we're asking ourselves, well, what happens if I introduce a stratification?
53:02
So now the idea is that if I take a scheme and I wanna associate to it a stratified homotopy type, something that's capable of detecting its constructable sheaves, then I should be trying to construct that stratified homotopy type as an infinity category with the conservative functor to a poset. Now, interestingly, if you work with just a single poset,
53:25
you end up with something that's got quite a lot of homotopy. But as David Corwin pointed out on Monday, it turns out that if you take all of the posets simultaneously, and you sort of take the inverse limit over all those things,
53:40
then you're gonna get yourself a profinite stratified homotopy type. And that profinite stratified homotopy type is gonna be exactly the Galois category that I defined last time. So now what's our plan? Our plan is to, and I'll get to the fun fact
54:00
in a minute, the plan now is to pass to schemes. That's our next objective. So we're gonna pass to schemes. And the way in which we're gonna do that is we're gonna use this fun fact here, which is that if you've got a scheme, and for technicians out there, I mean coherent scheme, if you've got a scheme, then when you think about it, Zariski topological space,
54:21
that is a limit in the category of topological spaces, this is really happening in the category of topological spaces, of posets with their Alexandrov topology. In other words, the Zariski topological space is really just telling you that you have a profinite poset on your hands.
54:40
And so now what are we gonna do in the next lecture? What I'm gonna do is I'm gonna start defining the notion of a stratified, I'm gonna stratify the Atal topology over the Zariski topology. And I'm gonna look at the corresponding exit path category, and that will turn out to be exactly Gal. And that will be just what we need to prove all the theorems,
55:02
including the main theorem of the mini course. Okay, I think this is a good place for me to stop. So please ask your questions. I know you have them, and I'm happy to answer. Okay, well, first we all wanna thank you, Clark, for a wonderful talk, so.
55:21
Thank you. Mark Levine asks, oh, thank you. Mark Levine asks, do I have perverse sheaves in that category, in the category of constructible sheaves? Let me switch back to that page. And, but the answer is yes.
55:41
Let's see, my funny diagrams. It's gotta be here somewhere. I didn't state a theorem in this talk, didn't I? Okay, there it is, yes. Yeah, so there are perverse sheaves here. The, it's actually, this is one of the things that isn't written down yet, actually, interestingly, is how you sort of cut out the perverse sheaves.
56:02
It's a fun exercise. The first step, as you might imagine, is to correctly identify the six functors from the sort of this functorial point of view, the point of view of this category on this side. And actually writing those down is actually with all their sort of available properties
56:21
as a fun exercise, but it's, in a sense, it's an exercise in sort of weird, pure category theory. Oh, Mark asked, in the general setting of a stratified topological space. Yes, absolutely, yeah. You absolutely have a category of perverse sheaves there too. In fact, I mean, the answer is the same from this sort of exodramy standpoint.
56:41
I'm still just talking about functors of different kinds. Here, I have to do it with some continuity conditions, but in the topological setting, I can work with just honest categories. And again, it's, the six functors are defined in sort of categorical terms in that way. So Lemmy asks, what does the modifier cons
57:04
in Haynes' theorem mean? It just means conservative functors down to the poset. So let me go back to Haynes' theorem and emphasize that point. Thanks. Let me see. It's somewhere around here.
57:20
Here it is. Yeah, so here I wrote cons, and let me ask what's cons mean? It means conservative functor down to the poset. So I'm looking at an infinity category over a poset, and I insist that that functor, that structure functor be a conservative functor so that the inverse images of points are all infinity group points. Is the category of all good stratifications
57:43
always filtered for any manifold? Yes, so you're saying the category under refinement as I take further and further refinements. That's right. So if I have any two stratifications, they have a common refinement. That's right. I'm absolutely allowed to do that.
58:02
I said the excited equivalence is a fiber of a parametrized equivalence. Yeah, I did say that. So I think the way to think about this is that, well, I have a category strat top, which is just all stratified topological spaces
58:22
and all posets. And I have a forgetful functor down to the associated poset for the stratification. And on the other side here, I have, well, let's see here, I'll call these, maybe I'll call these EI infinity categories since I used that term before. I could talk about these EI infinity categories.
58:42
These are infinity categories that have the property that if I, that have the property that every endomorphism is an equivalence. And that has a forgetful functor down to the category of posets as well. These two are just equal. And the claim is that these things are equivalent
59:01
in a way that preserves the poset structure like this. So that's the, and then if I take fibers over P, then I get the equivalence that I wrote down in Haynes' theorem here. Do exit paths correspond to field extensions when X is spec K? So yes, that's right. So for X being spec K,
59:21
well, it depends on what you mean precisely, but an exit path, if I'm just talking about spec K, then I only have one stratum to work with. So all of my exit paths are invertible. And what is that invertible thing? Well, if I've got two separable closures of my field, then I can talk about an isomorphism between them.
59:41
So the only exit paths are isomorphisms of those field extensions. That's all I have. More generally, if I have two different points of my scheme, then an exit path is gonna be thought of as a specialization. And I'm gonna have that specialization relationship. So I'll talk about that in more detail next time for sure.
01:00:01
Lemmy asks, how is the reasonable stratification hypothesis captured in Haynes' theorem? That's a very fine question. Oh wait, wait, sorry, there's a question before that. What is the problem with putting a model structure on the category of stratified spaces over a particular P? The problem is the following. This is hard. So the problem is the following.
01:00:22
The problem is that it doesn't appear that there is a... how do I say this so that it comes out correctly? There doesn't appear to be a... you know, not every, you know, in the category of topological spaces every object is vibrant and we
01:00:41
use that a lot when we prove the equivalence between stratified topological space or ordinary topological spaces and simplicial SATs. In this context, not every stratified topological space is vibrant and so you have to... roughly speaking what happens is that if you
01:01:01
want to do a vibrant replacement you first need to do a kind of co-fibrant replacement. I can get into more detail about that at a different time. That's a very technical issue but I can tell you what the what the issue is. It could be that there's a different model structure that we didn't think of but it doesn't look good.
01:01:20
So Remy asked how is the reasonable stratification hypothesis captured in Haynes' theorem and that's exactly right. So really what happens on this side here is that you have actually a model or a semi-model structure on these things and the vibrant guys include these reasonable
01:01:42
spaces and it's the vibrant guys that you show correspond to infinity categories with a conservative functor to P. So this is an equivalence of homotopy theories not of abstract spaces or abstract categories. So for a manifold M if I take the limit of all of its stratified homotopy types
01:02:03
for all good stratifications what do I get? You get something kind of... it depends on what you do what you mean by a good stratification but you end up with something a little unsatisfying. So let me give you an example. So suppose that I take a complex manifold so suppose I take a complex variety and I
01:02:22
look at all of the finite quasi compact stratifications of that complex variety and then I think about the complex manifold attached to that complex variety and I think about the limit of all those things. If I take the limit of all those things then I have the map from the complex points of my
01:02:41
variety with its topological structure down to the Zariski topological space attached to the variety. So it's a little bit unsatisfying in that regard. Taking that limit is really... taking that limit without sort of taking the homotopy type first is actually a little unsatisfying as a process and
01:03:02
that's actually there's a big frustration there that I can tell you about. Let's see what else have I got here. Is there any new insight into Riemann-Hilbert type correspondences in this language? Yes, I think so. So that's
01:03:20
actually another thing that I'm working on with my current PhD student Harry Guindy, my former PhD student Jay Shaw, and well anyone else who wants to be interested. Yes, I think so. One of the interesting issues there is that the Riemann-Hilbert
01:03:41
correspondence includes this sort of very... there's an analytic part to that story in the usual Riemann-Hilbert correspondence and what we're trying to do is we're trying to sidestep that really analytic part of that story. So I can tell you more about that if you write me. I'll be happy to talk about it. Is there a version of Whitehead's theorem for
01:04:03
stratified homotopy groups? Well, so what there is is there's a Posnakoff tower for these things. So I can tell you what it means to be connected or truncated as a stratified homotopy type. So for example being truncating, being in truncated just means you're an n category. And so there is a
01:04:23
Posnakoff tower and it does converge. How excited that makes you, I'm not really sure, but there is a convergent Posnakoff tower at least. Or the theorem that a map is an equivalence on fundamental group ways and cohomologies. Yes, right. So there's this fact that if you have a
01:04:43
space, any sort of space, and you have a map of spaces X to Y and it gives you an equivalence on an isomorphism on the fundamental groups and on the cohomologies of both spaces with all local systems
01:05:03
coefficients, then you have an equivalence. And the same thing is true here. The equivalences in these stratified topological spaces are equivalences of categories of constructible sheaves. I guess I should say infinity categories of constructible sheaves. So in other
01:05:27
words, yes, that's the short answer to that question. Let's see, someone asked what if I take the limit of the homotopy types. I'm not sure if I follow.
01:05:45
Oh, this is in reference to the to the Zariski topological space thing. Right, so you can do that. You can take the limit of the homotopy types. But really what you should do is you should first profidentally complete and then take the limit of the homotopy types. And if you do that, you'll actually recover a gal of the original complex algebraic variety. So
01:06:03
that's a sort of stratified Riemann existence theorem. And that's in our paper on exotropy. Does this perspective allow one to write down a Durham complex for a manifold with corners? That sounds like a good
01:06:20
question, Sean. I don't know how to answer that question. That sounds like a great question. Unfortunately, I don't really know the answer. It sounds really interesting. Oh, yeah, Peter Hayne is reminding me that another form of Whitehead's theorem is that a map of stratified topological spaces is an equivalence if and only if it's an equivalence on all strata
01:06:43
and all links. And so that's another way to sort of characterize the equivalence is on the left-hand side here. Yeah, so Peter Hayne's in the chat. He should answer your question better than, he can answer your question way better than me, Michael. Other questions? I know you
01:07:09
have them. Since you know you have Posnikov towers, we could talk about Eilenberg-McLean spaces, right? So, well, I have Posnikov towers,
01:07:26
but I don't have fibers so very much. I mean, I have fibers, of course, but they're strange, right? I mean, I don't know how to take, what do I mean by taking the, you know, I have the sort of, I have layer n and layer n minus one, but what does it mean to take the
01:07:42
fiber of that? I could take it at a chosen base point, but that's not going to be good enough for the purposes of writing down something like a homotopy type invariant, like a pi n or something. So I don't know how to address that. Might it be
01:08:02
interesting to see how the et al topology is stratified over the Nizhnyevich topology? Oh, yes, yes, it is very interesting. So yeah, maybe I'll just as a little preview, just because I love this example. Let me give you just a quick example just to show you something kind of fun about
01:08:23
this. So let's take, this is my favorite example. So I'm going to take the nodal cubic, and I'm going to take the local ring, the usual local ring at the node. And I'm going to think about the Galois category of that thing. And the
01:08:41
Galois category, you know, it depends on what field I'm working over, but you know, it's pretty easy to write down, you can understand it. But let me go further and actually think about something that you might call the Nizhnyevich Galois category. So the Galois category has to do with the et al topology. I'm really taking the points for the et al site, but I could try and
01:09:01
take the points for the Nizhnyevich site instead and work with that. And it's very nice to see that what you end up with is, well, you end up with the node point, and you end up with the other point, and you end up with two maps that go just like that, because you have two specializations. If I take the Hensel local ring at that point, I have two specializations from the node
01:09:23
to the generic point of this. And so what does that mean? That means that I've got two of these maps here, two specializations at the Nizhnyevich level. So this is GalNiz, as I like to call it. And well, if you take that space and you geometrically realize it, what do
01:09:41
you get? You get exactly the circle. You don't get the profanately completed circle, you actually get the circle. And so this is a situation that I find very appealing because, well, this is just a finite category. It's finite in all the conceivable senses, right? It's a very finite category. But it produces an
01:10:01
honest S1. It doesn't produce the profanately completed S1. And so that's why you're getting the sort of actual sort of fundamental group, not this kind of profanately completed fundamental group out of this kind of example. And yeah, there's a whole lot to say. I mean, the difference between GalNiz and just the Zariski
01:10:21
topological space of X is entirely about the question of whether X is geometrically uni-branch. So there's all kinds of fun questions in here that you could ask yourself. Yeah, I think there's a whole interesting world here that I haven't thought about very much yet, but it seems promising. Is there any
01:10:43
kind of story for the FPPF topology or Lise et al.? So for Lise et al., yes. So if you're thinking about stacks, then there's a story for stacks. There's a
01:11:04
Galois category attached to any stack. And that's really just, there's nothing kind of deep about that. I mean, you're just going to take the stack and present it as a simplicial scheme and then take the Galois categories of those and take the cold limit. So it's a little dull in that
01:11:21
regard. For FPPF, I don't know. I mean, I think if you take the, I don't know whether to expect something new for the FPPF topology. I don't really understand. I mean, so part of this story is really about the et al. topos. And one of the
01:11:43
advantages that we have is that we know very well what the points of the et al. topos are. And the points of the FPPF topos are a lot harder to understand. So there's a paper by, I'll probably mispronounce this name, but it's, I guess it's Shouer, Stefan Shouer, about the points in the
01:12:03
FPPF topology. And they're funny. So I don't really have anything interesting to say about that gut, but that's a good question. I do think that thinking about other topologies might be promising. The et al. topology is quite special because it has the et al. topos is what we call
01:12:22
spectral topos. And that's the analog of this condition right here, which is one of the reasons that I wanted to, oh, my pen has stopped working just in time. This condition right here in the topos theoretic world is what we call a
01:12:41
spectral topos. And that's quite special. But I don't know, I don't think the FPPF topos will be. Is there a theorem that shows that the et al. topos is the finest one that is spectral? Now you're asking hard questions. I don't see
01:13:07
why. No, I wouldn't. I can't. Yeah, I guess you mean like the finest, like subcanonical topology that's spectral or something. I don't see why that should be. I think it might, there could be other things that are special, that are
01:13:25
special. For gal-niz, is that et al. fibered over niz or niz fibered over czar? It's both. So if I understand your question correctly. So what you
01:13:42
have is you have this sequence of maps. So you have X czar, which just for the minute, let's just pretend like it's a posat. So you have X czar, which kind of looks like that in this case, right? Because that took a local ring of a curve. And then you have gal-niz, and then you have gal-x, which sort of has all the same stuff
01:14:01
that gal-niz has, but it also has, you know, automorphisms corresponding to the absolute Galois group of the fraction field. Do I get the SGA fundamental group from gal-niz? I get the SGA fundamental group from gal-x, but not necessarily from gal-niz. Gal-niz is too
01:14:24
coarse to know anything about, say, complicated field extensions or arithmetic. I'd have to pass all the way up to gal. But then absolutely, yes, I get the SGA 3 fundamental group. That's right. The non-profinite one, yes. So that's
01:14:42
actually a theorem of Peter again, that if you take the, and I'll talk about this next time as well, that if you take the Galois category, which is a profinite category, and you take its nerve in the pro-truncated space sense, then you actually recover the pro-truncated homotopy type.
01:15:03
That's one of the many excellent theorems that Peter proved in Exotomy. Doesn't seem to be more questions. We should just all thank Mark again for a wonderful talk. Thank you very much. The next talk is at 6 p.m.