text:
# Les variétés sur le corps à un élément

## 1 Un historique

### 1.1

J. Tits parle dans  § 13 du “corps de caractéristique un”. Si $`G`$ est un groupe de Chevalley, simple et simplement connexe, le groupe des points de $`G`$ dans $`𝔽_1`$ n’est autre que le groupe de Weyl $`W`$ de $`G`$ :

$$W=G(𝔽_1).$$
(1)
Tits montre qu’on peut associer à $`G`$ une “géométrie” finie, dont $`W`$ est le groupe d’automorphismes et dont les propriétés sont comparables à celles du groupe fini $`G(𝔽_q)`$ pour tout corps fini $`𝔽_q`$, $`q>1`$. Par exemple, l’hexagone est la géométrie associée à $`G_2(𝔽_1)`$.

La théorie des représentations fournit aussi de nombreux exemples justifiant la formule (1). R. Steinberg avait déjà construit dans  des représentations irréductibles de $`\mathrm{GL}_N(𝔽_q)`$ de façon parallèle à celle des représentations du groupe symétrique de $`N`$ lettres $`\mathrm{\Sigma }_N`$. Leurs caractères sont des $`q`$-analogues des formules connues pour le groupe symétrique. Par exemple, si $`N=N_1+\mathrm{}+N_r`$, $`N_i1`$, est une partition de l’entier $`N`$ et si $`P\mathrm{SL}_N`$ est le sous-groupe parabolique standard associé à cette partition, le cardinal de l’ensemble fini $`\mathrm{SL}_N(𝔽_q)/P(𝔽_q)`$ est

$$\mathrm{\#}(\mathrm{SL}_N(𝔽_q)/P(𝔽_q))=\{N\}/\{N_1\}\{N_2\}\mathrm{}\{N_r\},$$

avec

$$\{n\}=\underset{i=1}{\overset{n}{}}[i]$$

et

$$[n]=q^{n1}+q^{n2}+\mathrm{}+1.$$

Une telle formule, vraie si $`q>1`$, demeure valable quand $`q=1`$ si l’on pose

$$\mathrm{\Sigma }_N=\mathrm{SL}_N(𝔽_1)$$

(cf. (1)) et

$$P(𝔽_1)=\underset{i=1}{\overset{r}{}}\mathrm{\Sigma }_{N_i}.$$

Si $`G`$ est un groupe de Chevalley quelconque, les représentations “unipotentes” de $`G(𝔽_q)`$ sont des $`q`$-analogues des représentations de $`W`$. Les travaux plus récents de M. Broué, G. Malle et J. Michel , ,  montrent qu’il est possible d’étendre cette analogie en faisant de $`q`$ une variable abstraite.

### 1.2

Y. Manin aborde d’un autre point de vue la discussion du corps à un élément $`𝔽_1`$ . L’analogie entre corps de nombres et corps de fonctions $`[W]`$, dont est issue la théorie d’Arakelov, fait du schéma $`\mathrm{Spec}()`$ l’analogue d’une courbe affine sur un corps. On peut voir dans $`𝔽_1`$ le corps de définition de la courbe $`\mathrm{Spec}()`$. Manin demande alors quel sens donner au produit fibré

$$\mathrm{Spec}()\underset{\mathrm{Spec}(𝔽_1)}{\times }\mathrm{Spec}().$$
(2)
Une telle question est naturelle si l’on se souvient du rôle joué par la surface $`C\underset{𝔽_q}{\times }C`$ dans la preuve par Weil de l’hypothèse de Riemann pour une courbe projective et lisse $`C`$ sur le corps fini $`𝔽_q`$.

Manin propose aussi de développer une géométrie algébrique sur le corps $`𝔽_1`$ (, 1.7), ainsi qu’une théorie des motifs et des fonctions zêtas associées. Par exemple, l’espace projectif $`_{𝔽_1}^d`$ de dimension $`d`$ sur $`𝔽_1`$ devrait avoir pour fonction zêta le polynôme

$$\zeta _{_{𝔽_1}^d}=(s)s(s1)(s2)\mathrm{}(sd).$$
(3)
### 1.3

Ces spéculations ont été poursuivies par Smirnov  et Kapranov-Smirnov   (non publiés). Ceux-ci proposent une algèbre linéaire sur $`𝔽_1`$ (un espace vectoriel linéaire sur $`𝔽_1`$ est un ensemble fini pointé) et expliquent en ces termes la loi de réciprocité de Gauss (voir  pour le cas géométrique). Ils proposent aussi que, si $`n1`$, le corps $`𝔽_1`$ a une extension finie de degré $`n`$, dont les éléments inversibles sont les racines de l’unité d’ordre $`n`$.

## 2 Préliminaires

### 2.1

Notre objectif est de définir les variétés algébriques sur le corps à un élément.

Notons d’abord que l’on ne s’attend pas à voir figurer $`\mathrm{Spec}()`$ parmi ces variétés. En effet sa fonction zêta, la fonction zêta de Riemann, a un nombre infini de zéros, ce qui indique que $`\mathrm{Spec}()`$ n’est pas de type fini sur $`\mathrm{Spec}(𝔽_1)`$. Et nous ne chercherons pas à donner un sens au produit fibré (2).

Par contre, si $`X`$ est une variété (de type fini) sur $`𝔽_1`$, on s’attend à ce que $`X\underset{𝔽_1}{}`$ soit une variété algébrique (de type fini) sur $``$. Si de plus $`X`$ est lisse sur $`𝔽_1`$, la variété $`X\underset{𝔽_1}{}`$ aura bonne réduction partout, de réduction en $`p`$ la variété algébrique $`X\underset{𝔽_1}{}𝔽_p`$, lisse que $`𝔽_p`$. Ceci nous conduit à la question suivante :

Question 1. Quelles sont les variétés sur $``$ obtenues par extension des scalaires de $`𝔽_1`$ à $``$ ?

On aimerait par exemple que les variétés toriques ou les variétés de drapeaux d’un groupe de Chevalley puissent être définies sur $`𝔽_1`$.

### 2.2

Un point de départ pour nos définitions est cette définition très économique des schémas : un schéma est un foncteur covariant de la catégorie des anneaux vers celle des ensembles qui est localement représentable par un anneau. On trouvera dans  la preuve que cette définition est équivalente à la définition usuelle. Ceci suggère de définir les variétés sur $`𝔽_1`$ comme foncteurs d’une catégorie d’anneaux vers celle des ensembles finis.

### 2.3

Puisqu’à une variété $`X`$ sur $`𝔽_1`$ on souhaite associer une variété algébrique $`X\underset{𝔽_1}{}`$ sur les entiers, il convient de comprendre quel est le foncteur associé à l’extension des scalaires d’une variété algébrique.

Soit $`k`$ un corps, $`𝒜_k`$ la catégorie des $`k`$-algèbres unitaires commutatives, et $`\mathrm{\Omega }`$ un objet de $`𝒜_k`$. Si $`R`$ est un objet de $`𝒜_k`$, on note $`R_\mathrm{\Omega }R\underset{k}{}\mathrm{\Omega }`$ son extension des scalaires de $`k`$ à $`\mathrm{\Omega }`$. De même, si $`X`$ est un schéma sur $`k`$, on pose $`X_\mathrm{\Omega }X\underset{k}{}\mathrm{\Omega }`$.

Notons $`ns`$ la catégorie des ensembles. Si $`X`$ est un schéma sur $`k`$ on désigne par

$$\underset{¯}{X}:𝒜_kns$$

le foncteur covariant qui à $`R`$ associe $`X(R)`$. De même, si $`S`$ est un schéma sur $`\mathrm{\Omega }`$, on désigne par

$$\underset{¯}{S}:𝒜_kns$$

le foncteur covariant qui à $`R`$ associe $`S(R_\mathrm{\Omega })`$. La proposition suivante montre que le foncteur $`\underset{¯}{X}_\mathrm{\Omega }`$ vérifie une propriété universelle.

Proposition 1. i) Pour tout objet $`R`$ de $`𝒜_k`$ et tout schéma $`X`$ sur $`k`$ il existe une inclusion canonique naturelle

$$X(R)X_\mathrm{\Omega }(R_\mathrm{\Omega }).$$

On note $`i:\underset{¯}{X}\underset{¯}{X}_\mathrm{\Omega }`$ la transformation naturelle ainsi définie.

ii) Si $`S`$ est un schéma sur $`\mathrm{\Omega }`$ et si

$$\phi :\underset{¯}{X}\underset{¯}{S}$$

est une transformation naturelle, il existe un unique morphisme algébrique sur $`\mathrm{\Omega }`$

$$\phi _\mathrm{\Omega }:X_\mathrm{\Omega }S$$

tel que la transformation composée

$$\begin{array}{ccccc}\underset{¯}{X}& \stackrel{i}{}& \underset{¯}{X}_\mathrm{\Omega }& \stackrel{\underset{¯}{\phi }_\mathrm{\Omega }}{}& \underset{¯}{S}\end{array}$$

de $`i`$ avec la transformation induite par $`\phi _\mathrm{\Omega }`$ coïncide avec $`\phi `$, i.e. $`\phi =\underset{¯}{\phi }_\mathrm{\Omega }i`$.

Preuve. Puisque $`k`$ est contenu dans $`\mathrm{\Omega }`$ et que $`X_\mathrm{\Omega }(R_\mathrm{\Omega })`$ coïncide avec l’ensemble des points de $`X`$ dans la $`k`$-algèbre $`R_\mathrm{\Omega }`$, l’énoncé i) est clair. Pour montrer ii) supposons d’abord que $`X`$ est affine et soit $`A=\mathrm{\Gamma }(X,𝒪_X)`$ la $`k`$-algèbre des fonctions globales sur $`X`$. L’identité de $`A`$ définit un point $`\mathrm{id}_AX(A)`$, dont l’image par $`\phi `$ est un morphisme algébrique sur $`\mathrm{\Omega }`$ :

$$\phi _\mathrm{\Omega }\mathrm{Hom}_\mathrm{\Omega }(X_\mathrm{\Omega },S)=X_\mathrm{\Omega }(A_\mathrm{\Omega }).$$

Si $`R`$ est une $`k`$-algèbre et $`fX(R)`$ un morphisme de $`A`$ vers $`R`$, on a, par fonctorialité de $`\phi `$,

$$\phi (f)=f^{}(\phi (\mathrm{id}_A))=f^{}(\phi _\mathrm{\Omega })=\phi _\mathrm{\Omega }f_\mathrm{\Omega }.$$

Cela montre que $`\phi =\underset{¯}{\phi }_\mathrm{\Omega }i`$.

Dans le cas général, soit $`X=\underset{jJ}{}X_j`$ un recouvrement ouvert de $`X`$ par des variétés affines et

$$\phi :\underset{¯}{X}\underset{¯}{S}$$

une transformation naturelle. La restriction de $`\underset{¯}{\phi }`$ à $`\underset{¯}{X}_j`$ (resp. $`\underset{¯}{X_jX_j^{}}`$) est induite par un morphisme algébrique $`\phi _{j\mathrm{\Omega }}:X_{j\mathrm{\Omega }}S`$ (resp. $`\phi _{jj^{}\mathrm{\Omega }}:(X_jX_j^{})_\mathrm{\Omega }S`$) et, par fonctorialité et unicité, la restriction de $`\phi _{j\mathrm{\Omega }}`$ à $`(X_jX_j^{})_\mathrm{\Omega }`$ coïncide avec $`\phi _{jj^{}\mathrm{\Omega }}`$ quels que soient les indices $`j`$ et $`j^{}`$ dans $`J`$. Par conséquent, les morphismes $`\phi _{j\mathrm{\Omega }}`$, $`jJ`$, se recollent pour donner un morphisme

$$\phi _\mathrm{\Omega }:XS$$

algébrique sur $`\mathrm{\Omega }`$. Si $`R`$ est une $`k`$-algèbre et $`f:\mathrm{Spec}(R)X`$ un point de $`X(R)`$, considérons les $`k`$-schémas affines $`U_j=f^1(X_j)`$, $`jJ`$. La restriction de $`(\phi _\mathrm{\Omega }i)(f)`$ à $`U_{j\mathrm{\Omega }}`$ coïncide par définition avec celle de $`\phi _{j\mathrm{\Omega }}f`$, c’est-à-dire avec la restriction de $`\phi (f)`$. Comme les $`U_{j\mathrm{\Omega }}`$, $`jJ`$, forment un recouvrement ouvert de $`U_\mathrm{\Omega }`$, on en conclut que $`\phi _\mathrm{\Omega }i=\phi `$. q.e.d.

### 2.4

On voudrait qu’un énoncé tel que la Proposition 1 soit vrai quand $`k=𝔽_1`$ et $`\mathrm{\Omega }=`$. Mais cela suppose qu’on sache d’abord répondre à la question suivante :

Question 2. Quels sont les anneaux obtenus par extension des scalaires de $`𝔽_1`$ à $``$ ?

Or, d’après Kapranov et Smirnov, pour tout entier $`n1`$, le corps $`𝔽_1`$ possède une extension $`𝔽_{1^n}`$ de degré $`n`$, obtenue par l’adjonction des racines $`n`$-ièmes de l’unité. La $``$-algèbre $`𝔽_{1^n}\underset{𝔽_1}{}`$ est alors de rang $`n`$ sur $``$. Cela conduit à poser

$$𝔽_{1^n}\underset{𝔽_1}{}=[T]/(T^n1).$$
(4)
Cet anneau $`R_n`$ est donc une des réponses à la Question 2, et d’après la Proposition 1, si $`X`$ est une variété sur $`𝔽_1`$, il existe une inclusion naturelle

$$X(𝔽_{1^n})(X\underset{𝔽_1}{})(R_n).$$

Plus généralement, nous admettrons que l’extension des scalaires de $`𝔽_1`$ à $``$ induit une équivalence de catégorie entre une catégorie de $`𝔽_1`$-algèbres et la catégorie $``$ des anneaux finis et plats sur $``$, c’est-à-dire celle des anneaux $`R`$ dont le groupe associé est un $``$-module libre de type fini. Une variété $`X`$ sur $`𝔽_1`$ doit donc définir un foncteur covariant $`\underset{¯}{X}`$ de la catégorie $``$ dans celle des ensembles, contenu dans le foncteur qui à $`R`$ associe l’ensemble $`(X\underset{𝔽_1}{})(R)`$.

Pour définir les variétés sur $`𝔽_1`$ nous procéderons en deux temps. La catégorie $`𝒜`$ des variétés affines sur $`𝔽_1`$ sera définie par une propriété universelle inspirée de la Proposition 1 pour des foncteurs de $``$ vers $`ns`$. Celle des variétés sur $`𝔽_1`$ sera alors obtenue en considérant une propriété universelle pour des foncteurs de $`𝒜`$ vers $`ns`$.

## 3 Définitions

Rappelons que $``$ est la catégorie des anneaux finis et plats sur $``$ et $`ns`$ celle des ensembles.

### 3.1 Définition 1.

Un truc sur $`𝔽_1`$ est le couple $`X=(\underset{¯}{X},a_X)`$ d’un foncteur covariant

$$\underset{¯}{X}:ns$$

et d’une $``$-algèbre $`a_X`$. Pour tout morphisme d’anneaux unitaires $`\sigma :R`$, $`R\mathrm{Ob}()`$, et pour tout élément $`x\underset{¯}{X}(R)`$ on suppose de plus donné un morphisme d’algèbre (dit “d’évaluation”)

$$e_{x,\sigma }:a_X.$$

Si $`f:R^{}R`$ est un morphisme de $``$ et si $`y\underset{¯}{X}(R^{})`$, l’égalité suivante doit être satisfaite :

$$e_{f(y),\sigma }=e_{y,\sigma f}$$
(5)
Pour tout morphisme $`\sigma :R`$.

Variantes. i) On pourrait remplacer $``$ par la sous-catégorie pleine engendrée par les anneaux $`R_n`$, $`n1`$, et leurs produits tensoriels.

ii) L’idée d’ajouter à $`\underset{¯}{X}`$ une “donnée topologique à l’infini” est due à J.-B. Bost. Il n’y a pas lieu de supposer que $`a_X`$ est commutative. Un objectif est de faire le lien avec la théorie d’A. Connes (voir par exemple ), un truc $`X`$ sur $`𝔽_1`$ disposant d’une extension au point à l’infini de $`\mathrm{Spec}()`$, essentiellement donnée par l’algèbre $`a_X`$. Par ignorance, nous resterons très évasifs sur les propriétés requises sur cette $``$-algèbre.

### 3.2 Définition 2.

i) Un truc $`X=(\underset{¯}{X},a_X)`$ sur $`𝔽_1`$ est fini quand tous les ensembles $`\underset{¯}{X}(R)`$, $`R\mathrm{Ob}()`$, sont finis.

ii) Un morphisme $`\phi :XY`$ entre deux trucs sur $`𝔽_1`$ est la donnée d’une transformation naturelle

$$\underset{¯}{\phi }:\underset{¯}{X}\underset{¯}{Y}$$

et d’un morphisme d’algèbres

$$\phi ^{}:a_Ya_X$$

tels que, si $`R\mathrm{Ob}()`$, si $`\sigma :R`$ est un morphisme d’anneaux unitaires, et si $`x\underset{¯}{X}(R)`$, on a

$$e_{\sigma ,\underset{¯}{\phi }(x)}(\alpha )=e_{\sigma ,x}(\phi ^{}(\alpha ))$$
(6)
pour toute fonction $`\alpha a_Y`$.

iii) Un morphisme

$$\phi =(\underset{¯}{\phi },\phi ^{}):XY$$

est une immersion si $`\phi ^{}`$ est injectif et si l’application

$$\underset{¯}{\phi }:\underset{¯}{X}(R)\underset{¯}{Y}(R)$$

est injective quel que soit l’anneau $`R\mathrm{Ob}()`$.

Si $`\phi =(\underset{¯}{\phi },\phi ^{}):XY`$ et $`\psi =(\underset{¯}{\psi },\psi ^{}):YZ`$ sont deux morphismes, leur composé est le couple

$$\psi \phi =(\underset{¯}{\psi }\underset{¯}{\phi },\phi ^{}\psi ^{}):XZ.$$

On note $`𝒯`$ la catégorie des trucs sur $`𝔽_1`$.

### 3.3

Soit $`𝒱_{}`$ la catégorie des variétés sur $``$, c’est-à-dire les schémas de type fini sur $`\mathrm{Spec}()`$. Si $`V`$ et $`W`$ sont deux objets de $`𝒱_{}`$, on désigne par $`\mathrm{Hom}_{}(V,W)`$ l’ensemble des morphismes algébriques de $`V`$ vers $`W`$.

Si $`V`$ est un objet de $`𝒱_{}`$, on lui associe un truc $`V=(\underset{¯}{V},𝒪(V_{}))`$ sur $`𝔽_1`$ de la façon suivante. Si $`R\mathrm{Ob}()`$ on pose

$$\underset{¯}{V}(R)=\mathrm{Hom}_{}(\mathrm{Spec}(R),V)$$

et si $`f:R^{}R`$ est une flèche de $``$, l’application

$$\underset{¯}{V}(f):\underset{¯}{V}(R^{})\underset{¯}{V}(R)$$

est la composition avec $`f`$. La $``$-algèbre $`𝒪(V_{})`$ est celle des fonctions globales (i.e. les sections du faisceau canonique) sur la variété $`V_{}=V\underset{}{}`$. Si $`\sigma :R`$ est un morphisme d’anneaux unitaires et si $`x\underset{¯}{V}(R)`$, l’image de $`x`$ par $`\sigma `$ est un point complexe $`\sigma (x)`$ de $`V_{}`$. On note

$$e_{x,\sigma }:𝒪(V_{})$$

l’évaluation au point $`\sigma (x)`$ des fonctions sur $`V_{}`$. La formule (5) est évidemment vérifiée. Tout morphisme algébrique $`f:VW`$ induit un morphisme dans $`𝒯`$, également noté $`f`$.

### 3.4 Définition 3.

Une variété affine sur $`𝔽_1`$ est un truc fini $`X`$ sur $`𝔽_1`$ tel qu’il existe une variété algébrique affine $`X_{}`$ sur $``$ et une immersion $`i:XX_{}`$ dans $`𝒯`$ vérifiant la propriété suivante.

Quels que soient la variété affine $`V\mathrm{Ob}(𝒱_{})`$ et le morphisme de $`𝒯`$

$$\phi :XV,$$

il existe un unique morphisme algébrique

$$\phi _{}:X_{}V$$

tel que $`\phi =\phi _{}i`$.

On voit que la variété $`X_{}`$ dans $`𝒱_{}`$ est uniquement déterminée par $`X`$. On la note aussi $`X\underset{𝔽_1}{}`$. Par ailleurs, si $`X`$ et $`Y`$ sont deux variétés affines sur $`𝔽_1`$ et si $`f:XY`$ est un morphisme de $`𝒯`$, il existe un unique morphisme $`f_{}\mathrm{Hom}_{}(X_{},Y_{})`$ qui rend commutatif le diagramme

$$\begin{array}{ccc}X_{}& \stackrel{f_{}}{}& Y_{}\\ & & & & \\ X& \stackrel{f}{}& Y\end{array}$$

On notera $`𝒜`$ la sous-catégorie pleine de $`𝒯`$ dont les objets sont les variétés affines.

### 3.5 Définition 4.

i) Un objet sur $`𝔽_1`$ est la donnée $`X=(\underset{¯}{\underset{¯}{X}},a_X)`$ d’un foncteur contravariant

$$\underset{¯}{\underset{¯}{X}}:𝒜ns$$

et d’une $``$-algèbre $`a_X`$ ainsi que d’un morphisme d’algèbres

$$e_x:a_Xa_A$$

pour objet $`A`$ de $`𝒜`$ et tout élément $`x`$ de $`\underset{¯}{\underset{¯}{X}}(A)`$. Si $`f:AB`$ est un morphisme de $`𝒜`$ et $`x\underset{¯}{\underset{¯}{X}}(B)`$, on suppose de plus que l’égalité

$$e_{f^{}(x)}=f^{}e_x$$
(7)
est vérifiée, avec $`f^{}(x)=\underset{¯}{\underset{¯}{X}}(f)(x)\underset{¯}{\underset{¯}{X}}(A)`$.

ii) Un objet $`X`$ sur $`𝔽_1`$ est fini si $`\underset{¯}{\underset{¯}{X}}(\mathrm{Spec}R)`$ est fini quel que soit $`R\mathrm{Ob}()`$ (d’après la Proposition 2 ii) ci-dessous, la catégorie $`^{\mathrm{opp}}`$ est contenue dans $`𝒜`$).

iii) Un morphisme $`\phi :XY`$ entre objets sur $`𝔽_1`$ est la donnée d’une transformation naturelle

$$\underset{¯}{\underset{¯}{\phi }}:\underset{¯}{\underset{¯}{X}}\underset{¯}{\underset{¯}{Y}}$$

et d’un morphisme d’algèbres $`\phi ^{}:a_Ya_X`$ tels que, si $`A\mathrm{Ob}(𝒜)`$ et $`x\underset{¯}{\underset{¯}{X}}(A)`$, on ait

$$e_{\underset{¯}{\underset{¯}{\phi }}(x)}=e_x\phi ^{}.$$
(8)
iv) On dit que le morphisme $`\phi `$ est une immersion si $`\underset{¯}{\underset{¯}{\phi }}`$ et $`\phi ^{}`$ sont injectifs.

Le composé de deux morphismes est défini de la façon évidente, et l’on note $`𝒪`$ la catégorie des objets sur $`𝔽_1`$.

### 3.6

Si $`V\mathrm{Ob}(𝒱_{})`$, on lui associe comme suit un objet $`V=(\underset{¯}{\underset{¯}{V}},𝒪(V_{}))`$ sur $`𝔽_1`$.

Si $`A\mathrm{Ob}(𝒜)`$ on pose

$$\underset{¯}{\underset{¯}{V}}(A)=\mathrm{Hom}_{}(A_{},V)$$

et si $`f:AB`$ est une flèche de $`𝒜`$ on désigne par $`\underset{¯}{\underset{¯}{V}}(f)`$ la composition avec $`f_{}`$. Si $`x\underset{¯}{\underset{¯}{V}}(A)`$, l’évaluation $`e_x`$ est le morphisme composé

$$\begin{array}{ccccc}𝒪(V_{})& \stackrel{x^{}}{}& 𝒪(A_{})& \stackrel{i^{}}{}& a_A,\end{array}$$

$`i:AA_{}`$ est l’inclusion associée à $`A`$.

En associant à $`f\mathrm{Hom}_{}(V,W)`$ le morphisme de composition avec $`f`$ et celui d’image inverse $`f^{}:𝒪(W_{})𝒪(V_{})`$, on obtient ainsi un foncteur

$$𝒱_{}𝒪.$$

### 3.7 Définition 5

Une variété sur $`𝔽_1`$ est la donnée d’un objet $`X`$ sur $`𝔽_1`$ tel qu’il existe une variété algébrique $`X_{}`$ sur $``$ et une immersion $`i:XX_{}`$ de $`𝒪`$ ayant la propriété suivante. Pour toute variété $`V\mathrm{Ob}(𝒱_{})`$ et tout morphisme

$$\phi :XV$$

dans $`𝒪`$, il existe un unique morphisme algébrique

$$\phi _{}:X_{}V$$

tel que $`\phi =\phi _{}i`$.

La variété $`X_{}\mathrm{Ob}(𝒱_{})`$ est uniquement déterminée (à isomorphisme unique près) par la variété $`X`$ sur $`𝔽_1`$. On la note aussi $`X\underset{𝔽_1}{}`$ et on l’appelle extension des scalaires de $`X`$ de $`𝔽_1`$ à $``$. Si $`X`$ et $`Y`$ sont deux variétés sur $`𝔽_1`$ et $`f:XY`$ est un morphisme de $`𝒪`$, il existe un unique morphisme algébrique $`f_{}\mathrm{Hom}_{}(X_{},Y_{})`$ qui induit $`f`$ sur $`X`$ (cf. 3.4). Autrement dit, si $`𝒱`$ est la sous-catégorie pleine de $`𝒪`$ dont les objets sont les variétés sur $`𝔽_1`$, l’extension des scalaires de $`𝔽_1`$ à $``$ est un foncteur fidèle de $`𝒱`$ vers $`𝒱_{}`$.

### 3.8 Variantes

#### 3.8.1

Pour éviter le choix trop trivial $`a_X=𝒪(X_{})`$ (où $`X_{}=X_{}\underset{}{})`$ dans la définition d’une variété $`X`$ sur $`𝔽_1`$ (cf. Proposition 4 ci-dessous) on pourrait par exemple imposer (dans les définitions 3 et 5) que l’algèbre $`a_X`$ est une algèbre de Banach commutative. Ce sera le cas pour les exemples discutés dans la section 5 (, 18.11).

#### 3.8.2

Comme l’a suggéré R. Pink, pour tout entier $`n1`$, on peut aussi définir les variétés sur $`𝔽_{1^n}`$ en remplaçant dans les définitions précédentes la catégorie $``$ (resp. $`𝒱_{}`$) par la sous-catégorie des $`R_n`$-algèbres finies et plates (resp. par la catégorie des schémas de type fini sur $`\mathrm{Spec}(R_n)`$).

## 4 Quelques propriétés

### 4.1

La catégorie opposée à $``$ est contenue dans $`𝒜`$.

Proposition 2. i) Si $`R\mathrm{Ob}()`$ et $`X\mathrm{Ob}(𝒯)`$, l’ensemble $`\underset{¯}{X}(R)`$ est canoniquement isomorphe à $`\mathrm{Hom}_𝒯(\mathrm{Spec}(R),X)`$.

ii) Si $`R\mathrm{Ob}()`$, le truc sur $`𝔽_1`$ associé à $`\mathrm{Spec}(R)`$ est une variété affine sur $`𝔽_1`$ dont l’extension à $``$ coïncide avec $`\mathrm{Spec}(R)`$. On obtient ainsi un foncteur contravariant pleinement fidèle de $``$ dans $`𝒜`$.

Preuve. i) Soient $`R\mathrm{Ob}()`$ un anneau fini et plat sur $``$ et $`\mathrm{Spec}(R)`$ le schéma associé. Si $`X\mathrm{Ob}(𝒯)`$ et si

$$\phi :\mathrm{Spec}(R)X$$

est un morphisme de $`𝒯`$, l’image par $`\underset{¯}{\phi }`$ de l’application identique

$$\mathrm{id}_R\mathrm{Hom}_{}(\mathrm{Spec}(R),\mathrm{Spec}(R))$$

est un élément $`\underset{¯}{\phi }(\mathrm{id}_R)\underset{¯}{X}(R)`$.

Inversement, étant donné $`x\underset{¯}{X}(R)`$, pour tout morphisme de $``$

$$f\mathrm{Hom}_{}(R,R^{})=\mathrm{Hom}_{}(\mathrm{Spec}(R^{}),\mathrm{Spec}(R)),$$

l’image de $`x`$ par l’application

$$\underset{¯}{X}(f):\underset{¯}{X}(R)\underset{¯}{X}(R^{})$$

définit un élément $`f(x)\underset{¯}{X}(R^{})`$ et l’on obtient ainsi une transformation naturelle

$$\underset{¯}{x}:\underset{¯}{\mathrm{Spec}}(R)\underset{¯}{X}.$$

Par ailleurs, si $`\mathrm{\Sigma }`$ est l’ensemble (fini) des morphismes unitaires $`\sigma :R`$, on dispose d’isomorphismes canoniques

$$𝒪(\mathrm{Spec}(R)_{})=R\underset{}{}=^\mathrm{\Sigma }.$$

La collection des morphismes d’évaluation en $`x`$

$$e_{x,\sigma }:a_X,\sigma \mathrm{\Sigma },$$

définit donc un morphisme d’algèbres

$$x^{}:a_XR\underset{}{}$$

qui vérifie la condition (6) avec $`\underset{¯}{x}`$. On obtient ainsi un morphisme $`(\underset{¯}{x},x^{})`$ de $`\mathrm{Spec}(R)`$ vers $`X`$ dans $`𝒯`$.

On vérifie que les applications $`\phi \underset{¯}{\phi }(\mathrm{id}_R)`$ et $`x(\underset{¯}{x},x^{})`$ sont des bijections inverses entre $`\mathrm{Hom}_𝒯(\mathrm{Spec}(R),X)`$ et $`\underset{¯}{X}(R)`$.

Par exemple on a la formule

$$X(𝔽_{1^n})=\underset{¯}{X}(R_n),$$
(9)
où le terme de gauche désigne les morphismes dans $`𝒯`$ de $`\mathrm{Spec}(𝔽_{1^n})`$ vers $`X`$.

ii) Si $`R`$ et $`R^{}`$ sont des anneaux de $``$, l’ensemble $`\underset{¯}{\mathrm{Spec}(R)}(R^{})`$ des morphismes d’anneaux de $`R`$ vers $`R^{}`$ est fini. Par ailleurs, si $`V`$ est un objet de $`𝒱_{}`$ et $`R`$ un objet de $``$ on sait, d’après i), que

$$\underset{¯}{V}(R)=\mathrm{Hom}_𝒯(\mathrm{Spec}(R),V).$$

Comme $`\underset{¯}{V}(R)=\mathrm{Hom}_{}(\mathrm{Spec}(R),V)`$ par définition de $`V`$, on voit que tout morphisme de $`\mathrm{Spec}(R)`$ vers $`V`$ dans $`𝒯`$ est algébrique. Cela montre que $`\mathrm{Spec}(R)`$ est une variété affine sur $`𝔽_1`$ dont l’extension à $``$ est $`\mathrm{Spec}(R)`$.

En choisissant $`V=\mathrm{Spec}(R^{})`$, $`R^{}\mathrm{Ob}()`$, dans l’argument précédent on voit aussi que tout morphisme

$$\mathrm{Spec}(R)\mathrm{Spec}(R^{})$$

dans $`𝒯`$ provient d’un unique morphisme $`R^{}R`$ dans $``$. Par conséquent le foncteur $`R\mathrm{Spec}(R)`$ de $``$ dans $`𝒜`$ est pleinement fidèle.

### 4.2

On définit un foncteur

$$\epsilon :𝒯𝒪$$

en associant à un truc $`X=(\underset{¯}{X},a_X)`$ le couple $`(\underset{¯}{\underset{¯}{X}},a_X)`$$`\underset{¯}{\underset{¯}{X}}`$ est le foncteur sur $`𝒜`$ représenté par $`X`$:

$$\underset{¯}{\underset{¯}{X}}(A)=\mathrm{Hom}_𝒯(A,X).$$

Si $`u\underset{¯}{\underset{¯}{X}}(A)`$ l’évaluation en $`u`$ est l’image inverse $`u^{}`$:

$$e_u=u^{}:a_Xa_A.$$

Ce foncteur $`\epsilon `$ va nous permettre de considérer les variétés affines sur $`𝔽_1`$ comme des variétés sur $`𝔽_1`$ :

Proposition 3. i) Le foncteur $`\epsilon :𝒯𝒪`$ est pleinement fidèle.

ii) L’image essentielle de $`𝒜`$ par $`\epsilon `$ est la catégorie des variétés sur $`𝔽_1`$ dont l’extension des scalaires à $``$ est affine.

Preuve. i) Considérons le foncteur

$$\rho :𝒪𝒯$$

qui à l’objet $`(\underset{¯}{\underset{¯}{X}},a_X)`$ sur $`𝔽_1`$ associe le truc $`(\underset{¯}{X},a_X)`$, où $`\underset{¯}{X}`$ est la restriction à $``$ du foncteur $`\underset{¯}{\underset{¯}{X}}`$ (cf. Proposition 2 ii)).

Si $`X`$ est dans $`𝒯`$, le truc $`\rho \epsilon (X)`$ vérifie

$$\underset{¯}{\rho \epsilon (X)}(R)=\mathrm{Hom}_𝒯(\mathrm{Spec}(R),X)=\underset{¯}{X}(R)$$

(Proposition 2 i)). Par conséquent

$$\rho \epsilon =\mathrm{id}_𝒯.$$
(10)
De plus $`\rho `$ est l’adjoint à gauche de $`\epsilon `$: si $`Y`$ est un truc sur $`𝔽_1`$ et $`X`$ un objet sur $`𝔽_1`$ il existe un isomorphisme canonique et naturel

$$\mathrm{Hom}_𝒯(\rho (X),Y)=\mathrm{Hom}_𝒪(X,\epsilon (Y)).$$
(11)
En effet, si

$$\psi :X\epsilon (Y)$$

est un morphisme de $`𝒪`$, le morphisme

$$\rho (\psi ):\rho (X)\rho \epsilon (Y)=Y$$

est un morphisme de $`𝒯`$.

Inversement, étant donné un morphisme

$$\phi :\rho (X)Y$$

de $`𝒯`$, pour tout objet $`A`$ de $`𝒜`$ et tout $`x\underset{¯}{\underset{¯}{X}}(A)`$, si $`R\mathrm{Ob}()`$ et

$$f\underset{¯}{A}(R)=\mathrm{Hom}_𝒯(\mathrm{Spec}(R),A)$$

(Prop. 2 i)), puisque $`\underset{¯}{\underset{¯}{X}}`$ est un foncteur contravariant, on obtient un élément $`\underset{¯}{\underset{¯}{X}}(f)(x)\underset{¯}{\underset{¯}{X}}(R)=\underset{¯}{\rho (X)}(R)`$, et donc un élément

$$\underset{¯}{\phi }(\underset{¯}{\underset{¯}{X}}(f)(x))\underset{¯}{Y}(R).$$

L’application $`f\underset{¯}{\phi }(\underset{¯}{\underset{¯}{X}}(f)(x))`$ définit une transformation naturelle de $`\underset{¯}{A}`$ vers $`\underset{¯}{Y}`$ qui, jointe au morphisme d’algèbres

$$x^{}\phi ^{}:a_Ya_A,$$

définit un élément de

$$\mathrm{Hom}_𝒯(A,Y)=\underset{¯}{\underset{¯}{\epsilon (Y)}}(A)$$

qui dépend fonctoriellement de $`x\underset{¯}{\underset{¯}{X}}(A)`$. D’où une transformation naturelle

$$\underset{¯}{\underset{¯}{X}}\underset{¯}{\underset{¯}{\epsilon (Y)}}$$

qui, jointe au morphisme d’algèbres

$$\phi ^{}:a_Ya_X,$$

fournit un morphisme $`\alpha (\phi )`$ de $`X`$ vers $`\epsilon (Y)`$. On vérifie que les applications $`\phi \alpha (\phi )`$ et $`\psi \rho (\psi )`$ sont des bijections inverses naturelles entre $`\mathrm{Hom}_𝒯(\rho (X),Y)`$ et $`\mathrm{Hom}_𝒪(X,\epsilon (Y))`$. Cela démontre (11).

Il résulte de (10) et (11) que $`\epsilon :𝒯𝒪`$ est pleinement fidèle.

ii) Considérons une variété affine $`X`$ sur $`𝔽_1`$, $`V\mathrm{Ob}(𝒱_{})`$ et

$$\phi :\epsilon (X)V$$

un morphisme de $`𝒪`$. L’image par $`\underset{¯}{\underset{¯}{\phi }}`$ du morphisme identique

$$\mathrm{id}_X\mathrm{Hom}_𝒯(X,X)=\underset{¯}{\underset{¯}{\epsilon (X)}}(X)$$

est un morphisme algébrique $`\phi _{}\mathrm{Hom}_{}(X_{},V)`$. Si $`A`$ est une variété affine sur $`𝔽_1`$ et

$$f\mathrm{Hom}_𝒯(A,X)=\underset{¯}{\underset{¯}{X}}(A),$$

on sait que $`f`$ est par un morphisme algébrique $`f_{}\mathrm{Hom}_{}(A_{},X_{})`$ (Définition 3) et donc

$$\underset{¯}{\underset{¯}{\phi }}(f)=\underset{¯}{\underset{¯}{\phi }}(f^{}(\mathrm{id}_X))=f_{}^{}(\underset{¯}{\underset{¯}{\phi }}(\mathrm{id}_X))=f_{}^{}(\phi _{})=\phi _{}f_{}$$

dans $`\mathrm{Hom}_{}(A_{},V)`$. Il en résulte que $`\phi `$ est le morphisme induit par $`\phi _{}`$ sur $`\epsilon (X)`$, et donc $`\epsilon (X)`$ est une variété sur $`𝔽_1`$ dont $`X_{}`$ est l’extension des scalaires à $``$.

Inversement, supposons que $`X`$ soit une variété sur $`𝔽_1`$ telle que $`X_{}`$ soit affine. Soient $`V\mathrm{Ob}(𝒱_{})`$ une variété algébrique affine et

$$\phi :\rho (X)V$$

un morphisme de $`𝒯`$. Puisque $`V`$ est affine on a

$$\epsilon (\underset{¯}{V},𝒪(V_{}))=(\underset{¯}{\underset{¯}{V}},𝒪(V_{})).$$

Donc $`\phi `$ induit un morphisme

$$\epsilon (\phi ):\epsilon \rho (X)V$$

dans $`𝒪`$. L’isomorphisme d’adjonction

$$\mathrm{Hom}_𝒯(\rho (X),\rho (X))=\mathrm{Hom}_𝒪(X,\epsilon \rho (X))$$

associe à l’identité de $`\rho (X)`$ un morphisme canonique

$$X\epsilon \rho (X).$$

Puisque $`X`$ est une variété sur $`𝔽_1`$, le composé du morphisme précédent avec $`\epsilon (\phi )`$ dans $`𝒪`$ est induit par un morphisme algébrique

$$\phi _{}:X_{}V.$$

En appliquant le foncteur $`\rho `$, on voit que $`\phi _{}i`$ coïncide avec le morphisme

$$\phi :\rho (X)V$$

dans $`𝒯`$. Par conséquent $`\rho (X)`$ est une variété affine dont $`X_{}`$ est l’extension des scalaires à $``$. Cela démontre ii).

### 4.3

En général une variété sur $``$ peut être l’extension des scalaires à $``$ de plusieurs variétés sur $`𝔽_1`$.

Proposition 4. Soit $`X`$ une variété sur $`𝔽_1`$. Supposons que l’immersion $`i:XX_{}`$ soit la composée dans $`𝒪`$ d’une immersion $`u:XY`$ et d’une immersion $`j:YX_{}`$.

Supposons de plus que $`X`$ est affine ou que $`\underset{¯}{\underset{¯}{u}}`$ est une équivalence. Alors $`Y`$ est une variété sur $`𝔽_1`$ telle que

$$Y\underset{𝔽_1}{}=X_{}.$$

Preuve. Soient $`V\mathrm{Ob}(𝒱_{})`$ et

$$\phi :YV$$

un morphisme de $`𝒪`$. Puisque $`X`$ est une variété sur $`𝔽_1`$, la restriction de $`\phi `$ à $`X`$ est induite par un morphisme algébrique $`\phi _{}\mathrm{Hom}_{}(X_{},V)`$: $`\phi _{}i=\phi u`$. Il s’agit de vérifier que $`\phi _{}j=\phi `$.

Or le composé des morphismes d’algèbres

$$\begin{array}{ccccc}𝒪(V_{})& \stackrel{\phi _{}^{}}{}& 𝒪(X_{})& \stackrel{i^{}}{}& a_X\end{array}$$

coïncide avec

$$\begin{array}{ccccc}𝒪(V_{})& \stackrel{\phi ^{}}{}& a_Y& \stackrel{u^{}}{}& a_X.\end{array}$$

Comme $`i^{}=u^{}j^{}`$ et comme $`u^{}`$ est injectif, on en déduit que

$$\phi ^{}=j^{}\phi _{}^{}.$$
(12)
Si le foncteur $`\underset{¯}{\underset{¯}{u}}:\underset{¯}{\underset{¯}{X}}\underset{¯}{\underset{¯}{Y}}`$ est une équivalence on a $`\underset{¯}{\underset{¯}{\phi }}_{}\underset{¯}{\underset{¯}{j}}=\underset{¯}{\underset{¯}{\phi }}`$ donc (12) suffit à montrer que $`\phi _{}j=\phi `$.

Dans le cas où $`X`$ est affine, on peut supposer que $`V`$ est affine (Proposition 3 ii)). Si $`R\mathrm{Ob}()`$, si $`x\underset{¯}{\underset{¯}{Y}}(R)`$, si $`\alpha 𝒪(V_{})`$ et si $`\sigma :R`$ est un morphisme d’anneaux unitaires, on a, d’après (8) et (12)

$$e_{\sigma ,\underset{¯}{\underset{¯}{\phi }}(x)}(\alpha )=e_{\sigma ,x}(\phi ^{}(\alpha ))=e_{\sigma ,x}(j^{}\phi _{}^{}(\alpha ))=e_{\sigma ,\underset{¯}{\underset{¯}{\phi }}_{}\underset{¯}{\underset{¯}{j}}(x)}(\alpha ).$$
(13)
Comme $`R`$ est plat sur $``$, le morphisme canonique

$$RR\underset{}{}=R^\mathrm{\Sigma }$$

est injectif. Et comme $`V`$ est affine les fonctions de $`𝒪(V_{})`$ séparent les points de $`V()`$. Par conséquent les égalités (13) avec $`\sigma \mathrm{\Sigma }`$ et $`\alpha 𝒪(V_{})`$ montrent que

$$\underset{¯}{\underset{¯}{\phi }}(x)=\underset{¯}{\underset{¯}{\phi }}_{}\underset{¯}{\underset{¯}{j}}(x).$$

Par conséquent $`\phi =\phi _{}j`$. q.e.d.

### 4.4

L’énoncé suivant permet de définir des variétés sur $`𝔽_1`$ par recollement.

Proposition 5. Soient $`V\mathrm{Ob}(𝒱_{})`$ et $`V=\underset{iI}{}U_i`$ un recouvrement ouvert fini de $`V`$. On suppose données des variétés $`X_i`$, $`iI`$, et $`X_{ij}`$, $`ij`$, sur $`𝔽_1`$ et des immersions

$$X_{ij}X_i\text{et}X_iV$$

dans $`𝒪`$ dont les extensions à $``$ sont les inclusions

$$U_iU_jU_i\text{et}U_iV.$$

On suppose de plus que l’immersion composée

$$X_{ij}X_iV$$

coïncide avec

$$X_{ij}X_jV$$

si $`ij`$. Pour tout objet $`A`$ de $`𝒜`$ on pose

$$\underset{¯}{\underset{¯}{X}}(A)=\underset{i}{}\underset{¯}{\underset{¯}{X}_i}(A)$$

(réunion dans $`\underset{¯}{\underset{¯}{V}}(A)`$) et l’on note $`a_X`$ la sous-algèbre du produit des $`a_{X_i}`$, $`iI`$, formée des familles $`(\alpha _i)_{iI}`$ telles que, si $`ij`$, les images de $`\alpha _i`$ et $`\alpha _j`$ dans $`a_{X_{ij}}`$ coïncident.

Alors l’objet $`X=(\underset{¯}{\underset{¯}{X}},a_X)`$ sur $`𝔽_1`$ (avec les morphismes d’évaluation évidents) est une variété sur $`𝔽_1`$ telle que

$$X\underset{𝔽_1}{}=V.$$

Preuve. Les composées des morphismes d’algèbres

$$𝒪(V_{})a_{X_i}a_{X_{ij}}$$

et

$$𝒪(V_{})a_{X_j}a_{X_{ij}}$$

coïncident. Il existe donc une immersion

$$u:XV$$

dans $`𝒪`$. Par ailleurs, si $`W\mathrm{Ob}(𝒱_{})`$ et si

$$\phi :XW$$

est un morphisme de $`𝒪`$, la restriction $`\phi _i`$ (resp. $`\phi _{ij}`$) de $`\phi `$ à $`X_i`$ (resp. $`X_{ij}`$) est induite par un unique morphisme algébrique $`\phi _i`$ (resp. $`\phi _{ij}`$) de $`U_i`$ (resp. $`U_iU_j`$) vers $`W`$. Comme la restriction de $`\phi _i`$ à $`X_{ij}`$ coïncide avec celle de $`\phi `$, la restriction de $`\phi _i`$ à $`U_iU_j`$ est égale à $`\phi _{ij}`$ (unicité). C’est donc aussi la restriction de $`\phi _j`$ à $`U_iU_j`$. Par conséquent, la collection des morphismes $`\phi _i`$, $`iI`$, définit par recollement un morphisme $`\phi _{}\mathrm{Hom}_{}(V,W)`$ dont la restriction à $`U_i`$ est égale à $`\phi _i`$, quel que soit $`iI`$. Par suite, si $`A\mathrm{Ob}(𝒜)`$, l’application

$$\underset{¯}{\underset{¯}{\phi }}_{}\underset{¯}{\underset{¯}{u}}:\underset{¯}{\underset{¯}{X}}(A)\underset{¯}{\underset{¯}{W}}(A)$$

coïncide avec $`\underset{¯}{\underset{¯}{\phi }}_i`$ sur le sous-ensemble $`\underset{¯}{\underset{¯}{X}}_i(A)`$. Comme $`\underset{¯}{\underset{¯}{X}}(A)`$ est, par définition, la réunion des $`\underset{¯}{\underset{¯}{X}}_i(A)`$, $`iI`$, on voit que

$$\underset{¯}{\underset{¯}{\phi }}=\underset{¯}{\underset{¯}{\phi }}_{}\underset{¯}{\underset{¯}{u}}.$$

Par ailleurs, le morphisme d’algèbres composé

$$\begin{array}{ccccccc}𝒪(W_{})& \stackrel{\phi _{}^{}}{}& 𝒪(V_{})& \stackrel{u^{}}{}& a_X& \stackrel{}{}& a_{X_i}\end{array}$$

coïncide avec $`\phi _i^{}`$ et $`a_X`$ est contenue dans le produit des algèbres $`a_{X_i}`$, donc

$$\phi ^{}=u^{}\phi _{}^{}.$$

Par conséquent $`\phi =\phi _{}u`$.

q.e.d.

## 5 Exemples

### 5.1

Soient $`N^d`$ un $``$-module libre de rang $`d1`$, et $`\mathrm{\Delta }`$ un éventail de $`N_{}=N\underset{}{}`$. Notons $`(\mathrm{\Delta })`$ la variété torique associée à $`\mathrm{\Delta }`$  . Supposons que $`\mathrm{\Delta }`$ est régulier et que, par conséquent, $`(\mathrm{\Delta })`$ est une variété lisse sur $``$. On se propose de montrer que $`(\mathrm{\Delta })`$ est l’extension à $``$ d’une variété $`X(\mathrm{\Delta })`$ sur $`𝔽_1`$.

Par définition, $`\mathrm{\Delta }`$ est une famille finie $`\{\tau \}`$ de cônes stricts de $`N_{}`$. A chaque cône $`\tau `$ est associée une variété torique affine

$$U_\tau =\mathrm{Spec}([𝒮_\tau ]),$$

$`𝒮_\tau `$ est le monoïde intersection de $`M=\mathrm{Hom}_{}(N,)`$ avec le dual $`\tau ^{}M_{}`$ du cône $`\tau `$. La variété $`(\mathrm{\Delta })`$ est obtenue par recollement des variétés $`U_\tau `$ le long de leurs ouverts $`U_{\tau \tau ^{}}`$.

Si $`m𝒮_\tau `$ on note

$$\chi ^m:U_\tau 𝔸^1$$

le caractère associé à $`m`$. Si $`R\mathrm{Ob}()`$, on note $`\mu (R)`$ l’ensemble (fini) des racines de l’unité de $`R`$ et

$$\underset{¯}{X}_\tau (R)U_\tau (R)$$

l’ensemble (fini) des éléments $`xU_\tau (R)`$ tels que

$$\chi ^m(x)\mu (R)\{0\}$$

quel que soit $`m𝒮_\tau `$.

Par ailleurs, suivant Batyrev et Tschinkel , on désigne par $`C_\tau `$ l’ensemble des points $`xU_\tau ()`$ tels que

$$|\chi ^m(x)|1$$

quel que soit $`m𝒮_\tau `$, et

$$C_\mathrm{\Delta }=\underset{\tau }{}C_\tau $$

dans $`(\mathrm{\Delta })()`$. Notons $`a_\tau `$ l’algèbre des fonctions complexes continues sur $`C_\tau `$ dont la restriction à l’intérieur de $`C_\tau `$ est holomorphe. On note aussi $`a_\mathrm{\Delta }`$ l’algèbre des fonctions complexes continues sur $`C_\mathrm{\Delta }`$ dont la restriction à l’intérieur de chaque $`C_\tau `$, $`\tau \mathrm{\Delta }`$, est holomorphe.

Si $`R\mathrm{Ob}()`$ et si $`\sigma R`$ est un morphisme d’anneaux unitaires, l’application

$$U_\tau (R)U_\tau ()$$

induite par $`\sigma `$ envoie $`\underset{¯}{X}_\tau (R)`$ dans $`C_\tau `$. On peut donc évaluer les fonctions de $`a_\tau `$ en chaque point $`x\underset{¯}{X}_\tau (R)`$. On obtient ainsi un truc $`X_\tau =(\underset{¯}{X}_\tau ,a_\tau )`$ sur $`𝔽_1`$. Si $`A`$ est une variété affine sur $`𝔽_1`$ on pose

$$\underset{¯}{\underset{¯}{X(\mathrm{\Delta })}}(A)=\underset{\tau }{}\mathrm{Hom}_{}(A_{},U_\tau )$$

dans $`\mathrm{Hom}_{}(A_{},(\mathrm{\Delta }))`$. Par image inverse et l’énoncé i) ci-dessous, un point $`x\underset{¯}{\underset{¯}{X(\mathrm{\Delta })}}(A)`$ définit une évaluation $`e_x:a_\mathrm{\Delta }a_A`$.

Théorème 1. i) Pour tout cône ouvert $`\tau `$ de $`\mathrm{\Delta }`$, le truc $`X_\tau `$ est une variété affine sur $`𝔽_1`$ et

$$U_\tau =X_\tau \underset{𝔽_1}{}.$$

ii) L’objet $`X(\mathrm{\Delta })=(\underset{¯}{\underset{¯}{X(\mathrm{\Delta })}},a_\mathrm{\Delta })`$ sur $`𝔽_1`$ est une variété sur $`𝔽_1`$ telle que

$$X(\mathrm{\Delta })\underset{𝔽_1}{}=(\mathrm{\Delta }).$$

Preuve. Montrons d’abord que i) implique ii). Il résulte de i) que, si $`A`$ est une variété affine sur $`𝔽_1`$ et $`\tau \mathrm{\Delta }`$,

$$\mathrm{Hom}_𝒯(A,X_\tau )=\mathrm{Hom}_{}(A_{},U_\tau ).$$
(14)
Par conséquent, la Proposition 5 permet de recoller les variétés $`X_\tau `$ le long des sous-variétés $`X_{\tau \tau ^{}}`$ pour obtenir une variété sur $`𝔽_1`$ dont l’extension des scalaires à $``$ est la variété $`(\mathrm{\Delta })`$. Si $`\tau `$ et $`\tau ^{}`$ sont deux cônes de $`\mathrm{\Delta }`$, les morphismes d’algèbres

$$a_\mathrm{\Delta }a_\tau a_{\tau \tau ^{}}$$

et

$$a_\mathrm{\Delta }a_\tau ^{}a_{\tau \tau ^{}}$$

coïncident, donc, d’après la Proposition 4, et la définition de $`\underset{¯}{\underset{¯}{X(\mathrm{\Delta })}}`$, l’objet $`X(\mathrm{\Delta })=(\underset{¯}{\underset{¯}{X(\mathrm{\Delta })}},a_\mathrm{\Delta })`$, muni des évaluations déduites de (14), est une variété sur $`𝔽_1`$ telle que $`X(\mathrm{\Delta })\underset{𝔽_1}{}=(\mathrm{\Delta })`$.

Il reste à démontrer i). Soit donc $`V`$ une variété affine sur $``$ et

$$\phi :X_\tau V$$

un morphisme de $`𝒯`$. Supposons d’abord que $`V`$ soit la droite affine $`𝔸_{}^1=\mathrm{Spec}([T])`$. On a $`𝒪(𝔸_{}^1)=[T]`$ et l’on peut décrire comme suit la fonction

$$\alpha =\phi ^{}(T)a_\tau .$$

Puisque $`\mathrm{\Delta }`$ est régulier, il existe une base $`\{m_1,\mathrm{},m_d\}`$ de $`M`$ telle que $`\{m_1,\mathrm{},`$ $`m_r\}`$ soit une famille génératrice du semi-groupe $`𝒮_\tau `$, où $`r`$ est la dimension de $`\tau `$. Soit $`\tau ^{}`$ le cône ouvert $`_+m_1+\mathrm{}+_+m_d`$. La carte affine

$$\chi :U_\tau ^{}()^d$$

donnée par

$$\chi (x)=(\chi ^{m_1}(x),\mathrm{},\chi ^{m_d}(x))$$

identifie $`C_\tau `$ (resp. son intérieur) avec l’ensemble des points $`(x_i)`$ de $`^d`$ tels que

$$|x_1|1,\mathrm{},|x_{dr}|1,|x_{dr+1}|=\mathrm{}=|x_d|=1$$

(resp.

$$|x_1|<1,\mathrm{},|x_{dr}|<1,|x_{dr+1}|=\mathrm{}=|x_d|=1).$$

Autrement dit $`C_\tau `$ (resp. son intérieur) est le produit de $`dr`$ disques fermés (resp. ouverts) et de $`r`$ cercles (cf. , Proposition 3.2.9).

La restriction de $`\alpha (x_1,\mathrm{},x_d)`$ au produit des $`d`$ cercles $`|x_j|=1`$, $`j=1,\mathrm{},d`$, admet un développement de Fourier convergent

$$\alpha (e^{i\theta _1},\mathrm{},e^{i\theta _d})=\underset{I^d}{}a_Ie^{iI\theta },$$

$`a_I`$ et $`I\theta =\underset{j=1}{\overset{d}{}}i_j\theta _j`$ si $`I=(i_1,\mathrm{},i_d)`$. Comme $`\alpha `$ est holomorphe dans $`C_\tau ^0`$, les coefficients $`a_I`$ sont nuls si l’un des indices $`i_1,\mathrm{},i_{dr}`$ est strictement négatif.

Par ailleurs, pour tout entier $`n1`$, considérons l’anneau

$$R_{d,n}=[T_1,\mathrm{},T_d]/(T_j^n=1,j=1,\mathrm{},d),$$

et le point $`x_nX_\tau (R_{d,n})`$ de coordonnées

$$\chi ^{m_j}(x_n)=T_jR_{d,n},$$

quel que soit $`j=1,\mathrm{},d`$. Son image $`\underset{¯}{\phi }(x_n)`$ dans $`𝔸_{}^1(R_{d,n})=R_{d,n}`$ est la classe d’un polynôme de Laurent

$$P_n(T_1,\mathrm{},T_d)=\underset{I^d}{}a_I(n)T_1^{i_1}\mathrm{}T_d^{i_d},$$

où les coefficients $`a_I(n)`$ sont entiers et presque tous nuls.

Tout morphisme $`\sigma :R_{d,n}`$ est obtenu en envoyant chaque $`T_j`$, $`jJ`$, sur une racine $`n`$-ième $`\zeta _j`$ de l’unité. On a donc, d’après la condition (6),

$$P_n(\zeta _1,\mathrm{},\zeta _d)=\alpha (\zeta _1,\mathrm{},\zeta _d)$$

dès que $`\zeta _1^n=\zeta _2^n=\mathrm{}=\zeta _d^n=1`$. Pour tout multi-indice $`I^d`$ le coefficient de Fourier $`a_I`$ se calcule par la formule

$$a_I=(2\pi )^d_{(S^1)^d}\alpha (e^{i\theta _1},\mathrm{},e^{i\theta _d})e^{iI\theta }𝑑\theta _1\mathrm{}𝑑\theta _d.$$

C’est donc la limite quand $`n`$ tend vers l’infini de

$$a_I(n)=n^d\underset{\zeta _1^n=\mathrm{}=\zeta _d^n=1}{}P_n(\zeta _1,\mathrm{},\zeta _n)\underset{j=1}{\overset{d}{}}\zeta _j^{i_j}.$$

Puisque $`a_I(n)`$ est un entier quel que soit $`n1`$, $`a_I`$ doit être un entier, nul pour presque tout $`I`$ (puisque la série de Fourier définissant $`\alpha `$ converge). Il en résulte que la fonction $`\alpha =\phi ^{}(T)`$ est un polynôme

$$P(T_1,\mathrm{},T_d)[T_1,\mathrm{},T_{dr},T_{dr+1}^{\pm 1},\mathrm{},T_d^{\pm 1}],$$

c’est-à-dire un élément de $`[𝒮_\tau ]`$. Elle définit donc un morphisme

$$\phi _{}:U_\tau 𝔸_{}^1$$

tel que $`\phi ^{}:𝒪(𝔸_{}^1)a_\tau `$ soit le composé de $`\phi _{}^{}`$ et de la restriction à $`C_\tau `$. Si $`R\mathrm{Ob}()`$ et si $`\sigma :R`$ est un morphisme d’anneaux unitaires, il résulte alors de (8) que le morphisme composé

$$\begin{array}{ccccc}\underset{¯}{X_\tau }(R)& \stackrel{\underset{¯}{\phi }}{}& \underset{¯}{𝔸}_{}^1(R)=R& \stackrel{\sigma }{}& \end{array}$$

coïncide avec

$$\begin{array}{ccccccc}\underset{¯}{X_\tau }(R)& \stackrel{}{}& U_\tau (R)& \stackrel{\phi _{}}{}& R& \stackrel{\sigma }{}& .\end{array}$$

Comme le produit des morphismes $`\sigma `$ est injectif on voit que $`\phi `$ est la restriction de $`\phi _{}`$ à $`X_\tau `$.

Soit maintenant

$$\phi :X_\tau V$$

un morphisme de $`𝒯`$$`V𝔸_{}^n`$ est une variété affine arbitraire. Soit $`W`$ la réunion des composantes horizontales de $`V`$, c’est à dire le spectre de l’anneau des fonctions de $`V`$ modulo torsion, et $`WV`$ l’inclusion canonique. Pour tout $`R\mathrm{Ob}()`$, l’application $`W(R)V(R)`$ est bijective. On peut donc supposer que $`V=W`$, c’est à dire que la variété $`V`$ est plate sur $``$. Chacune des coordonnées

$$\pi _j:V𝔸_{}^1,$$

$`j=1,\mathrm{},n`$, définit un morphisme $`\pi _j\phi `$ de $`X_\tau `$ vers $`𝔸_{}^1`$ dans $`𝒯`$, dont on vient de voir qu’il est induit par un morphisme $`\psi _j\mathrm{Hom}_{}(U_\tau ,𝔸_{}^1)`$. Notons

$$\psi _{}:U_\tau 𝔸^n$$

le produit des morphismes $`\psi _j`$, $`j=1,\mathrm{},n`$. La restriction de $`\psi _{}`$ à $`X_\tau `$ coïncide avec le morphisme composé

$$X_\tau \stackrel{\phi }{}V𝔸^n.$$

Par ailleurs l’image de $`\psi _{}`$ est contenue dans $`V`$, car $`C_\tau `$ est Zariski dense dans $`U_\tau ()`$ et donc

$$\psi _{}(U_\tau ())\overline{\psi _\tau (C_\tau )}V().$$

La deuxième inclusion ci-dessus est due au fait que si $`\alpha 𝒪(𝔸_{}^d)`$, la restriction de $`\alpha \psi _{}`$ à $`C_\tau `$ est égale à $`\phi ^{}(\alpha |V())`$; elle est donc nulle si $`\alpha `$ s’annule sur $`V()`$. Puisque $`V`$ est plate sur $``$ on en conclut que $`\psi _{}`$ se factorise par un morphisme algébrique $`\phi _{}:U_\tau V`$, dont la restriction à $`X_\tau `$ est égale à $`\phi `$. Cela démontre le théorème.

### 5.2

En prenant pour $`\mathrm{\Delta }`$ les éventails habituels on obtient les exemples suivants de variétés $`X(\mathrm{\Delta })`$ sur $`𝔽_1`$.

#### 5.2.1

La droite affine $`𝔸^1`$ sur $`𝔽_1`$ est la variété affine sur $`𝔽_1`$ définie par

$$\underset{¯}{𝔸}^1(R)=\mu (R)\{0\},\text{si}R\mathrm{Ob}(),$$

(rappelons que $`\mu (R)`$ désigne l’ensemble des racines de l’unité de $`R`$), $`a_{𝔸^1}`$ étant l’algèbre des fonctions continues sur le disque unité $`D=\{z/|z|1\}`$ qui sont holomorphes dans l’intérieur de $`D`$, avec les évaluations évidentes. On a

$$𝔸^1\underset{𝔽_1}{}=𝔸_{}^1.$$

#### 5.2.2

Le groupe multiplicatif $`𝔾_m`$ sur $`𝔽_1`$ est la variété affine sur $`𝔽_1`$ définie par

$$\underset{¯}{𝔾}_m(R)=\mu (R)\text{si}R\mathrm{Ob}(),$$

l’algèbre $`a_{𝔾_m}`$ étant celle des fonctions continues sur le cercle unité. Son extension des scalaires

$$𝔾_m\underset{𝔽_1}{}=𝔾_{m,}$$

est le schéma en groupe multiplicatif sur $`\mathrm{Spec}()`$.

#### 5.2.3

On définit de même les produits $`𝔸^a\times 𝔾_m^b`$ sur $`𝔽_1`$, $`a,b`$.

#### 5.2.4

L’espace projectif $`^d`$ sur $`𝔽_1`$ est une variété sur $`𝔽_1`$ obtenue par recollement de $`d+1`$ espaces affines $`𝔸^d`$ sur $`𝔽_1`$. Son extension à $``$ est l’espace projectif $`_{}^d`$ de dimension $`d`$ sur $`\mathrm{Spec}()`$. Si $`R\mathrm{Ob}()`$, l’ensemble fini $`\underset{¯}{}^d(\mathrm{Spec}(R))`$ est formé des points de $`_{}^d(R)`$ dont on peut choisir un système de coordonnées homogènes dans $`(\mu (R)\{0\})^{d+1}`$. On a $`a_^d=`$ et, plus généralement, $`a_\mathrm{\Delta }=`$ quand l’éventail $`\mathrm{\Delta }`$ est complet.

### 5.3

Soit $`\mathrm{\Lambda }`$ un $``$-module libre de type fini et $``$ une norme hermitienne sur $`\mathrm{\Lambda }\underset{}{}`$. On pose $`\overline{\mathrm{\Lambda }}=(\mathrm{\Lambda },)`$.

Soit $`B=\{x\mathrm{\Lambda }\underset{}{}/x1\}`$ la boule unité et $`\mathrm{\Phi }`$ une partie de $`(B\mathrm{\Lambda })\{0\}`$ telle que si $`v(B\mathrm{\Lambda })\{0\}`$, un et un seul des vecteurs $`v`$ et $`v`$ est dans $`\mathrm{\Phi }`$. Si $`R\mathrm{Ob}()`$ on désigne par $`\underset{¯}{X}(R)`$ l’ensemble fini des éléments de $`\mathrm{\Lambda }\underset{}{}R`$ qui peuvent s’écrire

$$x=\underset{v\mathrm{\Phi }}{}v\zeta _v,$$
(15)
$`\zeta _v\mu (R)\{0\}`$. L’ensemble fini $`\underset{¯}{X}(R)`$ ne dépend pas de $`\mathrm{\Phi }`$ et définit un foncteur

$$\underset{¯}{X}:ns.$$

Par ailleurs, notons $`\mathrm{\Lambda }_0\mathrm{\Lambda }`$ le réseau engendré par $`\mathrm{\Lambda }`$ et par $`C`$ le sous-ensemble de $`\mathrm{\Lambda }_0\underset{}{}`$ formé des vecteurs de norme au plus égale à $`t=\mathrm{card}(\mathrm{\Phi })`$. Soit $`a`$ l’algèbre des fonctions complexes continues sur $`C`$ qui sont holomorphes dans l’intérieur de $`C`$. Si $`x\underset{¯}{X}(R)`$ et si $`\sigma :R`$ est un morphisme d’anneaux unitaires, il résulte de (15) que

$$\sigma (x)=\underset{v\mathrm{\Phi }}{}v\sigma (\zeta _v)t.$$

On peut donc évaluer les fonctions de $`a`$ en $`\sigma (x)`$.

Proposition 6. Le couple $`X(\overline{\mathrm{\Lambda }})=(\underset{¯}{X},a)`$, muni des évaluations précédentes, est une variété affine sur $`𝔽_1`$ dont l’extension des scalaires à $``$ est le spectre $`X_{}`$ de l’algèbre symétrique du dual de $`\mathrm{\Lambda }_0`$.

Preuve. Considérons le morphisme de groupes abéliens

$$\pi :^\mathrm{\Phi }\mathrm{\Lambda }$$

tel que

$$\pi ((n_v))=\underset{v\mathrm{\Phi }}{}n_vv\mathrm{\Lambda }.$$

Si $`𝔸^\mathrm{\Phi }`$ est l’espace affine sur $`𝔽_1`$ de rang $`t`$, $`\pi `$ induit un morphisme de trucs sur $`𝔽_1`$ de $`𝔸^\mathrm{\Phi }`$ vers $`X(\overline{\mathrm{\Lambda }})`$, qu’on note aussi $`\pi `$ (on remarquera que si $`(z_v)^\mathrm{\Phi }`$ et $`|z_v|1`$ quel que soit $`v\mathrm{\Phi }`$, le vecteur $`\underset{v\mathrm{\Phi }}{}z_vv`$ est dans $`C`$).

Si $`V\mathrm{Ob}(𝒱_{})`$ est une variété affine et si

$$\phi :X(\overline{\mathrm{\Lambda }})V$$

est un morphisme de $`𝒯`$, le morphisme composé

$$\phi \pi :𝔸^\mathrm{\Phi }V$$

est, d’après le Théorème 1, la restriction d’un morphisme

$$\psi _{}\mathrm{Hom}_{}(𝔸_{}^\mathrm{\Phi },V).$$

Le choix d’une section $`s`$ de la projection $``$-linéaire $`\pi `$ de $`^\mathrm{\Phi }`$ sur $`\mathrm{\Lambda }_0`$ induit une section algébrique

$$s_{}:X_{}𝔸_{}^\mathrm{\Phi }$$

de la projection $`\pi _{}\mathrm{Hom}_{}(𝔸_{}^\mathrm{\Phi },X_{})`$. Notons

$$\phi _{}:X_{}V$$

le morphisme composé $`\psi _{}s_{}`$. Si $`\alpha 𝒪(V_{})`$, la restriction de $`\phi _{}^{}(\alpha )`$ à $`C`$ coïncide avec

$$s^{}\pi ^{}\phi ^{}(\alpha )=\phi ^{}(\alpha ).$$

Il en résulte, comme dans la fin de la preuve du Théorème 1, que la restriction de $`\phi _{}`$ à $`X(\overline{\mathrm{\Lambda }})`$ est égale à $`\phi `$. q.e.d.

Remarque. Du point de vue de la théorie d’Arakelov, le couple $`\overline{\mathrm{\Lambda }}=(\mathrm{\Lambda },)`$ est un fibré vectoriel sur la courbe $`\mathrm{Spec}()\{\mathrm{}\}`$ et les éléments de $`B\mathrm{\Lambda }`$ sont les sections globales de ce fibré. C’est un espace vectoriel sur $`𝔽_1`$ au sens de Kapranov et Smirnov (cf.  et 1.3). On peut sans doute voir $`X(\overline{\mathrm{\Lambda }})`$ comme la variété affine sur $`𝔽_1`$ associé à cet espace vectoriel.

### 5.4

Il faudrait bien sûr trouver d’autres exemples que les précédents. Par exemple, si $`G`$ est un schéma en groupes de Chevalley sur $``$, peut-on le définir sur $`𝔽_1`$ ? Et qu’en est-il des variétés de drapeaux associées ?

Par exemple la variété de Grassmann $`G(2,4)`$ est aussi la conique $`Q`$ de $`_{}^5`$ d’équation homogène

$$xyzt+uv=0.$$
(16)
Si l’on veut que le nombre des points de $`\underset{¯}{\underset{¯}{X}}(R_n)`$, $`n1`$, vérifie le Théorème 2 iii) ci-dessous, on peut définir comme suit un objet $`X`$ sur $`𝔽_1`$ contenu dans celui associé à $`Q`$. Notons $`S_{1,}`$, $`S_{2,}`$, $`S_{3,}`$ et $`S_{4,}`$ les sous-variétés localement fermées de $`Q`$ suivantes

$$S_{1,}=Q\{x0\}𝔸_{}^4$$

(coordonnées $`z/x`$, $`t/x`$, $`u/x`$, $`v/x`$),

$$S_{2,}=Q\{x=0,z0\}𝔸_{}^3$$

(coordonnées $`y/z`$, $`u/z`$, $`v/z`$),

$$S_{3,}=Q\{x=z=0,u0\}𝔸_{}^2$$

(coordonnées $`y/u`$, $`t/u`$), et

$$S_{4,}=Q\{x=z=u=0\}_{}^2$$

(coordonnées homogènes $`(y,t,v)`$).

Notons $`S_1,S_2,S_3,S_4`$ les variétés sur $`𝔽_1`$ correspondantes (cf. 5.2), munies des immersions évidentes $`S_\alpha Q`$ dans $`𝒪`$. Si $`A𝒜`$ on pose

$$\underset{¯}{\underset{¯}{X}}(A)=\underset{¯}{\underset{¯}{S}}_1(A)\underset{¯}{\underset{¯}{S}}_2(A)\underset{¯}{\underset{¯}{S}}_3(A)\underset{¯}{\underset{¯}{S}}_4(A)$$

dans $`\underset{¯}{\underset{¯}{Q}}(A)`$ et $`a_X=`$.

Question 3. L’objet $`X=(\underset{¯}{\underset{¯}{X}},)`$ sur $`𝔽_1`$ est-il une variété sur $`𝔽_1`$ telle que $`X\underset{𝔽_1}{}=Q`$ ?

## 6 Fonctions zêta

### 6.1

Soit $`X`$ une variété sur $`𝔽_1`$. On cherche à lui associer une fonction $`\zeta _X(s)`$. Si $`n1`$, rappelons que $`R_n=[T]/(T^n1)`$ et que l’ensemble fini $`\underset{¯}{\underset{¯}{X}}(R_n)`$ est aussi celui des morphismes de $`\mathrm{Spec}(𝔽_{1^n})`$ vers $`X`$ (cf. (9) si $`X`$ est affine ; le cas général se montre de la même façon grâce à la Proposition 3). Puisque la fonction zêta d’une variété algébrique sur le corps $`𝔽_q`$, $`q>1`$, s’obtient à partir du nombre de ses points dans les corps $`𝔽_{q^n}`$, $`n1`$, il est naturel de définir $`\zeta _X(s)`$ à l’aide des nombres entiers $`\mathrm{\#}\underset{¯}{\underset{¯}{X}}(R_n)`$. On fera l’hypothèse simplificatrice suivante :

* Il existe un polynôme $`N(x)[x]`$ tel que, quel que soit l’entier $`n1`$,

$$\mathrm{\#}\underset{¯}{\underset{¯}{X}}(R_n)=N(2n+1).$$

En imitant A. Weil, introduisons alors la série formelle des variables $`q`$ et $`T`$

$$Z(q,T)=\mathrm{exp}\left(\underset{r1}{}N(q^r)T^r/r\right).$$

Pour tout nombre réel $`s`$ on considère alors la fonction $`Z(q,q^s)`$ au voisinage de $`q=1`$.

Lemme 1. i) Pour tout $`s`$ la fonction $`Z(q,q^s)^1`$ a un zéro d’ordre $`\chi =N(1)`$ en $`q=1`$. On a de plus

$$\underset{q1}{lim}Z(q,q^s)^1(q1)^\chi =\zeta _X(s),$$

$`\zeta _X(s)`$ est la valeur en $`s`$ d’un polynôme à coefficients entiers.

ii) Si $`N(x)=\underset{i=0}{\overset{d}{}}a_ix^i`$ on a

$$\zeta _X(s)=\underset{i=0}{\overset{d}{}}(si)^{a_i}.$$

Preuve. Si $`N(x)`$ est la somme de deux polynômes $`N^{}(x)`$ et $`N^{\prime \prime }(x)`$, les fonctions $`Z(q,T)`$ et $`\zeta _X(s)`$ associées à $`N`$ sont les produits de celles associées à $`N^{}`$ et $`N^{\prime \prime }`$. Par conséquent il suffit de traiter le cas où $`N(x)=x^d`$. On a alors

$$Z(q,T)=\mathrm{exp}\left(\underset{r1}{}q^{rd}T^r/r\right)=(1q^dT)^1$$

et par conséquent

$$Z(q,q^s)^1=1q^{ds}.$$

Quand $`q`$ tend vers 1 on trouve

$$Z(q,q^s)^1=(sd)(q1)+O(1),$$

ce qui démontre le lemme.

### 6.2 Théorème 2.

i) Si $`\mathrm{\Delta }`$ est un éventail régulier, la variété $`X(\mathrm{\Delta })`$ sur $`𝔽_1`$ qui lui est associée (Théorème $`1`$) vérifie la condition (Z). Le polynôme $`N(x)[x]`$ tel que

$$\mathrm{\#}X(\mathrm{\Delta })(𝔽_{1^n})=N(2n+1),n1,$$

vérifie aussi

$$\mathrm{\#}(\mathrm{\Delta })(𝔽_q)=N(q)$$

pour tout corps fini $`𝔽_q`$ d’ordre $`q>1`$. De plus $`N(1)`$ est la caractéristique d’Euler-Poincaré de $`(\mathrm{\Delta })()`$.

ii) Si $`\overline{\mathrm{\Lambda }}=(\mathrm{\Lambda },)`$ est un réseau hermitien, la variété affine $`X(\overline{\mathrm{\Lambda }})`$ sur $`𝔽_1`$ qui lui est associée (Proposition $`6`$) vérifie la condition (Z). Le polynôme $`N(x)`$ correspondant vérifie $`N(1)=1`$ et $`N(x)x^t`$ est un polynôme de degré au plus $`t1`$ (où $`t=\mathrm{card}(\mathrm{\Phi })`$, voir 5.3).

iii) Soit $`Q`$ la quadratique d’équation (16) sur $``$ et

$$N(x)=x^4+x^3+2x^2+x+1.$$

On a alors

$$N(2n+1)=\mathrm{\#}\underset{¯}{\underset{¯}{X}}(R_n)$$

$`\underset{¯}{\underset{¯}{X}}`$ est le foncteur défini en 5.4, et

$$N(q)=\mathrm{\#}Q(𝔽_q)$$

pour tout corps fini $`𝔽_q`$, $`q>1`$. De plus $`N(1)=6`$ est la caractéristique d’Euler-Poincaré de $`Q()`$.

Preuve. Pour prouver i) il suffit de traiter le cas d’une variété torique affine de la forme $`U_\tau `$. En effet, il en résultera en général que les nombres $`\mathrm{\#}X(\mathrm{\Delta })(𝔽_{1^n})`$ et $`\mathrm{\#}(\mathrm{\Delta })(𝔽_q)`$ sont données par les valeurs (en $`2n+1`$ et $`q`$) du même polynôme, car $`\underset{¯}{\underset{¯}{X(\mathrm{\Delta })}}(R_n)`$ (resp. $`(\mathrm{\Delta })(𝔽_q)`$) est la réunion des ensembles $`\underset{¯}{X}_\tau (R_n)`$ (resp. $`U_\tau (𝔽_q)`$), amalgamés le long des sous-ensembles $`\underset{¯}{X}_{\tau \tau ^{}}(R_n)`$ (resp. $`U_{\tau \tau ^{}}(𝔽_q)`$).

Soit dont $`\tau `$ un cône ouvert régulier de dimension $`r`$ et $`\{m_1,\mathrm{},m_d\}`$ une base de $`M`$ telle que $`\{m_1,\mathrm{},m_r\}`$ soit une famille génératrice de $`𝒮_\tau `$. Comme dans la preuve du Théorème 1 i), si $`\tau ^{}=_+m_1+\mathrm{}+_+m_d`$, la carte $`U_\tau ^{}𝔸_{}^d`$ donnée par la famille des $`\chi ^{m_i}`$, $`1id`$, identifie $`\underset{¯}{X}_\tau (R)`$ à l’ensemble fini $`(\mu (R)\{0\})^{dr}\times \mu (R)^r`$. Cette même carte identifie $`U_\tau (𝔽_q)`$ à l’ensemble $`𝔽_q^{dr}\times (𝔽_q^{})^r`$. Par conséquent le premier énoncé du théorème est vérifié avec

$$N(x)=x^{dr}(x1)^r.$$

Par ailleurs, $`U_\tau ()`$ a le type d’homotopie de $`(S^1)^r`$. Sa caractéristique d’Euler-Poincaré est donc nulle si $`r>0`$ est égale à 1 si $`r=0`$. On a donc bien $`N(1)=\chi (U_\tau ())`$.

Dans le cas ii) l’ensemble $`\underset{¯}{X}(R_n)`$ est celui des éléments de $`\mathrm{\Lambda }\underset{}{}R_n`$ de la forme

$$x=\underset{v\mathrm{\Phi }}{}v\zeta _v,$$

$`\zeta _v\mu (R_n)\{0\}`$ (voir (15)). L’ensemble $`\mu (R_n)`$ est formé des polynômes $`\pm T^i`$, $`i=1,\mathrm{},n`$, et la famille $`(T^i)`$, $`i=1,\mathrm{},n`$ est une base de $`R_n`$ sur $``$, donc tout élément de $`\mathrm{\Lambda }\underset{}{}R_n`$ s’écrit de façon unique sous la forme

$$x=\underset{i=1}{\overset{n}{}}x_iT^i$$

avec $`x_i\mathrm{\Lambda }`$. Ceci conduit à décrire $`\underset{¯}{X}(R_n)`$ de la façon suivante. Si $`\mathrm{\Phi }^{}\mathrm{\Phi }`$ est une partie de $`\mathrm{\Phi }`$, appelons $`V(\mathrm{\Phi }^{})`$ l’ensemble des vecteurs non nuls de $`\mathrm{\Lambda }`$ de la forme

$$\underset{v\mathrm{\Phi }^{}}{}\epsilon _vv,\text{avec}\epsilon _v\pm 1.$$

Si $`k1`$ est un entier on note $`V(k)`$ l’ensemble des collections $`\{v_1,\mathrm{},v_k\}`$ de $`k`$ vecteurs de $`\mathrm{\Lambda }`$ telles qu’il existe une famille finie $`(\mathrm{\Phi }_1,\mathrm{},\mathrm{\Phi }_k)`$ de sous-ensembles disjoints de $`\mathrm{\Phi }`$ tels que $`v_jV(\mathrm{\Phi }_j),1jk`$. On note $`X(k,n)`$ l’ensemble des éléments de $`\underset{¯}{X}(R_n)`$ de la forme

$$x=\underset{j=1}{\overset{k}{}}v_jT^{n_j},$$

$`\{v_1,\mathrm{},v_k\}V(k)`$ et $`1n_1<n_2<\mathrm{}<n_kn`$. L’ensemble $`\underset{¯}{X}(R_n)`$ est la réunion disjointe de $`\{0\}`$ et des sous-ensembles $`X(k,n)`$. Par ailleurs,

$$\mathrm{\#}X(k,n)=(\mathrm{\#}V(k))n(n1)\mathrm{}(nk+1).$$

Si $`v_j\mathrm{\Phi }_j`$ on a $`v_j\mathrm{\Phi }_j`$, donc le cardinal de chaque ensemble $`V(k)`$ est divisible par $`2^k`$, et $`\mathrm{\#}X(k,n)`$ est un polynôme entier de la variable $`2n`$, nul à l’origine et de degré $`k`$. Si $`k=t=\mathrm{card}(\mathrm{\Phi })`$, chaque ensemble $`\mathrm{\Phi }_j`$ comporte un seul vecteur et son opposé, donc $`\mathrm{\#}X(t,n)`$ est la somme de $`(2n)^t`$ et d’un polynôme de degré au plus $`t1`$ en la variable $`2n`$. Il en résulte que $`\mathrm{\#}\underset{¯}{X}(R_n)=N(2n+1)`$$`N(x)[x]`$ vérifie les conditions de l’énoncé (on notera que $`N(1)=1`$ est encore la caractéristique d’Euler-Poincaré de $`X_{}()`$).

Pour montrer iii) il suffit de noter que $`\underset{¯}{\underset{¯}{X}}(R_n)`$ (resp. $`Q(𝔽_q)`$) est la réunion disjointe des ensembles $`\underset{¯}{\underset{¯}{S}}_\alpha (R_n)`$ (resp. $`S_{\alpha ,}(𝔽_q)`$), $`\alpha =1,2,3,4`$, et d’appliquer le Théorème 2 i).

### 6.3 Exemples.

#### 6.3.1

Le point $`\mathrm{Spec}(𝔽_1)`$ a pour fonction zêta

$$\zeta _{\mathrm{Spec}(𝔽_1)}(s)=s.$$

#### 6.3.2

La droite affine $`𝔸^1`$ est telle que $`N(q)=q`$ et

$$\zeta _{𝔸^1}(s)=s1.$$

#### 6.3.3

Le groupe multiplicatif $`𝔾_m`$ vérifie $`N(q)=q1`$ et

$$\zeta _{𝔾_m}(s)=(s1)/s.$$

#### 6.3.4

Si $`\mathrm{\Delta }`$ et $`\mathrm{\Delta }^{}`$ sont deux éventails on a

$$\zeta _{X(\mathrm{\Delta }\times \mathrm{\Delta }^{})}(s)=\zeta _{X(\mathrm{\Delta })}(s)\times \zeta _{X(\mathrm{\Delta }^{})}(s).$$

#### 6.3.5

L’espace projectif $`^d`$ vérifie

$$N(q)=[d]$$

(voir 1.1) et donc

$$\zeta _^d(s)=s(s1)\mathrm{}(sd).$$

Cette formule et les précédentes sont celles prévues par Manin  (voir (3)).

#### 6.3.6

Soit $`\mathrm{\Lambda }=`$ et $`\lambda =1>0`$ la norme des générateurs de $`\mathrm{\Lambda }`$. L’entier $`t0`$ est la partie entière de $`\lambda `$ et la fonction zêta de $`X(\overline{\mathrm{\Lambda }})`$ ne dépend que de $`t`$, i.e. $`\zeta _{X(\overline{\mathrm{\Lambda }})}(s)=\zeta _t(s)`$, avec $`\zeta _0(s)=s`$, $`\zeta _1(s)=s1`$, $`\zeta _2(s)=s(s2)/(s1)`$,… Je ne connais pas de formule générale pour $`\zeta _t(s)`$.

### 6.4 Remarques.

#### 6.4.1

La définition du Lemme 1 i) a peut-être un sens dans des situations où (Z) n’est pas vérifiée. On peut aussi se demander si une variété $`X`$ lisse sur $`𝔽_1`$ vérifie la condition (Z), si $`N(q)`$ est le cardinal de $`(X\underset{𝔽_1}{})(𝔽_q)`$, $`q>1`$, et si $`N(1)`$ est la caractéristique d’Euler-Poincaré de $`(X\underset{𝔽_1}{})()`$. En termes de motifs :

Question 4. Les motifs des variétés lisses sur $`𝔽_1`$ sont-ils des motifs de Tate mixtes ?

#### 6.4.2

Quand $`X=\mathrm{Spec}(R)`$, $`R\mathrm{Ob}()`$, le cardinal de $`\underset{¯}{X}(R_n)`$ n’a pas un comportement simple et je ne sais pas définir $`\zeta _X(s)`$. Mais on remarquera que $`X`$ n’est jamais lisse sur $`𝔽_1`$ (sauf quand $`R=`$).

#### 6.4.3

Soit $`G`$ un graphe fini. M. Kontsevich associe à $`G`$ des variétés $`Y_G`$ et $`X_G`$ sur $``$, qui sont “souvent” des variétés polynomialement dénombrables , c’est-à-dire telles que leur nombre de points dans $`𝔽_q`$, $`q>1`$, est la valeur en $`x=q`$ d’un polynôme $`N(x)`$ à coefficients entiers. Kontsevich a suggéré que ces variétés sont définies sur $`𝔽_1`$. Lorsquelles sont polynomialement dénombrables peut-être vérifient-elles la condition (Z) avec le même polynôme $`N(x)`$. De même on peut se demander si un matroïde définit une variété sur $`𝔽_1`$.

## 7 Sur l’image du $`J`$-homomorphisme

### 7.1

Comme l’a noté Manin , la formule (1) suggère que les groupes de $`K`$-théorie algébrique de $`𝔽_1`$ sont les groupes d’homotopie stable des sphères. En effet, rappelons que, d’après D. Quillen, la $`K`$-théorie d’un anneau $`A`$ est

$$K_m(A)=\pi _m\mathrm{BGL}(A)^+,\text{si}m1,$$
(17)
où le CW-complexe $`\mathrm{BGL}(A)^+`$ est obtenu en adjoignant au classifiant du groupe linéaire infini $`\mathrm{GL}(A)`$ des cellules de dimensions 2 et 3 (voir ). Si $`A`$ est un corps et $`m>1`$, la formule (17) vaut aussi en remplaçant le groupe linéaire par le groupe spécial linéaire.

Par ailleurs, un théorème de Barratt, Priddy et Quillen  affirme que si $`\mathrm{\Sigma }_{\mathrm{}}=\underset{N1}{}\mathrm{\Sigma }_N`$ est le groupe symétrique infini, on a

$$\pi _mB\mathrm{\Sigma }_{\mathrm{}}^+=\pi _m^s,m1,$$
(18)
$`\pi _m^s`$ est le $`m`$-ième groupe d’homotopie stable des sphères. Il est donc logique d’écrire

$$K_m(𝔽_1)=\pi _m^s,m1.$$
(19)
Variante. Le groupe des unités de $`𝔽_1`$ est $`𝔽_1^{}=\mu ()=\{\pm 1\}`$. On peut donc envisager que $`\mathrm{GL}_\mathrm{N}(𝔽_1)`$ est le groupe des matrices monomiales $`N\times N`$ dont les entrées sont $`\pm 1`$, c’est-à-dire le produit en couronnes $`\mathrm{\Sigma }_N(/2)^N`$. Cela conduirait  à remplacer (19) par la formule

$$K_m(𝔽_1)=\pi _m^s(B(/2)),$$

qui n’en diffère que par un groupe fini de 2-torsion.

### 7.2

L’inclusion standard de $`\mathrm{\Sigma }_N`$ dans $`\mathrm{GL}_N()`$ induit un morphisme

$$\alpha _m:\pi _m^sK_m(),m1,$$

que l’on peut voir comme celui induit en $`K`$-théorie algébrique par le morphisme d’anneaux $`𝔽_1`$. Ce morphisme $`\alpha _m`$ est bien compris.

Adams a introduit un morphisme

$$J:\pi _mO\pi _m^s,$$

dont il montre que l’image est un groupe cyclique. Le groupe $`\mathrm{Im}(J)`$ est d’ordre 2 si $`m`$ est congru à 0 ou 1 modulo 8. Il est cyclique d’ordre le dénominateur $`w_i`$ de $`b_i/2i`$ si $`m=2i1`$ avec $`i`$ pair, où $`b_i`$ le $`i`$-ème nombre de Bernoulli. Et il est nul sinon.

Quillen a montré que $`\alpha _m`$ est injectif sur l’image de $`J`$  et S.A. Mitchell  a montré que l’image de $`\alpha _m`$ coïncide avec celle de $`\alpha _mJ`$.

### 7.3

Par ailleurs, les théorie de M. Lévine, M. Hanamura et V. Vœvodsky permettent de voir les groupes de $`K`$-théorie algébrique comme des groupes d’extensions dans une catégorie (dérivée) de motifs mixtes. Si par exemple $`m=2i1>1`$, on a

$$K_{2i1}()=K_{2i1}()=\mathrm{Ext}_{\mathrm{DM}()}((i),).$$
(20)
On peut s’attendre à une formule du même type pour le corps à un élément :

$$K_{2i1}(𝔽_1)=\mathrm{Ext}_{\mathrm{DM}(𝔽_1)}((i),).$$

Les résultats de 7.2 signifieraient alors que la classe d’une extension de motifs de Tate sur $``$ qui provient, par extension des scalaires de $`𝔽_1`$ à $``$ (puis $``$), d’une extension de motifs de Tate sur $`𝔽_1`$ est de torsion, et annulée par $`w_i`$ s’il s’agit d’une extension de $``$ par $`(i)`$ (ou de $`(j)`$ par $`(i+j)`$, $`j`$).

### 7.4

Un résultat de B. Totaro  est cohérent avec les réflexions précédentes. Si $`(\mathrm{\Delta })`$ est la variété torique associée à un éventail $`\mathrm{\Delta }`$ de dimension $`d`$, le Théorème 5 de  montre que la filtration des poids de la cohomologie singulière à coefficients rationnels de $`(\mathrm{\Delta })()`$ est canoniquement scindée. La preuve consiste à considérer la filtration canonique

$$(\mathrm{\Delta })=Y_0Y_1\mathrm{}Y_d\mathrm{},$$

$`Y_k`$ est la réunion des orbites toriques de dimension au plus $`dk`$. Chaque strate $`Y_kY_{k1}`$ est la réunion disjointe de produits du groupe multiplicatif par la droite affine, et la multiplication par $`n`$ dans $`N^d`$ (cf. 5.1) induit le produit par $`n^j`$ sur la partie de poids $`j`$ de la cohomologie de ces strates.

Autrement dit, la filtration de $`(\mathrm{\Delta })`$ par $`Y_k`$ fournit des extensions de motifs de Tate, et donc des classes dans les groupes $`\mathrm{Ext}_{\mathrm{DM}()}((i+j),(j))`$, qui sont annulées par le p.g.c.d. des entiers $`n^{i+j}n^j`$, $`n>1`$. Si $`j`$ est assez grand, on sait bien que ce p.g.c.d. n’est autre que $`w_i`$. Or le Théorème 1 indique que ces extensions sont sans doute dans l’image du morphisme

$$\mathrm{Ext}_{\mathrm{DM}(𝔽_1)}((i+j),(j))\mathrm{Ext}_{\mathrm{DM}()}((i+j),(j)),$$

ce qui va dans le sens de la discussion de 7.3.

On peut aussi se demander si le résultat de Totaro est optimal et si le groupe $`\mathrm{Im}(\alpha _{2i1})`$, $`i1`$, est engendré par des extensions de motifs sur $``$ provenant des variétés toriques par le procédé précédent. Ceci conduit au problème suivant, que l’on pourrait aborder en étudiant la structure de Hodge mixte à coefficients entiers de $`(\mathrm{\Delta })`$ et de sa filtration canonique par les $`Y_k`$ :

Question 5. Pour tout entier $`i1`$, existe-t-il $`j0`$, une variété torique $`(\mathrm{\Delta })`$ et une extension de $`(j)`$ par $`(i+j)`$, déduite de la filtration canonique de $`(\mathrm{\Delta })`$, dont la classe dans $`\mathrm{Ext}_{\mathrm{DM}()}((j),(i+j))`$ soit d’ordre $`w_i`$ ?


format: text

text:
# Deformations of Chiral Algebras

## 1. Introduction

Chiral algebras were introduced in . In the same paper the authors introduced the classical limit of a chiral algebra which they call a coisson algebra and posed the problem of quantization of coisson algebras. The goal of this paper is to show how the theory of deformation quantization (=the theory of deformations of associative algebras of a certain type) in the spirit of  can be developed in this situation.

Central object in the theory of deformations of associative algebras is the differential graded Lie algebra of Hochschild cochains. It turns out that in our situation it is more appropriate to use what we call pro-\*-Lie-algebras rather than usual Lie algebras (the notion of \*-Lie algebra was also introduced in ). Next, we compute the cohomology of the pro-\*-Lie-algebra controlling chiral deformations of a free commutative $`𝒟_X`$-algebra $`SK`$, where $`K`$ is a locally free $`𝒟_X`$-module.

Next, we state an analogue of Gerstenhaber theorem which says that the cohomology of the deformation complex of an associative algebra carries the structure of a Gerstenhaber algebra. We give a definition of a chiral analogue of Gerstenhaber algebra and define the operations of this structure on deformation pro-\*-Lie algebra of a chiral algebra.

Finally, mimicking Kontsevich’s formality theorem, we formulate the formality conjecture for the deformation pro-\*-Lie algebra of the chiral algebra $`SK`$ mentioned above and claim that this conjecture implies a 1-1 correspondence between deformations of $`SK`$ and coisson brackets on $`SK`$.

## 2. Chiral algebras and their deformations

### 2.1. Chiral operations

In  chiral operations are defined as follows. Let $`X`$ be a smooth curve and $`M_i`$,$`N`$ $`𝒟_X`$-modules. Denote by $`i_n:XX^n`$ the diagonal embedding and by $`j_n:U_nX^n`$ the open embedding of the complement to all diagonals in $`X^n`$. Set

$$P_{\text{ch}}(M_1,\mathrm{},M_n;N)=\mathrm{hom}_{𝒟_{X^n}}(j_{}j^{}(M_1\mathrm{}M_n),i_nN).$$
(1)
In the case $`n=0`$ set

$$P_{\text{ch}}(M)=H^0(M_{𝒟_X}𝒪_X).$$

Let $`M`$ be a fixed $`D_X`$-module. Write

$$P_{\text{ch}M}(n)=P_{\text{ch}}(M,M,\mathrm{},M;M).$$

It is explained in  that $`P_M`$ is an operad.

#### 2.1.1. Chiral algebras

Let lie be the operad of Lie algebras. A chiral algebra structure on $`M`$ is a homomorphism $`\text{lie}P_M`$. We have a standard chiral algebra structure on $`M=\omega _X`$. A chiral algebra $`M`$ is called unital if it is endowed with an injection $`\omega _XM`$ of chiral algebras.

### 2.2. Deformations

#### 2.2.1. Agreements

To simplify the exposition, we will only consider unital chiral algebras $`M`$ with the following restrictions: we assume that $`X`$ is affine and the $`D_X`$-module $`M`$ can be represented as $`M=\omega _XN`$, where $`NE_{𝒪_X}D_X`$ for some locally free coherent sheaf $`E`$.

#### 2.2.2. Nilpotent $`𝓓_𝑿`$-algebras

Let $`E`$ be a left $`𝒟_X`$-module equipped with a commutative associative unital product $`EEE`$. Let $`u:𝒪_XE`$ be the unit embedding. Call $`E`$ nilpotent if there exists a $`𝒟_X`$-module splitting $`s:E𝒪_X`$ and a positive integer $`N`$ such that the $`N`$-fold product vanishes on $``$. $``$ is then a unique maximal $`𝒟_X`$-ideal in $`E`$.

#### 2.2.3. Deformations over a nilpotent $`𝓓_𝑿`$-algebra

Let $`E`$ be a nilpotent $`𝒟_X`$-algebra with maximal ideal $``$. We have a notion of $`E`$-module and of an $`E`$-linear chiral algebra . For any $`𝒟_X`$-module $`M`$, $`M_E:=M_{𝒪_X}E`$ is an $`E`$-module.

Let $`M`$ be a chiral algebra. An $`E`$-linear unital chiral algebra structure on $`M_E`$ is called deformation of $`M`$ over $`E`$ if the induced structure on $`M_E/.M_EM`$ coincides with the one on $`M`$. Denote by $`G_M(E)`$ the set of all isomorphism classes of such deformations.

### 2.3. The functor $`𝑮_𝑴`$ and its representability

It is clear that $`EG_M(E)`$ is a functor from the category of nilpotent $`D_X`$-algebras to the category of sets. In classical deformation theory one usually has a functor from the category of (usual) local Arminian (=nilpotent and finitely dimensional) algebras to the category of sets and one tries to represent it by a differential graded Lie algebra. In this section we will see that in our situation a natural substitute for a Lie algebra is a so-called \*-Lie algebra in the sense of . More precise, given a \*-Lie algebra $`𝔤`$, we are going to construct a functor $`F_𝔤`$ from the category of nilpotent $`𝒟_X`$-algebras to the category of sets. In the next section we will show that the functor $`G_M`$ is ’pro-representable’ in this sense. We will construct a pro-\*-Lie algebra $`\text{def}_M`$ (exact meaning will be given below) and an isomorphism of functors $`G_M`$ and $`F_{\text{def}_M}`$.

#### 2.3.1. \*-Lie algebras

 Let $`𝔤_i`$, $`N`$ be right $`𝒟_X`$-modules. Set

$$P_{}(𝔤_1,\mathrm{},𝔤_n;N):=\mathrm{hom}_{𝒟_{X^n}}(𝔤_1\mathrm{}𝔤_n,i_nN),$$

and $`P_𝔤(n):=P(𝔤,\mathrm{},𝔤;𝔤)`$. It is known that $`P_𝔤`$ is an operad. A \*-Lie algebra structure on $`𝔤`$ is by definition a morphism of operads $`f:\text{lie}P_𝔤`$. Let $`b\text{lie}(2)`$ be the element corresponding to the Lie bracket. We call $`f(b)P_𝔤(2)`$ the \*-Lie bracket.

#### 2.3.2.

Let $`𝔤`$ be a \*-Lie algebra and $`A`$ be a commutative $`𝒟_X`$-algebra. introduce a vector space $`𝔤(A)=𝔤_{𝒟_X}A`$. This space is naturally a Lie algebra. Indeed, we have a \*-Lie bracket $`𝔤𝔤i_2𝔤.`$ Multiply both parts by $`AA`$:

$$(𝔤𝔤)_{𝒟_{X\times X}}(AA)i_2𝔤_{𝒟_{X\times X}}(AA).$$
$`()`$
The left hand side is isomorphic to $`𝔤(A)𝔤(A)`$. The right hand side is isomorphic to $`𝔤_{𝒟_X}(A_{𝒪_X}A)`$. Thus, (\*) becomes:

$$𝔤(A)𝔤(A)𝔤_{𝒟_X}(A_{𝒪_X}A).$$

The product on $`A`$ gives rise to a map

$$𝔤_{𝒟_X}(A_{𝒪_X}A)𝔤_{𝒟_X}A𝔤(A),$$

and we have a map $`𝔤(A)𝔤(A)𝔤(A)`$. It is straightforward to check that this map is a Lie bracket.

#### 2.3.3.

Let now $`𝔤`$ be a differential graded \*-Lie algebra and let $`A`$ be a differential graded commutative $`𝒟_X`$-algebra. Then $`𝔤(A):=𝔤_{𝒟_X}A`$ is a differential graded Lie algebra.

#### 2.3.4.

Let $`A`$ be a nilpotent $`𝒟_X`$ algebra and $`_AA`$ be the maximal nilpotent ideal. Then $`𝔤(_A)`$ is a nilpotent differential graded Lie algebra.

#### 2.3.5.

Recall that given a differential graded nilpotent Lie algebra $`𝔫`$, one can construct the so called Deligne groupoid $`𝒢_𝔫`$. Its objects are all $`x𝔫^1`$ satisfying $`dx+[x,x]/2=0`$ (so called Maurer-Cartan elements). The group $`\text{exp}(𝔫^0)`$ acts on the set of Maurer-Cartan elements by gauge transformations. $`𝒢_𝔫`$ is the groupoid of this action. Denote by $`𝒟_𝔫`$ the set of isomorphism classes of this groupoid. If $`f:𝔫𝔪`$ is a map of differential graded Lie algebras such that the induced map on cohomology $`H^i(f)`$ is an isomorphism for all $`i0`$, then the induced map $`𝒟_𝔫𝒟_𝔪`$ is a bijection. If $`𝔫,𝔪`$ are both centered in non-negative degrees, then the induced map $`𝒢_𝔫𝒢_𝔪`$ is an equivalence of categories. Since in our situation we will deal with Lie algebras centered in arbitrary degrees, we will use $`𝒟_𝔫`$ rather than groupoids.

#### 2.3.6.

Set $`F_M(A)=𝒟_{𝔤(_A)}`$. It is a functor from the category of nilpotent $`𝒟_X`$-algebras to the category of sets.

### 2.4. Pro-\*-Lie- algebras

\*-Lie algebras are insufficient for description of deformations of chiral algebras. We will thus develop a generalization. We need some preparation

#### 2.4.1. Procategory

For an Abelian category $`C`$ consider the category $`\mathrm{𝐩𝐫𝐨}C`$ whose objects are functors $`IC`$, where $`I`$ is a small filtered category. Let $`F_k:I_kC`$, $`k=1,2`$ be objects. Set

$$\mathrm{hom}(F_1,F_2):=\text{liminv}_{i_2I_2}\text{limdir}_{i_1I_1}(F_1(i_1),F_2(i_2)).$$

The composition of morphisms is naturally defined. One can show that $`\mathrm{𝐩𝐫𝐨}C`$ is an Abelian category. Objects of $`\mathrm{𝐩𝐫𝐨}C`$ are called pro-objects.

#### 2.4.2. Direct image of pro-$`𝒟`$-modules

Let $`M:I𝒟_Ymod`$ be a pro-object, where $`Y`$ is a smooth algebraic variety and let $`f:YZ`$ be a locally closed embedding. Denote the composition $`f_{}M:I𝒟_Zmod`$ simply by $`f_{}M`$. We will get a functor $`f_{}:\mathrm{𝐩𝐫𝐨}𝒟_Ymod\mathrm{𝐩𝐫𝐨}𝒟_Zmod`$.

#### 2.4.3. Chiral and \*-operations

For $`N,M_i\mathrm{𝐩𝐫𝐨}𝒟_Xmod`$ we define $`P_{}(M_1,\mathrm{},M_n,N)`$, $`P_{\text{ch}}(M_1,\mathrm{},M_n,N)`$ by exactly the same formulas as for usual $`𝒟_X`$-modules.

#### 2.4.4. pro-\*-Lie algebras

\*-Lie algebra structure on a pro-$`𝒟_X`$-module is defined in the same way as for usual $`𝒟_X`$-modules.

#### 2.4.5.

For a pro-right $`𝒟_X`$-module $`IM`$ and a left $`𝒟_X`$-module $`L`$ define a vector space $`M_{𝒟_X}L=\text{liminv}_I(M_{𝒟_X}L)`$. For a \*-Lie algebra $`𝔤`$ and a commutative $`𝒟_X`$-algebra $`a`$, $`𝔤_{𝒟_X}a`$ is a Lie algebra. Construction is the same as for usual \*-Lie algebras. Similarly, we can define the functor $`F_𝔤`$ from the category of nilpotent $`𝒟_X`$-algebras to the category of sets.

### 2.5. Representability of $`G_M`$ by a pro-\*-Lie algebra

We are going to construct a differential graded \*-pro-Lie algebra $`𝔤`$ such that $`F_𝔤`$ is equivalent to $`G_{}`$. We need a couple of technical lemmas.

#### 2.5.1.

Let $`Y`$ be a smooth affine algebraic varieties and $`U,V`$ be right $`𝒟_Y`$-modules. Let $`U_\alpha ,\alpha A`$ be the family of all finitely generated submodules of $`U`$. Denote $`\text{prohom}(U,V)=\text{liminv}_\alpha (U_\alpha ,V)`$ the corresponding pro-vector space.

#### 2.5.2.

Let $`i:XY`$ be a closed embedding, let $`B`$ be a $`𝒟_Y`$-module and $`M`$ be a $`𝒟_X`$-module. Then

$$\text{prohom}_{𝒟_Y}(B,i_{}(M_{𝒪_X}𝒟_X))$$

is a pro-$`𝒟_X`$-module. Denote it by $`P(B,M)`$. Let now $`Y=X^n`$.

###### Lemma 2.1

Assume that $`B=j_nj_n^{}(E_{𝒪_{X^n}}𝒟_{X^n})`$, where $`E`$ is locally free and coherent. For any left $`𝒟_X`$-module $`L`$ we have

$$\text{prohom}(B,i_n(M_{𝒪_X}L))P(B,M)_{𝒟_X}L.$$

Proof. Let $`F=j_nj_n^{}E`$. We have $`B=F_{𝒪_{X^n}}𝒟_{X^n}`$. Note that $`F=\text{limdir}F_\alpha `$, where $`F_\alpha `$ runs through the set of all free coherent submodules of $`F`$.

We have

$`P(B,M)=\text{liminv}\mathrm{hom}_{𝒟_{X^n}}(F_\alpha _{𝒪_{X^n}}𝒟_{X^n},i_n(M_{𝒪_X}L))`$
$`\text{liminv}F_\alpha ^{}_{𝒪_{X^n}}i_n(M_{𝒪_X}𝒟_X)_{𝒟_X}L`$
$`\text{liminv}\mathrm{hom}_{𝒪_{X^n}}(F_\alpha ,i_n(M_{𝒪_X}𝒟_X))_{𝒟_X}L`$
$`\text{prohom}(B,i_n(M_{𝒪_X}𝒟_X))_{𝒟_X}L.`$
#### 2.5.3.

Let $`B,M`$ be as above. We have a natural morphism

$$i:i_nP(B,M)P(B,M)_{𝒟_X}𝒟_X^{_{𝒪_X}^n}\text{prohom}(B,M_{𝒟_X}(𝒟_X)^{_{𝒪_X}^n}).$$

The above lemmas imply that $`i`$ is an isomorphism.

#### 2.5.4.

Let $`M`$ be a right $`𝒟_X`$-module. Set

$$U_M(n)=𝒫_{\text{ch}}(M,M,\mathrm{},M;M𝒟_X):=\text{prohom}(j_nj_n^{}M^n,i_n(M𝒟_X)),$$

it is a right pro-$`𝒟_X`$-module. We will endow the collection $`U_M`$ with the structure of an operad in \*-pseudotensor category. This means that we will define the composition maps

$$_iP_{}(U_M(n),U_M(m);U_M(n+m1)),$$

$`i=1,\mathrm{},n+m1`$, satisfying the operadic axioms. We need a couple of technical facts.

#### 2.5.5.

Let $`i_n:XX^n`$ be the diagonal embedding and $`p_n^i:X^nX`$ be the projections. Lemma 2.5.3. implies that

###### Lemma 2.2

$$i_nU_M(k)𝒫_{\text{ch}}(M,\mathrm{},M;M_{𝒟_X}𝒟_X^n).$$

###### Lemma 2.3

For any $`𝒟_X`$-modules $`M,S`$ we have an isomorphism

$$i_n(M)p_n^iSi_n(MS).$$

#### 2.5.6.

We are now ready to define the desired structure. In virtue of 2.3 we have natural maps:

$$𝒫_{\text{ch}}(M_1,\mathrm{},M_n;N)𝒫_{\text{ch}}(M_1,\mathrm{},M_i𝒟_X,\mathrm{},M_n;(N𝒟_X)).$$

Thus, we have maps:

$`𝒫_{\text{ch}}(M_1,\mathrm{},M_n;(N_i𝒟_X))𝒫_{\text{ch}}(N_1,\mathrm{}N_m;(K𝒟_X))`$
$``$ $`𝒫_{\text{ch}}(M_1,\mathrm{},M_n;(N_i𝒟_X))`$
$`𝒫_{\text{ch}}(N_1,\mathrm{},N_i𝒟_X,\mathrm{},N_m;(K𝒟_X)𝒟_X)`$
$``$ $`𝒫_{\text{ch}}(N_1,\mathrm{}N_{i1},M_1,\mathrm{},M_n,N_{i+1},\mathrm{},N_m;K𝒟_X𝒟_X)`$
$``$ $`i_2𝒫_{\text{ch}}(N_1,\mathrm{}N_{i1},M_1,\mathrm{},M_n,N_{i+1},\mathrm{},N_m,K𝒟_X).`$
By substituting $`M`$ instead of all $`N_i,M_j,K`$, we get the desired insertion map

$$_i:U_M(n)U_M(m)i_2U_M(n+m1).$$

#### 2.5.7.

Similarly, we have insertion maps

$$_i:U_M(n)𝒫_{\text{ch}M}(m)U_M(n+m1),$$

and

$$_i:P_{\text{ch}M}(n)U_M(m)U_M(n+m1).$$

#### 2.5.8.

Let $`𝒪`$ be a differential graded operad. Set

$$𝔤_{𝒪,n}:=𝒪(n)^{S_n},$$

and $`𝔤_𝒪=_n𝔤_{𝒪,n}[1n]`$.

Let $`p_n:𝒪(n)𝔤_{𝒪,n}`$ be the natural projection, which is the symmetrization map. Define the brace $`(x,y)x\{y\}`$, $`𝔤_{𝒪,n}𝔤_{𝒪,m}𝔤_{𝒪,n+m1}`$ as follows.

$$x\{y\}=np_n(_1(x,y))$$
(2)
and the bracket

$$[x,y]=x\{y\}(1)^{|x||y|}y\{x\}.$$
(3)
We see that $`[,]`$ is a Lie bracket. Thus, $`𝔤_𝒪`$ is a differential graded Lie algebra. For an operad $`𝒪`$ denote by $`𝒪^{}`$ the shifted operad such that the structure of an $`𝒪^{}`$-algebra on a complex $`V`$ is equivalent to the structure of an $`𝒪`$-algebra on a complex $`V[1]`$. Thus, $`𝒪^{}(n)=𝒪(n)ϵ_n[1n]`$, where $`ϵ_n`$ is the sign representation of $`S_n`$.

Let $`𝒪`$ be an operad of vector spaces. The set of Maurer-Cartan elements of $`𝔤_𝒪^{}`$ is in 1-1 correspondence with maps of operads $`\text{lie}𝒪`$.

Assume that $`O(1)`$ is a nilpotent algebra ($`x^n=0`$ for any $`x𝒪(1)`$). Let $`A`$ be $`O(1)`$ with adjoined unit and let $`A^\times `$ be the group of invertible elements. $`A^\times `$ acts on $`𝒪`$ by automorphisms. Therefore, $`A^\times `$ acts on the set of maps $`\text{lie}𝒪`$. The groupoid of this action is isomorphic to the Deligne groupoid of $`𝔤_𝒪^{}`$.

#### 2.5.9.

Similarly, let $`𝒜`$ be a \*-operad. Then formula 3 defines a Lie-\* algebra $`𝔤_𝒜`$. We have natural action of a usual pro-Lie algebra $`𝔤_{𝒫_{\text{ch}}(M)}`$ on a pro \*-Lie algebra $`𝔤_{U_M}`$ by derivations. The chiral bracket $`b𝔤_{𝒫_{\text{ch}}(M)}^1`$ satisfies $`[b,b]=0`$. Therefore, the bracket with $`b`$ defines a differential on $`𝔤_{U_M}`$. Denote this differential graded \*-Lie algebra by $`𝔡_M`$.

#### 2.5.10.

To avoid using derived functors, we will slightly modify $`𝔡_M`$. Recall that $`M=\omega _XN`$, where $`N`$ is free. Let

$$𝒫_{\text{ch}}^{\text{red}}(M,\mathrm{},M;M𝒟_X)𝒫_{\text{ch}}(M,\mathrm{},M;M𝒟_X)$$

be the subset of all operations vanishing under all restrictions

$$𝒫_{\text{ch}}(M,\mathrm{},M;M𝒟_X)𝒫_{\text{ch}}(M,\mathrm{},M,\omega _X,M,\mathrm{},M;M𝒟_X).$$

Let $`\text{def}_M𝔡_M`$ be the submodule such that

$$\text{def}_M=_n(𝒫_{\text{ch}}^{\text{red}}(M,\mathrm{},M;M𝒟_X)ϵ_n)^{S_n}[1n].$$

We see that $`\text{def}_M`$ is a \*-Lie differential subalgebra of $`𝔡_M`$.

#### 2.5.11.

###### Proposition 2.4

The functors $`G_M`$ and $`F_{\text{def}_M}`$ are canonically isomorphic.

### 2.6. Example

Let $`K`$ be a free left $`𝒟_X`$-module. Let $`T^iK=K^{_{𝒪_{X^i}}}`$. The symmetric group $`S_i`$ acts on the $`𝒟_X`$-module $`T^iK`$; let $`S^iK=(T^iK)^{S_i}`$ be the submodule of invariants and $`SK=_{i=0}^{\mathrm{}}S^iK`$. $`SK`$ is naturally a free commutative $`𝒟_X`$-algebra and, hence, $`SK^r:=SK\omega _X`$ is a chiral algebra. We will compute the cohomology of the $`𝒟_X`$-module $`\text{def}_{SK^r}`$. Let $`S_0K=_{n=1}^{\mathrm{}}S^iK`$. We have:

$$\text{def}_{SK^r}=_n(P_{\text{ch}}(S_0K^r[1],\mathrm{},S_0K^r[1];SK^r𝒟_X)[1])^{S_n}.$$

On the other hand, denote by $`\mathrm{\Omega }:=SKK`$. Consider $`\mathrm{\Omega }`$ as an $`SK`$-$`𝒟_X`$-module of differentials of $`SK`$. We have the de Rham differential $`D:S_0K\mathrm{\Omega }`$. We have a through map

$`c_n:P_{\text{ch}}(K[1]^r,\mathrm{},K[1]^r,SK[1]^r)^{S_n}P_{\text{ch}}^{SK}(\mathrm{\Omega }[1]^r,\mathrm{},\mathrm{\Omega }[1]^r,SK[1]^r)^{S_n}`$
$`\stackrel{D}{}P_{\text{ch}}(S_0K[1]^r,\mathrm{},S_0K[1]^r,SK[1]^r)^{S_n},`$
where $`P_{\text{ch}}^{SK}`$ stands for $`SK`$-linear chiral operations. Denote by the same letter the induced map

$$c_n:P_{\text{ch}}(K[1]^r,\mathrm{},K[1]^r,SK[1]^r)^{S_n}\text{def}_{SK}.$$

###### Proposition 2.5

1. $`dc_n=0`$;
2. $`c_n`$ induces an isomorphism

$$P_{\text{ch}}(K[1]^r,\mathrm{},K[1]^r,SK[1]^r)^{S_n}H^{n1}(\text{def}_{SK})[1n].$$

#### 2.6.1.

For a chiral algebra $`M`$ denote by $`H_M`$ the graded Lie algebra of cohomology of $`\text{def}_M`$.

#### 2.6.2.

Assume that $`K`$ is finitely generated. Let

$$K^{}=\mathrm{hom}(K,𝒟_X)(\omega _X)^1$$

be the dual module. Then

$$H_{SK^r}_n(P_{}(K^r,\mathrm{},K^r;SK^r𝒟_X)\epsilon _n)^{S_n}[1n]=_n(^nK^{}_{𝒪_X}SK)^r[1n].$$

#### 2.6.3.

We will postpone the calculation of the \*-Lie bracket on $`H_{SK^r}`$ until we show in the next section that $`H_M`$ has in fact a richer structure.

## 3. Algebraic structure on the cohomology of the deformation pro-\*-Lie algebra

We will keep the agreements and the notations from 2.2.1..

### 3.1. Cup product

We will define a chiral operation $`P_{\text{ch}\text{def}_M[1]}(2)`$ and then we will study the induced map on cohomology.

#### 3.1.1.

Recall that

$$\text{def}_M[1]_n(a_n)^{S_n},$$

where

$$a_n=P_{\text{ch}}(N[1],\mathrm{},N[1];M𝒟_X).$$

Let $`i_n:XX^n`$ be the diagonal embedding and let $`p^i:X^nX`$ $`U_nX^n`$ be the complement to the union of all pairwise diagonals $`p^ix=p^jx`$ and $`j_n:U_nX_n`$ be the open embedding. Let $`U_{n,m}X^{n+m}`$ be the complement to the diagonals $`p^ix=p^jx`$, where $`1in`$, $`n+1jn+m`$ and $`j_{nm}:U_{nm}X^{n+m}`$ be the embedding

Compute

$`j_2j_2^{}(a_na_m)\mathrm{hom}(j_nj_n^{}(N[1]^n)j_mj_m^{}(N[1]^m),`$
$`(i_n\times i_m)_{}(j_2j_2^{}(M𝒟_XM𝒟_X)))`$
$`\mathrm{hom}(j_nj_n^{}(N[1]^n)j_mj_m^{}(N[1]^m)j_{}𝒪(U_{n,m}),`$
$`(i_n\times i_m)_{}(j_2j_2^{}(M𝒟_XM𝒟_X)j_{}𝒪(U_{n,m})))`$
$`\mathrm{hom}(j_{n+m}j_{n+m}^{}(N[1])^{n+m},(i_n\times i_m)_{}(j_2j_2^{}(MM))𝒟_{X\times X})).`$
Taking the composition with the chiral operation on $`M`$, we obtain a chiral operation

$$j_2j_2^{}(a_na_m)\mathrm{hom}(j_{n+m}j_{n+m}^{}(N[1])^{n+m},i_{n+m}(M𝒟_X𝒟_X))i_2a_{n+m},$$

which induces a chiral operation from $`P_{\text{ch}}(a_n^{S_n},a_m^{S_m};a_{n+m}^{S_{n+m}})`$ and, hence, an operation $`(P_{\text{ch}}(\text{def}_M[1],\text{def}_M[1];\text{def}_M[1]))^{S_2}`$.

#### 3.1.2.

To investigate the properties of this operation, consider the brace \*-operation $`\{\}P_{}(\text{def}_M,\text{def}_M;\text{def}_M)`$ defined by formula (2). Let

$$r:P_{\text{ch}}(A_1,A_2;A_3)P_{}(A_1,A_2;A_3)$$

be the natural map

###### Proposition 3.1

$`d(\{\})=r()`$.

Let $`_h`$ be the induced operation on $`H_M[1]`$. The above proposition implies that $`r(_h)=0`$. In virtue of exact sequence

$$0\mathrm{hom}((A_1)^l(A_2)^l,(A_3)^l)P_{\text{ch}}(A_1,A_2;A_3)\stackrel{r}{}P_{}(A_1,A_2;A_3),$$

$`_h`$ defines a $`𝒟_X`$-commutative product $`H_M[1]H_M[1]H_M[1]`$, denoted by the same letter.

#### 3.1.3.

###### Proposition 3.2

$`_h`$ is associative.

#### 3.1.4. Leibnitz rule

We are going to establish a relation between $``$ and $`\{\}`$. This relation is similar to the one of coisson algebras. Our exposition will mimic the definition of coisson algebras from .

#### 3.1.5.

Let $`A_i`$ be right $`𝒟_X`$-modules. Write $`A_1\stackrel{!}{}A_2:=(A_1^lA_2^l)^r`$; $`P_!(A_1,A_2;A_3):=\mathrm{hom}(A_1\stackrel{!}{}A_2,A_3)`$. We have $`(A\stackrel{!}{}B)=i_2^{}(BC)`$;

$$i_2(A\stackrel{!}{}B)i_2Ap_2^{}(B^l).$$

We have a map

$$c:P_{}(A_1,A_2;B)P_!(B,C;D)P_{}(A_1,A_2\stackrel{!}{}C;D)$$

defined as follows. Let $`u:A_1A_2i_2B`$ and $`m:B\stackrel{!}{}CD`$. Put

$$c(u,v):A_1(A_2\stackrel{!}{}C)(A_1A_2)p_2^{}(C^l)i_2Bp_2^{}(C^l)i_2(B\stackrel{!}{}C)i_2D.$$

#### 3.1.6.

Denote

$$e=c([],_h)P_{}(H_M,H_M\stackrel{!}{}H_M;H_M).$$

Let $`T:H_M\stackrel{!}{}H_MH_M\stackrel{!}{}H_M`$ be the action of symmetric group and let $`e^T`$ be the composition with $`T`$. Let $`fP_{}(H_M,H_M\stackrel{!}{}H_M;H_M)`$ be defined by:

$$H_M(H_M\stackrel{!}{}H_M)\stackrel{}{}H_MH_M\stackrel{[]}{}i_{}H_M.$$

###### Proposition 3.3

We have $`f=e+e^T`$.

In other words, the cup product and the bracket satisfy the Leibnitz identity.

#### 3.1.7.

We see that $`H_M`$ has a pro-\*-Lie bracket, $`(H_M)^l[1]`$ has a commutative $`𝒟_X`$-algebra structure, and these structures satisfy the Leibnitz identity. Call this structure a c-Gerstenhaber algebra structure. Thus, our findings can be summarized as follows.

###### Theorem 3.4

The cohomology of the deformation pro-\*-Lie algebra of a chiral algebra is naturally a pro-c-Gerstenhaber algebra.

### 3.2. Example $`M=(SK)^r`$

We come back to our example 2.6.. For simplicity assume $`K`$ is finitely generated free $`𝒟_X`$-module. We have seen in this case that

$$(H_M)^l[1]_i^iK^{}S^K[i]S(K^{}[1]K).$$

###### Proposition 3.5

The cup product on $`H_M`$ coincides with the natural one on the symmetric power algebra.

#### 3.2.1.

To describe the bracket it suffices to define it on the submodule of generators $`G=(K^{}[1]K)^r`$. Define $`[]P_{}(G,G;H_M)`$ to be zero when restricted onto $`K^rK^r`$ and $`K^r[1]K^r[1]`$. Restriction onto $`KK^{}[1]`$ takes values in $`\omega _XH_M`$ and is given by the canonic $``$-pairing from

$$(K^{}K)^ri_2\omega _X.$$

Recall the definition. We have $`K^r=\mathrm{hom}(K^r,𝒟_X\omega _X)`$. For open $`U,VX`$ we have the composition map

$$K(U)K^{}(V)𝒟_X\omega _X(UV)i_2\omega _X(U\times V)$$

which defines the pairing. This uniquely defines the \*-Lie bracket.

## 4. Formality Conjecture

Following the logic of Kontsevich’s formality theorem, one can formulate a formality conjecture in this situation.

### 4.1. Quasi-isomorphisms

A map $`f:𝔤𝔥`$ of differential graded pro-\*-Lie algebras is called quasi-isomorphism if it induces an isomorphism on cohomology. Call a pro-\*-Lie algebra perfect if such is its underlying complex of pro-vector spaces. The morphism $`f`$ is called perfect quasi-isomorphism if it is a quasi-isomorphism and both $`𝔤`$ and $`𝔥`$ are perfect.

Two perfect pro-\*-lie algebras are called perfectly quasi-isomorphic if there exists a chain of perfect quasi-isomorphisms connecting $`𝔤`$ and $`𝔥`$.

###### Conjecture 4.1

$`\text{def}_{SK}`$ and $`H_{SK}`$ are perfectly quasi-isomorphic.

The importance of this conjecture can be seen from the following theorem:

###### Theorem 4.2

Any chain of perfect quasi-isomorphisms between $`\text{def}_{SK^r}`$ and $`H_{SK^r}`$ establishes a bijection between the set of isomorphism classes of $`A`$-linear coisson brackets on $`SK^rA`$ which vanish modulo the maximal ideal $`_A`$ and the set of isomorphism classes of all deformations of the chiral algebra $`SK^r`$ over $`A`$.