Wikipedia talk:WikiProject Mathematics/Archive/2024/Jul

Proposed move of Trammel of Archimedes to Ellipsograph

In the past couple of days I spent some time researching the name "trammel of Archimedes", sometimes applied to the instrument for the several centuries previously and still often today called an elliptic trammel or elliptic compass (a "trammel" or beam compass is a wooden or metal rod or beam along which slide metal "trammel points", used to draw circles). This is a type of ellipsograph (tool for drawing ellipses). I learned that Archimedes had nothing to do with this tool, which may have been invented in the early 16th century by Leonardo da Vinci, and which operates on the same mathematical principle as a mechanism investigated by Proclus (5th century) based on the one Nicomedes (3rd century BC) used to trisect angles. Circa 1940 the name "trammel of Archimedes" showed up in the work of Robert C. Yates, apparently out of the blue (I speculate this may have been based on some confusion by Yates or whoever he got the name from between Nicomedes and Archimedes). Judging from searches of books/academic papers, the name "trammel of Archimedes" remained quite rare through the 20th century, but there have been a nontrivial number of people calling it that in the past couple of decades, perhaps partly under the influence of webpages like Wikipedia.

Anyway... I think this article would be improved by reorganizing it to discuss the general topic of ellipse drawing, so I proposed at Talk:Trammel of Archimedes § Requested move 1 July 2024 that it should be moved to the title Ellipsograph (which currently redirects there), with "Elliptic trammel" turned into a top-level section. Then we can add other sections about the pins-and-string method for drawing ellipses, as well as various other interesting ellipse drawing tools/methods, and some further discussion about how these tools were used in practice. –jacobolus (t) 05:43, 1 July 2024 (UTC)

Discussion on links in the lead sentence of mathematics

Please take a look at talk:mathematics#Overlink issue in lede. --Trovatore (talk) 22:02, 3 July 2024 (UTC)

Question about a redirect

Is 3^^^^3 a proper way of notating Graham's number? voorts (talk/contributions) 19:12, 4 July 2024 (UTC)

That's an awkward ASCII way of writing $3\uparrow \uparrow \uparrow \uparrow 3$, which is the first term in a sequence whose 64th term is Graham's number. The particular number $3\uparrow \uparrow \uparrow \uparrow 3$ is mentioned in the lead section of the article Graham's number. --JBL (talk) 19:42, 4 July 2024 (UTC)

Thanks. I'll mark the redirect as patrolled. voorts (talk/contributions) 20:05, 4 July 2024 (UTC)

Quasilinearization article may need some input

There is a new article Quasilinearization which was restored from a deleted form and has been moved directly to main. I know that using linear approximations is very common in optimization and similar problems, and it is of course everywhere in science (first order expansions). I don't know if there are other articles on this, hopefully someone in the applied math area has a better feel for what is already on Wikipedia. For certain I think Quasilinearization can do with better and wider context, but perhaps there is more that should be done. Over to others. Ldm1954 (talk) 19:27, 6 July 2024 (UTC)

We do have the article linearization, which is about more general use of linear approximation. The article in question seems to be about a more specific set of techniques (and that set of techniques is known as quasilinearization); see https://encyclopediaofmath.org/wiki/Quasi-linearization for example. —- Taku (talk) 20:04, 6 July 2024 (UTC)

Mixing (mathematics) and Mixing (physics) merge proposal

See Talk:Mixing_(mathematics)#Merge_proposal. Please leave comments on that talk page and not here. Mathwriter2718 (talk) 01:15, 9 July 2024 (UTC)

Cube buildings

I have recently expanded the article Cube, one of them is the Cube#In architecture. However, one source says that Kaaba is a nearly cube building [1], which I have not included in the article. If that's the case, should this be included elsewhere, the Square cuboid, or keep it in the article Cube but quote what is the source saying? I don't want to have a conflict because of my editing. More opinions are extremely needed. Dedhert.Jr (talk) 13:03, 8 July 2024 (UTC)

The Cube is such a ubiquitous shape that making lists of cube shaped things is not really helpful. MrOllie (talk) 13:07, 8 July 2024 (UTC)

@MrOllie I see. Then I guess six-faced dice and Rubik's cube should not included as well in the pre-planned section "In popular culture". I do not get why someone reverted about the architecture one, like, do we actually have a manual of style in Wikipedia about those? Why do articles like Isosceles triangle also mention the architecture, or ubiquitous shape like Mobius strip in popular culture? Dedhert.Jr (talk) 13:09, 8 July 2024 (UTC)

Because there are not many pieces of architecture that incorporate a proper Möbius strip, so when one does it becomes more unusual and interesting than a piece of architecture that incorporates a cube, a cylinder, or a hemisphere. —David Eppstein (talk) 05:44, 9 July 2024 (UTC)

It is possible that there are particular buildings that are notable for being exactly cubical, but one would want to see extremely good sourcing for that to pass WP:DUE. I don't think there's anything wrong in principle with noting, somewhere in Cube, the ubiquity of cubes and including mention of some examples like dice. --JBL (talk) 18:18, 9 July 2024 (UTC)

The ubiquity of cubes would need to referenced just like anything else. Johnjbarton (talk) 18:28, 9 July 2024 (UTC)

The Kaaba (literally "cube") is a pretty notable example of a cubical structure. If someone wants to make a general point about the popularity of cube-shaped buildings with examples, Mukaab and Cube Berlin have wiki pages, and there is surely discussion to be found about other examples in some architecture journal or another. –jacobolus (t) 22:11, 9 July 2024 (UTC)

@Jacobolus Another interesting building. I previously wrote Genzyme building and the interior building of Duchess Anna Amalia Library, and sources were supplied. If these can be written again, buildings from the West and the Arabic may be split in the pre-planned section "In architecture". Do you think this is fine? I also can't put them in popular culture because of my reasoning from the very beginning. Dedhert.Jr (talk) 06:03, 11 July 2024 (UTC)

I don't think an article cube has to have an architecture section, but there's certainly enough that has been written about this topic that it could be supported. I probably wouldn't make it longer than a single unified section. (Does the Borg Cube count as a building? :P ) –jacobolus (t) 06:11, 11 July 2024 (UTC)

@Jacobolus It seems like a "popular culture" to me. Dedhert.Jr (talk) 06:19, 11 July 2024 (UTC)

@MrOllie I agree with this conclusion but not the reasoning. A list of cube shaped things is only notable if references make it so. Specific examples of notable cubes could nevertheless be listed with due discussion. The Kaaba for example was discussed as having a singular appearance, quite the opposite of ubiquity. Johnjbarton (talk) 18:37, 9 July 2024 (UTC)

Template:Unsolved, dark mode, CSS

If you know anything about CSS and templates, there is a request for assistance involving Template:Unsolved that perhaps you could help with. --JBL (talk) 17:55, 11 July 2024 (UTC)

Riemannian manifold

Hi all, I have spent much time over the past week and a half editing the C-class article Riemannian manifold and I think it is ready for a reappraisal. I would also be very happy if others have ideas for how to improve the page or to make it more accessible and readable. I would love to have an image at the top of the page, but I couldn't think of a good one. Mathwriter2718 (talk) 20:37, 4 July 2024 (UTC)

It starts at the deep end. Shouldn't readers learn much earlier that Euclidean spaces and smooth surfaces embedded in them form Riemannian manifolds? —David Eppstein (talk) 22:25, 4 July 2024 (UTC)

Agreed. The content of the article is all important and should be there, but especially the lead could be a bit more general, especially given that a Riemannian manifold is quite an understandable concept (if not the details). For example a better first sentence or two might be something like

"in differential geometry, a Riemannian manifold is a (possibly non-Euclidean) geometric space for which traditional geometric notions of distance, angle, and volume from Euclidean geometry are defined. These notions can be defined through reference to an ambient Euclidean space which the manifold sits inside (and indeed any Riemannian manifold may be viewed this way due to the Nash embedding theorems) but the modern notion of a Riemannian manifold emphasizes the intrinsic point of view first developed by Bernhard Riemann, which makes no reference to an ambient space and instead defines the notions of distance, angle, and volume directly on the manifold, by specifying Euclidean inner products on each tangent space with a structure called a Riemannian metric. The techniques of differential and integral calculus can be used to transform this infinitesimal information into genuine geometric data about the manifold, and for example distance between points on the manifold along a path, the arc length, can be determined by integrating the infinitesimal measure of distance along the path given by the metric."

I also strongly recommend adding a section to the lead about applications, especially of Pseudo-Riemannian geometry to physics, and of the basic ideas of Riemannian geometry in design and engineering. Some of the technical stuff in the lead can be kept, but a good lead should have a little something for everyone. Tazerenix (talk) 01:51, 5 July 2024 (UTC)

This could still be less technical and more concise.

• The first paragraph here needs to link to (and ideally gloss) manifold or possibly differentiable manifold.
• "(possibly non-Euclidean)" is awkward.
• "First developed by Bernhard Riemann" seems oversimplified/imprecise. Maybe just in this very specific way? People were thinking about e.g. the sphere intrinsically many centuries before that (back to Menelaus of Alexandria if not before), and there are surely more general examples from the 18th or early 19th century. Where does Gauss fit in this story?
• "Genuine geometric data" is a confusing phrase.
• I recommend deferring mention of tangent spaces and Nash embedding theorems past the first paragraph, until such a space as they can be unpacked (briefly but) clearly where mentioned.
• I recommend adding "locally", e.g. "... are locally defined", maybe with a wikilink to Local property. Though some more explicit phrase might be better, "in the vicinity of each point" or the like.

It would likely be clearer to keep the first paragraph more to the point, and contrast with an embedded-in-a-flat-ambient-space in a second paragraph.

I'd recommend trying to read some of Needham's Visual Differential Geometry when working to make relevant articles accessible. There are a lot of clear explanations and nice pictures there. –jacobolus (t) 03:46, 5 July 2024 (UTC)

Maybe this is where I admit that differential geometry was my second least favorite undergraduate mathematics class. Too much focus on symbolic formalisms like Christoffel symbols, too little intuition. I like the material now but I didn't get it then. I should take a look at that book, I'd likely still get something out of it. (Least favorite was plug-and-chug differential equations.) —David Eppstein (talk) 07:06, 5 July 2024 (UTC)

While on the topic of symbols vs. explanations, Petersen's book doi:10.1007/978-0-387-29403-2_1 looks like it has a decent amount of prose explanation and historical discussion. (Disclaimer: I only looked at a few pages.) –jacobolus (t) 16:26, 5 July 2024 (UTC)

@Tazerenix @Jacobolus @David Eppstein I definitely agree with adding applications. Physics, design/engineering, machine learning, and cartography all provide examples of applications. I propose the following lead spliced from Tazerenix's paragraph and the current lead and following Jacobolus's suggestions.

In differential geometry, a Riemannian manifold is a curvy space called a smooth manifold endowed with geometric information allowing many geometric notions such as distance, angles, length, volume, and curvature to be defined. These notions can be defined through reference to an ambient Euclidean space which the manifold sits inside. However, the notion of a Riemannian manifold emphasizes the intrinsic point of view as conceptualized by its namesake Bernhard Riemann, which makes no reference to an ambient space and instead defines geometric notions directly on the abstract manifold by specifying inner products on each tangent space. The tangent space at a point is the vector space of all vectors tangent to the manifold at that point, and it can be thought of as the Euclidean space best approximating the manifold at that point. An inner product is a measuring stick that defines Euclidean geometry on a vector space by specifying the length of each vector and the angles between each two vectors.

The choice of an inner product on each tangent space is called a Riemannian metric (or just a metric), and a Riemannian manifold is defined as a smooth manifold with a Riemannian metric. Riemannian geometry is the study of Riemannian manifolds. The techniques of differential and integral calculus are used to pull geometric data out of a Riemannian metric. For example, the length of a curve can be determined by integrating the infinitesimal measure of distance along the path given by the metric.

Formally, if $M$ is a smooth manifold, a Riemannian metric is a smoothly-varying family $g$ of positive-definite inner products $g_{p}$ on the tangent spaces $T_{p}M$ at each point $p$, and the pair $(M,g)$ is a Riemannian manifold. The requirement that $g$ is smoothly-varying is that for any smooth coordinate chart $(U,x)$ on $M$, the component functions of the metric

$g_{ij}=g\left({\frac {\partial }{\partial x^{i}}},{\frac {\partial }{\partial x^{j}}}\right):U\to \mathbb {R}$

are smooth functions, i.e., they are infinitely differentiable.

Applications include ...

We also have an article Riemannian geometry which is essentially a (relatively short) list of theorems from Riemannian geometry. My thought on how to differentiate this from Riemannian manifold is to have Riemannian manifold be less about big results in the field and more about the structure of a Riemannian manifold and what you can do with it. Mathwriter2718 (talk) 13:21, 5 July 2024 (UTC)

@David Eppstein, Jacobolus, Mathwriter2718, and Tazerenix: That is not an improvement over the version from Tazerenix due to several issues:

1. The term curvy is confusing
2. The reference to embedding belongs in a history section; Riemannian manifold is about intrinsic geometry.
3. The lead contains technical details that really should be defer to later in the article.
4. It does not address an issue raised by Jacobolus: I recommend deferring mention of tangent spaces and Nash embedding theorems past the first paragraph, until such a space as they can be unpacked (briefly but) clearly where mentioned.

I would cut it back to

In differential geometry, a Riemannian manifold is a space called a smooth manifold endowed with geometric information allowing many geometric notions such as distance, angles, length, volume, and curvature to be defined. Although Riemannian geometry has an intrinsic perspective, it was historically motivated by the study of surfaces in Euclidean geometry.

with everything else in subsequent sections. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 14:11, 5 July 2024 (UTC)

@Chatul I strongly disagree with cutting the lead down to those two sentences. Most critically, it makes no attempt to say what a Riemannian manifold is, instead merely saying a few properties it has. I think we ought to discuss the tangent space here. It can be explained in a non-technical way and it's a fundamental part of any description of a Riemannian manifold. I also think that clarifying embedded spaces vs abstract spaces as quickly as possible is a good idea, because omitting this is guaranteed to cause misunderstanding. That distinction should not merely be relegated to history. I also think including a single sentence mentioning applications in the lead is a good idea.

To make it less technical, my first thought is to shorten:

The techniques of differential and integral calculus are used to pull geometric data out of a Riemannian metric. For example, the length of a curve can be determined by integrating the infinitesimal measure of distance along the path given by the metric.

To:

The techniques of differential and integral calculus are used to pull geometric information, such as lengths of curves, distances between points, and volumes of shapes, out of a Riemannian metric.

We could also move the paragraph starting "Formally" out of the lead, or just the description of smoothness, though I think that the audience for this page includes many people for having a formal description in the lead would be very useful. Mathwriter2718 (talk) 14:42, 5 July 2024 (UTC)

This first paragraph is a bit bloated I think. I would just mention "Riemannian metric" in the first paragraph, and defer discussion of tangent spaces etc. to a subsequent paragraph. –jacobolus (t) 17:35, 6 July 2024 (UTC)

Fwiw, I think tazernix lede is good as is. There's no need to complicate matters with endless debate as to the merits of this or that. Tito Omburo (talk) 17:37, 5 July 2024 (UTC)

However my intention was to start a conversation! I'm sure there are ways of improving my attempt as others have commented on. I think the most essential point is to find just the right first sentence. Everything after that is natural. One needs to find the right word to convey to the reader that Riemannian manifolds can be curved, folded, that they are manifolds, but have the same geometric information as rigid figures from Euclidean geometry, which is the main interaction the lay person or those uneducated in geometry understand. We've had "curvy", "non-Euclidean", "smooth manifold", "space" etc. My attempt tried to rely on peoples lay knowledge of "Euclidean" although even that may be a bit esoteric for the first sentence. Happy for people to keep debating it! Tazerenix (talk) 23:55, 5 July 2024 (UTC)

I think some kind of picture(s) would help a lot, even if it's just showing a funky 2-dimensional surface immersed in Euclidean space. –jacobolus (t) 00:10, 6 July 2024 (UTC)

Aren't there some nice pictures available of what hyperbolic 3-manifolds look like "from within"? Seems like this conveys the idea of "intrinsic geomtery" in a fairly striking way. Tito Omburo (talk) 00:19, 6 July 2024 (UTC)

Such a thing is also neat, but I think it might be confusing to start with. –jacobolus (t) 01:18, 6 July 2024 (UTC)

I would suggest two images: a Klein bottle, since this is a surface which can be smoothly immersed in 3-space but which is not an embedded surface (though here the intrinsic uniformizing geometry is flat!), and an image like File:Order 5 dodecahedral honeycomb.png with words to the effect of: "An observer inside hyperbolic 3-space will see polygons in a hyperbolic tessellation up close as almost Euclidean, while polygons further away become distorted because of the non-Euclidean Riemannian metric." Tito Omburo (talk) 10:37, 6 July 2024 (UTC)

@Tazerenix I'm really glad a discussion about this page is happening. Yet another possibility for a first sentence emphasizes that it is a generalization of Euclidean geometry:

In differential geometry, a Riemannian manifold is a vast generalization of Euclidean geometry to arbitrary smooth manifolds.

Mathwriter2718 (talk) 02:08, 6 July 2024 (UTC)

I don't think leading with "generalization of Euclidean geometry" gives the right impression either. I would make a first paragraph more along the lines of:

"A Riemannian manifold is a geometric space which locally, in the vicinity of each of its points, has the same metrical structure as flat Euclidean space – in the same way that spatial relationships in a small portion of a globe's surface can be modeled using a flat map – including concepts of perpendicularity and angle measure, straightness and curvature, and an infinitesimal definition of distance and volume, based on a formal structure called a Riemannian metric. Using the tools of differential and integral calculus, this local structure can be extended to larger portions of the space, yielding a generalization of Euclidean geometry, Riemannian geometry, in which space might be warped or curved and straight lines are replaced by locally straight curves called geodesics. It is named after Bernhard Riemann, who, building on the work of Carl Gauss, proposed a way of defining and studying such spaces in general."

I'm not sure if "infinitesimal" is the best word – it might be confusing or ambiguous – and neither infinitesimal nor differential (mathematics) seems like quite the right Wikilink to employ, and e.g. differential form may be be unhelpfully advanced for less prepared readers. Do we have a clear lay-accessible article about these general kinds of concepts? Anyway, I'd then defer discussion of more precise definitions of Riemannian metric, tangent space, etc. to after the first paragraph. The second or third paragraph can also discuss the difference between extrinsic vs. intrinsic definitions, embedding theorems, and so on. –jacobolus (t) 21:00, 6 July 2024 (UTC)

We can argue about wordsmithing but I like the general focus of this version on local geometry, and I especially like the suggestion of flat maps of the earth early in the lead as an analogy. —David Eppstein (talk) 22:12, 6 July 2024 (UTC)

(Please everyone feel free to wordsmith to your heart's content.) –jacobolus (t) 22:33, 6 July 2024 (UTC)

I can see why this paragraph feels compelling, but I don't endorse this usage of "locally". Specifically, the first sentences are not true: a Riemannian manifold does not have the same local metric space structure or Riemannian metric structure as flat Euclidean space, and indeed it is impossible to have a map of a part of Earth that preserves these structures. The thing that is true is that Riemannian manifolds look "infinitesimally" like flat Euclidean space. But "locally" should mean on a neighborhood. Riemannian manifolds that look locally like flat Euclidean space are called flat. Mathwriter2718 (talk) 14:29, 7 July 2024 (UTC)

Is there an accurate but legible/accessible way to express that they have the same structure in the limit? –jacobolus (t) 17:10, 7 July 2024 (UTC)

How about A Riemannian manifold is a geometric space which locally, in the vicinity of each of its points, has nearly the same metrical structure as flat Euclidean space – in the same way that spatial relationships in a small portion of a globe's surface can be modeled using a flat map – including concepts of perpendicularity and angle measure, straightness and curvature, That should be sufficiently precise for the lead. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 18:39, 7 July 2024 (UTC)

I'm afraid the phrasing "locally the same metrical structure as flat Euclidean space" is unsalvageable even if qualifiers are added to it, because it's not nearly true, it's very false. The phrasing "infinitesimally the same geometry as flat Euclidean space" would be true. Mathwriter2718 (talk) 20:59, 7 July 2024 (UTC)

Maybe it would be better to say something like it resembles the plane, and has the same structure in the infinitesimal limit. –jacobolus (t) 22:00, 7 July 2024 (UTC)

I agree with Mathwriter2718 that this isn't accurate. The metrical structure of a sphere, on even the finest scale, has notably different metrical structure from flat Euclidean space: for instance the sectional curvature (as a Riemannian-geometric notion) in any small region of the sphere is exactly one, never getting closer to zero (the curvature of Euclidean space).

The basic fact is this: a Riemannian metric gives each tangent space an inner product, and any inner product space is (up to isometry) the same as a Euclidean space. I can see why some might phrase this as "infinitesimally Euclidean geometry" but I think it's a clunky way to view it and could lead to confusion. Taking a somewhat broader view, "infinitesimally Euclidean geometry" could naturally be formalized by saying that every tangent cone of a Riemannian manifold (viewed as a pure metric space) is isometric to a Euclidean space. That's true, but it fails to distinguish Riemannian manifolds. I think it would be better to simply say exactly what a Riemannian metric is: an inner product on each tangent space. Personally, I believe that would be as simply-put as possible. Gumshoe2 (talk) 21:09, 7 July 2024 (UTC)

"I think it's a clunky way to view it" – It's a sort of hand-wavy view, but it's not detailed enough to be clunky. By comparison, the business about tangent spaces is a very "clunky" way of expressing this idea, a formal definition for a new concept duct taped together from other abstractions previously defined and already at hand. It's not a requirement to define it this way, and most students do not have a clear intuition about the concept of the tangent space for a long time after being introduced to it, but it was convenient for the other proofs people wanted to make.

"sectional curvature (as a Riemannian-geometric notion) in any small region of the sphere is exactly one" – this is not so. The way you "zoom in" on a small portion of the sphere is by expanding the sphere until the portion of interest fills your view (or equivalently, imagine yourself and your natural scale of measurement to be shrinking and shrinking). In the limit as the sphere becomes infinitely large or you become infinitely small, you are left looking at a completely flat surface, indistinguishable in any way from part of a plane. [For a physical example, we don't yet know if the large scale structure of spacetime is flat or not, and we could well imagine the universe being "spherical" or "hyperbolic", but if so the curvature is so slight that it appears flat to within our capacity to measure. The curvature of a spherical, flat, or hyperbolic universe would be very very nearly the same, and you'd need a whopping big length scale to say it had sectional curvature of 1.] –jacobolus (t) 21:40, 7 July 2024 (UTC)

Each of the textbooks I have at hand (Petersen, do Carmo, Kobayashi–Nomizu) define a Riemannian metric as a choice of inner product on each tangent space. What alternative do you have in mind?

I didn't realize you had zooming/rescaling in mind, since the proposed opening paragraph above didn't mention it. If that paragraph is to be used, I think that would have to be clarified. Regardless, I think it is a curious notion to put up front, since even in the most basic examples of Riemannian manifold – namely surfaces in 3-space – this idea of rescaling and recovering a Euclidean space in the limit is not of major importance, nor is it terribly immediate from the actual definitions. (And I don't know of any textbooks where it is emphasized.) The notion of tangent space is more immediate, both in the intuitive visual sense and in the formal setup. (Nor, at least in the formal version of saying that every tangent cone is a Euclidean space, does it even characterize the spaces in question. There are geometric spaces which equally have 'infinitesimally Euclidean geometry' which are not Riemannian manifolds.)

In terms of an opening line, I hardly think it's necessary to mention tangent space and inner product, but something along the lines of tazerenix's, something like

Riemannian manifolds are certain geometric spaces in which Euclidean notions of length and angle are generalized.

seems perfectly appropriate (and standard) to me. Gumshoe2 (talk) 23:02, 7 July 2024 (UTC)

Thanks everyone for your interesting comments in this discussion.

1. From my experience, math undergraduates find the tangent space intuitively clear soon after it is introduced.
2. In my opinion, the definition of a Riemannian metric as an inner product on each tangent space is extremely elegant and not clunky.
3. @Jacobolus you suggest that there is an alternative definition of a Riemannian manifold. I have never heard of an alternative definition, so if one exists, I would be extremely interested.
4. If you "take the limit approaching a point" by choosing smaller and smaller coordinate neighborhoods, you will not approach Euclidean space. But if you zoom in and rescale as you do the limiting process, you will approach Euclidean space. If someone just said "take the limit approaching a point", I would expect that they meant the first construction. The second construction is just as valid, but I think it is more unusual in the math world.

Here is yet another ordered set of words for our collective consideration:

In differential geometry, a Riemannian manifold is a geometric space equipped with, at each point, a copy of the Euclidean space most closely approximating it near that point.

I also like the idea of having an opening line that avoids the notion of tangent space or entirely. Here is an appropriate modification of what I said earlier:

In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined.

I still think the lead section should give a formal definition. But maybe no one disagrees with this. Mathwriter2718 (talk) 01:32, 8 July 2024 (UTC)

My concerns that the lead

1. Comply with MOS:LEAD
2. Provide definitions that are understandable by the uninitiated
3. Not be wrong, although vagueness is fine

Either your In differential geometry, a Riemannian manifold is a geometric space equipped with, at each point, a copy of the Euclidean space most closely approximating it near that point. or your In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. seem fine.

I don't see the value of formal definitions in the lead, although they are essential in later sections. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 12:25, 8 July 2024 (UTC)

"a copy of the Euclidean space most closely approximating it near that point" seems confusing (and possibly meaningless) to me, but I think your second version is good. Ideally there would be a more descriptive label than "geometric space" but I'm not sure what it would be.

If it's possible to make the lead section both accurate and generally accessible, I think it's good to skip formal definitions until sections in the body. Gumshoe2 (talk) 17:41, 10 July 2024 (UTC)

"A copy of the Euclidean space most closely approximating it near that point" is my best attempt to describe a Riemannian metric both intuitively and accurately. I really think "Riemannian metric" should be defined in the lead. The page for Euclidean space defines a Euclidean space as a finite-dimensional real inner product space. Indeed, each tangent space of a Riemannian manifold is a finite-dimensional real inner product space. Now it is hopefully clear why I claim that out of all the finite-dimensional real inner product spaces one could associate with a point of a manifold, the tangent space equipped with the metric at that point is the best approximation. Mathwriter2718 (talk) 19:10, 10 July 2024 (UTC)

I haven't thought very deeply about it but there are surely many ways that the class of Riemannian manifolds might be precisely characterized instead of points + quadratic forms in a tangent space. For example, as the limit of some discrete triangular-mesh approximations; as points along with some full description of intrinsic n-dimensional curvature at each point; flipping the embedding theorem around, as something isometric to a sub-manifold of Euclidean n-space; ...; anything you might come up with would surely have its own complications as a definition, and might be inconvenient, but the standard definition (for this or any other class of mathematical objects) is an arbitrary cultural choice.

There are two different kinds of questions the start of an article like this could be trying to answer. (1) What sort of a thing is a Riemannian manifold? how is it different from other objects? what are examples? how does it relate to other concepts it is used with? what can be done with one? etc. (2) How do mathematicians formally define Riemannian manifolds? what other abstract concepts is that definition built on? what theorems can we prove about it and specifically how? and so on.

I don't personally see how to make a first paragraph from the perspective of #2 which is both technically precise at all accessible to people who haven't spent many years of diligent effort learning about a large number of prerequisite abstractions amounting to most of an undergraduate pure math degree. However, if we start (just in a first paragraph or two) with something a bit more handwavy and written in plain language, I think we can give some reasonable approximation of an answer to #1 type questions which can be understood by, say, high school students. So I hope we'll keep trying. –jacobolus (t) 02:40, 8 July 2024 (UTC)

I think it would be good to remove the details of proofs. They are pretty irrelevant for the page and the claims seem to have appropriate textbook citations. (I think I'm guilty of adding at least one of the proofs, some time ago!) Gumshoe2 (talk) 21:14, 7 July 2024 (UTC)

This conversation has slowed down, so I am going to propose yet another lead (not just the first paragraph, but the whole section), attempting to compromise between all of the perspectives I have heard. I think it's really good to at define the terms "Riemannian manifold", "Riemannian metric", and "Riemannian geometry" in the lead. I am also throwing in an image from the ongoing discussion at Talk:Riemannian_manifold#A_couple_of_example_pictures,_not_sure_if_useful; please discuss the image there.

The square with sides identified is a Riemannian manifold called a flat torus (left). Attempting to embedded it in Euclidean space (right) bends and stretches the square in a way that changes the geometry. Thus the intrinsic geometry of a flat torus is different from that of an embedded torus.

In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. These notions can be defined through reference to an ambient Euclidean space which the manifold sits inside. However, the idea of a Riemannian manifold emphasizes the intrinsic point of view as conceptualized by its namesake Bernhard Riemann, which defines geometric notions directly on the abstract space itself with no reference to an ambient space.

A Riemannian manifold is defined as a smooth manifold equipped with, at each point, a copy of the Euclidean space most closely approximating it near that point. The techniques of differential and integral calculus are used to pull geometric data out of the Euclidean approximations. Formally, if $M$ is a smooth manifold, a Riemannian metric (or just a metric) $g$ is a smoothly-varying family of inner products on the tangent spaces of $M$, and the pair $(M,g)$ is a Riemannian manifold.

Riemannian geometry is the study of Riemannian manifolds. Applications include physics (especially general relativity and Gauge theory), computer graphics, machine learning, and cartography.

Mathwriter2718 (talk) 13:27, 10 July 2024 (UTC)

The sentences in the first paragraph after the first sentence should be deferred. Putting them there puts emphasis in a misleading direction, and is not really the point of the subject. From the second paragraph, I don't think «smooth manifold equipped with a copy of Euclidean space at each point» is a good explanation for non-experts. It's too abstract and confusing, and doesn't really give an idea why you would want to "equip" a space with a bunch of other spaces (the word "equip" in plain English also has a sense of "put provisions in a backpack" or "pick up a sword" or something). –jacobolus (t) 17:42, 10 July 2024 (UTC)

I feel strongly that we should define "Riemannian metric" in the lead. Is there any way that your views would accommodate this? Mathwriter2718 (talk) 19:04, 10 July 2024 (UTC)

I think this is a definite improvement over the current lead, but I agree with jacobulus' comments. But it's not very clear to me what content an ideal opening paragraph would contain.

Also, I would remove "smoothly-varying." Many introductory textbooks do make this part of the definition, but it is not required and many Riemannian manifolds, especially in Riemannian convergence theory, have less regularity. I also wonder if it would be more clear to say that a Riemannian metric is a "choice of inner product for each tangent space" rather than a "family of inner products on the tangent spaces." Gumshoe2 (talk) 17:52, 10 July 2024 (UTC)

Can you provide an example of an introductory textbook that does not mandate smoothness of the metric? Mathwriter2718 (talk) 18:59, 10 July 2024 (UTC)

I would get rid of "smoothly-varying" from any lede written for a general audience, but it's fine as a general assumption throughout the article (and obviously should be stated explicitly in the body). Someone should probably write a section about generalizations like relaxed smoothness (important for geometric analysis, an example that occurs to me is plane wave vacua) or relaxed boundary conditions (e.g., manifold with boundary/singularities). Tito Omburo (talk) 20:42, 10 July 2024 (UTC)

I agree with this Gumshoe2 (talk) 20:47, 10 July 2024 (UTC)

@Tito Omburo @Gumshoe2 @Jacobolus @Chatul Based on your feedback, I have a new lead for your consideration. I tried to reorder things to emphasize @Jacobolus's perspective #1 (see the discussion a bit above). I still strongly feel that this lead cannot be complete without a description of a Riemannian metric. I don't think this has to be a formal definition, but at this time I think it's the best option. I won't repeat the lead's image to save space.

In differential geometry, a Riemannian manifold, named after German mathematician Bernhard Riemann, is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the sphere, hyperbolic space, ellipsoids, and the flat torus are all examples of Riemannian manifolds.

Riemannian geometry is the study of Riemannian manifolds. Applications include physics (especially general relativity and Gauge theory), computer graphics, machine learning, and cartography.

Formally, if $M$ is a smooth manifold, a Riemannian metric (or just a metric) $g$ is a choice of inner product for each tangent space of $M$. The pair $(M,g)$ is a Riemannian manifold. The techniques of differential and integral calculus are then used to pull geometric data out of the Riemannian metric.

The geometric notions that a Riemannian manifold has could be defined through reference to an ambient Euclidean space which the manifold sits inside. However, the idea of a Riemannian manifold emphasizes the intrinsic point of view, which defines geometric notions directly on the abstract space itself without referencing an ambient space.

Mathwriter2718 (talk) 22:29, 10 July 2024 (UTC)

A couple of tweaks: smooth manifold should be linked, and I would pull the parenthetical remark about whom it is named after (as it distracts from the main point and breaks up the flow of the sentence) to the end of the paragraph rather than placing it first. —David Eppstein (talk) 22:35, 10 July 2024 (UTC)

I think this is pretty good, enough so that I think it would be worth making the edit. My only major comment is that in the second paragraph I think it would be worth noting that Riemannian geometry is also of purely mathematical interest, having applications in other mathematical fields such as geometric topology, algebraic geometry, and statistics, and it has inspired modern developments in group theory and graph theory. (My goal being to avoid the impression that Riemannian manifolds are more of applied than pure interest.) Gumshoe2 (talk) 22:44, 10 July 2024 (UTC)

Non-math major here. I thought both of these versions were good. The only place I held up and wondered was the list of examples. When I read sphere and ellipsoid I see their 3D representation, but I believe the manifold refers to the surface only? Would it be correct to segment the example list into 2D and 3D manifolds? Johnjbarton (talk) 01:04, 11 July 2024 (UTC)

@Johnjbarton what I intended was this:

• for any number n, the n-dimensional Euclidean space,
• for any number n, the n-dimensional sphere, which is, shall we say, the surface of an n+1 dimensional Earth,
• for any number n, the n-dimensional hyperbolic space,
• the 2-dimensional ellipsoid, which can be thought of as a surface in 3-dimensional space,
• the 2-dimensional flat torus.

If what I wrote signals a different image in readers' heads, the text can be modified accordingly. Mathwriter2718 (talk) 01:24, 11 July 2024 (UTC)

Then my suggestion is to give the simple examples and mention in a trailing phrase the general case. eg.

• Examples of Reimannian manifolds include the 2D ellipsoid or sphere, which can be thought as surfaces in 3D space, as well as higher dimensional manifolds such as n-dimensional Euclidean or hyperbolic spaces.

Johnjbarton (talk) 01:45, 11 July 2024 (UTC)

Perhaps include

• for any number n, the n-dimensional hyperellipsoid
• for any number n, the n-dimensional flat torus

Are there any non-orientable Riemann manifolds of interest in Mathematics or Physics? Perhaps Alice universes? -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 08:33, 11 July 2024 (UTC)

I believe that the second sentence, These notions can be defined through reference to an ambient Euclidean space which the manifold sits inside., is inappropriate. Manifolds are intrinsic and not dependent on any particular embedding. For most applications there is no natural embedding. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 18:57, 10 July 2024 (UTC)

The next sentence explicitly states that Riemannian manifolds are intrinsic and not dependent on a particular embedding. The point of these sentences is actually to clear up the misconception that geometric spaces should be thought of as embedded, which many readers will have by default. Mathwriter2718 (talk) 19:01, 10 July 2024 (UTC)

I believe "can be defined through reference..." is accurate, because of the Nash embedding theorem. There may be no canonical embedding but one can still define a Riemannian manifold to be a manifold equipped with a distance and smoothly embedded in some Euclidean space with distance equal to the geodesic distance in that space. It would not be as good a definition as the intrinsic one and it does not match most of the literature but it would still define the same class of objects. The lack of a canonical choice of embedding is not really a problem. All that said we should emphasize the intrinsic approach here both because that's the way our sources treat it and because it's better. —David Eppstein (talk) 02:03, 11 July 2024 (UTC)

Just a thought. It might be natural to change that paragraph to say something in the spirit of:

Any surface in three-dimensional Euclidean space has an automatically induced Riemannian structure. Although Nash proved that every Riemannian manifold arises as a submanifold of some (higher-dimensional) Euclidean space and although some Riemannian manifolds are naturally exhibited or defined as such submanifolds, in many contexts Riemannian metrics are more naturally defined or constructed directly, without reference to any Euclidean structure. For example, natural metrics on Lie groups can be defined by using group theory to transport an inner product on a single tangent space to the entire manifold; many metrics with special curvature properties such as constant scalar curvature metrics or Kähler–Einstein metrics are constructed as direct modifications of more generic metrics using tools from partial differential equations.

It could also be valuable to mention that even as fundamental a Riemannian manifold as hyperbolic space has no known natural isometric embedding into Euclidean space. (Natural meaning that internal metric symmetries are represented by symmetries of the ambient space, as for the sphere.) Gumshoe2 (talk) 03:39, 11 July 2024 (UTC)

How about Any regular surface in three-dimensional Euclidean space has an automatically induced Riemannian structure. Although Nash proved that every Riemannian manifold arises as a submanifold of some (higher-dimensional) Euclidean space and although some Riemannian manifolds are naturally exhibited or defined as such submanifolds, in many contexts Riemannian metrics are more naturally defined or constructed directly, without reference to any Euclidean structure. For example, natural metrics on Lie groups can be defined by using group theory to transport an inner product on a single tangent space to the entire manifold; many metrics with special curvature properties such as constant scalar curvature metrics or Kähler–Einstein metrics are constructed as direct modifications of more generic metrics using tools from partial differential equations.? -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 08:33, 11 July 2024 (UTC)

As far as I am aware, "regular surface" and "smooth surface" are synonyms. It's a shame that right now smooth surface redirects to the top of Differential geometry of surfaces and regular surface redirects to the subsection Differential geometry of surfaces#Regular surfaces in Euclidean space, which claims that a regular surface is a "formalization of the notion of a smooth surface", as if smooth surfaces aren't a formally-defined concept.

Anyway, I would not endorse putting that last sentence in the lead, I think it is too vague and too far afield and belongs later in the article body where it could be explained in more detail. But I do like the other parts of it. I suggest this:

Any smooth surface in three-dimensional Euclidean space, such as an ellipsoid or a paraboloid, has an automatically induced Riemannian structure. The same is true for any submanifold of Euclidean space of any dimension. Although Nash proved that every Riemannian manifold arises as a submanifold of Euclidean space, and although some Riemannian manifolds are naturally exhibited or defined in that way, the idea of a Riemannian manifold emphasizes the intrinsic point of view, which defines geometric notions directly on the abstract space itself without referencing an ambient space. In many contexts, Riemannian metrics are more naturally defined or constructed using the intrinsic point of view. For example, there is no known way to place the hyperbolic plane into Euclidean space that perseveres its internal symmetries.

It worries me slightly that we are using the word "submanifold" here to mean variously "submanifold" and "Riemannian submanifold", but I'm not qualified to declare if this is actually confusing or not. If it is, try this:

Any smooth surface in three-dimensional Euclidean space, such as an ellipsoid or a paraboloid, has an automatically induced Riemannian structure. The same is true for any submanifold of Euclidean space of any dimension. Such a submanifold is called a Riemannian submanifold of Euclidean space. Although Nash proved that every Riemannian manifold arises as a Riemannian submanifold of Euclidean space, and although some Riemannian manifolds are naturally exhibited or defined as one, the idea of a Riemannian manifold emphasizes the intrinsic point of view, which defines geometric notions directly on the abstract space itself without referencing an ambient space. In many contexts, Riemannian metrics are more naturally defined or constructed using the intrinsic point of view. For example, there is no known way to realize the hyperbolic plane as a Riemannian submanifold of Euclidean space that perseveres its internal symmetries.

@Gumshoe2 can you provide a citation of the fact that there is no known symmetry-preserving isometric embedding of the hyperbolic plane into Euclidean space? Mathwriter2718 (talk) 17:40, 11 July 2024 (UTC)

The phrase "automatically induced structure" is needlessly confusing for non-experts. It would be better to say something more like, "Any smooth surface in three-dimensional Euclidean space, such as an ellipsoid or a cone, is a Riemannian manifold, inheriting its infinitesimal [?] definition of distance from the ambient space." –jacobolus (t) 18:19, 11 July 2024 (UTC)

I agree that the phrase "automatically induced structure" is confusing for non-experts. Cones in the sense of the page you linked are not smooth manifolds, so I won't replace paraboloid with them. How about this?

Any smooth surface in three-dimensional Euclidean space, such as an ellipsoid or a paraboloid, is a Riemannian manifold with its Riemannian metric coming from the way it sits inside the ambient space.

Mathwriter2718 (talk) 18:59, 11 July 2024 (UTC)

We need to distinguish the intrinsic metric from the Euclidean metric, but I would prefer to talk about geodesic distance than infinitesimal distance. —David Eppstein (talk) 19:00, 11 July 2024 (UTC)

This is only something to distinguish if you're talking about metrics as in metric spaces – there are two natural metric space structures on a surface in R³, one intrinsic and one Euclidean. But metric spaces are currently not mentioned at all in these proposals for the lead, except indirectly in the one mention of "distance." And for metric instead as shorthand for Riemannian metric, there's no ambiguity (there is only one natural Riemannian metric on the surface).

Possibly it could be worth adding a line or two to the lead explicitly about the metric space structure induced by a Riemannian metric, along with a warning about the resulting double/inconsistent meaning of "metric." Gumshoe2 (talk) 19:23, 11 July 2024 (UTC)

The current lead (a big improvement) says:

• A Riemannian metric is not to be confused with the distance function of a metric space, which is also called a metric.

This is not helpful. If you don't know the topic, you will be confused. This sentence also does not summarize the article. The closest thing I could find was:

• The distance function ... called the geodesic distance, is always a pseudometric (a metric that does not separate points), but it may not be a metric.

which is a clear as mud.

IMO the article should have a paragraph explaining the difference and the sentence should summarize the paragraph, not tell us we are confused. Johnjbarton (talk) 03:12, 13 July 2024 (UTC)

I agree that this sentence should be removed from the lead and instead something about it should go in the article body. Mathwriter2718 (talk) 03:29, 13 July 2024 (UTC)

For the purposes of the lead, personally I see no issue with just saying that a surface automatically inherits a Riemannian metric (though I am not attached to "automatically induced structure" in particular) since there are details further down the page. But it is also pretty elementary to just say how it works: the inner products defining the induced Riemannian metric are just given by restricting the inputs of the usual dot product to vectors tangent to the surface. Gumshoe2 (talk) 19:17, 11 July 2024 (UTC)

The best reference I have is (see pages 2-3 in linked pdf):

• Gromov, Misha (2000). "Spaces and questions" (PDF). In Alon, N.; Bourgain, J.; Connes, A.; Gromov, M.; Milman, V. (eds.). Visions in mathematics: GAFA 2000 Special Volume, Part I. Proceedings of the meeting held at Tel Aviv University, Tel Aviv, 25 August – 3 September 1999. Geometric and Functional Analysis. Basel: Birkhäuser. pp. 118–161. doi:10.1007/978-3-0346-0422-2_5. ISBN 978-3-0346-0421-5. MR 1826251. Zbl 1006.53035.

which is less explicit than ideal. Gumshoe2 (talk) 19:36, 11 July 2024 (UTC)

The July 12th lead:

The square with sides identified is a Riemannian manifold called a flat torus (left). Attempting to embedded it in Euclidean space (right) bends and stretches the square in a way that changes the geometry. Thus the intrinsic geometry of a flat torus is different from that of an embedded torus.

In differential geometry, a Riemannian manifold, is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the $n$-sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all Riemannian manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them.

Riemannian geometry, the study of Riemannian manifolds, has deep connections to other areas of math, including geometric topology, complex geometry, and algebraic geometry. Applications include physics (especially general relativity and Gauge theory), computer graphics, machine learning, and cartography.

Formally, if $M$ is a smooth manifold, a Riemannian metric (or just a metric) $g$ is a choice of inner product for each tangent space of $M$. The pair $(M,g)$ is a Riemannian manifold. The techniques of differential and integral calculus are then used to pull geometric data out of the Riemannian metric. A Riemannian metric is not to be confused with the distance function of a metric space, which is also called a metric.

Any smooth surface in three-dimensional Euclidean space is a Riemannian manifold with a Riemannian metric coming from the way it sits inside the ambient space. The same is true for any submanifold of Euclidean space of any dimension. Although Nash proved that every Riemannian manifold arises as a submanifold of Euclidean space, and although some Riemannian manifolds are naturally exhibited or defined in that way, the idea of a Riemannian manifold emphasizes the intrinsic point of view, which defines geometric notions directly on the abstract space itself without referencing an ambient space. In many instances, such as for hyperbolic space and projective space, Riemannian metrics are more naturally defined or constructed using the intrinsic point of view. Additionally, many metrics on Lie groups are defined intrinsically by using group actions to transport an inner product on a single tangent space to the entire manifold, and many special metrics such as constant scalar curvature metrics and Kähler–Einstein metrics are constructed intrinsically using tools from partial differential equations.

I personally am quite happy with this. I previously opposed adding the last sentence (suggested by Chatul) because I thought it was too technical, but now I think it's a good example. I did remove a few words adding detail though.

Mathwriter2718 (talk) 14:36, 12 July 2024 (UTC)

I think this introduction is still simultaneously too technical and too vague.

There are many objects which are "geometric space[s] on which many geometric notions such as distance, angles, length, volume, and curvature are defined" but which are not Riemannian manifolds. The examples are helpful, but I think we should also try to make the first paragraph give a bit clearer plain-language impression of what the word means. The later description "choice of inner product for each tangent space of M" doesn't cut it, as many potential readers may not know the meaning of "inner product" or "tangent space".

We should be saying more clearly that the Riemannian metric is an instantaneous/infinitesimal/local/whatever definition of distance and angle, and that by integrating, we can also see larger-scale behavior, with concepts like geodesics along which we measure length, area/volume of shapes, geodesic circles, geodesic polygons, parallel curves/surfaces, ... The phrase "pull geometric data out" is too vague.

The paragraph "Riemannian geometry, the study of Riemannian manifolds, ..." should be moved to the bottom of the lead section.

I'd drop the disclaimer about metric spaces. A Riemannian manifold is a type of metric space, and this is distracting and seems unnecessary here.

The paragraph about embeddings seems too into the weeds and sort of disjointed. Some of this should be saved for the article body. –jacobolus (t) 15:22, 12 July 2024 (UTC)

I don't think that replacing the current definition to say that a Riemannian metric defines "infinitesimal distances" would achieve your goal of making this less technical and less vague. Mathwriter2718 (talk) 15:38, 12 July 2024 (UTC)

My concrete proposal was above, "A Riemannian manifold is a geometric space which locally, in the vicinity of each of its points, has the same metrical structure as flat Euclidean space – in the same way that spatial relationships in a small portion of a globe's surface can be modeled using a flat map – ..." –jacobolus (t) 15:59, 12 July 2024 (UTC)

I still find that proposal highly misleading, and incorrect when taken literally. I don't think it can be used. Gumshoe2 (talk) 16:12, 12 July 2024 (UTC)

"There are many objects which are "geometric space[s] on which many geometric notions such as distance, angles, length, volume, and curvature are defined" but which are not Riemannian manifolds."

What other such objects do you have in mind? But I do agree that it would be ideal to have a more direct way of saying what a Riemannian metric is and not just what it defines. I don't have a non-clunky way to say it at the moment, but I think it would be nearly precise to say that on a smooth manifold you can look at all the possible (smooth) curves, and a Riemannian metric is an internally consistent way of assigning them lengths, along with angles between them when two of them intersect. (The other notions of distance, volume, and curvature are of course secondary.) It could be said that this assignment is based on infinitesimal information, with lengths defined by integration in the same way arclength is computed in standard calculus.

In the end, I think it is impossible to fully meet the combined requirements of: (1) using plain language (no inner product, no tangent space), (2) having a description which uniquely distinguishes the class of Riemannian manifolds, (3) being correct. But I think each one is good to aspire to. Gumshoe2 (talk) 16:29, 12 July 2024 (UTC)

For one thing, there are pseudo-Riemannian manifolds. But also plenty of other more exotic metric spaces can have "many geometric notions ..." defined, including the listed ones.

The essence of a Riemannian manifold is not only that these notions can be defined, but that they are locally the same as Euclidean space. –jacobolus (t) 17:38, 12 July 2024 (UTC)

Pseudo-Riemannian manifolds don't have a distance function; for them, distance is only defined for certain pairs of points. Perhaps there are other kinds of spaces out there which have all of these objects, but I think pretty much any mathematician would see 'geometric space on which distance, angles, length, volume, and curvature are defined' and immediately think 'Riemannian manifold.' Which is why I think it is ok here, if not ideal.

Taken at face value, your description of Riemannian manifolds is not accurate, it only applies to flat Riemannian manifolds. The 'zooming' procedure you described before as what you have in mind also does not pick out Riemannian manifolds in particular, so I don't see any reason to prefer it to the present suggestions. (And I see a good reason to not prefer it, which is that it's nonstandard.) Gumshoe2 (talk) 19:05, 12 July 2024 (UTC)

Pseudo-Riemannian manifolds have a notion of "distance" in the same physical sense that spacetime does, which is frankly the most important and real sense. Distances have to be broken into "timelike" vs. "spacelike" or similar, but that's not really a problem. The most unambiguous formalized concept, of "squared distance", is in fact a much more natural and better one to use than its square root, and is treated as secondary because of historical inertia. Features of Lorentzian geometry and the hyperbolic number system are precisely analogous to those of Euclidean geometry and the "circular" complex number system, and we can certainly talk about angle measure, (timelike or spacelike) distance, "circles", curvature, and so on.

[It's quite a tangent here, but not teaching students about the Lorentzian plane, hyperbolic numbers, etc. starting in high school or early in undergraduate school blinkers them and significantly limits their understanding not only of such spaces but also of the geometry in Euclidean space (etc.) which are intimately intertwined with pseudo-Euclidean concepts and models. Focusing on Riemannian manifolds and Euclidean tangent spaces to the exclusion of pseudo-Riemannian manifolds and pseudo-Euclidean tangent spaces is a serious pedagogical blunder.]

"Taken at face value ... only applies to flat Riemannian manifolds." – My explicit example is of a globe, so your characterization clearly can't be right, but I clearly am expressing the idea in a way which is unclear or confusing to you personally, so we can probably do better. I expect there's enough brainpower in this discussion that we can collectively come up with some description which is accurate enough for your taste while still being clear and accessible. Does anyone have ideas? –jacobolus (t) 19:36, 12 July 2024 (UTC)

Sorry if the above sounds combative/defensive. I just want to make sure we give readers a reasonably clear idea of the purpose and nature of the subject. For example, "tangent space" more or less means "space of infinitesimal motions at a point", and "inner product space" (i.e. finite-dimensional vector space with a positive definite quadratic form) is jargon for "has the same geometry as the space of Euclidean translations". But to a reader who doesn't already know that, those jargon words are not meaningful. –jacobolus (t) 20:00, 12 July 2024 (UTC)

No problem, as long as my own posts here are understood in the same spirit ;)

Within the context of Riemannian manifolds, "locally the same as Euclidean space" is pretty much a meaningful and precise definition of the flat ones. The problem with your description is that it doesn't say anything about the 'zooming in' procedure that you explained earlier as what you have in mind.

But even the 'zooming in' procedure does not characterize Riemannian manifolds, see e.g. either Reifenberg subsets of Euclidean space or certain metric spaces. It is very possible that in some contexts some form of 'approximately Euclidean on zoomed-in scales' does actually characterize Riemannian manifolds (I would find it very interesting if so) but it would be nonstandard and would likely count as original research by wiki standards. (Possibly also by any standards.)

I don't see any way to avoid the actual fact of the matter, which is (in seemingly every standard account) inner products on tangent spaces. It would be great to have a way to say it without jargon, but I think it would be a big mistake to try to do so by reformulating it in some nonstandard/conjectural way. Gumshoe2 (talk) 20:42, 12 July 2024 (UTC)

I've read all of the comments in this thread. You both have some very interesting points, but in the end, I cannot sign off on a version of "locally the same as Euclidean space" because many or most reasonable readers will not understand "locally" to mean with zooming. I think there is a glimmer of hope for this strategy, perhaps one can think of a Riemannian manifold as locally looking like a Euclidean space up to the first order, with the second order giving curvature?

I think such a strategy has a long road to being written up, validated as correct, being more transparent than the current lead, achieving consensus over it, and steering clear of original research. I encourage those who are interested to keep working on it. But right now it seems like there is a consensus among the editors besides @Jacobolus around a lead that is a small perturbation of the current one, and I would really like to make a "version 1" edit of the lead to the live page soon. Mathwriter2718 (talk) 21:13, 12 July 2024 (UTC)

I'd encourage you to make the edit whenever you feel like it. I think we all agree that it's an improvement over the current lead, and we can keep discussing even after an edit.

Just two small things: constant scal metrics should link to Yamabe problem, and it may be good to throw in a mention somewhere that Riemannian manifolds are a special case of both pseudo-Riemannian manifolds and Finsler manifolds. Gumshoe2 (talk) 21:21, 12 July 2024 (UTC)

I think constant scalar curvature metrics deserves its own page. I can get around to writing it eventually. Mathwriter2718 (talk) 01:56, 13 July 2024 (UTC)

I went ahead and made the edit. Mathwriter2718 (talk) 02:33, 13 July 2024 (UTC)

The reason I think explicitly (briefly) mentioning cartography is helpful is that (a) it's a subject much more familiar to a wide range of readers than inner products or tangent spaces, and (b) these concepts and problems concretely arose because Euler, Lagrange, Lambert, Chebyshev, Jacobi, Gauss, etc. were directly working in cartography/geodesy. Map projections were quite directly in mind (not sure about Riemann per se), which is why we ended up with names like "chart", "atlas", and "geodesic".

The point here being that if we "map" a small part of a Riemannian manifold, the flat map is very nearly accurate, and gets more and more accurate as we shrink the area being mapped. So that e.g. a geodesic looks locally like a straight line, a tiny enough circle has π as its ratio of circumference to diameter, a tiny enough geodesic triangle has interior angles almost exactly summing to π/2, and so on. We get closer and closer to Euclidean geometry. The Riemannian metric is a way of formalizing this idea, using the name "tangent space" for the space of infinitesimal motions (or if you prefer, the space of velocities).

While "up to the first order" is more or less synonymous with the formal definition, I don't think it's really that much more accessible. –jacobolus (t) 21:43, 12 July 2024 (UTC)

One way to adjust the sentence might be to say

"In differential geometry, a Riemannian manifold, is a geometric space on which the geometric notions of length and angle, and subsequently distance, volume, and curvature are defined. These notions of distance and angle are specified infinitesimally in the form of a Riemannian metric, and the techniques of differential and integral calculus are used to link this infinitesimal data with notion of lengths, volumes, and curvature as they are commonly understood."

It specifies what a Riemannian manifold is a bit more uniquely, whilst still emphasizing the most important geometric concepts defined on them. Tazerenix (talk) 13:22, 13 July 2024 (UTC)

I like something like that - although in the second sentence I think you mean to switch "length" and "distance". Putting this in terms of the present second paragraph on the page:

Formally, a Riemannian metric (or just a metric) on a smooth manifold is a choice of inner product for each tangent space of the manifold. A Riemannian manifold is a smooth manifold together with a Riemannian metric. The techniques of differential and integral calculus are used to pull geometric data out of the Riemannian metric. For example, integration leads to the Riemannian distance function, whereas differentiation is used to define curvature and parallel transport.

I think it would make sense to edit to:

Formally, a Riemannian metric (or just a metric) on a smooth manifold is a choice of inner product for each tangent space of the manifold. A Riemannian manifold is a smooth manifold together with a Riemannian metric. These inner products represent infinitesimal measures of length and angle. By integration, these infinitesimal measures define measures of surface area and volume, including (non-infinitesimal) lengths of curves. A distance function, giving the structure of a metric space, is constructed from curve lengths using the calculus of variations. By contrast, differential calculus is employed to use the inner products to define curvature and parallel transport. Special curves known as geodesics can be constructed by the calculus of variations used to define the distance function, or as solutions of certain ordinary differential equations constructed from the metric using differential calculus.

I think that with the new reference to surface area and geodesics, this covers all of the major bases in terms of key objects. (Most notably, minimal surfaces are missing, but presently they are not at all present on the page itself.) Happy to take alternative suggestions or further edits. Gumshoe2 (talk) 17:36, 13 July 2024 (UTC)

There are a lot of flabby and unnecessary linking words in there. "By contrast is employed to use to define", for instance. —David Eppstein (talk) 17:53, 13 July 2024 (UTC)

Agreed, maybe "Curvature and parallel transport are constructed by differential calculus from the inner products" is an improvement. I am also not satisfied with the awkwardness of "can be constructed by the calculus of variations used to define the distance function"; my intention was to make clear that it comes from the same calculus of variations problem that defines the distance function, the distance function being the minimal values in the optimization and the geodesics being (locally) the minimizers. Gumshoe2 (talk) 18:07, 13 July 2024 (UTC)

I'm not convinced that calculus of variations is used to define the distance function, though I see where you are coming from. The distance is defined as the infimum of a functional. The calculus of variations is about actually proving that a given function is a local minimum, no? So the calculus of variations would not come up in the definition of distance, but it would come up in a discussion of geodesics.

If you mention geodesics, you might consider briefly explaining that they are "curves of zero intrinsic acceleration" or "the generalization of straight lines from Euclidean geometry" or "the path someone living in the manifold would trace out if they walked directly forward without turning" or something. Mathwriter2718 (talk) 13:48, 14 July 2024 (UTC)

The language "Special curves known as geodesics can be constructed by the calculus of variations used to define the distance function, or as solutions of certain ordinary differential equations constructed from the metric using differential calculus." is way too wordy, confusing, and technical for the lead section. Instead it should say something along the lines of "The analog of a straight line, called a geodesic, locally has no curvature relative to the manifold". A precise description of how to construct geodesics can be deferred to the article body. –jacobolus (t) 15:17, 14 July 2024 (UTC)

@Mathwriter2718:, that's a good point. Maybe calculus of variations does not need to be mentioned in the lead at all. @Jacobolus:, I agree that the language ends up being a bit much. My intention was to match the style of the previous sentences – and in that context I think your version is too little.

In all I would like to be able to concisely communicate that the geodesic condition can be formulated directly in terms of the distance function but also as the solution of a ODE whose coefficients come from the Riemannian metric. The former corresponds directly to "shortest-length path between points" and the latter to "curve of zero acceleration/curvature." Gumshoe2 (talk) 19:07, 14 July 2024 (UTC)

That's a great topic to discuss in the article, but way too down in the weeds for the lead section. –jacobolus (t) 20:06, 14 July 2024 (UTC)

I agree with you that for the lead, it's best to just say geodesics are one of:

- locally distance minimizing curves

- curves with no intrinsic acceleration

without going any further into the weeds. Mathwriter2718 (talk) 23:25, 14 July 2024 (UTC)

@Gumshoe2 you should try showing first the 1st paragraph, then 2 paragraphs, then your whole intended lead section to a non-expert, for example an undergraduate student taking a second-semester calculus or introductory linear algebra class, or an adult friend who is a computer programmer or mechanical engineer. Ideally they should be able to understand the majority of it without needing to do a ton of extra background reading. If they can't clearly make sense of it, then the lead section is too technical and has failed at one of its essential purposes. –jacobolus (t) 20:13, 14 July 2024 (UTC)

I think this lede is really good. Since most contention seems to focus on the third paragraph, how about something like this

A Riemannian metric on a smooth manifold gives a local way (in each tangent space) of measuring lengths. Formally, a Riemannian metric $g$ is a choice of inner product for each tangent space of $M$ (usually assumed to be smooth as well). The pair $(M,g)$ is a Riemannian manifold. Integration of the metric leads to a distance function (in the sense of metric spaces), whereas differentiation of the metric leads to notions of curvature and parallel transport.

--Tito Omburo (talk) 16:22, 12 July 2024 (UTC)

I also like it, along with your edit. But I think it is not even necessary to use any symbols, which I think is preferable when possible. (Formally, a Riemannian metric is a choice of inner product for each tangent space (usually assumed to be smooth as well). The pair of manifold with metric is a Riemannian manifold.) It would also be more accurate to replace "local" in the first sentence with "infinitesimal." Gumshoe2 (talk) 16:34, 12 July 2024 (UTC)

I agree that this lead can easily be phrased to not use any symbols and that that is preferable. Mathwriter2718 (talk) 02:32, 13 July 2024 (UTC)

List of Johnson solids list-article in WP:FL

I invite any member of this WikiProject to review the potential featured list about the article List of Johnson solids in this nomination. This will be the next featured list in WikiProject Mathematics, as well as the first featured list in WikiProject Polyhedra, which may featured in the main Wikipedia someday. Reviewing such as spot-checking the references and additional comments is welcome. Many thanks. Dedhert.Jr (talk) 14:52, 17 July 2024 (UTC)

Problems with Musical isomorphism

In 2021, a talk page user pointed out that the definition of the musical isomorphisms on the page musical isomorphism is needlessly complicated. Indeed, since at least 2020, the text itself begrudgingly admits that the second description it gives is "somewhat more transparent" than the first one it gives:

Let (M, g) be a pseudo-Riemannian manifold. Suppose {e_i} is a moving tangent frame (see also smooth frame) for the tangent bundle TM with, as dual frame (see also dual basis), the moving coframe (a moving tangent frame for the cotangent bundle $\mathrm {T} ^{*}M$; see also coframe) {eⁱ}. Then, locally, we may express the pseudo-Riemannian metric (which is a 2-covariant tensor field that is symmetric and nondegenerate) as g = g_ij eⁱ ⊗ e^j (where we employ the Einstein summation convention).

Given a vector field X = Xⁱ e_i and denoting g_ij Xⁱ = X_j, we define its flat by:

${\begin{aligned}\flat :\mathrm {T} M&\longrightarrow \mathrm {T} ^{*}M\\X&\longmapsto g_{ij}X^{i}\mathbf {e} ^{j}\\&\longmapsto X_{j}\mathbf {e} ^{j}\end{aligned}}$

This is referred to as lowering an index. Using angle bracket notation for the bilinear form defined by g, we obtain the somewhat more transparent relation

$$X^{\flat }(Y)=\langle X,Y\rangle$$

for any vector fields X and Y.

But the problem is actually much more significant than this. Indeed, the definitions as stated are mathematically invalid, as the vector field $X$ is not an element of the tangent bundle $TM$, which consists of individual vectors. Immediately after this is a parallel discussion on the sharp isomorphism, which suffers from exactly the same defects. Mathwriter2718 (talk) 02:59, 11 July 2024 (UTC)

I don't see a major issue, just change "vector field" to "vector" and "covector field" to "covector."

Actually, the whole article is really just about linear algebra in a single vector space with inner product – setting the context as Riemannian metrics and bundles is completely unnecessary. It's kind of a fake generality since the musical isomorphisms on a Riemannian manifold are just defined point by point, and for each point you have a single vector space with inner product in question. It would be just like defining the determinant as taking a map $\Omega \to \mathbb {R} ^{n\times n}$ and returning a map $\Omega \to \mathbb {R}$; it's technically more general than the determinant as a map $\mathbb {R} ^{n\times n}\to \mathbb {R}$ but not in any important way. Gumshoe2 (talk) 03:54, 11 July 2024 (UTC)

I absolutely see where you're coming from, but the phrase "musical isomorphism" really means in the setting of Riemannian metrics and bundles. I'll try today to make the discussion be more clearly the generalization of the linear algebra isomorphism though. Mathwriter2718 (talk) 11:28, 11 July 2024 (UTC)

Related, I would suggest that Flat map and sharp map be deleted or redirected to musical isomorphism. Gumshoe2 (talk) 04:33, 11 July 2024 (UTC)

I definitely support this. Mathwriter2718 (talk) 11:03, 11 July 2024 (UTC)

I have opened a merge proposal at Talk:Musical_isomorphism#Merge_proposal to merge Musical_isomorphism and Raising and lowering indices. Mathwriter2718 (talk) 20:48, 17 July 2024 (UTC)

Number pages

Should pages in the scope of Wikipedia:WikiProject_Numbers be added to this WikiProject? I've seen some apparent inconsistencies. For example, 12 (number) and 13 (number) are not in the Project but 11 (number) and 14 (number) are. Mathwriter2718 (talk) 22:13, 17 July 2024 (UTC)

@Mathwriter2718 I'm not sure whether it is important to include them in WP:WPM, but we do have articles about number theory other than those enumerated numbers. To put it in a plain, if you want to include them, then so be it. Conversely, why can't just include articles such as Prime number, Regular number, 69 (number), Number theory, or any articles that involves number theory in WP:NUMBERS? Dedhert.Jr (talk) 02:59, 18 July 2024 (UTC)

You can add them to WPM if you want. I would generally recommend assigning them "mid" priority. –jacobolus (t) 05:34, 18 July 2024 (UTC)

@Dedhert.Jr @Jacobolus I went ahead and added a lot of the more important ones, though I think it would be a bad idea to add every number 1-1,000 (I think they all have their own page). My opinion is that numbers should be added to this project if and only if they are deemed sufficiently important. Mathwriter2718 (talk) 13:19, 18 July 2024 (UTC)

@Mathwriter2718 But the problem is how many that is sufficiently important in mathematics? Dedhert.Jr (talk) 13:23, 18 July 2024 (UTC)

This is subjective, and I personally think it would be a bad idea to have a long argument about this. If people disagree with my opinions about what articles to add to the Project, they can go ahead and remove or add and I won't contest them. I just hope that any changes are consistent with changes made or not made to other pages. Mathwriter2718 (talk) 13:33, 18 July 2024 (UTC)

If we are trying to be restrictive of how important they are in this project, the only I can think of is are they have a relation to other mathematical branches: 1234 (number) in geometry? But my idea is probably not always good or the best idea, so other opinions are welcome. Dedhert.Jr (talk) 13:47, 18 July 2024 (UTC)

If you want to see the articles I added and the ratings I made, here's all of my Talk page contributions today:

https://en.wikipedia.org/w/index.php?title=Special%3AContributions&target=Mathwriter2718&namespace=1&tagfilter=&start=2024-07-18&end=2024-07-18

Note that I revised a few of my ratings later and also that some articles were already in the project and were already rated. This might be a good starting point for someone who wants to look at this question much more carefully than I did. Mathwriter2718 (talk) 14:33, 18 July 2024 (UTC)

Discussion at Talk:Piecewise § Requested move 20 July 2024

 You are invited to join the discussion at Talk:Piecewise § Requested move 20 July 2024, which is within the scope of this WikiProject. 174.92.25.207 (talk) 14:59, 20 July 2024 (UTC)

An article of mine seems to be not appearing on Google

Hello,

I wrote an article Deficiency (statistics) which was accepted but is still somehow hidden to the public since it does not appear on search engines like Google. Why is that? The article is about a term introduced by Lucien Le Cam in a famous paper called "Sufficiency and Approximate Sufficiency" in the Annals of Mathematical Statistics which was the starting point for Le Cam theory and he later extended in a book.--Tensorproduct (talk) 19:57, 4 July 2024 (UTC)

If there are other articles that ought to link to that one but don't, then adding the links may improve the results from Google. Michael Hardy (talk) 00:30, 5 July 2024 (UTC)

@Michael Hardy Thank you for the answer. Also thank you for your contribution to mathematics articles on Wikipedia! I saw your name as the initial author of a lot of articles about infinite-dimensional stochastic analysis. Thank you for your contribution.--Tensorproduct (talk) 20:38, 12 July 2024 (UTC)

It appears on Google for me. MrOllie (talk) 20:49, 12 July 2024 (UTC)

It changed after I commented here.--Tensorproduct (talk) 21:17, 20 July 2024 (UTC)

Image in Estimator article

I posted this at the Statistics project page, but that project seems to be very quiet. Can someone here take a look?

https://en.wikipedia.org/wiki/Wikipedia_talk:WikiProject_Statistics#Image_in_Estimator_article

. 76.14.122.5 (talk) 20:33, 20 July 2024 (UTC)

I've deleted it from the article and left a message on the talk page of the user who created it. Michael Hardy (talk) 21:51, 20 July 2024 (UTC)

Thank you 76.14.122.5 (talk) 23:32, 20 July 2024 (UTC)

Theory pages vs structure pages

There are many pairs pages in this project of the form (theory of X, X). Examples:

• Ring theory and Ring (mathematics)
• Group theory and Group (mathematics). For this one, the pages explicitly make clear that Group (mathematics) is about "basic notions" and Group theory is the "advanced treatment".
• Riemannian geometry and Riemannian manifold
• Linear algebra and Vector space
• Topology and Topological space
• Module theory and Module (mathematics). This one is a bit different from the others, because Module theory is a redirect to Module (mathematics)!
• Geometry and Geometric space. In this case, it is the second that links to the former.
• Graph theory and Graph (discrete mathematics)
• Set theory and Set (mathematics). This is again apparently supposed to follow the more advanced vs more elementary distinction.

Can we put some guidance, maybe in Wikipedia:Manual of Style/Mathematics, about what content goes in which page, and when to have a redirect? Mathwriter2718 (talk) 17:21, 18 July 2024 (UTC)

Another thing that seems arbitrary (to me) is that for some of these pairs, the two articles will have different Vital article status. Mathwriter2718 (talk) 17:25, 18 July 2024 (UTC)

The vital article list is somewhat arbitrary. If you care strongly and want to comb through the list of vital articles at various levels and re-level or add mathematics items, and come up with a clear proposal that other editors here agree sounds okay, I'm sure it would be possible to make changes. –jacobolus (t) 22:14, 20 July 2024 (UTC)

I looked at the list and I think it's pretty good. When I find something that I think should be changed, I will post it on the relevant vital articles page Wikipedia_talk:Vital_articles/Level/5/STEM. I've posted 3 so far. Mathwriter2718 (talk) 03:41, 21 July 2024 (UTC)

I am allergic to the (probably impossible) task of trying to centrally resolve questions like this, so I will make the sole observation that "Linear algebra and Vector space" is very much unlike the other examples in that linear algebra is vast and in particular consists of many things that few people would call "the theory of vector spaces". --JBL (talk) 17:40, 18 July 2024 (UTC)

@JayBeeEll: Maybe because linear algebra is the theory of linear transformations? Michael Hardy (talk) 20:43, 20 July 2024 (UTC)

Arrow's impossibility theorem

There is a lot of attention on Talk:Arrow's impossibility theorem right now (a GA nomination, my comment, several other comments), and I invite people from this Project to join the discussion. Mathwriter2718 (talk) 14:13, 18 July 2024 (UTC)

The discussion under my post in this talk page has turned into a lengthy discussion between one other editor and myself, and about issues such as this, there should probably be at least a third opinion. Mathwriter2718 (talk) 03:43, 21 July 2024 (UTC)

Guidance on spelling

Some terms have alternate spellings in the literature, e.g., fiber versus fibre. I checked a few article on style, and while they addressed assumptions and symbols, they did not address spelling. Is there an article that addresses alternate spelling of mathematical terms? Should there be? -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 13:30, 23 July 2024 (UTC)

Are there any mathematical examples that aren't just American vs British English? Gumshoe2 (talk) 14:02, 23 July 2024 (UTC)

(edit conflict) See MOS:SPELLING where meter/metre is considered, but not fiber/fibre. D.Lazard (talk) 14:03, 23 July 2024 (UTC)

The most obvious example is Abelian versus Commutative.

Would you consider vielbein versus n-bein to pertain to Mathematics, or only to Physics? -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 14:17, 23 July 2024 (UTC)

An abelian integral is not a commutative integral. The fact that a "commutative group" is the same thing as an abelian group is not a question of spelling, it is a question of terminology. The spelling question is that, commonly, "abelian" is not capitalized (see MOS:SCIMATH). I ignore the origin og this exception to the general rules of capitalization. D.Lazard (talk) 14:56, 23 July 2024 (UTC)

Agreed that abelian/commutative is not a spelling issue. Gumshoe2 (talk) 15:01, 23 July 2024 (UTC)

Perhaps I should have written terminology instead of spelling. And that includes guidance on capitalization.

Yes, abelian, like Gaussian, is one of those terms that has different meanings in different fields. For that matter, so is commutative. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 15:45, 23 July 2024 (UTC)

I think the most important thing is to be consistent within an article. Mathwriter2718 (talk) 17:26, 23 July 2024 (UTC)

Peer review of Algebra

I was hoping to get some feedback on the article Algebra in preparation for an FA nomination. Comments are welcome at Wikipedia:Peer_review/Algebra/archive1. Phlsph7 (talk) 07:42, 25 July 2024 (UTC)

Template:Infobox knot vs Template:Infobox knot theory

Are there good reasons to have two different templates or should these be merged? If the former, what are the situations where one should be used instead of the other? Mathwriter2718 (talk) 13:11, 27 July 2024 (UTC)

I have seen Template:Infobox knot used in some cases for things that are not mathematical knots (or not usually thought of in a mathematical context) (example: Matthew Walker knot), so it would seem to me that this might be the difference. Mathwriter2718 (talk) 13:19, 27 July 2024 (UTC)

mapsto arrow symbol

Does anyone know the history of the ⁠$\mapsto$⁠ symbol, LaTeX \mapsto, usually pronounced "maps to"? We have an article which I just moved from maplet to maps to because the former name seems exceedingly rare and basically unused in mathematical literature, but it's hard to find information about where the symbol comes from or much clear discussion about its nature and use. Our article is currently not great. One book I found in a search claims the symbol was invented by Bourbaki c. 1930 but doesn't give a specific source. –jacobolus (t) 05:39, 28 July 2024 (UTC)

Widest path problem

A user on widest path problem is edit-warring to add a long paragraph on widest-path problem, citing recently published research in preprints and/or dubious journals, claiming a result that was long-known (that the undirected all-pairs version can be solved in quadratic time), and in more recent edits has additionally removed text and sourcing documenting the fact that this was long known [2]. I've hit my revert limit. Additional editors would be helpful. —David Eppstein (talk) 18:23, 28 July 2024 (UTC)

I'm still somewhat new to Wikipedia, so forgive me if this is obvious, but is there not a better option here than actively fighting the edit war until, I suppose, the editor gives up? Can we request for the page to be restricted to autoconfirmed or extended confirmed users? Mathwriter2718 (talk) 19:31, 28 July 2024 (UTC)

I have reported them to WP:3RRN, which will at some point result in their being blocked or the page being protected for a brief period. Anyone is welcome to try to explain things to them on their talk-page; it is often better when that comes from someone not involved (hint hint nudge nudge ;) ). --JBL (talk) 19:39, 28 July 2024 (UTC)

It seems that I was wrong about "for a brief period" -- probably for the best. --JBL (talk) 20:05, 28 July 2024 (UTC)

(Generally speaking, though, people who write this kind of thing while promoting their own recent research are not really very interested in learning about our rules or contributing to Wikipedia in a serious way.) --JBL (talk) 19:55, 28 July 2024 (UTC)

I kind of want to get e.g., fame, citation etc. on a T-shirt. XOR'easter (talk) 21:58, 28 July 2024 (UTC)

Thanks, all, for getting this situation resolved!

Autoconfirmed protection would be an appropriate solution if they return not-logged-in or if sockpuppetry becomes a problem. But those sorts of measures require sufficient evidence of continued misbehavior and I'm too WP:INVOLVED with that article to have done that already myself. In this case, warning them for edit-warring and letting them get blocked when they ignored the warning may have been the easiest solution. —David Eppstein (talk) 20:09, 28 July 2024 (UTC)

Welcome Jean-Pierre Serre

The edit summary of this edit is signed J.-P. Serre. Glad to welcome this new editor, born in 1926. D.Lazard (talk) 13:44, 29 July 2024 (UTC)

That's very exciting! David Hilbert (talk) 20:31, 29 July 2024 (UTC) — Preceding unsigned comment added by Mathwriter2718 (talk • contribs)

My own suspicion is that Serre has been quietly editing Wikipedia from IP accounts for decades. Tito Omburo (talk) 21:24, 29 July 2024 (UTC)

Wikipedia:Featured article review/0.999.../archive2

Would anyone be willing and able to weigh in at this FA review as to whether any major concerns remain? XOR'easter (talk) 21:49, 30 July 2024 (UTC)

I am not sure if I want to weigh in about whether "major concerns remain" in the abstract, but I feel that the article 0.999... is extremely good. I think it hits every important thing it should, and I think the explanations are very good, and it does a good job at correctly discussing the various arguments. I also like the discussion of skepticism in education. I think the "Related questions" section is a bit lackluster, though, and I think that the article might be able to do a better job at sourcing and/or justifying early on the definition of 0.999... as being the smallest number greater than every number in the sequence 0.9, 0.99, 0.999, .... Mathwriter2718 (talk) 15:29, 31 July 2024 (UTC)

Requested move at Talk:Piecewise#Requested move 20 July 2024

There is a requested move discussion at Talk:Piecewise#Requested move 20 July 2024 that may be of interest to members of this WikiProject. ASUKITE 20:11, 31 July 2024 (UTC)