Talk:Schwarz triangle function

This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Mathematics Low‑priority This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics Low This article has been rated as Low-priority on the project's priority scale.

On 15 August 2022, it was proposed that this article be moved from Schwarz triangle tessellation to Schwarz triangle function. The result of the discussion was moved.

A lot of this material might be better off on other related pages. There's a section "Hyperboloid and Klein models" that covers the same material as Hyperboloid model and Beltrami–Klein model. Much of "Tessellation by Schwarz triangles," which is way too long, could be pulled into Schwarz triangle or elsewhere.

We also need to deal with the fact that the editor who started this article never actually got to the meat of the article: the section "Conformal mapping of Schwarz triangles" is one sentence long! -Apocheir (talk) 22:36, 7 October 2021 (UTC)Reply

In February 2017 the lead originally said:

In mathematics, the Schwarz triangle function was introduced by H. A. Schwarz as the inverse function of the conformal mapping uniformizing a Schwarz triangle, i.e. a geodesic triangle in the upper half plane with angles which are either 0 or of the form π over a positive integer greater than one. Applying successive hyperbolic reflections in its sides, such a triangle generates a tessellation of the upper half plane (or the unit disk after composition with the Cayley transform). The conformal mapping of the upper half plane onto the interior of the geodesic triangle generalizes the Schwarz–Christoffel transformation. Through the theory of the Schwarzian derivative, it can be expressed as the quotient of two solutions of a hypergeometric differential equation with real coefficients and singular points at 0, 1 and ∞. By the Schwarz reflection principle, the discrete group generated by hyperbolic reflections in the sides of the triangle induces an action on the two dimensional space of solutions. On the orientation-preserving normal subgroup, this two dimensional representation corresponds to the monodromy of the ordinary differential equation and induces a group of Möbius transformations on quotients of solutions. Since the triangle function is the inverse function of such a quotient, it is therefore an automorphic function for this discrete group of Möbius transformations. This is a special case of a general method of Henri Poincaré that associates automorphic forms with ordinary differential equations with regular singular points. In the special case of ideal triangles, where all the angles are zero, the tessellation corresponds to the Farey tessellation and the triangle function yields the modular lambda function.

Later that was modified when another editor inserted content about the hypergeometric ODE tight at the beginning of the lead. As a result crucial conditions on the Schwarz triangles were omitted (that the angles should have the form 0 or π over a positive integer) and the geometric connection with tessellations was lost. It is probably a good idea to merge the first version of the lead with the additional content on the hypergeometric function. The densely written paragraph of my original lead can certainly be written in a way that makes it far more approachable to readers.

Clearly the final section of the article was incomplete. Unfortunately on wikipedia that is often what happens. On the other hand, the theory of the hypergeometric ODE is easy to summarise briefly with exact page references for the books of Caratheodory, Hille and Nehari (already listed in the article). The case of ideal triangles can also be briefly summarised from the 2nd edition of Ahlfors book on Complex Analysis, where the modular lambda function appears. In this way missing material and page numbers can be added, matching up content on the uniformization problem (conformal mapping of Schwarz triangles) and the hypergeometric ODE. Mathsci (talk) 00:43, 8 October 2021 (UTC)Reply

I strongly agree with Apocheir's suggestions for reworking. Gumshoe2 (talk) 18:56, 25 February 2022 (UTC)Reply

• Unlikely to happen when new material is being added by me at the moment. That takes time, care and patience. Mathsci (talk) 19:50, 25 February 2022 (UTC)Reply

Please be aware you are misusing the "in use" tag, which as per [1] is meant "for a short period of time, no greater than a few hours at a time". You've had it up for around 11 hours now.[2] Gumshoe2 (talk) 20:26, 25 February 2022 (UTC)Reply

@Mathsci: If it is taking you this much time to make these edits, you may be better off drafting them in your sandbox first. Apocheir (talk) 23:25, 25 February 2022 (UTC)Reply

@Apocheir: please be more patient. I have completely rewritten the lede and accessed all the relevant pdf files to check the WP:RSs. I have also loaded a new image as requested by JRSpriggs. You on the other hand have made some outspoken remarks about stroke without any medical knowledge about me. FYI, my stroke happened while I was editing WP:RSN at 20:10, 29 December 2017. Perhaps that will give you a little more perspective. Please remember there is WP:NORUSH. Mathsci (talk) 00:12, 26 February 2022 (UTC)Reply

I only mentioned your stroke to attempt to explain your abandonment of the article. Apologies if that was inappropriate. I have looked at your edits to RSN on that date, but it is unclear to me what I am supposed to glean from them.

I mentioned your sandbox as an alternative to leaving Template:In use on the article for days at a time. WP:NORUSH is not an excuse to be obstructive. Apocheir (talk) 19:51, 27 February 2022 (UTC)Reply

OK, so now that User:Mathsci is permabanned, how do we proceed with repairing this article? -Apocheir (talk) 23:47, 15 July 2022 (UTC)Reply

I don't really understand the intended scope / subject of this article. Maybe someone can start by writing a definition and brief outline of what they expect to go here? –jacobolus (t) 17:49, 16 July 2022 (UTC)Reply

I think the proper scope is just the Schwarz triangle function itself. This page was originally called Schwarz triangle function before it was moved. The intro as it was on February 24th is a starting point, although that needs some work. It's not referenced inline, but Nehari 1975 covers that material. Apocheir (talk) 20:32, 16 July 2022 (UTC)Reply

Is the plan then to move the tangentially related material to some other article (either integrate it with an existing article or make a new one)? Or just remove it? –jacobolus (t) 23:54, 16 July 2022 (UTC)Reply

There are a bunch of related wikipedia articles that could use dramatic expansion or re-work. Schwarz–Christoffel mapping, Conformal map, Stereographic projection, Poincaré half-plane model, Upper half plane, Poincaré disk model, Unit disk, Schwarz reflection principle, Inversive geometry, Cayley transform, etc. are pretty under-developed. –jacobolus (t) 00:02, 17 July 2022 (UTC)Reply

Yes, my opinion is that everything before the section "Conformal mapping of Schwarz triangles" needs to go somewhere else. Apocheir (talk) 21:19, 18 July 2022 (UTC)Reply