Wedgie/Archived version: Difference between revisions
m →Conditions on being a wedgie: Fix Grassmannian link to the wrong page |
|||
| Line 110: | Line 110: | ||
However, this is no longer the case in higher limits. There, not everything which looks like a wedgie will be one; for instance the wedgies must also satisfy the condition, for any wedgie W, that W∧W = 0, where the "0" means the multival of rank 2r obtained by wedging W with W. For prime limits 7 and 11 this condition suffices for rank two, but in general we need to check, for every prime q ≤ p and every basis val v sending q to 1 and everything else to 0, that (W∨q)∧W and (W∧v)º∧Wº = 0, where "∨" denotes the [[Interior_product|interior product]]. These conditions, the complete set along with the basic reduction conditions for being a wedgie, are known as the [[Wikipedia: Plücker embedding|Plücker relations]]. Note that the Plücker relations must be satisfied, since for a rank r multival, W∨q is a rank r-1 multival corresponding to tempering out all the commas of W, as well as q. | However, this is no longer the case in higher limits. There, not everything which looks like a wedgie will be one; for instance the wedgies must also satisfy the condition, for any wedgie W, that W∧W = 0, where the "0" means the multival of rank 2r obtained by wedging W with W. For prime limits 7 and 11 this condition suffices for rank two, but in general we need to check, for every prime q ≤ p and every basis val v sending q to 1 and everything else to 0, that (W∨q)∧W and (W∧v)º∧Wº = 0, where "∨" denotes the [[Interior_product|interior product]]. These conditions, the complete set along with the basic reduction conditions for being a wedgie, are known as the [[Wikipedia: Plücker embedding|Plücker relations]]. Note that the Plücker relations must be satisfied, since for a rank r multival, W∨q is a rank r-1 multival corresponding to tempering out all the commas of W, as well as q. | ||
In the 7-limit case, if we wedge a prospective rank two multival W = <<a b c d e f|| with itself, we obtain W∧W = 2(af-be+cd). The quantity af-be+cd is the [[Wikipedia: Pfaffian|Pfaffian]] of the wedgie, and that the Pfaffian is zero tells us that in the five-dimensional projective space '''P⁵''' in which wedgies live, the wedgie lies on a (four-dimensional) [[Wikipedia: Hypersurface|hypersurface]], known as the [[ | In the 7-limit case, if we wedge a prospective rank two multival W = <<a b c d e f|| with itself, we obtain W∧W = 2(af-be+cd). The quantity af-be+cd is the [[Wikipedia: Pfaffian|Pfaffian]] of the wedgie, and that the Pfaffian is zero tells us that in the five-dimensional projective space '''P⁵''' in which wedgies live, the wedgie lies on a (four-dimensional) [[Wikipedia: Hypersurface|hypersurface]], known as the [[Mathematical theory of regular temperaments#Geometry_of_regular_temperaments|Grassmannian]] '''Gr'''(2, 4). For an 11-limit rank-two wedgie W = <<w1 w2 w3 w4 w5 w6 w7 w8 w9 w10|| we have that W∧W = 2<<<<w1w8-w2w6+w3w5, w1w9-w2w7+w4w5, w1w10-w3w7+w4w6, w2w10-w3w9+w4w8, w5w10-w6w9+w7w8|||| is zero. These conditions allow us to solve for three of the coefficients in terms of the other seven, and so that '''Gr'''(2, 5), the Grassmannian of rank-two 11-limit temperaments, is a six-dimensional projective [[Wikipedia: Algebraic variety|algebraic variety]] in nine-dimensional projective space '''P⁹'''. Wedgies correspond to rational points on this variety. For 11-limit rank three temperaments, we have w6w1-w5w2+w4w3 = w9w1-w8w2+w7w3 = w10w1-w8w4+w7w5 = w10w2-w9w4+w7w6 = w10w3-w9w5+w8w6 = 0; again, this leads to a six-dimensional variety, this time '''Gr'''(3, 5). | ||
== Constrained wedgies == | == Constrained wedgies == | ||