« first day (2095 days earlier)      last day (2920 days later) » 

7:00 PM
I've heard of Catalan numbers, but not Catalan polynomials.
 
I think I mean ECH. These really big things whose differentials don't just count holomorphic cylinders because there's lots of bubbling.
 
Ya to me this seems more useful as an invariant either of symplectic manifolds or of submanifolds of contact manifolds (Leg, and transverse). I don't know how to say many things about contact strs. themselves.
 
Ok. I don't know anything about these things.
 
@tobias googling, the most obvious notion of Catalan polynomials i see are q-analog stuff
 
We probably sound insane to anybody else.
2
 
7:05 PM
There's plenty of people I'm sure I just sound like an idiot to.
 
No, we possibly can't, as almost all of us are insane.
Insanes can't tell if someone is insane or not.
 
Not sure if those people are in this chat.
 
pretty sure anyone who talks on this chat enough falls into the 'sounds insane' category eventually
 
@PVAL I'm talking to Tom next weekend. I'm terrified. (I don't know if "Tom" is enough info.)
 
Is Tom the person I just posted a paper of>
He knows some SW stuff.
 
7:07 PM
No, he's in my field.
 
Well Thomas Mark is also kind of in your field.
He was a student of Fintushel
 
Idk why I'm being secretive but I started so I'll stick with it.
 
See the person's name you're refering to isn't Thomas so I don't automatically realize he'd go by Tom.
 
Yea I realized.
Plane is taking off. See ya.
 
Safe flight.
 
7:10 PM
cya later
 
I wonder where @TedShifrin is.
 
7:27 PM
On YouTube :P
24/7
 
Not always can one get help from those lectures, even though they are all very good :) I guess I can shoot him an e-mail.
 
what stuff are you working on now, @Balarka? Done with flux stuff?
 
Barely learnt those. Working on a couple exercises on what I have done so far.
Next chapter is Stokes so want to make sure I understood everything.
@Semiclassical you got something interesting to tell me?
 
nah
tbh i'm killing time while i wait for this mathematica plot to come out
 
ah, i see
 
7:43 PM
nintegrate is being absurdly slow, sigh
probably i'm not doing it in the best way, of course
 
8:07 PM
@Semiclassical Not sure if they are actually called Catalan polynomials. That are similar to Fibonacci polynomials, though they satisfy a slightly different recurrence.
 
Hi @Pedro.
 
Hello.
 
What's up?
 
Writing stuff. Might stop and read Lee and Spivak.
 
Learning smooth manifolds?
 
8:13 PM
Yes.
 
I'm having odd typos today.
@Pedro Nice. I don't know much other than the basics.
 
There's this cute result that a smooth manifold has countable fundamental group.
 
Eh, not really that cute to me. Just tells that smooth manifolds are reasonable objects.
I guess you need to prove that smooth manifolds admit triangulation to do that?
 
Is the floor function surjective?
 
@BalarkaSen No, not at all.
 
8:15 PM
@PedroTamaroff where are you studying this stuff ?
 
Aha? How does the proof go?
 
@BalarkaSen One has to show there is a countable open cover with certain properties. For example, one can show there is a countable open cover such that $U,V$ and $U\cap V$ are simply connected for all $U,V$.
And then one carries a Van Kampen like argument.
 
I see.
 
I mean if the co-domain is a group of integers under addition and the domain is a group of non-zero rationals under multiplication will the floor function be surjective?
 
It's really not that crazy.
 
8:17 PM
Thanks for telling me that, interesting.
 
?
@PedroTamaroff allen hatcher ?
 
@Adeek What is "this stuff"?
 
@PedroTamaroff Well, I think the proof that smooth manifolds admit triangulation is not crazy either, but I just don't know it :)
 
smooth manifolds
 
6 mins ago, by Pedro Tamaroff
Writing stuff. Might stop and read Lee and Spivak.
 
8:19 PM
I see
Yeah I have lee's book
 
@Pedro Hmm. Now I think you actually don't need the smooth structure.
But I am not sure.
Is it not the case that any manifold have the homotopy type of a finite simplicial complex?
Something good cover, something something nerve theorem something.
 
@BalarkaSen Compact, perhaps?
 
Yeah, I think compactness is needed.
Well, I need to get back to differential forms. Thanks again.
 
OK, that looks more involved that I recalled. Thanks.
 
8:36 PM
hi
 
Right, the point is just that smooth manifolds cannot be that badly behaved. Everything has the homotopy type of at least a countable CW complex.
 
@PedroTamaroff Hi.
 
@MikeMiller How can you use internet on planes? Doesn't that like interfere with the flight communications and devices?
Merely curious.
 
I'm on the ground.
Also, no it doesn't. It just interferes with your bank account.
 
Ah.
Haha.
 
8:49 PM
Anybody up for a random discrete math problem
Oh, anyways: Find the number of regia that space 3D space is divided in by $N$ planes in general position
I solved it using the easier problem of the number of regia that a 2D plane is divided into by $N$ lines in general position, has anybody got other ideas?
 
9:05 PM
@Ambar It is a bit ridiculous to say "regia" and not "regions".
 
Huy
even more so because the latin plural for regio would be regiones
 
This is a plan of regia type building
 
@PedroTamaroff I see
@Mambo Thats interesting
 
@Semiclassical hey. Did you continue working on my problem?
 
nope. occupied with research stuff
 
9:18 PM
btw, I need 5 points to get 20k.
 
nice
i've lingered at 7.2k for a while now, mostly because i can't be arsed to do questions anymore
 
@user1618033 Did you see the recent movie about Ramanujam
 
@Mambo Ramanujan. No, I didn't watch it yet, but I'm going to watch it for sure. Did you watch it?
 
It released yesterday here
 
@Mambo Cool.
 
9:23 PM
The man who knew infinity - the title
 
hmm. trying to work out a "top 10 things to do while you're waiting for mathematica to plot something"
1) think of silly lists
 
sleep
 
3) think of all the stuff you'd have mathematica do instead if it wasn't tied up plotting
 
@Mambo Do you think Ramanujan was humble in mathematics?
 
9:40 PM
it's such a pain to latex things
 
What is the meaning of humbleness in mathematics? Loving and respecting mathematics also means to get very top results in it, or tying to get them (at least).
 
Hello all!
 
He wasn't proud of him
humble in this sense
 
Why aren't norms allowed to take on infinite values?
 
@Kari Hi.
 
9:43 PM
I'm yet to get a chance to sit down and watch The Wind Rises, @BalarkaSen ^_^"
 
Norms are function from whatever vector space you are in to $\Bbb R$. What do you mean by taking infinite values?
Work in extended reals? That can quickly get messy.
 
 
@Kari Trying to catch up with life? :)
 
The phrasing throws me off somewhat!
I did a bit too much living and not enough math so I'm catching up on the latter, @BalarkaSen :-b
 
That's bad phrasing, yes.
Norms on a vector space $V$ are special kind of maps $V \to \Bbb R$, thus it doesn't make sense to ask if they take infinite values. In this case, the sup norm is actually a norm only when it is actually a real number. I.e., on bounded sequences, it's a norm.
Why are norms maps to $\Bbb R$ and not to $\Bbb R \cup \{\pm \infty\}$? Because intuitively they measure how "long" a vector is on your vector space. Setting length to be infinity for some vectors messes the intuition up!
 
9:51 PM
@Mambo Pride is also relative. I think, if considering the negative conotation of pride, that it might be sometimes useful. If you ask me, I think its very hard to be pride in front of a nice, respectful person.
 
He didn't care much
 
@Mambo Often pride is provoked by those that simulate the humbleness, if you ask me.
 
That's a wicked explanation, @BalarkaSen! ^_^
 
Well, that's just your opinion
 
@Kari No problem. I'm just using the intuition on $\Bbb R^n$, with the plain vanilla norm $\|(x_1, \cdots, x_n)\| = \sqrt{x_1^2 + \cdots + x_n^2}$.
 
9:55 PM
why is this vanilla norm?
 
very bad adjective
That is a beautiful norm. You shouldn't have used plain vanilla norm
 
It's just a standard, well-known norm. I didn't say anything against it's nicety or usefulness :P
 
Whoever flagged that needs a good spank.
Flags are NOT to be abused.
 
Please don't flag things that aren't genuinely offensive, or that ^ happens.
 
10:00 PM
I wonder what was flagged.
 
It was mathematically offensive, though
 
5 mins ago, by Balarka Sen
@Kari No problem. I'm just using the intuition on $\Bbb R^n$, with the plain vanilla norm $\|(x_1, \cdots, x_n)\| = \sqrt{x_1^2 + \cdots + x_n^2}$.
 
Cannot comprehend flags like that.
 
Too bad, today I couldn't work that much ... one day lost (business in the city) - and now I'm here to ruin more of my time.
 
I have no idea what the point of that flag was.
 
10:01 PM
@Mambo Ah, but it's not offensive. There's a difference.
 
It wasn't mathematically offensive either. People are being over-sensitive about things.
 
@ArtOfCode Ok
@BalarkaSen It was
 
...
I don't want to waste my night on this pointless conversation.
 
@ArtOfCode I thought some MSE moderator would handle this here.
 
@Mambo In chat, any moderator can see every flag.
 
Huy
10:06 PM
why should "vanilla" be anything bad?
 
Plain-vanilla means lacking special features or qualities
 
It just means the simplest form.
Just like the Jordan canonical form being an almost vanilla form for matrices.
 
Don't you use that again
 
i find this entire conversation offensive in its purposelessness. doesn't mean it'd be sensible for flagging.
 
It's an adjective. Freedom of speech is a thing.
I'm leaving. This is a waste of time.
 
Huy
10:11 PM
^
 
@ArtOfCode Can one see the history of flags?
 
@Mambo To an extent, yes.
 
Can you please elaborate what did you mean there?
 
user147690
Come back ;) @BalarkaSen
 
@Mambo I can see certain aspects of the history of flags in chat. The tooling isn't amazing, but it's there.
 
10:18 PM
@ArtOfCode Can you show some of them, particularly in MSE chat?
 
@Mambo As in, can I see them? Yes. Can I show you them publicly? Gonna go with no.
 
You pinged me, @AlexClark?
 
@ArtOfCode Well, a flagged comment was displayed publically earlier by Hosch250
 
user147690
Ahh I wanted to ask a question, but it would strongly complicate my actually much simpler problem I realised @BalarkaSen
 
Mhm, OK. What're you working on?
 
user147690
10:22 PM
Well I am just looking at Algebraic groups atm
 
@Mambo ah, the comment, yeah. That's basically public anyway, so that's not an issue. The other data I get access to is less clear.
 
You're getting ahead of me :)
 
user147690
Am I haha, I don't think so
 
Not that I am studying algebraic geometry anymore for a few days.
 
user147690
I am looking far ahead at them, and not making much sense yet :P
 
user147690
10:23 PM
I actually needed them for my research program, not for my AG haha :D
 
Ah, that makes sense.
 
user147690
Do you know the Picard group? (Not related to my project)
 
Bits about it.
 
user147690
Is that an algebraic group?
 
I don't know if it can be given structure of an algebraic variety. I thought it was just group of line bundles on your variety.
 
user147690
10:25 PM
Hmmm I see
 
@AlexClark You know @Krijn here? He's an algebraic geometry guy. Maybe you two could discuss whatever problems you have together?
 
user147690
Sounds good, if he pops up :)
 
I am rather busy with differential forms right now, and you're getting too ahead of me for me to make any useful comments, thus the suggestion :)
Well, good luck with your research program and studies. I have to go and work right now.
See ya.
 
user147690
Sure, talk soon, good luck
 

« first day (2095 days earlier)      last day (2920 days later) »