Talk:Fundamental pair of periods

Latest comment: 1 year ago by Jacobolus in topic uniqueness?

Inconsistent typesetting of omega

edit

This page is currently very inconsistent with its omegas which is visually jarring to me. We have things like  , ω1, and ω1... My suggestion is to just use  , etc. Thoughts? Kclisp (talk) 23:35, 25 March 2023 (UTC)Reply

The appearance isn’t quite so inconsistent in some skins/browsers due to font choice, but I switched it to all LaTeX. Does that solve the issue? –jacobolus (t) 20:22, 2 April 2023 (UTC)Reply
Ah, I see. Yes, it's much better now, thanks!
Kclisp (talk) 00:43, 3 April 2023 (UTC)Reply

uniqueness?

edit

If   defines a lattice, does not   define the same lattice? So why specify that it is an ordered pair? —Tamfang (talk) 19:30, 2 April 2023 (UTC)Reply

If   defines a lattice, then any pair   defines the same lattice for any matrix   in the modular group, as described in the section Fundamental pair of periods § Modular symmetry. That certainly includes the example of   Those two different fundamental pairs would define the same lattice. –jacobolus (t) 19:50, 2 April 2023 (UTC)Reply
A friendly note: this doesn't answer @Tamfang's main question: why is it ordered? Kclisp (talk) 01:22, 3 April 2023 (UTC)Reply

As a test of Cunningham's Law, I removed that term. —Tamfang (talk) 22:45, 20 June 2023 (UTC)Reply

An unordered set is clearly enough to uniquely specify the lattice, but if you want to write lattice elements as collections of coefficients, you had better have some kind of indexing of the pair of periods that you can match up with the indexing scheme on your coefficients. As far as I can tell there is no benefit whatsoever to talking about an unordered set in this context, so I reverted your change. –jacobolus (t) 01:44, 21 June 2023 (UTC)Reply
If you want to change this, perhaps you could do a literature review of the most widely cited sources mentioning complex lattices, and see how they typically set up their definition. –jacobolus (t) 01:46, 21 June 2023 (UTC)Reply
I did some quick skimming of about a dozen sources that popped up in Google scholar. Every source I can find defines a "pair of periods" to be a pair (i.e. 2-tuple, ordered list)   I can't find a single source which uses an unordered set. –jacobolus (t) 00:21, 22 June 2023 (UTC)Reply