« first day (3871 days earlier)      last day (1151 days later) » 
00:00 - 20:0020:00 - 23:00

12:00 AM
Descartes metric?
 
@user2103480 😱
 
just like a Galois connection is merely an adjoint pair of functors on ordered sets
 
@MikeMiller yes I know dont tell me
 
this is a very lucid perspective, isn't it
 
"Algebra is written geometry; geometry is drawn algebra"
 
12:00 AM
@Thorgott literally a quote from my lecturer
 
This room goes downhill so, so quickly!
 
(as soon as @user2103480 arrives)
 
starting at "a". the term "merely" might have not appeared either
@EdwardEvans nice
 
@Astyx Don't make me quote Atiyah
 
12:02 AM
@user2103480 sorry ard
@MikeMiller lol
 
@Astyx weyyyy
 
@MikeMiller todd function
 
@Edward @Astyx I'm currently trying to learn Grothendiecks formulation of Galois theory
ah yes, étale algebras
pls end me
 
From Szamuely?
 
@user2103480 You're making fun of an old man after he became ill bro
Also, my great grandfather
 
12:04 AM
yeah
 
nise
 
he was probably still more capable at that point than I am now
 
I read all those papers and I'm really not so sure
 
on a scale from "dead inside" to "nise", it's more of a dead inside, but yeah, nise
 
What's different about Grothendieck's POV?
 
12:06 AM
that's the wrong question, Astyx
the right question is: what's the same?
(I don't know the answer)
 
I see that one can see this as offensive, and I am sorry if anyone is hurt by that. aAthough this does not come from a "what a stupid old man haha" perspective
 
as in
 
Nah I'm just messing with you
 
how can you translate the anti-equivalence of categories to the standard POV of Galois theory?
 
@MikeMiller fair
 
12:09 AM
Isn't the Grothendieck perspective that z^n gives all the covers of the circle and that's fundamentally about C so really z^n ought to give all the covers of C
Or something
 
(I think that's the content of the first or second chapter but I don't remember?)
 
damn, and here I was thinking that Mike was actually Atiyahs great grandson
2
 
@Thorgott lmao
 
pi_1 Spec C = Z more or less and pi_1 Spec R = Z/2 probably
 
"In conclusion, one can say that Grothendieck extended the notion of a Galois Group to a broader mathematical context, including algebra, topology, analytic and algebraic geometry, arithmetic ..."
 
12:10 AM
@Thorgott look it up!
 
(at the end of slides of Szamuely)
 
Just a different kind
 
I'm Blaschke's grandson.
 
Der Österreicher?
 
oh, it took me a bit to figure out what you actually meant, I wasn't aware
 
12:38 AM
that's cool. i put a bunch of stuff about blaschke products into one of my papers and then my coauthor made me take most of it out.
 
@Thorgott Wouldn't expect you to be. I find it amusing that if you go further up the chain you get Hodge, Cayley, and Newton.
Galileo too but when you're going that far back these claims of descendancy get to be real stretches.
 
you eventually reach some guy whose 'dissertation' was on the right way to burn a witch.
 
quite the heritage
 
1:12 AM
@user2103480 hyea
@Thorgott ooo
learning about Kan extensions atm bc my great$*n$ grandfather is Mac Lane
 
ok, I think I kinda get Grothendieck now, sort of
guys was too woke
 
@TedShifrin so your a product of Blaschke?
 
"In the last section we saw that when studying extensions of some field it is plausible
to conceive the base field as a point and a finite separable extension (or, more
generally, a finite ´etale algebra) as a finite discrete set of points mapping to this
base point. Galois theory then equips the situation with a continuous action of
the absolute Galois group which leaves the base point fixed."
gEoMeTrY
 
1:28 AM
"based and Galois-pilled"
-Grothendieck probably
 
2:01 AM
@robjohn A derived one. Non-commutativity of words!
 
he's a product of a blaschke product
 
Right. So a product once removed?
 
@Balarka damn, Coldworld released an album in 2020
didn't realise
 
yes i think so. a product of two blaschke products is another blaschke product. but just a product of one blaschke product, you are once removed.
 
2:34 AM
@TedShifrin A repeated product... an exponent.
 
2:48 AM
If $R,S$ are commutative ring with unity, then $Spec(R\times S)$ is disconnected be cause of two disjoint closed sets $V(nil(R)\times S)$ and$V(S\times nil(R))$ right?
 
yes
 
Thanks
 
the converse holds too, for the record: if Spec(R) is disconnected, R is a direct product
 
3:06 AM
that's cool.
 
Seems completely analagous to the statement that a disconnected space is a disjoint union of two nonempty spaces. Proof is probably the same too, after chasing definitions.
 
that's just the definition
 
The one I present yeah
Not the one most people do
 
huh? that's the standard definition
maybe I'm misunderstanding
 
Wait. $[0,1] = 0 \cup (0,1]$
 
3:19 AM
Mike means a topological disjoint union
a coproduct
 
The standard definition is that a space is disconnected if there exists a pair of disjoint open subsets whose union is the whole space.
It's then a pretty quick exercise in the basic properties of [topological] disjoint unions that this implies your space is a [topological] disjoint union.
I prefer the other way.
 
I have no idea about this shit. Just sounds misleading and therefore too fancy for me.
 
every salad needs a little vinegar. that's what i'm here for.
 
If you think disjoint unions of spaces are misleading --- literally the idea of "Stick space X over here and space Y over here some positive distance away from X" --- I have no idea what to tell you.
 
i long for a world where we are all connected.
 
3:24 AM
ok, I recognize that as tautological
fwiw, the fact that disconnected spectrum implies the ring decomposes as a product is somewhat non-trivial
 
factorization of algebraic objects was something that put me off of algebra. like that question about cancellability in abelian groups. when i first looked into that and then realized that even the world of abelian groups was a screaming nightmare, that was it for me.
 
an application of CRT will tell you that R/Nil(R) decomposes as a product, but then you have to perform the arduous task of lifting idempotents through the nilradical
it may or may not be a nightmare, but I don't think the absence of cancellability is a reason for that
cancellability is not a natural property to expect in most circumstances
 
yeah, that was just one example. i think i was frightened by kaplansky's "infinite abelian groups." and i think you can encode a lot of undecidable stuff into abelian groups.
 
Jan 9 '20 at 14:40, by Alessandro Codenotti
@Thorgott "every topological Abelian group which is path connected and compact is a product of circles" is also independent of ZFC, since we were talking about independent statements yesterday
now that is frightening
 
operator theory sucks too. the topologies you need are absolutely horrible, nothing you try to do converges unless it arises from a well behaved map on some underlying space. and none of the useful stuff is sufficiently spatial. and physicists just wander in and do whatever they want and still compute the right answer.
i took a class from vaughan jones on von neumann algebras. his exercises were very difficult. there were physicists in the room who could get the answer but none of the maps they wrote down made any sense. i think that was challenging, from a pedagogical perspective. "yes you understand it, but none of this is the way to get there." he tried a few times to get us to see things the right way and then gave up.
 
3:37 AM
darn physicists
 
i secretly love them. they can do very good things. i also love breaking through pathologies with intuition. even if it doesn't work. the old "this is a theorem, but of course there are some [largely undescribed] exceptions."
 
@Thorgott If this means anything to you, mikemiller#0730. If not, oh well.
 
4:15 AM
darn non-mathematicians?
 
Hello
are there any sets that are not topological spaces?
 
you can endow almost anything with a topology. whether or why you might choose to do so is up to you.
en.wikipedia.org/wiki/Discrete_space may be informative. you can do that to any set.
whether you're interested in doing that is up to the application.
 
Ok thanks
 
we often think of certain sets as topological spaces, but there's always some choice involved. e.g. if i start talking about "the" topology on $\mathbb{R}$, we probably all know what i'm talking about, but there are choices being made there. we're talking about the order topology, or the topology induced by the usual metric on $\mathbb{R}$. we could also give it the discrete topology, or any number of other ones.
so maybe it's not quite formalistically correct to say that every set is a topological space. every set can be one, after making some choices. and some choices come right off the shelf.
oeis.org/A000798 might be fun. it counts the number of topologies on a finite set.
 
4:34 AM
Oh nice thanks
 
5:34 AM
what is implicit substitution in integration?
 
no idea.
 
there's no such thing as implicit integration like there is in differentiation, but Ive heard of implicit substitution
 
maybe when you put in u equal to something that isn't appearing explicitly in the integrand, and solving for it. just a wild guess by analogy.
i just think of any of that as substitution.
 
then there is x-rated integration.
you know, explicit integration
 
integration after dark.
 
5:40 AM
hello
may I get suggestion on how to share exploits with the required team?
 
integration with no limits...
exploits?
 
I basically found a critical exploit to access and modify registration forms of all candidates of a specific exam
the exam is conducted on an all India basis.
Problem is,... i dont know / cant contact the team as there is no info lol
 
i imagine this is the wrong forum for such a thing?
 
@copper.hat am asking for an advice if anyone is familiar
security s.e. is mostly dead
 
i think there are some India folks here from time to time...
But you need to catch them live
 
5:43 AM
But not ones in positions of authority that I know of.
 
i see...the bug is critical enough to ruin people's life...am not even exaggerating lol
and it is not guaranteed that I am the only one cursed with this knowledge
 
i wouldn't even know where to start...
 
If it has anything to do with the jee, you should report it right away to the authorities.
 
Really no contact info anywhere? I know nothing about the Indian system.
 
@user85795 that's the catch...I cant find authorities
@TedShifrin they have given 2 tele no.s and an address....tele numbers are dead..
 
5:46 AM
go to any uni
 
@user85795 but that's not how an exploit should be reported right?
yeah, it's about jee btw
 
a journalist might have a better idea
i was written up in the deccan herald once :-)
 
@copper.hat how?
 
long time ago
 
The only comparable thing in the US is the SAT. Not connected to any university.
 
5:48 AM
i had an india business partner and a journalist want to do a piece on our startup
 
@TedShifrin I think neither is JEE. IT's not connected to unis...but unis consider their metrics of ranking students
 
That's a good suggestion. Contact a top newspaper.
 
my dad is a journalist. sometimes just picking up the phone and trying to call someone works. or a journalist could do it for you.
 
aaarghh..I dont like calling...but it seems its the only way now..xD
 
sound like my kids
 
5:50 AM
yeah? I am 18 xD
 
they would rather starve than call in an order :-)
 
I hate phones, too, even though I'm very social .
 
i don't like them, but if you need something done...
 
Maybe a science reporter? Education reporter?
 
because believe it or not i try to be polite, contacting the authority in some way seems like a good first step. dumping on a public forum, even a somewhat inactive SE, would probably also bring it to the attention of others. but i wouldn't think of that as step 1.
 
5:51 AM
can't you contact the jee office anonymously? @Snapdragon-X
 
why anonymously?
 
@user85795 is there something like "jee office"...can you share the email?
 
He says the phone #s are dead.
 
use google
 
@user85795 google didnt find me any...I thought you know about it
 
5:53 AM
have you tried Contact No. : 0120 6895200, 011-40759000
 
yeah
 
i sometimes have to find people who are hard to find in my job. it's usually a mix of phoning people and emailing people who are close to, but maybe not exactly, what you want. it's baffling that there wouldn't be a general-purpose email address, but who knows.
 
@Snapdragon-X ask at your local uni
 
@user85795 i think i'll ask my uni
 
that's a good idea. anybody charged with local administration of the exam, or some other stake in the outcome of the exam, may have connections that a member of the public would not.
 
5:55 AM
perhaps snail mail?
 
nta.ac.in
 
@copper.hat what is that anonymous mailing?
@TedShifrin yes
 
National Testing Agency
Block C-20 1A/8 ,Sector- 62
IITK Outreach Centre, Gautam Buddh Nagar
Noida-201309, Uttar Pradesh (India)
 
Lots of contact info there
 
Let $X_{1}, X_{2}, \ldots, X_{n}$ be independent identically distributed random variables with
$E X_{i}=\mu_{1}, E X_{i}^{2}=\mu_{2}$
In each of the following identify the in probability limit as $n \rightarrow \infty \quad[2+2+2]$
(a) $\frac{1}{n} \sum\left(X_{i}^{2}\right)$
(b) $\left(\frac{1}{n} \sum\left(X_{i}\right)\right)^{2}$
(c) $\frac{1}{n^{2}} \sum\left(X_{i}\right)$
 
5:57 AM
Oh oh, math
 
@TedShifrin that's an address...it;s covid 2021
 
I guess for a) It should be E(X^2)
b) It should be (E(X))^2
 
@Snapdragon-X old fashion paper and envelope :-)
 
How to do part c) ?
 
@user85795 yeah and they open it in July 2022
xD..I'll just contact my college admin, maybe they'd know how to escalate
 
5:59 AM
What would ${1 \over n} \sum X_i $ be?
 
that's a good point. we've had a lot of difficulty with paper submissions to various government offices during covid. the US copyright office has an enormous backlog on the order of many months.
there's just a room somewhere filling up with paper and nobody there to read it.
 
Yup.
 
speaking of my daughter's passport...
 
Were we?
 
:-)
government paperwork
Look at the top left of jeemain.nta.nic.in/webinfo2021/Page/Page?PageId=2&LangId=P and click through the public notice.
 
6:02 AM
@Snapdragon-X^
 
There is an email address there: grivance@nta.ac.in
 
@copper.hat ooo i cant find it btw....thanks! i was looking for something like this
 
Misspelled?
 
@EdwardEvans Oh!
 
Gri Vance is an old friend of mine.
 
6:03 AM
:-)
 
Howdy, a Balarka!
 
The a Balarka.
 
@MikeMiller this is nonsense bro
Hi @Ted!
 
an balarka?
 
yeahh found it @copp thanks!
 
6:05 AM
goo luck!
or good luck
 
Goo Luck is also an old friend. we used to play softball together.
 
i see that finding an exploit was easier than finding contact nodes...xD
 
lol
 
maybe it was a honey pot?
 
whats a honey pot
 
6:06 AM
a weakness that attracts people attempting exploits so the authorities can trap them
 
they may have invented something to distract potential wrongdoers from their objective.
 
honey to bears
 
@copper.hat ..........
 
a trap
 
given my own experience with various institutions and security, that seems unlikely. but it's possible.
 
6:07 AM
i think you are doing the right thing in reporting it to the authorities. keep a paper trail though.
 
given my experience with this agency...I'd rather say they have poor web devs lol
 
its my nature to look for issues...
 
@copper.hat what's a paper trail...
 
email records, etc.
 
Ohh, yeah yeah sure
 
6:08 AM
a lot of people would rather pay their insurer huge premiums for coverage when something blows up, than pay people who can prevent things from blowing up.
 
lots of professions are predicated on such an approach
 
including my own.
 
medicine, policing, etc
indeed. well, not all lawyers are category theorists.
do you do court work?
 
order order
 
a lot of clients misunderstand their cybersecurity related coverage. usually if there is a breach, there is damage that happens right away and enormous remediation costs. well before anybody thinks to sue them over it, and those costs won't be covered by a policy that requires third parties to sue them over the breach and win before the policy is triggered.
 
6:10 AM
<, >, $\ge$, etc
 
$\ord{er}$
 
everything is on zoom now. i have appeared in court.
 
@leslietownes physical courts start in India from March 15
 
@user2103480 I learnt about a very promising model of a random Riemannian manifold.
 
I was called to,jury duty
 
6:11 AM
woo hoo
i get called once a year usually
 
a month ago .... no zoom. I refused. They delayed me to July.
 
i've never had to go. one of my coworkers had to do that live last week. huge waste of time.
 
they always drop me. the last time the judge dismissed me because i disagreed with something
 
I've done it several times in GA. My concern is covid.
 
my concern is murder in the jury room
 
6:13 AM
huge waste of time and unnecessary covid risk.
 
@user2103480 Also, you might like this: ams.org/notices/200503/what-is.pdf.
 
Rule 301.
 
A dimer is like the Penrose tiling, but each cube is pointing up or down randomly. The scaling limit is a Gaussian free field apparently.
 
my friend was almost on the jury of a very high profile murder case in LA county. later she was on a jury involving the most trumped-up BS charges against a criminal defendant and very poor behavior from the LA Sheriff's department. she has all the fun.
 
it must be frustrating to be a jury member if you are a lawyer
 
6:15 AM
I was foreman of a jury in GA.
 
12 angry men?
 
criminal cases are stuff anybody can do as a juror. it's basically about who you believe. nobody is an expert on that, you just see the facts and do the best you can. civil trials can be more complicated because juries have to weigh more than credibility and maybe aren't competent to find the facts. a lot of countries that generally acknowledge a jury right have done away with juries in most civil trials
 
preponderance of lack of knowledge
it bothers me that the presentation of facts is often more important than the facts.
 
i have mixed feelings. i've only been to trial once, the jury was lied to and believed all of it. the case is still working its way through appellate courts because of an abundance of provable lies. but because if the verdict, it's fighting against the tide. i don't see our system as inherently less reliable than systems where judges direct everything, however.
 
if there are humans in the loop...
in college i used to go to the local court (cork, ireland) to listen to cases for lunch.
 
6:19 AM
i do wonder if judges could just shepherd a process where the sides fight over the bias of the coin and the outcome is determined by a coin flip.
 
very entertaining.
i think a ufc/mma component might have more entertaining effect
 
trial by combat has its adherents. i am not among them. i do see the appeal.
arbitration can be fun because there are fewer rules, the arbitrator(s) are basically kings who can decide whatever. we've used coin-flip-like methods of dispute resolution in several proceedings when nobody could agree on anything else.
 
facts are hard to ascertain
 
it was really dumb stuff, too, like both sides submit an integer and A wins if the sum is odd and B wins if the sum is even. or the last digit of the DJIA as reported in paper X on date Y.
you can never prove facts, you can only convince people of stuff.
i am a nihilist
 
now we can create convincing video evidence
not long before we can create dna evidence too
 
6:24 AM
for the next portion of our case, let's turn to tom cruise. he was a witness and saw everything.
 
the persona of tc bothers me greatly, but i like him in movies
 
yeah, there's a lot to unpack there. i do like his second life as a star of deepfake videos.
and the mockingbird has started up. i wonder if he'll go all night again.
he's really staking his territorial claim, or whatever he thinks he's doing by chirping all night. i wouldn't want to fight him.
we had one in our old neighborhood who would do car alarms.
 
i worked in a place in sunnyvale where they brought a falcon to the roof every now i think with the purpose of scaring off other birds.
 
ha, that's great. there was a pair of peregrine falcons who lived around my office building for several years. they'd sometimes bring their kills to the ledges outside our windows.
 
the handler was very pretty
 
6:29 AM
it's not a fair fight. if you've ever seen a peregrine falcon do its thing, it's like they have the cheat codes.
 
i know. they are amazing
 
my cat is indoor only but the nonstop bird vocals really set her off. she'd love to go out there and find the mockingbird.
 
to kill a...
 
we sometimes have doves on our roof outside my daughter's window. the cat takes interest in those too. my daughter says "livvy wants to play with the doves." yes, that's exactly it. she wants to play with them.
animals really get along in children's books. there's not a lot of conflict.
 
there was a coopers hawk on the wires across from my house when my kids were small so i dragged them out to see it.
when they were watching, it took off, caught a small bird and disappeared into a tree closer to us. after a few seconds drips of blood dropped to the pavement. not quite the ending i was hoping to show them.
on that happy note...
 
6:39 AM
0
Q: $X\vee Y\cong (X\times\{y_0\})\cup (\{x_0\}\times Y)$

love_sodam Let $(X,x_0),(Y,y_0)$ be two pointed topological spaces. Then $X\vee Y$ obtained by $X\amalg Y/x_0\sim y_0$ where $X\amalg Y$ denote the disjoint union of topological spaces and $X\times\{y_0\}\cup \{x_0\}\times Y\subset X\times Y$: subspace are homeomorphic. My plan to prove this is first by u...

Anyone can answer this question?
 
6:53 AM
Cork, Ireland.....the land of Roy Keane @copper.hat
 
@leslietownes ahh yes that sounds fitting
 
 
4 hours later…
10:34 AM
For C a chain complex which is zero for the strictly negative integers, are the statements: the homology groups in the strictly positive integers H_i(C), i>0, are trivial and C is zero in the positive integers, i>0, equivalent or is the latter a stronger condition?
 
10:51 AM
The chain complex can be nontrivial and the homology groups still zero. The homology groups "measure" how close to exact the chain complex is
Although they cannot all be zero for a nonempty space
They are only all zero for the empty space. If the space is not empty, we have a retraction onto a point
In reduced homology, for e.g. contractible spaces like the real line, all homology groups are 0. The chain groups are very much uncountable though
 
 
1 hour later…
12:17 PM
@copper.hat I found a vulnerability disclosure form https://nciipc.gov.in/documents/Vulnerability_Disclosure_Form.pdf ....but they are taking my details lol...
_honeypot_
 
 
3 hours later…
3:04 PM
How can we prove that $H_n$ is not an integer for $n>1$?
$H_n$ is the nth harmonic number
 
218
Q: Is there an elementary proof that $\sum \limits_{k=1}^n \frac1k$ is never an integer?

Anton GeraschenkoIf $n>1$ is an integer, then $\sum \limits_{k=1}^n \frac1k$ is not an integer. If you know Bertrand's Postulate, then you know there must be a prime $p$ between $n/2$ and $n$, so $\frac 1p$ appears in the sum, but $\frac{1}{2p}$ does not. Aside from $\frac 1p$, every other term $\frac 1k$ has $k...

 
What is the lowest possible number that is divisble by $1$ to $20$?
 
may help to think about the prime powers that such a number would have to be divisible by.
 
The answer I got is $232,792,560$.
 
3:21 PM
that looks right.
 
@BalarkaSen oh that sounds very interesting. Gotta tell me more once you have a grasp on it and I have time
I'll also save the dimer article. The stochastic burgers equation comes up quite frequently in the SPDE literature and one prof in berlin wrote a few papers about it
 
stochastic burgers would be a good name for a restaurant in a college town.
 
they'd probably taste crappy though
 
3:40 PM
@MarkGiraffe that is correct
@leslietownes You'd never be sure that you'd get a good burger, though.
$2^4\cdot3^2\cdot5\cdot7\cdot11\cdot13\cdot17\cdot19=232792560$
 
3:53 PM
random info. security aspirant:....is this RSA? xD
 
4:08 PM
@dc3rd he was an awesome player
@Snapdragon-X that's great!
 
what did I do to deserve this
 
What's wrong with that, that's just what a connection is, really
A connection is a choice of exterior derivative on a bundle
And that's what an exterior derivative is
@user2103480 If it's meaningful to you, mikemiller#0730
 
4:23 PM
yeah, that's the issue
 
4:35 PM
I like connections, you can 🐛 me about this stuff
 
5:05 PM
"you can caterpillar me about this"?
Do you guys use some computer tools to do calculations sometimes? If so, which?
 
wolfram alpha and desmos
 
Do you ever do non commutative algebra?
 
Typically for dealing with stuff like Weyl algebrae
 
@Astyx $\mathsf{Cat} \hookrightarrow \mathsf{Bug}$
 
5:09 PM
hehe
@LeakyNun Can you not use 2-adic valuation?
 
maybe you could use magma or something
 
@Astyx how?
 
I feel that's easier (although I haven't read that wiki article)
 
yeah you probably can
hmm
I think you're right
but my theorem is more nuke-y
 
Take the highest power $2^k\le n$, then $v_2(H_n) = -k$
I think we even talked about that trick a few years ago
 
5:12 PM
i'm sure we did
 
@copper.hat More updates...Now I can access last year's records too i.e. sensitive data of people who appeared for the exam last year...don't worry..I just checked mine because I appeared last year////nothing unethical from my side xD
 
@Snapdragon-X You have done your duty :-)
 
@copper.hat Now I have to decide between whether to escalate this to court or just the agency lmao
 
@Thorgott That's my preferred definition of a connection, in general. A $\mathfrak{gl}(E)$-valued $1$-form. (Or reduced with metric, etc.)
@Thor Did you ever figure out something slick on that Pfaffian question? I thought about it more yesterday and don't see anything other than a usual argument.
 
And we are back to agreeing! I never liked the Riemannian geometer's definition, and of course abhor the physicist's.
 
5:25 PM
One wants to relate $\omega$ to $\Lambda^2 f$, obviously, but the isomorphism $\text{Hom}(V,V)\cong V\otimes V^* \cong V\otimes V$ has to get in there with the inner product.
@MikeM: I am, after all, a Chern student.
Sometimes, the principal bundle viewpoint does win, I say grudgingly.
 
In this matter I'm a student of Donaldson and Kronheimer.
 
It's odd how standard Riemannian geometry courses never teach connections on bundles, just on $TM$.
Here's a question for you, @Balarka, @MikeM.
Someone should tell the OP to change his title to "Stably trivializing ..." Maybe even I should do that.
Done.
 
no clue, but I also haven't thought about it further
I never got the Pfaffian
 
Yes, this is some tedious partition of unity trick + something about the Lebesgue dimension of manifolds. I forget the details. The point is that all one really needs in the proof is a trivializing open cover with finitely many open sets.
Almost certainly this is in Warner. You need the relevant trick when you're constructing a proper map to $\Bbb R^N$.
 
Oh, that proof is standard. I don't see how it gives you the bundle as a summand of the trivial bundle.
But actually maybe the proof is in Hirsch.
 
5:33 PM
If you have $N$ open sets that's enough to demonstrate that your bundle is a pullback of the tautological bundle over $Gr(k,N)$, and that is a summand of a trivial bundle.
 
21
Q: Does every vector bundle allow a finite trivialization cover?

FiktorSuppose there is a vector bundle (smooth, with constant rank finite-dimensional fibres) over a (smooth, second-countable, Hausdorff, not necessarily connected) manifold $B$ of dimension $n$. (a) Is it true, that the manifold B can be covered by a finite number of sets $U_1,\dots,U_N$ s.t. the v...

 
There might be an off-by-1 error here, like $Gr(k,N+1)$ or something.
 
Probably linked to this?
 
One ought to also find information about this in any book about the Lusternik-Schnirrelman (sp?) category.
 
Oh, I see.
 
5:35 PM
The answers there say basically the same. One person has a more clever idea. Embed $E$ in some $\Bbb R^N$, then use the Gauss map to demonstrate $E$ as a pullback bundle.
I think this is basically the same argument, because to get such an embedding you need this stupid fact about covering a manifold with finitely many charts.
 
this is some more general result
 
But probably most readers will have forgotten that.
 
I believe it's in Engelking
 
Yeah, it's a corollary in Hirsch. Theorem 3.3, p. 100.
 
Ostrand's theorem is what I'm referring to
 
5:37 PM
I see that someone else has left a worthless comment on the question. Ah well. Such is the way of things.
If only they understood the question they would not have commented.
 
Oh, actually, I'm wrong. The notion is not stable triviality. Because the summand may not be trivial.
 
Right
 
I had to apologize :)
 
 
2 hours later…
7:48 PM
@TedShifrin No, no, no... use intimidation. When someone brings it up, say, "of course I meant when the summand is trivial!"
 
00:00 - 20:0020:00 - 23:00

« first day (3871 days earlier)      last day (1151 days later) »