« first day (3863 days earlier)      last day (1144 days later) » 
00:00 - 18:0019:00 - 00:00

7:18 PM
Asked a good question if anyone interested in answering:
3
Q: Can the multiplicative group of rationals be written as a limit of finite abelian groups?

StudySmarterNotHarderLet $G = \Bbb{Q}_{\gt 0}$ or $\Bbb{Q}^{\times}$. Can we write $G$ as a limit or colimit of finite abelian groups? I can't find any information about this by googling.

 
abelian groups scare me, so i opt out of this one
 
It's weird that I can't find any info about this (even tried "profinite")
It's a global math conspiracy
the truth would be too powerful to handle
 
that image with the guy and the pieces of string connecting various photos to one another
 
lol, a groupoid formed
I think a commenter answered this, so nvm. The answer is probably no
Actually, see second commenter. Looks like it might be a yes answer to the question
 
just stay away from abelian groups. there's, like, Z, and there's R, and that should be enough for everybody
 
7:30 PM
Lol
 
Z and R are the 640kb that should be enough for everyone
 
Yeah, but what about the primes within $\Bbb{Z}$. They form what physicists call a "black hole".
 
don't talk to physicists
 
I'm an admitted victim of the primes
No light can be found w.r.t. the twin primes, don't even try.
 
being reminded of physicists, i just googled and learned that the physicist on my thesis committee died two years ago
thanks for that
 
7:33 PM
That's sad :|
 
just finished my seminar talk
 
Limits of finite Abelian groups are finite or uncountable (see if you can construct a surjection to the Cantor set when it's not finite). Colimits of torsion Abelian groups are torsion. Since your group is a countable non-torsion group it is neither a limit not colimit of finite Abelian groups b
 
ended up talking for 2h20m, really glad no one cared about time constraints
 
@MikeMiller thank you. So the answer is in the negative... -_- the prime numbers got me again !
 
@Thorgott wth
 
7:34 PM
why even ask questions about abelian groups. it's like saying the name of a monster in the mirror in the darkness. what do you think will happen.
 
2 1/2 hours?
 
ye, almost
 
how could anybody focus that long?
 
my throat is sore now
 
they were mostly doing tiktok dances and renditions of "fortnite" "emotes". you can pad it out that way
 
7:35 PM
@Thorgott mine too but thats the smoking
 
Don't smoke!
Trust me. I think i have cancer now
But maybe once my lungs clean themselves, it will go away
 
lol
 
also, water bottles during tutorials, seminars or oral exams are life-saving
one's mouth after talking for ~30 mins is disgusting
@StudySmarterNotHarder as if that ever deterred anyone
 
I did drink during the talk, but still
 
Well, it will once they start making you sick / you start feeling shit in your che
 
7:37 PM
too much talking
 
@StudySmarterNotHarder fair enough
 
They're like little calming energy sticks aren't they
But know that you only need them b/c you're currently addicted
 
What did you talk on
 
You can study well and even better so without them
 
7:39 PM
@StudySmarterNotHarder as with coffee
You are of course right
 
@user2103480 I had a comorbid addiction with coffee + weed + cigarettes.
 
it was the talk on exotic 7-spheres
 
lockdown mood
 
@user2103480 are you coughing up weird colored mucus yet?
 
I presented the part of the Milnor paper proving they're not diffeomorphic to the standard 7-sphere
 
7:41 PM
@StudySmarterNotHarder That only happened after long, long nights out. Although that's a bit of a yucky topic for this room :D
 
@user2103480 well, I have it so that even if I started smoking weed again, I begin (after a week say) even having cleaned out my lungs for 6 months, that I start coughing up dark-green to black mucus
So I probably have fucked up my lungs already
I'm only 35
 
ew
just do edibles
 
ugh no that never happened but I know other people who definitely destroyed their lungs and I appreciate your concern
 
If you don't cough up the stuff, then I guess all the crap is staying inside you!
I can't do any weed whatsoever any more, because people start reading my mind, and I'm not joking or that crazy. Weird paranormal shit just happens, and the weed makes it more uncomfortable.
 
strange time to enter the room
 
7:45 PM
You'd think oh cool super powers. But I have no use for people reading my random unsorted thoughts. And my brain is permanently out-of-sorts from the tocracco and weed abuse
 
I see
 
I recommend having the policy, that if you are going to continue to smoke, always be trying to quit, this will limit the damage
When you try to quit, do a long taper that lasts months
Then mak
y
Then maybe you'll do like 1-3 / day and that won't be as bad as half a pack a day
 
That's fair advice
 
Always be quitting, son!
or daughter
^_^
 
Haha will try thanks
@BalarkaSen vimeo.com/207475087 the video is weirdly catching
 
7:50 PM
You're probably about to smoke right now. And I'm sorry for stressing you, but it's not too late to make small adjustments to habits
 
smoking cannot do serious damage until you have had at least 10 pack-years of smoking, and the damage increases exponentially every pack-years after that. but fwiw i quit after 2 years because it gave me chronic pharyngitis; im about 6 months in.
 
@BalarkaSen you mean pack-a-day years?
 
i think they are talking about weed
 
yes, thats what pack-year means
 
And it's not true. It varies per individual
 
7:51 PM
could be in general tho
 
You will do damage after even say 10 packs back-to-back. And it will take 3 years at least to heal from it
I have also smoked weed for like 15 years, so maybe that's where my own damage comes from
 
yes, all variance considered, the scientific consensus is you've done negligible damage after 10 pack-years of smoking. of course you're never going to return to a non-smokers lungs, but that's not what i meant by serious damage
 
When you smoke weed like its a cup of tea or a cigarette then...
 
Sorry balarka, I meant the youtube version of the video. The vimeo 360 VR thing is weird
 
Yeah, go smoke a pack and then try to exercise vasoconstricted or jog - it's no good
Okay, enough arguing. I have my own problems :)
I just wish I hadn't done so much damage to myself
 
7:54 PM
Understandably
 
I will probably die of lung cancer if I get to an old age even after having quit smoking
Because both grandfathers died of metastisized lung cancer
I hope aliens come down to earth, give us nano technology and lung cleaning nano machines
On the other hand, my body will do it, it will just take years
 
the best you can do is quit. i have found it extremely easy once i switched to chewing gums
not nicotine gums. proper sugar-free gums
 
Those are nice. I find that helpful too
 
its just an oral habit imho
 
Well, now I'm preaching to the choir, so will shut up ;)
For me, I would get high off of smoking, high off of relaxing calmness. The first hit after a few days sober is this intoxicating nausea and I know I had hit the right note
So much so, that I would just crave breathing in smoke
I smoke everything. What's left of the butts? They all go into a pipe, until I am carpet picking like a tweaker does
It's crazy, I know...
 
7:59 PM
I have done that actually.
When I was out lol
 
It's so strange. I then want cigarettes over weed!
We have an abundance of flower because it's legal to grow here in CA, but I long ago shot my mental neurotransmitter wad and have screwed up (something)
I'm trying to exercise more now.
I also used to be way more proficient at math
I can do crazy abstract things on weed because I forced myself long ago. However, since having quit weed for now about a month ago, my proficiency at concentration / focus / studying power has gone way up again, and I can actually learn again !
You won't notice right away after stopping the smoke. I think also I'm even better at studying off of cigs as well
It's been a pleasure protheletizing to the audience in chat. :D
Stay safe, don't smoke!
lmao
 
watching my grad school officemate quit cigarettes two or three times over two years was more than enough discouragement
she'd turn into a monster and i'd realize she was quitting again
 
Yep, social situations can drive a person to smoke
 
huh
honestly never was that bad for me
 
And you can socialize more when you're high on nicotine
@BalarkaSen it gets really bad, the worser kind of smoker you are
 
8:06 PM
my advisor smoked too, which didn't help. i'd have to accompany him on his smoke breaks
i'll be honest. i think i looked cool while standing next to him
 
It's not worth it leslie, you're on the right track
Cigarettes are like little crack hits
 
lol no way
 
lol
it's true though
^_^
 
it's addictive although it might not be the wormhole that crack is
 
yeah
 
8:09 PM
@Thorgott But in here you can talk endlessly without risking sore throat!
Hi, a @Balarka
 
the withdrawal effects of quitting smoking is minimal honestly
hi @Ted
 
I've smoked amphetamine before, and didn't get addicted (luckily). Have smoked or snorted it < 10 times in a 20 year span. Stayed up for no more than 2 nights. Had I had access to more, I would probably not be alive today. None the less, Cigarettes - I got addicted to
 
just do crack if you want crack hits
 
That stuff is no good either
 
lmfao
 
8:10 PM
my step brother struggled with a crack addiction. it was not great. it seemed more like alcohol, where genuinely you do have unpleasant side effects beyond just being pissed off if you don't keep the addiction going
 
No, I don't want it. It's about the peace and calm now
 
Balarka will probably tell my story about Hochschild's smoking in the elevator when it was expressly forbidden ...
 
smoking crack ?
lol
 
@TedShifrin yeah, very convenient
 
I vaguely remember it
 
8:11 PM
An old man in the 1970s? No.
 
haha, i didnt know that. i remembered the one about him writing on the blackboard with his cigarette
and smoking the chalk
 
LOL, same story.
 
i know too many mathematicians who smoke
 
I don't. Thank god.
 
8:12 PM
Hoschild, nicotinated homology
 
I am badly allergic.
 
was this at berkeley? do i know you people?
 
Yes, this was at Berkeley.
 
i didn't meet any of those folks until the late 90s. so maybe no overlap
 
There was also a fellow grad student who smoked during one of my seminar talks, even though it was expressly forbidden. Like I wasn't going to smell the damn thing.
 
8:13 PM
Too bad Erdos was on amphetamine all the time (like medication really), makes me feel like I should be on it too
 
I was there 74-79.
 
@leslietownes i know people from 90s berkeley actually
 
i had tea with lester dubins a few times where he would pose me problems i wish i had written down on something more than napkins, and he had stories about visiting erdos in the hospital
 
sho
Shroom tea*?
 
Interestingly, I don't remember a single math faculty member at MIT smoking during my 6 years there. A good friend and French professor from whom I took 6 classes smoked plenty, though :(
Dubins was a character.
 
8:15 PM
i've heard of dubins' name
 
John Rhodes was a bizarre character. Being a geometer, I didn't have much to do with him.
 
I wish I had some shroom tea (over weed). I think that's my drug of choice. We are all way too caffeinated imho
 
rhodes said some very unfortunate things on a topic i won't bring up. i don't like him because of that. he was certainly cuckoo bananas.
 
@Thorgott Tell me something interesting, you choose what
 
I didn't much like him. There were plenty of likable faculty, even if they were strange.
Oh oh, @Thor will have to give his whole 2 1/2 hour talk again.
 
8:17 PM
did you know prof. wu?
 
Yes, we were good friends. He was on my committee.
I actually saw him and his wife in Berkeley a few years ago.
 
he is one of my strongest influences although i was not a geometer. i cat-sat for him. how is kuniko?
 
@TedShifrin classy
 
They were both fine when I saw them. Kuniko had connections to the music department (and my dad taught in the music department until 66).
Hung-Hsi was a great teacher. Perhaps he liked me because I took teaching very seriously.
 
@TedShifrin lockdown makes it possible to smoke during every lecture now, with cam on if you're brave
 
8:20 PM
@user2103480 Kill yourself on your own time, I guess.
 
@user2103480 do you mean in the lecture hall itself?
 
I didn't say I do that
 
when i cat-sat i would sometimes fiddle around on the grand piano in their living room. nothing serious, just making noise.
i still have my handwritten notes from a differential geometry class that wu taught. great stuff
 
I reckon many lecturers would find that disrespectful, for whatever reason
@StudySmarterNotHarder no every class is online
 
Actually, I was in many faculty members' houses numerous times, but never remember being in Wu's. I still laugh at the fights Kobayashi and Chern used to have about who could see more bridges from whose house.
 
8:22 PM
oh i see, lol <- non accademic here
 
140 or 240, @leslie?
 
wu lived across the street from marc rieffel and next to rieffel was henry helson. marina ratner almost moved in next door, but eventually didn't. i think that would have been too many mathematicians.
 
lol
 
i think it was 160 when i took it. i took 240 from a guy liu, or lu. i don't remember
 
Ah, the analysis block. I liked Marina a lot, although the poliltics got interesting after I graduated.
Wow, it changed to 160? Wasn't that the undergraduate differential topology class (which became a class after I taught it as a 195 as a grad student)?
 
8:24 PM
marina was my undergraduate advisor and strongest influence. i have no idea of the political angle. i loved her and she opened a lot of doors for me.
i don't know. i do think it was 160 when i took it (late 90s)
 
you're a dynamical systems person, or a probabilist?
 
i studied functional analysis and noncommutative dynamics
 
We played volleyball together every Sunday morning. Yeah, I don't remember clearly, but I think she was on the con side re Jenny Harrison.
 
got it, cool!
 
OK i get why that could be tricky
haha
 
8:25 PM
noncommutative dynamics? What's that?
 
basically you try to do PDE/ODE but with semigroups of operators on operator algebras.
 
w e i r d
 
Russians are not known for being liberal ... I'm afraid.
 
frankly, there's not a lot you can say. PDE is already extremely hard. i am an attorney now
 
Oh wow.
 
8:26 PM
Cool
 
@MikeMiller is there anything I can tell you that you don't already know
 
Probably!
 
tell me what characteristic classes mean
and how do i compute
actually dont
 
@leslie Not to beat a dead horse. But 140 is still diff go. 160 is the math history. 141 is the diff top class I was thinking of.
@Thor: I never read Milnor's stuff on spheres, so you'd tell me a lot.
 
ted you may be right. i took both of them from wu so you can understand my confusion. i did not take the undergrad diff top. it's 214 or something in the grad curriculum, i took that instead.
 
8:28 PM
@BalarkaSen one berlin uni offers GGT next semester. Does that area intersect every single one in modern math? It's taught by an algebraic geometer
 
oh no
 
Yeah, it's 214. I had the rare pleasure of taking 214-240 from Mike Spivak the one year he taught as a visitor.
 
who's teaching it
 
gavril farkas
 
eh forget it not that i know ggt
surprising that an algeo person is teaching it
 
8:30 PM
wow, spivak! that must have been a lot of fun. i have had classes from his books and always thought they would be better if the guy was in the room.
 
My topology/geometry qualifying oral was Wu and Kirby. They must have figured out they were passing me, because they asked me various crazy things I actually didn't know well at the time (Thom-Pontryagin and good grief why a manifold with a connection had to be paracompact).
Mike is a strange character, but we became friends because of that course. Because of that, his Calculus book got revised/changed (lots of exercises and some change to the text) because of my influence over the years.
 
my qual was mostly people asking me about details behind compactness and convexity and stuff i had never really studied. it gave me heartburn although in retrospect they had clearly decided to pass me. i was totally winging it. i think i disappointed marc rieffel. i took the bus home and threw up
 
Exams were different after 1977 or so. They changed from three 1st year oral qualifyings to a written prelim plus advanced oral. I guess I was on the committee that changed things (so many grad students had total melt-downs with the first-year oral quals, plus there was a serious problem that a student could pass those all and still have no clue who would be an adviser).
 
@BalarkaSen yes thats what I thought
"My field of work is algebraic geometry. A significant part of my research is concerned with the study of the geometry and topology of various moduli spaces. Among other things, I am interested in moduli of curves, enumerative geometry, syzygies of algebraic varieties and commutative algebra aspects, vector bundles on curves, abelian varieties and theta functions, Prym varieties, K3 surfaces and Brill-Noether type problems."
 
first year oral quals sounds like a recipe for disaster. we had the prelim thing. it was better. some people couldn't pass it, but i think it was a meaningful filter. i still do not know why an hour of my qual was spent on generalizations of the krein milman theorem.
 
8:37 PM
In all my years on oral committees at other places subsequently, there was usually a very tight arrangement with the student and the committee of exactly what topics were to be fair game. That doesn't mean that it always worked out well, but usually there were no surprise topics.
 
i had no idea what it would be going in. there was some stuff i was reasonably prepared for, mostly on operator algebras, and then it went way off track. my outside member wanted to see how much i remembered about CHARACTERISTIC CLASSES for some reason. i will never forgive him.
 
lol
 
Was that on your list of topics to be included?
 
and then all this weird crap about weakening the krein milman theorem. if anyone wants to know about the krein milman theorem, ask me.
i think the word "topology" was on the list of topics to be included. that's as close as it got
 
Um ... that's way too vague. Even when I wasn't on grad students' committees at UGA, I always advised them to be very specific in structuring the oral exam syllabus topics.
Who was the faculty member, if I might ask?
 
8:41 PM
we didn't get to submit like a precise list of topics, only families of topics, so the word topology appeared somewhere, and of course you're going to get into characteristic classes
bill arveson was my advisor. he was great and stuck to the script. my outside member did not
 
The orals on first-year topics which I took definitely gave an advantage to people like me with both teaching experience and confidence. It really was a disaster for a lot of folks.
Oh, two people for the exam, not three?
 
i genuinely miss being in grad school, when i think about those times, most of the people i learned from are dead now and that kind of bums me out
four people
 
Oh four!
 
arveson, rieffel, eyvind wichmann (outside member too concerned with physics), michael hutchings (too concerned with characteristic classes)t
they were all great in retrospect
wichmann let me flex a little bit on some unbounded operator knowhow
 
Well, Chern (who was my adviser) died a long time ago. I was very honored that he came to visit and speak at UGA because I invited him. I got to cook him and his wife another great dinner, too.
Ah, Hutchings probably wouldn't like my answers about characteristic classes (geometry more than topology) :P
 
8:44 PM
i learned a lot from him but i don't think he ever understood that i am NOT a topologist
haha
 
I have quit going back to visit the department when I visit the Bay Area. Sorta sad.
 
when i say this crap about the ring structure on some cohomology crap of the spaces you care about, i'm just parroting what you told me, it's not coming from me
i went back in 2010 and talked to don sarason who now has also passed
haven't been back since
 
So, do you know Dana Williams? He did operator theory and is at Dartmouth. We were roommates for a bit over a year.
Sarason was a sweet guy.
 
i'm not sure i've ever met williams. sarason was such a hippie. i loved him.
 
I think Dana worked with Rieffel, but it might have been Arveson. Agh. Memory is shot.
Yes, ponytail and all :P
 
8:47 PM
my wife took calculus from sarason. even she knows him.
 
I never took courses from any of those guys, but I knew them from 3 PM tea every day, colloquia, etc.
OK, lunchtime for me. Sorry to have monopolized with memories!!
 
bill was just the nicest guy. don also. happy lunchtime
if anyone wants to answer the conjectures in arxiv.org/abs/1009.2553 please do so
 
9:06 PM
Thorgott never told me anything
 
dont remind him
 
I got caught up talking to some friends
I can try saying something now
 
@user2103480 is there a syllabus?
 
@AlessandroCodenotti Not yet
 
Just to check whether it's a GGT course or an algeo one with a bad disguise
 
9:17 PM
agnes.hu-berlin.de/lupo/… here you can look, at the bottom
geometry is crazy at HU, they offer a lot
 
My advisor wants me to take a course with two lectures per week, both at 8am next term
 
Easy. Make a macro of yourself and record every lecture
 
That's not such a bad idea
 
Just kidding about the macro, but recording is actually a good idea
 
Lectures at 8am on Monday should be illegal
 
9:20 PM
it's not like you're gonna have an exhausting weekend this summer (yet), eh?
 
At least I can watch them from bed home, in Bonn I had some lectures at 8am and I had to go there as well
 
dont remind me of going to lectures in bonn
The way there from cologne was horrible
 
What do you mean, you didn't enjoy taking the train in the hottest summer in forever to learn about forcing?
 
Nothing better than that
What made it even better was that I always had to work till like 1pm, and then hastily eat and rush to the train
Which was super hot and took always 10 minutes longer than it should so that I had to run to the bus which was then also late several times
 
I think it was actually a great course at least though
Imagine doing all that for a bad one
 
9:24 PM
No doubt. I mean, his lecture style wasn't particularly entertaining but MAN that was structured
I have never seen a lecture that was so thought-out
 
Indeed
And I'm very glad it was such a precise lecture for introducing forcing
I still feel it's a topic I would have zero chance of successfully learn by reading a book on my own
 
And the exercises were hard but often doable and useful for the lecture at the same time. Instructive routine verifications, and the harder exercises were often exactly that level of difficulty where one can solve it after bashing one's head against it long enough
@AlessandroCodenotti For sure
Joao did it though, right?
 
I'm not sure where/how he learned it
 
lmao his flex when I asked him "whoa where did you learn that" and he was like "forcing for mathematicians"
At one exercise that I just didnt manage to solve
I think sheet 6 or 7, the one with elementary embeddings
 
@user2103480 That's a really well written book though
And the author is very active on MO
 
9:28 PM
(2) Assume $\mathrm{V}=\mathrm{L}$. Let $C$ be a closed unbounded subset of $\aleph_{1}$ and
let $S$ be a stationary subset of $\aleph_{1}$. Prove that there is an $\alpha \in$ Ord with $\left(\mathrm{ZFC}^{-}+" \aleph_{1} \text { exists } "\right)^{\mathrm{L}_{\alpha}}$ and $\aleph_{1}^{\mathrm{L}_{\alpha}} \in C \cap S$
 
Do you have any idea what he's up to nowadays by any chance? Haven't really heard from him after he graduated
 
No, I did not stay in contact with anybody else from the course
I found it nice that in Bonn, people approached me when I missed a lecture and there was an announcement. That was a friendly environment
@AlessandroCodenotti The last time I talked to him was the HoTT oral
 
@Thorgott Whenever you want
 
9:50 PM
$\Psi(s)=\frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\Gamma(z)\sum_{n\ge1}\bigg(\frac{n^2+1}{n} \bigg)^{-sz}\,dz.$
Trying to compute this integral
$\Phi(s)=\frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\Gamma(z)\zeta(sz)\,dz.$
and this one
I would like to show for the second one that the LHS is equal to the sum of the residues of the integrand at its poles
I think the poles are $z=1/s$ and $z=-n$ for non-negative integers $n$
 
10:09 PM
The homotopy group $\pi_3(SO(4))$ classifies oriented $4$-dimensional vector bundles over $S^4$ by the clutching construction. There's an isomorphism $\mathbb{Z}\oplus\mathbb{Z}\rightarrow\pi_3(SO(4))$, mapping $(h,j)\mapsto(x\mapsto(y\mapsto x^hyx^j))$, quaternionic multiplication being understood. What Milnor does is look at the associated sphere bundles $M_{h,j}$, i.e. $S^3$-bundles over $S^4$; explicitly they are given as $D^4\times\mathbb{H}\cup_{f_{h,j}}D^4\times\mathbb{H}$ glued together along $f_{h,j}\colon S^3\times\mathbb{H}\rightarrow S^3\times\mathbb{H},\,(x,y)\mapsto(x,x^hyx^j)
 
thorgott putting up walls
 
Pure algebra proof
Now tell me why Hirzeburch formula is true
Actually don't
 
fuck if I know multiplicative sequences and that $\sqrt{t}/\tanh\sqrt{t}$ nonsense
in dimension $8$, you can just check the formula by trial and error
 
"it is a pleasant exercise"
 
if you know Thom's computation of the bordism ring, that is
 
10:16 PM
already practicing that lecture style I see
Impressive though, that's a lot for a seminar in, like, semester 6?
 
Thom's result is equivalent to the dual of the rational bordism ring having the Pontryagin numbers as basis. Since signature is bordism-invariant, this implies it is a polynomial combination of Pontryagin numbers. Try CP^4 and CP^2xCP^2 and you will get this formula.
@user2103480 it actually is
 
we have different definitions of pleasant
For me it's immensely pleasant to only deal with probability & analysis for a few weeks
Maybe I'll change my mind after wading through 5 increasingly general existence & uniqueness theorems for (S)PDE
 
10:35 PM
@Thorgott The word you want is exotic, not wild. Wild usually refers to things with bad non-smooth behavior (like the Alexander horned sphere)
 
what I mean is that these diffeomorphisms of S^6 are wild in the sense that they don't extend to diffeomorphisms of D^7
 
Yes, the term you want is exotic
Good writeup, maybe a bit formal for me! I would have phrased it by observing that the formula $\sigma = \frac{1}{45}(7p_2 - p_1^2)$ implies immediately that the invariant of closed 8-manifolds given by $p_1^2/45$ is divisible by 7. Whenever you have a result with a term like that this suggests you tend to get a relative invariant one dimension down in a group where you set this equal to zero
The Milnor invariant lies in Z/7, since the ambiguities resolve to a term in 7Z
 
yeah, this was one of the (maybe actually the, but I don't know for sure) first occurrences of such an invariant
the other early one being the Rokhlin invariant, which takes the signature of a spin 4-manifold bound by a given 3-manifold mod 16
 
Right!
next in 1974 was Chern-Simons
On a closed oriented 4-manifold with bundle E and connection A, one can pass from the curvature 2-form F_A to the 4-form tr(F_A^2), then integrate that over M to get a number in 8pi^2 Z (8pi^2 times a Chern class)
 
and that turns out to be independent of the connection then?
 
10:50 PM
Right, since it can be interpreted in terms of characteristic classes
Then on a closed 3-manifold with bundle [meh, don't worry about this too much, just pretend it's the trivial bundle] you can pick a closed 4-manifold it bounds and a connection it bounds --- $(Y, E, A) \to (X, \mathbf E, \mathbb A)$
Then set $\text{cs}(A) = \int_X \text{tr}(F_{\Bbb A}^2)$, and because of the above --- that the integral of something like this on a closed 4-manifold lives in 8pi^2 Z --- it follows that $\text{cs}(A)$ gives a well-defined $\Bbb R/8\pi^2\Bbb Z$-valued function
There are explicit formulae for this that don't involve X
But fundamentally to me it's noticing that whenever you have some set of discrete values for an invariant (which are more than what appears to be all possible values, a priori) you get a relative sort of invariant one dimension down
 
wild
I gotta learn the Chern-Weil interpretation of characteristic classes
 
11:18 PM
Physics fun fact of the day:
Every real R.V. has a density
Proof: $\Bbb P(X \leq t) = \Bbb P(t-X \geq 0) = \Bbb E[1_{(0,\infty)}(t-X)]$ so $$ \frac{\mathrm d}{\mathrm d t}\Bbb P(X \leq t) = \frac{\mathrm d}{\mathrm d t} \Bbb E[1_{(0,\infty)}(t-X)] = \Bbb E[ \frac{\mathrm d}{\mathrm d t} 1_{(0,\infty)}(t-X)] = \Bbb E[\delta(t-X)]$$
 
11:31 PM
when you have a series is it assumed to be in an x-y coordinate system?
 
What does that mean?
 
Somebody posted this on fb and, upon inquiry, said it they think it is differential geometry and this ... I can't really say what area that'd be
 
I think clearly there are some printing errors here
Since this would benefit nobody
 
It looks like some lexicographic order?
 
"Proof: Consider the counter-example"
what
 
11:36 PM
Or just an order, and tau is the relation. That would explain t(s,bullet) implies s = bullet
 
it cropped up on twitter not too long ago in some mini-pissing contest (i.e. 50% of math interactions on twitter) in relation to something inscrutable by Shelah, but I do not think this is Shelah
 
That sounds at least reasonable
in comparison to DG where I could only imagine this is some obscure atlas of some obscure space or something
I would've guessed something like universal algebra
and even that atlas thing just doesnt make any sense to me
@BigSocks Wanna see the most inscrutable I've ever seen?
 
ye
 
(warning: pdf)
page 28
This excerpt out of a text by hairer is a strong contender too, I posted that once here
Of course the next sentence must involve the word "straightforward"
 
Looks like something thatsmathematics.com/mathgen would produce
 
11:43 PM
could any please explain why the order of matrices multiplications are same for the following conventions?
 
@user2103480 oh no, not this again
 
@Thorgott if it haunts me in my sleep it should haunt you too
 
could any please explain why the order of matrices multiplications
are same for the following conventions?
At least for Z-Y-X, I'm expecting Rzyx= Rx()Ry()Rz()
 
I'm just thinking that when you change a metric maybe the method of summation should change
 
00:00 - 18:0019:00 - 00:00

« first day (3863 days earlier)      last day (1144 days later) »