Rețea unimodulară
Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de
versiunea revizuită pe 25 iunie 2021; verificarea necesită
1 editare .
O rețea unimodulară este o rețea întreagă cu determinant . Acesta din urmă este echivalent cu faptul că volumul regiunii fundamentale a rețelei este de .
![unu](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf)
Definiții
- Rețeaua este un grup abelian liber de rang finit cu o formă biliniară simetrică .
![{\mathbb Z}^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9b5de7ced4588982b574fe19894aec6a3ca4c49)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\displaystyle ({*},{*})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0434b8fd96cbf722464c218c5db20c758ab08338)
- O rețea poate fi văzută și ca un subgrup al unui spațiu vectorial real cu o formă biliniară simetrică .
![\mathbb {R} ^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
- Numărul se numește dimensiunea rețelei, este dimensiunea spațiului vectorial real corespunzător ; este același cu rangul -modulului sau numărul de generatori ai unui grup liber .
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\mathbb Z}^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9b5de7ced4588982b574fe19894aec6a3ca4c49)
![{\mathbb Z}^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9b5de7ced4588982b574fe19894aec6a3ca4c49)
- Rețeaua se numește întreg dacă forma ia numai valori întregi.
![{\displaystyle ({*},{*})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0434b8fd96cbf722464c218c5db20c758ab08338)
- Norma unui element de rețea este definită ca .
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![{\displaystyle (a,a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d14100d161b8b9807d33adbad1d7927284b3fbe1)
- Se spune că o rețea este definită pozitiv sau Lorentzian și așa mai departe, dacă spațiul său vectorial este astfel. În special:
- O rețea este definită pozitivă dacă norma tuturor elementelor nenule este pozitivă.
- Semnătura unei rețele este definită ca semnătura unei forme pe un spațiu vectorial.
- Determinantul unei rețele este determinantul matricei Gram a bazei sale.
- O rețea se numește unimodulară dacă determinantul său este .
![\pm 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bfeaa85da53ad1947d8000926cfea33827ef1e0)
- O rețea unimodulară se numește chiar dacă toate normele elementelor sale sunt pare.
Exemple
Proprietăți
- Pentru o rețea dată în vectori astfel încât pentru oricare formează și o rețea numită rețea duală la .
![{\displaystyle \Lambda \in \mathbb {R} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28354ef74f03ae1f1fdfdb44b1ce527015d657b2)
![{\displaystyle x\in \mathbb {R} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c520ee2cb6ccf8a93c89a8c58a8378796bd52e53)
![{\displaystyle (x,a)\in \mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b73fa3559e401f8203cf8cf32c67e53da572f65d)
![{\displaystyle a\in \Lambda }](https://wikimedia.org/api/rest_v1/media/math/render/svg/685d5146451174b66feccaaec795deffef63822e)
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0a4a98a414e3480335f9ba652d12571ec6733)
- O rețea întreagă este unimodulară dacă și numai dacă rețeaua sa duală este integrală.
- O rețea unimodulară este identică cu cea duală. Din acest motiv, rețelele unimodulare sunt numite și auto-duale .
- Există zăbrele unimodulare ciudate pentru toate semnăturile.
- O rețea uniformă unimodulară cu semnătură există dacă și numai dacă este divizibil cu 8.
![(m,n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/274d4857135a7d28a94ba9ee8135779615084d43)
![mn](https://wikimedia.org/api/rest_v1/media/math/render/svg/767c4b0c3cbd063f836169c2db77f5ffd833d136)
- În special, chiar și rețelele unimodulare definite pozitiv există numai în dimensiuni divizibile cu 8.
- Funcția theta a rețelelor definite pozitive unimodulare este forma modulară .
Aplicații
- Cel de-al doilea grup de coomologie de varietăți topologice cu patru dimensiuni orientate simplu și închise este o rețea unimodulară. Mikhail Fridman a arătat că această rețea definește practic o varietate: există o singură varietate pentru fiecare rețea unimodulară pară și exact două pentru fiecare rețea unimodulară impară.
- În special, pentru forma nulă, aceasta implică conjectura Poincaré pentru varietăți topologice cu 4 dimensiuni.
- Teorema lui Donaldson spune că dacă o varietate este netedă și rețeaua ei este definită pozitiv, atunci trebuie să fie o sumă de copii a .
![\mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc)
- În special, majoritatea acestor colectoare nu au o structură netedă.
Literatură
- Bacher, Roland & Venkov, Boris (2001), Réseaux entiers unimodulaires sans racine en dimension 27 et 28 , în Martinet, Jacques, Réseaux euclidiens, designs sphériques et formes modulaires , voi. 37, Mongr. Enseign. Math., Geneva: L'Enseignement Mathematique, p. 212–267, ISBN 2-940264-02-3 Arhivat la 28 septembrie 2007 la Wayback Machine
- Conway, JH & Sloane, NJA (1999), Sphere packings, lattices and groups , voi. 290 (Ed. a treia), Grundlehren der Mathematischen Wissenschaften, New York, NY: Springer-Verlag , ISBN 0-387-98585-9
- King, Oliver D. (2003), A mass formula for unimodular lattices with no roots , Mathematics of Computation vol. 72 (242): 839–863 , DOI 10.1090/S0025-5718-02-01455-2
- Milnor, John & Husemoller, Dale (1973), Symmetric Bilinear Forms , voi. 73, Ergebnisse der Mathematik und ihrer Grenzgebiete , New York-Heidelberg: Springer-Verlag , ISBN 3-540-06009-X , DOI 10.1007/978-3-642-88330-9
- Serre, Jean-Pierre (1973), Un curs de aritmetică , voi. 7, Texte de absolvent în matematică , Springer-Verlag , ISBN 0-387-90040-3 , DOI 10.1007/978-1-4684-9884-4
Link- uri externe