I am also interested in knowing if there are any good reasons to pick one ordering of polygons over some other ordering.
I'll post what little I know, but I'm really hoping someone else will post something much better.
I have heard of 3 "standards" for ordering these polygons, but as far as I can tell they were arbitrarily picked:
Your icosahedron-based method,
the quadrilateralized spherical cube, and
Tegmark's icosahedron-based method for pixelizing the celestial sphere.
All three are examples of geodesic grids.
Ordering polygons on a polyhedron
icosahedron-based method for pixelizing the celestial sphere
"What is the best way to pixelize a sphere?" by Max Tegmark
gives a format that appears extremely similar to your proposal:
Tegmark starts with an icosahedron, just as you do,
and recursively subdivides it, just as you do.
So I find it hard to believe that his method is "computationally and geometrically far more complex than what [you] are proposing" or that it has significantly "greater distortion in either area or geometry".
Given some specified resolution (the same as your depth of recursion)
and some point on a sphere, Tegmark's system
assigns that point to a "pixel number" (the number indicating what major icosahedral face it is on, and which particular minor sub-triangle on that face that point is in).
quadrilateralized spherical cube
Wikipedia: "quadrilateralized spherical cube"
The all-sky, skyward looking, unfolded cube is reassembled by
arranging the faces in a sideways T with the bar on the right side:
0
4 3 2 1
5
where square face 0
is centered on the North pole,
square face 5 is centered on the South pole,
the vernal equinox -- at latitude=0
, longitude=0
--
lies at the center of square face 1.
Ecliptic longitude increases from face 1 to face 4.
other polyhedra
Tegmark mentions that "it is clearly desirable to use as small faces as possible".
Subdividing each face of a (30-faced) rhombic triacontahedron into two nearly-equilateral isosceles triangles gives the (60-faced) pentakis dodecahedron, as you mentioned,
which one might expect to give less error than starting with a (20-faced) icosahedron.
Further subdividing each of those faces into two irregular triangles gives the (120-faced) disdyakis triacontahedron (dual to the truncated icosidodecahedron).
I've been told that the strictly convex polyhedron with the maximum number of identical faces (exactly equal-shaped and exactly equal-area) is that disdyakis triacontahedron.
However, apparently none of these shapes gives any improvement over your icosahedron proposal.
Tegmark's code immediately breaks up each equilateral triangle of the 20-sided icosahedron into 6 identical irregular triangles.
The resulting 20*6 = 120 identical triangles are the same triangles as the faces of the disdyakis triacontahedron, right?
Ordering polygons on a recursively subdivided polygon
The quadrilateralized spherical cube recursively subdivides each square -- each division of 4 by area adding 2 more bits of localization information -- using a Morton code (Z-order curve).
The Maidenhead Locator System uses a system similar to the Morton code.
You might also want to look at the military grid reference system.
Other ways of ordering such subdivided square (i.e., drawing a path that hits the center of each square exactly once) include the
SierpiĆski curve, the Hilbert curve,
the Peano curve,
the Moore curve, etc.
There exist other space-filling curves based on recursively subdividing a triangle -- each division of 4 by area adding 2 more bits of localization area.
(Do any of them have popular names?)
There are 2 popular ways of subdividing squares and triangles:
( a, b )
"Class I"/"alternate" method:
each of the original triangles (or squares) is replaced with n^2 triangles (or squares) that exactly fit inside the original triangle (or square).
(n=1 gives the original base shape, n=2 gives a shape with 4 times as many faces).
The small triangles have edges (very close to) parallel to the original big triangles.
"Class II"/"triacon" method, employed on almost every major geodesic dome project in the 1950s ( a p. 30 ),
each of the original triangles is replaced with 3*n^2 triangles.
The small triangles have edges (very close to) right angles to the original big triangles.
(Unreliable sources tell me the triacon method can be applied to the cube or rhombic solids,
each of the original squares or rhombuses is replaced with 2*n^2 rhombuses).
(n=1 converts the icosahedron to the pentakis dodecahedron I mentioned earlier; n=8 converts the icosahedron to an approximation of the Epcot "Spaceship Earth"; n=1 converts the cube into the rhombic dodecahedron, etc.).
EDIT:
The most common application of numbering the sides of a platonic solid is while making dice.
One particular way of putting numbers of the sides of an icosahedron is shown on DiceCollector's page, but I don't know if that is particularly "standard".
Have you considered asking
"What is the proper way to number the sides of a 1d20 die?" or
"What is the proper way to number the sides of a 1d120 die?",
or both,
on the https://rpg.stackexchange.com/ ?
Best Answer
This is more of a long comment: For this to really be a well-posed question, the ambient space that you are working in needs to be identified. For intuition as to what I mean here, I will ask the following question: Can a point "escape" a circle? Well, we think that the point must be inside the circle for this to make sense, so we probably think of the unit circle in the plane, which is $\mathbb{R}^2$, and a point in the interior. Here the answer is "No," because of the Jordan Curve theorem.
But if we change our ambient space which the circle and point are sitting in to $\mathbb{R}^3$, this is trivially not true. We just pull the point up in the $z$ direction and the circle stays where it is. Then the point can go where ever it wants.
PS: I would say that you cannot triangulate a 3-manifold with 2D triangles. There are ways to talk about things like this, but I am guessing they are not what you are thinking of here. (You can look up laminations if you want.) You can triangulate 3-manifolds with tetrahedron instead.
UPD: For perhaps the simplest shape that has an interior in $\mathbb{R}^4$, first start with a 4-ball. A 2-ball is a disk (the interior of a circle), a 3-ball is what kids actually call a ball, but we think of as the interior of a sphere, and the 4-ball is the one dimension up version of this. Its boundary is the 3-sphere, $S^3$. So things inside of the 4-ball cannot pass out of the 3-sphere into the rest of $\mathbb{R}^4$, i.e. it separates 4-space into two disjoint pieces.