« first day (4739 days earlier)      last day (576 days later) » 
00:00 - 17:0017:00 - 00:00

17:00
mathscinet? you need to access it from an institution, you can get temporary access for 30 days on your own machien if you access it from an institution and click some buttons ( I forgot which)
ah, that sucks
Or you have to belong to the AMS.
I no longer do and, having retired, I no longer have access.
I have another related question then. Can you obtain doi then somehow? (not sure if all books have those)
Handbook of set-theoretic topology
No idea what you're talking about.
digitial object identifier
thank you, how did you do that?
Wait the J Vaughan was "Jerry Vaughan" and not "Vaughan Jones"?
@s.harp Yes. Because Vaughan Jones would be V. Jones.
so you put the ISBN number there?
49 secs ago, by Xander Henderson
user image
17:09
@XanderHenderson Yeah, I simply thought the shop had messed up first and last name
Why would Vaughan Jones have anything whatsoever to do with point-set topology?
oh, the title
@Jakobian thumbs up emoji
@s.harp (Just for you, s.harp.)
@TedShifrin given the fact that he is a von Neumann algebra guy who invented the Jones polynomial I already had the impression that he was super interdisciplinary, so a book on pointset topology was impressive but not completely out of left field
Totally out of left field. :)
17:14
(and besides, Vaughan is a super unusual name)
Would you expect that of Witten or Atiyah?
It's not an unusual last name, although spellings may differ.
I know a lot more about them than about Jones though
@TedShifrin Disagree. It was hit by a left-handed batter. It came from way out of right field.
@XanderHenderson OK.
Arnold wrote books about ODEs and books about algebraic geometry
17:16
So?
Those are true mathematics.
And they are not unlinked.
Similar luminary who wrote stuff about completely different fields
Singularity theory, too.
My issue is with point-set topology, not breadth of knowledge/interest.
I mean a point set topology book and von Neumann algebras: depending on the flavour of the points there is a connection
My two advisers worked all over the map.
17:54
@TedShifrin wdym
18:37
🌱

Aberration that arise considering "0 is even",
when solving agricultural problem.

1 male rabbit + 1 female rabbit = 2 rabbits, where 2 is even.

If "0 is even", resulting 0 rabbits must be sufficient to perpetuate rabbits.
Absurd!

🐇🐇
@s.harp Any thoughts on this? I see it locally from Darboux normal form. Do you see a nice way to choose $X$ so that $\nathscr L_X\alpha=0$?
Ping me if you want to study Theories, Sites, Topoi in this private study Q&A group
Covers FOL, topos theory, "bridges", heavy on category theory
We have our own stackexchange, because we're cool like that
😎
18:52
@VitalieGhelbert I believe that this room has made it very clear that we are not interested in this nonsense. Please do not bring it up again.
What did they say?
Oh ic, follow the white rabbit person
ChatGPT must be a genius
πŸ™„ I would say our jobs are secure and safe from AI overtake for at least the next 300 years. πŸ˜‚
I harassed someone on main by suggesting that his answer sounded like a ChatGPT answer. He got more and more defensive and eventually flagged my comment. (By that point, I just deleted.)
I hired someone who I think used ChatGPT every time I asked a technical question
Luckily got out of that
freelancer .com
@TedShifrin I don't have any good idea unfortunately. But the condition closed under convex combinations, so if you have solutions locally you can use a partition of unity to build global solutions
I don't see how to make that work. That was the first thing I thought of and started to type the answer, but writing $X=\sum\phi_k \frac{\partial}{\partial x^3_k}$ won't work (because it interacts badly with the "other" local forms of $\alpha$).
I wanted to find $X$ globally by looking at the Lie derivative of $\alpha$, but I don't see a nice invariance property of $\alpha$ since it is non-integrable.
19:16
Oh, I guess Munchkin has finished kidnapping @leslie.
as an AI model, i have no comment on that
length, area and volume. Trying to determine which one to use for a metric. Any inputs?
@geocalc33 Context?
Why not just "measure"?
I'm thinking area and volume because
I can't get a closed form expression for arclength
@leslietownes you're working in fashion now?
19:19
Define the term "metric."
Triangle ineq + symmetry + d(x,y) = 0 iff x = y
roughly speaking in shorthand
That's one possible definition, but not the one geocalc has in mind.
I don't know physics, lol
Perhaps you've not heard of Riemannian or pseudo-Riemannian or hermitian metrics.
Nothing to do with physics.
Heard of, but never studied
19:23
Anyhow, the question was intended for the one using the term.
@geocalc33 You still alive there? Gonna answer our questions?
I'm still alive and well. Yes, I'm typing.
I've been using a Riemannian metric, that I've been pushed to use, using the concept of an "area," because it's been easier to work with. I've run into a very daunting task, and that is to express that notion of distance on a surface that's not flat anymore.
And I think I need to read about differential 2-forms to solve this
not physics
An area- or volume-form is totally different from a Riemannian metric.
Think about the plane. Area-preserving linear maps give you $SL(2,\Bbb R)$. Metric-preserving linear maps gives you $O(2)$.
A metric is a symmetric $2$-tensor. A volume form is an alternating $n$-tensor.
Why is $[F[x]/(p(x)):F] = \deg p$. I guess it's because $x^m+(p)$ for $m = 0, ..., \deg(p)-1$ form a basis?
Yeah
Anyhow, area on a surface in no way determines the metric.
19:39
@TedShifrin okay...I am just slightly confused because I calculated a Riemannian 1d metric, using integration. There's something called a Fisher metric that gives you a Riemannian metric for a given distribution, so that's what I did
it's a definite integral
just to briefly describe, the input is a distribution of say 1-parameter, you integrate over the support of the variable and so clearly you get a function of the parameter. That parameter, say $\theta \in \Bbb R$ is the new coordinate on the 1-manifold and the result of the integration is the Riemannian metric.
https://en.wikipedia.org/wiki/Fisher_information_metric

I'll just link this
It's probably easiest to just define a 1-parameter family of riemannian metrics like this:

$$ g_s(r)=\int_{(0,1)} x^{r-1}\varphi_s(x)~dx = 2\sqrt{\frac{s}{r}}K_1(2\sqrt{sr}).$$
where $s$ is mathematical time
so the metric is changing over time i.e. its dynamical
so for $s_1=1$ and $s_2=2$ you get a "discrete" distance i.e. $d(s_1,s_2)=|g_1(r)-g_2(r)|$
19:59
There seems to be a difference of opinion regarding the definition of the limit of a function. It seems like $0<|x-a|<\delta$ and $|x-a|<\delta$ are both used in some books. Which definition do you use or think is more appropriate? I am confused as to why the latter definition (with $|x-a|<\delta$) even makes sense.
can be infintesimal though
@sunny I am guessing that you are either leaving something out, or that the authors are being lazy.
@XanderHenderson so you think $|x-a|<\delta$ is short for $0<|x-a|<\delta$?
@sunny I don't know because I am not reading the books that you are reading.
What do they write in your books then? :)
20:03
@sunny I don't have any of my books handy, but I would define $\lim_{x\to a} f(x) = L$ to mean "for any $\varepsilon > 0$, there exists some $\delta > 0$ such that $0 < |x-a|<\delta$ implies that $|f(x) - L| < \varepsilon$."
@XanderHenderson then we're in agreement!
@sunny I never suggested we weren't.
I was suggesting that you are leaving out a lot of context from the authors who write $|x-a| < \delta$.
It is possible that they are leaving something out, but it is also possible that they are explicitly saying $x \ne a$ somewhere else in the definition.
Can somebody tell me the name of correlation but with/for adjusted means?
@sunny Definitely not. But they are considering only continuous functions.
adjusted $R^2$? @Řídící
20:09
@TedShifrin makes sense
Everything I said from 15:39 on is correct by the way
@geocalc33 Nope. I mean correlation but using different mu's in the covariance
@geocalc33 The Fisher metric is a metric on an infinite-dimensional manifold, I believe. Don’t get muddled up with that.
@Řídící gotcha.
@TedShifrin isn't that Finsler?
Not at all.
20:14
the dimension of the manifold is dependent upon the number of parameters in the distribution itself
@sunny $|x-a|\lt\delta$ would seem to indicate the function is continuous at $a$.
@robjohn yes, I agree
so if there are $n$ parameters the manifold is $n$ dimensional
I suppose one could generalize this to an infinite dimensional manifold, but I haven't gotten that far yet
20:29
to me it's cool that the 1-parameter family of metrics should satisfy that linear third order differential equation, as well as the distribution itself changing according to a diffusion equation. It's like Ricci flow but lower dimensions and linear instead of nonlinear (I guess it's not really like Ricci flow but it is type of geometric flow).
 
2 hours later…
22:42
what sorts of mathematics involves secant algebraic varieties?
🌈🦜πŸͺΆ
i mean, what's their natural setting?
algebraic geometry? is this a trick question
well ok that's on me, but i mean
where in algebraic geometry
Where Do They Arise?
i dispute the premise that algebraic geometry contains a "natural setting" for anything
they arise when people want to publish papers on them or use them as examples? beats me
en.wikipedia.org/wiki/Secant_variety has an example? does that help?
22:49
i'll hunt them down in the wikipedia references
i'm asking because i've been told they're not usually taught in a first course
not coming from an AG background it just baffles me how someone could know enough about AG to be curious about that, and but not know enough to have some idea of the answer
didn't there used to be some true algebraic geometers on this chat? but it's been a while
ted cosplays as one, maybe he will have good examples
they have applications to tensor statistics
but i'm guessing that's not their normal setting
23:06
Start with the proof of the Whitney embedding theorem. You can do the smooth case, but it applies to the case of projective varieties as well.
You can also look at a paper of Griffiths and Harris where degenerate secant varieties are treated.
noted, ty!
00:00 - 17:0017:00 - 00:00

« first day (4739 days earlier)      last day (576 days later) »