« first day (1802 days earlier)      last day (3514 days later) » 

19:00
:P
I would bet serious money that you're going to study math, @Balarka. You're already too far gone.
@MikeMiller somethings wrong they blocked my access due to "systematic downloading" wtf!!!
Here you are:
Apr 20 at 20:06, by Balarka Sen
@KarimMansour nope. i do that every winter
@SohamChowdhury did you recieve my chat invite?
19:01
ah.
also, can't do that now :(
ah okay.
Heh, I got banned from MathWorld twice for downloading too many entries.
@anon: tensor product of two vector bundles that trivialize over the same open cover is given by just tensoring the transition matrices
in particular for line bundles, by multiplication
@zed111 darn
transition matrices? I am thinking of transition functions as those things from differential geometry, what is a transition matrix in the context of line bundles?
19:02
@TedShifrin: I guess I'm not going to give you my review of that paper today... unless you have access to JDG in perpetuity
@anon: "transition matrices" are functions $U_1 \cap U_2 \to GL_n(\mathbb F)$, whatever field your vector bundles are over
for line bundles that's $GL_1(\mathbb F) = \mathbb F^*$
Hmm, from my office (which I no longer have the keys for), I would. I might still be able to get onto JSTOR from home if I figure out how.
usually one just says transition functions but i figured it would be good to specify that they're matrices here, since I'm tensoring them
@anon: It's analogous. You work with trivializations of the vector bundles and on overlaps they patch by a map to $GL(k,F)$.
You're doing @Balarka's homework for him, @MikeM. Staaap.
I'm not looking.
19:04
@Ted: the paper's on project euclid here
UCLA's institutional access is VPN only and I forgot to set mine up
wait no that's not it
good night, chat.
i was typing in project euclid and it autocompleted to the paper i've looked at most, i guess
That was a link to a paper of Gabai's.
Ah.
night, @Soham.
i tried a second time and I got another paper of Taubes, but the wrong one
@MikeMiller I got it finally
19:09
hell yeah
Good, 'cuz I doubt I can.
Aren't you supposed to be at the airport, @MikeM?
that's where I am
guy playing the piano across the way from me
the vancouver airport has a piano player at all times
it's great
Wow, that's cool.
19:11
Sounds like a real classy affair, @MikeM
A good reason to emigrate? :)
sent
thanks!
i'll tell you whether or not it's worth reading, @Ted, but it's Taubes, so probably yes :)
Yes, Taubes is quality.
But I'm retired.
retired from having fun?
19:13
vancouver is very expensive
So are all the cities in CA, @Karim.
did you see how much houses cost there @TedShifrin ?
its like 2 million dollar for a good house
Depends on size and location, of course. We'd have to get more specific.
@Ted: That's why I sent you Do Re Mi...
I wondered why you did that, @MikeM. Of course, I was a fan of Woody Guthrie, so it confused me.
19:15
like locations anywhere good in vancouver cost 2 million dollar for a good house for example this suite cost 450 k $
most properties there have these prices
"Why, you better go back to beautiful Texas, Oklahoma, Kansas, Georgia, Tennessee."
Ohhh @MikeM ... ugh
for me it would be nice after phd and all of that stuff
to work in waterloo uni
though maybe you were careful after n years of teaching and saved up the do re mi...
they have good prices for houses over there
19:16
Well, look around various cities in the US, too, @Karim. SF, New York, San Diego are all crazy.
yeah waterloo though you can get pretty good house for 750 k $
@MikeM: I ain't buying never no more.
and it will be very large
@AlexW!
@MikeM!!!!
19:18
The house I just sold for about $225K in Georgia (with 1 acre + creek) would go for well over a million in places I'd want to live in CA, probably more than that.
hi @AlexWertheim
I guess vancouver is likew New York in US
now there's the person I need
@AlexW !!! You're alive?
Hello @BalarkaSen :)
@Ted!!! Lol, yes.
19:18
I thought you'd turned into a ghost.
Vancouver is not nearly as expensive as NYC. NYC is off the charts. But VC is definitely insane.
Thankfully not, at least not yet. ;)
Have you made the move to California yet, @Ted?
Nope, but I'll be there in 2 weeks. Now I'm going nuts with getting ready for the movers.
When will you show up there, @AlexW?
Very nice. Moving is always an unfortunate pain.
It's more of one when you're older and have more possessions :D
19:20
Just three weeks until I get to bother @MikeMiller, @Ted. :)
oh boy
wow, 3 weeks? that's a lot of time
Ah cool. I'm planning on driving to SF around Labor Day, so I may drop by to bug you guys on the way back.
i figured we were down to 2
Don't have too many beers to celebrate, @MikeM.
That's true. I'm bringing out my clothes, my books, and not too much more.
19:21
@Ted: Not possible.
Good @Ted! We can all get dinner, if @MikeM consents.
He's always quite contrary.
I thought I actually couldn't move in until August 1st, @MikeM. I probably would've come sooner if I could. I probably was wrong as usual. =P
@AlexWertheim $L/k$ be a separable field extension. Pushout (as $k$-modules) of the diagram $L \hookleftarrow k \hookrightarrow k^{alg}$ is $L \otimes_k k^{alg}$. Now, the map $L \to L \otimes_k k^{alg}$ should somehow relate to $\mathsf{Hom}_k(L, k^{alg})$ (well, $L \otimes k^{alg}$ is isom to a direct sum of copies of $k^{alg}$, and maps $\prod k^{alg} \to L$ should be analogous to the map $\bigsqcup * \to X$, as products translates to coproducts in the algebraic and topological picture).
d'you know of a way to rigorously do this?
UCSD apparently doesn't start until late in September, @MikeM, @AlexW. When do you guys start?
19:23
I think you can but it costs more.
@Ted: Alex starts boot camp Aug 10. I start TAing probability Aug 2 or something.
Costing more is dumb. :(
But that's still summer, @MikeM. When does fall start?
Who knows.
I think September 21st? I got some email about it.
Ah. I have forgotten what quarters are like.
Yeah, I think that's about when UCSD starts. One of my former students/advisees is ending up at UCSD ...
19:24
Something like that, at any rate.
@MikeM: Did you get assigned topology to grade/TA?
You excited, @AlexW?
@Balarka: I'm afraid not, though I wish I did.
These things aren't assigned until the month before it happens, if even that far out. As far as I know I'm the only one who asked.
Very, @Ted. Nervous, but excited. I've been off chat mainly to prepare a bit.
19:25
Excited is good. You'll get plenty more nervous as time goes on, so don't stress about it :)
I think the two most terrifying things so far have been walking in to TA my first class and the day before quals. Not the day of, for whatever reason.
Haha, I wish @Ted. :) I just tend to be an anxious guy sometimes, I suppose.
I had teaching experience before I started grad school, so I was always super pumped about teaching.
Just work hard and keep a positive attitude, Alex. I know you say it's easy for me to say, but ...
@AlexWertheim I am trying to find a way to get a formal analogy between covering spaces and galois theory. so far, I have found this : embeddings $k \hookrightarrow k^{alg}$ are analogous to point, morphisms between two embeddings (an aut of k^alg s.t. the diagram commutes) is analogous to a path, a neighborhood of a point is a $k$-algebra over $k$ s.t. a diagram commutes, again. fibers is either $A \otimes_k k^{alg}$ or $\mathsf{Hom}_k(L, k^{alg})$. ideally, it should be both.
@MikeM: that sounds about right. Actually, embarrassing as this is, I'm dreading the basic qual. How effective is boot camp for the analysis side? (I suppose this varies from person to person)
19:29
based on these, found two (quite trivial) characterizations of $\mathsf{Gal}(k^{alg}/k)$
have people seen the google deepdream thing
@AlexWertheim: Depends who's teaching. You'll do fine.
Neeman, so same as 2014, I think.
@MikeM: I think Jacob told me he was doing it again. I guess he's just the TA.
he did pretty well I think
yeah Jacob is TAing again
he did a good job with that
Of course :)
OK, I'm going back to the kitchen. Y'all have fun!
Safe flight, @MikeM.
19:31
See ya, @Ted! I probably won't be back here for a little while, so let me know if you'll be coming to LA once I'm there :)
Well, I don't know how to reach you, @AlexW, but ok :P
I guess nobody is interested in what I am trying to do... :P
bubye @Ted
Floops. Hrm, Mike does though :)
See ya, @Balarka. Happy Möbius and tensor.
True, @AlexW, but Mike might decide at any given minute to ignore me again :)
@Balarka: not ignoring you (sorry if it seems that way), just thinking about what you said.
19:32
will figure those out by tomorrow.
no, no, I know you're not ignoring you.
just expressing that probably what I have found so far is nothing so interesting.
You really want to think about extension of scalars as allowing you to "twist" coefficients of things, @Balarka.
(I don't think they are either, just to emphasize that I'm not complaining)
heya @Kaj
@AlexClark, I saw them in concert on Monday :)
Hey @TedShifrin
@TedShifrin ok, I'll keep that in mind.
hi @Kaj.
19:34
Sweet new picture, @Kaj.
@Kaj: You forgot to get my old flip phone before you left.
I think Kaj with half a head looks silly :P
I like it!
That's because you always have half a mind to do things :P
But he's smiling and doing math!
haha, that's fine @Ted. You've bequeathed me so many other things.
19:35
Hey @TedShifrin remember the card problem I presented to you? Well for the 2 reds and 1 blue what I got was (10C2 + 8C1) * 3!
What's better than doing math and smiling while you're doing it? :)
True — if he's smiling, he's not doing Ted math :P
@Ted: amusing: any $G$-bundle over $S^3$ is automatically trivial. (clutching construction + $\pi_2(G) = 0$)
Correct, @MikeM. :)
19:36
?! i can't believe that.
$G$ = Lie group @Balarka
Let me think, @Deathslice. It's always tricky to be sure one doesn't double-count.
well, still quite surprising, although don't know nearly enough about Lie groups
@TedShifrin My thought process was to find the combination of getting two reds and one blue and multiplying by 3! because that is how many ways you can arrange it.
19:39
It seems the answer should be 2700, @Deathslice. Is that what you get?
nope I got 2160
Oh, wait. There were only 8 blues?
Sorry. So I get $720\cdot 3 = 2160$, yup.
You're correct.
weren't you going back to the kitchen
19:40
Yes, your hint was helpful enough
You always have my best interest at heart, don't you, @MikeM/
So the next problem is exactly one card numbered 1.
Here was the first question on my probability final last fall, @Deathslice: A committee of $7$ people is to be chosen from a group consisting of $9$ (distinguishable) women and $10$ (distinguishable) men. If the committee must contain at least $3$ women and at least $2$ men, how many different committees are possible?
You can do the same approach for your next question, but you have to make sure you account for exactly one $1$ in your combinations count.
19:54
@TedShifrin Well I got 3 three different committees.
Whoa, @Deathslice. There should be way more than 3 ! Like orders of magnitude more.
@TedShifrin Can I ask you another question?
Some people are saying that it's (10C2 * 8C1) * 3! not (10C2 + 8C1) * 3!
Do you agree?
This is referring to the previous problem that we did.
Oh, oops, I didn't pay that much attention. How did you get the answer we agreed on with the addition? It needs to be multiplication, yes.
It's like this: If you have 5 choices for pair of pants and 8 choices for shirt, how many outfits do you have?
20:05
Yes I see know
Is an injective map $f : \mathbb{R}^2 \to \mathbb{R}^2$ that sends lines to lines necessarily a linear transformation? I'm not totally sure, but I can't think of a good counterexample.
Are you requiring $f(0)=0$? @James. If not, no chance.
And I would bet no chance unless it's continuous or some further hypothesis.
Okay, let me play with that a little. Thanks.
hey @TedShifrin
I thought you left, @Karim?
20:11
nah I was just solving problems
but stuck on something
Suppose we have $X = \{ (-1)^m + \frac{1}{n} : n,m \in N \}$
ah, well, alex is gone.
Alex has lots of studying to do, @Balarka.
i'm on my own, i guess. let's see what i can come up with tomorrow.
I found that $X = \{1 + 1/m\} \cup \{-1 + 1/n\}$
i understand, @Ted.
20:13
so 1 and -1 are the only accumulation point
the way I proved it is as follows
so I considered the set $(-\infty,-1] \cup [1,\infty)$ and constructed the ball by considering if it is in the left set the one that has -1 then I consider y + 1 / 2 and the other one is y - 1 / 2
now the problem I am having for points inside of the interval (-1,11)
(-1,1)
What is $y$? I am not following.
that is suppose y $\in (-\infty,-1]$ such that $y \neq -1$ and considered B(y,r) such that r is defined the way I did define it
I don't like using x
and similiarly for $[1,\infty)$
using the definition of r I gave above
I don't understand what you're doing with $y\pm 1/2$.
Your set is a union of two sequences, $\{-1 + 1/n\}$ and $\{1 + 1/n\}$. You should prove that for any point other than 1, -1 in the sequence, there is a ball disjoint from any other point. This proves that no such point can be an accumulation point.
I'll just shut up and leave all this to @Ted
yeah that is what I am doing @BalarkaSen I am proving that there -1 and 1 are accumulation points and there doesn't exists any other accumulation points
20:17
LOL, if you're going to meddle, then you need to finish meddling, @Balarka.
so the reason I am doing this is as follows
It doesn't suffice to consider just points of the sequence.
@TedShifrin I figured you'd say that.
But you should be able to argue that for any point other than $\pm 1$ any interval *not containing $\pm 1$ contains at most finitely many points of the set.
for y $\in (\infty,-1]$ so $B(y,r) = (y - r, y + r) = (\frac{2y + 1}{2},-\frac{1}{2})$
which is clearly not inside of (-1,1)
20:19
so what?
so $(B(y,r) - {y}) \cap S = \emptyset$
since to be an accumulation point every n-ball must interest with your set X
Are you sure? I keep telling you to draw pictures. Do they tell you this, or does algebra tell you this?
intersect
I drew pictures
Seems like that interval may contains lots of points of $X$, @Karim.
Is the right endpoint really $-1/2$?
20:21
Then if $y<-3/2$, that interval contains infinitely many points of your set.
You're not going about this intelligently.
How can $y$ be smaller than $-1$? $\{-1+1/n\}$ has inf = $-1$.
but y $\in$ (\infty,-1]
so it can't be < -3/2
yeah exactly
If you're writing $(a,b]$, then I assume $a<b$, so I assume you meant $-\infty$.
I considered the points outside of the set to show that those points can never be accumulation point the way I did this I divided into 3 intervals
our set is contained inside of (-1,1)
No it's not.
20:25
I see
yeah
it is inside of (-1,2) !!
But there's a much better way to do this. If you pick any point $y$ other than $\pm 1$, you should be able to describe how to pick an interval that contains no point of the set, other than possibly $y$ itself.
directly !?
Well, $(-1,2]$, actually.
-1,2] yeah
h
hm yeah I think I should be able to do it directly too
brb will go think about it
If $y\ne\pm 1$, you should be able to see that there's a positive distance to the set $X-\{y\}$.
20:27
I see
Go work on it :)
I'm wondering how should I spend the next 30 minutes I have, relearning tensor products, or racking my brains over on the problem I am thinking about, or hunting for an algebraist to help with my work, or just sleeping.
of course, doing any of these have advantages over the others. but the optimal advantageous strategy is what I want.
@BalarkaSen relearning stuff is never a waste
I think you should spend 6 weeks deciding the optimal strategy.
4
20:34
@TobiasKildetoft true
@TedShifrin, Thanks for the help, you were right. If $f$ is bijective, continuous, preserves lines, and fixes the origin then it's a linear transformation.
That sounds more believable, @James :)
@TedShifrin that won't do, no, as 6 weeks > 30 minutes.
Without continuity, there are all sorts of crazy things.
Irrelevant @Balarka
I guess I'll relearn tensor products.
20:42
can i just check - any straight line with an angle of inclination x, has a gradient of tan(x) ?
at least thats how my mind seems to think
Went through the security checkpoint in about 2 minutes. Nice experience.
You didn't look so guilty today, @MikeM? :)
am i correct?
Yes, @Dave.
okay thank you
20:47
@Ted: As far as I can tell Canada isn't a police state, which is a good start.
Well, I don't think you and I have the visible profile to be hassled, in general, @MikeM. Not true for lots of other people.
I just recalled how I loved algebra and hated Atiyah-MacDonald. sigh.
I first learned tensor stuff in the context of multilinear algebra and multivariable calculus. Then I got to commutative algebra later.
I hardly know any commutative algebra.
Geometers and physicists do not think about tensor products the way you were learning them. But the universal property is useful and not unnatural.
20:54
yeah, it's not unnatural
Pun intended.
your exercise was to prove $k^n \otimes_k k^m \cong k^{nm}$, right?
One of my exercises, yes.

« first day (1802 days earlier)      last day (3514 days later) »