Multiplicative $f$-ic forms on algebraic varieties arising from Thaine's generalized Jacobi sums

Technische Samenvatting: Multiplicatieve f-ische Vormen op Algebraïsche Variëteiten die voortkomen uit Thaine's Gegeneraliseerde Jacobi-sommen

Probleemstelling
Dit artikel behandelt twee onderling verbonden thema's: de rekenkundige eigenschappen van gegeneraliseerde Jacobi-sommen en hun geometrische realisatie als multiplicatieve vormen op algebraïsche variëteiten.

1. Rekenkunde: Klassieke Jacobi-sommen en hun bijbehorende vermenigvuldigingsmatrices zijn goed begrepen in de context van priem machten ($p^r$). Het uitbreiden van deze structuren naar producten van verschillende priem machten ($p_1 p_2$) en het vaststellen van multiplicatieve identiteiten die de kloof overbruggen tussen klassieke en gegeneraliseerde situaties blijft echter een uitdaging. Specifiek streven de auteurs ernaar het hefboomtheorema van Davenport en Hasse te generaliseren van situaties met priem machten naar producten van priem machten, gebruikmakend van Thaine's raamwerk van $d$-composities.
2. Geometrie: Waar Pfister's theorie van multiplicatieve kwadratische vormen over velden klassiek is, is de constructie van multiplicatieve vormen van hogere graad ($f$-ische vormen, waarbij $f \ge 2$) op algebraïsche variëteiten minder ontwikkeld. Het artikel beoogt dergelijke vormen te construeren op volledige doorsneden en de algebraïsche groepsstructuur (specifiek algebraïsche tori) te onderzoeken die voortkomt uit dichte open deelverzamelingen van deze variëteiten.

Methodologie
De auteurs maken gebruik van een synthese van algebraïsch getaltheorie, cyclotomie en algebraïsche meetkunde:

• Thaine's Raamwerk: Het onderzoek maakt gebruik van F. Thaine's gegeneraliseerde Jacobi-sommen $E_p(a, b)$ en gegeneraliseerde vermenigvuldigingsmatrices $H_p$ voor elementen $p \in K^\times$. Deze objecten zijn axiomatisch gedefinieerd om eigenschappen te voldoen die analoog zijn aan klassieke Jacobi-sommen, maar zijn toepasbaar over algemene velden.
• $d$-Compositie: Een centraal hulpmiddel is Thaine's $d$-compositie-operatie ($A \overset{d}{*} B$) op matrices. De auteurs analyseren hoe deze operatie gegeneraliseerde Jacobi-sommen en vermenigvuldigingsmatrices geassocieerd met $p_1$ en $p_2$ combineert tot objecten geassocieerd met het product $p_1 p_2$.
• Fourier-analyse: In Sectie 3.3 worden de multiplicatieve identiteiten geïnterpreteerd via een "verdraaide dubbele eindige Fourier-transformatie", die cyclotomische getallen en Jacobi-sommen relateert via convolutiestellingen op eindige abelse groepen.
• Geometrische Constructie: De rekenkundige identiteiten worden vertaald naar geometrische operaties. Door algebraïsche variëteiten $V$ te definiëren als volledige doorsneden van hypersurfaces afgeleid uit correlatiesommen van coëfficiënten in cyclotomische uitbreidingen, construeren de auteurs bilineaire afbeeldingen $\phi_d: V \times V \to V$.
• Normrelaties: De constructie rust op relatieve normrelaties in cyclotomische uitbreidingen $L/K$. Specifiek worden de multiplicatieve vormen afgeleid van de normafbeelding $N_{L/M}$ waarbij $M$ een tussenliggend veld is, waardoor de algebraïsche structuur van de variëteit wordt gekoppeld aan de veld-theoretische eigenschappen van de coëfficiënten.

Belangrijkste Bijdragen en Resultaten

1. Gegeneraliseerde Multiplicatieve Identiteiten (Stelling 1.1):
   De auteurs bewijzen dat gegeneraliseerde Jacobi-sommen voor een product $p_1 p_2$ kunnen worden geconstrueerd via de $d$-compositie van sommen voor $p_1$ en $p_2$. Specifiek, als $E_{p_1}$ en $E_{p_2}$ gegeneraliseerde Jacobi-sommen zijn, dan is $E_{p_1 p_2, d}(a, b) := -\sigma_{-d}(E_{p_1}(a, b))E_{p_2}(a, b)$ een gegeneraliseerde Jacobi-som voor $p_1 p_2$. Dit breidt de klassieke theorie uit waarbij Jacobi-sommen intrinsiek verbonden zijn met priem machten, en toont aan dat Thaine's gegeneraliseerde sommen multiplicatief zijn met betrekking tot producten.

2. Uitbreiding van Davenport-Hasse Hefwerking (Stelling 1.3):
   Het artikel stelt een equivalentie vast tussen het heffen van Jacobi-sommen (Davenport-Hasse) en het heffen van vermenigvuldigingsmatrices van Gaussische periodes. Het bewijst dat het $n$-voudige product van een vermenigvuldigingsmatrix onder $(-1)$-compositie overeenkomt met het heffen van Jacobi-sommen van $\mathbb{F}_{p^r}$ naar $\mathbb{F}_{p^{nr}}$.

3. Constructie van Multiplicatieve Kwadratische Vormen (Stelling 1.4):
   Voor een oneven priemgetal $l$ construeren de auteurs een reguliere kwadratische vorm $q(x)$ op een algebraïsche variëteit $V \subset K^{l-1}$ gedefinieerd door de doorsnede van $\frac{l-1}{2}-1$ kwadraten. Zij tonen aan dat $q(x)$ multiplicatief is op $V$, wat betekent dat $q(x)q(y) = q(\phi(x, y))$ voor een specifieke bilineaire afbeelding $\phi$. Dit generaliseert Hoshi's eerdere werk over multiplicatieve kwadratische vormen.

4. Constructie van Multiplicatieve $f$-ische Vormen (Stelling 1.5):
   Generaliserend naar graad $f \ge 2$, construeert het artikel multiplicatieve $f$-ische vormen $h(x)$ op variëteiten $V$ gedefinieerd als volledige doorsneden van $e-1$ hypersurfaces van graad $f$ (waarbij $l = ef + 1$). De vorm $h(x)$ wordt aangetoond regulier en multiplicatief te zijn met betrekking tot de compositieswet afgeleid van de $d$-compositie van coëfficiënten.

5. Algebraïsche Torus Structuur (Stelling 1.6):
   Een significant geometrisch resultaat is de identificatie van een dichte open deelverzameling $W \subset V$ (waar de norm van het geassocieerde element niet-nul is) als een algebraïsche $K$-torus. De compositieswet $x \overset{-1}{*} y$ beperkt zich tot een commutatieve groepsvermenigvuldiging op $W$, waardoor $W$ isomorf is met een door een norm gedefinieerde subtorus van de Weil-beperking $R_{L/K}(\mathbb{G}_m)$. Dit plaatst Pfister's theorie van multiplicatieve kwadratische vormen in een bredere context van multiplicatieve $f$-ische vormen op variëteiten die torusstructuren dragen.

6. Expliciete Hefwerking van Diophantische Oplossingen (Sectie 4.3):
   De auteurs passen deze resultaten toe om expliciete formules te leveren voor het heffen van oplossingen van Diophantische systemen geassocieerd met Jacobi-sommen. Voor priem machten $p_1, p_2$ worden oplossingen voor $p_1 p_2$ geconstrueerd uit oplossingen voor $p_1$ en $p_2$ met behulp van de bilineaire afbeeldingen afgeleid van de multiplicatieve vormen. Dit herstelt en generaliseert bekende resultaten voor $l=3, 5, 7$ (bijvoorbeeld gerelateerd aan Gauss's Disquisitiones Arithmeticae en systemen bestudeerd door Katre, Rajwade en van Wamelen).

Betekenis en Beweringen
Het artikel beweert de theorie van multiplicatieve kwadratische vormen over velden (Pfister's theorie) te plaatsen in een bredere setting van multiplicatieve $f$-ische vormen op affiene algebraïsche variëteiten.

• Rekenkundige Betekenis: Het breidt de reikwijdte van Davenport-Hasse hefwerking en Jacobi-som identiteiten uit van priem machten naar producten van priem machten, gebruikmakend van Thaine's $d$-compositie om deze gevallen te verenigen.
• Geometrische Betekenis: Het toont aan dat het "inverteerbare deel" van de coëfficiëntvariëteit, verkregen door Jacobi-somrelaties te geometriseren, van nature de structuur van een algebraïsche torus draagt. Dit biedt een geometrisch mechanisme voor het genereren van nieuwe oplossingen voor Diophantische vergelijkingen via groepsvermenigvuldigingen op deze variëteiten.
• Methodologische Bijdrage: Het werk overbrugt de kloof tussen formele rekenkundige operaties (gegeneraliseerde Jacobi-sommen) en geometrische structuren (multiplicatieve vormen op volledige doorsneden), en toont aan dat de algebraïsche torus die in de constructie verschijnt geen onafhankelijk object is, maar de inverteerbare locus van de variëteit gedefinieerd door de gegeneraliseerde relaties.

De auteurs stellen expliciet dat hun resultaten het onderzoek naar multiplicatieve vormen, geïnitieerd door Hoshi [Hos03], uitbreiden van kwadratische voorbeelden naar vormen van hogere graad en de groeps-theoretische structuur verduidelijken die aan deze constructies ten grondslag ligt. Zij claimen geen algemene Diophantische problemen op te lossen, maar bieden eerder een systematisch raamwerk voor het construeren van multiplicatieve vormen en het heffen van oplossingen in specifieke cyclotomische contexten.