Cyclic-by-abelian counterexamples to the second and third Zassenhaus conjectures

Technische Samenvatting: Cyclische-door-Abelse Tegenvoorbeelden voor de Tweede en Derde Zassenhaus-vermoedens

Probleemstelling
Het artikel behandelt de geldigheid van de Tweede en Derde Zassenhaus-vermoedens ((ZC2) en (ZC3)) binnen de klasse van eindige cyclische-door-abelse groepen.

• (ZC2) stelt dat elke groepbasis van de integrale groepsluitring $\mathbb{Z}G$ geconjugeerd is aan $G$ binnen de eenheidssubgroep $U(\mathbb{Q}G)$.
• (ZC3) stelt dat elke eindige subgroep van de genormaliseerde eenheidssubgroep $V(\mathbb{Z}G)$ geconjugeerd is in $U(\mathbb{Q}G)$ aan een subgroep van $G$.

Terwijl (ZC1) recentelijk door Eisele en Margolis werd weerlegd voor metabelse groepen, en (ZC2)/(ZC3) eerder werden weerlegd voor algemene metabelse groepen door Roggenkamp, Scott, Klingler en Hertweck, bleef de status van deze vermoedens voor de specifieke subklasse van cyclische-door-abelse groepen (waarbij de afgeleide subgroep $G'$ cyclisch is) open. Margolis en del Río hadden expliciet gevraagd of (ZC3) standhoudt voor deze klasse. Het artikel beoogt deze vraag te beantwoorden door een tegenvoorbeeld te construeren.

Methodologie
De constructie volgt en breidt het kader uit dat is vastgesteld door Hertwecks tegenvoorbeeld uit 2002. De methodologie berust op een uniforme integrale lijmconstructie (gluing argument) met behulp van pullback-diagrammen van ringen en automorfismen.

1. Groepconstructie:
   De auteur definieert een familie van groepen $G_r = (M \times N \times Q) \rtimes W$, waarbij:

   • $M \cong C_5$, $N \cong C_3$, en $Q \cong C_r$ (met $\gcd(r, 30)=1$) zijn.
   • $W = C_8 \rtimes (C_2 \times C_2)$ een specifieke groep van orde 32 is die diagonaal handelt op de normale subgroep $F = M \times N \times Q$.
   • In tegenstelling tot Hertwecks oorspronkelijke voorbeeld waar $Q \cong C_3$ (waardoor $N \times Q \cong C_3^2$ en de afgeleide subgroep niet-cyclisch is), zorgt de keuze voor $Q \cong C_r$ met $\gcd(r, 30)=1$ ervoor dat de afgeleide subgroep $G'_r \cong C_{60r}$ cyclisch is, wat voldoet aan de cyclische-door-abelse voorwaarde.

2. Automorfismeconstructie:
   De kern van de constructie is een augmentatie-behoudend automorfisme $\alpha_r \in \text{Aut}(\mathbb{Z}G_r)$. Dit wordt gebouwd via een "dubbele-quotiënt pullback"-strategie:

   • Quotiënten: De ring $\mathbb{Z}G$ wordt ontleed via pullbacks met betrekking tot de quotiënten $G_3 = G/M$ en $G_5 = G/N$.
   • Lokale Automorfismen:
     • Op het quotiënt $H = G/MN \cong Q \rtimes W$ wordt een buitenstaand (outer) automorfisme $\sigma$ gedefinieerd (het wisselen van een generator $c$ met $zc$).
     • Op de grotere quotiënten $G_3$ en $G_5$ bewijst het artikel dat alle klasse-behoudende automorfismen binnenstaand (inner) zijn (Propositie 3.5).
   • Lijmen (Gluing): De auteur construeert automorfismen op de integrale ringen van de quotiënten ($\mathbb{Z}G_3$ en $\mathbb{Z}G_5$) die overeenkomen op de gemeenschappelijke quotiënt $\mathbb{Z}H$ modulo specifieke congruenties. Dit omvat:
     • Het gebruik van cyclotomische eenheden en teken-automorfismen ($\varepsilon_u, \varepsilon_v$) afgeleid van elementen $m, n$.
     • Het construeren van een specifieke integrale eenheid $\nu$ en het benutten van een eenheid $t$ in de cyclotomische quotiënt om aan de grenzen-congruenties modulo 3 en 5 te voldoen.
     • Het waarborgen dat de "integrale lijmconstructie" onafhankelijk is van de orde van $Q$ (Propositie 6.3).

3. Obstakelanalyse:
   Het geconstrueerde automorfisme $\alpha_r$ wordt getoond te geen Zassenhaus-factorisatie te bezitten (dat wil zeggen, het kan niet worden geschreven als een centraal automorfisme gecombineerd met een groep-automorfisme). Dit wordt bereikt door aan te tonen dat als een dergelijke factorisatie zou bestaan, deze een binnenstaand automorfisme zou induceren op het quotiënt $H$, wat in tegenspraak is met het feit dat de geïnduceerde afbeelding $\sigma_H$ een buitenstaand (outer) automorfisme is.

Belangrijkste Resultaten

• Stelling 1.1: Voor elke $r > 1$ met $\gcd(r, 30)=1$, bestaat er een eindige cyclische-door-abelse groep $G_r$ en een automorfisme $\alpha_r \in \text{Aut}(\mathbb{Z}G_r)$ zodanig dat:
  1. $|G_r| = 480r$ en $G'_r \cong C_{60r}$.
  2. $\alpha_r$ geen Zassenhaus-factorisatie heeft.
  3. De afbeelding $Y_r = \alpha_r(G_r)$ een genormaliseerde groepbasis van $\mathbb{Z}G_r$ is die niet geconjugeerd is aan $G_r$ in $U(\mathbb{Q}G_r)$.
• Corollary 1.2: Hoewel $Y_r$ niet gelijktijdig rationeel geconjugeerd is aan $G_r$, is elk individueel element $y \in Y_r$ wel rationeel geconjugeerd aan een element $g \in G_r$.
• Kleinste Voorbeeld: Het kleinste lid van deze familie treedt op bij $r=7$, wat een groep van orde 3360 oplevert met een afgeleide subgroep $C_{420}$.

Betekenis en Claims
Het artikel beweert een specifiek openstaand probleem op te lossen dat door Margolis en del Río is gesteld betreffende de geldigheid van (ZC2) en (ZC3) voor cyclische-door-abelse groepen.

• Negatieve Resolutie: Het stelt vast dat (ZC2) en (ZC3) falen voor de klasse van eindige cyclische-door-abelse groepen.
• Structureel Onderscheid: De tegenvoorbeelden benadrukken een onderscheid tussen puntgewijze rationele conjugatie (die geldt voor individuele torsie-eenheden in deze groepen, volgens Caicedo, Margolis en del Río) en gelijktijdige rationele conjugatie van een volledige groepbasis.
• Uniformiteit: De constructie breidt Hertwecks voorbeeld uniform uit. Het artikel benadrukt dat de klasse-behoudende obstructie en het integrale lijmmechanisme onafhankelijk zijn van de orde van de hulpfactor $Q$, mits aan de coprimariteitvoorwaarde wordt voldaan. Dit maakt een familie van tegenvoorbeelden mogelijk in plaats van een enkel geïsoleerd geval.

Het werk stelt geen nieuwe toepassingen of toekomstige experimentele richtingen voor, maar richt zich strikt op de theoretische weerlegging van de vermoedens binnen deze specifieke groepsklasse, gebruikmakend van de machinerie van integrale groepsluitringen, pullback-constructies en klasse-behoudende automorfismen.