Talk:Schläfli symbol

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	B Class	Mid Priority	Field: Geometry
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Geometry guy 22:21, 10 July 2007 (UTC)

	This article has been reviewed by the Version 1.0 Editorial Team.
Additional information: Start This article has been rated as Start-Class on the assessment scale. Mid This article has been rated as Mid-Importance on the assessment scale. The following comments have been left for this page: Geometry guy 22:21, 10 July 2007 (UTC) (edit)

Contents 1 Expanded Schläfli notation? 1.1 TEST CHART for Extended Schläfli symbols for polychora 1.2 Extended Schläfli symbols 2 Wythoff 3 sources 4 Uniform polytope move

[edit] Expanded Schläfli notation?

The explanation on this page needs to be expanded with a description of Schläfli symbols for non-regular polytopes, which include things like t{3,3} for truncation, etc.. Sometimes subscripts are used, like t_0,1{3,3,4}, which need to be explained as well. I don't have a formal definition handy, though.

Agreed, some sort of "Expanded Schläfli notation" section should be added which lists these, both what the notations mean AND references to the origins!

• [1] Mathworld only shows only simple forms.
• [2] Posted answer by John Conway with the same question! (Conway, 2003, says Coxeter invented "the" notation, although no examples given)
• [3] interestingly describes (5.5.5) as a Schläfli Symbol, rather than {5,3}. Also "For 3D crystalline nets, Mike O'Keeffe has defined an Extended Schläfli Symbol." (Something very different apparently!)
• George Olshevsky lists the notation on his website, but doesn't define in his "glossary" [4]

Tom Ruen 23:48, 11 February 2006 (UTC)

If you use George Olshevsky's examples we have: Polyhedra:

• t{p,q} - truncated {p,q}
• r{p,q} - runcinated {p,q}
• rr{p,q} - runcinated runcinated?
• tr{p,q} - truncated runcinated?
• sr{p,q} - snub runcinated?

Polychora versions are all beyond me.

For hyperbolic tilings, Don Hatch doesn't use any shorthand, but named uniform tessellations (on S2, E2, H2) with terms: truncated, omnitruncated, runcinated, bitruncated, snub.

Similarly a bunch of the Andreini tessellations have named variations of the cubic honeycomb: Bitruncated, Omnitruncated, Cantitruncated, Truncated, Cantellated, Runcitruncated, Rectified. I assume all could be given short hands prefixed to Schläfli {4,3,4}.

Anyway, having definitions for all these pretty terms would seem to be a first goal. I'm just writing here also, rather than starting anything half-wrong. Tom Ruen 00:04, 12 February 2006 (UTC)

Well, Tamfang has already done definitions for most of these terms in uniform polychoron, although I'm still not sure how to map these to the extended Schläfli symbol.—Tetracube 06:54, 12 February 2006 (UTC)

I forgot about those definitions - very good start. I guess I agree it is useless to use notations we can't define. I'm content if you want to remove them, or I can myself for those I copied from George Olshevsky's website. Tom Ruen 19:18, 12 February 2006 (UTC)

Oh no, don't delete them. I think it's more worthwhile to find out what they mean, than to exclude them just because we don't know precisely what they mean. Maybe Tamfang, who apparently has email contact with Norman Johnson and George Olshevsky, can ask for clarification from them.—Tetracube 02:50, 13 February 2006 (UTC)

Don Hatch does indeed have an 'extended' schläfli symbol for his figures, but it is not very general. Its novelty is that it goes in a 'hatch-loop', marking nodes. I translate it fairly literally in the PG. It's a kind of dynkin-symbol for mobius groups.

John Conway et al, seemed to have cracked the code for writing the symbols for all uniform polyhedra (in S,E, H). This is in one of the forthcomming books by Breugel, Conway, and Goodman-Strauss. However, i don't think this is the one he showed Coxeter on his 95th birthday, because my recollections is that Coxeter was then dead.

In any case, the article gives 'orbifolds', which is a Conway-Thurston notation for groups. I suggested the notation was worth decorating (in order to show polytopes), and gave some examples: eg 3 * 2 = pyritohedral group, and "3 / * / 2 %" is the icosahedron in that symmetry. However they had a different method, in the form "3 * 2 <1,3> (2)". The particular figure has no wythoff-symmetry because 3*2 is non-wythoffian.

I am also rather confused with his namings, as well. Both 3*2 and <1,3>(2) were called 'orbifolds', even though the second has no form with the first. It can occur in any group p * q. I gloss the former as orbifold and the latter as archifold, and he may have also adopted these. So he may have called the thing as a kind of Extended Schläfli Symbol, even though it has little to do with that symbol. --Wendy.krieger 07:38, 26 September 2007 (UTC)

None the same, i think there is very little to go on from the second reference, except that Conway is probably playing with some kind of decoration to the orbifolds.--Wendy.krieger 07:38, 26 September 2007 (UTC)

[edit] TEST CHART for Extended Schläfli symbols for polychora

I scanned through, George Olshevsky's truncation notations atexamples and made a summary chart and test table at: User:Tomruen/uniform polychoron

Basically there's 15 truncation forms, one for parent, one for dual, three in the middle (bitruncated, runcinated, omnitruncated), and 5 others on each side of the parent/duals: truncated, rectified, runcitruncated, cantellated, cantitruncated.

So the notation t_...{p,q,r} is a short notation to long name. Like t_0,1{3,3,3} is the truncated 5-cell because 0,1 is associated with truncation. Well, at least this is now defined, even if system is still mysterious.

Another test table for polyhedra extended names at: User:Tomruen/Uniform polyhedron

Tom Ruen 23:20, 1 March 2006 (UTC)

[edit] Extended Schläfli symbols

I decided to put up the extended notations as best I determined them for 3d and 4d, even if they are not defined here. I figured it was a start. Tom Ruen 09:53, 4 March 2006 (UTC)

I expanded tables and images on extended Schläfli symbols for 3d and 4d. I'm still not satified with the overall content quality, at least I think all the vital components are represented.

I did question whether this article or uniform polyhedron and uniform polychoron are best for the tables or diagrams. I settled on here because the sections interconnect, with symbols for cells of polychora coming from the polyhedra.

Another option I'm leaning towards is moving extended content to a new article Extended Schläfli symbol perhaps. Well, unfortunately even that phrase isn't perhaps under general terminology enough to justify. So anyway, I think best to keep here for a while!

Anyway, I'm glad if anyone else wants to replace/improve any of my efforts here! Tom Ruen 03:59, 10 March 2006 (UTC)

The notation t_0,1{3,5} is a composite of the modified Stott-notation and the Schläfli notation. Coxeter used it in 1935 paper 'Wythoff's construction of uniform polytopes'. We should now eplain what it means.

t_0,1 corresponds to Stott's e₀e₁ operator, although she usually suppoesd e₀ was always present. So e₁.Cube is an edge-expanded cube. Schläfli's notation gives meaning to the numerals for the subscripts.

The particular notation gets to describe what is needed for the assorted papers it appears in, without too much explanation. However, it is not ready for heavy general applications, which is why those who went further, such as Bowers and myself, found need to devise a more GP notation. Bower's notations is rather limited to uniform polytopes, whereas mine handles a much richer field of enquiry. Wendy.krieger 08:00, 22 September 2007 (UTC)

[edit] Wythoff

Much of this page is taken up by the Wythoff construction. Did Schläfli have anything to do with developing that? Perhaps it should be moved elsewhere, leaving a brief discussion (with links) of the extended S. notation. —Tamfang 04:37, 20 March 2006 (UTC)

I don't have a firm opinion on where things should go or knowledge on historical development. I've only glanced at Wythoff construction page, and it is certainly a possible place to move material, although at present it is focused on polyhedra construction. Anyway, I agree value in question, but don't have a strong reason for doing anything at present. Tom Ruen 04:45, 20 March 2006 (UTC)

Been thinking more of this recently, and accept much content should be moved to Wythoff construction. No time table for me to jump at it, and that article itself needs expanding to higher dimensions as well. Tom Ruen 05:11, 3 August 2006 (UTC)

Schläfli was the first of many to independently discover that regular polytopes can be designated by a series of othermargin-index (eg 4,3 = squares, 3 at a vertex, 4,3,3 cubes (4,3), 3 at an edge. Thorald Gosset devised it in the recriprocal form, ie cube = squares on |3|, {3,4,3} = |3 applied to |4|3|, and so forth. Coxeter also discovered them independently. The closeness between the Schläfli symbol to the Coxeter-Dynkin graph is quite an annoyance, because people tend to think they're somehow related.

Wythoff's main contribution to the scheme is an independent thread, to show that one can take Mrs Stott's figures, and construct these as motifs of the mirror-group [5,3,3], although neither he nor Mrs Stott had this notation.

Coxeter, de Witt and Dynkin each derived the "Coxeter-Dynkin" symbol independently, to represent a class of Lie groups. Coxeter understood also that the Lie groups directly related to the mirror-groups, but needed the push from reading Wythoff's paper to make the connection of marked nodes. Wendy.krieger 07:25, 22 September 2007 (UTC)

[edit] sources

I added the reference template, although I'm responsible for much of the content for the "extended" notation. It may be best at some point to split this article with a standard terminology for extended forms. For now, I figured good to at least feel a little guilty here! Tom Ruen 01:11, 29 July 2006 (UTC)

Coxeter largely extended the Schläfli notation, beginning right back in his 1935 paper "Wythoff's Construction for Uniform polytopes", reprinted in "Twelve Essays" [Dover, 1999]. The actual notation is a composite of the Stott-notation and the Schläfli Notation, slightly modified.

The unmodified symbol eg {3,3} corresponds to a mark in the first position. This is true for Schläfli's notation (which handles only the regular figures), and for Stott's notation, (where operators correspond to inserting nodes to a graph with the first node already marked. The modification by Coxeter, is that when the t- operator is used, the first node is assumed to be unmarked.

The use of "double-decker" symbols is Coxeter's attempt to render the branching groups like 2_21, into something that looks like a Schläfli symbol. But the magic of the formula is rather strained by the process.

The use of the letters like t-, r, etc, is probably due to NW Johnson. Note that Coxeter never got as far as running the notation into lining text, as eg x3x5o3o. When polytopes became prime-time, this became more of an issue: We see the Bowers diagrams (which render the thing into small symbols.

The notation on the article page is pure Coxeter-style modifications. Wendy.krieger 07:37, 22 September 2007 (UTC)

Hi Wendy. Thanks for helping with more of the history of usage. Mostly I'm content to abandon usage of the vertical Schläfli symbols invented by Coxeter, or mixing r/t prefixes (by Johnson). The t-subscript-Schläfli notation is useful for uniform polytopes with linear Coxeter-Dynkin diagrams, less clear when used with branching/cyclic CD graphs.

Perhaps this article should be reduced exclusively to expressing what Schläfli used for regular polytopes? But what should the t-subscript notation be called? Perhaps Coxeter-Schläfli symbol? I wonder what Norman would suggest? Maybe it's sufficient to just call these "Extended Schläfli symbols", as done, if there's no printed sources to reference a name? Tom Ruen 00:21, 27 September 2007 (UTC)

OH, it would be nice to include a table column of comparisons to a Stott notation, especially if given back to a specific publication. I don't have any books from her or giving information about her notations.

I also have a copy of Elte's 1912 The semiregular polytopes of the hyperspaces book, not easy to read all of his notation, although some like tC₁₂₀ is clear. Tom Ruen 00:32, 27 September 2007 (UTC)

I'm not having read Stott directly. The essential arguments come to me from Conway, and Coxeter fills out the flesh. None the same, the notation replaces t_a,b,c by e_ae_be_c, with some differneces for subscript 0.

I am not really sure what to call the particular notation. It's a horrible one, which i abandoned as soon as i saw it. The thing has very little to do with Schläfli at all! Still, this is the way the names fall :( --Wendy.krieger 08:59, 27 September 2007 (UTC)

[edit] Uniform polytope move

I moved most of the extended text to uniform polytope, where it best belongs. I reduced the tables to just show the extended notations.

This whole article could use a top-down rewrite perhaps, but at least for now it contains useful information. Tom Ruen 05:50, 16 September 2006 (UTC)

Okay, I finished cleaning up this article, reducing examples, referencing other articles which do a better job, and adding a unified new section for prismatic forms. WELL, it is better I hope, at least as a sort of example overview of the uses for the Schläfli symbol and related notations. I've also read the vertex configuration notations can be considered Schläfli symbols, but didn't reference that here. I need to consult some more sources! Tom Ruen 05:30, 5 October 2006 (UTC)