Equivalence continuum: Difference between revisions

Mathematically, the rank-''k'' '''equivalence continuum''' C(''k'', ''T'') associated with a rank-''r'' temperament ''T'' on a rank-''n'' subgroup ''S'' is the space of [[Mathematical theory of saturation|saturated]] ({{nowrap|''n − k''}})-dimensional sublattices of the [[kernel]] (set of all intervals tempered out) of ''T'', the rank-({{nowrap|''n − r''}}) lattice of commas tempered out by ''T''. This is a set of rational points on the Grassmannian {{nowrap|'''G''' {{=}} '''Gr'''(''n − k'', ''n − r'')}} of ({{nowrap|''n − k''}})-dimensional vector subspaces of '''R'''^{{{nowrap|''n'' − ''r''}}}, identifying '''R'''^{{{nowrap|''n'' − ''r''}}} with the '''R'''-vector space {{nowrap|ker(''T'') ⊗ '''R'''}}.

This has a particularly simple description when {{nowrap|''r'' {{=}} 1}} (i.e. when ''T'' is an edo), {{nowrap|''n'' {{=}} 3}} (for example, when ''S'' is the [[5-limit]], 2.3.7 or 2.5.7) and {{nowrap|''k'' {{=}} 2}} (so that we're considering the equivalence continua of rank-2 temperaments associated with an edo), as then {{nowrap|'''G''' {{=}} '''Gr'''(1, 2) {{=}} '''R'''P¹}} (the real projective line), which can be viewed as a circle. Then the continuum corresponds to the set of lines with rational or infinite slope passing through the origin on the Cartesian plane '''R'''² where the lattice of ker(''T'') lives. The lattice of ker(''T'') is generated by a [[basis]] of some choice of two commas '''u''' and '''v''' in ''S'' tempered out by the edo; view the plane as having two perpendicular ''x'' and ''y'' axes corresponding to '''u''' and '''v''' directions. A rational point, i.e. a temperament on the continuum, then corresponds to a line with equation {{nowrap|''py'' {{=}} ''qx''}}, of rational or infinite slope {{nowrap|''t'' {{=}} ''q''/''p''}}, where the temperament is defined by the identification {{nowrap|''p'''''u''' ~ ''q'''''v'''}} (written additively). When {{nowrap|''t'' {{=}} 0}}, this corresponds to the temperament tempering out '''v'''. When {{nowrap|''t'' {{=}} ∞}}, this corresponds to the temperament tempering out '''u'''.

A higher-dimensional example: Say that {{nowrap|''r'' {{=}} 1}}, {{nowrap|''n'' {{=}} 4}} (e.g. when ''S'' is the [[7-limit]]), and {{nowrap|''k'' = 2}}, for example the set of rank-2 [[7-limit]] temperaments supported by [[31edo]].  Then our Grassmannian '''G''' becomes '''Gr'''(2, 3). Define a coordinate system {{nowrap|(''x'', ''y'', ''z'')}} for ker(T) using some fixed [[comma basis]] '''u'''_''x'', '''u'''_''y'', '''u'''_''z'' for ker(T). Then our Grassmannian can be identified with '''R'''P² (the real projective plane, the 2-dimensional space of lines through the origin in 3-dimensional space) by taking the unique line '''Rv''' perpendicular (according to the dot product given by the given coordinates) to the plane of commas tempered out for each temperament. Note that the real projective plane '''R'''P² can be visualized as a sphere with diametrically opposite points viewed as the same point.

 

Let's look at where some well-known 7-limit rank-2 temperaments supported by [[31edo]] live in the 2-dimensional equivalence continuum C(2, 7-limit 31edo). Choose the basis {{nowrap|{'''u'''_''x'', '''u'''_''y'', '''u'''_''z''} {{=}} <nowiki>{81/80, 126/125, 1029/1024}</nowiki>}} to define {{nowrap|(''x'', ''y'', ''z'')}} coordinates on the kernel of 7-limit [[31edo]]. Then:

* [[Septimal meantone]] tempers out {{nowrap|81/80 {{=}} '''u'''_''x''}} {{nowrap|{{=}} (1, 0, 0)}} and {{nowrap|126/125 {{=}} '''u'''_''y''}} {{nowrap|{{=}} (0, 1, 0)}}, thus corresponds to the plane {{nowrap|''z'' {{=}} 0}}. This corresponds to {{nowrap|'''v''' {{=}} (0, 0, 1)}}.

* [[Valentine]] tempers out {{nowrap|1029/1024 {{=}} '''u'''_''z''}} {{nowrap|{{=}} (0, 0, 1)}} and {{nowrap|126/125 {{=}} '''u'''_''y''}} {{nowrap|{{=}} (0, 1, 0)}}. This corresponds to {{nowrap|'''v''' {{=}} (1, 0, 0)}}.

* [[Mohajira]] tempers out {{nowrap|81/80 {{=}} '''u'''_''x''}} {{nowrap|{{=}} (1, 0, 0)}} and {{nowrap|6144/6125 {{=}} '''u'''_''y'' &minus; '''u'''_''z''}} {{nowrap|{{=}} (0, 1, -1)}}. This corresponds to {{nowrap|'''v''' {{=}} (0, 1, 1)}}.

* [[Hemithirds]] tempers out {{nowrap|1029/1024 {{=}} '''u'''_''z''}} {{nowrap|{{=}} (0, 0, 1)}} and {{nowrap|3136/3125 {{=}} 2'''u'''_''x'' + '''u'''_''y''}} {{nowrap|{{=}} (2, 1, 0)}}. This corresponds to {{nowrap|'''v''' {{=}} (1, &minus;2, 0)}}.

* [[Miracle]] tempers out {{nowrap|1029/1024 {{=}} '''u'''_''z''}} {{nowrap|{{=}} (0, 0, 1)}} and {{nowrap|225/224 {{=}} '''u'''_''x'' &minus; '''u'''_''y''}} {{nowrap|{{=}} (1, &minus;1, 0)}}. This corresponds to {{nowrap|'''v''' {{=}} (1, 1, 0)}}.

All equivalence continua currently on the wiki are rank-{{nowrap|(''n'' + 1)}} continua of rank-{{nowrap|(''n'' + 1)}} temperaments within a rank-{{nowrap|(''n'' + 2)}} subgroup that are supported by a rank-''n'' system.

* [[2.3.7&nbsp;subgroup]] rank-2 continua include:

* [[2.5.7&nbsp;subgroup]] rank-2 continua include:

* [[3.5.7&nbsp;subgroup]] rank-2 continua include:

* [[2.3.5.11&nbsp;subgroup]] rank-3 continua include:

== References ==