# Capitolo 13: Materia Oscura, Il Problema Strong-CP e la Bariogenesi

## 13.1 Il 27% dell'Universo che Non Vediamo

L'universo è fatto principalmente di cose che non conosciamo. La materia ordinaria (atomi, molecole, stelle, pianeti, noi stessi) costituisce solo circa il **5%** dell'energia totale dell'universo. Il restante 95% è diviso tra:

- **Materia oscura** (~27%): una forma di materia che non emette, assorbe né riflette luce, ma esercita forza gravitazionale
- **Energia oscura** (~68%): una forma di energia che causa l'accelerazione cosmica (vista nel capitolo precedente)

La materia oscura è osservata indirettamente in molti modi:
- Le **curve di rotazione delle galassie**: le stelle alle periferie delle galassie ruotano troppo velocemente: ci vuole più massa di quella visibile per tenerle in orbita
- Le **lenti gravitazionali**: la luce viene deviata da "oggetti invisibili" che curvano lo spazio-tempo
- La **struttura a grande scala**: il clustering delle galassie richiede materia oscura per formarsi nei tempi cosmologici
- La **CMB**: lo spettro della radiazione cosmica di fondo è sensitivo alla quantità di materia oscura

La materia oscura deve essere:
- **Stabile** (altrimenti si sarebbe già decaduta)
- **Neutra** (non interagisce elettromagneticamente)
- **Fredda** (non relativistica al momento della formazione delle strutture)
- **Debolmente interagente** (non forma strutture compatte da sola)

---

## 13.2 La Definizione Ontologica della Materia Oscura

In TheoryFlow, la materia oscura ha una definizione ontologica precisa.

La materia oscura è un insieme di proprietà $P_{DM}$ che:
1. È compatibile con le proprietà gravitazionali: $P_{DM} \sim P_{grav}$ (la materia oscura interagisce gravitazionalmente)
2. È **incompatibile** con le proprietà elettromagnetiche: $P_{DM} \wedge P_{EM} = \perp$ (non interagisce con la luce)
3. Appartiene al dominio fermionico o scalare: $P_{DM} \in \mathcal{D}_f$ o $\mathcal{D}_S$

In termini di domini: la materia oscura è una proprietà che appartiene al dominio $\mathcal{D}_{DM} \subset \mathcal{D}_f$ che non si interseca con il dominio elettromagnetico $\mathcal{D}_{EM}$.

Questa definizione non dipende da quale sia la particella specifica della materia oscura: si applica a qualunque candidato.

---

## 13.3 I Due Candidati di TheoryFlow

TheoryFlow prevede due candidati naturali per la materia oscura, entrambi che emergono dalla struttura di $G_2$:

### Candidato 1: Il Neutralino (WIMP)

La supersimmetria $\mathcal{N}=1$ in 4D (automatica dalla compattificazione su $G_2$-manifold) prevede un superpartner per ogni particella del Modello Standard. Il superpartner più leggero (**LSP**: Lightest Supersymmetric Particle) è stabile perché la **R-parità** (una simmetria discreta della supersimmetria) impedisce il suo decadimento.

L'LSP tipicamente è il **neutralino**, una combinazione quantistica del superpartner del fotone (fotino), del superpartner del bosone $Z$ (Zino), e dei superpartner dei bosoni di Higgs (higgsino).

Il neutralino è un **WIMP** (Weakly Interacting Massive Particle):
- Massa: nell'intervallo $100$ GeV $- 3$ TeV
- Interagisce debolmente con la materia ordinaria
- Densità cosmologica corretta: per masse $\sim 1$ TeV, $\Omega_{DM} h^2 \approx 0.12$ (il valore osservato)

TheoryFlow prevede una massa del neutralino nell'intervallo $1-3$ TeV, attualmente al limite delle sensibilità LHC.

### Candidato 2: L'Assione del G₂-Manifold

Il secondo candidato è più esotico ed emerge direttamente dalla struttura del $G_2$-manifold.

Quando M-teoria viene compattificata su $X_7$, il campo 3-forma $C_3$ avvolto intorno ai cicli di $H_3(X_7)$ produce **campi scalari** in 4D, detti **axioni** (o più precisamente, assioni di Kalb-Ramond).

Se il ciclo 3-dimensionale $\Sigma^3 \subset X_7$ è scelto correttamente, l'assione risultante:
- Ha una simmetria di Peccei-Quinn (PQ) automatica
- Risolve il **problema Strong-CP** (vedi prossima sezione)
- Ha una massa ultra-leggera $m_a \sim 10^{-9}$ eV
- Costituisce la materia oscura "fredda" attraverso il meccanismo della condensazione di Bose-Einstein

---

## 13.4 Il Problema Strong-CP

Il **problema Strong-CP** è uno dei grandi misteri della fisica teorica. Ecco di cosa si tratta.

La teoria della forza forte (QCD) permette in linea di principio un termine di violazione di CP nella lagrangiana:

$$\mathcal{L}_{\theta} \;=\; \frac{\bar\theta}{32\pi^2} G_{\mu\nu}^a \tilde{G}^{a\mu\nu}$$

dove $\bar\theta$ è un parametro e $\tilde{G}^{a\mu\nu}$ è il duale del tensore del gluone. Questo termine viola la simmetria CP (la simmetria tra particelle e antiparticelle).

Se $\bar\theta \neq 0$, il neutrone avrebbe un momento di dipolo elettrico (EDM):

$$d_n \;\approx\; 3 \times 10^{-16} \bar\theta \; e \cdot \text{cm}$$

Le misurazioni sperimentali dell'EDM del neutrone danno $|d_n| < 1.8 \times 10^{-26}$ e·cm. Questo implica:

$$|\bar\theta| \;\lesssim\; 10^{-10}$$

Il parametro $\bar\theta$ deve essere minore di $10^{-10}$. Ma perché? Non c'è nessuna simmetria che forzi $\bar\theta = 0$. Questo aggiustamento fine su 10 ordini di grandezza sembra miracoloso. È il **problema Strong-CP**.

---

## 13.5 Il Meccanismo di Peccei-Quinn e l'Assione

Roberto Peccei e Helen Quinn proposero nel 1977 una soluzione elegante: aggiungere una nuova simmetria globale $U(1)_{PQ}$ (simmetria di Peccei-Quinn) alla lagrangiana del Modello Standard. Quando questa simmetria si rompe spontaneamente, il termine $\bar\theta$ diventa dinamico: si "rilassa" automaticamente al minimo del potenziale, che è in $\bar\theta = 0$.

La rottura della simmetria PQ produce un bosone di Goldstone pseudoscalare: l'**assione** $a$ (così chiamato da Frank Wilczek nel 1978, ironicamente per la sua somiglianza con il detersivo).

L'assione acquista una massa piccola attraverso effetti non-perturbativi della QCD:

$$m_a \;=\; \frac{f_\pi m_\pi}{f_a} \cdot \frac{\sqrt{m_u m_d}}{m_u + m_d} \;\approx\; \frac{6 \times 10^6 \text{ GeV}}{f_a} \;\text{eV}$$

dove $f_a$ è la **scala di PQ**, il valore di aspettazione del campo che rompe la simmetria PQ. Per $f_a \sim 10^{12}$ GeV, $m_a \sim 6 \times 10^{-6}$ eV (assioni di tipo KSVZ/DFSZ).

---

## 13.6 L'Assione di TheoryFlow dalla Struttura del G₂-Manifold

In TheoryFlow, la simmetria di Peccei-Quinn non è introdotta a mano: emerge **automaticamente** dalla struttura del $G_2$-manifold.

Il campo 3-forma $C_3$ di M-teoria, avvolto intorno a un ciclo 3-dimensionale $\Sigma^3 \in H_3(X_7)$, produce in 4D un campo scalare con una simmetria di Peccei-Quinn automatica. La simmetria PQ è la simmetria di gauge di $C_3$ ristretta al ciclo $\Sigma^3$.

La scala di PQ è determinata dal volume del ciclo:

$$f_a \;=\; \frac{M_{Pl}}{\sqrt{8\pi}} \left(\frac{\text{Vol}(\Sigma^3)}{\text{Vol}(X_7)}\right)^{1/2}$$

Per il $G_2$-manifold con geometria appropriata, questa scala è:

$$f_a \;\sim\; 10^{16} \text{ GeV}$$

La massa dell'assione corrispondente è:

$$m_a \;\sim\; \frac{6 \times 10^6 \text{ GeV}}{10^{16} \text{ GeV}} \text{ eV} \;=\; 6 \times 10^{-10} \text{ eV} \;\approx\; 10^{-9} \text{ eV}$$

Questo è un **assione ultra-leggero**, con massa $\sim 10^{-9}$ eV.

---

## 13.7 Il G₂-Assione come Materia Oscura Ultra-Leggera

Un assione ultra-leggero con $m_a \sim 10^{-9}$ eV non è un WIMP classico. È piuttosto un campo scalare coerente, una sorta di **condensato di Bose-Einstein cosmologico**.

Questo tipo di materia oscura è noto come **Fuzzy Dark Matter** (materia oscura "sfumata") o **Ultra-Light Axion** (ULA). Ha proprietà speciali:

- La lunghezza d'onda de Broglie dell'assione è $\lambda_{dB} \sim h / (m_a v_{DM}) \sim 1$ kpc (kiloparsec), un'escala macroscopica astronomica
- Le strutture su scala inferiore a $\lambda_{dB}$ vengono "sfumate" dalla pressione quantistica dell'assione
- Questo potrebbe risolvere alcuni problemi della materia oscura fredda (WDM) come il problema dei "satelliti mancanti" e il problema del "troppo grande per fallire"

La densità di energia della materia oscura assionico è:

$$\rho_a \;=\; \frac{1}{2}m_a^2 a_0^2 \;+\; \frac{1}{2}(\nabla a)^2$$

dove $a_0$ è l'ampiezza di oscillazione dell'assione nel cosmo. Per avere la densità di materia oscura corretta $\Omega_{DM} h^2 \approx 0.12$:

$$a_0 \;\sim\; \frac{M_{Pl}}{\sqrt{8\pi}} \;\sim\; 2 \times 10^{18} \text{ GeV}$$

Questo è coerente con la scala $f_a \sim 10^{16}$ GeV se la distribuzione cosmica di energia assionico è concentrata nelle prime fasi dell'universo.

---

## 13.8 Come Distinguere i Due Candidati

TheoryFlow prevede due candidati per la materia oscura (neutralino o assione di $G_2$). Come li distinguiamo?

| Osservabile | Neutralino (WIMP) | Assione $G_2$ (ULA) |
|---|---|---|
| Massa | $1-3$ TeV | $\sim 10^{-9}$ eV |
| Rilevazione diretta | Rinculo nucleare negli esperimenti XENON/LZ | Conversione $a \to \gamma$ in campo magnetico |
| Struttura galattica | Struttura standard $\Lambda$CDM | Nuclei galattici "sfumati" |
| Presenza all'LHC | Produzione di superpartner | Nessun segnale |
| Gravitazionale | Indistinguibile da CDM | Deviazioni a piccola scala |

**Esperimento ADMX**: cerca assioni con $m_a \sim 10^{-6}$ eV tramite conversione in cavità risonante. Non sensibile a $m_a \sim 10^{-9}$ eV.

**Esperimento CASPEr-Wind**: potenzialmente sensibile a assioni ultra-leggeri tramite effetti di spin nucleari. Scala di energia appropriata.

**Osservazioni della foresta Lyman-alpha**: la struttura a piccola scala dell'universo è sensibile alla massa della materia oscura: potrebbe distinguere materia oscura standard da ULA.

---

## 13.9 Unificazione dei Tre Problemi

Un risultato bello di TheoryFlow è che la materia oscura, il problema Strong-CP e la bariogenesi sono **tre aspetti dello stesso ciclo geometrico** $\Sigma^3 \in H_3(X_7)$.

- Il **problema Strong-CP** è risolto dall'assione che emerge da $C_3|_{\Sigma^3}$
- La **materia oscura** è costituita dallo stesso campo assionico (nel caso dell'assione $G_2$)
- La **bariogenesi** avviene tramite leptogenesi, guidata dalla violazione di CP $\delta_{CP} = -90°$ che emerge dalla struttura dell'associatore ottononico, che è la stessa struttura che determina $C_3|_{\Sigma^3}$

I tre problemi non sono separati; hanno un'unica radice geometrica: la struttura dei cicli 3-dimensionali del $G_2$-manifold.

Formalmente: il 3-ciclo $\Sigma^3 \in H_3(X_7)$ con le sue proprietà geometriche (volume, curvatura, intersezioni con altri cicli) determina simultaneamente:
- La scala di PQ $f_a$ → risoluzione del Strong-CP e candidato DM
- La fase dell'associatore → $\delta_{CP} = -90°$ → leptogenesi → bariogenesi
- Le masse dei neutrini pesanti $N_R$ → meccanismo seesaw

---

## 13.10 Predizioni Falsificabili

Riassumiamo le predizioni falsificabili di questo capitolo:

**1. Materia oscura supersimmetrica (neutralino)**
- Superpartner entro $1-3$ TeV: HL-LHC (post-2026), futura macchina 100 TeV FCC
- Rilevazione diretta: XENON-nT, LZ (in corso)

**2. Materia oscura assionico ultra-leggera**
- Struttura galattica "sfumata" a scale $< 1$ kpc: osservazioni lensing e Lyman-alpha
- Conversione in campo magnetico: CASPEr-Wind, ABRACADABRA

**3. Strong-CP risolto**
- EDM del neutrone: $|d_n| < 10^{-30}$ e·cm (futuro n2EDM)

**4. Bariogenesi**
- $\delta_{CP} = -90°$: DUNE (2030-35)
- Massa dei neutrini pesanti $\sim 10^{12}-10^{15}$ GeV: non direttamente accessibile, ma $\eta_B \approx 2 \times 10^{-10}$ è più basso del valore osservato, discrepanza di fattore 3 da spiegare

---

## Riepilogo del Capitolo 13

- La **materia oscura** è proprietà $P_{DM}$ compatibile con la gravità ma incompatibile con l'EM
- Candidato 1: **Neutralino** (LSP da SUSY), $m \sim 1-3$ TeV
- Candidato 2: **Assione $G_2$** (da $C_3|_{\Sigma^3}$), $m_a \sim 10^{-9}$ eV, materia oscura ultra-leggera
- Il **problema Strong-CP** è risolto dalla simmetria PQ automatica del $G_2$-manifold
- La **bariogenesi** avviene per leptogenesi guidata da $\delta_{CP} = -90°$
- **Unificazione**: DM, Strong-CP e bariogenesi sono tre aspetti del ciclo $\Sigma^3 \in H_3(X_7)$
- Predizioni verificabili: CASPEr-Wind per assione ULA; DUNE per $\delta_{CP}$; HL-LHC per SUSY
