text:
# Quasi-degenerate self-trapping in One-Dimensional Charge Transfer Exciton

\[

## Abstract

The self-trapping by the nondiagonal particle-phonon interaction between two quasi-degenerate energy levels of excitonic system, is studied. We propose this is realized in charge transfer exciton, where the directions of the polarization give the quasi-degeneracy. It is shown that this mechanism, unlike the conventional diagonal one, allows a coexistence and resonance of the free and self-trapped states even in one-dimensional systems and a quantitative theory for the optical properties (light absorption and time-resolved luminescence) of the resonating states is presented. This theory gives a consistent resolution for the long-standing puzzles in quasi-one-dimensional compound A-PMDA.

\]

The charge transfer (CT) exciton in one-dimension (1D) attracts great interests due to its peculiar features, e.g., strong interaction with the phonons, magnons, and large nonlinearity in the optical responses. However the theoretical understanding of it is rather limited compared with that of Wannier and Frenkel excitons, because of its intermediate radius and strong coupling nature. E.g., although the prototypical compound Anthracene-PMDA (A-PMDA), which shows unusual vibronic structure in the optical spectra, is thoroughly experimentally investigated from 70-th till nowdays , even qualitative theoretical understanding it’s optical response is missing.

The most dramatic phenomenon which occurs at intermediate or strong coupling with the phonons is the self-trapping where the free (F) state of polaron with small lattice deformation coexists and resonates with the state with strong lattice relaxation . Although the latter state is Bloch invariant it is traditionally classified as being self-trapped (ST) to stress larger degree of ionic distortion around the quasiparticle. However, this self-trapping scenario was not considered yet since the F-ST resonance is prohibited by Rashba-Toyozawa theorem (RTT) in 1D systems . Although the RTT is probably valid for one quasiparticle state in the relevant energy range, the neglect of it’s domain of definition caused severe delusion in the physics of 1D systems because RTT was treated as the strict ban for F-ST coexistence in 1D. However, when there are two quasi-degenerate quasiparticle states, i.e. the conditions of the theorem are violated, one can consider the quasi-degenerate self-trapping (QDST) mechanism, when the F-ST resonance is driven by nondiagonal interaction with phonons with respect to quasiparticle levels. An example of QDST was observed in the mixed valence systems .

In this paper we first demonstrate by exact diagrammatic Monte Carlo method  that QDST is general phenomenon pertinent for 1D lattice, study the optic properties of resonating QDST states, and resolve long-standing puzzle of the quasi-1D system A-PMDA .

QDST existence in 1D by exact solution. The quasi-1D compound A-PMDA consists of one-dimensional arrays of alternating donor (D) and acceptor (A) molecules . There are two possible configurations of CT exciton, i.e., $`A^0D^+A^{}`$ and $`A^{}D^+A^0`$, and the symmetric $`\varphi _s(r)`$ and antisymmetric $`\varphi _a(r)`$ linear combination of these two constitutes the nearly degenerate two branches of excitons.

The minimal model to demonstrate F-ST coexistence in 1D systems involves one optic phonon branch with frequency $`\omega =0.1`$, two quasiparticle branches with energies $`\epsilon _{1,2}(q)=\mathrm{\Delta }_{1,2}+2[1cos(q)]`$, where $`\mathrm{\Delta }_1=0`$ and $`\mathrm{\Delta }_2=1`$, and the quasiparticle-phonon coupling

$$\widehat{H}=i\underset{k,q}{}\underset{i,j=1}{\overset{2}{}}\sqrt{\gamma _{ij}}\varphi _{ij}(q)(b_q^{}b_q)c_{i,kq}^{}c_{j,k}+h.c.$$
(1)
Here $`c_{j,k}`$ and $`b_q`$ are annihilation operators for the quasiparticle of branch $`j`$ with momentum $`k`$ and for the phonon with momentum $`q`$. One can restrict himself by one phonon mode since, even in case of the different symmetry of excitons, the same phonon branch contributes both to the diagonal and off-diagonal coupling  and drop, without affecting the conclusions, the $`q`$-dependence ($`\varphi _{ij}(q)1`$) of the interaction for simplicity. The energy $`E_L`$, the average number of phonons $`\overline{N}\mathrm{\Psi }_L_qb_q^{}b_q\mathrm{\Psi }_L`$, and Z-factors of the n-phonon states

$$Z(n)\underset{i=1}{\overset{2}{}}\underset{q_1\mathrm{}q_n}{}\alpha _i(q_1,\mathrm{},q_n)^2$$

in phonon cloud of lowest zero-momentum eigenstate

$$\mathrm{\Psi }_L=\underset{i=1}{\overset{2}{}}\underset{n=0}{\overset{\mathrm{}}{}}\underset{q_1\mathrm{}q_n}{}\alpha _i(q_1,\mathrm{},q_n)c_{i,q_1\mathrm{}q_n}^{}b_{q_1}^{}\mathrm{}b_{q_1}^{}\text{vac}$$

(Here $`\text{vac}`$ is the vacuum state.) were calculated by the exact diagrammatic Monte Carlo technique  which was generalized in the present paper to the case of two-quasiparticle bands with interaction Hamiltonian (1).

In the vicinity of critical $`\gamma _{12}^c0.2087`$ the dependence of the energy $`E_L`$ on $`\gamma _{12}`$ rapidly changes, and the average number of phonons $`\overline{N}`$ demonstrates sharp crossover to higher values (Fig. 1). Hence, according to , the F-state, which is lowest for small values of nondiagonal interaction constant, resonates with the ST-state (see inset in Fig. 1) at $`\gamma _{12}^c`$ and ST-state is the lowest one for large values of $`\gamma _{12}`$ . The system indeed undergoes crossover around the critical constant rather than a phase transition due to mixing of resonating eigenstates .

Strong-coupling limit model. If the quasiparticle is exciton, one can study the optical transition between the ground state $`G`$ and the exciton-polaron states $`\mathrm{\Psi }_L`$ with zero momentum (see Fig. 2).

To study the optical properties we consider the case when the coexistence occurs in the strong coupling limit, i.e. when $`\gamma _{12}^2/\omega \mathrm{\Delta }`$ and, therefore, the adiabatic approximation is justified . In this case one can find for given lattice deformation $`Q=\{Q_1,\mathrm{},Q_N\}`$ (N is the number of lattice modes) the adiabatic potential relieves $`ϵ_\mathrm{\Lambda }(Q)`$ ($`\mathrm{\Lambda }`$ is the index of lower $`l`$ and upper $`u`$ sheet) and express the eigenfunctions $`\psi _\mathrm{\Lambda }(𝐫,Q)=\alpha _1^\mathrm{\Lambda }(Q)\varphi _1(𝐫)+\alpha _2^\mathrm{\Lambda }(Q)\varphi _2(𝐫)`$ in terms of the excitonic wave functions $`\varphi _{1,2}(𝐫)`$ for undistorted lattice . In case of F-ST coexistence the lower sheet of the adiabatic potential contains two minima at different lattice distortions $`Q^t`$ ($`t=F,ST`$) which correspond to states with different lattice relaxation energy. When the minima are separated by large potential barrier one can neglect the $`Q`$-dependence of the electronic functions and introduce vibrational states $`\chi _t^{\{f\}}(QQ^t)=_{n=1}^N\chi _t^{f_n}(Q_nQ_n^t)`$ with quantum numbers $`\{f_n\}`$. The low laying eigenstates of the adiabatic approximation are

$$\stackrel{~}{\psi }_t^{\{f\}}(𝐫,Q)=\psi _l(𝐫,Q^t)\chi _t^{\{f\}}(QQ^t);t=F,ST,$$
(2)
with the eigenvalues $`E_t^{\{f\}}=ϵ_l(Q^t)+_{n=1}^N\omega _t^n(f_n+1/2)`$. The adiabatic basis (2) is an approximate one due to nondiagonal matrix elements of nonadiabatic operator . E.g., at critical $`\gamma _{12}^c`$ the ground state is already a mixture of weakly/strongly deformed states (inset in Fig. 1). However, the basis (2) is valid when interaction constant is close enough to the critical value $`\gamma _{12}^c`$ to create two wells but far enough to neglect the mixing of F and ST sets.

Spectrum of optical absorption. The optical properties of A-PMDA give the evidence of the strong exciton-phonon interaction . The low energy part of the absorption spectrum consists of the zero phonon line (ZPL) and a broad band with the full width at half maximum (FWHM) of around  500 cm-1. Therefore, the optical response qualitatively remind lineshape of F-color centers absorption spectra which correspond to transitions between displaced oscillators . However, all attempts to interpret the optical properties of A-PMDA  encountered apparent contradictions with the model : (i) absorption and emission spectra can not be described as one series of the equidistant lines ; (ii) the value of Huang-Rhys parameter $`S`$, evaluated from the ratio of ZPL and total oscillator strength, is inconsistent with the intensity distribution of the broad band \[E.g., the value $`S=4`$ extracted from the oscillator strengths of ZPL leads to the estimate FWHM=140cm-1. .\].

These long-standing puzzles can be interpreted (such treatment has never been attempted due to the RTT) as response of the coexisting F and ST states. To calculate induced cross section $`\sigma ^{\text{abs}}(E)`$ at energy $`E`$ of optical absorption which corresponds to transitions from the set $`\psi _G^{\{\alpha \}}(𝐫,Q)=\varphi _G(𝐫)\chi _G^{\{\alpha \}}(Q)`$ of $`\chi _G^{\{\alpha \}}(Q)`$ phonon states of ground electronic state $`\varphi _G(𝐫)`$ to the set of excited states in (2) one has to average over initial states $`\{\alpha \}`$ and sum over final states in (2). Using the standard approach , defining the electronic dipole matrix elements $`𝐌_i=𝑑𝐫(\varphi _G(𝐫))^{}𝐫\varphi _i(𝐫)`$, and introducing an average optic phonon frequency $`\overline{\omega }_t`$ one can take advantage of Huang-Rhys method  and obtain for zero temperature

$$\sigma ^{\text{abs}}(E)=4\pi ^2e^2/(3c)E\underset{t=F,ST}{}_tF_t^{\text{abs}}(E),$$
(3)
where

$$F_t^{\text{abs}}(E)=\frac{e^{S_t}}{\overline{\omega }_t}\underset{p=0}{\overset{\mathrm{}}{}}\frac{S_t^p}{p!}𝒮(Eϵ_l(Q^t)p\overline{\omega }_t,\mathrm{{\rm Y}}_t^p)$$
(4)
(Here $`S_t=(2N)^1\overline{\omega }_t_{n=1}^N(Q_n^t)^2`$ is the Huang-Rhys factor.) is the normalized shape function, and

$$_t=\underset{i,j}{}\left|\left(𝐌_i\alpha _i^l(Q^t)\right)^{}𝐌_j\alpha _j^l(\stackrel{~}{Q^t})\right|$$
(5)
is the weighting coefficient. Here $`e`$ and $`c`$ is electron charge and light velocity, $`E`$ is the average energy of transitions, $`𝒮(x,\mathrm{{\rm Y}}_t^p)=(\mathrm{{\rm Y}}_t^p/2\pi )(x^2+(\mathrm{{\rm Y}}_t^p/2)^2)^1`$, and $`\mathrm{{\rm Y}}_t^p`$ is the spectroscopic linewidth. We note that for $`T0`$ one can also use approach  since the average is performed over the one well of the ground state .

The contradiction (i) in the optical absorption spectrum of A-PMDA is resolved when one note that experimental data  contain two series of satellites in absorption spectrum: one arises from the ZPL with the step $`\overline{\omega }_F`$27 cm-1 (0 - 29 - 55 - 83 - 111 cm-1) and the second one (13 - 29 - 47 - 62 - 77 \- 88 cm-1) with the overtone $`\overline{\omega }_{ST}12`$ cm-1 originates from the 13 cm-1 satellite. The contradiction (ii) gains natural explanation since the spectrum is the superposition of the two contributions (3) from F and ST states with different parameters $`S_F`$ and $`S_{ST}`$

(Fig. 3).

Luminescence from QDST states. The main puzzle in luminescence spectra of A-PMDA is that although the pattern of satellites is symmetrically repeated in absorption and luminescence spectra, the intensity distribution of phonon sidebands is significantly different .

The experimental conditions of time-resolved luminescence spectroscopy are equivalent to the situation when at a moment $`t=0`$ the system is excited to the upper sheet $`U`$ whereas F and ST wells are empty. The rates of the intrawell nonradiative processes are significantly larger than that of interwell ones $`w_{UST}`$, $`w_{UF}`$ and $`w_{STF}`$ (see Fig. 2), because successive relaxation of the system within one well does not demand many-phonon transitions whereas those are compulsory for the interwell jumps. Due to this first link of the ”bottlenecks hierarchy” (BH), the states in one well can be treated as being in quasi-thermal equilibrium and only summary populations $`P_U(t)`$, $`P_{ST}(t)`$ and $`P_F(t)`$ have to be considered as dynamical variables with initial conditions $`P_U(t=0)=1`$ and $`P_{ST}(t=0)=P_F(t=0)=0`$. The differential intensities $`I^{U,ST,F}(t)`$ of luminescence can be expressed in terms of radiative rates $`R_U`$, $`R_{ST}`$, and $`R_F`$ as $`I^{U,ST,F}(t)=R_{U,ST,F}P_{U,ST,F}(t)`$, and non time-resolved experimental setup is defined by total yields $`Y_{\text{int}}^{U,ST,F}=R_{U,ST,F}_0^{\mathrm{}}P_{U,ST,F}(t)`$. If the lattice distortion $`Q^U`$ in the upper sheet minimum and that for $`ST`$-minimum of the lower sheet almost coincide whereas the lattice relaxation $`Q^F`$ for the minimum $`F`$ differs significantly (such situation can be easily obtained in strong-coupling limit model), there is the second link of the BH $`w_{UST}\mathrm{max}\{w_{UF},w_{STF}\}`$, which is due to Franck-Condon suppression of nonradiative processes $`UF`$ and $`STF`$. At low temperatures (when, e.g., ST state is metastable and the rates $`w_{UST}`$, $`w_{UF}`$, and $`w_{STF}`$ are negligibly small) the dynamics of the populations is reduced to the system of equations

$`\dot{P}_U(t)`$ $`=`$ $`(w_{UST}+w_{UF})P_U(t)`$ (6)
$`\dot{P}_{ST}(t)`$ $`=`$ $`(w_{STF}+R_{ST})P_{ST}(t)+w_{UST}P_U(t)`$ (7)
$`\dot{P}_F(t)`$ $`=`$ $`R_FP_F(t)+w_{UF}P_U(t)+w_{STF}P_{ST}(t).`$ (8)
The differential intensities of the luminescence from the states $`T`$ and $`F`$ are

$`I_{ST}(t)`$ $`=`$ $`{\displaystyle \frac{R_{ST}w_{UST}}{R_{ST}+w_{STF}w_{UST}w_{UF}}}\times `$ (10)
$`\left[e^{(w_{UST}+w_{UF})t}e^{(w_{STF}+R_{ST})t}\right]`$
and

$`I_F(t)=R_F`$ $`\{{\displaystyle \frac{(w_{UF}+𝒟)}{(R_Fw_{UST}w_{UF})}}\times `$ (14)
$`\left[e^{(w_{UST}+w_{UF})t}e^{R_Ft}\right]+`$
$`{\displaystyle \frac{𝒟}{(R_FR_{ST}w_{STF})}}\times `$
$`[e^{R_Ft}e^{(R_{ST}+w_{STF})t}]\},`$
respectively. Here $`𝒟=w_{UST}w_{STF}/(R_{ST}+w_{STF}w_{UST}w_{UF})`$. Introducing the dimensionless quantities $`𝒱_{UF,UST}=w_{UF,UST}/(w_{UST}+w_{UF})`$ and $`\eta _{ST}=R_{ST}/w_{STF}`$ one obtain the integral yields as $`Y_{ST}=\eta _{ST}𝒱_{UST}(1+\eta _{ST})^1`$ and $`Y_F=(1+\eta _{ST}𝒱_{UF})(1+\eta _{ST})^1`$, respectively. There are some domains of model parameters when one can observe vivid qualitative features. E.g., second link of the BH leads to relation $`Y_{ST}/Y_F1`$ provided the inequality $`R_{ST}>w_{STF}`$ takes place. Therefore, due to specific BH of the relaxation processes it is possible that, e.g., the $`F`$ state is distinctly observed in the light absorption spectra but is almost not seen in the spectra of non time-resolved luminescence. At the same time if criterion $`R_F<R_{ST}`$ is satisfied, at large times $`t>R_F^1`$ the ratio of differential intensities $`I_{ST}(t)/I_F(t)1`$ is opposite. Note, that this relation implies that $`_{ST}>_F`$ because the rate of radiative processes is governed by the matrix elements (5). Due to the first link of the BH at $`T=0`$ only ground vibrational states of the wells $`ST`$ and $`F`$ are populated at a moment of radiative transition. Therefore, the many-well structure leaves intact Huang-Rhys approach since no average over the initial states is necessary. Hence, the differential spectrum of the luminescence is $`\sigma (E,t)=I_{ST}(t)F_{ST}^{\text{em}}(E)+I_F(t)F_F^{\text{em}}(E)`$. Here the emission normalized shape function $`F_t^{\text{em}}(E)`$ can be obtained from (4) by replacing $`pp`$ in the function $`𝒮`$. For the lineshape of non time-resolved experiment one has to use integral yields $`Y_{ST}`$ and $`Y_F`$ instead of differential intensities (10) and (14). Note, that parameters $`S_F`$ and $`S_{ST}`$ are the same as in absorption experiment.

Finally, the difference between absorption and luminescence spectra pattern arises in A-PMDA due to the BH which manifests itself in the mirror image of sidebands coming from ST and F series in absorption and luminescence spectra, which relative intensities are different in two types of experiment. Moreover, due to the BH both 13 cm-1 peak  and the whole broad structure  have inverse relative spectral weights in luminescence and absorption spectrum. More evidences can be found in experiments on time-resolved luminescence because proper fit (Fig. 3) of the experimental curve  demands $`_F/_T<1`$ in (3), and, hence, criterion $`R_F<R_{ST}`$ is satisfied.

Conclusions. We have demonstrated that the coexistence of the F and ST states is possible even in 1D lattices, owing to the possibility of the QDST mechanism. When there are more than one electronic levels of a particle within the energy range of the lattice relaxation energy, F and ST states can coexist and even resonate. Hence, although the Rashba-Toyozawa theorem is not overthrown and remains valid within its domain of definition, there is the possibility of the coexisting of ST and F states in 1D systems. We have found several features which are unique for QDST states and can be checked in optical experiments. We have shown, that the QDST mechanism provides comprehensive description of the long-standing mystery of the optical properties of the quasi-1D compound A-PMDA.

We acknowledge M. Gonokami, B. V. Svistunov, and Y. Tokura for critical discussions. This work was supported by Priority Areas Grants and Grant-in-Aid for COE research from the Ministry of Education, Science, Culture and Sports of Japan, and RFBR 01-02-16508.


format: text

text:
# Classes de Chern en cohomologie rigide

## Introduction

La cohomologie rigide, introduite par Berthelot  est une théorie cohomologique $`p`$-adique. C’est une généralisation de la cohomologie de Monsky-Washnitzer  et de la cohomologie cristalline . Berthelot a démontré qu’elle vérifiait la propriété de finitude , la dualité de Poincaré et la formule de Künneth . Dans cet article nous étudions les classes de Chern. Dans  nous nous interesserons au cas des classes de cycles. Nous obtenons que la cohomologie rigide satisfait tous les axiomes des cohomologies de Weil.

Précisons les différentes parties de l’article.

Nous commençerons par un chapitre préliminaire, dans lequel on trouvera des rappels sur la définition de la cohomologie rigide ainsi que sur ses propriétées.

Dans le deuxième chapitre nous construisons les classes de Chern pour les variétés propres. Du fait de la définition même de la cohomologie rigide, cette construction s’apparente à une variante rigide des constructions de classes de Chern en cohomologie de De Rham. Cette méthode a l’avantage d’être élémentaire et explicite. Cependant, il semble difficile - ou au moins laborieux - de démontrer l’additivité de classes de Chern ainsi construites.

Dans le troisième chapitre, après avoir fait des rappels sur la cohomologie cristalline de niveau $`m`$, nous construisons des classes de Chern à valeur dans cette dernière en nous basant sur la construction des classes de Chern en cohomologie cristalline de Berthelot et Illusie . Cela nous permet de réinterpreter la construction des classes de Chern rigides. Cette méthode à l’avantage de donner une construction plus intrinsèque ce qui nous permet d’utiliser les méthodes classiques (restriction à un cas universel) pour démontrer l’additivité des classes de Chern.

On donnera aussi des théorèmes de comparaison entre nos classes de Chern et les classes de Chern cristallines ou les classes de Chern à valeur dans le topos convergent d’Ogus  construites par Niziol .

Dans le quatrième chapitre, nous nous intéressons aux variétés non nécessairement propres. Nous établissons quelques lemmes relatifs aux faisceaux localement libres et aux compactifications. L’outil principal est le théorème de platification par éclatement de Raynaud-Gruson . Nous démontrons, par la suite, le théorème principal qui stipule que pour calculer la première classe de Chern d’un faisceau inversible $`L`$ sur une variété $`X`$, il suffit de trouver un faisceau inversible $`\overline{L}`$ sur un compactifié $`\overline{X}`$ de $`X`$ se restreignant à $`L`$ sur cette dernière et de prendre l’image de la première classe de Chern de $`\overline{L}`$ par le morphisme de fonctorialité $`H_{rig}^2(\overline{X})H_{rig}^2(X).`$ Nous montrons en effet (théorème 4.2.1) que la classe ainsi trouvée ne dépend pas des choix faits. Nous construisons ensuite les autres classes de Chern de manière classique à l’aide de fibrés projectifs.

Cet article est la première partie - légèrement modifiée - de ma thèse de doctorat . Je tiens à remercier P. Berthelot pour tous les conseils qu’il m’a prodigués tout au long de la rédaction de cet article.

## 1. Préliminaires et notations

Tout au long de cet article, $`k`$ désignera un corps de caractéristique $`p>0`$. On appelera $`k`$-variété un schéma séparé de type fini sur $`\text{Spec}(k)`$. On se donne un anneau de valuation discrète complet d’inégale caractéristique $`V`$ de corps résiduel $`k`$. On note alors $`K`$ son corps des fractions.

Rappelons pour commencer la construction de la cohomologie rigide . Soit $`X`$ une $`k`$-variété. Il existe d’après Nagata , une variété propre $`\overline{X}`$ et une immersion ouverte $`j:X\overline{X}`$. On suppose alors qu’il existe une immersion fermée $`\overline{X}Y`$ dans un schéma formel $`Y`$ sur $`\text{Spf}(V)`$ lisse au voisinage de $`X`$ \- cette condition technique peut être supprimée en utilisant des résolutions de Cech, nous la garderons pour simplifier le propos. On considère la fibre générique rigide $`𝖸`$ de $`Y`$  et on note $`sp:𝖸Y`$ le morphisme de spécialisation. Rappelons \[6, 1.1\] que si on note $`Y_0`$ la réduction de $`Y`$ sur $`k`$, on appelle, pour tout sous-$`k`$-schéma $`T`$ de $`Y_0`$, tube de $`T`$ et on note $`]T[`$ le sous-ensemble $`sp^1(T)`$ des points de $`𝖸`$ qui se spécialisent dans $`T`$.

Avec les notations précédentes, on appelle voisinage strict \[6, 1.2\] de $`]X[`$ dans $`]\overline{X}[`$, tout ouvert $`V`$ de $`]\overline{X}[`$ tel que le recouvrement $`(V,]\overline{X}X[)`$ soit admissible. Dès lors, pour tout faisceau $`E`$ sur $`]\overline{X}[`$, on note

$$j^{}E:=\underset{\genfrac{}{}{0pt}{}{}{V}}{lim}\alpha _V\alpha _V^{}E,$$

où la limite inductive est prise sur tous les voisinages stricts de $`]X[`$ dans $`]\overline{X}[`$ et $`\alpha _V`$ désigne l’inclusion $`V]\overline{X}[`$.

On sait alors  que le complexe $`sp_{}j^{}\mathrm{\Omega }_{]\overline{X}[}^{}`$ vu comme objet de la catégorie dérivée des complexes de $`K`$-vectoriels sur $`\overline{X}`$ est indépendant à isomorphisme canonique près du choix de $`Y`$. On posera donc :

$$\underset{¯}{\mathrm{\Gamma }}_{rig}((X,\overline{X})/K):=sp_{}j^{}\mathrm{\Omega }_{]\overline{X}[}^{}.$$

Berthelot montre alors que les groupes de cohomologie

$$H^i(\overline{X},sp_{}j^{}\mathrm{\Omega }_{]\overline{X}[}^{})$$

ne dépendent pas de la compactification $`\overline{X}`$ choisie.

On pose donc

$$H_{rig}^i(X/K):=H^i(\overline{X},sp_{}j^{}\mathrm{\Omega }_{]\overline{X}[}^{}).$$

Quand il n’y aura pas d’ambiguïté sur la compactification nous noterons $`\underset{¯}{\mathrm{\Gamma }}_{rig}(X/K)`$ pour $`sp_{}j^{}\mathrm{\Omega }_{]\overline{X}[}^{}.`$

## 2. Cas des variétés propres

On va se restreindre au cas des variétés propres. Nous allons construire la première classe de Chern d’un faisceau inversible à l’aide d’un calcul de cocycle.

Remarque : Pour une $`k`$-variété propre, la cohomologie rigide est isomorphe à la cohomologie du topos convergent d’Ogus . Nos calculs ne sont donc qu’une réinterprétation de la construction des classes de Chern à valeurs dans le topos convergent \[19, A\] (proposition 3.6.6). Cependant ce calcul de cocycle sera nécessaire pour pouvoir étudier par la suite le cas des variétés ouvertes.

### 2.1. Première classe de Chern

Soient $`X`$ une variété propre, $`F`$ un faisceau inversible sur $`X`$ et une immersion fermée $`XY`$ dans un schéma formel sur $`\text{Spf}(V)`$ lisse au voisinage de $`X`$.

###### Lemme 2.1.1.

Il existe un recouvrement affine $`U=(U_i)_{i\mathrm{\Lambda }}`$ de $`Y`$ tel que si on note $`U_X`$ le recouvrement induit par $`U`$ sur $`X`$, le faisceau $`F`$ soit trivialisé sur $`U_X`$.

Démonstration :  Quitte à prendre un recouvrement affine de $`Y`$ on peut supposer que $`Y`$ et $`X`$ sont affines. On pose alors $`Y=\text{Spf}(A)`$ et $`X=\text{Spec}(A)`$$`A=A/I.`$ On choisit un recouvrement $`U=(X_i)_{i\mathrm{\Lambda }}`$ de $`X`$ trivialisant $`F`$. Quitte à raffiner le recouvrement, on peut supposer que pour tout $`i\mathrm{\Lambda }`$, il existe $`f_iA`$ tel que $`X_i=D(f_i)`$. Pour tout $`i\mathrm{\Lambda }`$, on choisit alors $`\stackrel{~}{f_i}`$ un relèvement de $`f_i`$ dans $`A`$, les ouverts $`\text{Spf}(\widehat{A_{\stackrel{~}{f_i}}})`$ recouvrent alors l’image de $`X`$ dans $`Y`$. En rajoutant des ouverts de $`YX`$, on obtient le recouvrement voulu.

$`\mathrm{}`$

On choisit donc un tel recouvrement $`U=(U_i)_{i\mathrm{\Lambda }}`$. Dès lors on considère $`U_X=(X_i)_{i\mathrm{\Lambda }}`$ le recouvrement induit sur $`X`$. Pour tout $`iI`$, on notera $`U_i=\text{Spf}(A_i)`$, $`X_i=\text{Spec}(A_i)`$$`A_i=A_i/I_i`$. On se donne alors un cocycle $`(u)Z^1(U_X,O_X^{})`$ représentant la classe du faisceau $`F`$ dans $`H^1(U_X,O_X^{}).`$

Commençons par un lemme :

###### Lemme 2.1.2.

Soit $`Y=\text{Spf}(A)`$ un $`V`$-schéma formel affine. Soit $`X=\text{Spec}(A)`$ un fermé de la fibre spéciale $`Y_0`$ de $`Y_0`$. On note $`]X[`$ le tube de $`X`$ dans la fibre générique rigide $`𝖸=Y_K`$. Pour tout $`\stackrel{~}{u}A`$ relevant un élément inversible $`u`$ de $`A`$, la restriction de $`u`$ à $`]X[`$ est inversible.

Démonstration :  On note $`v`$ l’inverse de $`u`$ dans $`A`$ et on choisit $`\stackrel{~}{v}`$ un relèvement de $`v`$ dans $`A`$. Dès lors, si on note $`I`$ le noyau de l’application $`AA`$, il existe $`aI`$ tel que

$$\stackrel{~}{u}.\stackrel{~}{v}=1+a.$$

On regarde $`a`$ comme une fonction analytique sur $`𝖸`$. Par définition du tube $`]X[`$, on a que, pour tout $`x]X[`$ :

$$|a(x)|<1.$$

La fonction $`1+a`$ est donc inversible sur cet ouvert et son inverse est la série :

$$\underset{n=0}{\overset{\mathrm{}}{}}(1)^na(x)^n$$

qui converge.

L’inverse de $`\stackrel{~}{u}`$ est alors

$$\stackrel{~}{u}^1=\stackrel{~}{v}(1+a)^1.$$

$`\mathrm{}`$

Pour tous $`i,j`$ des éléments de $`\mathrm{\Lambda }`$ on note $`v_{ij}A_{ij}`$ l’inverse de $`u_{ij}`$. On choisit alors des relèvements de ces deux éléments que l’on note ;

$$\stackrel{~}{u}_{ij}A_{ij}\text{ et }\stackrel{~}{v}_{ij}A_{ij}.$$

On sait grâce au lemme 2.1.2 que

$$\stackrel{~}{u}_{ij}\mathrm{\Gamma }(]X_{ij}[,O_{]X[}^{}).$$

De plus pour tous $`i,j,k`$ éléments de $`\mathrm{\Lambda }`$, on regarde :

$$\stackrel{~}{u}_{ij}.\stackrel{~}{v}_{ik}.\stackrel{~}{u}_{jk}.$$

Comme $`(u)`$ est un cocycle, la réduction modulo $`I_{ijk}`$ de ce terme est égale $`1`$. Il existe donc $`b_{ijk}I_{ijk}`$ tel que :

$$\stackrel{~}{u}_{ij}.\stackrel{~}{v}_{ik}.\stackrel{~}{u}_{jk}=1+b_{ijk}.$$

A partir de là, dans $`\mathrm{\Gamma }(]X_{ijk}[,O_{]X[})`$, il existe $`y_{ijk}`$ tel que

$$\stackrel{~}{u}_{ij}.\stackrel{~}{u}_{ik}^1.\stackrel{~}{u}_{jk}=(1+b_{ijk}).(1+a_{ij})^1=1+y_{ijk}.$$

De plus, il est clair que pour tout $`x]X_{ijk}[`$, on a :

$$|y_{ijk}(x)|<1.$$

Comme ci dessus :

$$c_{ijk}:=\mathrm{log}(\stackrel{~}{u}_{ij}.\stackrel{~}{u}_{ik}^1.\stackrel{~}{u}_{jk})=\underset{n=1}{\overset{\mathrm{}}{}}(1)^{n1}\frac{y_{ijk}^n}{n}$$

converge sur $`]X_{ijk}[`$.

On note $`U_K`$ le recouvrement admissible de $`]X[`$ par les ouverts $`]X_i[`$ \[6, 1.1.14\]. On considère alors le bicomplexe $`C^{}(U_K,\mathrm{\Omega }_{]X[}^{})`$. On note $`d`$ la différentielle provenant de la différentielle du complexe $`\mathrm{\Omega }_{]X[}^{}`$ et $`\delta `$ celle qui provient du complexe de Cech. On considère alors le complexe simple associé, encore noté $`C^{}(U_K,\mathrm{\Omega }_{]X[}^{})`$, muni de sa différentielle définie sur le terme $`C^p(U_K,\mathrm{\Omega }_{]X[}^q)`$ par :

$$\mathrm{\Delta }=\delta +(1)^pd.$$

On construit un élément

$$c_1(u)C^2(U_K,\mathrm{\Omega }_{]X[}^{})=C^0(U_K,\mathrm{\Omega }_{]X[}^2)C^1(U_K,\mathrm{\Omega }_{]X[}^1)C^2(U_K,O_{]X[})$$

en posant :

$$c_1(u)_i=0,$$

$$c_1(u)_{ij}:=d(\stackrel{~}{u}_{ij}).\stackrel{~}{u}_{ij}^1C^1(U_K,\mathrm{\Omega }_{]X[}^1),$$

et

$$c_1(u)_{ijk}:=\mathrm{log}(\stackrel{~}{u}_{ij}.\stackrel{~}{u}_{ik}^1.\stackrel{~}{u}_{jk})C^2(U_K,O_{]X[}).$$

Il est clair qu’avec les notations ci-dessus on a :

$$\mathrm{\Delta }(c_1(u))=0.$$

Notons que l’élément ainsi construit dépend du choix de nos relèvements ; nous allons montrer cependant que sa classe dans $`^2(U_K,\mathrm{\Omega }_{]X[}^{})`$ n’en dépend pas.

Soient $`(u)C^1(U_X,O_X^{})`$ et $`(\theta )C^0(U_X,O_X^{})`$. On pose :

(2.A)
$$u^{}=u.\delta (\theta ).$$

Comme précédemment, on choisit pour tout $`i\mathrm{\Lambda }`$, des relèvements $`\stackrel{~}{\theta }_iA_i`$ de $`\theta _i`$. Le lemme 2.1.2 nous dit que la fonction $`\stackrel{~}{\theta }_i`$ est inversible sur $`]X_i[`$. On pose :

(2.B)
$$\zeta _i=\frac{d\stackrel{~}{\theta }_i}{\stackrel{~}{\theta }_i}C^0(U_K,\mathrm{\Omega }_{]X[}^1).$$

De plus l’équation 2.A nous dit que pour tous $`i,j\mathrm{\Lambda }`$, si $`\stackrel{~}{u}_{ij}`$ et $`\stackrel{~}{u}_{ij}^{}`$ sont respectivement des relèvements de $`u_{ij}`$ et $`u_{ij}^{}`$, il existe $`\alpha _{ij}\mathrm{\Gamma }(]X_{ij}[,O_{]X[})`$ tel que pour tout $`x]X_{ij}[`$ on ait $`|\alpha _{ij}(x)|<1`$ et que :

$$\stackrel{~}{\theta }_i\stackrel{~}{u}_{ij}^{}=\stackrel{~}{\theta }_j\stackrel{~}{u}_{ij}(1+\alpha _{ij})$$

$`\stackrel{~}{\theta }_i`$ et $`\stackrel{~}{\theta }_j`$ sont vus comme des éléments de $`\mathrm{\Gamma }(]X_{ij}[,O_{]X[})`$ par les flèches de restriction évidentes.

On pose alors :

(2.C)
$$\zeta _{ij}=\mathrm{log}(1+\alpha _{ij})C^1(U_K,O_{]X[}),$$

où le $`\mathrm{log}`$ est défini comme précédemment.

Les formules 2.B et 2.C définissent :

$$\zeta C^1(U_K,\mathrm{\Omega }_{]X[}^{})=C^0(U_K,\mathrm{\Omega }_{]X[}^1)C^1(U_K,O_{]X[}).$$

###### Lemme 2.1.3.

Avec les notations ci-dessus, on a :

$$c_1(u^{})c_1(u)=\mathrm{\Delta }(\zeta ).$$

Démonstration :  On a le diagramme suivant

On va calculer $`\mathrm{\Delta }(\zeta ).`$ On a :

$$\mathrm{\Delta }(\zeta )_i=d\left(\frac{d\stackrel{~}{\theta }_i}{\stackrel{~}{\theta }_i}\right)=0.$$

$$\begin{array}{ccc}\mathrm{\Delta }(\zeta )_{ij}& =& \delta (\zeta _i)d(\zeta _{ij})\\ & =& \frac{d\stackrel{~}{\theta }_j}{\stackrel{~}{\theta }_j}\frac{d\stackrel{~}{\theta }_i}{\stackrel{~}{\theta }_i}+d\mathrm{log}(1+\alpha _{ij})\\ & =& \frac{d\stackrel{~}{u^{}}_{ij}}{\stackrel{~}{u^{}}_{ij}}\frac{d\stackrel{~}{u}_{ij}}{\stackrel{~}{u}_{ij}}.\end{array}$$

$$\begin{array}{ccc}\mathrm{\Delta }(\zeta )_{ijk}& =& \delta (\zeta _{ij})\\ & =& \mathrm{log}\left(\frac{\stackrel{~}{\theta }_i\stackrel{~}{u^{}}_{ij}.\stackrel{~}{\theta }_k\stackrel{~}{u}_{ik}.\stackrel{~}{\theta }_j\stackrel{~}{u^{}}_{jk}}{\stackrel{~}{\theta }_j\stackrel{~}{u}_{ij}.\stackrel{~}{\theta }_i\stackrel{~}{u^{}}_{ik}.\stackrel{~}{\theta }_k\stackrel{~}{u}_{jk}}\right)\\ & =& \mathrm{log}(\stackrel{~}{u}_{ij}.\stackrel{~}{u}_{ik}^1.\stackrel{~}{u}_{jk})\mathrm{log}(\stackrel{~}{u^{}}_{ij}.\stackrel{~}{u^{}}_{ik}^1.\stackrel{~}{u^{}}_{jk}).\end{array}$$

$`\mathrm{}`$

On a donc montré que l’élément $`c_1(u)^2(U_K,\mathrm{\Omega }_{]X[}^{})`$ ne dépend ni du représentant du cocycle choisi ni des choix de relèvements (ce dernier cas est obtenu en prenant pour $`\theta `$ le cocycle trivial : $`\theta _i=1`$).

On construit donc bien ainsi une application

$$H^1(X,O_X^{})^2(U_K,\mathrm{\Omega }_{]X[}^{}).$$

Il est clair que cette application est compatible au raffinement du recouvrement $`U`$.

De plus, d’après le théorème $`B`$ , on sait que :

$$H_{rig}^2(X/K)=^2(]X[,\mathrm{\Omega }_{]X[}^{})=^2(U,\mathrm{\Omega }_{]X[}^{}).$$

Grâce a un plongement diagonal, on peut alors montrer que l’application ainsi construite ne dépend pas du choix du plongement. On note donc :

$$c_{1,rig}:H^1(X,O_X^{})H_{rig}^2(X/K),$$

l’application obtenue.

###### Proposition 2.1.4 (Fonctorialité).

Soient $`X`$ et $`X^{}`$ deux $`k`$-variétés propres et $`f:X^{}X`$ un morphisme. Pour tout faisceau inversible $`F`$ sur $`X`$ on a :

$$c_{1,rig}(f^{}F)=f^{}c_{1,rig}(F).$$

Démonstration :  La démonstration se fait par un calcul classique. Nous n’allons cependant pas le développer ici car nous allons donner plus tard une définition cristalline des classes de Chern et la fonctorialité sera alors évidente.

###### Proposition 2.1.5 (Multiplicativité).

Soient $`X`$ une $`k`$-variété propre et deux faisceaux inversibles $`F`$ et $`F^{}`$ sur $`X`$, on a :

$$c_{1,rig}(FF^{})=c_{1,rig}(F)+c_{1,rig}(F^{}).$$

L’application $`c_{1,rig}`$ est donc un morphisme de groupe.

Démonstration :  On choisit un recouvrement $`U`$ qui trivialise les deux faisceaux. Dès lors en notant $`(u)`$ et $`(u^{})`$ des cocycles représentant respectivement $`F`$ et $`F^{}`$, le faisceau $`FF^{}`$ est représenté par le cocycle $`(u.u^{})`$. En choisissant $`(\stackrel{~}{u})`$ et $`(\stackrel{~}{u}^{})`$ des relèvements de $`(u)`$ et $`(u^{})`$ respectivement, on a :

$$c_1(u.u^{})_{ij}=d(\stackrel{~}{u}_{ij}.\stackrel{~}{u}_{ij}^{}).(\stackrel{~}{u}_{ij}.\stackrel{~}{u}_{ij}^{})^1=c_1(u)_{ij}+c_1(u^{})_{ij}.$$

et

$$c_1(u.u^{})_{ijk}=\mathrm{log}(\stackrel{~}{u}_{ij}\stackrel{~}{u^{}}_{ij}.\stackrel{~}{u}_{ik}^1\stackrel{~}{u^{}}_{ik}^1.\stackrel{~}{u}_{jk}\stackrel{~}{u}_{jk}^{})=c_1(u)_{ijk}+c_1(u^{})_{ijk}.$$

$`\mathrm{}`$

###### Proposition 2.1.6 (Extension des scalaires).

Soit $`K^{}`$ une extension de $`K`$, d’anneau des entiers $`V^{}`$ et de corps résiduels $`k^{}`$. Pour tout faisceau inversible $`F`$ sur $`X`$ on note $`F^{}`$ le faisceau inversible sur $`X^{}=X\times _kk^{}`$ obtenu par changement de base. Le morphisme

$$H_{rig}^2(X/K)H_{rig}^2(X^{}/K^{})$$

envoie alors $`c_{1,rig}(L)`$ sur $`c_{1,rig}(L^{})`$.

Démonstration :  Il est clair que toutes nos constructions commutent aux changements de corps de base. $`\mathrm{}`$

Par la suite, on pourra donc choisir pour $`V`$ un anneau de Cohen associé à $`k`$.

### 2.2. Les autres classes

Nous allons suivre la méthode classique  afin de construire les autres classes de Chern d’un faisceau localement libre.

Nous allons calculer la cohomologie rigide d’un fibré projectif sur une base propre. Plus précisement on se donne $`X`$ une $`k`$-variété propre et $`E`$ un faisceau localement libre de rang $`r`$. On note alors $`=(E)`$ le fibré projectif associé, $`p:X`$ la projection et

$$\xi =c_{1,rig}(O_{}(1))H_{rig}^2(/K).$$

On peut alors regarder $`\xi `$ comme un morphisme dans $`D^+(X_{Zar})`$ :

$$\xi :_Xp_{}\underset{¯}{\mathrm{\Gamma }}_{rig}(/K)[2],$$

$`_X`$ est le faisceau constant $``$ sur $`X`$. Par cup-produit on a alors :

$$\xi ^i:_Xp_{}\underset{¯}{\mathrm{\Gamma }}_{rig}(/K)[2i].$$

Enfin on a le morphisme de fonctorialité :

$$\underset{¯}{\mathrm{\Gamma }}_{rig}(X/K)p_{}\underset{¯}{\mathrm{\Gamma }}_{rig}(/K).$$

On en déduit alors le morphisme dans $`D^+(X_{Zar})`$ :

(2.D)
$$\underset{i=0}{\overset{r1}{}}\xi ^i:\underset{i=0}{\overset{r1}{}}\underset{¯}{\mathrm{\Gamma }}_{rig}(X/K)[2i]p_{}\underset{¯}{\mathrm{\Gamma }}_{rig}(/K)$$

###### Proposition 2.2.1.

Avec les notations précédentes, l’application (2.D) est un isomorphisme.

Démonstration :  La démonstration est classique. La question étant locale, on peut supposer que $`E=O_X^r`$. On se donne alors une immersion fermée $`XY`$ dans un $`V`$-schéma formel lisse. On a alors le diagramme commutatif suivant :

Le faisceau $`O_{_X^r}(1)`$ se relevant en $`O_{_Y^r}(1)`$, on est ramené au lemme suivant :

###### Lemme 2.2.2.

Soit $`X`$ un affinoide, la flèche définie comme précédemment :

$$\underset{i=0}{\overset{r1}{}}\mathrm{\Omega }_{X/K}^{}[2i]p_{}\mathrm{\Omega }_{_X/K}^{}$$

est un isomorphisme

Démonstration :  La démonstration est analogue au cas analytique complexe . Ce résultat peut être obtenu directement en utilisant un théorème de type GAGA relatif en géométrie rigide \[16, 2.8\]. Il suffit pour cela de voir que la démonstration de  se recopie dans notre cas.

$`\mathrm{}`$

###### Corollaire 2.2.3.

Avec les notations ci-dessus, on a pour tout $`n`$ la décomposition suivante :

$$H_{rig}^n(/K)=\underset{i=0}{\overset{r1}{}}H_{rig}^{n2i}(X/K).\xi ^i.$$

On définit les classes de Chern supérieures comme dans le cas classique. On applique la décomposition du corollaire 2.2.3 à $`\xi ^r`$ et on obtient :

(2.E)
$$\xi ^r=\underset{i=1}{\overset{r}{}}(1)^{i+1}c_i(E)\xi ^{ri},$$

avec

$$c_i(E)H_{rig}^{2i}(X/K).$$

###### Définition 2.2.4.

Avec les notations précédentes, pour $`0<ir`$ on appelle $`i`$-ème classe de Chern de $`E`$ la classe $`c_i(E)`$. On pose de plus

$$c_0(E)=1\text{ dans }H_{rig}^0(X/K).$$

Remarque : En appliquant ce que l’on vient de voir à un fibré inversible $`F`$, on retrouve notre première classe de Chern. En effet la décomposition 2.E devient alors :

$$c_{1,rig}(O_{(F)}(1))=p^{}c_1(F).$$

Or la fonctorialité de $`c_{1,rig}`$ nous donne

$$c_{1,rig}(O_{(F)}(1))=p^{}c_{1,rig}(F).$$

On conclut en utilisant que $`p^{}`$ est injectif.

###### Proposition 2.2.5 (Fonctorialité).

Soient $`X`$ et $`X^{}`$ deux $`k`$-variétés propres et $`f:X^{}X`$ un morphisme. Pour tout $`E`$ faisceau localement libre de rang $`r`$ sur $`X`$ et tout $`i`$, on a

$$c_i(f^{}E)=f^{}c_i(E).$$

Démonstration :  On note $`^{}=(f^{}(E))`$ et $`\xi ^{}=c_1(O_{^{}}(1))`$. La fonctorialité de la première classe de Chern nous assure que

$$\xi ^{}=f^{}\xi .$$

On applique alors $`f^{}`$ à la décomposition 2.E. Le morphisme $`f^{}`$ étant compatible au produit, on obtient dans $`H_{rig}^{2r}(^{}/K)`$ :

$$\xi _{}^{}{}_{}{}^{r}=\underset{i=1}{\overset{r}{}}(1)^if^{}c_i(E)\xi _{}^{}{}_{}{}^{ri}.$$

La décomposition étant unique on a :

$$c_i(f^{}E)=f^{}c_i(E).$$

$`\mathrm{}`$

Remarque : La définition utilisée pour la cohomologie rigide ne permet pas d’utiliser la méthode classique  pour démontrer l’additivité des classes de Chern. Nous différons donc la démonstration de cette propriété à la section suivante.

## 3. Construction cristalline et comparaisons

Après avoir fait quelques rappels sur les topos cristallins de niveau $`m`$, nous construisons des classes de Chern à valeurs dans ces derniers en nous inspirant du cas cristallin classique (de niveau $`0`$) . Cela nous permettera de donner une construction cristalline des classes de Chern rigides construites précédemment. Cette formulation permet d’appliquer la méthode classique  pour démontrer l’additivité des classes de Chern en se ramenant à une situation universelle.

On établira aussi un théorème de comparaison avec les classes de Chern à valeur dans le topos convergent .

### 3.1. Les topos $`m`$-cristallins

Nous allons énoncer les principaux résultats sur la cohomologie cristalline de niveau $`m`$. Pour de plus amples informations on pourra consulter . Il sera aussi utile pour les puissances divisées de niveau $`m`$ de regarder .

On fixe une fois pour toutes un nombre premier $`p`$. Commençons par rappeler la définition d’un $`m`$-PD-idéal et de l’enveloppe à puissances divisées partielles de niveau $`m`$. On trouvera un exposé détailé de cette théorie dans .

###### Définition 3.1.1.

Soient $`A`$ une $`_{(p)}`$-algèbre, $`IA`$ un idéal et $`m0`$ un entier. On appelle structure partielle d’idéal à puissances divisées de niveau $`m`$ sur $`I`$ ($`m`$-PD-structure) la donnée d’un PD-idéal $`(J,\gamma )I`$ tel que

$$I^{(p^m)}+pIJ.$$

###### Définition 3.1.2.

Soient $`A`$ une $`_{(p)}`$-algèbre et $`IA`$ un idéal quelconque. Il existe une $`A`$-algèbre $`P^m(I)`$ et un $`m`$-PD-idéal $`\overline{I}P^m(I)`$ tel que $`IP^m(I)\overline{I}`$, qui soient universels pour les morphismes de $`A`$ dans un anneau $`A^{}`$ envoyant $`I`$ dans un $`m`$-PD-idéal $`I^{}`$. Cette algèbre munie de son $`m`$-PD-idéal est appelée l’enveloppe à puissances divisées partielles de niveau $`m`$ de $`(A,I)`$.

Remarque : On a le diagramme commutatif suivant :

Soit $`C`$ un anneau de Cohen pour $`k`$. On rappelle \[3, I.1.2.4\] qu’il existe une unique structure de $`PD`$-idéal sur l’idéal maximal de $`C`$ notée $`\gamma `$. On note $`S=\text{Spf}(C)`$. Dans toute la suite nous ne regarderons que les topos cristallins de base $`S`$ car c’est eux qui interviennent dans la comparaison avec la cohomologie rigide.

###### Définition 3.1.3.

Soient $`X`$ un $`S`$-schéma sur lequel $`p`$ est localement nilpotent et $`m`$. On appelle site cristallin de niveau $`m`$ de $`X`$ relativement à $`(S,(p),\gamma )`$ et on note $`Cris^m(X/S)`$ le site ayant pour objets les $`S`$-immersions fermées $`UT`$$`U`$ est un ouvert de $`X`$, $`p`$ est localement nilpotent sur $`T`$ et où l’idéal définissant ces immersions est muni d’une $`m`$-PD-structure compatible à $`\gamma `$.

Par la suite nous appellerons topos cristallin de niveau $`m`$ et nous noterons $`(X/S)_{cris}^m`$ le topos associé au site $`Cris^m(X/S)`$.

Remarque : pour $`m=0`$ on retrouve le topos cristallin classique.

Il est possible de donner une description des objets du topos cristallin de niveau $`m`$ similaire à celle que l’on a pour le topos cristallin classique. Pour définir un faisceau $`F`$ du topos cristallin de niveau $`m`$, il suffit de donner pour tout élément $`(U,T)`$ du site $`m`$-cristallin, un faisceau zariskien $`F_{(U,T)}`$ (noté aussi $`F_T`$) sur $`T`$ ; ces données étant assujetties à des hypothèses de compatibilités similaires à celles du cas classique.

On peut de cette manière construire les faisceaux suivants :

* Le faisceau $`O_{X/S}^m`$ est défini par :

$$(O_{X/S}^m)_{(U,T)}=O_T.$$
* Le faisceau $`I_{X/S}^m`$ est défini par :

$$(I_{X/S}^m)_{(U,T)}=I_T$$

$`I_T`$ est le faisceau définissant l’immersion $`UT`$.
* Le faisceau $`J_{X/S}^m`$ est défini par :

$$(J_{X/S}^m)_{(U,T)}=J_T$$

$`J_T`$ est le PD-idéal définissant la $`m`$-PD structure sur $`I_T`$.

Notations : Pour tout $`k`$-variété $`X`$ et tout $`m`$, on note :

$$H_{mcris}^i(X):=H^i((X/S)_{cris}^m,O_{X/S}^m).$$

Nous allons maintenant étudier comment se comportent ces topos quand on fait varier $`m`$.

###### Proposition 3.1.4.

Pour tous $`m,m^{}`$ avec $`mm^{}`$ il existe un morphisme de topos :

$$i_{m^{},m}:(X/S)_{cris}^m(X/S)_{cris}^m^{}.$$

De plus ces morphismes vérifient que pour tout triplet $`mm^{}m^{\prime \prime }`$ on a :

$$i_{m^{\prime \prime },m}\stackrel{}{}i_{m^{\prime \prime },m^{}}i_{m^{},m}.$$

Ces morphismes sont donnés de la manière suivante :

* pour tout $`E^{}`$ dans $`(X/S)_{cris}^m^{}`$ et tout $`(U,T,I)Cris^m(X/S)`$ on a :

$$\mathrm{\Gamma }((U,T),i_{m^{},m}^{}E^{})=\mathrm{\Gamma }((U,T),E^{})$$

en utilisant que l’idéal $`J`$ définissant la $`m`$-PD-structure de $`I`$ définit aussi une $`m^{}`$-PD-structure sur $`I`$.
* pour tout $`E`$ dans $`(X/S)_{cris}^m`$ et tout $`(U,T,I)Cris^m^{}(X/S)`$ on a :

$$\mathrm{\Gamma }((U,T),i_{m^{},m}^{}{}_{}{}^{}E)=\mathrm{\Gamma }((U,T^m),E)$$

$`T^m`$ est l’enveloppe à puissances divisées de niveau $`m`$ de $`I`$ compatible aux puissances divisées définissant la $`m^{}`$-PD-structure de $`I`$.

On construit alors un morphisme canonique

$$u_{m^{},m}:O_{X/S}^m^{}i_{m^{},m}O_{X/S}^m$$

qui est donné sur un épaississement $`(U,T)`$ par le morphisme canonique $`O_TO_{T^m}.`$ Le morphisme $`i_{m^{},m}`$ devient ainsi un morphisme de topos annelés.

Pour finir avec ces généralités sur les topos $`m`$-cristallins, notons qu’il existe, comme dans le cas classique, un morphisme de projection sur le topos zariskien :

$$u_{X/S}^m:(X/S)_{cris}^mX_{Zar},$$

ainsi qu’un morphisme d’inclusion du topos Zariskien dans le topos $`m`$-cristallin :

$$i_{X/S}^m:X_{Zar}(X/S)_{cris}^m.$$

###### Lemme 3.1.5.

Pour tous $`m,m^{}`$ avec $`mm^{}`$ on a les diagrammes commutatifs suivants :

et
### 3.2. Classes de Chern $`m`$-cristallines

Nous allons généraliser la construction de  au cas des topos $`m`$-cristallins. On se fixe $`m`$, avec les notations précédentes, on a ,comme dans le cas de la cohomologie cristalline de niveau $`0`$, une suite exacte dans $`(X/S)_{cris}^m`$ :

$$01+I_{X/S}^m(O_{X/S}^m)^{}i_{}^m(O_X^{})0.$$

On considère le cobord de cette suite exacte qui nous fournit un morphisme dans $`D^+((X/S)_{cris}^m,Ab)`$ :

(3.A)
$$i_{}^m(O_X^{})[1](1+I_{X/S}^m)[2].$$

L’élévation à la puissance $`p^m`$ nous donne un morphisme :

$$1+I_{X/S}^m1+J_{X/S}^m.$$

L’idéal $`J_{X/S}^m`$ est muni d’une structure de $`PD`$-idéal, on peut donc construire un logarithme. En le composant avec le morphisme précédent on obtient :

$$\begin{array}{cccc}\psi _m:& 1+I_{X/S}^m& & J_{X/S}^m\\ & (1+x)& & \mathrm{log}((1+x)^{p^m})\end{array}$$

En composant 3.A avec $`\psi _m`$, on obtient

(3.B)
$$c_{1,m}:i_{}^m(O_X^{})[1]J_{X/S}^m[2].$$

Par suite en composant avec $`J_{X/S}^mO_{X/S}^m`$ et en passant à la cohomologie on a :

(3.C)
$$c_{1,m}:H^1(X,O_X^{})H_{mcris}^2(X).$$

###### Proposition 3.2.1 (Fonctorialité).

Soient $`X`$ et $`Y`$ deux $`k`$-variétés, $`f:XY`$ un morphisme et $`F`$ un faisceau inversible sur $`Y`$, on a

$$c_1(f^{}F)=f^{}c_1(F).$$

Démonstration :  La preuve de notre proposition découle directement du diagramme commutatif suivant :

et du fait que les suites exactes utilisées sont fonctorielles.

$`\mathrm{}`$

Maintenant que l’on a construit la première classe de Chern d’un faisceau inversible, nous allons en déduire les autres par la méthode habituelle .

On se donne $`E`$ un faisceau localement libre de rang $`r`$ sur $`X`$, on note $`=(E)`$ son fibré projectif et $`O_{}(1)`$ le faisceau canonique sur ce dernier. Le morphisme structural de $``$ sera noté $`p:X`$.

On a alors le diagramme commutatif de morphismes de topos suivant :

On note

$$\xi =c_{1,m}(O_{}(1))H_{mcris}^2().$$

On peut alors voir pour tout $`i`$, $`\xi ^i`$ comme un morphisme dans $`D^+((X/S)_{cris}^m,Ab)`$ :

$$\xi ^i:_Xp_{cris}^mO_{/S}^m[2i].$$

De même, le morphisme $`p_{cris}^m`$ nous donne un morphisme :

$$O_{X/S}^mp_{cris}^mO_{/S}^m.$$

On en déduit alors comme dans le cas classique :

(3.D)
$$\underset{i=0}{\overset{r1}{}}\xi ^i:\underset{i=0}{\overset{r1}{}}O_{X/S}^m[2i]p_{cris}^mO_{/S}^m.$$

On a alors la proposition suivante :

###### Proposition 3.2.2.

Avec les notations précédentes, l’application (3.D) est un isomorphisme.

Démonstration :  On remarque que, la question étant locale, on peut supposer que $`E=O_X^r`$ et qu’il existe une immersion fermée de $`X`$ dans $`Y`$ un $`S`$-schéma formel lisse. En notant $`\widehat{P}`$ l’enveloppe à puissance $`m`$-divisée de cette immersion on a le diagramme :

Dans cette situation, la cohomologie $`m`$-cristalline se calcule comme la cohomologie de De Rham de l’enveloppe à puissances divisées. Le faisceau $`O_{_X^r}(1)`$ se relevant en $`O_{_{\widehat{P}}^r}(1)`$, on est ramené au même problème pour la cohomologie de De Rham de $`^r`$ sur $`\widehat{P}`$. La proposition est connue dans ce cas.

$`\mathrm{}`$

###### Corollaire 3.2.3.

Avec les notations ci-dessus on a pour tout $`n`$ la décomposition suivante :

$$H_{mcris}^n()=\underset{i=0}{\overset{r1}{}}H_{mcris}^{n2i}(X).$$

On définit les autres classes de Chern comme dans le cas classique. On applique la décomposition du corollaire 3.2.3 à $`\xi ^r`$ et on obtient :

$$\xi ^r=\underset{i=1}{\overset{r}{}}(1)^{i+1}c_{i,m}(E)\xi ^{ri},$$

avec :

$$c_{i,m}(E)H_{mcris}^{2i}(X).$$

Par définition $`c_i(E)`$ est la $`i`$-ème classe de Chern de $`E`$.

Remarque : Comme dans la section 2, on note $`c_0(E)=1`$ dans $`H_{mcris}^0(X)`$.

Nous allons nous intéresser à l’additivité des classes de Chern définies ci-dessus. La démonstration utilisant une comparaison avec la cohomologie de De Rham, nous nous contenterons de regarder la situation après tensorisation par $``$ <sup>1</sup><sup>1</sup>1Soient $`X`$ une $`k`$-variété et $`X^{(m)}`$ le pull-back par le $`m`$-ieme itéré du Frobenius de $`k`$. Pour tout faisceau localement libre $`E`$ sur $`X`$, on notera $`E^m`$ sont pull-back sur $`X^{(m)}`$. Il semble clair alors que la classe de Chern $`c_{i,m}(E)`$ à valeurs dans $`H_m^{2i}(X)`$ soit l’image de la classe $`c_{i\mathrm{,0}}(E^{(m)})`$ par le morphisme
$$F_m^{}:H_{cris}^{2i}(X^{(m)})H_{mcris}^{2i}(X^),$$
dont on trouve la définition dans . On déduit alors de l’additivité des classes de Chern cristallines de niveau $`0`$, l’additivité des classes de Chern $`m`$-cristallines..

Plus précisément, on note

$$H_{m,}^i(X):=H^i((X/S)_{cris}^m,O_{X/S})$$

et, pour tout faisceau localement libre $`E`$ sur $`X`$

$$c_{i,m}^{}(E)H_{m,}^{2i}(X),$$

la $`i`$-eme classe de Chern définie comme ci-dessus.

###### Proposition 3.2.4 (Additivitée).

Soient $`X`$ une $`k`$-variété, $`E`$, $`E^{}`$ et $`E^{\prime \prime }`$ trois faisceaux localement libres tels que l’on ait la suite exacte :

$$0E^{}EE^{\prime \prime }0.$$

On a alors pour tout $`m`$ et tout $`i`$ on a dans $`H_{m,}^{2i}(X)`$ :

$$c_{i,m}^{}(E)=\underset{j=0}{\overset{i}{}}c_{j,m}^{}(E^{})c_{ij,m}^{}(E^{\prime \prime }).$$

Démonstration :  La fonctorialité de nos constructions permet de les généraliser au cas des variétés simpliciales. On peut donc appliquer la méthode classique \[12, pp 217-224\] qui consiste à se ramener à une situation universelle. Remarquons que notre théorie cohomologique ne vérifie pas les axiomes demandés par loc. cit., cependant poour ramener l’additivité des classes de Chern à la situation universelle sur $`B_{}GL`$ on n’a besoin que du corollaire 3.2.3. A partir de là, on ne regarde que des variétés lisses relevables. On déduit donc notre proposition du résultat similaire en cohomologie de De Rham.

$`\mathrm{}`$

###### Proposition 3.2.5.

Soient $`X`$ une $`k`$-variété et $`E`$ un faisceau localement libre sur $`X`$ . Pour tous $`m,m^{}`$ avec $`mm^{}`$, on a pour tout $`i`$ :

$$\varphi _{m^{},m}c_{i,m^{}}(E)=p^{i(m^{}m)}c_{i,m}(E)$$

$`\varphi _{m^{},m}:H^{2i}((X/S)_{cris}^m^{},O_{X/S}^m^{})H^{2i}((X/S)_{cris}^m,O_{X/S}^m)`$ est le morphisme induit par $`u_{m^{},m}`$.

Démonstration :  Il suffit de le voir pour la première classe de Chern d’un faisceau inversible. Ce dernier cas découle directement de la définition.

$`\mathrm{}`$

### 3.3. Le topos $`(X/S)_{cris}^{}`$

Nous allons construire un topos permettant de calculer la cohomologie rigide de manière cristalline. Ce topos se construit comme le topos associé à un diagramme de topos \[2, IV,7\] ou \[14, VI\]. Le cas particulier nous intéressant, à savoir le cas des systèmes inductifs de topos est repris dans \[22, II\].

###### Définition 3.3.1.

Avec les notations précédentes, on notera $`(X/S)_{cris}^{}`$ le topos associé au diagramme de topos $`((X/S)_{cris}^m,i_{m^{},m})_m`$.

Notations : On notera souvent un objet de ce topos de la manière suivante

$$F^{}=(F^0\mathrm{}F^m\mathrm{}).$$

On pose alors :

$$O_{X/S}^{}=(O_{X/S}^0\mathrm{}O_{X/S}^m\mathrm{}),$$

les flèches de transition étant, pour $`mm^{}`$, les morphismes $`u_{m^{},m}`$ définis précédemment. De la même manière, on pose :

$$I_{X/S}^{}=(I_{X/S}^0\mathrm{}I_{X/S}^m\mathrm{})$$

On considère alors le topos $`(X/S)_{cris}^{}`$ comme annelé par $`O_{X/S}^{}`$. On a les morphismes de topos annelés suivants :

$$p_m:((X/S)_{cris}^m,O_{X/S}^m)((X/S)_{cris}^{},O_{X/S}^{}).$$

Le lemme 3.1.5 nous dit que les morphismes de topos

$$u_{X/S}^m:(X/S)_{cris}^mX_{Zar}\text{ (resp. }i_{X/S}^m:X_{Zar}(X/S)_{cris}^m)$$

permettent de construire un morphisme de topos :

$$u_{X/S}^{}:(X/S)_{cris}^{}X_{Zar}^{}\text{ (resp. }i_{X/S}^{}:X_{Zar}^{}(X/S)_{cris}^{}).$$

De même, les foncteurs sections globales $`\mathrm{\Gamma }((X/S)_{cris}^m,):(X/S)_{cris}^m(Ens)`$ donnent naissance à un foncteur :

$$\mathrm{\Gamma }^{}((X/S)_{cris}^{},):(X/S)_{cris}^{}(Ens)^{}.$$

De plus, l’égalité de foncteurs :

$$\mathrm{\Gamma }((X/S)_{cris}^m,)=\mathrm{\Gamma }(X_{Zar},)u_{X/S}^m$$

implique que :

$$\mathrm{\Gamma }^{}((X/S)_{cris}^{},)=\mathrm{\Gamma }^{}(X_{Zar}^{},)u_{X/S}^{}$$

$`\mathrm{\Gamma }^{}(X_{Zar}^{},)`$ est le foncteur de $`X_{Zar}^{}`$ dans $`(Ens)^{}`$ défini de la même manière que $`\mathrm{\Gamma }^{}((X/S)_{cris}^{},)`$.

Remarque : On fera attention à ne pas confondre les foncteurs $`\mathrm{\Gamma }^{}((X/S)_{cris}^{},)`$ et $`\mathrm{\Gamma }^{}(X_{Zar}^{},)`$ avec les foncteurs sections globales des topos $`(X/S)_{cris}^{}`$ et $`X_{Zar}^{}`$. On a cependant

$$\mathrm{\Gamma }((X/S)_{cris}^{},)=\underset{}{lim}\mathrm{\Gamma }^{}((X/S)_{cris}^{},)\text{ et }\mathrm{\Gamma }(X_{Zar}^{},)=\underset{}{lim}\mathrm{\Gamma }^{}(X_{Zar}^{},).$$

Notations : Par la suite, nous noterons $`\underset{¯}{\mathrm{\Gamma }}_{cris}(X)`$ le complexe $`\underset{\genfrac{}{}{0pt}{}{}{m}}{lim}((u_{X/S}^{}{}_{}{}^{}O_{X/S}^{}))`$ et

$$H_{cris}^{}(X):=H^{}(X_{Zar}^{},(u_{X/S}^{}{}_{}{}^{}O_{X/S}^{}))=H^{}(X_{Zar},\underset{¯}{\mathrm{\Gamma }}_{cris}(X)).$$

### 3.4. Interprétation cristalline de la cohomologie rigide

Les définitions précédentes permettent d’énoncer l’interprétation cristalline de la cohomologie rigide.

###### Théorème 3.4.1 (Berthelot).

Soit $`X`$ une $`k`$-variété propre. En reprenant les notations précédentes on a

$$\underset{¯}{\mathrm{\Gamma }}_{rig}(X/K)\stackrel{}{}\underset{¯}{\mathrm{\Gamma }}_{cris}(X).$$

Démonstration :  Remarquons juste que la démonstration de ce théorème utilise un calcul de la cohomologie $`m`$-cristalline à l’aide de la cohomologie de De Rham qui ne se fait qu’a torsion prés, il est donc nécessaire de tensoriser par $``$. La démonstration se trouve dans . $`\mathrm{}`$

En passant à la cohomologie on obtient :

$$H_{rig}^i(X/K)\stackrel{}{}H_{cris}^i(X).$$

### 3.5. Construction des classes de Chern sur $`(X/S)_{cris}^{}`$

La construction est similaire à celle des classes de Chern $`m`$-cristalline.

Avec les notations précédentes, on a la suite exacte dans $`(X/S)_{cris}^{}`$ :

$$01+I_{X/S}^{}(O_{X/S}^{})^{}i_{}^{}(O_X^{})0.$$

Pour le démontrer il suffit d’utiliser la famille conservative des $`p_m^1`$. On obtient donc un morphisme dans $`D^+((X/S)_{cris}^{},Ab)`$ :

$$i_{}^{}(O_X^{})[1](1+I_{X/S}^{})[2].$$

En projetant ce dernier sur le topos zariskien on obtient dans $`D^+(X_{Zar}^{},Ab)`$ le morphisme :

(3.E)
$$(O_X^{})^{}[1]u_{X/S}^{}(1+I_{X/S}^{})[2].$$

Cependant, les morphismes $`\psi _m`$ définis précédemment ne construisent pas un morphisme sur les systèmes projectifs car ils ne commutent pas aux flèches des systèmes projectifs.

On considère le système projectif :

$$(1+I_{X/S}^{})(1)=(1+I_{X/S}^0\stackrel{p}{}\mathrm{}\stackrel{p}{}1+I_{X/S}^m\stackrel{p}{}\mathrm{})$$

où les flèches de transition sont l’élévation à la puissance $`p`$ des flèches classiques.

Les morphismes $`\psi _m`$ définissent alors :

$$\psi ^{}:(1+I_{X/S}^{})(1)J_{X/S}^{}.$$

Après projection sur le topos zariskien, on obtient :

$$u_{X/S}^{}((1+I_{X/S}^{})(1))[2]u_{X/S}^{}(J_{X/S}^{})[2].$$

En utilisant composant cette dernière avec la projection du morphisme $`J_{X/S}^{}O_{X/S}^{}`$, on a :

(3.F)
$$u_{X/S}^{}((1+I_{X/S}^{})(1))[2]u_{X/S}^{}(O_{X/S}^{})[2].$$

On peut d’autre part construire un morphisme de $`(1+I_{X/S}^{})(1)`$ dans $`1+I_{X/S}^{}`$ défini par l’élévation à la puissance $`p^m`$ en degré $`m`$.

On remarque alors que ce morphisme induit après tensorisation par $``$ un isomorphisme dans $`D^+(X_{Zar}^{},Ab)`$ :

(3.G)
$$u_{X/S}^{}((1+I_{X/S}^{})(1))\stackrel{}{}u_{X/S}^{}(1+I_{X/S}^{}).$$

En composant 3.E, l’inverse de 3.G et 3.F, on obtient, après passage à la limite :

(3.H)
$$c_{1,}:(O_X^{})[1]\underset{¯}{\mathrm{\Gamma }}_{cris}(X)[2].$$

Par suite en passant à la cohomologie on a :

(3.I)
$$c_{1,}:H^1(X,O_X^{})H_{cris}^2(X).$$

Comme dans le cas $`m`$-cristallin, la première classe de Chern permet de calculer la cohomologie des fibrés projectifs. On peut donc construire classiquement les autres classes de Chern.

Remarque : Comme dans la section 2, on note $`c_0(E)=1`$ dans $`H_{cris}^0(X)`$. De plus, si $`E`$ est un faisceau inversible, on retrouve la première classe de Chern construite auparavant.

###### Proposition 3.5.1.

Les classes de Chern $`c_{i,}`$ vérifient les propriétés d’additivitée et de fonctorialité.

Démonstration :  Cela se démontre comme les énoncés similaires pour la cohomologie $`m`$-cristalline.

$`\mathrm{}`$

### 3.6. Comparaison avec les classes de Chern rigides

Nous allons voir que les classes de Chern que nous venons de construire coïncident avec les classes de Chern rigides définies à la section 2. On se donne $`X`$, une $`k`$-variété propre, ainsi qu’un plongement $`XY`$ dans un schéma formel sur $`S=\text{Spf}(C)`$ lisse au voisinage de $`X`$.

###### Proposition 3.6.1.

On a le diagramme commutatif suivant :

$`c_{1,}`$ est le morphisme 3.I et la flèche verticale se déduit de celle de 3.4.1.

Démonstration :

###### Corollaire 3.6.2.

Les classes de Chern rigides vérifient la propriétés d’additivité.

Nous allons, comme dans , réinterpréter la construction de nos classes de Chern cristallines à l’aide de faisceaux Zariskiens. Nous utiliserons alors des résolutions de Cech afin de les comparer avec la définition de la section 2.

Dans $`D^+(X_{Zar})`$ nous noterons avec un $``$ en indice les complexes obtenus après tensorisation par $``$.

On notera $`Y_n`$ la réduction modulo $`p^{n+1}`$ de $`Y`$, pour tout $`m`$ et tout $`n`$, on note alors $`P_n^m`$ l’enveloppe à puissance $`m`$-divisée de l’immersion de $`X`$ dans $`Y_n`$, $`\widehat{P}^m`$ sa complétion $`p`$-adique et $`\widehat{P}^{}`$ le système projectif associé.

On regarde le complexe de De Rham et le complexe de De Rham multiplicatif dans $`X_{Zar}^{}`$, à savoir :

$$\mathrm{\Omega }_{\widehat{P}^{}/S}^{}=O_{\widehat{P}^{}}\stackrel{d}{}\mathrm{\Omega }_{\widehat{P}^{}/S}^1\mathrm{\Omega }_{\widehat{P}^{}/S}^2\mathrm{}$$

et :

$$\mathrm{\Omega }_{\widehat{P}^{}/S}^\times =O_{\widehat{P}^{}}^{}\stackrel{dlog}{}\mathrm{\Omega }_{\widehat{P}^{}/S}^1\mathrm{\Omega }_{\widehat{P}^{}/S}^2\mathrm{}$$

et on note $`K_{\widehat{P}^{}/S}^\times `$ (resp. $`I_{\widehat{P}^{}/S}^{}`$) le noyau de l’application de complexes $`\mathrm{\Omega }_{\widehat{P}^{}/S}^\times (O_X^{})^{}`$ (resp. $`\mathrm{\Omega }_{\widehat{P}^{}/S}^{}(O_X)^{}`$). On rappelle que $`I^m`$ est l’idéal de $`X`$ dans $`\widehat{P}^m`$.

De plus, comme précédemment, on note :

$$(1+I^{})(1)=(1+I^0\stackrel{p}{}1+I^1\stackrel{p}{}\mathrm{}\stackrel{p}{}1+I^m\stackrel{p}{}\mathrm{})$$

et :

$$\mathrm{\Omega }_{\widehat{P}^{}/S}^i(1)=(\mathrm{\Omega }_{\widehat{P}^0/S}^i\stackrel{p}{}\mathrm{\Omega }_{\widehat{P}^1/S}^i\stackrel{p}{}\mathrm{}\stackrel{p}{}\mathrm{\Omega }_{\widehat{P}^m/S}^i\stackrel{p}{}\mathrm{}).$$

Enfin on pose :

$$K_{\widehat{P}^{}/S}^\times (1)=(1+I^{})(1)\stackrel{dlog}{}\mathrm{\Omega }_{\widehat{P}^{}/S}^1(1)\mathrm{\Omega }_{\widehat{P}^{}/S}^2(1)\mathrm{}$$

On a alors un morphisme :

$$(K_{\widehat{P}^{}/S}^\times (1))_{}(\mathrm{\Omega }_{\widehat{P}^{}/S}^{})_{}$$

défini par les applications :

$$p^m\mathrm{log}:(1+I^m)O_{\widehat{P}^m}$$

et

$$\times p^m:\mathrm{\Omega }_{\widehat{P}^m/S}^i\mathrm{\Omega }_{\widehat{P}^m/S}^i.$$

Avec ces notations on a le diagramme commutatif suivant dans $`D^+(X_{zar}^{})`$ :

La première classe de Chern étant, par définition, l’application induite sur la cohomologie par la première ligne du diagramme, elle peut être calculée par la deuxième. Nous allons maintenant en faire un calcul explicite à l’aide de cocycles de Cech.

On sait que pour tout $`\sigma H^1(X,O_X^{})`$, il existe un recouvrement $`U`$ de $`Y`$ tel que $`\sigma `$ soit l’image d’un élément (encore noté $`\sigma `$) de $`H^1(U_X,O_X^{})`$.

Notations : on reprend les notations de la section 2. On notera de plus, $`I_i^m`$ l’idéal de $`X_i`$ dans $`\widehat{P}_i^m`$ et $`I_i^m=\mathrm{\Gamma }(\widehat{P}_i^m,I_i^m)`$. De même, on note $`\widehat{P}_i^m=\text{Spf}(\widehat{P}_i^m)`$. En notant $`P_{n,i}^m`$ l’enveloppe à puissances divisées de niveau $`m`$ de $`(A_i/p^{n+1}A_i,I_i/p^{n+1}I_i)`$$`I_i`$ est l’idéal de $`A_i`$ dans $`A_i`$, on a

$$\widehat{P}_i^m=\underset{\genfrac{}{}{0pt}{}{}{n}}{lim}P_{n,i}^m.$$

On a alors des morphismes :

$$\pi _i^m:\widehat{P}_i^mA_i.$$

On notera pour tout $`m^{}>m`$, $`\epsilon _i^{m,m^{}}`$ la flèche entre $`\widehat{P}_i^m^{}`$ et $`\widehat{P}_i^m`$. Dans le cas particulier où $`m^{}=m+1`$ nous la noterons simplement $`\epsilon _i^m`$.

Avec ces notations, $`\sigma `$ est donc représenté par un cocycle $`u_{ij}C^1(U_X,O_X^{})`$. On regarde donc le cocycle $`u_{ij}^mC^1(U,(O_X^{})^{})`$ défini par $`u_{ij}^m=u_{ij}`$ pour tout $`m`$. Ce cocycle définit une application dans $`D^+(X_{Zar})`$ : $`(O_X^{})^{}[1].`$ Nous allons montrer que l’application de $`D^+(X_{Zar})`$

$$(\mathrm{\Omega }_{\widehat{P}^{}/S}^{})_{}[2]$$

obtenue comme composition de cette application avec la deuxième ligne du diagramme précédent est représentable par un cocycle de $`C^2(U,\mathrm{\Omega }_{\widehat{P}^{}/S}^{}).`$

###### Définition 3.6.3.

Avec les notations précédentes, pour tout $`xA_i`$ on appelle relèvement compatible de $`x`$ une famille $`(\stackrel{~}{x}^m)\mathrm{\Pi }_m\widehat{P}_i^m`$ telle que :

* pour tout $`m`$ on ait $`\pi _i^m(\stackrel{~}{x}^m)=x`$
* pour tout $`m^{}>m`$ on ait $`\epsilon _i^{m,m^{}}(\stackrel{~}{x}^m^{})=\stackrel{~}{x}^m.`$

Le diagramme commutatif suivant :

montre que pour construire un relèvement compatible, il suffit de relever $`x`$ dans $`A_i`$ et d’utiliser les morphismes $`A_i\widehat{P}_i^m.`$ En particulier, il existe toujours des relèvements compatibles.

On appellera système compatible un élément vérifiant la deuxième condition.

Soit $`(\stackrel{~}{u}_{ij}^m)\mathrm{\Pi }_m\widehat{P}_{ij}^m`$ un relèvement compatible de $`u_{ij}=u_{ij}^m`$.

###### Lemme 3.6.4.

Avec les notations précédentes, $`\stackrel{~}{u}_{ij}^m`$ est inversible dans $`\widehat{P}_{ij}^m`$.

Démonstration :  On relève aussi $`(u_{ij})^1`$ de manière compatible en $`\stackrel{~}{v}_{ij}^m`$. On a alors :

$$\stackrel{~}{u}_{ij}^m.\stackrel{~}{v}_{ij}^m=1+x_{ij}^m1+I_{ij}^m.$$

De plus, $`I_{ij}^m`$ étant un $`m`$-PD-idéal, pour tout $`xI_{ij}^m`$ et tout $`k`$, on a :

$$x^k=q_k!x^{\{k\}_m}$$

$`k=p^mq_k+r_k`$ et $`0r_k<p^m`$. A partir de là, on voit que $`x^k`$ tend $`p`$-adiquement vers $`0`$ quand $`k`$ tend vers l’infini. Comme $`\widehat{P}_{ij}^m`$ est complet, la série :

$$\underset{k=0}{\overset{\mathrm{}}{}}(x_{ij}^m)^k$$

converge vers $`(1+x_{ij}^m)^1`$. L’inverse de $`\stackrel{~}{u}_{ij}^m`$ est donc :

$$\stackrel{~}{v}_{ij}^m.\underset{k=0}{\overset{\mathrm{}}{}}(x_{ij}^m)^k.$$

$`\mathrm{}`$

Remarque : ce lemme est l’anologue $`m`$-cristallin du lemme 2.1.2.

De plus il est clair d’après la définition que $`\stackrel{~}{x}_{ij}^m`$ et donc $`(\stackrel{~}{u}_{ij}^m)^1`$ sont des systèmes compatibles. A partir de là, on considère :

$$\frac{d\stackrel{~}{u}_{ij}^m}{\stackrel{~}{u}_{ij}^m}C^1(U,\mathrm{\Omega }_{\widehat{P}^m/S}^1)$$

et :

$$h_{ijk}^m=\stackrel{~}{u}_{ij}^m.(\stackrel{~}{u}_{ik}^m)^1.\stackrel{~}{u}_{jk}^mC^2(U\mathrm{,1}+I^m).$$

Ils définissent donc un élément de $`C^2(U,K_{\widehat{P}^{}/S}^\times )`$. Des calculs similaires à ceux de la section 2 montrent que si on modifie les relèvements choisis ou le choix du cocycle, on modifie cette classe d’un cobord. On obtient donc bien une application dans la catégorie dérivée :

$$K_{\widehat{P}^{}/S}^\times [2].$$

On inverse alors, après tensorisation par $``$, le morphisme $`K_{\widehat{P}^{}/S}^\times K_{\widehat{P}^{}/S}^\times (1)`$ en considérant le morphisme qui est défini en degré $`m`$ par la division par $`p^m`$. On obtient donc le cocycle :

$$(\frac{d\stackrel{~}{u}_{ij}^m}{\stackrel{~}{u}_{ij}^m}\frac{1}{p^m},\stackrel{~}{u}_{ij}^m.(\stackrel{~}{u}_{ik}^m)^1.\stackrel{~}{u}_{jk}^m\frac{1}{p^m})C^2(U,K_{\widehat{P}^{}/S}^\times (1)).$$

On conclut alors notre calcul en utilisant l’application égale en degré $`m`$ à la multiplication par $`p^m`$ sur la première composante et $`p^m\mathrm{log}`$ sur la deuxième. Ce qui nous donne :

$$(\frac{d\stackrel{~}{u}_{ij}^m}{\stackrel{~}{u}_{ij}^m}1,\mathrm{log}(\stackrel{~}{u}_{ij}^m.(\stackrel{~}{u}_{ik}^m)^1.\stackrel{~}{u}_{jk}^m)^{p^m}\frac{1}{p^m})C^2(U,\mathrm{\Omega }_{\widehat{P}^{}/S}^{})_{}.$$

Ce cocycle correspond, par le morphisme du théorème 3.4.1, à celui qui a été construit à la section2. $`\mathrm{}`$

###### Corollaire 3.6.5.

Soit $`X`$ une $`k`$-variété propre, on a le diagramme commutatif suivant :

où la flèche $`c_{1,cris}`$ est la première classe de Chern cristalline de  et la flèche verticale est celle qui est donnée par

$$H_{rig}^2(X/K)H_{cris}^2(X)H^2((X/S)_{cris},O_{X/S}).$$

Démonstration :  Grâce à la proposition, il suffit de comparer $`c_1^{}`$ avec $`c_{1,cris}`$. Or cette dernière s’obtient à partir de la première en appliquant le foncteur $`p_0^{}`$. $`\mathrm{}`$

###### Corollaire 3.6.6.

On a

$$c_{i,rig}(E)=c_{i,conv}(E)$$

via l’isomorphisme de \[20, 0.6.7\]

$$H_{rig}^{2i}(X/K)\stackrel{}{}H^{2i}((X/S)_{conv},K_{X/S})$$

$`c_{i,conv}`$ sont les classes de Chern définies dans \[19, A\].

Démonstration :  En notant $`T=(X,Y,Id_X)`$ on a les isomorphismes :

$$\underset{\genfrac{}{}{0pt}{}{}{m}}{lim}(u_{X/S}^{}(O_{X/S}^{}))\stackrel{}{}sp_{}\mathrm{\Omega }_{]X[}^{}\stackrel{}{}(K_{X/S})_T.$$

Dès lors la construction du $`c_{1,conv}`$ de \[19, A\] est la même que celle du $`c_{1,}`$ ci dessus. Les décompositions de $`H_{rig}^{}(_X/K)`$ comme $`H_{rig}^{}(X/K)`$-module et $`H^{}((_X/S)_{conv},K_{_X/S})`$ comme $`H^{}((X/S)_{conv},K_{X/S})`$-module étant compatibles, notre comparaison se prolonge aux $`c_i`$.

$`\mathrm{}`$

## 4. Cas des variétés ouvertes

Nous allons nous intéresser au cas général.

### 4.1. Méthode générale - Les théorèmes de prolongements

Nous allons construire la première classe de Chern d’un faisceau inversible en montrant qu’il existe une compactification de $`X`$ sur laquelle on peut prolonger ce faisceau en un faisceau inversible. On pourra alors conclure en montrant que la classe obtenue, en revenant, par fonctorialité, dans la cohomologie rigide de $`X`$, ne dépend pas des choix faits.

L’ingrédient principal pour montrer l’existence de ces prolongements de faisceaux est le théorème de platification par éclatement de Raynaud-Gruson . Nous allons avoir besoin de terminologie. Soient $`X`$ une $`k`$-variété, $`Y`$ une sous-variété fermée et $`F`$ un $`O_X`$-module. Si on note $`\pi :X^{}X`$ l’éclaté de $`Y`$ dans $`X`$, on appellera transformé strict de $`F`$, et on notera TS$`(F)`$, le quotient de $`\pi ^{}(F)`$ par le sous-faisceau engendré par les sections à support dans $`\pi ^1(Y).`$ Il est direct de montrer que le transformé strict d’un faisceau cohérent (resp. localement libre) est cohérent (resp. localement libre).

Passons à la démonstration des lemmes.

###### Lemme 4.1.1.

Soit $`X`$ une $`k`$-variété, il existe une $`k`$-variété propre $`\overline{X}`$ et une immersion ouverte $`j:X\overline{X}`$ telles que $`Z=\overline{X}X`$ soit un diviseur.

Démonstration :  D’après Nagata , il existe une $`k`$-variété propre $`\overline{X}_1`$ et une immersion ouverte $`j_1:X\overline{X}_1`$. Si on note $`Z_1=\overline{X}_1X`$, on considère l’éclatement $`\overline{X}`$ de $`\overline{X}_1`$ le long de $`Z_1`$. C’est encore une $`k`$-variété propre. De plus, l’éclatement ne modifiant pas $`\overline{X}_1Z_1`$, $`j_1`$ se prolonge en une immersion ouverte $`j:X\overline{X}`$ et $`Z=\overline{X}X`$ est un diviseur. $`\mathrm{}`$

Remarque : Par la suite nous noterons $`(\overline{X},j)`$ la donnée consistant en la variété propre $`\overline{X}`$ et l’immersion ouverte $`j:X\overline{X}`$. Nous supposerons toujours, sauf mention explicite que nos compactifications vérifient la condition du lemme 4.1.1.

###### Théorème 4.1.2.

Soient $`X`$ une $`k`$-variété et $`E`$ un faisceau localement libre de rang $`r`$ sur $`X`$. Il existe une compactification de $`X`$, $`j:X\overline{X}`$ et $`\overline{E}`$ un faisceau localement libre de rang $`r`$ sur $`\overline{X}`$ tel que :

$$j^{}(\overline{E})=E.$$

Démonstration :  On se donne une compactification $`(\overline{X}_1,j_1)`$ de $`X`$. D’après \[1, 6.9.8\], on sait qu’il existe $`E_1`$ un sous-faisceau cohérent de $`j_{1}^{}{}_{}{}^{}(E)`$ tel que $`j_1^{}(E_1)=E`$. On sait alors par le théorème de platification par éclatement de Raynaud-Gruson \[24, 5.2.2\] qu’il existe un éclatement $`\pi :\overline{X}\overline{X}_1`$ centré hors de $`X`$ tel que le transformé strict $`\overline{E}`$ de $`E_1`$ soit plat.

Or $`\overline{E}`$ est cohérent car c’est le transformé strict d’un faisceau cohérent, il est donc localement libre. L’éclatement ayant lieu en dehors de $`X`$, $`(\overline{X},j)`$ est encore une compactification de $`X`$ et $`j^{}\overline{E}=E.`$ Le faisceau $`\overline{E}`$ est de rang $`r`$. $`\mathrm{}`$

Remarque : si $`r=1`$ i.e, si $`E`$ est un faisceau inversible, on peut démontrer cette propriété de manière élémentaire. Comme précédemment, on choisit une compactification $`(\overline{X}_1,j_1)`$ de $`X`$ et $`E_1`$ un sous-faisceau cohérent de $`j_{1}^{}{}_{}{}^{}(E)`$ tel que $`j_1^{}(E_1)=E`$. Dès lors on regarde les fibrés projectifs :

On a alors $`j^{}(O_{(E_1)}(1))=O_{(E)}(1).`$

###### Théorème 4.1.3.

Soient $`X`$, $`X^{}`$ deux $`k`$-variétés et un morphisme $`f:X^{}X`$. Il existe des compactifications $`(\overline{X},j)`$ et $`(\overline{X}^{},j^{})`$ de $`X`$ et $`X^{}`$ respectivement, telles qu’on puisse trouver un morphisme propre $`\overline{f}:\overline{X}^{}\overline{X}`$ de sorte que l’on ait le diagramme commutatif :

De plus, si on se donne un faisceau $`E`$ localement libre de rang $`r`$ sur $`X`$, on peut choisir ces compactifications de sorte qu’il existe un faisceau localement libre $`\overline{E}`$ sur $`\overline{X}`$ tel que :

$$j^{}(\overline{E})=E.$$

On a alors :

$$(j^{})^{}(\overline{f}^{}\overline{E})=f^{}E.$$

Démonstration :  On se donne des compactifications $`(\overline{X},j)`$ et $`(\overline{X}_1^{},j^{})`$ de $`X`$ et $`X^{}`$ respectivement. On regarde alors $`\overline{X}_2^{}`$ l’adhérence schématique de $`X^{}`$ dans $`\overline{X}\times \overline{X}_1^{}`$. On note alors $`\overline{X}^{}`$ la variété obtenue en éclatant le complémentaire de $`X^{}`$ dans $`\overline{X}_2^{}`$. L’éclatement ayant lieu en dehors de $`X^{}`$ l’immersion de $`X^{}`$ dans $`\overline{X}_2^{}`$ se relève en une immersion de $`X^{}`$ dans $`\overline{X}^{}`$. On a donc le diagramme commutatif :

La flèche $`\overline{f}=\pi \overline{f}_2`$ est donc propre comme composition de morphismes propres. De plus, si on se donne sur $`X`$ un faisceau localement libre $`E`$, on peut grâce au théorème 4.1.2 choisir la compactification $`(\overline{X},j)`$ pour qu’il existe sur $`\overline{X}`$ un faisceau localement libre $`\overline{E}`$ vérifiant $`j^{}\overline{E}=E.`$ La dernière propriété est formelle. $`\mathrm{}`$

###### Théorème 4.1.4.

Soient $`X`$ une $`k`$-variété

$$0E^{}EE^{\prime \prime }0,$$

une suite exacte de faisceaux localement libres sur $`X`$. Il existe $`j:X\overline{X}`$ une compactification de $`X`$ et une suite exacte de faisceaux localement libres

$$0\overline{E}^{}\overline{E}\overline{E}^{\prime \prime }0$$

sur $`\overline{X}`$, telles que la restriction à $`X`$ de cette dernière soit la suite exacte dont on est parti..

Démonstration :  On choisit une compactification $`(\overline{X}_1,j_1)`$ de $`X`$. Il existe alors un sous-faisceau de $`j_{1}^{}{}_{}{}^{}(E)`$ qui soit cohérent et dont la restriction à $`X`$ soit $`E`$. Nommons un tel faisceau $`\overline{E}_1`$. On regarde alors la flèche composée :

$$\phi :\overline{E}_1j_{1}^{}{}_{}{}^{}(E)j_{1}^{}{}_{}{}^{}(E^{\prime \prime }).$$

On pose :

$$\overline{E}_{1}^{}{}_{}{}^{}:=\text{Ker}\phi \text{ et }\overline{E}_{1}^{}{}_{}{}^{\prime \prime }:=\overline{E}_1/\overline{E}_{1}^{}{}_{}{}^{}.$$

On obtient donc une suite exacte :

$$0\overline{E}_{1}^{}{}_{}{}^{}\overline{E}_1\overline{E}_{1}^{}{}_{}{}^{\prime \prime }0$$

$`\overline{E}_{1}^{}{}_{}{}^{}`$, $`\overline{E}_1`$ et $`\overline{E}_{1}^{}{}_{}{}^{\prime \prime }`$ sont trois faisceaux cohérents dont les restrictions à $`X`$ sont respectivement $`E^{}`$, $`E`$ et $`E^{\prime \prime }`$.

Comme ci-dessus, il existe un éclatement $`p_1:\overline{X}_2\overline{X}_1`$ en dehors de $`X`$ tel que $`\overline{E}_2=\text{TS}(\overline{E}_1)`$ soit localement libre. En posant :

$$\overline{E}_{2}^{}{}_{}{}^{\prime \prime }:=\text{TS}(\overline{E}_{1}^{}{}_{}{}^{\prime \prime })\text{ et }\overline{E}_{2}^{}{}_{}{}^{}:=\text{Ker}(\overline{E}_2\overline{E}_{2}^{}{}_{}{}^{\prime \prime })$$

on a une suite exacte :

$$0\overline{E}_{2}^{}{}_{}{}^{}\overline{E}_2\overline{E}_{2}^{}{}_{}{}^{\prime \prime }0.$$

De plus $`\overline{E}_{2}^{}{}_{}{}^{}`$ et $`\overline{E}_{2}^{}{}_{}{}^{\prime \prime }`$ sont cohérents, $`\overline{E}_2`$ est localement libre et la restriction de ces trois faisceaux à $`X`$ est la bonne. On considère alors un éclatement $`p_2:\overline{X}\overline{X}_2`$ en dehors de $`X`$ (vu comme ouvert de $`\overline{X}_2`$) tel que $`\overline{E}^{\prime \prime }=\text{TS}(\overline{E}_{2}^{}{}_{}{}^{\prime \prime })`$ soit localement libre. On procède comme précédemment en posant :

$$\overline{E}=p_2^{}(\overline{E}_2)\text{ et }\overline{E}^{}:=\text{Ker}(\overline{E}\overline{E}^{\prime \prime }).$$

On obtient alors une suite exacte :

$$0\overline{E}^{}\overline{E}\overline{E}^{\prime \prime }0$$

où les deux faisceaux de droite sont localement libres par construction (le transformé strict d’un faisceau localement libre est localement libre) et celui de gauche comme noyau d’une application surjective entre faisceaux localement libres. Les restrictions à $`X`$ sont toujours les bonnes. $`\mathrm{}`$

### 4.2. La première classe

Grâce au théorème 4.1.2 on va définir la première classe de Chern d’un faisceau inversible $`F`$ comme l’image par le morphisme de fonctorialité de la première classe de Chern d’un prolongement de $`F`$ sur une compactification. Pour cela, nous avons besoin du théorème suivant.

###### Théorème 4.2.1.

Soient $`X`$ une variété sur $`k`$ et $`F`$ un faisceau inversible sur $`X`$. Pour $`l\{\mathrm{1,2}\}`$ on se donne $`(\overline{X}_l,j_l)`$ une compactification de $`X`$ et $`\overline{F}_l`$ un faisceau inversible prolongeant $`F`$. On a alors :

$$j_{1}^{}{}_{rig}{}^{}(c_1(\overline{F}_1))=j_{2}^{}{}_{rig}{}^{}(c_1(\overline{F}_2)).$$

Démonstration :

Nous allons d’abord nous ramener à deux prolongements de notre faisceau sur la même variété. Nous utiliserons pour cela la méthode habituelle du plongement diagonal. On a le diagramme suivant :

$`\pi `$ est l’éclatement de l’adhérence schématique de $`X`$ dans $`\overline{X}_1\times \overline{X}_2`$ en le complémentaire de $`X`$. Les fonctorialités des classes de Chern dans le cas propre nous ramènent à montrer notre théorème pour $`(p_1\pi )^{}(\overline{F}_1)`$ et $`(p_2\pi )^{}(\overline{F}_2)`$, tous deux faisceaux inversible sur $`\overline{X}_3`$. En effet si on note encore $`\alpha `$ l’inclusion de $`X`$ dans $`\overline{X}_3`$ on a pour tout $`l\{\mathrm{1,2}\}`$ :

(4.A) $`j_{l}^{}{}_{rig}{}^{}(c_1(\overline{F}_l))`$ $`=`$ $`\alpha ^{}(p_l\pi )^{}(c_1(\overline{F}_l))`$
(4.B) $`=`$ $`\alpha ^{}c_1((p_l\pi )^{}\overline{F}_l).`$
De plus, grace à la multiplicativité de la première classe de Chern, on peut supposer de plus que $`\overline{F}_2=O_{\overline{X}}`$ et $`F=O_X`$.

On suppose donc donnée une compactification $`(\overline{X},j)`$ et un faisceau inversible $`\overline{F}`$ tel que

$$j^{}\overline{F}=O_X,$$

et on va montrer que $`j_{rig}^{}c_1(\overline{F})=0.`$

Nous allons utiliser un plongement et des calculs à la Cech pour faire la preuve. Comme à la section 2, on se donne une immersion fermée $`\overline{X}Y`$ dans un $`C`$-schéma formel lisse au voisinage de $`\overline{X}`$. On considère sa fibre générique rigide $`𝖸`$. On a donc le diagramme commutatif suivant :

En appliquant le lemme 2.2.1.1 on sait qu’il existe un recouvrement affine fini $`U`$ de $`Y`$ tel que le recouvrement induit $`U_{\overline{X}}`$ sur $`\overline{X}`$ trivialise $`\overline{F}`$. On pose alors $`U_i=\text{Spf}(A_i)`$ et $`\overline{X}_i=\overline{X}U_i=\text{Spec}(A_i)`$ avec $`A_i=A_I/I_i`$. On pose $`X_i=\overline{X}_iX`$ et $`U_X`$ le recouvrement de $`X`$ par ces ouverts. Quitte à prendre un recouvrement plus fin, on peut supposer qu’il existe $`\overline{f}_iA_i`$ tel que $`X_i`$ soit l’ouvert $`D(\overline{f}_i)`$ de $`\overline{X}_i`$. Pour tout $`i`$, on choisit alors $`f_iA_i`$ un relèvement de $`\overline{f}_i`$.

Remarque : on notera avec un multi-indice $`\underset{¯}{i}=(i_0,\mathrm{},i_n)`$ les mêmes choses définies par rapport à l’ouvert $`U_{\underset{¯}{i}}=U_{i_0}\mathrm{}U_{i_n}`$.

Pour tout multi-indice $`\underset{¯}{i}=(i_0,\mathrm{},i_n)`$, $`X_{\underset{¯}{i}}`$ est l’ouvert $`D(\overline{f}_{i_0}.\mathrm{}.\overline{f}_{i_n})`$ de $`\overline{X}_{\underset{¯}{i}}`$. On pose donc :

$$\overline{f}_{\underset{¯}{i}}=\overline{f}_{i_0}.\mathrm{}.\overline{f}_{i_n}.$$

On prend alors comme relèvement de $`\overline{f}_{\underset{¯}{i}}`$ dans $`A_{\underset{¯}{i}}`$ l’élément :

$$f_{\underset{¯}{i}}:=f_{i_0}.\mathrm{}.f_{i_n}$$

$`f_{i_k}`$ est vu comme élément de $`A_{\underset{¯}{i}}`$ via la flèche canonique $`A_{i_k}A_{\underset{¯}{i}}.`$

On choisit alors $`u`$ un cocycle représentant la classe de $`\overline{F}`$ dans $`H^1(U_{\overline{X}},O_{\overline{X}}^{}).`$

###### Proposition 4.2.2.

Avec les notations précédentes et en notant $`c_1(u)`$ l’ image de $`c_1(u)`$ par l’application $`C^2(U_K,\mathrm{\Omega }_{]\overline{X}[}^{})C^2(U_K,j^{}\mathrm{\Omega }_{]\overline{X}[}^{})`$, il existe $`\zeta C^1(U_K,j^{}\mathrm{\Omega }_{]\overline{X}[}^{})`$ tel que l’on ait l’égalité

$$c_1(u)=\mathrm{\Delta }(\zeta ).$$

On sait que ce cocyle représente un faisceau se restreignant à $`O_X`$ sur $`X`$. Il existe donc $`\theta C^0(U_X,O_X^{})`$ tel que :

$$u=\delta (\theta )$$

$`u`$ désigne par abus de notation l’image dans $`C^1(U_X,O_X^{})`$ du cocyle $`u`$. Pour tout $`i`$, $`\theta _i`$ est un élément iversible de $`(A_i)_{\overline{f}_i}`$, il existe donc $`k`$ tel que pour tout $`i`$ il existe $`\alpha _iA_i`$ et $`\beta _iA_i`$ tels que l’on ait dans $`A_{i}^{}{}_{\overline{f}_i}{}^{}`$ :

$$\frac{\alpha _i}{\overline{f}_i^k}=\theta _i\text{ et }\frac{\beta _i}{\overline{f}_i^k}=\theta _i^1.$$

Quitte à augmenter $`k`$ et à modifier $`\alpha _i`$ et $`\beta _i`$, on peut supposer que

$$\alpha _i.\beta _i=\overline{f}_i^{2k}.$$

De même, par définition de $`\theta `$, on sait que pour tout $`i,jI`$ on a dans $`(A_{ij})_{\overline{f}_{ij}}`$ :

$$\theta _iu_{ij}=\theta _j.$$

Quitte à augmenter de nouveau $`k`$, on obtient, dans $`A_{ij}`$, en multipliant par $`\overline{f}_{ij}^k`$ :

(4.C)
$$\overline{f}_j^k\alpha _iu_{ij}=\alpha _j\overline{f}_i^k.$$

On choisit des relèvements $`\stackrel{~}{\alpha }_i`$ (resp. $`\stackrel{~}{\beta }_i`$) de $`\alpha _i`$ (resp. $`\beta _i`$) dans $`A_i`$. On introduit alors pour tout $`0<\lambda <1`$ les voisinages stricts de $`]X_i[`$ dans $`]\overline{X}_i[`$ :

$$V_\lambda ^i=\{x]\overline{X}_i[||f_i(x)|\lambda \}$$

où on considère $`f_i`$ comme une fonction analytique sur $`]\overline{X}_i[`$. Sur ces ouverts, la fonction $`f_i`$ est inversible, on peut donc considérer les fonctions :

$$\stackrel{~}{\theta }_i=\frac{\stackrel{~}{\alpha }_i}{f_i^k}.$$

###### Lemme 4.2.3.

Avec les notations précédentes, il existe un voisinage strict de $`]X_i[`$ dans $`]\overline{X}_i[`$ sur lequel $`\stackrel{~}{\theta }_i`$ est inversible.

Démonstration :  La réduction modulo $`I_i`$ de $`\stackrel{~}{\alpha }_i.\stackrel{~}{\beta }_iA_i`$ est $`\overline{f}_i^{2k}`$. Il existe donc $`c_iI_i`$ tel que :

$$\stackrel{~}{\alpha }_i.\stackrel{~}{\beta }_i=f_i^{2k}+c_i.$$

On utilise alors les voisinages standards. On considère une suite d’éléments strictement positifs $`(\lambda _n)`$ tendant inférieurement vers $`1`$ et une suite $`(\eta _n)`$ tendant inférieurement vers $`1`$ telle que pour tout $`n`$ on ait :

$$\frac{\eta _n}{\lambda _n^{2k}}<1.$$

On se donne $`(g_{i,r})_r`$ un système de générateurs de l’idéal $`I_i`$. On pose alors :

$$V_n^i=\{x]\overline{X}_i[||f_i(x)|\lambda _n,r|g_{i,r}(x)|\eta _n\}.$$

On note $`V_{\underset{¯}{\lambda },\underset{¯}{\eta }}^i=_nV_n^i`$. C’est un voisinage strict de $`]X_i[`$ dans $`]\overline{X}_i[`$ \[6, 1.2.4\].

Pour tout $`x`$ dans cet ouvert on a par définition :

$$\left|\frac{c_i}{f_i^{2k}}(x)\right|<1.$$

Donc pour tout $`xV_{\underset{¯}{\lambda },\underset{¯}{\eta }}^i`$ la série :

$$\underset{l=0}{\overset{\mathrm{}}{}}(1)^l\left(\frac{c_i}{f_i^{2k}}(x)\right)^l$$

converge. Nous la noterons $`(1+c_i/f_i^{2k})^1`$. La fonction définie sur $`V_{\underset{¯}{\lambda },\underset{¯}{\eta }}^i`$ :

$$\stackrel{~}{\theta }_i^1=\frac{\stackrel{~}{\beta }_i}{f_i^k}.\left(1+\frac{c_i}{f_i^{2k}}\right)^1$$

est donc l’inverse de $`\stackrel{~}{\theta }_i`$. $`\mathrm{}`$

On pose alors :

(4.D)
$$\zeta _i=\frac{d\stackrel{~}{\theta }_i}{\stackrel{~}{\theta }_i}C^0(U_K,j^{}\mathrm{\Omega }_{]\overline{X}[}^1).$$

En relevant l’équation 4.C dans $`A_{ij}`$, on trouve qu’il existe $`b_{ij}I_{ij}`$ tel que :

$$f_j^k\stackrel{~}{\alpha }_i\stackrel{~}{u}_{ij}=\stackrel{~}{\alpha }_jf_i^k+b_{ij}$$

$`\stackrel{~}{u}_{ij}`$ est un relèvement de $`u_{ij}`$ servant à calculer la classe de Chern. On définit alors les ouverts

$$V_n^{ij}=\{x]\overline{X}_ij[||f_{ij}(x)|\lambda _n,r|g_{ij,r}(x)|\eta _n\},$$

où les $`g_{ij,r}`$ sont des générateurs de $`I_{ij}`$. On considère, comme précédemment $`V_{\underset{¯}{\lambda },\underset{¯}{\eta }}^{ij}=_nV_n^{ij}`$. C’est un voisinage strict de $`]X_{ij}[`$ dans $`]\overline{X}_{ij}[`$. En voyant tous ces termes comme des fonctions sur $`]\overline{X}_{ij}[`$ puis en se restreignant aux voisinages stricts $`V_{\underset{¯}{\lambda },\underset{¯}{\eta }}^{ij}`$, on vient de voir que $`\stackrel{~}{\theta }_j`$ était inversible.On obtient alors :

(4.E)
$$\stackrel{~}{\theta }_i\stackrel{~}{u}_{ij}=\stackrel{~}{\theta }_j\left(1+\frac{b_{ij}}{f_{ij}^k}\stackrel{~}{\theta }_j^1\right).$$

De même, pour tout $`xV_{\underset{¯}{\lambda },\underset{¯}{\eta }}^{ij},`$

$$|\stackrel{~}{\theta }_j^1(x)|\frac{1}{|f_j^k(x)|}\frac{1}{\lambda _n^k}$$

car $`|f_i(x)|`$ étant inférieure à $`1`$, on a

$$|f_i(x)||f_j(x)|\lambda _n|f_j(x)|\lambda _n.$$

Donc pour tout $`xV_{\underset{¯}{\lambda },\underset{¯}{\eta }}^{ij}`$ on a :

$$\left|\frac{b_{ij}}{f_{ij}^k}\stackrel{~}{\theta }_j^1(x)\right|<1.$$

Sur l’ouvert $`V_{\underset{¯}{\lambda },\underset{¯}{\eta }}^{ij}`$ on peut donc définir la fonction :

$$\zeta _{ij}:=\mathrm{log}\left(1+\frac{b_{ij}}{f_{ij}^k}\stackrel{~}{\theta }_j^1\right)=\underset{l=1}{\overset{\mathrm{}}{}}\frac{1}{l}\left(\frac{b_{ij}}{f_{ij}^k}\stackrel{~}{\theta }_j^1\right)^l.$$

On définit ainsi :

(4.F)
$$\zeta _{ij}C^1(U_K,j^{}O_{]\overline{X}[}).$$

En regroupant 4.D et 4.F, on obtient :

$$\zeta C^1(U_K,j^{}\mathrm{\Omega }_{]\overline{X}[}^{})=C^1(U_K,j^{}O_{]\overline{X}[})C^0(U_K,j^{}\mathrm{\Omega }_{]\overline{X}[}^1).$$

Un calcul similaire à celui de 2.1.3, qui se mène en utilisant l’égalité 4.E, montre que ce $`\zeta `$ vérifie bien

$$c_1(u)=\mathrm{\Delta }(\zeta ).$$

$`\mathrm{}`$

Avec les notations précédentes, $`c_1(u)`$ est envoyé sur zéro par l’application :

$$H^2(U_K,\mathrm{\Omega }_{]\overline{X}[}^{})H^2(U_K,j^{}\mathrm{\Omega }_{]\overline{X}[}^{}).$$

On a donc :

$$j_{rig}^{}(c_1(\overline{F}))=0.$$

$`\mathrm{}`$

On peut donc maintenant définir la première classe de Chern d’un faisceau inversible.

###### Définition 4.2.4.

Avec les notations précédentes, on pose

$$c_1(F):=j^{}c_1(\overline{F})$$

$`(\overline{X},j)`$ est une compactification vérifiant la condition du lemme 4.1.1 et $`\overline{F}`$ un faisceau inversible sur $`\overline{X}`$ tel que $`j^{}\overline{F}=F.`$

###### Proposition 4.2.5 (Fonctorialité).

Soient $`X`$ et $`X^{}`$ deux $`k`$-variétés et un morphisme $`f:X^{}X`$. Pour tout faisceau inversible $`F`$ sur $`X`$ on a :

$$f^{}c_1(F)=c_1(f^{}F).$$

Démonstration :  Grâce au théorème 4.1.3, on sait qu’il existe des compactifications $`(\overline{X},j)`$ et $`(\overline{X}^{},j^{})`$ de $`X`$ et $`X^{}`$ respectivement telles que l’on ait le diagramme commutatif suivant :

De plus, on peut les choisir telles qu’il existe un faisceau inversible $`\overline{F}`$ sur $`\overline{X}`$ vérifiant $`j^{}\overline{F}=F`$. On a alors :

$$\begin{array}{ccc}f^{}c_1^X(F)& =& f^{}j^{}c_1^{\overline{X}}(\overline{F})\\ & =& j_{}^{}{}_{}{}^{}\overline{f}^{}c_1^{\overline{X}}(\overline{F})\\ & =& j_{}^{}{}_{}{}^{}c_1^{\overline{X}^{}}(\overline{f}^{}\overline{F})\\ & =& c_1^X^{}(f^{}F),\end{array}$$

la dernière égalité venant du fait que l’on a :

$$j_{}^{}{}_{}{}^{}(\overline{f}^{}\overline{F})=f^{}F.$$

$`\mathrm{}`$

###### Proposition 4.2.6 (Multiplicativité).

Soient $`X`$ une $`k`$-variété et $`F`$ et $`F^{}`$ deux faisceaux inversibles sur $`X`$, on a :

$$c_1(FF^{})=c_1(F)+c_1(F^{}).$$

Démonstration :  Cela découle directement de la multiplicativité de la classe de Chern dans le cas propre 2.1.5. $`\mathrm{}`$

### 4.3. Cohomologie de l’espace projectif

On se pose maintenant la question du calcul de la cohomologie rigide d’un fibré projectif sur une base quelconque. Soient $`X`$ une $`k`$-variété et $`E`$ un faisceau localement libre de rang $`r`$ sur $`X`$. On sait grâce au théorème 4.1.2 qu’il existe une compactification $`(\overline{X},j)`$ de $`X`$, ainsi qu’un faisceau localement libre $`\overline{E}`$ sur $`\overline{X}`$ de rang $`r`$ tel que :

$$j^{}\overline{E}=E.$$

On a donc le diagramme commutatif suivant :

A partir de là, on note $``$ pour $`(E)`$ et $`\overline{}`$ pour $`(\overline{E})`$. On note aussi $`O_{}(1)`$ et $`O_\overline{}(1)`$ les deux faisceaux canoniques. Si on regarde alors $`c_1(O_{}(1))`$ et $`c_1(O_\overline{}(1))`$ comme des applications dans la catégorie dérivée $`D^+(\overline{X}_{zar})`$, on a le diagramme suivant :

De même, on a les morphismes de fonctorialité suivants :

On en déduit alors, par cup-produit, comme dans le cas classique

###### Théorème 4.3.1.

Avec les notations précédentes, les applications :

$$\underset{i=0}{\overset{r}{}}c_1(O_\overline{}(1))^i\text{et}\underset{i=0}{\overset{r}{}}c_1(O_{}(1))^i,$$

sont des isomorphismes.

Démonstration :  Le cas des variétés propres a déjà été traité dans 2.2.1.

Sinon, l’énoncé étant local sur la base, on peut supposer que $`E`$ est localement libre. Il suffit alors de remarquer que si on se donne une famille cofinale de voisinages stricts de $`]X[`$ dans $`]\overline{X}[`$, disons $`(V_i)_{iI}`$, la famille des $`_{V_i}^r`$ est une famille cofinale de voisinages stricts de $`_{]X[}^r`$ dans $`_{]\overline{X}[}^r`$. On utilise alors que le morphisme $`p_i:_{V_i}^rV_i`$ est quasi-compact et quasi-séparé et commute donc avec les limites inductives filtrantes \[6, 0.1.8\]. On est donc ramené au cas traité dans 2.2.2. $`\mathrm{}`$

###### Corollaire 4.3.2.

Avec les notations ci-dessus, on a pour tout $`n`$ la décomposition suivante :

$$H_{rig}^n(/K)=\underset{i=0}{\overset{r1}{}}H_{rig}^{n2i}(X/K).\xi ^i.$$

### 4.4. Construction des $`c_i`$

On définit les classes de Chern supérieures comme dans le cas classique. On applique la décomposition du corollaire 4.3.2 à $`\xi ^r`$ et on obtient :

(4.G)
$$\xi ^r=\underset{i=1}{\overset{r}{}}(1)^{i+1}c_i(E)\xi ^{ri},$$

avec

$$c_i(E)H_{rig}^{2i}(X/K).$$

###### Définition 4.4.1.

Avec les notations précédentes, pour $`0<ir`$ on appelle $`i`$-ème classe de Chern de $`E`$ la classe $`c_i(E)`$. On pose de plus

$$c_0(E)=1\text{ dans }H_{rig}^0(X/K).$$

Remarque : En appliquant ce que l’on vient de voir à un fibré inversible $`F`$, on retrouve notre première classe de Chern. En effet la décomposition 4.G devient alors :

$$c_{1,rig}(O_{(F)}(1))=p^{}c_1(F).$$

Or la fonctorialité de $`c_{1,rig}`$ nous donne

$$c_{1,rig}(O_{(F)}(1))=p^{}c_{1,rig}(F).$$

On conclut en utilisant que $`p^{}`$ est injectif.

###### Proposition 4.4.2 (Fonctorialité).

Soient $`X`$ et $`X^{}`$ deux variétés propres sur $`k`$ et $`f:X^{}X`$ un morphisme. Pour tout $`E`$ faisceau localement libre de rang $`r`$ sur $`X`$ et tout $`i`$, on a

$$c_i(f^{}E)=f^{}c_i(E).$$

Démonstration :  On note $`^{}=(f^{}(E))`$ et $`\xi ^{}=c_1(O_{^{}}(1))`$. La fonctorialité de la première classe de Chern nous assure que

$$\xi ^{}=f^{}\xi .$$

En appliquant alors $`f^{}`$ à la décomposition 4.G, on obtient dans $`H_{rig}^{2r}(^{}/K)`$ :

$$\xi _{}^{}{}_{}{}^{r}=\underset{i=1}{\overset{r}{}}(1)^if^{}c_i(E)\xi _{}^{}{}_{}{}^{ri}.$$

La décomposition étant unique on a :

$$c_i(f^{}E)=f^{}c_i(E).$$

### 4.5. Additivité des classes de Chern

###### Théorème 4.5.1.

Les classes de Chern définies précédemment sont additives.

Démonstration :  Soient $`X`$ une variété et une suite exacte de faisceaux localement libres

$$0E^{}EE^{\prime \prime }0.$$

On sait grâce au théorème 4.1.4 qu’il existe une compactification de $`X`$, $`j:X\overline{X}`$ et une suite exacte de faisceaux localement libres sur $`\overline{X}`$

$$0\overline{E}^{}\overline{E}\overline{E}^{\prime \prime }0$$

telles que la restriction à $`X`$ de $`\overline{E}`$ (resp. $`\overline{E^{}}`$, $`\overline{E^{\prime \prime }}`$) soit $`E`$ (resp. $`E^{}`$, $`E^{\prime \prime }`$). Dès lors on a pour tout $`i`$

$$\begin{array}{ccc}c_i(E)& =& j^{}c_i(\overline{E})\\ & =& j^{}\left(_{j=0}^ic_i(\overline{E}^{})c_{ij}(\overline{E}^{\prime \prime })\right)\\ & =& _{j=0}^ic_i(E^{})c_{ij}(E^{\prime \prime }).\end{array}$$

$`\mathrm{}`$

### 4.6. Action du Frobenius

Soit $`X`$ une $`k`$-variété. On note $`F`$ le frobenius absolu sur $`X`$. Il induit sur les groupes de cohomologie rigide un frobenius :

$$\mathrm{\Phi }:H_{rig}^i(X/K)H_{rig}^i(X/K).$$

On a alors

###### Proposition 4.6.1.

Soit $`E`$ un faisceau localement libre de rang $`r`$ sur $`X`$, pour tout $`ir`$, on a :

$$\mathrm{\Phi }(c_i(E))=p^ic_i(E).$$

Démonstration :  Par la fonctorialité des classes de Chern, notre proposition se ramène à

$$c_i(F^{}E)=p^ic_i(E).$$

De plus, de par la définition des classes de Chern, il suffit de regarder le cas du $`c_1`$ d’un faisceau inversible. Or dans ce cas, on a $`F^{}E\stackrel{}{}E^p`$. Notre proposition découle alors de la multiplicativité des classes de Chern. $`\mathrm{}`$