# Anneau de Novikov

En mathématiques, un anneau de Novikov est un certain type d'anneau commutatif unitaire constitué de séries formelles. Il existe plusieurs notions reliées mais différentes d'anneau de Novikov. Sa première définition fut introduite par S. P. Novikov dans un article qui a initié la généralisation de la théorie de Morse utilisant une 1-forme différentielle fermée au lieu d'une fonction de Morse. Les définitions subséquentes furent introduites dans un contexte de cohomologie de Floer puis dans un contexte de cohomologie quantique.

## Définition

Voici la définition d'un anneau de Novikov :
Soit $\Gamma \subset \mathbb {R}$ un sous-groupe additif de $\mathbb {R}$. L'anneau de Novikov $\operatorname {Nov} (\Gamma )$ de $\Gamma$ est par définition l'anneau constitué des séries formelles : $\sum _{i=1}^{\infty }n_{\gamma _{i}}t^{\gamma _{i}}$ où :
* $(n_{\gamma _{i}})_{i\in \mathbb {N} }$ est une suite en $\mathbb {Z}$ ;
* $t$ est une indéterminée ;
* $(\gamma _{i})_{i\in \mathbb {N} }$ est une suite strictement décroissante en $\Gamma$, i.e. telle que $\gamma _{1}>\gamma _{2}>\cdots$, qui vérifie $\lim _{i\to +\infty }\gamma _{i}=-\infty$.
La structure d'anneau (addition et produit) de $\operatorname {Nov} (\Gamma )$ est la même que celle de l'anneau $\mathbb {Z} [\![\Gamma ]\!]$ des séries formelles $\sum _{\gamma \in \Gamma }n_{\gamma }t^{\gamma }$.
De manière équivalente, l'anneau de Novikov $\mathrm {Nov} (\Gamma )$ peut être défini par : $\mathrm {Nov} (\Gamma ):=\left\{\sum _{\gamma \in \Gamma }n_{\gamma }t^{\gamma }|n_{\gamma }\in \mathbb {Z} ,\forall c\in \mathbb {R} ,\#\{\gamma |n_{\gamma }\neq 0,n_{\gamma }>c\}<+\infty \right\}$
On peut remarquer que :
* L'anneau de Novikov $\operatorname {Nov} (\Gamma )$ est un sous-anneau de l'anneau $\mathbb {Z} [\![\Gamma ]\!]$ ;
* L'anneau de Novikov $\operatorname {Nov} (\Gamma )$ est un anneau principal ;
* Il existe d'autres définitions d'anneau de Novikov.
Voici une autre définition d'anneau de Novikov : l'anneau de Novikov est : $\mathbb {Z} ((z)):=\mathbb {Z} [[z]][z]=\left\{\sum _{j=-\infty }^{\infty }n_{j}z^{j}|n_{j}\in \mathbb {Z} ,\exists k\in \mathbb {Z} ,\forall j<k,n_{j}=0\right\}$ où $z$ est une indéterminée.
Remarquons que la définition de $\mathbb {Z} ((x))$ est similaire à celle $\mathrm {Nov} (\mathbb {Z} )$, pour $\Gamma =\mathbb {Z}$, mais avec un nombre fini de termes $z$ en puissance négative au lieu d'un nombre fini de termes $z$ en puissance positive.

## Nombres de Novikov et inégalités de Novikov

En théorie de Morse, plus précisément en homologie de Morse, une fonction de Morse $f:M\to \mathbb {R}$ à valeurs réelles définie sur une variété différentielle compacte $M$ induit un complexe de chaîne $C_{*}(f)$ librement engendré sur un anneau $A$ par les points critiques de $f$ et gradué par leur indice de Morse. Le rang de $C_{k}(f)$, i.e. le nombre $c_{k}(f)$ de points critiques de $f$ d'indice de Morse $k$, est nommé $k$-ième nombre de Morse. Les nombres de Morse vérifient les inégalités de Morse :
$c_{k}(f)\geq b_{k},\qquad \forall k$ où $b_{k}$ est le $k$-ième nombre de Betti de $M$.
En analogie avec ceci, on peut définir les deux nombres de Novikov. À ces nombres seront associés les inégalités de Novikov.
Fixons $X$ un polyèdre connexe avec points de base $x_{0}\in X$. Fixons aussi une classe de cohomologie $\xi \in H^{1}(X;\mathbb {R} )$. Cette dernière peut être vue comme fonctionnelle linéaire : $\xi :H_{1}(X;\mathbb {R} )\to \mathbb {R}$ sur le premier groupe d'homologie $H_{1}(X;\mathbb {R} )$.
En la composant avec l'homomorphisme d'Hurewicz $\pi _{1}(X,x_{0})\to H_{1}(X,\mathbb {R} )$, elle peut être vue comme homomorphisme de groupes $\xi :\pi _{1}(X,x_{0})\to \mathbb {R}$.
Par la propriété universelle, cette application en retour donne un homomorphisme d'anneau $\phi _{\xi }:\mathbb {Z} [\pi ]\to \mathrm {Nov}$ où $\pi :=\pi _{1}(X,x_{0})$ et où $\mathrm {Nov} :=\mathrm {Nov} (\mathbb {R} )$, faisant de $\operatorname {Nov}$ un $\mathbb {Z} [\pi ]$-module. Puisque $X$ est un polyèdre connexe, ce dernier $\mathbb {Z} [\pi ]$-module $\operatorname {Nov}$ correspond à un système de coefficients locaux $L_{\xi }$ sur $X$.
Le groupe d'homologie $H_{k}(X;L_{\xi })$ est un module finiment engendré sur $\operatorname {Nov}$, qui est, par le théorème des facteurs invariants, une somme directe de la partie libre et de la partie torsion. Le rang de la partie libre de $H_{k}(X;L_{\xi })$ est nommé le $k$-ième nombre de Novikov Betti et est dénoté par $b_{k}(\xi )$. Le nombre de modules cycliques dans la partie torsion de $H_{k}(X;L_{\xi })$ est nommé $k$-ième nombre de torsion de Novikov et est dénoté par $q_{k}(\xi )$. Les nombres $b_{k}(\xi )$ et $q_{k}(\xi )$ sont nommés nombres de Novikov.
Lorsque $\xi =0$, $L_{\xi }$ est trivial. Dans ce cas, $b_{k}(0)$ est le $k$-ième nombre de Betti $b_{k}$ usuel de $X$ et $q_{k}(0)$ est le nombre minimal de générateurs du sous-groupe de torsion de $H_{k}(X;\mathbb {Z} )$.
L'analogue des inégalités de Morse, nommées inégalités de Novikov, tiennent aussi pour les nombres de Novikov.
Fixons $\alpha$ une 1-forme différentielle fermée sur une variété différentielle $M$ dont les zéros sont de type Morse.
Soit $c_{k}(\alpha )$ le nombre de zéros d'indice de Morse $k$ de $\alpha$.
Soit $\xi :=[\alpha ]\in H^{1}(M,\mathbb {R} )$ sa classe de cohomologie de de Rham.
Les inégalités de Novikov s'écrivent alors : $c_{k}(\alpha )\geq b_{k}(\xi )+q_{k}(\xi )+q_{k-1}(\xi ),\qquad \forall k$.

## Anneau de Novikov en cohomologie quantique

Tel que mentionné plus haut, il existe d'autres notions d'anneaux de Novikov. En voici un exemple dans le contexte de la cohomologie quantique.
Soit $(M,\omega )$ une variété symplectique fermée (i.e. compacte et sans bord).
Posons $H_{2}(M):=H_{2}(M;\mathbb {Z} )/\mathrm {torsion}$ le second groupe d'homologie de $M$ modulo sous-groupe de torsion.
Soit $R$ un anneau commutatif unitaire.
L'anneau de Novikov $\Lambda$ est par définition l'ensemble des séries formelles $\lambda =\sum _{A\in H_{2}(X)}\lambda _{A}e^{A}$ où :
* $\lambda _{A}\in R$ ;
* $e^{A}$ est une variable formelle sujette à la condition $e^{A+B}=e^{A}e^{B}$ ;
* pour tout $C\in \mathbb {R}$, la cardinalité de l'ensemble $\left\{\lambda _{A}|\lambda _{A}\neq 0,\omega (A)<C\right\}$ est finie.