Mathematics

Associated with Math.SE; for both general discussion & math qu...
Sep 7, 2021 14:01
$|f(z)/g(z)| = 1$
Sep 2, 2021 06:09
Move house
Sep 2, 2021 06:09
Just leave the room
Sep 2, 2021 06:09
oh maybe don't use my answer
Sep 2, 2021 05:57
cringe 9 times and then kill myself
Sep 2, 2021 05:46
-_-
Sep 1, 2021 05:16
I know, I was just looking for confirmation that I'm not just being stupid and the formulation genuinely is confusing
Sep 1, 2021 05:15
You confirmed that it's a "hot mess", which is what I was looking for I guess
Sep 1, 2021 05:15
You listened to me rant
Sep 1, 2021 05:14
lmao
Sep 1, 2021 05:14
Thanks anyway
Sep 1, 2021 05:14
Don't worry, I'll switch to some book and work it out
Sep 1, 2021 05:14
kinda difficult to follow what he's doing
Sep 1, 2021 05:13
Right, he goes on to say "Exactness at $\mathcal{G}$ follows from the next lemma: let $\psi : \mathcal{F} \to \mathcal{K}$ be a sheaf injection with $\psi_x : \mathcal{F}_x \cong \mathcal{K}_x$ for all $x \in X$. Then $\mathcal{F} = \mathcal{K}$" and uses the sheaf axioms to prove this
Sep 1, 2021 05:10
Sheaf exactness is exactness at the level of stalks, if that's what you mean
Sep 1, 2021 05:10
You'll be pleased to know I'm taking complex geometry next semester :P
Sep 1, 2021 05:08
Time to switch to a book then
Sep 1, 2021 05:08
oops
Sep 1, 2021 05:08
It's very confusing lol. The next line he says "since taking stalks and taking kernels commute, the above inclusion shows that $\mathcal{F}_x \cong \ker\{\mathcal{G} \to \mathcal{H}\}_x$ for all $x$."
Sep 1, 2021 05:06
In the notes my prof writes "The injectivity of $\mathcal{F}(U) \to \mathcal{G}(U)$ follows from diagram. One shows analogously that the composition $\mathcal{F} \to \mathcal{H}$ is zero, so that $\mathcal{F} \subset \ker\{\mathcal{G} \to \mathcal{H}\}$."
Sep 1, 2021 05:06
So we're assuming $0 \to \mathcal{F} \to \mathcal{G} \to \mathcal{H} \to 0$ is exact and we want to show that $0 \to \mathcal{F}(U) \to \mathcal{G}(U) \to \mathcal{H}(U)$ is exact
Sep 1, 2021 05:02
right
Sep 1, 2021 05:02
the formulation in the notes is really confusing, is it confusing to you too?
Sep 1, 2021 05:01
idfk
Sep 1, 2021 05:01
oops, I mean $\mathcal{F}_x \cong \operatorname{Ker}_x$
Sep 1, 2021 05:01
but I mean, this is vacuously true because the sequence is assumed to be exact, right?
Sep 1, 2021 05:00
in the proof my prof shows that $\mathcal{F}(U) \to \mathcal{G}(U)$ is injective (this is easy from some diagram) and then goes on to start proving that $\mathcal{F} \to \mathcal{H}$ is the zero map and thus that $\mathcal{F}$ is contained in its kernel, and hence that $\mathcal{F}_x \cong \mathcal{H}_x$ for all $x$ (the stalks)
Sep 1, 2021 04:59
Here goes: a sequence of sheaves $0 \to \mathcal{F} \to \mathcal{G}, \to \mathcal{H} \to 0$ is exact if and only if $0 \to \mathcal{F}(U) \to \mathcal{G}(U) \to \mathcal{H}(U)$ is exact and some other condition whose proof I understand
Sep 1, 2021 04:58
Hail!
Sep 1, 2021 04:50
lol
Sep 1, 2021 04:47
Hi @Ted, I have a silly sheafy question when you're around
Sep 1, 2021 04:47
s'aink like that
Sep 1, 2021 04:46
Gave birth to lily and james?
Sep 1, 2021 04:45
Ergh damn, I was just about to press enter to write to Ted
Sep 1, 2021 02:42
Only about 10 people speak it though, so who cares
Sep 1, 2021 02:42
A good example is Faroese, where the official orthography was only actually written down in the 1800s some time and the orthography was completely based on old Norse etymology, making the language more or less entirely unphonetic
Sep 1, 2021 02:41
That ends up being a big culprit for the non-phonetic-ness of other languages
Sep 1, 2021 02:40
Seems like the British spellings were made to artifically preserve etymology
Sep 1, 2021 02:40
Aye strange indeed
Sep 1, 2021 02:37
Good night
Sep 1, 2021 02:36
Nice
Sep 1, 2021 02:34
humorous is actually correct in both orthographies
Sep 1, 2021 02:33
The reality is that we need the extra letters to get the words past our bad teeth
Sep 1, 2021 02:33
It's a common joke in the UK that people from the US are too stupid to spell things the "proper" way
Sep 1, 2021 02:32
Gross
Sep 1, 2021 02:30
Analogue vs analog
Sep 1, 2021 02:30
Strange, we write Dsuinks instead of jinx
Sep 1, 2021 02:29
yeah I agree there too
Sep 1, 2021 02:28
the double-s makes more sense to me, shortening the u
Sep 1, 2021 02:26
Typical of the Brits to try and distinguish themselves from other organisations