« first day (2675 days earlier)      last day (2346 days later) » 

11:00 PM
and it was like you know at some point $m$ is going to have to intersect the origin
 
@Balarka: Tell Meow that's for him.
 
i saw it
 
Right, because the winding number around the origin couldn't change if you didn't cross the origin. But that requires some rigor to prove.
 
Right
 
Left
 
11:01 PM
in particular what we call "non-simple connectedness of $\Bbb C - 0$"
 
you cant like homotope it or whatever
 
@MeowMix please don't encourage daminark-humor
 
You use the word "humor" in association with Demonark? Bah.
 
ok you guys are all obsessed with topology
but is anyone gonna delve into the depths of bottomology?
 
11:05 PM
@Ted Do you see an explicit visualization of $f_t$? I think it has be very wiggly
 
@MeowMix What in God's name?
 
perhaps the G
or the "od"
ok im stopping there
 
@MeowMix I had to google that... uhhhhh???
 
google what?
 
top/bottom ... come on, guys
 
11:08 PM
oh, wow
VERY mature balarka
it was a simple pun
 
Oh lol
Fucking hell
 
@TedShifrin why would one expect that the second extension of the cauchy completion of the rationals would ever be algebraically closed? it just feels like a gift from god to me
 
@Balarka: Presumably you add higher order stuff and then let it fade away ...
 
god now that someons starred it somebody is gonna go and look it up
and think im a weirdo
 
Well, Leaky, the Fundamental Theorem of Algebra is sort of striking.
 
11:10 PM
@TedShifrin is there any intuitive reason?
 
@LeakyNun Is there any intuitive reason life forms in Earth are made of carbon and not silicon?
 
I think Stewart derived it using Galois theory and the fact that every odd degree polynomial has a root over R, but still it isn’t intuitive at all
 
if you think about it, FTA is nothing compared to that
 
I just mentioned that proof ... that's actually in Lang before Stewart.
Yeah, right, Balarka.
It's totally amazing that our bodies work at all.
 
Truly
 
11:11 PM
haha mitochondria and stuff
 
@TedShifrin I think I have read $i$ multiple of a vector is just a rotation. maybe i google to see if there is some introduction of complex structure.
 
oh isnt complex multiplications just like
adding the angles of the two numbers with the x-axis and multiplying the two modulus-es (moduli?)
modula?
 
@CaptainBohemian: Yes, multiplication by $i$ is a 90º rotation, geometrically. We're used to what $i$ means when we work with $\Bbb C$, but with vector bundles there's no well-defined coordinate system as you move around.
Yes, Meow.
 
@MeowMix that's worse than daminark
 
i didn't even understand it
 
11:16 PM
simple opposite pun
bottom is the opposite of top
 
I thought that was a Star Wars reference
 
unfortunately someone had to soil my joke by looking it up and making it sexual
 
Wait, you weren't referring to this paper: inspirehep.net/record/6256/files/v8-n1-p21.pdf ?
It was just a pun?
 
YES IT WAS A PUN
nobody got the joke :(
 
You turned topology into bottomology, as a pun, and not as reference to a paper with the same title. I find that unlikely.
 
11:18 PM
@MeowMix Yes, it was so bad nobody got it
 
and not as a reference to the website "bottomology"
which doesnt need to be looked up
 
I got it, @Balarka, and I'm the one for whom the sexual allusions are the most obvious. :P
 
:(
I am internally laughing but externally sad
 
im an internally and externally a chloroplast
im photosynthesizing right now
no light is hitting my photosystems right now so im performing carbon fixation
 
"Congratulations! Your Ubuntu Duck has evolved into a plant!"
 
11:22 PM
LOL, why externally sad?
 
@TedShifrin is it the case that if there is well-defined coordinate system when you multiply $i$ as you move thrroughout a manifold, that means the manifols has a complex structure?
 
actually this is a windows caterpillar
 
manifold
 
@TedShifrin How can one not be sad at bad puns?
 
@Daminark i have dethroned you
 
11:24 PM
It scars me a little everytime someone makes normie puns
 
hey you know im not a normie
 
*normed puns
 
im a /b/ veteran
 
Not a well-defined coordinate system, @CaptainBohemian — that would require a trivial tangent bundle. But a well-defined, smooth notion of $i$, yes. There's a bit more to get a complex manifold. There is an integrability condition that will give you holomorphic charts rather than just smooth ones.
@Balarka: That was so weak I didn't even deem it a pun.
Worse than you and Demonark.
Oh oh, Antonios is back.
 
@TedShifrin I told Sylvain Cappell you said hi.
 
11:25 PM
Oh dammit I can't let this go on
 
He then proceeded to speak highly of your ex-math department.
 
Oh, cool. That was nice of you.
 
For once I support @Daminark
 
Yes, he had good friends there.
 
oh ted hows youre aops clas
 
11:25 PM
Let us collaborate to make worse puns
 
s
 
be back in a bit. end of lecture now
 
@BalarkaSen I collaboRATE the idea highly
 
that was so forced
 
they have a midterm coming up in a week. We're doing polar coordinates now. After the midterm we start complex numbers and then eventually linear algebra. We'll see how they do on the exam.
 
11:26 PM
perfect for our plan
mass extinction at the hand of a few shitty puns
 
@Daminark I am suffering, but I have to do this
For the motherland!
 
okay so we have general topology
 
@Ted I imagine you'll enjoy this new era of chat
 
hes a cool guy
but he was once a lieutenant topology
 
Finite group theory and puns
 
11:28 PM
and, perhaps private topology
 
@MeowMix but who was the kernel topology?
 
we dont like to talk about him
people always map him to his identity
 
Oh by the way Meow I need you to become a finite group theorist
 
Saving Private Topology: A Course in Algebraic Topology
 
: A geometric approach
 
11:29 PM
I'll just be absent, Demonark, like now.
 
@TedShifrin
helllo !!! :D
 
Hey @Adeek!
 
hei @Daminark
 
Is $C^{\infty}(M)$ a ring?
 
11:31 PM
yeah
yeah @Perturbative
 
Okay cool cool
 
what book is that ?
Tu diffrerential geometry ?
 
Lee's Smooth Manifolds book
 
cool
I read Tu differential geometry Reading Lee's now, but I already know a lot of it. just working through the problems
 
Ahhh nice!
Another question, on the RHS of the main equation there, I'm sure $f(p)vg + g(p)vf \not\in \mathbb{R}$, since $vg$ and $vg$ are just multiplication of linear maps
So how would $v$ even be a linear map?
 
11:36 PM
It is evaluated pointwise
 
Ohhh so the linear map $v : C^{\infty}(M) \to \mathbb{R}$ is a derivation at $p$ if it satisfies $v(f\cdot g(x)) = v(f(x)\cdot (g(x)) = f(p)\cdot v(x)\cdot g(x)+g(p)\cdot v(x) \cdot f(x)$?
 
yeah
so essentially a derivation is just a R linear vector space
moreover it satisfies Leibneiz
 
$v(x)$ doesn't make sense, the input of $v$ are functions, not points
 
Whoops, sorry, you're right @MatheinBoulomenos
 
the condition is $v(f\cdot g)(x)=f(p)\cdot v(g)(x)+v(f)(x)\cdot g(p)$
 
11:45 PM
Thanks! @Adeek and @MatheinBoulomenos
 
@MatheinBoulomenos someone told me that cohomology in $\Bbb R^3$ corresponds to grad-curl-div
how does that work?
also, why does $d^2 = 0$?
 
I think this differential geometry reign is a lot more invasive than in previous chat eras
 
@LeakyNun I'm the last person to ask about vector analysis, but the thing you want to look up is "exterior derivative" or "Cartan derivative"
 
@BalarkaSen?
@MatheinBoulomenos I thought you're familiar with alg.top
 
That might explain why the number of weird users are dropping so sharply recently
 
11:50 PM
Basicaly, you can identify vector fields on $\Bbb R^3$ either as either 1-forms or 2-forms (which is a coincidence that can only happen in 3 dimensions, the important thing is the Hodge-$*$ operator here)
for differential forms you have a derivative which turns out to generalize grad curl and div under this identifications
 
@MatheinBoulomenos If you don't mind me asking what area of math do you specialize in?
 
@Perturbative algebra mostly, though I'm also interested in number theory
 
Whats the question
 
but I'm just an undergrad, so not really specialized yet
 
4 mins ago, by Leaky Nun
@MatheinBoulomenos someone told me that cohomology in $\Bbb R^3$ corresponds to grad-curl-div
4 mins ago, by Leaky Nun
how does that work?
4 mins ago, by Leaky Nun
also, why does $d^2 = 0$?
 
11:53 PM
$d^2 = 0$ is just div curl = 0
 
@MatheinBoulomenos I thought you were a grad student :p
 
@BalarkaSen I mean in general
 
Does anybody know a clear proof for the handshaking lemma?
 
also i have already wrote pages about this. let me look it up in chat
 
@Perturbative thanks, I guess
 
11:55 PM
Read on
It's a long conversation but it's where you'll find the answers
 
thanks
 
I also don't understand what you mean by "Why does $d^2 = 0$?". It's the same phenomenon as div curl = 0
 
@TedShifrin It's like Ted has gone. But I want to reply the last message of Ted. I think I can imagine the definition of complex structure from that of spin structure: yes. a global frame should not usually be required for these structures. but it's like for a noncompact spacetime manifold the exitence of a spin structure entails a global frame.
 
There are many many ways to define $d$ in different contexts
Depends on the cohomology theory you're working with
One way to think about it is that if $M$ is a manifold with boundary, $\partial M$ is a closed manifold, so $\partial \partial M = \emptyset$
Indeed, this is the "$d$" in the context of cobordism theory
 
Very interesting question:
1
Q: I found a way to calculate Quadratic min mod $N$, but why it works?

Ilya_GazmanI am trying to factor $N$ by using Dixon's factorization method, so I am looking at the equation: $$a^2\equiv b(\mod{N})$$ If I be able to find $b$ that is a perfect square, I will be able to factor $N$. But while looking at the values of $f(x)$ I notice something very interesting $$f(x)\equi...

 

« first day (2675 days earlier)      last day (2346 days later) »