Mathematics - 2014-06-20 (page 1 of 5)

« first day (1416 days earlier) ← previous day next day → last day (3607 days later) »

12:00 AM

@AlexanderGruber Maybe Alex and Gruber and Peter should hang out.

Team Gruber

Karl Kronenfeld

@AlexanderGruber You'll find the deep connection between finite superdupersolvable group theory and infinite cardinals, leading to the important Gruber's Theorem of set theory.

what does that theorem say?

Karl Kronenfeld

It would be Kronenfeld's Theorem if I knew

Alexander Gruber

@KarlKronenfeld and spend the rest of my life trying to disprove it, like Planck did with Quantum Mechanics.

Karl Kronenfeld

12:01 AM

:D

Planck was too stubborn, like Einstein

Alexander Gruber

I have a problem @PedroTamaroff.

@BalarkaSen it has.

@Comtruise, Ramsey theory is concerned with finding how large/complex a given structure must be in order to guarantee a certain degree of low-level order. In that sense, Ramsey's theorem is definitely part of Ramsey theory.

@robjohn Are you considering posting something?

12:11 AM

@skullpatrol at some point probably

cool

In it's least general form, Ramsey's theorem takes complete, 2-colored graphs (the given structure) and asks how many vertices they must have such that you are guaranteed a monochromatic clique of a certain size (which is a certain degree of low-level order).

@BalarkaSen Looks like the proof is very similar in flavor to the standard proof. Looks interesting nonetheless, though, I'll check it out sometime.

Theorem. Let X be some countably infinite set and colour the elements of X(n) (the subsets of X of size n) in c different colours. Then there exists some infinite subset M of X such that the size n subsets of M all have the same colour.

@coffeemath how do you take your coffee?

12:16 AM

Plus, Ramsey's theorem is used to prove a large number of theorems within Ramsey theory. Of the top of my head, the Erdos-Szekeres conjecture and Schur's theorem can be proven with its help.

@KajHansen How many courses have you taken taught by Dr. Shifrin?

are you talking about the same theorem I just gave?

@MikeMiller Usually I take coffee with math...

lol

ah, you're preventing me from starting a riot

effectively too

Alexander Gruber

12:18 AM

@MikeMiller

How do YOU like YOUR coffee

@skullpatrol, I've taken two courses that are a combination of linear algebra, vector calculus, and manifolds from Ted (the second of which has been posted to YouTube). I also took differential geometry from him. So, all told, 3 courses.

nice

Alexander Gruber

@KajHansen anybody ever told you you look like Jason Bourne?

@AlexanderGruber i like it black, and generally the darker the roast the better.

also i think those who have diferent tastes are cowards

or good will hunting?

Karl Kronenfeld

12:21 AM

@MikeMiller You puritan....

Welcome to the club!

I have been told I look like Liam Neeson

@KajHansen has anyone told you you look nothing like matt damon?

@AlexanderGruber, not until just now. I'll take that as a compliment though. I get Dicaprio a ton though.

I have a very particular set of skills...

Alexander Gruber

@KajHansen I think it's the hoodie. You look low profile.

@KajHansen Dicaprio, I see it. I hope you're using that.

12:24 AM

I have been told I look like Rubén Cortada.

@AlexanderGruber, supposedly it's quite uncanny when I have my hair combed back. Think Inception, lol.

Alexander Gruber

@ComTruise I will find you. And I will teach you Sylow theory.

:D

Alexander Gruber

@KajHansen You should do it for Halloween.

Sounds like a plan @AlexanderGruber.

So where are you guys with your math education? I feel like I'm an undergrad surrounded by grad students/professors in here, haha

12:29 AM

@KajHansen: two months ago I was an undergrad. Does that count?

grad student trying to find something new to research

@AWertheim, more or less. Are you headed to grad school, or trying to find work elsewhere?

@AlexanderGruber !!!!!!!!!!!!

I am green with envy.

A bit complicated, @KajHansen. But the short is that I'll be a software dev for a year before applying to grad school.

@PedroTamaroff that would match the color of your avatar :D

Alexander Gruber

12:32 AM

@KajHansen I'm a grad student. I came into the game late- did a bachelor's and went back to school for another one in math, then went to grad school.

Sounds like a plan. Personally, I'm a bit worried about getting into grad school. I'm dead set on it, but GPA is on the low side.

Alexander Gruber

@KajHansen My GPA could've been better. You'll probably get in somewhere. Apply to a variety of backup schools just in case.

@KajHansen what year are you?

@KajHansen: I wouldn't worry too much. Not only do you seem very competent, but solid graduate coursework and excellent recommendations carry far more weight than GPA (though see if you can't do well in your graduate courses). For what my advice is worth though (not much, lol): prepare well for the subject test.

Is GPA really that important?

Alexander Gruber

12:34 AM

@PedroTamaroff i found a place to get all these little ink samples too, these things are like heroin.

@PedroTamaroff it's a cutoff. schools like to toss out apps with gpas belwo their 'cutoff line' and otherwise it's nigh completely unimportant.

@Mike, I'm starting my 3rd year this fall

Alexander Gruber

i think rec letters are most important, then stuff like papers, then math GPA, then other stuff.

@AWertheim, that's what I'm hoping. I'm trying to get into graduate complex in the spring, and hopefully some more after that.

yes rec letters are very important

12:35 AM

@KajHansen I'm starting at grad school in the fall, so I've done plenty of paranoid thinking about this topic. Feel free to email me, email's in my profile

@MikeMiller, I'll keep that in mind for when I start applying. Thanks!

Alexander Gruber

My GPA was not stellar because I doubled in math and physics and that means 6 courses per semester of not easy things. i'm pretty sure i only got in based on the paper I wrote, and the rec letter associated with it.

That'll be good. Complex analysis is beautiful too, a good place to start. :)

My GPA was sort of wrecked by my first year as an undergrad... I was a little out of control then ;)

@KajHansen I can't imagine I'd say much there I wouldn't here, so: you probably shouldn't worry about your GPA. mine was decent but not stellar and I think I did fairly well for myself, and unlike UGA, my school isn't even in the AMS's top 50 thing. Take grad classes, try to do research (maybe a senior thesis? or if it's not too late try to work with someone this summer)

12:38 AM

Yeah, mine is hovering around a 3.3 because I dove right into math and I've been taking 3-4 math courses each semester. It's slowly rising now that I'm getting the hang of things.

Alexander Gruber

@KajHansen one thing I wish I'd have done is gone to a conference sometime between my junior/senior year. those things are great for networking.

get to know a good number of professors and work with them (and take their classes)

@AlexanderGruber omg i'm still mad I didn't go to the joint meetings in january

after I got back to my school they told me they would have funded me to go if I asked, even though I had nothing to present

Alexander Gruber

@MikeMiller were they near you?

and it was like 'why didn't you tell me"

Alexander Gruber

@MikeMiller Oh yeah, they love giving travel stipends. Tax break.

12:39 AM

@KajHansen Yeah you're fine. Wait, you're starting your 3rd year? You're in way better shape than I thought

Thanks for the advice Alex. I wish I could go to MAA this summer, but it's all the way in Portland.

I definitely had less than a 3.3 when I started my third year

That's very encouraging @Mike.

You have a lot of time to learn a lot of math and more importantly do a lot of math

The fact that you're interested now and already learning a lot says good things, and the amount you learn every year (from experience) grows essentially exponentially

I'd second that. Not to give stupid advice, but actually doing a lot of math is probably the best thing you can do.

12:41 AM

I third that.

Great song @PedroTamaroff

lol

The absolute best advice I can give is to do research with some faculty member (and apply for an REU next year!) and then put your whole heart into it. You'll get great letters, you'll get research experience (both of which are good to admissions committees)

but far more important is that you'll really be doing math, and that's an experience a class can never give you

ok I'm done

Sounds good @Mike. I applied for some REUs this summer without much luck. I'm absolutely dead set on getting into one next summer, even if that means filling out dozens of apps.

12:43 AM

Steve Miller cheesiest band?

Anyways, we don't have to clog up the chat with my anxiety any longer :P

The point is not to have anxiety :)

It's too early for that! And you sound like you shouldn't be anxious anyway.

Alexander Gruber

ehh

One should expect to be anxious.

@KajHansen Feynman wrote on his last blackboard "Solve every problem that has been solved."

@AlexanderGruber as a human he'll probably be anxious

Alexander Gruber

12:45 AM

I think applying to grad school (and REUs and all that) and waiting for the responses were some of the most stressful times in my life, I wasn't quite mentally prepared. One should be try to be ready for some stress.

as a human he should also try not to be

imo

solving every problem that has been solved would leave no time for original research

@AlexanderGruber: for sure. Stress from submission onward lol.

Alexander Gruber

@MikeMiller I guess you're right.

@AWertheim Yeah exactly. I didn't realize how stressful it was going to be after I finished the apps.

@AlexanderGruber: to my shame, I think I checked those results (e.g. gradcafe) sites several times every day. I would NOT recommend that, LOL

12:48 AM

gradcafe is a main source for my anxiety re: GPA! I think that's some sound advice.

I already had a job when I applied, so it wasn't that stressful for me

oh

get off gradcafe

those people are insane

Alexander Gruber

@AWertheim my approach was to smoke 2 packs of cigarettes a day, then get belligerantly drunk and yell at people

@AlexanderGruber hey, mine too, roughly

smoking is bad for you

12:49 AM

2 packs of cigarettes a day is not good

Alexander Gruber

hahaha

@AlexanderGruber: haha, I'm dying laughing. Definitely some rough moments. Especially when everyone keeps asking =P

Alexander Gruber

I like how nobody says anything about the belligerent drunk yelling

LOL

Alexander Gruber

but the cigs, gotta stay away from those.

12:50 AM

true^

alcohol is different

Btw, I'm late, but Mike is right @KajHansen. Stay away from gradcafe, you'll only make yourself needlessly anxious =P

Alexander Gruber

Whoever made that site must be such a sadist. Who thought that was a good idea?

grads

what is gradcafe

I'm 99.99% sure most of the stats and stuff on gradcafe are straight up lies

Its main use is checking whether school x has sent out results during admissions season

the rest of it is worthless garbage

12:52 AM

LOL "Take the Money and Run" is a rip off of "Sweet Home Alabama" or viceverse.

99.99...%

STAAAAP^

Chat guidelines | $\LaTeX$ in chat

14

needs an H @skullpatrol

@anon no MSE map?

12:53 AM

once was enough

@MikeMiller map? what?

@anon Holies.

@MikeMiller: even then, it's still cause for nerves. I spent way too many hours worrying about when I would or would not hear from places based on whether people had posted results.

@anon

haha, jeez

12:54 AM

@AWertheim yup, it messed me up too

but I maintain it's not nearly as terrible as the "advice" they give you on the forum, or the stats people claim when they post their rejections or acceptances

This is so sad.

For real. Trolls (or what I hope at least are trolls) abound.

I have a headache, prolly because I need some coffee. I have to work tomorrow morning, so I had to settle for a "double tea".

yes, and then a chamomile to put you to sleep

@AWertheim I think it's just psychology. You get rejected, you think you should have gotten in, maybe you're mad at the school, you modify your stats a little bit (lot) to make it look like they don't accept ANYONE (and that's why they didn't accept you).

If their stats were correct, I shouldn't have gotten in anywhere ;)

12:57 AM

Is it racist if I'm hearing "Fly like a Negro"?

yes

you are a racist

if you hear that

@MikeMiller: that makes a lot of sense, lol. Clearly, you are very talented! UCLA is very exciting. :)

It might also be delusional.

Everyone knows negroes don't fly.

I like some circa 1980 Steely Dan myself. Certain level of sleaze appeals to me.

@AWertheim oh, I appreciate that :) I hope I'm not inadvertently #humblebragging here.

You're a graduating senior? Or graduated now, rather?

Alexander Gruber

1:00 AM

@skullpatrol oh that reminds me of a joke

@MikeMiller: not at all. I'm listening keenly to your advice! UCLA is my dream graduate school. :)

Alexander Gruber

what do you call a black man who flies a commercial jet?

I just recently graduated. I would be your cycle, but I am in an odd situation (not to be overly cryptic, lol).

@AWertheim I dig cryptic.

@AlexanderGruber Hm...

1:01 AM

everyone in the us has heard that one

Without sounding needlessly cloak and dagger, I applied this past year with some success. But for (what I believe to be) good reasons, it is better for me to wait a year and do things a bit differently.

Alexander Gruber

somebody's gotta ask me what.

what

@AlexanderGruber: a pilot, silly! ;)

Alexander Gruber

@PedroTamaroff a pilot. You racist.

1:03 AM

@AlexanderGruber LEL

You know what's not fair?

take your time @AWertheim. Grad school isn't going anywhere..

@PedroTamaroff a biased coin?

Alexander Gruber

@PedroTamaroff what's not fair?

A black man's arse.

uproxx.files.wordpress.com/2014/03/…

Thanks @ComTruise. It's good to hear that side of things lol :)

Alexander Gruber

1:05 AM

haha

@AlexanderGruber what's the answer?

@AWertheim you've now got a year in which you can do math, learn math, and also enjoy yourself, without any (much) external pressure

enjoy!

@MikeMiller: I will certainly be trying to, thanks! With any (read: a great deal of) luck, I will be seeing you next year :D

i wish you the best, amigo!

i feel like I am stuck in a rut with my research... ugh

1:10 AM

@AWertheim oh, forgot to say: my email's in my profile for a reason, if y'ever wanna email me, feel free!

@MikeMiller He cannot see it.

@PedroTamaroff yes he can

any strong opinions on CH here?

it's true

no, it's false

1:12 AM

@MikeMiller: thanks a ton! I def will. Hopefully with good news at some point!

@ComTruise I like the model of the commercial a lot.

But I think HUGO has better fragances.

I'm off to work out friends. Bye!

@blue do you want to take this outside?

@blue so you have a strong opinion

later @AWertheim

1:13 AM

in fact the generalized continuum hypothesis is true

noooo!!!

define: true

the cardinals are the exact same thing as the ordinals

and that's the truth

define: truth

it is true in V=L :)

Alexander Gruber

1:16 AM

@ComTruise to my joke?

"A pilot, you racist."

@AlexanderGruber not my answer?

do you believe V=L @MikeMiller

Alexander Gruber

@skullpatrol that's also pretty good. :P

Ha ha. You guys and your infinite sets.

dunno what that means

it means V equals L

1:19 AM

staaahp

sorry

@MikeMiller Define what it means for a B space to be reflexive.

nice "h" placement btw

V=L is an axiom you can add which says sets must be constructable according to certain formulas... it is a restrictive view of sets, but you get well-ordering principle (AC), GCH

@PedroTamaroff double dual of $X$ is iso to $X$

1:21 AM

a space with above-average but below-top grades, which has quick reaction time

@ComTruise i tend to disbelieve that sets should be constructible, at least in my non-set-theorists understanding of the word constructible.

@MikeMiller I figured. This book defines that $\widehat X=X^{\ast\ast}$.

Here $\widehat X$ is the isometric copy of $X$ inside $X^{\ast\ast}$ given by the natural evaluation map.

The book says there is a space $J$ such that $J\simeq J^{\ast\ast}$ but $\widehat J$ is a proper subspace of $X^{\ast\ast}$.

Book by Carothers.

that's my definition, it's possible others disagree, I am not a banach spaceist

what's the space tough

Well, note that what we're asking is that they are "naturally" isomorphic here.

Says the example is due to R.C. James.

Lemme see references.

I don't care who it's due to :P

yeah I realize

the word you want is probably "canonically"

1:25 AM

No, natural as in the sense of categories.

James' example is in "Annals of Mathematics, 52 (1950), ps. 518-527"

sure

Alexander Gruber

Oh. Human League.

Oh, @AlexanderGruber?

what about them?

Alexander Gruber

Just came on youtube

I still have Pedro's link open from earlier

1:27 AM

Oh.

which song?

Alexander Gruber

@skullpatrol Don't you want me

over played

Alexander Gruber

This song is... what is the right word?... this song is rad.

Rad cool.

1:29 AM

27 secs ago, by skullpatrol

over played

anyone into synthwave / retro electro?

Alexander Gruber

@ComTruise yea man

pretty good stuff

retro is my middle name

I listened to it over several months while writing my last paper

1:30 AM

skull retro patrol

made me feel like the Terminator

Alexander Gruber

@ComTruise My last publication was composed almost entirely to wu-tang clan

I don't think it shows though.

hear of them, but never listened

@PedroTamaroff do you want the paper?

Alexander Gruber

@ComTruise this should get you started.

1:34 AM

I looked at it and it turns out I'm not interested at all

@MikeMiller ERMAGHERD YES PLS.

email = ?

I think I am incapable of listening to hip-hop

Alexander Gruber

@ComTruise most people have that response at first

it's an acquired taste for most

Alexander Gruber

1:39 AM

It's one of those things you have to get into the mindset for at first. if you listen to one song, you'll always hate it. If you sit it all the way through a wu-tang album, you will like hip-hop afterwards.

@AlexanderGruber that album is better for the (mostly) lack of RZA's production

Alexander Gruber

You shut your dirty mouth @Mike. The RZA is a god. :P

Go wash out your mouth :P

Hi Professor @TedShifrin

@TedShifrin

Herro!

Do you know what is the font that is used in the Annals of Mathematics?

I love that font.

Um, no, I don't remember what it is. Howdy @skull again.

@Pedro, it may have changed, but google Annals of Math fonts

1:46 AM

@AlexanderGruber i agree. but too much of a good thing...

@MikeMiller Thanks!

Alexander Gruber

@MikeMiller ahhh, yeah. that is true.

I mean, the reason wu-tang has so many solo/duo/whatever albums is the same reason symphonies don't just have every instrument play at the same time.

i like his production gimmicks a lot but sometimes i don't want to hear a track with bits interspersed about the shaolin style, dig?

Alexander Gruber

@MikeMiller Idk why you like this album then ;)

do you like meth and red's albums?

@AlexanderGruber that was a separate comment than about this album

though it is one of my general complaints about the wu

1:49 AM

@Pedro: Did you ask your prof why he/she chose such a sloppy text?

y'know I never listened to it, @Alex

Alexander Gruber

oh gosh, listen to the first one ASAP.

the second one is terrible

imo ghostface was the best thing to come out of wu

Alexander Gruber

@MikeMiller it is impossible to not love this song

@TedShifrin cute problem I'm working on (no hints, I'm just telling you the problem): show that if $n>m$, a map $f: \mathbb{RP}^n \rightarrow \mathbb{RP}^m$ induces the trivial map on their fundamental groups

I'm aware of a method of doing this with the cup product structure, but Bredon puts this after his section on borsuk-ulam, so I'm trying to show that such a map necessarily extends to a map $S^n \rightarrow S^m$ that's equivarient w/r/t the antipodal maps

1:53 AM

@AlexanderGruber What do ya think of this?

(and thus, by the theorem he uses to prove BU, that necessarily $n \leq m$)

That can't be right.

@TedShifrin That's just a text I picked up from the internet. The argument is cool and generalizes to Kaj's remark that $R(s,t)\leqslant R(s,t-1)+R(s-1,t)-1$ when the first two summands are even.

Ohhhh @Pedro ....

@TedShifrin the thing I'm trying to show? or the original problem? original problem is totally right, I did it as an exercise in Hatcher back in the day

Alexander Gruber

1:54 AM

i been listening to misdemeanor since I was a young man, @Skull.

The argument is standard. Just not the lack of hypothesis. :)

@AlexanderGruber I thought so :-)

@Alex: You are a young man!

Alexander Gruber

I will have you know that I try to insert "put that thing down flip it and reverse it" into mathematics lectures as frequently as i can.

2

:D

1:56 AM

@Mike: Your equivariant extension claim.

Alexander Gruber

@TedShifrin i should have probably said a little kid. :p

@TedShifrin I haven't shown that such an extension exists yet, or convinced myself to give up on that approach, so shh

Ok, @Alex :D

Alexander Gruber

i waited in line for Doggystyle with my cousin. this goes back a ways.

or rather "equivariant lift"

1:57 AM

Right, my mistyping.

oh, when I said "such a map lifts to an equivariant one", I meant that a map that induces a nontrivial map on fundamental groups

Oh ...

I don't think I'd ever read the proof of borsuk-ulam before... I think I prefer Bredon's approach to Hatcher's (nonexistence of equivariant maps vs odd maps have odd degree), even though they're essentially the same

Okie, got it

cute problem

@MikeMiller Dude. This book by Carothers is fucking amazing.

not as amazing as that problem

itw as a really neat problem

2:13 AM

Well, that was in the book, so...? =P

@PedroTamaroff looks like a book I would have liked back when I was learning some functional analysis

from a glance it looks very well written

Alexander Gruber

I've been reading about combinatorial species lately.

First math I've done willingly in a while.

@AlexanderGruber YAY

Alexander Gruber

@PedroTamaroff ever checked them out?

@AlexanderGruber Not really. I do want to read Stanley's two volumes.

Alexander Gruber

2:18 AM

all they are is endofunctors of finite sets & bijections

Like for example the species $\mathcal{G}$ maps finite sets to set of (simple) graphs on that set.

endofunctors?

Alexander Gruber

functors from the category of finite sets and bijections to itself

the context i saw them in looks at species because they're a way of rigorously defining what "unlabeled" structures are, like unlabeled graphs, unlabeled linear codes.

oh ok

Alexander Gruber

You can see how it might relate to functor-ness in that category - if you've got two sets of the same size $S$ and $T$, the set of graphs with vertex set $S$ and the set of graphs with vertex set $T$ are pretty much the same, right? it's just relabeling.

OK

Alexander Gruber

2:28 AM

in other words you can make a commutative diagram $$\newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex}
\newcommand{\ras}[1]{\kern-1.5ex\xrightarrow{\ \ \smash{#1}\ \ }\phantom{}\kern-1.5ex}
\newcommand{\da}[1]{\bigg\downarrow\raise.5ex\rlap{\scriptstyle#1}}
\begin{array}{c}
S & \ra{\beta} & T \\
\da{\mathcal{G}} & & \da{\mathcal{G}} \\
\mathcal{G}[S] & \ras{\mathcal{G}[\beta]} & \mathcal{G}[T] \\
\end{array}$$ (where $\beta$ is the bijection)

OK

Karl Kronenfeld

endofunctors are always cool anyway

is there anything interesting going on between a species and the identity functor?

Alexander Gruber

@KarlKronenfeld hehehe yeah. i'll get to it.

so, since finite sets of the same size are pretty much the same to species, we just call all finite sets of cardinality $n$ by the name "$n$"... and if $\mathcal{S}$ is a species, we write the size of $\mathcal{S}[n]$ as $\mathcal{S}_n$. So then we can define the cardinality of a species by way of a power series: $$\mathcal{S}(x)=\sum_{k\geq 0} \frac{\mathcal{S}_k}{k!}x^k$$

that's a little crazy, right? a functor with a cardinality.

But the thing that really blows my mind about these is this: there is a calculus of species. You can add them together, and multiply them, and differentiate them.

The identity functor ends up being an identity for one of those, I think.

Karl Kronenfeld

Yeah that's awesome

I suppose addition and multiplication are pointwise, right?

...

Alexander Gruber

2:37 AM

This is basically everything I wanted out of category theory... i remember when i first started reading about it, this is what I kept wanting to happen, but then everything went off into outer space with commutative algebra. it's making me really happy to finally see this realized.

@KarlKronenfeld do you know the hopf index theorem?

Karl Kronenfeld

@MikeMiller no

do you know that, if $M$ is a compact smooth manifold and $\chi(M) \neq 0$, then $M$ does not carry a nonvanishing (smooth) tangent field?

Karl Kronenfeld

yeah

Alexander Gruber

@KarlKronenfeld Haha, sort of. Addition is not too hard to define, $\mathcal{S}+\mathcal{T}$ is defined by $$(\mathcal{S}+\mathcal{T})[z]=\mathcal{S}[z]\sqcup \mathcal{T}[z]$$

2:40 AM

i knew that, but only as a corollary of the hopf index theorem (which says that in a certain sense $\chi$ counts the singularities of a vector field)

Karl Kronenfeld

@AlexanderGruber I looked up multiplication

it makes more sense that way

Alexander Gruber

with $\sqcup$ being the "forced" disjoint union, i.e. $\left(\mathcal{S}[z]\times \{1\}\right)\cup \left(\mathcal{T}[z]\times \{2\}\right)$

@KarlKronenfeld but hopf index is complicated. the proof of the theorem i stated above is easy.

i never knew that theorem until now.

Karl Kronenfeld

@MikeMiller ah

well, i knew the theorem. not the simple proof.

Alexander Gruber

2:43 AM

multiplication ends up being $$\left(\mathcal{S}\mathcal{T}\right)[z]=\sum_{z=a\cup b}\left(\mathcal{S}[a]\times \mathcal{T}[b]\right)$$ where $\times$ is the regular old set Cartesian product.

but yeah - all that stuff works out. Cardinalities of added species are added, cardinalities of multiplied species are multiplied.

(if it carries a nonvanishing vector field $\xi_x$, embed $M$ in $\mathbb R^n$ and give it a tubular neighborhood $\Theta$. recall there's a retract $r: \Theta \rightarrow M$. consider the map $f(x)=r(x+c\xi_x)$, where $c$ is a sufficiently small constant that $x+c\xi_x$ is always in the tubular neighborhood (possible by compactness)

Alexander Gruber

The point ends up being that you can decompose all kinds of really complicated combinatorial structures into smaller species, and use the calculus to find cardinalities and whatnot.

this has no fixed points, because the tangent space at $x$ has trivial intersection with the normal space (is that a thing? normal space? i think you get my drift)

Alexander Gruber

Soon I'm going to make finite groups act on species, once I'm ready. and then we're gonna see some shit go down.

but if $\chi(M) \neq 0$ then by Lefschetz FPT any continuous map has a fixed point. therefore, $\chi(M) = 0$.

Alexander Gruber

2:46 AM

anyhow, sorry if I lost you @Pedro. That's what I've been looking at lately.

Karl Kronenfeld

@MikeMiller Ah, nice.

it's super quick and elegant. I'm sad I never knew this before.

here's the hopf index theorem. i only know a proof for surfaces.

Karl Kronenfeld

@AlexanderGruber I know you implied you're not ready yet, but I'll ask anyway. What's an example of a group acting on a species?

@MikeMiller I must say, that's pretty remarkable.

the index theorem? yeah, seriously.

Karl Kronenfeld

yeah

2:59 AM

if you asked me why the hairy ball theorem is true, before today i woulda said the index theorem

of course now I know it's true because of the simple proof above

« first day (1416 days earlier) ← previous day next day → last day (3607 days later) »

Transcript for

Jun '1420

$Mathematics$ Mathematics

Associated with Math.SE; for both general discussion & math qu...

join this room
about this room

00:00

06:00

12:00

18:00

all times are UTC

$Mathematics$

site design / logo © 2024 Stack Exchange Inc; legal

mobile