« first day (1833 days earlier)      last day (3099 days later) » 

6:00 PM
is sheaf cohomology algebraic geometry?
 
@0celo7 Because I'm not sure that actually captures anything about the concept, but, well, it's as good as I an do
 
why would a GPD warrior need to know it
 
@0celo7 Yes, albeit you could say that also the classical cohomology from (algebraic/differential) topology is just a special case of it (the cohomology of a space is the sheaf cohomology of a constant sheaf on it)
 
what is a sheaf
 
A way of attaching local data to a space.
 
6:02 PM
hmm
 
How does it differ from a fiber
 
so what is a constant sheaf
 
@0celo7 The sheaf which just attaches a fixed object locally - the data does not vary between different regions.
@Slereah A fiber is what a projection "projects out", how would they be related at all?
 
@Slereah nope, I don't think they exist
they're about as real as Sam Fisher
 
It's data at a point of a manifold?
 
6:05 PM
Oct 31 at 20:44, by 0celo7
Sam Fisher is real!
 
Oooooh he got you good
 
@Slereah topological space, or more generally category with a Grothendieck topology
 
are there any links between sheaves and fiber bundles
or are they totally different objects
 
Also, not exactly "at a point" - "locally"
 
@ACuriousMind Not according to the river.
 
6:07 PM
Some say love, it is a river, that drowns the tender reed
 
@Slereah Well, since bundles are often classified by cocyles in cohomology, I guess there is a link between isomorphism classes of bundles and the cohomology of sheaves, but mostly that's gonna be some constant sheaf, so I don't think there's a strong connection
 
Some say love, it is a razor, that leaves your soul to bleed
 
@0celo7 ...river?
 
I really need to learn what a homology is
 
@ACuriousMind oh come one
Am I the only one who does this?
Danu -> Danube -> River
Simple.
 
6:11 PM
But it could be Danu -> Unad -> u mad
Or possibly "you nad"
Are you testicles
 
@0celo7 I didn't even know the Donau was called Danube until now :P
 
@ACuriousMind You haven't had to translate Donaudampf... before I guess.
 
well gee maybe next time you invade my country learn how we say Danube :V
 
@Slereah what
 
@ACuriousMind invaded France last summer
 
6:15 PM
@Slereah I would, but I can't if you run that fast from us :P
 
Like half of the Arxiv CTC papers are "CTCs in the whatever supersymmetric brane"
I need to put this in a folder so I don't have to look at them
 
You could also...not download them to not look at them, no?
 
" The Cauchy Problem for Membranes "
Ew
membranes
Well
You never know if I'll need them
Kinda want to go back to that causality violations book
I'd like to be thorough
There's no physics book actually focused on the topic
Visser's book is the closest there is
" Charged rotating black holes in six-dimensional gauged supergravity "
Half of the papers are like that
[adjective] [black hole/de Sitter/Anti de Sitter] in [n] dimensional [variant theory of gravity]
 
Proof. The proof is a long calculation.
why thank you do Carmo
 
Well
now you know it is not a short calculation
Or even a long spaghetti
It is both long and a calculation
 
6:29 PM
...please donate your drugs
 
Gee, rude
Drugs are like a toothbrush man
You don't share it
 
Huh? I share my toothbrush all the time.
 
" Cosmological rotating black holes in five-dimensional fake supergravity "
Oh great
This one isn't even a black hole in 5D supergravity
It's fake supergravity
I was bamboozled
 
you've been tricked!
 
Snookered!
 
6:34 PM
time to go see if Dr. Knox has materialized in his office
oh I have to eat first
 
" Tomimatsu-Sato geometries, holography and quantum gravity "
Hey that's right
Kerr metrics are a specific form of Tomimatsu-Sato
I wonder what the CTCs are like in the generic case
 
What is TS?
 
It is the generic vacuum axisymmetric static solution
Kerr is the case when the quadrupole moment is 0, IIRC
or multipolar in general,not sure
 
Oh Wald derives that
I'm not sure if he calls it that, though
 
Does he
Or does he just say "See HE"
 
6:38 PM
Chap 7
HE doesn't derive it
 
It's a metric pretty rarely mentionned, for some reason
I first read about it in Stephani
And only because it has all the metrics
Hey look
Bilingual paper
 
Do you even own Wald
 
I do
It's in the pile next to me
 
I wonder what the most mentioned book in this chat is
Either HE or Wald
 
Probably
It would be hard to check without reading it, though
Because "HE" might occur in "HE MAN AND THE MASTERS OF THE UNIVERSE", for instance
 
6:48 PM
How many times is each one used
 
" The Godel-Schrodinger Spacetime and Stringy Chronology Protection "
Wait what
How did Schrodinger get in there
 
@0celo7 "In this chat" means "by you", in this case :P
Your messages make up one sixth of all messages posted in this room, ever.
@Slereah More, importantly: Who is Schrodinger, and what is his relation to Schrödinger? :P
 
I think he is related to Godel
And Erdos
Also Poincare
 
@ACuriousMind 1/6
 
It annoys me I can't answer this bundle sheaf talk, if you view the solution to an ode as a local condition spitting out a section of a vector bundle, then the totality of solutions to the ode should combine together in what we call a sheaf right?
 
6:57 PM
That's...a lot
 
" On the physical interpretation of the delta=2 Tomimatsu-Sato solution "
More Tomimatsu!
 
Oh, @Slereah, now that @bolbteppa says it, there is a very easy relation between sheaves and bundles - a bundle indeed defines a sheaf by just taking the sheaf to be the sheaf of sections of the bundle, but not every sheaf is a bundle.
@bolbteppa Yes, the solutions to differential equations are sections of the jet bundle, and if you view them locally that's a sheaf of sections.
Unfortunately, jet bundles are not very pretty objects, at least not to me :/
 
One sixth. Who is he second highest poster?
Probably you, @ACuriousMind
 
Yes, I am the second with about half of your posts. Then follow Danu, KyleKanos, Slereah
 
There's a lot of paper on quantum computing with CTCs
Which seems to me a bit putting the horses before the cart
But publish or perish, I guess
Also quantum computing is somewhat easier to work with to do QM with causality violations
It is like baby's first QM
 
7:09 PM
Half?
I think I should just stop talking from now on
 
More progress on doing all the problems in VanKampen's stochastic processes book.
 
That's not the van Kampen from the Seifert-van Kampen theorem, is it?
 
Phew
All the Arxiv papers saved
Now to sort them a bit and then do a bit more of a deeper bibliography!
I should sort the metrics, first
 
Geodesic balls ;_;
 
Cylindrical spacetimes, Tomimatsu spacetimes, topology tricks, compact chronology violating region, Godel
Hm, what else
I think that's most of them
Really spacetimes being cylindrical has nothing to do with CTCs I suspect but it is the easiest method to make a spacetime violate causality
You just pick the angular coordinate and say it is timelike
Bam, CTCs
 
7:21 PM
So here's my confusion, on the one hand sheaves are just a way of patching local things together in a global fashion, but that's not enough of a reason to define such a crazy concept, historically sheaves arose as part of the Mittag-Leffler theorem and the idea of Laurent series, yet now we have another way to think of sheaves, via solutions of ODE's, so I'm kind of lost on how to really think about them, any ideas?
 
You just have to make sure the signature is correct
if you play your cards right it can even transition to CTCs!
Tricky business, though
 
@bolbteppa What's so crazy about a sheaf? Given a space $M$, you assign locally, i.e. to every open set $U$, an object $\mathcal{O}(U)$, and you have maps that tell you how to become more local (the restriction maps). (Additionally, you impose that if you have two "global" objects $\mathcal{O}(U)$ that are the same when you look closer at them on a cover $U_i$ of $U$ are the same globally, and that things that look as if they come from a global object indeed come from a global object.)
It's a very natural abstraction if you think e.g. of functions on a manifold - if you take two functions and they agree on every restriction, they are the same functions, and given some local functions, you can stitch them together!
 
GEODESIC BALLS
 
Calm down
 
No!
This theorem is taunting me
 
7:36 PM
Ask the math people
 
ACM told me to torture myself
 
Well do that
I'll go get the hammers
 
@ACuriousMind well the problem is you can do that without fancy words like sheaves, e.g. in the real variable case you can use open covers and partitions of unity to patch things together:
"Roughly speaking, the reason that sheaf theory is useful in complex analysis is that one doesn't have the patching technique of partitions of unity that is available in smooth function theory"
http://math.stackexchange.com/a/147627/82615
the concept is not so obvious to me I guess
 
@bolbteppa Well, sheaves are a generalization - sheaves with partitions of unity ("fine sheaves") are pretty boring from a sheaf theory point of view.
And what you do in the real variable case is just a special case - as always in abstract algebra, the allure of the sheaf approach lies in that it does not rely on more structure than it needs to, and can be applied to many different use cases. If you are generally uncomfortable with the abstract algebra/category theory approach to things, then you do better to stick with the explicit constructions
 
It should be obvious that, say, an entire parabola in the plane is local, and that to make it global I need to go to complex projective space to turn it into some global thing. The only reason to do this seems to be so we can apply, say, Bezout's theorem on mn intersections and stuff, in other words just so we can state a few theorems without mentioning special cases in a (projective) space where it seems they just make everything true because of infinity, so it's not obvious I guess
I'm trying to get comfortable while not accepting things for no reason I guess
 
7:54 PM
Well, you're thinking about the wrong use case to get a reason. Ultimately, sheaves are algebro-geometric, not analytic objects, they allow you to talk about "infinitesimal behaviour" (behaviour on stalks) or differentials and whatnot in a setting where you don't have any analytic structure, either real or complex.
The classical thing to look at here are varieties and divisors - it's quite awkward to talk about divisors if you can't define them as sections of a certain sheaf
'I think you'll never see much reason for sheaf theory if you stay in analytic settings, where most things have quite clear intuitve meanings
 
Divisors are literally just generalizing the idea of a polygon in the plane, and varieties are generalizing the idea of the solution set to a system of equations right? How do you translate what you just said into this baby language? :p
(In a way that explains the big words)
 
geodesic balls o.o
 
8:10 PM
@bolbteppa Okay, two things about divisors: 1. The picture with the polygons is nice, but it doesn't tell you what a divisor is if you're over e.g. $\mathbb{F}_p$ instead of the number you're used to. You do weird sums of points, and while there are instances where this is useful, the notion of a Cartier divisor simplifies many otherwise laborious proofs about them.
 
Hm
Can't find any results for Bloch theorem and whatnot for GR
I guess it is an untapped ressource
 
2. There's an analytic reason to think about divisors and sheaves: The Cousin problems. Without the language of sheaves and divisors, it's entirely unclear what properties exactly determine whether or not a global solution to a Cousin problem exists. Once you realize that the input data for a Cousin problem is just a Cartier divisor, you see it's global topological property of the manifold that determines whether such solutions exist, a sheaf cohomology
 
(I'm not sure I agree with that $\mathbb{F}_p$ comment, if you view going to finite fields as part of the process of iteratively solving diophantine equations (finding lattices on surfaces) then I'm sure there is a way to view divisors over finite fields as just chopping up divisors)
 
2.(contd.) If you do the proofs about existence of solutions of the Cousin problems straightforwardly, it never really becomes clear where the obstruction lies, and the proofs extensively use special properties of the complex numbers, when the actual idea has not much to do with structure of the complex numbers, or the special properties of holomorphic functions.
You can always find a way to translate the abstract viewpoint back into down-to-earth phrasings, but the point of abstraction is that this is *not the right thing to do* because you might do things and think "Hm, all of those look kinda similar". In the abstract approach, you do the proof *once* and you are done. You think "Hm, there's something about zeros and poles for Cousion problems, and something about zeros and poles for the (algebraic) Riemann-Roch theorem, I wonder what's the connection".
 
Yeah, the Cousin's problem is the Mittag-Leffler issue I mentioned, so I guess the link between Laurent series and differential equations is the problem of setting it up as a pde and solving it to give a Laurent series, where solutions of the PDE can also be interpreted in terms of sections of bundles?
 
8:24 PM
Op, we aren't here to reconcile your personal religious views with the laws of physics. — Catija 18 mins ago
 
Hm, I know that you can view Taylor series as sections of jet bundles, but I'm not sure if I've seen it for Laurent series.
 
obe
@Loong lol...
 
Weird, it seems like Cech cohomology is formalizing the idea of working with the Laurent series solution directly, while Dolbeaut cohomology is formalizing the notion of using the PDE to analyze the problem, then the Dolbeaut theorem says they are equivalent toperkin.mysite.syr.edu/talks/sheaves_and_more_cohomology.pdf
 
Sounds as if it should be possible, though
 
I don't see why you're mentioning Jets, everything is first order right?
 
8:28 PM
Well, if everything is first order you can truncate the jet bundle at the first power
 
Yeah, books like Griffiths and Harris just use vector bundles, pretty sure everything is with first order differential operators
 
Sigh...I should get into the analytic applications of this stuff, I've only vague ideas about how to actually work with differential equations in this context
@Loong Movies&TV is nevertheless an...interesting choice to search for such an answer
 
why does time dilation happen
 
8:49 PM
@ACuriousMind Geodesic balls.
Want the proof?
I finally found it
 
I was never the one who wanted that proof
But congrats on either persistent searching or the right idea
 
Hm
Does Gauss law apply to linearized gravity?
I suspect not since it's not a form
 
The trick is to look at the function $F:TM\to M\times M;(q,v)\mapsto (q,\exp_q v)$ and do some inverse function theorem shenanigans
@Slereah what
 
Well linearized gravity is the same form as Maxwell
Except it's a symmetric tensor
 
@Slereah The "except" is a very big difference
 
8:54 PM
Well yes
That is why I suspect that no, it does not
Although
 
is linear gravity woo
 
The law might apply to the gravitoelectric field
 
I haven't seen a linear gravity in the night sky
 
Because Gauss' law is kinda a consequence of $\mathrm{d}^2 = 0$, not of the equations of motion
 
I know
Because Stokes
I mean
The newton-leibniz-gauss-green-ostrogradsky-stokes-poincare theorem
It is weird that there are so few results I can see in linearized gravity
Not a lot outside of G-waves
 
obe
9:06 PM
How can I persuade a friend to learn calculus on his own?
 
@obe why should he
 
Do you own a gun
 
obe
because it will open doors for him.
 
like what
 
obe
once he learns it, he will have access to so many other subjects... lol
 
9:09 PM
does he want access
 
obe
well he wants to be an engineer.
 
no use learning calculus early
 
obe
coming from you...
 
hasn't done me any good
 
obe
orly?
 
9:25 PM
So anyway
What's a brane
 
a thing
 
What is a thing
 
that does things
a brane is just an extended object in spacetime
 
Is that all
 
yes
 
9:29 PM
What is a D Brane, tho
 
@Slereah A homology is just a homotopy invariant functor from the category of topological spaces to the category of abelian groups satisfying the dimension axiom, the long exact sequence axiom (snake maps - natural transformations), additivity and the excision axiom.
There you go.
 
@Slereah to ignore someone do you just hit ignore on their chat profile page?
 
@BalarkaSen I am entirely satisfied and have no further question
 
@NeuroFuzzy you better not be ignoring me
 
@NeuroFuzzy click on their profile picture, click "ignore this user"
 
9:30 PM
tx
 
Then they satisfyingly shrink to a fraction of their original size
 
@BalarkaSen You know that means nothing to everyone in here but like one person.
@ACuriousMind Whom do you have muted?
 
@0celo7 I was joking of course. Pretending to be a French algebraic geometer.
 
@BalarkaSen the level of math in here on a daily basis is middle school
 
@ ocelot huh? I couldn't hear you over the sound of ignoring you
 
9:32 PM
@NeuroFuzzy I hope san diego falls into the ocean >:3
 
Let me try to motivate line bundles generally: If you view a manifold as a collection of states for a system, then the notion of fibering a manifold corresponds to attaching ideas such as colour, speed, temperature, humidity to the state of the system.... Now, a bundle is a special kind of fibering, a locally-trivial fibering.
(*How do I understand this in terms of, say, colour*?)
Anyway, I'm guessing a line bundle is just a way to say we're just attaching velocity to the point, similar to how a line bundle to a function like $y = f(x)$ is just the collection of points plus tangent lines?
 
that message would have made me angry HAD I READ IT, WHICH I DIDN'T >.<
OK well I didn't press the button but I am putting pieces of duck tape over my screen whenever a message from you pops up. It's pretty inconvenient.
 
@bolbteppa Isn't attaching velocities taking the tangent bundle, not a line bundle? (Because that's what one does in Lagrangian mechanics, right?)
 
(Can we set up a bundle of sound and ignoring people? :p)
 
A line bundle just attaches a number, not a velocity vector.
 
9:34 PM
Well a line bundle is a rank 1 vector bundle right?
 
outraged at physical interpretations of vector bundles
 
haha
 
has anyone seen $\phi$ being used for $\emptyset$
 
Who know your high-falutin' mathematical concepts were speaking about baby concepts like colour of a toy ball ;)
 
@bolbteppa Yes, and the tangent bundle has rank equal to the dimension of the manifold
 
9:36 PM
@BalarkaSen a vector bundle is just vectors on a thing
sounds like something an engineer could use...
 
@bolbteppa Nah I'm joking. That's how I visualize line bundles.
 
stupid question time
are all vector bundles the tangent bundle of something
 
@0celo7 No, and the reason is obvious :P
 
So is it okay to think of a line bundle as the collection of tangent lines to a curve like $y = f(x)$, e.g. $\{y_i'\}$, or the collection of points $(x_i,y'_i)$, or the collection of points $(y_i,y'_i)$, or what exactly is going on?
 
(1) you need to have a vector bundle on a manifold for that to make sense (2) no, take dimension of fiber less than dimension of manifold.
 
9:38 PM
(2) is better
 
Like the line bundle!
 
@ACuriousMind oh really smart one
what is the obvious reason
 
@0celo7 All tangent bundles have even dimension as a manifold, but there are odd-dimensional vector bundles.
 
@bolbteppa Just think of a line bundle over a curve as a vector stuck at each point on the curve such that locally it's like a square.
But globally, it can have twists.
 
ok these Skype spams are getting ridiculous
every other hour
@ACuriousMind are there
what if I don't believe you
 
9:40 PM
Locally it's like a square?
 
what if the manifold has half integer dimension
 
@bolbteppa Imagine a mobius strip. That's a line bundle on a circle.
 
then the tangent bundle can have odd dimension
 
"In string theory, D-branes are a class of extended objects upon which open strings can end with Dirichlet boundary conditions"
Hm
Which one is Dirichlet again
 
what about D branes
 
9:41 PM
Is it fixed ends
 
yes
 
@0celo7 Your mom has an odd dimension.
 
If you cut the mobius strip, and if your cut is small enough, the thing looks like a square.
 
@ACuriousMind wtf!?
 
@BalarkaSen : Well really any cut other than the whole manifold :p
 
9:42 PM
uh? no.
 
Unless you cut it lenghwise, I suppose
 
Don't cut the Möbius strip, it has feelings, too!
 
there is a nbhd such that the bundle trivializes
 
nbhd ?
 
'hood
 
9:42 PM
@Slereah neighbourhood
 
"Never been held dearly"?
 
but there might as well be some big nbhd such that it doesn't.
 
Ah yes
 
Okay cool, so when we say a cylinder is a (trivial) line bundle of a circle, are we saying just the collection of vectors making up the sides of the cylinder is the line bundle?
 
god why am I even chatting here.
@bolbteppa Yes.
Fibers are the lines in the cylinder orthogonal to the circle.
 
9:43 PM
wait what nbd of the mobius strip could you take so that it's not trivial
besides the full thing
 
@BalarkaSen Dunno, what brought you here?
 
a big nbhd which takes up the twist, @0celo7
 
@BalarkaSen yeah I just realized that.
but any nbd with trivial fundamental group?
 
@ACuriousMind Curiosity + I am attending a condensed matter physics and topology conference in about 2 weeks. Over-enthusiasm, probably.
I am already regretting it.
 
9:45 PM
@BalarkaSen Wtf
 
Cool
 
Did your mother teach you nothing?
Manners...
 
@BalarkaSen I think condensed matter is a bit rare here, though.
 
does condensed matter raise the GDP
 
Yes
It is one of the most GDP raising discipline
 
9:47 PM
Sure, I am not really going to attend the condensed matter physics lectures. I am just going to attend the topology lectures, lol.
 
Condensed matter physics, optics and electronics
 
condensed matter ~= solid state
 
Also thermodynamics
 
that's all solid state
 
and fluid dynamics
 
9:47 PM
It's mostly @Slereah monologuing about time travel and @0celo7 trying to escape his inevitable fate as an engineer-turned-physicist-turned-mathematician
2
 
Those are the big GDP raisers
I am actually trying to do condensed matter currently!
 
@ACuriousMind my fate is to raise GPD for crying out loud
 
I want to see what the Sommerfeld model looks like in GR
 
@ACuriousMind ah. seems like my ticket outta here.
 
Okay, now here's a good question we might be able to understand:
 
9:49 PM
Well, that was weird.
 
Laundry time!
 
Geez, do you want me to flag you? :P
 
"Associated to a divisor is a holomorphic line bundle, to a meromorphic function a line bundle together with a holomorphic section, and to a line bundle its Chern class." Thoughts?
 
@ACuriousMind Why would you flag me?
 
Is there anything mathematicians will not tag a "morphic" to
 
9:50 PM
@bolbteppa Divisor on what. From the "holomorphic" I take it we're on a complex manifold?
 
"A D0-brane is a single point, a D1-brane is a line (sometimes called a "D-string"), a D2-brane is a plane, and a D25-brane fills the highest-dimensional space considered in bosonic string theory."
Aren't all points $D_0$ branes
 
@Slereah Why are you doing string theory
 
I mean what point will not have fixed ends on a string
because I ended up with a lot of string theory papers
 
Yeah complex manifold
 
@Slereah Well, no. A brane is singled out by being a dynamical object of the theory. You can't just take any old hypersurface and call it a brane (although it often looks as if people do that)
 
9:52 PM
@bolbteppa Re "line bundles and chern class": maps from $X$ to $\Bbb{RP}^\infty$ classifies (real) line bundles on $X$ by pulling back the tautological line bundle on $\Bbb{RP}^\infty$. Then you can associate to each element in $[X, \Bbb{RP}^\infty]$ an element in $H^1(X; \Bbb Z/2)$ by Brown representability. This is the 1st chern class of the bundle.
 
Hello
 
ok, really outta here now.
 
Can anyone explain to me what is meant by realism here
80
A: Why is quantum entanglement considered to be an active link between particles?

Luboš MotlEntanglement is being presented as an "active link" only because most people - including authors of popular (and sometimes even unpopular, using the very words of Sidney Coleman) books and articles - don't understand quantum mechanics. And they don't understand quantum mechanics because they don'...

 
And I'm guessing the line bundle is the collection of momenta/velocities of the states of the system (answering my last question)
 
@ACuriousMind How do you make a point dynamic
 
9:53 PM
@bolbteppa Well, there is a canonical bijection between Cartier divisors and line bundles
 
From what I understand, it means that we can't create a model of the universe, but we can create a model through which we can predict how the universe will evolve
 
Interesting, so Cartier divisors are like the literal sides of a polygon in the plane generalized (?) (since line bundles are 1 dimensional?)
 
Can somebody please help
 
@ViEsr Where? Lubos doesn't use the word "realism". Are you referring to his statement "The wave function is not a real wave."?
 
@NeuroFuzzy He has often mentioned. Locality is true, realism isn't
 
9:55 PM
@bolbteppa Hm, no, I think your polygon picture is a Weil divisor
The two coincide in nice cases, but generally are different concepts
 
Here's the link for a blogpost of his
 
I seen it in the old Dedekind book
 
@ViEsr Ohh right so, I think you had best watch the sidney coleman lecture he's probably referring to -- if you're up to snuff with your Dirac notation!
 
Yes, I did watch that
 
So then "realism" refers to where there are underlying classical variables.
 
9:58 PM
@ACuriousMind be honest, have you ever flagged me before?
 
Ie, in the view he's arguing for, there exists no definite position and there exists no definite momentum before you measure one or the other.
In the "realism" view, there are definite values, they just get changed by hidden variables
and change hidden variables and blah blah blah, that whole mess.
 
"In the appearance of absorption material, the quantum vacuum fluctuations of all kinds of fields may be smoothed out and the spacetime with time machine may be stable against vacuum fluctuations."
Whaaat
I am intrigued
Is "absorption material" secret code for "nonlinearity"
"Recently Li et al have challenged the chronology protection conjecture"
 

« first day (1833 days earlier)      last day (3099 days later) »