A sheaf is constructible if its restriction to any stratum of a stratification is a local system, and a complex of sheaves is constructible if its cohomology sheaves restricted to any stratum are constructible; this definition involves cohomology and is fundamental in algebraic geometry and topology.
Deep Dive
Prerequisite Knowledge
- No data available.
Where to go next
- No data available.
Deep Dive
Make a math talk with me | May 28 2026Added:
Morning mathematicians.
Let's do a little work today. Yeah, got some work done. Stop being lazy.
I'm going to make uh slides for a talk.
Um yeah, that's what I'm going to do. Uh I don't think we're going to do Here I am telling telling uh you and myself to not be lazy, but I don't think we're going to do a full four palms. We'll do two, maybe three.
Maybe three. Um, depends what I have time for.
Um, yeah, maybe three.
>> But I don't think we're going to do a full >> uh Hello, Nomi.
You going to work on something today?
Hello, Zafar.
Y'all Y'all ready to work?
I'm ready to work.
Are y'all ready to yap on the brakes?
Probably.
Probably.
Don't want to show too much of those documents on stream. I doubt my students are watching. But uh now what am I doing? All right. Let's go to overleaf.
Oh yeah, let's let's let's start the time. Um, work time.
Studying for topology. All right.
Let's do a lingo. Boris Wait a second.
I'll go here and then here.
I will answer questions on the break during the break time.
Is my institute UFC still? I guess technically.
Wait.
Huh?
Wait, did we what?
Yeah, sure.
contains Well, yeah. I h What am I saying Here it is.
break time.
Just a boot.
Um, okay. There's a lot going on in chat. Um, uh, there's a lot going on in chat. A lot of questions.
Um, need advice on how to do your math part good.
Yeah, I don't know what to tell. I think you already got it. I mean, calculus, right? You just got to do a ton of problems. That's really There's no there's no magic to it. You just got to sit down and crack open your textbook and sit down and go through every single problem uh in the or most of the problems. Um yeah, I don't I not not not sure what else to say when it comes to just calculus and integration.
Um, is it not a bit funny that the word subpartial, fractional or sim synonyms?
I would not consider those words to be synonyms.
Um, and then you add the derivative and they're not. I don't know exactly what you mean by that. I guess there Yeah, sub partial actually maybe. Okay, maybe they are kind of synonymous, but I don't know what you mean by adding the word derivative, subdivative, partial derivative, fractional derivative. Is that what you mean? Um, it's pretty much all of calc. Yeah. Only way to get through. Just do as many problems as possible. Exactly.
Um, yeah.
vile integral formula formula isn't very well I don't think they're talking about that why is homology called homology yeah I think as someone someone else said in the comments um it just means the holes right it literally means holes uh state of similarity or shared origin ah right because homology homology ology is also used in like uh evolutionary theory. Um yeah, having same same origin, right? Homologos, same relation.
Yeah. Yeah. Um same relation that's what it means.
Uh taking drop for G.
Um Even though good can't really help you if you have taken course tell your teacher situation.
How can you get paid for doing math in Overleaf? Uh I don't know. Start a YouTube channel.
Uh live stream yourself writing an Overleaf daily and you'll make uh you'll make tens of dollars. Actually, my live streams really don't make any money. They certainly don't make tens of dollars, not even in a month. Uh, my other videos make a little more money.
Uh, but the live streams don't, unless you count when like categorically has come in and like donated um or signed up for or gifted memberships. Um, I guess technically then um that counts.
uh was its initial use to measure holes?
I think originally that's where it came from. But then yeah, homological algebra the name stuck because I don't know, we just generalized it away from that very particular application.
But yeah, I mean homology, this is why a lot of people when you say homology, they think you're talking about topology. But um you know homological algebra has been uh generalized away from that. What are my opinions about anti-non mainstream mathematics people? What do you mean? Do you have like a specific example of an anti-non mainstream math person that you have in mind? Uh otherwise that's kind of a broad question.
Um, you want to do math research in the future? Yeah, me too.
I want to do it in the present, but also in the future. You're reading your topology textbook the other day and the quote and there was a quote, I must go in and out.
Yeah, just realized lately. Oh, I got to get back to work right away here. Um, we'll we'll talk about your disc bundle statement maybe during the next break.
Uh, Green Froggy.
But now it's time to get back to work.
You know, Rod and Leo don't uh hang around as much anymore.
It's a new generation of uh of chatters.
Let's see. I want to get 30 H. Oh.
Mhm.
Uh-huh. Uh-huh. Uh-huh.
Let's do some math, baby. Do it with me.
Let's do some math, baby.
You guys like that one?
Bloodfire, I'm so intrigued as to why you first typed a bunch of random nonsense and then um and then deleted it.
What? What made you change your mind?
Oh, you were trying to not say nonsense.
Okay, reasonable.
Mhm.
contained in a single packet.
Mhm.
H just came across an interesting little thought.
I just came across an interesting little thought. I had never really it's a simple thing but I'd never considered before the converse of this theorem in my paper and thought more seriously about how the converse attaches to another result. Anywh who does coology correlate to constructible sheav? Well, uh the definition of constructible involves cohomology, right? A sheath is said to be constructible if uh with respect to some stratification if the cohomology sheav uh restricted to uh any strata is a local system on that strata. So um you the you you the the the definition of being a constructible sheath involves uh critically uh something to about the cohomology um of well sorry of a complex of well of an individual sheath uh and then you use that for con for complexes of sheets as well. Um sorry uh yeah uh a sheath is constructible sorry a single sheath is constructable if its restriction to any piece of the strata is a local system. A complex of sheav is constructible if its cohomology sheaves restricted to any stratum. Uh well if it's co if it's cohomology fees are constructible basically um if you can do as many problems in any of math it's good to be fair. Yeah.
Yeah. I mean, yes. Yes. Yes. But like in in calculus, I think it is just more about wte problem solving as opposed to in other once you get to higher math, you know, you spend more time reading deep theorems and working on uh really understanding like how things are happening. You know what I mean?
You realize that the disc bundle I already don't know what that is. Disc bundle over the four sphere.
Uh so the fiber over each point is a disc. I guess I could imagine how to define that with fibers taken inside the tangent bundle.
Okay. doesn't realize a spin seven structure because the AIA index theorem doesn't hold.
Okay.
And you thought it was non-trivial at first and it's a standard check. I will take your word for it, brother.
Example of anti- mainstream mathematics guy is Professor Wildberger. I mean, he's just he's not anti he's just wrong.
Well, I I shouldn't say that he's not wrong, right? Like I've said, like I said, he uh I I am actually sympathetic to the finitist cause, but he just has bad arguments. Yeah. So, actually, okay.
Okay. I would I would agree with you then. Let's Professor Wildberger, we can we we could say that he's a um yeah, anti- mainstream guy. I'm sympathetic uh to that uh to that viewpoint, but his arguments are just bad. Uh I would not consider John Gabriel uh an example though. He's just wrong on all accounts and he's he's just a crackbot and uh it's a little bit sad.
Um um not for G engineering. Oh yeah. Yeah.
Find a bit a mouse that you thought was useful and struggling to give it any use. Uh uh besides a specific instance you constructed it for. Yeah. Many such cases.
Bloodfire. Also, you're the person that for a while would ask me every single Pomodoro stream if Pomodoro works. Um uh my stream went all black. That's actually because you blacked out from pure ecstasy of how much you enjoy um my streams. It wasn't the stream that went black. You blacked out from just uh pure existential bliss um of being on this channel. So uh ain't he doing a PhD?
Well, I don't know if they were talking about me, per se, when they talked about that, but I'm not doing a PhD. I'm done.
I'm done. I'm I'm Dr. Belladis now. Uh, we got to get back to work, though. One more palm I think I could fit in.
Um, how much pre-calc do you advise before cal for cal one? All of it.
How would you know if you make a good researcher? If you try to do research and you succeed. That's the only way.
That is the only way to know. Yeah. And even then, you may fail a bit before you succeed.
But you may not also succeed. That's the only way.
I'll I'll maybe answer more questions during the next break, but I might have to leave uh shortly after I'm done here.
We will uh we'll talk more during the break. It's work time now.
We'll talk talk more in 17 minutes.
Actually, Nikolai, this one may not be illegally downloaded. Uh, this one is probably downloaded uh through my library access.
I kind of just want to study this book.
Uh, but I should probably work on the slides actually and stuff more directly relevant to the slides. Uh, yeah, let me think about this other thing for a second here.
Oh.
Oh.
Oh.
Oh. Oh. Oh. Oh. I have a wonderful idea.
Um, it's just a question of how many Okay. Whatever. It's got to think for a second.
Oh, I have an exciting idea.
Well, I'm excited by it.
Well, I don't think John Gabriel is just babbling out of old age because he was around back in like 2015.
Do I work from coffee places? Sometimes, but I prefer to stay home. The coffee is much cheaper and the food's healthier.
I like this.
And this was the other paper I was looking for.
This was the other paper I was looking for and I'm excited.
I know these people and I talk to these people and maybe that they can connect their theorems to mine.
Oh, here's a newer one. Let's take a look at this.
Let's have a look at this.
And maybe it will fix all the theorems I wanted to prove, all the new things I need to do.
precise formula for the set.
Fascinating.
Hello, LNJ1 and Crackpot City.
H okay fascinating explicitly constructed for each pass and showed his multiplicity free.
Wait. Huh?
This is non empty if and only if this the diagonal restriction.
Uhhuh.
Now I remember there being some bounds.
Um, remember there being Yeah.
Yes.
Good.
Let's see. Is CL extracted or anything?
Usually not a singleton. Uhhuh.
Mhm.
Mhm. Mhm. Mhm.
Ah, but the ABV packet question is different. They're assuming Vogan's conjecture.
But that's okay. That's okay. This is good, right?
Most interesting Okay.
Uh, that is going to do it for today.
Uh, I got to go. I got to run pretty soon, but let me yap with y'all in chat a little bit here.
Um um yeah is equal symbol not practical?
Uh no it's quite practical.
Can numbers have some value like properties? Well IGEN values are numbers.
Um uh temporal logic I'm in Vienna and at one point in the future I won't be and one point you will be again.
Do you know that for sure?
Uh can in infinite exponential function modeled in graph? I don't understand the question. Who is John Gabriel? Better not ask.
Um x to the al if null equals 5. Can we solve and model this function? It has no solutions. Uh there's no solutions to that equation. Um I'm studying algebraic geometry and local langu.
Um algebraic geometry with matrices. I wouldn't call that representation theory necessarily.
Um, apparently some plebs think Wolram has gone cranky because his graph theory is quite peculiar, but who are plebs to judge someone on that level?
Well, I don't know. I think I think also non plebs think that he's gone a bit Well, yeah. I mean, crank is maybe a little strong of a word, but you know, he's very bullish on this idea that his graph theory idea will like solve physics or whatever. And I don't know, that's that's a little optimistic.
Um, well, I think the graph theory thing is his idea. Um, I I think Jonathan is the guy's name. uh he posts a lot on Twitter. Yeah, he does have a PhD student that's been very active in developing it, but but um I think the original credit is is given to Wolffra.
Um watch a few video videos of Sabine where she explained her hatred of the academic system.
Um yeah, I don't know. Yeah, look, maybe she did maybe she did face, you know, she she she had some bad experiences in in grad school. Um can't fault her for that, I guess. But what you can fault her is her making a whole career uh out of complaining about it. Um then again, you know what? Look, if the algorithm if I started making videos like that and the algorithm rewarded me for it. Yeah, I'd maybe keep barking up that tree.
I don't know about her making convincing points, though. I don't know if I'd agree so much about that. Um, well, I'm glad that you find this stream to be interesting.
Uh, don't know about that, but she made some comments on how particle physics is useless and just taking money. Yeah, I I don't agree with her. Um, well, I mean, everything's useless, so I guess I agree with her, but everything's useless.
Some Some useless things are enjoyable, though.
Um, yeah, funny story. Used to watch Richard Borchard's video thinking he's some nice old dude into maths. I mean, he is. He is a nice old dude into maths. He's just also a fields medalist, but he is a nice old dude that's into maths. Yeah. Um, anywh who, okay, thank you all for joining me. I hope uh I hope some of you got some work done even though, you know, lots of yapping during the work session, which I love. Don't get me wrong. Um, did I check the thing of algebra representations? I don't know what you're asking me, but uh since I'm going I don't know. Ask ask me again in the comments on this video or something.
And QED
Related Videos
A Number Plus 5 Is 12
MathGirlTutor
101 views•2026-06-03
Olympiad Mathematics | Indian | Can You Solve This One?
PhilCoolMath
650 views•2026-06-03
Escaping the Fog
LogicLemurGaming
760 views•2026-06-03
H2 Math June Holiday 2026 Intensive Revision | H2 Math Tuition by Achevas #singaporemath #h2math
AchevasTV
304 views•2026-06-01
A Brutal Radical Expression Made Easy! The Shortcut Changes Everything.
tamoshop
112 views•2026-06-02
V : jee main /advance class 11 mathematics : Binomial Theorem class-1 ( 29 may 2026 )
dcamclassesiitjeemainsadva9953
125 views•2026-05-29
Is This Pentomino Tileable?
3cycle
241 views•2026-05-30
This Sudoku Has Many Lines!!
CrackingTheCryptic
2K views•2026-05-29











