What is known about orbifolding ordered groups and sets? Who has been involved? Links to Lee metrics?

2011-09-13T15:48:33Z

In mathematical music theory several ordered groups are considered. Some examples contain the frequency space or Tonnetzes. Other groups (commutative and non-commutative ones) are discussed by Dawid Lewin (Generalized Interval Systems and Transformations), Rudolf Wille (discussed also by Jan Thomas Winkler: Algebraische Modellierung von Tonsystemen), Wilfried Neumaier (Was ist ein Tonsystem?) or Marek Žabka.

Musicians are usually trained to distinguish complementary intervals such as fourth and fifth, music theorists usually treat them as the same. I'd like to investigate how the different points of view interact with each other. Mathematically this can be modelled as follows:

We consider a po-group $(\mathbb G,\leq)$, its linear order extensions and the quotient group $\mathbb G/N$ for a given normal subgroup $N\triangleleft \mathbb G$. As the musical application doesn't honour the order relation it's not sufficient to consider convex normal subgroups of $(\mathbb G,\leq)$. Another approach relational orbifolds has been discussed by Monika Zickwolf (Contr. Gen. Alg. 7) and Daniel Borchmann & Bernhard Ganter. Unfortunately both articles are interested in finite ordered sets and omit the case that is interesting for my work.

To illustrate the problem consider the set of integers $(\mathbb Z,\leq)$. A simple way of orbifolding leads to the binary relation $\{([a],[b]) \mid a,b \in \mathbb Z, a\leq b\} = \mathbb Z_{12}\times\mathbb Z_{12}$ (written as set of ordered pairs). On the other hand the same construction using the predecessor relation $\prec$ instead of the partial order $\leq$ leads to the binary relation $\{([a],[b])\mid a,b\in \mathbb Z, a= b-1\} = \{(x,y) \mid x,y\in\mathbb Z_{12}, y = x+1\}$, which again is a predecessor relation. But such a relation can not always be deduced.

As this example suggests the problem seems to be related to cyclic orderings, though the result might not necessarily be a cyclically ordered set. A counterexample can be constructed using the group $\mathbb G=\mathbb Z\times \mathbb Z$ and $N= \langle (0,4), (5,0)\rangle$ as the generated subgroup.

Which descriptions of such orbifolds exist in the language of relational structures?

I'm shure there exist descriptions both for automorphisms of ordered sets as well as using properties of ordered groups. But so far I'm lacking an elegant language.

Considering ordered groups one can try to separate in certain cases in $\mathbb G/N$ both a positive and a negative part, as well as some “intermixed” ones using nicely chosen transversal.

How can such a transversal be described?

Using these parts it seems to be possible to define a gerneralized Lee metric (C. Lee; IEEE Trans. Inform. Theory Vol. 4, pp. 77–82, Jun 1958).

Has someone discussed such metrics?

Edit: The correct definitions of the used term “orbifold” can be found in the paper by Borchmann and Ganter. I'll try to summarize it in short:

Here, an orbifold of a relational structure $(X,R)$ is a labelled relational structure $(X',R',\Lambda)$ such that $X'$ is a transversal of orbits of $X$ under the action of a subgroup $U$ of the automorphism group of $(X,R)$. $R'$ is a set of relations representing the relations of $R$ on $X'$ such that each tuple $(x_1,\ldots ,x_n)$ of a relation in R is mapped to the tuple $(x'_1,\ldots,x'_n)$ of the corresonding representatives in $X'$. The labelling $\Lambda$ assigns a labelling function to each of the relations, which maps each tuple to the set of automorphisms that must be used to reconstruct $(X,R)$ from $(X',R',\Lambda)$. Such a reconstruction is possible up to isomorphisms. Unfortunately folding ordered groups leads to many redundant loops and edges in the resultant graph, which blurr the interpretation in my case. In case of a po-group considering $(X',\leq')$ as a simple directed graph leads to the full graph on $X'$.

Answer by Tobias Schlemmer for Examples of non-abelian groups arising in nature without any natural action

2011-07-18T18:06:47Z

In Generalized Musical Intervals and Transformations, chapter 4, Dawid Lewin describes a group of rhythmic intervals with the group operation $(i,p)*(j,q) = (i + pj,pq)$, where $i,j,p$ and $q$ are rationals.

Comment by Tobias Schlemmer

2011-09-22T12:06:16Z

Not generally. In case of a binary relation $\Lambda$ assigns a pair to a set of group elements formed by the stabilisers of the two components. Monika Zickwolf describes the following binary relation on the set $\{0,1,2,3,4,5,6,7,8,9,10\}$: $\varrho = \{ (0,1),(0,2),(0,3),(1,4),(1,8),(2,5),(2,9),(3,6),(3,7),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)\}$ Then $α=(123)(456)(789)$ is an automorphism. Choosing $U=\{id,α,α^2\}$ and $X'=\{0,1,4,7,10\}$ leads to $R'=\{(0,1),(1,4),(1,7),(4,7),(7,10)\}$ While $\lambda(1,7) = \{α\}$ and $\lambda (a,b) = \{id\}$ for the other edges.

Comment by Tobias Schlemmer

2011-09-14T16:31:07Z

Thanks for the suggestions. I don't know why “music” had dissapeared. Orbifolding means folding along an orbit. I've tried to summarize the ideas of the mentioned literature. I didn't invent this name and I'm not familiar enough with the topological point of view to explain the relationship between the two notions.

Comment by Tobias Schlemmer

2011-08-22T11:37:12Z

That is right. Nevertheless, in music theory such intervals are usually not understood as actions on a given set (of reals), but are entities themselves. Especially in the mentioned context this group is has more the bookkeeping purpose mentioned in the addition of the OP. In fact the connection to the underlying reals is not unique and seems to be a little bit artificial in the given context. Thus, interpreting “natural” in the sense of music theory, I think this example is an answer to jc's question.

User tobias schlemmer - MathOverflow

What is known about orbifolding ordered groups and sets? Who has been involved? Links to Lee metrics?

Answer by Tobias Schlemmer for Examples of non-abelian groups arising in nature without any natural action

Comment by Tobias Schlemmer

Comment by Tobias Schlemmer

Comment by Tobias Schlemmer