« first day (2484 days earlier)      last day (2832 days later) » 

18:00
@Alessandro @MikeM: slight correction — singularity of any sort, not necessarily a pole
Thanks
hi chat
Hi @eric
Hi Eric.
But $\sum_{n=1}^0$ does not make sense, or is it?
18:04
It's the empty sum, @Secret. But why are you writing that?
Oh, I see.
Yeah, empty sum.
I am trying to understand how that give me the cantor function, thus I decided to plug a randomly chosen $x$ into the expression to "visualise" it
ah I see
Well, try a few examples with $N_x > 1$. :)
So @Ted, in geometry looks like we'll be doing Cheeger-Gromoll next class and then Schoen-Yau in the final class. We did Bishop-Gromov today
these comparison things are fun
LOL ... I like that — "doing" a huge theorem that would take several weeks of lectures to "do" :P
hi @Ted
18:09
Hi @Sha
his job is made easy by the fact that he's relegating a bunch of steps to our take home final
well, I guess you could look up the papers for your take-home final :)
Can you remind me of the statements of those? I forget a lot of comparison geometry.
I never studied comparison geometry.
I really am not Riemannian.
have never heard the term comparison geometry
Zee
Zee
18:12
Theorems based on comparing curvature to constant curvature manifolds
Guys, say we have the Schrödinger equation,
$$
i\hbar\frac{\partial\Psi}{\partial t}=-\frac{\hbar^2}{2m}\frac{\partial^2\Psi}{\partial x^2}+V\Psi.
$$
Now my book says that if $V$ is a function only of $x$, we can solve the Schrödinger equation by the method of separation of variables. I don't see how this is the case though. Why wouldn't it be possible that $V(x,t)=\alpha(x)\beta(t)$, for instance? Or should I just take my book for their word?
You received my messages? @TedShifrin
Bishop-Gromov says that if $\text{Ric} \geq K(n - 1)$ for a constant $K$ then you have $\text{vol}(B_{r}(p))/\text{vol}(B_{r}^{k}(p_{K}))$ is nonincreasing or something @Mike
Yup, Nate, i saw. I'm sorry. It sounds like they did slip up a bit.
where $B_{r}^{k}(p_{K})$ lives in the model space with curvature $K$
idk what Cheeger-Gromoll and Schoen-Yau say yet
18:13
I once knew.
You might tell Captain the pinching theorem, too.
(It's getting late) I think I have some rough idea on how cantor function can jump despite it is horizontal lines almost everywhere, cause I am seeing infinite convergent sequences popping up again when playing with $N_x > 1$. Zee said the jumps are lesbegue measure zero so I suspect it might be once again had something to do with the weirdness of rationals. But first for tomorrow, I need to re-convince myself again by proving that the cantor function is continous.
Hopefully by doing so I can see how infinite number of steps can make this naively look discontinous staircase continous by so
@BalarkaSen Hope you're having a good day, friend.
@Sha. I don't understand your question. They said IF.
what is the pinching theorem @Ted?
Quarter-pinched sphere theorem
18:15
Go on, @MikeM :)
Ooohhhh that one
Cheeger-Gromoll is either soul or splitting... Do either of those qualify as comparison geometry?
@Ted oh okay, I thought* it was an implication
splitting i think is what he said we'd prove
@Sha: It is an implication.
18:16
@TedShifrin Hi and thanks!
I'm gonna watch the history of the world today and just relax.
So, @Alessandro, shall I wave to you taking the train from Genova to Trieste? :)
@Ted but then that would mean that if $V(x,t)$ is not a function of $x$ only, we can't solve it by separating variables. And that was exactly my question; how come?
but I guess I shouldn't care
for now
I guess I don't remember how to prove Cheeger-Gromoll.
I see that it works if it's indeed just a function of $x$
18:18
@TedShifrin when will you be in Italy exactly?
First of all, @Sha, your logic is faulty. It's an implication, not an if-and-only-if. But I'm guessing separation of variables will get all tangled up in that case. Try it.
Um, June 13–19, @Alessandro.
@Ted no I meant $(A\implies B)\iff (\neg B\implies\neg A)$. I don't really know how to try it for now, but maybe later, when I'm a bit more accustomed to it
Ah, that overlaps a lot with my exams week
@Sha You might want to add parenthesis
But what you typed to me above was not contrapositive, @Sha. Read carefully.
18:20
oh right
I see
@MikeMiller Right. Without evidence, there's nothing actionable. Community knowledge may be wrong, after all.
@DanielFischer Thanks for looking into it. That's not good news.
@Mike btw Neves started saying something about gauge theory that went super far over my head, what's a good place to learn the very basics of that stuff, might have time to look a bit when classes end
Oh, look, it's a Balarka.
Hi, a @Ted.
18:22
Tell me something of what he said?
it went so thoroughly over my head that I don't even remember clearly
something something seiberg-witten
Do you know any spin geometry?
Sad.
Salamon's Seiberg-Witten notes.
18:26
@Dodsy Yeah I'm good. I hope I'd get some math done today.
The day is young!
I can give you access to my reference collection which includes this stuff but I still need to upload the gauge theory stuff. Salamon's notes are online for free though.
cool cool cool, will check out salamon's notes
@MikeMiller I did not know it was community knowledge, however I am often out of the loop in this place.
oh wow these notes are long
18:28
@EricSilva I've got it printed out and bound as a 5-volume set.
@Astyx I suppose you must learn to row your boat as a pianist as well...
I should be able to remind myself of the details at-will if you want to talk about it.
@BalarkaSen Indeed. Chat moderation is unsatisfactory.
oh incredible
Zee
Zee
Is research in algebraic topology very algebraic?
18:30
ummm
it can be.
For older style gauge theory (pre Seiberg-Witten), you might look at Blaine Lawson's CBMS lectures on Uhlenbeck's stuff.
Zee
Zee
Can it also not be?
Hi again, @DanielF.
Yes. Anything Blaine writes or lectures is wonderful :)
18:31
I would probably suggest Uhlenbeck-Freed before that.
Seems like he covers the same material.
We went through Blaine's lectures in a seminar years ago at UGA. It was quite approachable.
I should probably put a cap on what I wanna look at this summer
things are starting to pile up
Welcome to life, Eric.
18:32
lmao
Hi @Ted.
Start with the Seiberg-Witten stuff. It's technically easier.
Zee
Zee
Is this the same Blaine at stony brook?
Yes, Lawson.
@DanielFischer So it seems. Well, I'm not going to desist saying things (since I do not think the community is seriously offended by any of it) out of being threatened by flags (obviously not made in good faith), I guess.
Haven't seen you here in a while, by the way.
18:33
okok @Mike
I hope you won't Balarka, I've never been offended by what you've said and I don't want you to change because of chatroom politics...
Yes, we miss you, DanielF.
I think I'll cap it at reviewing some PDE stuff, familiarizing myself a bit more with the Cartan game for that bryant paper, and looking at the gauge stuff
Yes, @EricSilva: We have to discuss that Bryant paper.
I'll be gone for June, but when I get back I expect you to be ready. :P
@BalarkaSen Yes, I'm not so much in chat nowadays. Too many people, everything's going too fast.
18:34
How is your morning going Ted.
I will do my best
in that vein though, @Ted do you know the book by Ivey and Landsberg on the Cartan stuff?/if it's any good
The most important difference is the bubbling phenomenon Uhlenbeck discovered first with harmonic maps, whereby you need to compactify the relevant moduli spaces due to certain conformal reparameterization properties of the objects of study. This compactification is important in so many kinds of geometry (that rest on Donaldson-ey or Floer-ey ideas) that it's really beautiful to see it in the easiest contexts.
Went for my annual physical, Nate, and the good news I'm still alive.
@DanielFischer Agreed. This is a productivity blackhole anyway!
Wow, wonderful!
18:35
I do not know it personally, @EricSilva. Jeanne Clelland also just wrote a new book the AMS published. I reviewed it in great detail pre-publication. They're all Robert Bryant students.
But that's exactly why I think you should start with Seiberg-Witten - you can avoid these hard technical points and see how to extract invariants from well-behaved differential equations.
I think Mike needs to teach us a course, @EricSilva.
@TedShifrin I had a physical when I was in hs and a couple years later my doctor was fired for violating patients during the physical!!!!!!!!!!!
fun fun fun
Is physical to be opposed to psychological ?
18:36
So, naturally I am wary of doctors.
wary, not weary
I think that's a good set of goals, Eric. What are you going to do for PDE?
Wary!
Zee
Zee
Am wary of doctors because they refuse to prove to me anything
Well, that's a horrible thing, but I wouldn't mind if my doctor violated me, Nate. :) Different situation, different place in life :)
18:37
Haha :)
But actually I love this doctor ... very responsive and much more with it than my previous doctors in GA.
That's great.
@Astyx I need a weekly psychological.
Zee
Zee
I think all doctors need a degree in math
@Mike I'm probably gonna review the stuff in Taylor/Evans, I've got a few weeks before I have to attend an analysis summer school on PDE so i figure i should properly review fundamentals
18:38
I would long ago have been dead were it not for some talented doctors and surgeons. First heart issues, then cancer. So I very much appreciate good doctors.
You need it hourly, @BalarkaSen.
agrees with Mike
@EricSilva great idea... you should teach me some of the PDE
Well, I am very glad that you received good treatment and can be here today to speak with us.
I only ever really really learned the stuff I work with
18:39
:D
And I only sorta learned parts of Taylor that I thought were interesting
PDE are other things that excite me
OK, so Eric lectures on PDE and Mike lectures on Seiberg-Witten. I'm in.
I'm a little sad about how little PDE I actually know
Can we do joint Skype?
I guess I'm willing to lecture on moving frames :P
18:40
runs
runts
@Balarka asks to be banned yet again.
u gonna flag me
Just tell me what a moving frame is.
No, I'm suggesting that you want to be banned in this case, Balarka.
Zee
Zee
18:41
Something about carton and basis
A local section of the frame bundle?
LMAO carton
Mozart apparently loved scatological jokes
OK, I'll be back later ...
Guys, not sure if this is the right place to ask (but I'll try anyway); say we have the following ODE:
$$
i\hbar\frac{1}{\phi}\frac{d\phi}{dt}=E.
$$
The general solution is $C\exp(-iEt/\hbar)$. Now my book says that "we might as well absorb the constant $C$ into $\psi$ (since the quantity of interest is the product $\psi\phi$)." Therefore
$$
\phi(t)=e^{-iEt/\hbar}.
$$
I don't really understand why we can "absorb" $C$ into $\phi$. Do mean that when we write $\phi$, we actually mean $1/C\cdot\phi$?
18:42
Bye @Ted
Bye @TedShifrin
Bye @Ted
So, what, the method is to pick a nice choice of local frame in a good choice of normal coordinate system, and then realize that everything tensorial is determined by this local frame and its derivatives?
Zee
Zee
Bye @TedShifrin
18:43
So you can just compute for the local frame and then get everything else by linear algebra?
Zee
Zee
Damn mike, you broke the streak
@ShaVuklia I don't see any $\psi$ in your differential equation, though?
Fancy name.
18:43
@Sha No, it means we can impose $|\phi(t)|$ to be equal to 1 setting $\phi_2(t) = {\phi(t)\over|\phi(t)|}$ and $\psi_2(t) = \psi(t) |\phi(t)|$
I don't like coordinates. :(
@Steamy sorry, some typos. I edited it tho
Then $\phi_2\psi_2 = \phi\psi$ so they satisfy the same equations
Most likely, the point is that you have 2 differential equations $\phi$ and $\psi$ which both have solutions $A \dots$ and $B \dots$, but since you care about the product $\phi \psi$ , there's no point in having it equal $AB ....$. A single constant suffices, and you choose to put it with either $\phi$ or $\psi$.
Considering the edits, my "No" becomes a "Yes" I guess
18:46
@Steamy oh, so I kind of pick a "particular" solution for $\phi$, and then I can pick a general one for $\psi$?
Well, I'd need to see more of the context to be sure, but I'm guessing that's it.
well it's physics. a guess is already good enough, if you ask me
it's quantum mechanics on the wave function
With stationnary solutions
yea exactly
we first have the Schrödinger equation, but then we consider $V=V(x)$, and we consider a separable solution for $\Psi$
ohhh
@MikeMiller Who do you think is the perpetrator hurting Balarka.
Zee
Zee
18:48
"...good enough" spoken like a true physicist
the time-independent Schrödinger equation is the differential equation with $\Psi$
I did not notice that:P
lol @Zee
Since the solutions are up to a constant, and only the product interrests you, you can move the constants from one of the terms to the other
As Steamy said
right
ohhhh
I completely misread it
I thought it was $\phi$ which absorbs $C$, but it's $\psi$
ok, now it makes totally sense
@Mike I feel like a weirdo for this but I actually like
the confusion kind of explains my typos :P
18:50
Heh, Schrödinger equations... maybe one of the few things I do miss from my physics days...
Coordinates
lol well, you can help me the next weeks if you miss them so much:P
I can't compute, with or without coordinates, so I don't get to vote
@Dodsy I don't think anyone who suspects the person would feel comfortable about saying the name here
I also am not particularly hurt :P
How does one write the $h$ that has a line crossing it in Latex ?
18:51
Thanks
@BalarkaSen I respect that, no problem.
Oh yeah i had totally forgotten about detexify ... even though I use it once a week or so
Silly me
Thanks !
$\saturn$ <-- close enough?
awwww, I guess mathjax doesn't have the package
@EricSilva I find they hide the geometry for me. It becomes symbols. Symbols are good for doing PDE, but that's never how I understand things.
18:53
What's the original symbol ? :p
Oh nice
\hslash bothers me, though.
Why ?
Like, you definitely can't use that together with \hbar without causing massive confusion.
18:57
$\hslash$
So, in what context is it so important that the h has a slash instead of a bar...
woah
$\hbar$
Why'd it go red
because it's not recognised.
mathjax most likely only uses the basic "ams" packages
hm

« first day (2484 days earlier)      last day (2832 days later) »