format: text

text:
# The Droplet State and the Compressibility Anomaly in Dilute 2D Electron Systems

\[

## Abstract

We investigate the space distribution of carrier density and the compressibility of two-dimensional (2D) electron systems by using the local density approximation. The strong correlation is simulated by the local exchange and correlation energies. A slowly varied disorder potential is applied to simulate the disorder effect. We show that the compressibility anomaly observed in 2D systems which accompanies the metal-insulator transition can be attributed to the formation of the droplet state due to disorder effect at low carrier densities.

\] The recent discovery of a two-dimensional (2D) metal-insulator transition (MIT) has raised the important question concerning the existence of a metallic phase in 2D systems. In contrast to the scaling theory of localization, which predicts that only an insulating phase exists in 2D, there is strong experimental evidence for metallic-like behavior in many 2D samples. This should not be totally surprising because the dominant Coulomb interaction in these systems may invalidate the non-interacting scaling theory. These intriguing experiments generate renewed interests in studying the properties of low-density 2D electron systems, especially in the combined effects of interaction and disorder in such systems. Most experimental work in the past has concentrated on transport measurements. Some recent experimental studies on thermodynamic properties, such as compressibility $`\kappa `$ in 2D systems, have shed further light on understanding the 2D MIT. It is found that the negative $`1/\kappa `$ at low densities reaches a minimum value at a certain density $`n`$, and then increases dramatically with further decreasing $`n`$. Although this surprising upturn of $`1/\kappa `$ (compressibility anomaly) was observed much earlier in a pioneering work by Eisenstein et al., this is the first time that the minimum point in $`1/\kappa `$ is identified as the critical density for the 2D MIT. On the theory side, there are recent efforts in addressing the interplay between interaction and disorder, and their effect in thermodynamic properties.

In this paper we investigate the space distribution of carrier density and the compressibility of 2D electron systems by using the local density approximation. The strong correlation in such systems is simulated by the local exchange and correlation energies. A slowly varied disorder potential is applied to simulate the disorder effect. We find that at low average densities electrons form a droplet state which is a co-existence phase of high and low density regions. We show that the compressibility anomaly observed in 2D systems that accompanies the metal-insulator transition can be attributed to the formation of the droplet state.

To investigate the density distribution of a disordered 2D electron system, we use the density functional theory. The total energy functional reads

$$E[𝐧]=E_T[𝐧]+E_{ee}[𝐧]+E_d[𝐧]+E_x[𝐧]+E_c[𝐧].$$

Here $`E_T[𝐧]`$ is the functional of the kinetic energy, $`E_{ee}[𝐧]`$ is the direct Coulomb energy due to the charge inhomogeneity and $`E_d(𝐧)`$ is the potential energy due to the disorder. The strong correlation effect caused by the electron-electron interaction is included in the final two terms: $`E_x[𝐧]`$ is the exchange energy and $`E_c[𝐧]`$ is the correlation energy. The ground state density distribution can be obtained by minimizing the total energy functional with respect to the density.

Using the local density approximation, the total exchange and correlation energies are written as

$$E_{x(c)}[𝐧]𝑑𝐱ϵ_{x(c)}^0\left[𝐧(𝐱)\right]𝐧(𝐱),$$

where $`ϵ_{x(c)}^0(n)`$ is the exchange (correlation) energy density for a homogeneous 2D electron system at a given density $`n`$, which can be determined by quantum Monte-Carlo calculations. In this paper, we use the result from Tanatar and Ceperley ,

$`ϵ_x^0(n)`$ $`=`$ $`{\displaystyle \frac{8}{3}}\sqrt{{\displaystyle \frac{2}{\pi }}}\sqrt{n}`$
$`ϵ_c^0(n)`$ $`=`$ $`a_0{\displaystyle \frac{1+a_1x}{1+a_1x+a_2x^2+a_3x^3}}`$
where $`x=1/(\pi n)^{1/4}`$. The energy unit is $`1Ry^{}=m^{}e^4/2\epsilon ^2\mathrm{}^2`$, and the parameters $`a_0=0.3568`$, $`a_1=1.13`$, $`a_2=0.9052`$, $`a_3=0.4165`$.

The kinetic energy functional can be written as

$$E_T[𝐧]=𝑑𝐱\underset{i}{}\psi _i^{}(𝐱)\left(^2\right)\psi _i(𝐱),$$

where the sum is over all occupied quasi-particle energy levels, and $`𝐧(𝐱)=_i|\psi _i(𝐱)|^2`$. To further simplify the calculation, we make an approximation to the kinetic energy so that it can be written in the form of a density functional ,

$$E_T[𝐧]𝑑𝐱\left[\pi 𝐧(𝐱)^2+\frac{1}{4}\frac{|𝐧(𝐱)|^2}{𝐧(𝐱)}+\mathrm{}\right].$$

The first term provides the local density approximation for the kinetic energy, while the second term includes the effect of the density gradient. The approximation provides enough accuracy for this class of calculations.

The energy functional for the disorder potential $`V_d(𝐱)`$ can be written as

$$E_d[𝐧]=𝑑𝐱V_d(𝐱)𝐧(𝐱).$$

In a real system, a disorder potential may be slowly varying and has correlation between different positions. To simulate the situation, we assume the correlation for the disorder follows the simple behavior,

$$V_d(𝐱)V_d(𝐱^{})=V_s^2\mathrm{exp}\left(\frac{|𝐱𝐱^{}|}{\xi }\right),$$

where $`V_s`$ is the amplitude of the potential fluctuation, and $`\xi `$ is the correlation length of the disorder. $`\xi `$ is roughly the average size of valleys in a disorder landscape.

In summary, the total energy functional is of the form

$`E[𝐧]=`$ $`{\displaystyle }d𝐱[\pi 𝐧(𝐱)^2+{\displaystyle \frac{1}{4}}{\displaystyle \frac{|𝐧(𝐱)|^2}{𝐧(𝐱)}}+{\displaystyle }d𝐱^{}{\displaystyle \frac{n(𝐱)𝐧(𝐱^{})}{|𝐱𝐱^{}|}}`$
$`+V_d(𝐱)𝐧(𝐱)+ϵ_x^0(𝐧)𝐧(𝐱)+ϵ_c^0(𝐧)𝐧(𝐱)].`$
Thus, the local density approximation converts the strong-interacting problem to a single particle problem with a self-consistently determined potential. The density distribution of the ground state can be obtained by minimizing the energy functional under the constraint of a constant total electron number. We introduce the variable $`\chi `$ with $`𝐧(𝐱)N\chi (𝐱)^2/𝑑𝐱^{}\chi (𝐱^{})^2`$, where $`N`$ is the total number of the electrons in the system. The constraint for the constant total electron number is automatically satisfied with the new variable. We can get the minimized energy functional by using steepest descent method with iterations ,

$$\chi ^{m+1}(𝐱)=\chi ^m(𝐱)\gamma \frac{\delta E[\chi ]}{\delta \chi }|{}_{\chi =\chi ^m(𝐱)}{}^{},$$

where $`\gamma `$ is the iteration constant which is chosen so that the interaction is convergent, and

$$\frac{\delta E[\chi ]}{\delta \chi }=\frac{2N}{𝑑𝐱\chi (𝐱)^2}\left[^2+V_{eff}[n]E_0\right]\chi (𝐱),$$

where

$$V_{eff}[𝐧]=2\pi n+V_d(𝐱)+\frac{\delta }{\delta 𝐧}\left[ϵ_x^0[𝐧]𝐧+ϵ_c^0[𝐧]𝐧\right],$$

and

$$E_0=\frac{𝑑𝐱\chi (𝐱)\left[^2+V_{eff}[𝐧]\right]\chi (𝐱)}{𝑑𝐱\chi (𝐱)^2}.$$

The calculation is carried out in a $`128\times 128`$ discrete space. The size of the system is set as $`L=256a_B^{}`$, where $`a_B^{}`$ is the effective Bohr’s radius, $`a_B^{}=\epsilon \mathrm{}^2/me^2`$, with $`\epsilon `$ being the dielectric constant and $`m`$ the effective mass of an electron. The periodic boundary condition and the Ewald sum for the Coulomb interaction are applied to minimize the finite size effect. The electron density is adjusted by changing the total electron number $`N`$. The density distribution and the total energy of the system are calculated for different densities, and the chemical potential is calculated by using the formula,

$$\mu (N)=E(N+1)E(N).$$

The compressibility of the system can be calculated by

$$\frac{1}{\kappa }=\frac{N^2}{S}\frac{\mu }{N},$$

where $`S`$ is the total area of the system.

Figure 1 shows the density distribution of the system. It can be clearly seen that the electrons form some high density regions, while the density of other regions are essentially zero. Depending on the average density of the system, the high density regions may connect each other together ($`r_s=10`$), or form some isolated regions ($`r_s=18`$). There exists a certain density ($`r_s=14`$) where the high density regions starts to percolate through the system, and form a conducting channel. The calculation clearly demonstrates the idea of our earlier theory , *i.e.,* the metal-insulator transition observed in the 2D electron systems is the percolation transition of the electron density.

The electron-electron interaction is important for the conducting behavior of a dilute electron system in the sense that it makes the density distribution more extended because of the Coulomb repulsion. Figure 2 shows the density distribution for the free electron gas with the same density as in Fig.1(b) by turning off the electron-electron interaction. The system only forms some isolated high density regions at the disorder valleys, while the density distribution of the corresponding interacting system (Fig.1(b)) is quite extensive at the same density. At a given disorder strength, the critical density for the free electron gas is much higher than its interacting counterpart.

Figure 3 shows the compressibility of the systems. To compare with the experiments, we calculate $`\delta \mu /\delta N`$, which is the direct measured quantity in the experiments. It is well known that the compressibility of a uniform electron gas is negative in the low density region due to the effect of the exchange and correlation energies, as shown by the solid line in Fig.3(a). However, when the disorder is present, the behavior changes greatly. In the low density, the electrons tend to occupy the valleys of the disorder landscape, and the local density, instead of the average density, determines the compressibility of the system. On the other hand, at higher densities, all of the valleys are filled, one can expect the compressibility of the system to resume the behavior of a uniform electron gas. We have a non-monotonic behavior for $`\delta \mu /\delta N`$, as shown by the dots in Fig.3(a), which are in good agreement with the experimental measurement . Comparing with Fig.1, we find that the turning point of the compressibility ($`N50`$, $`r_s14`$) coincides with the percolation threshold of the system. At low densities, the data points in the plot show strong fluctuation, indicating the effect of the local fluctuation of the disorder potential.

The behavior can be understood by a simple theory. Following the definition, the chemical potential $`\mu `$ is the energy needed to add an electron into the system,

$`\mu (N)`$ $`=`$ $`E(N+1)E(N)`$
$``$ $`\epsilon _0\left[n_{eff}(N+1)\right](N+1)\epsilon _0\left[n_{eff}(N)\right]N`$
$`=`$ $`{\displaystyle \frac{\delta }{\delta N}}\left\{\epsilon _0\left[n_{eff}(N)\right]N\right\},`$
where we suppose that the electron energy is determined by the local density of the electrons. $`E(N)`$ is the total energy of the system, $`\epsilon _0(n)`$ is the energy per electron for the uniform electron gas, and $`n_{eff}`$ is effective local density. For the inhomogeneous system as shown in Fig.1, the effective local density can be estimated by $`n_{eff}(n)n/f(n)`$, where $`f(n)`$ is the fraction of the high density region. After some algebra, we have

$`\mu (n)`$ $`=`$ $`\mu _0\left({\displaystyle \frac{n}{f}}\right)\left[1{\displaystyle \frac{d\mathrm{ln}f}{d\mathrm{ln}n}}\right]+\epsilon _0\left({\displaystyle \frac{n}{f}}\right){\displaystyle \frac{d\mathrm{ln}f}{d\mathrm{ln}n}},`$
$`{\displaystyle \frac{\delta \mu }{\delta n}}`$ $`=`$ $`\mu _0^{}\left({\displaystyle \frac{n}{f}}\right){\displaystyle \frac{1}{f}}\left[1{\displaystyle \frac{d\mathrm{ln}f}{d\mathrm{ln}n}}\right]^2\epsilon _0^{}\left({\displaystyle \frac{n}{f}}\right)\left({\displaystyle \frac{n}{f}}\right)^2{\displaystyle \frac{d^2f}{dn^2}},`$
where $`\mu _0`$ is the chemical potential for a uniform electron gas. In the low density limit, $`f(n)0`$, the local effective density is greatly different from the average density of the system. As a consequence, the density dependence of the chemical potential, $`\delta \mu /\delta n`$, changes greatly. In general, supposing $`f(n)n^\alpha `$ in the low density limit, the analysis shows that $`\delta \mu /\delta n`$ will have a non-monotonic behavior if $`\alpha >1`$. The behavior of $`f(n)`$ is determined by the local disorder potential profile. In a 2D system, the infinite harmonic potential has $`f(n)n`$. So the requirement $`\alpha >1`$ is equivalent to the condition that the local disorder potential has a weaker confinement effect than the harmonic potential. The condition can be easily satisfied in a typical experimental system. For instance, the coulomb potential has $`f(n)n^4`$. In Fig.3, we use the above equation for $`\delta \mu /\delta n`$ with the following relation of $`f(n)`$ to fit the data,

$$f(n)=\frac{1}{1+\left(\frac{n_0}{n}\right)^\alpha }.$$

This form has a correct behavior in the high density limit, $`f1`$, and the low density behavior is controlled by $`\alpha `$. By carefully choosing the values for $`\alpha `$ and $`n_0`$, we obtain a good agreement with our numerical data as shown in the dashed line in Fig.3(a).

To demonstrate the effect of a different disorder potential, we use off-plane charge impurity potential in calculating Figure 3(b), i.e.,

$$V_d(𝐱)=\underset{i}{}\frac{1}{\sqrt{|𝐱𝐱_i|^2+d^2}},$$

where $`d`$ is the distance between the electron and the impurity planes, and the impurities are randomly distributed with a density $`n_i`$. This potential gives a similar density profile as shown in Figure 1. As expected, this form of potential has a larger value of $`\alpha `$ as given in the figure caption.

To conclude, we have studied the electron space distribution and the compressibility of disordered dilute 2D electron systems by using the local density approximation. Electron distribution confirms the formation of the droplet state that consists of high and low density regions. Our calculated compressibility is in good agreement with the experimentally observed behavior showing unexpected anomaly at low densities. The turning point of the compressibility happens around the percolation threshold. Our theory based on the droplet state provides a good understanding of the compressibility anomaly.

This work is supported by DOE.


text:
# Classes de cycles en cohomologie rigide

## Introduction

Nous allons montrer qu’il existe une théorie des classes fondamentales et des classes de cycles en cohomologie rigide. On pourrait s’appuyer sur \[SGA6\] pour déduire directement pour les variétés quasi-projectives l’existence des classes de cycles à partir des classes de Chern . Cependant, nous allons donner une construction directe qui a le mérite, en plus de pouvoir traiter le cas des variétés non nécessairement quasi-projectives, d’être plus explicite. Dans le cas des variétés singulières, les classes de cycles se construisent naturellement dans une homologie rigide que nous définirons. Nous vérifierons alors le théorème suivant :

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

Soient $`k`$ un corps, $`C`$ un anneau de Cohen pour $`k`$, $`K`$ le corps des fractions de $`C`$ et $`V`$ la catégorie des $`k`$-variétés. Le couple cohomologie rigide - homologie rigide forme une théorie de dualité de Poincaré au sens de Bloch-Ogus . Plus précisément on a :

1. $`H_{Y,rig}^i(X/K)`$ est contravariant par rapport aux carrés cartésiens
2. $`H_i^{rig}(X/K)`$ est contravariant par rapport aux immersions ouvertes et covariant par rapport aux morphismes propres.
3. Pour $`X`$ une $`k`$-variété et $`ZYX`$ des sous-schémas fermés, il existe une suite exacte longue

$$\mathrm{}H_{Z,rig}^i(X/K)H_{Y,rig}^i(X/K)H_{YZ,rig}^i(XZ/K)H_{Z,rig}^{i+1}(X/K)\mathrm{},$$

fonctorielle par rapport aux morphismes de fonctorialité de 1.
4. (excision) Pour tout $`X`$, $`U`$ un ouvert de $`X`$ et $`Z`$ un fermé de $`X`$ tel que $`ZU`$, le morphisme $`H_{Z,rig}^i(X/K)H_{Z,rig}^i(U/K)`$ est un isomorphisme.
5. Si on a le diagramme cartésien suivant

avec $`\alpha `$ et $`\beta `$ des immersions ouvertes et $`f`$ et $`g`$ des morphismes propres, le diagramme suivant est commutatif
6. Si $`i:YX`$ est une immersion fermée et si $`\alpha :XYX`$ est l’immersion ouverte complémentaire, il existe une suite exacte longue

$$\mathrm{}H_{i+1}^{rig}(XY/K)H_i^{rig}(Y/K)\stackrel{i_{}}{}H_i^{rig}(X/K)\stackrel{\alpha ^{}}{}H_i^{rig}(XY/K)H_{i1}^{rig}(Y/K)\mathrm{}$$

qui est fonctorielle par rapport aux morphismes propres.
7. (cap-produit) Il existe un cap-produit pour tout $`X`$ et tout fermé $`YX`$ :

$$H_i^{rig}(X/K)H_{Y,rig}^j(X/K)\stackrel{}{}H_{ij}^{rig}(Y/K).$$
8. (formule de projection) Pour tout diagramme cartésien

$`i`$ et $`i^{}`$ sont des immersions fermées et $`f`$ et $`f^{}`$ des morphismes propres, et tous éléments $`x^{}H_i^{rig}(X^{}/K)`$ et $`xH_{Y,rig}^j(X/K)`$ on a :

$$f_{}(x^{})x=f_{}^{}(x^{}f^{}(x)).$$
9. (classe fondamentale) Pour tout variété irréductible $`X`$ de dimension $`d`$, il existe une classe fondamentale

$$\eta _XH_{2d}^{rig}(X/K),$$

qui est fonctorielle par rapport aux immersions ouvertes.
10. (dualité de Poincaré) Si $`X`$ est une $`k`$-variété irréductible et lisse de dimension $`d`$, et si $`YX`$ est une immersion fermée, le morphisme

est un isomorphisme.
11. La dualité de Poincaré est compatible aux suites exactes longues de 3.

Par la suite, nous définirons les classes de cycles. Nous montrerons, à l’aide d’une comparaison avec la classe d’un diviseur qu’elles passent à l’équivalence rationnelle au sens .

On montrera alors que, en se limitant aux variétés quasi-projectives, les classes de cycles définies précédemment sont compatibles à la théorie de l’intersection.

On finira en énonçant des conséquences de notre formalisme : théorème de Riemman-Roch, formule de self-intersection.

Cet article est la deuxième partie - avec quelques modifications - de ma thèse de doctorat . Je tiens a remercier P.Berthelot qui m’a encadré lors de ce travail.

Notations : Dans tout cet article $`k`$ désigne un corps de caractéristique $`p>0`$. On appelle $`k`$-variété un $`\text{Spec}(k)`$-schéma séparé de type fini. De plus, quand nous n’aurons pas à nous occuper du corps de base, nous noterons

$$H_{Y,rig}^i(X)\text{ (resp. }H_i^{rig}(X))\text{ pour }H_{Y,rig}^i(X/K)\text{ (resp. }H_i^{rig}(X/K)).$$

## 1. Démonstration du théorème

Nous allons démontrer le théorème précédent. Nous commencerons par rappeller certaines propriétés de la cohomologie rigide. Ensuite nous définirons l’homologie rigide et la classe fondamentale. Nous démontrerons alors la formule de projection. Toutes les autres assertions découlent directement des résultats connus sur la cohomologie rigide

### 1.1. Rappels de cohomologie rigide

Soient $`X`$ une $`k`$-variété et $`Z`$ un sous-schéma fermé intègre de $`X`$. On supposera que $`X`$ est équidimensionel de dimension $`n`$ et que $`Z`$ est de codimension $`r`$. On notera alors $`d=nr`$ la dimension de $`Z`$.

Rappelons pour commencer deux des principaux résultats de cohomologie rigide. On trouvera leurs démonstrations dans  et  respectivement.

###### Théorème 1.1.1 (Dualité de Poincaré).

Avec les notations précédentes, il existe une application trace canonique $`H_{c,rig}^{2n}(X)K`$ qui, composée avec la multiplication, induit des applications $`H_{Z,rig}^i(X)\times H_{c,rig}^{2ni}(Z)K`$. De plus, si $`X`$ est lisse, c’est un accouplement parfait.

###### Théorème 1.1.2 (Pureté).

Avec les notations précédentes, si on suppose que $`X`$ est lisse, on a pour tout $`i<2r`$ :

$$H_{Z,rig}^i(X)=0.$$

De plus, la dimension sur $`K`$ de l’espace $`H_{Z,rig}^{2d}(X)`$ est égale au nombre de composantes irréductibles géométriques de $`Z`$.

### 1.2. Homologie rigide

On se donne une $`k`$-variété $`X`$, on pose

$$H_i^{rig}(X):=H_{c,rig}^i(X)^{}.$$

Supposons qu’il existe une $`k`$-variété $`M`$ lisse sur $`k`$ et une immersion fermée $`XM`$. En notant $`N`$ la dimension de $`M`$, on a grâce à la dualité de Poincaré ($`M`$ est lisse) :

$$H_i^{rig}(X)\stackrel{}{}H_{X,rig}^{2Ni}(M).$$

Remarque : si $`X`$ est lisse de dimension $`n`$, on a $`H_i^{rig}(X)\stackrel{}{}H_{rig}^{2ni}(X)`$.

Regardons maintenant la variance de l’homologie rigide.

###### Proposition 1.2.1.

L’homologie rigide ainsi définie est contravariante par rapport aux immersions ouvertes et covariante vis-à-vis des morphismes propres.

Démonstration :  Soit $`f:XY`$ un morphisme propre. On sait que la cohomologie à support compact est contravariante. Il existe donc pour tout $`i`$ :

$$f^{}:H_{c,rig}^i(Y)H_{c,rig}^i(X).$$

En prenant la transposée on obtient le morphisme de fonctorialité voulu :

$$f_{}:H_i^{rig}(X)H_i^{rig}(Y).$$

De plus, on sait aussi que la cohomologie rigide à support compact est covariante par rapport aux immersions ouvertes. Le même raisonnement nous permet de construire le morphisme de fonctorialité contravariante pour l’homologie rigide.

$`\mathrm{}`$

Nous allons énoncer quelques propriétés de l’homologie rigide qui découlent directement de celles de la cohomologie rigide à support.

###### Proposition 1.2.2.

On a :

* Soit $`X`$ une $`k`$-variété de dimension $`n`$ ; alors

$$H_i^{rig}(X)=0\text{ pour tout }i>2n.$$
* Si $`X`$ est une $`k`$-variété irréductible de dimension $`n`$, l’espace $`H_{2n}^{rig}(X)`$ est canoniquement isomorphe à $`K`$.
* Si $`X`$ est une $`k`$-variété et $`ZX`$ un sous-schéma fermé, on a la suite exacte longue :

$$\mathrm{}H_{i+1}^{rig}(XZ)H_i^{rig}(Z)H_i^{rig}(X)H_i^{rig}(XZ)H_{i1}^{rig}(Z)\mathrm{}$$
* Soit $`K^{}`$ une extension de $`K`$, d’anneau des entiers $`V^{}`$ et de corps résiduels $`k^{}`$. On note $`X^{}=X\times _kk^{}`$ le schéma obtenu par changement de base. Il existe un isomorphisme canonique

$$\phi :H_i^{rig}(X^{}/K^{})\stackrel{}{}H_i^{rig}(X/K)_KK^{}.$$

En utilisant la première et la troisième assertion de la proposition on obtient :

###### Corollaire 1.2.3.

Si $`X`$ est une $`k`$-variété et si on note $`X_i`$ ses composantes irréductibles de dimension maximale $`n`$. On a :

$$H_{2n}^{rig}(X)=\underset{i}{}H_{2n}^{rig}(X_i).$$

### 1.3. Classe fondamentale

Soit $`Z`$ une $`k`$-variété intègre de dimension $`d`$, on va définir sa classe fondamentale qui est un élément de $`H_{2d}^{rig}(Z)`$. Pour cela on regarde le morphisme trace  :

$$Tr_Z:H_{c,rig}^{2d}(Z)K.$$

Il définit une classe $`\eta _ZH_{2d}^{rig}(Z)`$. Cette classe est fonctorielle par rapport aux immersions ouvertes car on a pour $`U`$ ouvert de $`Z`$ le diagramme commutatif suivant :

On a alors :

###### Proposition 1.3.1.

Soit $`K^{}`$ une extension de $`K`$, d’anneau des entiers $`V^{}`$ et de corps résiduels $`k^{}`$. On note $`X^{}=X\times _kk^{}`$ le schéma obtenu par changement de base et

$$\phi :H_{2n}^{rig}(X^{}/K^{})H_{2n}^{rig}(X/K)_KK^{}.$$

On a :

$$\phi (\eta _X^{})=\eta _X1.$$

Démonstration :  D’après la définition de la classe fondamentale, cette proposition se ramène à montrer que le diagramme :

est commutatif, ce qui découle de la définition du morphisme trace. $`\mathrm{}`$

###### Proposition 1.3.2.

Soient $`X`$ et $`Y`$ deux $`k`$-variétés de dimension $`n`$ et $`m`$ respectivement. Le morphisme de Künneth :

$$H_{n+m}^{rig}(X\times _kY)H_n^{rig}(X)H_m^{rig}(Y)$$

envoie $`\eta _{X\times Y}`$ sur $`\eta _X\eta _Y`$.

Démonstration :  Le résultat découle de la compatibilité du morphisme de Künneth au morphisme trace . $`\mathrm{}`$

### 1.4. Cap-produit et formule de projection

Nous allons définir le cap-produit et démontrer la formule de projection.

Pour toute immersion fermée $`YX`$, nous définissons le cap-produit noté $``$ :

$$\begin{array}{ccc}H_i^{rig}(X)H_{Y,rig}^j(X)& & H_{ij}^{rig}(Y)\\ (\phi ,x)& & (y\phi (xy))\end{array}$$

où on a indentifié $`H_i^{rig}(X)`$ (resp . $`H_{ij}^{rig}(Y)`$) avec $`H_{c,rig}^i(X)^{}`$ (resp. $`H_{c,rig}^{ij}(Y)^{}`$) et noté $``$ le cup-produit \[5, 2.2\] :

$$:H_{Y,rig,}^j(X)H_{c,rig}^{ij}(Y)H_{c,rig}^i(X).$$

Ce cup-produit est fonctoriel par rapport aux morphismes propres : pour tout diagramme cartésien

$`i`$ et $`i^{}`$ sont des immersions fermées et $`f`$ et $`f^{}`$ des morphismes propres, et tous éléments $`xH_{Y,rig}^j(X)`$ et $`yH_{c,rig}^{ij}(Y)`$ on a :

$$f^{}(xy)=f^{}(x)f^{}(y).$$

On a alors

###### Proposition 1.4.1 (Formule de projection).

Pour tout diagramme cartésien

$`i`$ et $`i^{}`$ sont des immersions fermées et $`f`$ et $`f^{}`$ des morphismes propres, et tous éléments $`x^{}H_i^{rig}(X^{})`$ et $`xH_{Y,rig}^j(X)`$ on a :

$$f_{}(x^{})x=f_{}^{}(x^{}f^{}(x)).$$

Démonstration :  Notre égalité se tenant dans $`H_{ij}^{rig}(Y)=H_{c,rig}^{ij}(Y)^{},`$ il suffit de montrer que pour tout $`yH_{c,rig}^{ij}(Y)`$, on a

$$<f_{}(x^{})x,y>=<f_{}^{}(x^{}f^{}(x)),y>$$

Or par définition du cap-produit,

$$<f_{}(x^{})x,y>=<f_{}(x^{}),xy>.$$

De plus,

$$\begin{array}{ccc}<f_{}^{}(x^{}f^{}(x)),y>& =& <x^{}f^{}(x),f^{}(y)>\\ & =& <x^{},f^{}(x)f^{}(y)>\\ & =& <x^{},f^{}(xy)>\\ & =& <f_{}^{}(x^{}),xy>.\end{array}$$

$`\mathrm{}`$

### 1.5. Le cas des variétés lisses

Si on se donne $`X`$ une $`k`$-variété lisse et $`Z`$ un sous-schéma fermé intègre éventuellement singulier, il est plus habituel de regarder les groupes de cohomologie et non l’homologie. Les constructions précédentes se réécrivent alors de la manière suivante. On note $`r=nd`$ la codimension de $`Z`$ dans $`X`$. La classe fondamentale de $`Z`$, encore notée $`\eta _Z`$, se construit donc comme un élément de $`H_{Z,rig}^{2r}(X)`$.

Dans ce cas, le cap-produit se réécrit en utilisant

$$H_i^{rig}(X)\stackrel{}{}H_{rig}^{2ni}(X)\text{ et }H_{ij}^{rig}(Z)\stackrel{}{}H_{Z,rig}^{2ni+j}(X).$$

On obtient alors le cup-produit classique :

$$H_{rig}^{2ni}(X)H_{Z,rig}^j(X)\stackrel{}{}H_{Z,rig}^{2ni+j}(X).$$

L’axiome de dualité de Poincaré du théorème est alors ramené à la dualité de Poincaré énoncée dans .

Pour finir, la formule de projection s’exprime alors :

###### Proposition 1.5.1 (Formule de projection).

Pour tout diagramme cartésien

$`i`$ et $`i^{}`$ sont des immersions fermées et $`f`$ et $`f^{}`$ des morphismes propres, et tous éléments $`x^{}H_{rig}^i(X^{})`$ et $`xH_{Y,rig}^j(X)`$ on a :

$$f_{}(x^{})x=f_{}^{}(x^{}f^{}(x))$$

$`f_{}:H_{rig}^i(X^{})H_{rig}^i(X)`$ est la transposée par les accouplements de Poincaré du morphisme $`f^{}:H_{c,rig}^i(X^{})H_{c,rig}^i(X).`$

### 1.6. Remarque sur la contravariance étale

Les axiomes habituels des théories de dualité de Bloch-Ogus demandent une contravariance de l’homologie par rapport aux morphismes étales et pas seulement aux immersions ouvertes. De mêmes, les fonctorialité des suites exactes sont requises dans le cas des morphismes étales. Cependant nous n’utiliserons dans la suite que la contravariance par rapport aux immersions ouvertes.

## 2. Classes de cycles

Nous allons maintenant construire les classes de cycles à partir de la classe fondamentale.

### 2.1. Définition

Commençons par rappeler les principales définitions. Nous appelons groupe des cycles d’une $`k`$-variété $`X`$ et notons $`Z(X)`$ le groupe libre engendré par les sous-schémas fermés intègres de $`X`$. On note $`[T]`$ la classe du sous-schéma $`T`$ dans $`Z(X)`$. On gradue ce groupe par la dimension :

$$Z_{}(X)=\underset{k}{}Z_k(X),$$

$`Z_k(X)`$ est le sous-groupe engendré par les sous-schémas fermés intègres de dimension $`k`$.

Rappelons qu’on associe alors à tout sous-schéma fermé $`Z`$ un cycle :

$$[Z]=\underset{i=1}{\overset{n}{}}l(O_{Z,t_i})[T_i^{red}]$$

où les $`T_i`$ sont les composantes irréductibles de $`Z`$ et $`t_i`$ les points génériques de ces dernières. Rappelons aussi les morphismes de fonctorialité :

* tout morphisme propre $`f:XY`$ induit un morphisme $`f_{}:Z(X)Z(Y)`$ défini sur les sous-schémas fermés intègres de la manière suivante :

$$f_{}([Z])=\{\begin{array}{cc}0& \text{si }dimf(Z)<dimZ\\ [k(Z):k(f(Z))][f(Z)]& \text{si }dimf(Z)=dimZ\end{array}$$
* tout morphisme plat $`f:XY`$ induit un morphisme $`f^{}:Z(Y)Z(X)`$ défini sur les sous-schémas fermés intègres de la manière suivante :

$$f^{}([Z])=[Z\times _YX].$$

Par linéarité, on définit alors le morphisme classe de cycle :

$$\begin{array}{cccc}\gamma :& Z_{}(X)& & H_{}^{rig}(X)\\ & n_i[T_i]& & n_i(\alpha _i)_{}\eta _{T_i},\end{array}$$

$`\alpha _i`$ est le morphisme $`T_iX`$.

### 2.2. Propriétés des classes de cycles

Nous allons démontrer que les classes de cycles sont fonctorielles et nous regarderons l’action du frobenius. Pour cela, nous allons devoir nous ramener au cas d’un diviseur lisse dans une variété lisse. L’ingrédient principal est le lemme suivant :

###### Lemme 2.2.1.

Soient $`X`$ une $`k`$-variété et $`Z`$ une sous-variété de codimension $`r`$. Il existe une extension finie $`k^{}`$ de $`k`$ telle que si on note $`X^{}`$ et $`Z^{}`$ les $`k^{}`$-variétés déduites de $`X`$ et $`Z`$ par extension des scalaires, il existe un ouvert $`U^{}`$ de $`X^{}`$ vérifiant, en notant $`T^{}`$ son complémentaire :

* $`Z^{}T^{}`$ est de codimension supérieure ou égale à $`r+1`$ dans $`X^{}`$
* $`Z_U^{}=Z^{}U^{}`$ est lisse sur $`k^{}`$
* Il existe $`Z`$ et $`X`$ deux $`C^{}`$-schémas affines et lisses et une immersion fermée $`i:ZX`$ se réduisant sur $`i_U:Z_U^{}U^{}`$$`C^{}`$ est un anneau de Cohen pour $`k^{}`$.

Démonstration :

D’après \[EGA IV, 17.15.13\].

$`\mathrm{}`$

###### Proposition 2.2.2.

Soient $`X`$ et $`X^{}`$ deux $`k`$-variétés. Si $`f:XX^{}`$ est un morphisme propre et $`xZ_{}(X)`$, on a

$$\gamma (f_{}(x))=f_{}(\gamma (x)).$$

Démonstration :

Tout étant linéaire, on se ramène au cas d’un sous-schéma fermé intègre $`Z`$. On note $`Z^{}=f(Z)`$, $`dimZ=d`$, $`dimX=n`$ et $`dimX^{}=n^{}`$. On différencie deux cas.

* Si $`dimZ^{}<d`$, par définition $`f_{}(Z)=0`$. On est donc ramené à montrer que $`f_{}(\gamma (Z))=0`$. Le morphisme $`f_{|Z}:ZZ^{}`$ est propre, on a donc le diagramme commutatif suivant :

Or on sait que, par définition, $`\gamma (Z)=i_{}\eta _Z`$. Donc on a

$$f_{}(\gamma (Z))=i_{}^{}((f_{|Z})_{}(\eta _Z)).$$

Or $`H_{2d}^{rig}(Z^{})=0`$. On a donc bien :

$$f_{}(\gamma (Z))=0.$$
* Si $`dimZ^{}=d`$, il suffit grâce à la proposition 1.3.1 de démontrer cette égalité aprés une extension finie des scalaires. On peut donc supposer, en utilisant le théorème de pureté et le lemme 2.2.1, que $`f`$ est un morphisme fini entre schémas affines et lisses. Comme $`X`$ est intègre, on sait qu’il existe un ouvert dense $`U`$ de $`X`$ au dessus duquel $`f`$ est plat. On note $`U^{}=f^1(U)`$. Se restreindre à $`U`$ revient à ôter de $`X`$ et $`X^{}`$ des sous-schémas fermés de codimension supérieure ou égale à $`1`$. On peut donc supposer que $`f`$ est fini et plat de degré $`\alpha =[k(X^{}):k(X)]`$. La compatibilité des morphismes trace de \[5, 2.3 et 1.4\] se généralise aux morphismes finis et plats. On déduit alors de \[6, 3.6\] le diagramme commutatif suivant :

$$\text{},$$

ce qui implique la proposition.

$`\mathrm{}`$

On regarde $`F:XX`$ le morphisme de Frobenius absolu. Il induit

$$\mathrm{\Phi }:H_i^{rig}(X)H_i^{rig}(X).$$

On a alors

###### Proposition 2.2.3.

Soit $`Z`$ une sous-variété de codimension $`r`$ dans $`X`$. On a

$$\mathrm{\Phi }(\gamma (Z))=p^r\gamma (Z).$$

Démonstration :  On peut par linéarité se ramener au cas d’un sous schéma fermé intègre $`Z`$. Si on note $`n`$ la dimension de $`X`$. On va montrer la propriété pour la classe fondamentale $`\eta _ZH_{2(nr)}^{rig}(Z)`$.

De plus, grâce à la proposition 1.3.1, on peut utiliser le lemme 2.2.1 pour se ramener au cas d’un sous-schéma lisse dans une variété lisse. Dans ce cas, $`\eta _Z`$ se construit naturellement comme élément de $`H_{Z,rig}^{2r}(X)`$. On peut, de plus, supposer que l’immersion fermée $`ZX`$ est la fibre spéciale d’une immersion fermé de $`C`$-schéma $`ZX`$ définie par $`r`$ sections globales sur $`X`$.

###### Lemme 2.2.4.

Avec les notations précédentes, on note

$$G_{Z/X}^{rig}:H_{rig}^0(Z)H_{Z,rig}^{2r}(X)$$

le morphisme de Gysin . On a alors

$$\eta _Z=G_{Z/X}^{rig}(1).$$

Démonstration :  cela découle directement de la compatibilité entre le morphisme de Gysin et l’accouplement de dualité. $`\mathrm{}`$

Dans ce cas, le théorème 2.4 de , nous dit que l’on a le diagramme commutatif suivant :

Notre proposition en découle.

$`\mathrm{}`$

## 3. Compatibilité à l’équivalence rationnelle

Nous allons montrer que les classes de cycles définies ci-dessus, sont compatibles à l’équivalence rationnelle. Pour ce faire, nous aurons besoin de la trivialité de la classe d’un diviseur principal (principal triviality dans ).

### 3.1. Classe d’un diviseur

Nous allons rappeler les définitions et résultats principaux sur les diviseurs. On trouvera un exposé plus précis sur le sujet dans \[14, II.6\] et \[EGA IV, 21\].

Soit $`X`$ une $`k`$-variété, on note $`M`$ le faisceau associé au préfaisceau $`F`$ qui est défini sur tout ouvert affine $`U=\text{Spec}(A)`$ de $`X`$ par :

$$F(U):=S^1A$$

$`S`$ est le système multiplicatif des éléments $`fA`$ tel que pour tout $`xU`$, $`f`$ est non diviseur de zéro dans l’anneau local $`O_{U,x}`$. Le faisceau $`M`$, qui peut être défini sur tout schéma, est la généralisation du corps des fonctions sur un schéma intègre.

###### Définition 3.1.1.

Avec les notations précédentes, on appelle diviseur de Cartier une section globale du faisceau quotient $`M^{}/O^{}`$. De plus, un diviseur de Cartier sera dit principal s’il appartient à l’image de l’application

$$\mathrm{\Gamma }(X,M^{})\mathrm{\Gamma }(X,M^{}/O^{}).$$

Un diviseur de Cartier peut donc être représenté par un recouvrement $`\{U_i\}`$ de $`X`$ et la donnée pour tout $`i`$ de fonctions méromorphes $`f_i\mathrm{\Gamma }(U_i,M^{})`$, telles que pour tout couple $`i,j`$, on ait

$$\frac{f_i}{f_j}\mathrm{\Gamma }(U_iU_j,O_X^{}).$$

On associe à tout diviseur de Cartier $`D`$ un faisceau inversible $`L(D)`$ en prenant le sous-faisceau de $`M`$ engendré par $`f_i^1`$ sur $`U_i`$.

###### Définition 3.1.2.

Un diviseur de Cartier $`D`$ sur $`X`$ sera dit effectif s’il peut être représenté par la donnée $`\{(U_i,f_i)\}`$ où les $`U_i`$ sont des ouverts qui recouvrent $`X`$ et $`f_i\mathrm{\Gamma }(U_i,O_X)`$. Dans ce cas on lui associe un sous-schéma de codimension $`1`$, $`Y(D)`$ qui est le sous-schéma défini par le faisceau d’idéaux $`I(D)`$ localement engendré par $`f_i`$.

Soit $`D`$ un diviseur de Cartier sur $`X`$, on notera $`|D|`$ le support de $`D`$ c’est à dire le sous-schéma fermé des points $`xX`$ tel que $`D_x0`$.

Si $`X`$ est une variété lisse, le groupe des diviseurs de Cartier est isomorphe au groupe des diviseurs de Weil et les diviseurs de Cartier effectifs correspondent aux diviseurs de Weil effectifs. Nous noterons $`[D]`$ le diviseur de Weil associé au diviseur de Cartier $`D`$.

On considère maintenant $`X`$ une $`k`$-variété lisse et $`D`$ un diviseur ; on regardera $`L(D)`$ le faisceau inversible qui lui est canoniquement associé. On sait lui associer sa première classe de Chern .

Si on note $`U`$ le complémentaire de $`D`$ dans $`X`$, on voit que l’image par l’application canonique

$$H_{rig}^2(X)H_{rig}^2(U)$$

de la première classe de Chern $`c_1(L(D))`$ est nulle car $`L(D)`$ est trivialisé sur $`U`$.

Notre but est de relever la première classe de Chern de $`L(D)`$ en un élément $`c_{1,D}`$ dans le groupe de cohomologie rigide à support $`H_{|D|,rig}^2(X).`$ Nous appelerons cet élément classe du diviseur $`D`$.

Notre diviseur de Cartier, s’écrit de manière unique

$$D=D^+D^{}$$

avec $`D^+`$ et $`D^{}`$ des diviseurs effectifs dont les supports ne contiennent pas de composantes communes. Cette dernière condition nous assure que

$$H_{|D|,rig}^2(X)\stackrel{}{}H_{|D^+|,rig}^2(X)H_{|D^{}|,rig}^2(X).$$

On posera alors

$$c_{1,D}=c_{1,D^+}c_{1,D^{}}.$$

On est donc ramené au cas des diviseurs effectifs.

Rappelons pour commencer la construction de la cohomologie rigide . Soient $`X`$ une variété et $`Z`$ un sous-schéma fermé. On choisit une compactification $`\overline{X}`$ de $`X`$ et on suppose qu’il existe une immersion fermée de $`\overline{X}`$ dans un $`C`$-schéma formel $`Y`$ lisse au voisinage de $`X`$. On note $`U=XZ`$, $`j_X\overline{X}`$, $`j_U:U\overline{X}`$ et $`I`$ l’idéal de $`O_Y`$ définissant $`\overline{X}`$. En notant $`j_X^{}`$ et $`j_U^{}`$, les foncteurs définis dans \[6, 1.2\], les groupes de cohomologie à support se calculent de la manière suivante :

$$H_{Z,rig}^i(X):=^i(]X[,(j_X^{}\mathrm{\Omega }_{]X[}^{}j_U^{}\mathrm{\Omega }_{]X[}^{})_s).$$

Dans la formule ci-dessus, $`(j_X^{}\mathrm{\Omega }_{]X[}^{}j_U^{}\mathrm{\Omega }_{]X[}^{})_s`$ désigne le complexe simple associé au complexe double où le terme de bidegrée $`(\mathrm{0,0})`$ est $`j_X^{}O_{]X[}`$. La différentielle $`d:j_X^{}\mathrm{\Omega }_{]X[}^ij_U^{}\mathrm{\Omega }_{]X[}^{i1}j_X^{}\mathrm{\Omega }_{]X[}^{i+1}j_U^{}\mathrm{\Omega }_{]X[}^i`$ est donnée par

$$\left(\begin{array}{cc}d_X& 0\\ u& d_U\end{array}\right),$$

$`u`$ est la restriction et $`d:j_X^{}\mathrm{\Omega }_{]X[}^{i1}j_X^{}\mathrm{\Omega }_{]X[}^i`$ (resp. $`d_U:j_U^{}\mathrm{\Omega }_{]X[}^{i1}j_U^{}\mathrm{\Omega }_{]X[}^i`$ ) est obtenue en appliquant le foncteur $`j_X^{}`$ (resp. $`j_U^{}`$ ) à $`d_X`$.

On va maintenant étudier en premier lieu le cas des variétés propres. On ramènera alors le cas général à un énoncé d’indépendance de prolongements.

Soient $`X`$ une variété propre intègre mais non nécessairement lisse et $`D`$ un diviseur de Cartier effectif. On note $`j_U:U=X|D|X.`$

On va mener une construction similaire à \[17, 2.1\].

On se donne un représentant de $`D`$ : $`\{(X_i),h_i\}`$ et un plongement de $`X`$ dans un $`C`$-schéma formel $`Y`$ lisse au voisinage de $`X`$ défini par un idéal $`I`$. On sait qu’il existe un recouvrement fini affine $`U=(Y_i)_{iI}`$ de $`Y`$ dont la restriction à $`X`$ est un raffinement du recouvrement $`(X_i)`$. On peut donc supposer que $`X_i=Y_iX`$.

On note $`Y_i=\text{Spf}(A_i)`$ les ouverts du recouvrements $`U`$ et $`X_i=\text{Spec}(A_i)`$ les ouverts induits sur $`X`$. On notera de plus $`U_i`$ l’ouvert $`D(h_i)`$ de $`X_i`$. Le faisceau $`L(D)`$ est trivialisé sur ce recouvrement. Par définition, le cocycle

$$u_{ij}=\frac{h_i}{h_j}$$

est un représentant de $`L(D)`$. On se donne alors un relèvement $`\stackrel{~}{h}_iA_i`$ de $`h_i`$ et un relèvement $`\stackrel{~}{u}_{ij}`$ de $`u_{ij}`$ dans $`A_{ij}`$. On a dans $`A_{ij}`$ :

(3.A)
$$\stackrel{~}{h}_j.\stackrel{~}{u}_{ij}=\stackrel{~}{h}_i+\alpha _{ij}$$

avec $`\alpha _{ij}\mathrm{\Gamma }(U_{ij},I).`$ On regarde $`\stackrel{~}{h}_i`$ et $`\stackrel{~}{u}_{ij}`$ comme des fonctions analytiques sur $`]X_i[`$ et $`]X_{ij}[`$ respectivement.

Il existe alors (lemme 2.1.2 de ) un voisinage strict $`V_{ij}`$ de $`]U_{ij}[`$ dans $`]X_{ij}[`$ sur lequel la fonction $`\stackrel{~}{h}_i`$ est inversible. De plus on peut supposer que pour tout $`xV_{ij}`$ on a, en posant $`\mu _{ij}=\alpha _{ij}/\stackrel{~}{h}_i`$ :

$$|\mu _{ij}(x)|<1.$$

On peut alors regarder l’équation 3.A comme une égalité de fonctions analytiques sur $`V_{ij}`$. On peut écrire notre équation sous la forme :

$$\stackrel{~}{h}_j.\stackrel{~}{u}_{ij}=\stackrel{~}{h}_i.(1+\mu _{ij}).$$

Par suite, on sait  que $`\stackrel{~}{u}_{ij}`$ est inversible. On définit

$$c_{1,D}C^2(U_K,(\mathrm{\Omega }_{]X[}^{}j_U^{}\mathrm{\Omega }_{]X[}^{})_s)=C^2(U_K,O_{]X[})C^1(U_K,\mathrm{\Omega }_{]X[}^1j_U^{}O_{]X[})C^0(U_K,\mathrm{\Omega }_{]X[}^2j_U^{}\mathrm{\Omega }_{]X[}^1)$$

en posant :

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

$$(c_{1,D})_{ij}:=\frac{d\stackrel{~}{u}_{ij}}{\stackrel{~}{u}_{ij}}+\mathrm{log}(1+\mu _{ij})C^1(U_K,\mathrm{\Omega }_{]X[}^1j_U^{}O_{]X[})$$

et

$$(c_{1,D})_i:=\frac{d\stackrel{~}{h}_i}{\stackrel{~}{h}_i}C^0(U_K,\mathrm{\Omega }_{]X[}^2j_U^{}\mathrm{\Omega }_{]X[}^1).$$

Avec cette définition, il est immédiat en reprenant les calculs de  de vérifier que l’on construit bien une classe ne dépendant pas de nos choix.

###### Proposition 3.1.3.

Soient $`f:X^{}X`$ un morphisme de variétés propres intègres et $`D`$ un diviseur de Cartier effectif sur $`X`$ tel que $`f^{}(D)`$ existe, alors :

$$f^{}c_{1,D}=c_{1,f^{}D}.$$

Démonstration :  Il suffit de reprendre la construction précédente pour vérifier qu’elle est fonctorielle. $`\mathrm{}`$

On va maintenant revenir au cas général. Soit $`X`$ une variété lisse mais non nécéssairement propre. On peut, en travaillant composante par composante supposer que $`X`$ est intègre.

###### Lemme 3.1.4.

Avec les notations précédentes, il existe une compactification $`X\overline{X}`$ et un diviseur de Cartier effectif $`\overline{D}`$ sur $`\overline{X}`$ dont la restriction à $`X`$ est $`D`$.

Démonstration :  Il existe une compactification $`X\overline{X}`$, où $`\overline{X}`$ est intègre et $`\overline{X}X`$ est un diviseur \[17, 4.1.1\]. On considère alors $`\overline{|D|}`$ l’adhérence schématique de $`|D|`$ dans $`\overline{X}`$. On éclate $`\overline{|D|}`$ dans $`\overline{X}`$. On voit alors que la variété obtenue, $`\overline{X}^{}`$ est encore propre et que l’image inverse de $`\overline{X}X`$ est un diviseur. L’image inverse de $`\overline{|D|}`$ est alors un diviseur de Cartier noté $`\overline{D}`$. De plus, si on restreint l’éclatement précédent à $`X`$, on ne modifie rien puisqu’on éclate un diviseur de Cartier. On peut donc choisir $`\overline{X}^{}`$ et $`\overline{D}`$. $`\mathrm{}`$

A partir de là on veut définir, comme pour les classes de Chern, la classe d’un diviseur par

$$c_{1,D}=j^{}c_{1,\overline{D}},$$

$`j:X\overline{X}`$.

###### Proposition 3.1.5.

Soient $`\overline{X}`$ une variété propre et intègre, $`X`$ un ouvert et $`\overline{D}_1`$, $`\overline{D}_2`$ deux diviseurs de Cartier effectifs tels que

$$(\overline{D}_1)_{|X}=(\overline{D}_2)_{|X}=D,$$

alors on a dans $`H_{|D|,rig}^2(X)`$ :

$$j^{}c_{1,\overline{D}_1}=j^{}c_{1,\overline{D}_2},$$

$`j:X\overline{X}.`$

Démonstration :  La démonstration est similaire à celle du théorème 4.2.1 de . Nous allons nous contenter de mettre en avant les différences. Nous reprendrons les mêmes notations. On se donne un plongement de $`\overline{X}`$ dans un $`C`$-schéma formel $`Y`$ lisse aux points de $`\overline{X}`$. On choisit un recouvrement affine fini $`U=(Y_i)_{iI}`$ dont la restriction à $`\overline{X}`$ trivialise les deux diviseurs de Cartier. On note $`h_i^1`$ (resp. $`h_i^2`$) l’équation locale définissant $`\overline{D}_1`$ (resp. $`\overline{D}_2`$) dans $`\overline{X}_i`$. Par hypothèses, on sait qu’il existe pour tout $`iI`$, un élément $`\theta _i(A_i)_{f_i}^{}`$ tel que l’on ait dans $`(A_i)_{f_i}^{}`$ :

$$h_i^2=h_i^1.\theta _i.$$

Cette notation est cohérente avec celle de .

En procédant comme précédemment : on multiplie par des puissances de $`f_i`$ puis on relève, on obtient l’existence de $`k`$ et $`\kappa _iI_i`$ tels que

(3.B)
$$f_i^k\stackrel{~}{h}_i^2=\stackrel{~}{h}_i^1.\stackrel{~}{\alpha }_i+\kappa _i,$$

$`\stackrel{~}{\alpha }_i`$ est un relèvement de $`\alpha :=\theta _i.f_i^k`$. On note $`U`$ le complémentaire de $`D`$ dans $`X`$ et $`U_i`$ l’intersection de $`U`$ avec $`Y_i`$. On se restreint alors à des voisinages stricts $`V_i`$ de $`]U_i[`$ dans $`]\overline{X}_i[`$. On peut donc supposer que $`\stackrel{~}{h}_i^1`$ et $`\stackrel{~}{h}_i^2`$ sont inversibles. La restriction de l’équation 3.B à ce voisinage strict peut donc s’écrire :

$$\stackrel{~}{h}_i^2=\stackrel{~}{h}_i^1.\stackrel{~}{\theta }_i(1+\frac{\kappa _i}{f_i^k}(\stackrel{~}{h}_i^1.\stackrel{~}{\theta }_i)^1),$$

où on a posé $`\stackrel{~}{\theta }_i=\stackrel{~}{\alpha }_i/f_i^k.`$ On montre que, quitte à se restreindre à des voisinages stricts $`V_i`$ de $`]U_i[`$, pour tout $`xV_i`$ :

$$\left|\frac{\kappa _i}{f_i^k}(\stackrel{~}{h}_i^1.\stackrel{~}{\theta }_i)^1(x)\right|<1.$$

On pose alors

$$\omega _i:=\mathrm{log}(1+\frac{\kappa _i}{f_i^k}(\stackrel{~}{h}_i^1.\stackrel{~}{\theta }_i)^1)C^0(U_K,j_U^{}O_{]\overline{X}[}).$$

On note

$$\zeta _i:=\frac{d\stackrel{~}{\theta _i}}{\stackrel{~}{\theta _i}}+\omega _iC^0(U_K,j_X^{}\mathrm{\Omega }_{]\overline{X}[}^1j_U^{}O_{]\overline{X}[}),$$

et

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

l’élément défini dans la démonstration du théorème 4.2.1 de . $`\zeta _i`$ et $`\zeta _{ij}`$ définissent un élément

$$\zeta C^1(U_K,(j_X^{}\mathrm{\Omega }_{]\overline{X}[}^{}j_U^{}\mathrm{\Omega }_{]\overline{X}[}^{})_s).$$

On a

$$j^{}c_{1,\overline{D}_1}j^{}c_{1,\overline{D}_2}=\mathrm{\Delta }(\zeta ).$$

$`\mathrm{}`$

On a donc associé à tout diviseur de Cartier $`D`$ sur $`X`$ une classe

$$c_{1,D}H_{|D|,rig}^2(X)$$

###### Proposition 3.1.6.

Soient $`f:X^{}X`$ un morphisme de variétés lisses et $`D`$ un diviseur de Cartier sur $`X`$ tel que $`f^{}(D)`$ existe, alors :

$$f^{}c_{1,D}=c_{1,f^{}D}.$$

### 3.2. Trivialité de la classe d’un diviseur principal

On se donne une variété lisse $`X`$ de dimension $`n`$ et $`D`$ un diviseur sur $`X`$. Soit $`[D]=n_iZ_i`$ le diviseur de Weil associé. On peut définir la classe fondamentale de $`[D]`$ par linéarité :

$$\eta _{[D]}:=n_i\eta _{Z_i}H_{Z_i,rig}^2(X)=H_{|D|,rig}^2(X).$$

Nous allons comparer la classe de fondamentale $`\eta _{[D]}`$ avec la classe $`c_{1,D}`$ du diviseur $`D`$.

Nous allons avoir besoin d’espaces analytiques. Nous allons donc reprendre la définition \[4, 0.3\]

Nous allons définir la structure analytique pour les variétés affines, le cas général s’obtenant par recollement.

Soit $`Y`$ une $`K`$-variété affine. On pose $`Y=\text{Spec}(A)`$ et on se donne une présentation

$$A=K[T_1,\mathrm{},T_q]/(f_1,\mathrm{}f_r).$$

On pose alors $`T_i^{(m)}=\pi ^mT_i`$, $`f_j^{(m)}=f_j(\pi ^mT_1^{(m)},\mathrm{},\pi ^mT_q^{(m)})`$ et

$$\widehat{A}_m:=K\{T_1^{(m)},\mathrm{},T_q^{(m)}\}/(f_1^{(m)},\mathrm{},f_r^{(m)}).$$

On note $`Y^f`$ l’ensemble des points fermés de $`Y`$ et $`Y_m=\{xY^f||T_i(x)||\pi |^m\}`$. On a alors une bijection $`\text{Spm}(\widehat{A}_m)Y_m`$ qui munit ce dernier d’une structure d’espace analytique. On utilise pour finir que $`Y^f=_mX_m`$ pour munir $`Y^f`$ d’une structure d’espace analytique. Cette structure ne dépend ni du choix de $`\pi `$ ni de celui de la présentation. On notera $`Y^{an}`$ la variété analytique ainsi définie.

Remarque : il faut faire attention que si la structure de variété analytique ainsi définie ne dépend pas du choix de la présentation les ouverts $`Y_m`$ eux en dépendent.

Il existe aussi un foncteur faisceau analytique :

$$\begin{array}{ccc}\mathrm{Mod}(Y)& & \mathrm{Mod}(Y^{an})\\ F& & F^{an}\end{array}$$

$`\mathrm{Mod}(Y)`$ (resp. $`\mathrm{Mod}(Y^{an})`$) désigne la catégorie des faisceaux en $`O_Y`$ (resp. $`O_{Y^{an}}`$) modules sur $`Y`$ (resp. $`Y^{an}`$). On peut décrire ce foncteur de la manière suivante. Pour tout ouvert $`U`$ de $`Y`$, $`U^{an}`$ est un ouvert de $`Y^{an}`$ et on a :

$$F^{an}(U^{an})=F(U)_{O_Y(U)}O_{Y^{an}}(U^{an}).$$

###### Proposition 3.2.1.

Le foncteur faisceau analytique associé est exact.

Démonstration :  Cela découle du fait que $`O_{Y^{an}}`$ est plat sur $`O_Y`$.

$`\mathrm{}`$

On va démontrer alors :

###### Proposition 3.2.2.

Soient $`X`$ une variété lisse et $`D`$ un diviseur sur $`X`$. On a dans $`H_{|D|,rig}^2(X)`$, l’égalité :

$$\eta _{[D]}=c_{1,D}.$$

Démonstration :  Par linéarité, on peut supposer que $`D`$ est le diviseur associé à un sous-schéma fermé intègre $`Z`$. De plus la classe fondamentale et la classe d’un diviseur étant compatible à l’extension des scalaires, il nous suffit de démontrer cette égalité aprés une extension finie du corps de base.

On peut donc utilise le lemme 2.2.1. Soit $`U`$ un ouvert vérifiant les hypothèses du lemme, on a :

$$c_{1,D}=c_{1,D_U}\text{ et }\eta _{[D]}=\eta _{[D_U]}$$

via l’isomorphisme :

$$H_{|D|,rig}^2(X)\stackrel{}{}H_{|D_U|,rig}^2(U).$$

On peut donc supposer que $`Z`$ et $`X`$ sont affines et lisses et qu’il existe deux $`C`$-schémas $`Z`$ et $`X`$ affines et lisses ainsi qu’une immersion fermée de $`Z`$ dans $`X`$ telle que l’on obtienne l’inclusion de $`Z`$ dans $`X`$ en passant aux fibres spéciales. Quitte à localiser encore, on peut de plus supposer qu’il existe $`t\mathrm{\Gamma }(X,O_X)`$ tel que $`Z=V(t).`$ On note respectivement $`Z_K`$ et $`X_K`$ les fibres génériques de $`Z`$ et $`X`$.

On sait alors grâce au lemme 2.2.4 que la classe fondamentale est l’image de $`1`$ par le morphisme de Gysin. On va exprimer explicitement le morphisme de Gysin algébrique de l’immersion $`ZX`$. On sait d’après \[2, VI.3\] qu’il existe un morphisme de Gysin en cohomologie de De Rham :

$$G_{Z/X}:\mathrm{\Omega }_Z^{}\mathrm{\Omega }_X^{}[2].$$

On note alors $`H_Z^1(\mathrm{\Omega }_X^{})`$ le complexe :

$$0H_Z^1(O_X)H_Z^1(\mathrm{\Omega }_X^1)\mathrm{}H_Z^1(\mathrm{\Omega }_X^i)\mathrm{}$$

$`H_Z^1`$ désigne le premier groupe de cohomologie à support dans $`Z`$. Le morphisme de Gysin se factorise alors :

$$G_{Z/X}:\mathrm{\Omega }_Z^{}H_Z^1(\mathrm{\Omega }_X^{})[1]\mathrm{\Omega }_X^{}[2].$$

Nous allons expliciter ce morphisme en tant que morphisme de complexes.

Pour tout faisceau de $`O_X`$-modules $`F`$ plat sur $`O_X`$, on a la résolution $`M(F)`$ suivante \[12, 2.2.2\] :

(3.C)
$$FM^0(F)=i_{}(i^{}F)M^1(F)=H_Z^1F$$

$`i:XZX`$ est l’immersion ouverte canonique.

Le morphisme de Gysin peut alors être vu comme le morphisme de complexes suivant :

ΩZaHZ1(OX)ΩX[1]bM(ΩX)[2]

 ΩX[2].superscript𝑎subscriptsuperscriptΩ𝑍tensor-productsubscriptsuperscript𝐻1𝑍subscript𝑂𝑋subscriptsuperscriptΩ𝑋delimited-[]1superscript𝑏𝑀subscriptsuperscriptΩ𝑋delimited-[]2

 subscriptsuperscriptΩ𝑋delimited-[]2\Omega^{\bullet}_{{Z}}\buildrel a\over{\longrightarrow}{H}^{1}_{Z}({O}_{X})\otimes\Omega^{\bullet}_{X}[1]\buildrel b\over{\longrightarrow}{M}(\Omega^{\bullet}_{X})[2]\hbox{$\,\vbox{\hbox to18.0pt{\hfill$\sim$\hfill}\kern-11.0pt\hbox{$\longleftarrow$}}\,$}\Omega^{\bullet}_{X}[2].
Le morphisme $`a`$ s’explicite de la manière suivante. Pour tout ouvert $`W`$, tout $`\alpha `$ et tout $`\omega \mathrm{\Gamma }(W,\mathrm{\Omega }_Z^\alpha )`$ on pose :

$$a(\omega )=\frac{\stackrel{~}{\omega }}{t}dt\mathrm{\Gamma }(W,H_Z^1(O_X)\mathrm{\Omega }_X^{\alpha +1})\mathrm{\Gamma }(W,M(\mathrm{\Omega }_X^{})^{\alpha +2}).$$

$`\stackrel{~}{\omega }`$ est un relèvement de $`\omega `$ dans $`\mathrm{\Gamma }(W,\mathrm{\Omega }_X^\alpha ).`$

On considère le morphisme induit sur la fibre générique. On passe ensuite aux variétés analytiques associées. On obtient alors le morphisme dans la catégorie des complexes de faisceaux en $`K`$-vectoriels sur $`X_K^{an}`$ :

$$G_{Z_K/X_K}^{an}:\mathrm{\Omega }_{Z_K^{an}}^{}H_{Z_K}^1(O_{X_K})^{an}\mathrm{\Omega }_{X_K^{an}}^{}[1]M(\mathrm{\Omega }_{X_K^{an}}^{})[2]$$

où la résolution $`M`$ est obtenue en appliquant le foncteur exact faisceau analytique associé à 3.C.

On se donne maintenant $`(\overline{X},j)`$ une compactification de $`X`$ sur $`C`$ et on note $`\overline{Z}`$ l’adhérence schématique de $`Z`$ dans $`\overline{X}`$. On note alors $`\overline{X}`$ (resp. $`\overline{Z}`$), $`\overline{X}_K`$ (resp. $`\overline{Z}_K`$) et $`\widehat{\overline{X}}`$ (resp. $`\widehat{\overline{Z}}`$) la fibre spéciale, la fibre générique et le complété formel de $`\overline{X}`$ (resp. $`\overline{Z}`$). Comme $`\overline{X}`$ et $`\overline{Z}`$ sont propres sur $`C`$ on a :

$$\widehat{\overline{X}}_K=\overline{X}_K^{an}\text{ et }\widehat{\overline{Z}}_K=\overline{Z}_K^{an}.$$

Le morphisme de Gysin rigide est obtenu en appliquant le foncteur $`\mathrm{\Gamma }_{]\overline{Z}[}^{}j^{}`$ \[6, 5.4\] à $`G_{Z_K/X_K}^{an}`$.

On obtient un morphisme de complexes de faisceaux de $`K`$-vectoriels sur $`\overline{X}_K^{an}`$

$$\mathrm{\Gamma }_{]\overline{Z}[}^{}j^{}\mathrm{\Omega }_{\overline{Z}_K^{an}}^{}\mathrm{\Gamma }_{]\overline{Z}[}^{}j^{}(H_{\overline{Z}_K}^1(O_{\overline{X}_K})^{an}\mathrm{\Omega }_{\overline{X}_K^{an}}^{}[1])\mathrm{\Gamma }_{]\overline{Z}[}^{}j^{}(M(\mathrm{\Omega }_{\overline{X}_K^{an}}^{})[2]).$$

Or, les foncteurs $`j^{}`$ et $`\mathrm{\Gamma }_{]\overline{Z}[}^{}`$ sont exacts, donc $`\mathrm{\Gamma }_{]\overline{Z}[}^{}j^{}(M(\mathrm{\Omega }_{\overline{X}_K^{an}}^{}))`$ est quasi-isomorphe à $`\mathrm{\Gamma }_{]\overline{Z}[}^{}j^{}(\mathrm{\Omega }_{\overline{X}_K^{an}}^{}).`$

On considère pour finir $`\zeta C^0(U,\mathrm{\Gamma }_{]\overline{Z}[}^{}j^{}M^0\mathrm{\Omega }_{X_K^{an}}^1)C^1(U,\mathrm{\Gamma }_{]\overline{Z}[}^{}j^{}M^{}\mathrm{\Omega }_{X_K^{an}}^{})`$ défini par :

$$\zeta _i=\frac{dt_i}{t_i}.$$

Un calcul montre que, si on note $`d`$ et $`d^{}`$ les dérivations du bicomplexe héritées respectivement de la dérivation de $`C^{}`$ et de $`M^{}`$, on a :

$$d\zeta =c_{1,Z}\text{ et }d^{}\zeta =G_{Z/X}^{rig}(1)=\eta _Z.$$

$`\mathrm{}`$

###### Corollaire 3.2.3.

Soit $`i:|D|X`$ un diviseur principal lisse dans une variété lisse. On a

$$i_{}\eta _{[D]}=0.$$

Démonstration :  On a

$$i_{}\eta _{[D]}=i_{}c_{1,D}=c_1(L(D)).$$

Or $`D`$ est principal donc $`L(D)`$ est trivialisable sur $`X`$. $`\mathrm{}`$

### 3.3. Passage à l’équivalence rationnelle

Nous allons commencer par rappeler la définition et les propriétés de l’homologie de Chow qui se trouvent dans .

Un cycle $`zZ_{}(X)`$ est dit rationnellement équivalent à zéro , s’il existe un morphisme propre $`\pi :YX`$ et un diviseur de Cartier principal $`D`$ sur $`Y`$ tel que

$$z=\pi _{}([D]).$$

Les cycles rationnellement équivalents à zéro forment un sous-groupe gradué de $`Z_{}(X)`$ et le groupe quotient est appelé homologie de Chow et noté $`A_{}(X)`$.

###### Proposition 3.3.1.

Les morphismes de fonctorialité ci-dessus passent au quotient par l’équivalence rationnelle. Précisément, tout morphisme propre $`f:XY`$ définit un morphisme $`f_{}:A_{}(X)A_{}(Y)`$ et tout morphisme plat $`f:XY`$ un morphisme $`f^{}:A_{}(Y)A_{}(X)`$.

###### Proposition 3.3.2.

Soient $`X`$ une $`k`$-variété et $`zZ(X)`$ un cycle rationnellement équivalent à zéro. On a

$$\gamma (z)=0.$$

Avant de donner la démonstration de la propriété, énonçons un corollaire.

###### Corollaire 3.3.3.

Soit $`X`$ une $`k`$-variété, l’application classe de cycle passe au quotient par l’équivalence rationnelle et définit de la sorte :

$$\gamma :A_{}(X)H_{}^{rig}(X).$$

Démonstration :  Il suffit de montrer que, si on se donne sur $`X`$ un diviseur de Cartier principal $`D`$, on a $`\gamma ([D])=0.`$ Là encore grace à la compatibilité des classes de cycles aux extensions finies du corps de base, nous allons pouvoir utiliser des techniques d’excisions.

Commençons par montrer que l’on peut supposer que $`X`$ est normale. En effet soit $`\pi :X^{}X`$ la normalisation de $`X`$. On sait \[9, 1.5\] que :

$$\pi _{}[\pi ^{}D]=[D].$$

Donc d’après ce qui précède,

$$\gamma ([D])=\pi _{}\gamma ([\pi ^{}D]).$$

De plus, $`\pi ^{}D`$ est aussi principal.

On suppose donc $`X`$ normale de dimension $`n`$. On sait alors qu’il existe $`T`$ un sous-schéma fermé de codimension supérieure ou égale à deux tel que $`U=XT`$ et $`Z=[D]U`$ soient lisses. On a le diagramme commutatif :

Les axiomes des théories de Poincaré et la nullité de la classe d’un diviseur principal donnent

$$\begin{array}{ccc}\alpha ^{}\gamma ([D])& =& \alpha ^{}j_{}\eta _{[D]}\\ & =& i_{}\beta ^{}\eta _{[D]}\\ & =& i_{}\eta _Z\\ & =& 0.\end{array}$$

Maintenant en utilisant la suite exacte longue :

$$\mathrm{}H_{2n2}^{rig}(T)H_{2n2}^{rig}(X)\stackrel{\alpha ^{}}{}H_{2n2}^{rig}(U)\mathrm{}$$

et sachant que $`H_{2n2}^{rig}(T)=0`$, on voit que $`\alpha ^{}:H_{2n2}^{rig}(X)H_{2n2}^{rig}(U)`$ est injective donc

$$\gamma ([D])=0.$$

$`\mathrm{}`$

###### Proposition 3.3.4.

Soient $`j:UX`$ une immersion ouverte et $`xA_{}(X)`$. On a :

$$\gamma _Uj^{}(x)=j^{}\gamma _X(x).$$

## 4. Intersection de cycles

Nous allons voir que les classes de cycles définies précédemment sont compatibles à l’intersection. Nous allons dans un premier temps nous limiter au cas où la variété ambiante est lisse avant de traiter le cas général.

### 4.1. Classes de cycles sur les variétés lisses

Soit $`X`$ une variété lisse de dimension $`n`$. On se donne deux sous-schémas fermés intègres $`Y`$ et $`Z`$ de codimension $`r`$ et $`s`$ respectivement. Rappelons que l’on dit que $`Y`$ et $`Z`$ s’intersectent proprement si toutes les composantes de $`YZ`$ sont de codimension $`r+s`$ dans $`X`$. On peut alors définir le cycle d’intersection  $`Y.Z`$ qui est un cycle dont le support est $`YZ`$.

La variété $`X`$ étant lisse, les classes fondamentales de $`Y`$ et $`Z`$ se construisent respectivement dans les groupes $`H_{Y,rig}^{2r}(X)`$ et $`H_{Z,rig}^{2s}(X)`$.

###### Proposition 4.1.1.

Avec les notations précédentes, si $`Y`$ et $`Z`$ s’intersectent proprement on a dans $`H_{YZ,rig}^{2(r+s)}(X)`$ :

$$\eta _Y\eta _Z=\eta _{Y.Z}.$$

Démonstration :  Par réduction à la diagonale \[11, II.4.2.19\], on peut supposer que $`Y`$ est lisse. A partir de là, l’immersion $`YX`$ étant régulière, on se réduit classiquement par une récurrence au cas où $`Y`$ est de codimension $`1`$.

Enonçons maintenant un lemme :

###### Lemme 4.1.2.

Soient $`f:X^{}X`$ un morphisme de variétés intègres avec $`X`$ lisse et $`n^{}`$ la dimension de $`X^{}`$. Pour tout diviseur de Cartier $`D`$ sur $`X`$ tel que $`f(X^{})|D|`$ on a dans $`H_{2n^{}2}^{rig}(X^{})`$ :

$$\eta _X^{}f^{}c_{1,D}=\eta _{[f^{}D]}.$$

Démonstration :  Elle est identique à celle du lemme analogue de \[13, 7.7.2\]. $`\mathrm{}`$

On applique le lemme au morphisme $`f:ZX`$, en prenant $`Y`$ comme diviseur de Cartier. On a alors :

$$\eta _Zf^{}c_{1,Y}=\eta _{[Y.Z]}.$$

Il ne reste plus qu’à utiliser la formule de projection pour conclure. $`\mathrm{}`$

Si $`X`$ est lisse, le groupe d’homologie de Chow est isomorphe à l’anneau de Chow classique. On notera alors aussi

$$\gamma :A^{}XH_{rig}^{}(X).$$

###### Proposition 4.1.3.

Si $`X`$ est une variété quasi-projective, le morphisme $`\gamma `$ est un morphisme d’anneaux.

Démonstration :  Cet énoncé découle de la proposition ci-dessus. En effet si on se donne deux cycles dans $`X`$, la variété $`X`$ étant quasi-projective, le moving lemma dit que l’on peut trouver des cycles rationnellements équivalents se coupant proprement. $`\mathrm{}`$

On sait de plus que pour tout morphisme $`f:X^{}X`$ entre deux variétés lisses quasi-projectives, il existe un morphisme de fonctorialité $`f^{}:A^{}(X)A^{}(X^{})`$ défini de la manière suivante. Pour tout cycle $`Z`$ de $`X^{}`$ on choisit un cycle $`Z^{}`$ rationnellement équivalent à $`Z`$ tel que $`p^1Z^{}`$ s’intersecte proprement avec $`\mathrm{\Gamma }_f`$$`p:X\times X^{}X`$ est la projection et $`\mathrm{\Gamma }_f`$ le graphe de $`f`$. En notant $`p^{}:X\times X^{}X^{}`$ l’autre projection, on pose

$$f^{}(Z)=p_{}^{}(\mathrm{\Gamma }_f.p^1(Z^{})).$$

###### Proposition 4.1.4.

Soit $`f:X^{}X`$ un morphisme entre deux variétés lisses quasi-projectives. On a pour tout $`zA^{}(X)`$ :

$$f^{}\gamma _X(z)=\gamma _X^{}f^{}z,$$

$`\gamma _X`$ et $`\gamma _X^{}`$ désignent les applications classes de cycles.

Démonstration :  On suppose d’abord que $`f`$ est plat. On peut supposer que $`z`$ est la classe d’un sous-schéma fermé. Par excision on peut de plus supposer que $`Z`$ est lisse. On se ramène alors par une recurrence au cas de codimension $`1`$. Ce dernier découle des propositions 3.1.6 et 3.2.2.

Pour $`f`$ quelconque, on peut aussi supposer que $`z`$ est la classe d’un sous-schéma fermé. On a alors :

$$\begin{array}{ccc}f^{}\gamma _X(Z)& =& \mathrm{\Gamma }_f^{}p^{}\gamma _X(Z)\\ & =& \mathrm{\Gamma }_f^{}\gamma _{X^{}\times X}(p^{}Z)\\ & =& p_{}^{}(\mathrm{\Gamma }_f)_{}\mathrm{\Gamma }_f^{}\gamma _{X^{}\times X}(p^{}Z)\\ & =& p_{}^{}(\gamma _{X^{}\times X}(\mathrm{\Gamma }_f).\gamma _{X^{}\times X}(p^{}Z))\\ & =& \gamma _X^{}(p_{}^{}(\mathrm{\Gamma }_f.p^{}Z))\\ & =& \gamma _X^{}(f^{}Z).\end{array}$$

$`\mathrm{}`$

### 4.2. Cas général

On va commencer par rappeler la définition de l’anneau de cohomologie de Chow pour une variété éventuellement singulière . Soit $`X`$ une variété, on note $`C(X)`$ la catégorie dont les objets sont les morphismes $`f:XY`$$`Y`$ est une variété lisse. On notera $`(Y,f)`$ un tel objet. Un morphisme de $`(Y,f)`$ dans $`(Y^{},f^{})`$ est la donné d’une application $`g:YY^{}`$ telle que $`f^{}=gf.`$ On pose alors

$$A^{}X=\underset{\genfrac{}{}{0pt}{}{}{C\left(X\right)}}{lim}A^{}Y.$$

On peut alors construire $`\gamma :A^{}XH_{rig}^{}(X).`$ En effet soit $`(Y,f)`$ un objet de $`C(X)`$, on a

$$A^{}Y\stackrel{\gamma }{}H_{rig}^{}(Y)\stackrel{f^{}}{}H_{rig}^{}(X).$$

La proposition 4.1.4 nous montre alors que ces flèches définissent bien le morphisme voulu.

### 4.3. Cap-produit et classes de cycles

Il existe un accouplement entre l’homologie et la cohomologie de Chow \[9, 3.1\] :

$$A_pXA^qX\stackrel{}{}A_{pq}X.$$

Il est défini de la manière suivante : pour tout $`xA_pX`$ et $`yA^qX`$, on choisit $`f:XY`$ avec $`Y`$ lisse et $`\stackrel{~}{y}A^qY`$ pour représenter $`y`$. Alors on pose

$$xy=x_f\stackrel{~}{y},$$

$`x_f\stackrel{~}{y}`$ est l’intersection définie dans . On aura pris soin de choisir des cycles s’intersectant proprement.

On a alors :

###### Proposition 4.3.1.

Soient $`X`$ une variété, $`xA_pX`$ et $`yA^qX`$. On a

$$\gamma (xy)=\gamma (x)\gamma (y).$$

Démonstration :  On choisit un repésentant de $`y`$, à savoir un morphisme $`f:XY`$$`Y`$ est une variété lisse et un cycle $`y`$ dans $`A^q(Y)`$. On doit montrer que

(4.A)
$$\gamma _X(x_fy)=\gamma _X(x)f^{}\gamma _Y(y).$$

On peut donc se restreindre par linéarité au cas où $`x`$ et $`y`$ sont représentés par des sous-chémas fermés intègres $`Z_X`$ et $`Z_Y`$. On se donne de plus, une immersion fermée de $`X`$ dans une variété lisse $`V`$. On a donc le diagramme commutatif suivant :

En utilisant la proposition 4.1.4, l’égalité (4.A) se ramène a :

$$\gamma _X(Z_X_\pi p^{}(Z_Y))=\gamma _X(Z_X)\pi ^{}\gamma _{Y\times V}(p^{}Z_Y).$$

Cette dernière égalité est une conséquence de la proposition 4.1.1.

$`\mathrm{}`$

## 5. Applications

Nous allons maintenant exhiber quelques conséquences du formalisme exposé précédemment

### 5.1. Théorème de Riemann-Roch

Pour commencer, nous allons rappeler la définition du polynôme de Chern et du polynôme de Todd \[SGA6, 15\]. On se place dans $`[[T_i]]_i`$ des séries formelles à nombre dénombrable de variables. On note $`C_i`$ les fonctions symétriques des variables. Le polynôme de Chern est défini par :

$$\mathrm{ch}(C_i)=\underset{i}{}\mathrm{exp}(T_i),$$

$`\mathrm{exp}x=_{i=0}^{\mathrm{}}x^n/n!`$. De même le polynôme de Todd est défini par :

$$\mathrm{td}(C_i)=\underset{i}{}\frac{T_i}{1\mathrm{exp}(T_i)}.$$

Soient $`X`$ une $`k`$-variété et $`E`$ un faisceau localement libre de rang $`r`$ sur $`X`$. On définit le polynôme de Chern et la classe de Todd de $`E`$ par

$$\mathrm{ch}(E):=\mathrm{ch}(c_1(E),\mathrm{},c_r(E)\mathrm{,0},\mathrm{})\text{ et }\mathrm{td}(E):=\mathrm{td}(c_1(E),\mathrm{},c_r(E)\mathrm{,0},\mathrm{}).$$

Si $`X`$ est lisse, on appelle classe de Todd de $`X`$ et on note $`\mathrm{Td}(X)`$ la classe de Todd du fibré tangent.

On peut maintenant énoncé un théorème de Riemman-Roch en cohomologie rigide.

###### Théorème 5.1.1.

Il existe une transformation naturelle $`\tau :K_0H_{}^{rig}`$ de foncteurs covariants de la catégorie des $`k`$-variétés quasi-projectives avec des morphismes propres dans la catégorie des groupes abéliens vérifiant :

1. Pour tout $`X`$, le diagramme

est commutatif.
2. Si $`X`$ est une $`k`$-variété lisse,

$$\tau (O_X)=\mathrm{Td}(X).$$
3. Si $`j:UX`$ est une immersion ouverte de $`k`$-variétés, le diagramme

est commutatif.

Démonstration :  Le théorème de Riemman-Roch à valeur dans l’homologie de Chow à coefficient rationnels $`A_{}(X)_{}`$ \[1, II\], nous donne l’existence de $`\tau _A:K_0(A_{})_{}`$ vérifiant les trois hypothèses. On pose alors

$$\tau =\gamma \tau _A.$$

Maintenant, on note $`c_A`$ la théorie des classes de Chern à valeurs dans $`A^{}(X)_{}`$ \[SGA6\].

L’unicité des classes de Chern à valeurs dans la cohomologie rigide nous donne

$$\gamma c_{univ}=c_{rig}.$$

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

$$\mathrm{ch}(E)=\gamma (\mathrm{ch}_A(E))\text{ et }\mathrm{td}(E)=\gamma (\mathrm{td}_A(E)),$$

$`\mathrm{ch}_A`$ et $`\mathrm{td}_A`$ désignent respectivement le caractère de Chern et la classe de Todd calculés en utilisant $`c_A`$. Le diagramme commutatif suivant :

où le carré de droite est commutatif par 4.3.1 nous donne la proposition $`1`$.

Pour la proposition $`2`$, on a :

$$\begin{array}{ccc}\tau (O_X)& =& \gamma (\mathrm{Td}_A(X)[X])\\ & =& \mathrm{Td}(X)\eta _X\\ & =& \mathrm{Td}(X).\end{array}$$

En effet sur $`X`$ lisse, $`\eta _X`$ est l’unité de l’anneau de cohomologie.

La proposition $`3`$ découle de la proposition 3.3.4.

$`\mathrm{}`$

###### Corollaire 5.1.2.

Soit $`f:XY`$ un morphisme propre entre deux $`k`$-variétés lisses quasi-projectives. On a pour tout $`E`$ dans $`K^0X`$ :

$$f_{}(\mathrm{ch}(E).\mathrm{Td}(X))=\mathrm{ch}(f_{}(E)).\mathrm{Td}(Y).$$

### 5.2. Formule de self-intersection

Soit $`X`$ une $`k`$-variété lisse et $`Y`$ un sous schéma fermé lisse de codimension $`d`$. On note $`J`$ l’idéal de $`Y`$ dans $`X`$ et $`N=J/J^2`$.

###### Théorème 5.2.1.

Pour tout $`yH_{rig}^{}(Y)`$ on a :

$$i^{}i_{}(y)=y.c_d(\stackrel{ˇ}{N}).$$

Démonstration :  On va commencer par un lemme concernant la cohomologie rigide d’un éclaté sachant que ce thème sera repris plus précisément plus tard. Fixons les notations. On considère $`f:X^{}X`$ l’éclaté de $`X`$ le long de $`Y`$. On a alors le diagramme cartésien suivant.

###### Lemme 5.2.2.

En notant :

$$f^{}:H_{Y,rig}^{}(X)H_{Y^{},rig}^{}(X^{})$$

et :

$$f_{}:H_{Y^{},rig}^{}(X^{})H_{Y,rig}^{}(X)$$

on a l’égalité suivante :

$$f_{}f^{}=Id.$$

De plus $`f_{}`$ est de degré $`0`$.

Démonstration :  Pour tout $`xH_{Y,rig}^{}(X)`$ on a :

$$\begin{array}{ccc}f_{}f^{}(x)& =& f_{}(1.f^{}(x))\\ & =& f_{}(1).x\end{array}$$

On est donc ramené à montrer que $`f_{}(1)=1`$. Il suffit de voir que c’est vrai sur l’ouvert $`XY`$, ce qui est évident car $`f`$ induit un isomorphisme de $`X^{}Y^{}`$ sur $`XY`$. $`\mathrm{}`$

Ce lemme étant démontré la démonstration est similiaire à \[SGA5, p 301\].

Remarque : pour les variétés quasi-projectives, la formule de self-intersection peut aussi se déduire de la formule dans les groupes de Chow.

### 5.3. Cohomologie d’un éclaté

On garde les notations précédentes. Pour tout $`n`$ on considère l’application :

$$\psi _n:H_{rig}^n(X)H_{rig}^{n2}(Y^{})H_{rig}^n(X^{})H_{rig}^{n2d}(Y)$$

$$(resp.\psi _{Y,n}:H_{Y,rig}^n(X)H_{rig}^{n2}(Y^{})H_{Y^{},rig}^n(X^{})H_{rig}^{n2d}(Y))$$

définie par :

$$\psi _n=\left(\begin{array}{cc}f^{}& j_{}\\ 0& g_{}\end{array}\right).$$

###### Proposition 5.3.1.

Avec les notations ci-dessus $`\psi _n`$ (resp. $`\psi _{Y,n}`$) est un isomorphisme.

Démonstration :  Nous allons démontrer que $`\psi _{Y,n}`$ est un isomorphisme en exhibant un inverse. Pour commencer on rappelle un lemme de \[SGA5\] dont la démonstration se recopie dans notre cas.

###### Lemme 5.3.2.

On note $`F`$ le $`O_Y^{}`$-module défini par :

$$0Fg^{}(N)O_Y^{}(1)0.$$

Alors pour tout $`n0`$ et tout $`yH_{rig}^n(Y)`$ on a :

$$f^{}(i_{}(y))=j_{}(g^{}(y)c_{d1}(\stackrel{ˇ}{F})).$$

On pose alors :

$$\gamma =j_{}^1(f^{}f_{}Id).$$

Le lemme précédent nous permet d’affirmer que si on pose

$$\mu _n=\left(\begin{array}{cc}f_{}& i_{}\\ \gamma & c_{d1}(F)g^{}\end{array}\right)$$

alors on a :

$$\mu _n\psi _{Y,n}=Id.$$

On a donc démontré que pour tout $`n`$, $`\psi _{Y,n}`$ est un isomorphisme.

Passons maintenant à $`\psi _n`$. En remarquant que la cohomologie de $`XY`$ est la même que celle de $`X^{}Y^{}`$, les suites exactes longues d’excisions nous donnent le diagramme commutatif suivant :

Le lemme des cinq nous donne alors la bijectivité de $`\psi _n`$.

$`\mathrm{}`$


text:
# Magnetic Field Effects in the Pseudogap Phase: A Competing Energy Gap Scenario for Precursor Superconductivity

## Abstract

We study the sensitivity of $`T_c`$ and the pseudogap onset temperature , $`T^{}`$, to low fields, $`H`$, using a BCS-based approach extended to arbitrary coupling. We find that $`T^{}`$ and $`T_c`$, which are of the same superconducting origin, have very different $`H`$ dependences. This is due to the pseudogap, $`\mathrm{\Delta }_{pg}`$, which is present at the latter, but not former temperature. Our results for the coherence length $`\xi `$ fit well with existing experiments. We predict that very near the insulator $`\xi `$ will rapidly increase.

One of the central questions in understanding the underdoped cuprates is the extent to which the superconducting phase is described by BCS theory. Recent experiments indicate that the pseudogap persists below $`T_c`$ in the underlying normal density of states. Thus, the fermionic excitation gap $`\mathrm{\Delta }`$ is to be distinguished from the order parameter $`\mathrm{\Delta }_{sc}`$. These two energy gaps mirror a distinction between the two temperatures $`T^{}`$(the pseudogap onset), and $`T_c`$(the superconducting transition), which behave differently as a function of hole concentration $`x`$ as well as of magnetic field, $`H`$. Indeed, $`T^{}`$ and $`T_c`$ are, respectively, weakly and strongly dependent on $`H`$ in the well-established pseudogap regime. Moreover, the distinction between these temperature and energy scales has been frequently cited as evidence that they have different physical origins.

In this paper we provide a counter argument to this widely stated inference by demonstrating that these crucial magnetic field effects in the pseudogap phase, are entirely compatible with superconductivity as origin for both $`T^{}`$ and $`T_c`$. Our approach is based on an extended version of BCS theory, in which the attractive coupling $`g`$ is contemplated to be strong enough so that pairs begin to form at a higher temperature $`T^{}`$ than the $`T_c`$ at which they Bose condense. We have shown that as a necessary consequence $`\mathrm{\Delta }\mathrm{\Delta }_{sc}`$. Moreover, our work has emphasized that a (pseudo)gap in the fermionic spectrum at $`T_c`$ is deleterious for superconductivity. Thus, as observed experimentally, as a function of decreasing $`x`$, $`T_c`$ decreases as the pseudogap or $`T^{}`$ grows.

A calculation of the field dependence of $`T_c`$ (i.e., $`H_{c2}`$) is an important problem in its own right. (i) This is the only way to provide a precise interpretation of the “coherence length” $`\xi `$, which we demonstrate here is very different from that of BCS theory. (ii) An analysis of $`H_{c2}`$ is tantamount to arriving at a reformulation of the microscopically deduced Ginzburg-Landau (GL) free energy up to quadratic terms, which must necessarily incorporate the presence of a non-zero pseudogap at $`T_c`$. (iii) Because the “competing order parameter” scenario  also addresses the observation that $`\mathrm{\Delta }\mathrm{\Delta }_{sc}`$, as well as the competing $`x`$ dependences of $`T_c`$ and $`T^{}`$, magnetic field effects may provide a unique testing ground for distinguishing between these two scenarios.

Indeed there is a rather close similarity in the structure of our zero-field theory to the phenomenology deduced from thermodynamical data by Loram et al. Our mean field calculations show that the gap equation for $`TT_c`$ reduces to the usual BCS form, but with a new quasi-particle dispersion

$$E_𝐤=\sqrt{ϵ_𝐤^2+(\mathrm{\Delta }_{sc}^2+\mathrm{\Delta }_{pg}^2)\phi _𝐤^2}=\sqrt{ϵ_𝐤^2+\mathrm{\Delta }^2\phi _𝐤^2}.$$
(1)
Here $`\phi _𝐤`$ is associated with the pairing symmetry. It follows from this that the larger is $`\mathrm{\Delta }_{pg}(T_c)`$, the lower the transition temperature $`T_c`$. In contrast to the work in Refs.  and , here $`\mathrm{\Delta }_{pg}(T)`$, is determined self-consistently and derives from the presence of a strong pairing attraction. Moreover, this pseudogap, $`\mathrm{\Delta }_{pg}`$, persists below $`T_c`$.

The conclusions of this paper are relatively straightforward and we begin with a simple intuitive argument to address $`H_{c2}`$. Consider the Ginzburg-Landau free energy functional near $`T_c`$ to quadratic order in $`\mathrm{\Delta }_{sc}`$, in a finite field

$$F\left(\tau _0(T)+\eta ^2\left(\frac{}{i}\frac{2e𝐀}{c}\right)^2\right)\left|\mathrm{\Delta }_{sc}\right|^2.$$
(2)
Here $`\tau _0`$ describes how the system approaches the critical point with varying temperature, and $`\eta ^2`$ is the stiffness against spatial variations of the order parameter. The mean-field behavior of $`\tau _0`$ near $`T_c`$ yields $`\tau _0(T)=\overline{\tau }_0(1T/T_c)`$. It follows that

$$\frac{1}{T_c}\frac{dT_c}{dH}|_{H=0}=\frac{2\pi }{\mathrm{\Phi }_0}\xi ^2=\frac{2\pi }{\mathrm{\Phi }_0}\frac{\eta ^2}{\overline{\tau }_0}.$$
(3)
where $`\xi `$ is the zero temperature coherence length. A rough extrapolation yields $`H_{c2}(0)\mathrm{\Phi }_o/(2\pi \xi ^2)`$. In the small $`g`$ (i.e., BCS) case $`\overline{\tau }_0=N(0)`$, the density of states per spin at the Fermi surface, and $`\eta ^2=N(0)7\zeta (3)/48\pi ^2(v_F/T_c)^2`$. The squared coherence length $`\xi _{BCS}^2=7\zeta (3)/48\pi ^2(v_F/T_c)^2`$ is determined by the stiffness $`\eta ^2`$ with $`\overline{\tau }_0`$ cancelling the density of states.

In contrast, in the strong coupling case the pseudogap modifies the fermionic quasiparticle dispersion through a replacement of $`ϵ_𝐤`$ by $`E_𝐤`$ and thereby suppresses $`\overline{\tau }_0`$. Moreover, the stiffness $`\eta ^2`$ (which is relatively *insensitive* to the energy scale of the pseudogap), decreases due to the diminishing pair size. There is, thus, a competition between the numerator and denominator in Eq. (3). The decrease in $`\overline{\tau }_0`$ dominates at sufficiently large coupling $`g`$, resulting in an extended flat region followed by an eventual growth of $`\xi ^2`$ with increasing $`g`$. The latter reflects the approach to the ideal “boson” limit, where $`T_c`$ is suppressed to zero at any $`H0`$.

Next, we provide a microscopic derivation of the parameters in Eq. (3) (and a related counterpart for $`T^{}`$). A central theme in our paper is that both the field sensitivity of $`T_c`$ and of $`T^{}`$ in small $`H`$ can be studied through the zero-field normal state pair propagator, or the inverse $`t`$-matrix $`t^1(Q)=1/g+\chi (Q)`$, where $`Q=(𝐪,\mathrm{\Omega })`$ is a four-vector. The coefficients in Eq. (2) will be shown to arise from an expansion of $`t^1`$ in the momentum components perpendicular to the field (indexed by $`i,j=x,y`$) as

$$\tau _0=\frac{1}{g}+\chi (\mathrm{𝟎},0),\eta ^2=\frac{1}{2}\sqrt{\mathrm{det}\left[_{q_i}_{q_j}\chi (Q)\right]}|_{Q=0},$$
(4)
where we have generalized from Eq. (2) to include possible anisotropy.

A proper motivation for our choice of $`\chi (Q)`$ is essential. The formalism in this paper combines a Green’s function decoupling scheme with a generalization of the BCS ground state wavefunction. This formalism allows for Fermi- and non-Fermi-liquid (i.e., $`\mathrm{\Delta }_{pg}(T_c)0`$) based superconductivity, according to the size of $`g`$, with self consistently determined chemical potential $`\mu `$. In the present paper all technical issues of this decoupling scheme can be simply by-passed, and the results obtained are not only intuitive, but rather general. All that is needed here is the observation that the pair susceptibility $`\chi (𝐪,\mathrm{\Omega })=\chi (Q)=_KG(K)G_0(QK)\phi _{𝐤𝐪/2}^2`$. Thus

$`\chi (𝐪,0)={\displaystyle \underset{𝐤}{}}\phi _{𝐤𝐪/2}^2\times `$ (6)
$`\left[{\displaystyle \frac{1f(E_𝐤)f(ϵ_{𝐤𝐪})}{E_𝐤+ϵ_{𝐤𝐪}}}u_𝐤^2{\displaystyle \frac{f(E_𝐤)f(ϵ_{𝐤𝐪})}{E_𝐤ϵ_{𝐤𝐪}}}v_𝐤^2\right].`$
Here $`u_𝐤^2`$ and $`v_𝐤^2`$ are the usual BCS coherence factors, and $`\phi _𝐤^2=(1+(k/k_0)^2)^1`$, or $`(\mathrm{cos}(k_xa)\mathrm{cos}(k_ya))^2`$, for $`s`$\- wave pairing in 3D jellium or $`d`$-wave pairing on a quasi- 2D lattice, respectively. That there is one full Green’s function ($`G`$) along with one bare Green’s function ($`G_0`$), reflects the structure of the BCS gap equation, which introduces this $`\chi (Q)`$ form, (with integrand proportional to the usual Gor’kov $`F`$ function). All numerical calculations in this paper are based on Eqs. (1), (4), and (6), given $`\mathrm{\Delta }_{pg}\mathrm{\Delta }_{pg}(T_c)`$. Although here we proceed more self consistently, our analytical scheme for computing the various energy scales can be by-passed, if $`\mathrm{\Delta }_{pg}`$ and $`T_c`$ are pre-determined, e.g., fitted to cuprate experiments.

We next turn to $`T^{}`$, where the Fermi liquid begins to break down; this is associated with the onset of a resonance in $`t(Q)`$, as $`g`$ becomes sufficiently large. Detailed numerics based on the coupled Green’s function equations show that to a good first order approximation this resonance temperature can be deduced from the condition $`1/g+\chi _0(\mathrm{𝟎},0)=0`$, where $`\chi _0`$ is given by Eq. (6) with $`ϵ_k`$ substituted for $`E_𝐤`$. Indeed, quite generally, at $`TT^{}`$, the $`t`$-matrix can be well approximated by using $`\chi _0(Q)`$ in place of $`\chi (Q)`$.

Magnetic field effects can be readily included into our formalism. We begin with a derivation of $`T^{}(H)`$ to linear order in $`H`$. Our Hamiltonian consists of the field dependent kinetic energy term along with the usual two-body pairing interaction of strength $`V_{𝐤,𝐤^{}}=g\phi _𝐤\phi _𝐤^{}^{}`$ where we now include interactions between pairs of non-zero net momentum. Fluctuations of pairs with finite momentum $`(𝐪,𝐤)`$ are characterized by the correlation function

$`D(q,k;q^{},k^{})=𝒯b(q,k,\tau )b^{}(q^{},k^{},\tau ^{}),`$

where $`b(q,k,\tau )=e^{(\mu N)\tau }c_{q/2k}c_{q/2+k}e^{(\mu N)\tau }`$.

Summing ladder diagrams leads to a Dyson equation $`D=G_0G_0G_0G_0VD`$ with solution

$$\underset{k,k^{}}{}D\phi _k^{}\phi _k^{}=\frac{\widehat{\chi _0}}{1+g\widehat{\chi _0}}$$
(7)
where $`\widehat{\chi _0}=G_0G_0`$ is the counterpart pair susceptibility for $`H0`$, and the field-dependence of the bare electron propagator $`G_0`$ is implemented using the semiclassical phase approximation, elevating both $`\widehat{\chi _0}`$ and $`_{k,k^{}}D\phi _k^{}\phi _k^{}`$ to integral operators  whose eigenvalues satisfy Eq. (7). This approximation allows the calculation of the eigenvalues of $`\widehat{\chi _0}`$ from the zero-field pair susceptibility $`\chi _0`$ in the regime $`TeH/mc`$. The field-induced relative phase shift between electrons in a pair renormalizes the interaction $`V_{𝐤,𝐤^{}}`$, but the effect is quadratic in $`H`$ and is therefore ignored here. The pairing resonance temperature $`T^{}`$ is defined by the appearance of an eigenvalue $`\mathrm{\Pi }_0=g^1`$ of $`\widehat{\chi _0}`$, which causes Eq. (7) to diverge. We define parameters $`\eta ^2`$ and $`\tau _0^{}=\overline{\tau }_0^{}(1T/T^{})`$ analogous to those which appear in Eq. (4) and obtain

$$g^1+\mathrm{\Pi }_0=\tau _0^{}+\eta ^2\frac{2e}{c}H=0$$
(8)
which defines $`T^{}(H)`$ to linear order in $`H`$. The slope of $`T^{}(H)`$ at $`H=0`$ is

$$\frac{1}{T^{}}\frac{dT^{}}{dH}|_{H=0}=\frac{\eta ^2}{\overline{\tau }_0^{}}\frac{2\pi }{\mathrm{\Phi }_0}$$
(9)
which leads to the associated “coherence length” $`\xi ^2=\eta ^2/\overline{\tau }_0^{}`$. The stiffness $`\eta ^2`$ can be explicitly evaluated using the zero-field pair susceptibility, and

$`\overline{\tau }_0^{}={\displaystyle \underset{𝐤}{}}`$ $`\phi _𝐤^2`$ $`[f^{}(ϵ_𝐤)+{\displaystyle \frac{d\mu }{dT}}{\displaystyle \frac{T}{ϵ_𝐤}}`$ (11)
$`({\displaystyle \frac{12f(ϵ_𝐤)}{2ϵ_𝐤}}+f^{}(ϵ_𝐤))]_{T=T^{}}`$
Here we have included a contribution from the temperature dependence of $`\mu `$. In the weak coupling case, the chemical potential is pinned at $`E_F`$, and we recover the ($`s`$-wave) BCS limit $`\overline{\tau }_0^{}=_𝐤f^{}(ϵ_𝐤)\phi _𝐤^2N(0)\phi _{k_F}^2N(0)`$.

The dashed line in Fig. 1 is a plot of the slope of $`T^{}`$ with $`H`$, as a function of the coupling $`g`$, for the case of $`s`$-wave jellium. This should be compared with the inset, from Ref. , which illustrates the suppression of $`T_c`$ by $`\mathrm{\Delta }_{pg}`$ for all $`g`$ in the fermionic regime; (ultimately, when $`\mu `$ becomes negative, $`T_c`$ starts to increase again). When pseudogap effects are weak, $`T^{}`$ is essentially the same as $`T_c`$ and depends strongly on $`H`$. A stronger pairing interaction $`g`$ causes $`\mathrm{\Delta }_{pg}`$ to increase and the pair size to decrease; the latter effect diminishes the stiffness and causes $`T^{}`$ to be weakly field dependent .

We turn next to $`T_c(H)`$ and note that a solution of the coupled equations of motion (as was done in the zero field case) appears prohibitively difficult. Nevertheless, based on the above observations that (i) in zero field $`T^{}`$ scales rather well with $`\mathrm{\Delta }_{pg}`$ (both theoretically and experimentally,) and (ii) that $`T^{}`$ is very weakly field dependent in the well-established pseudogap regime, we infer that $`\mathrm{\Delta }_{pg}\mathrm{\Delta }_{pg}(T_c)`$ is weakly $`H`$ dependent. This assumption, along with the semi-classical phase approximation for the full Green’s function, are the only essential assumptions made here. The weak $`H`$ dependence in $`\mathrm{\Delta }_{pg}`$ appears compatible with experiment and underlies a GL formulation (Eq. (2)) in which only the superconducting order parameter is coupled to the magnetic field. In this way, for the purposes of computing $`H_{c2}`$, the pseudogap enters as a relatively rigid band structure effect, which is accounted for by introducing the full pair susceptibility into the standard $`H_{c2}`$ formalism. This approach necessarily yields the correct $`H=0`$ result for $`T_c`$.

It also leads naturally to Eq. (4), from which one deduces a rather complicated expression (not shown) for $`\eta ^2`$ along with

$$\overline{\tau }_0=\underset{𝐤}{}\phi _𝐤^2f^{}(E_𝐤),$$
(12)
where we have omitted contributions from the temperature dependence of $`\mu `$ and $`\mathrm{\Delta }_{pg}`$ near $`T_c`$. Eq. (12) contains the essential physics introduced by the pseudogap. The summation essentially measures the $`E=0`$ density of states which is depleted by the pseudogap at strong coupling, leading to $`\overline{\tau }_0e^{\mathrm{\Delta }_{pg}/T_c}`$. Moreover, we have shown analytically that the neglected terms further suppress $`\overline{\tau }_0`$, and, therefore, do not qualitatively change our results.

Figures 1 and 2 indicate how the characteristic low-field slopes behave as a function of coupling $`g`$, for the $`s`$-wave (jellium) and $`d`$-wave (lattice) cases, respectively. For the latter, the bare band dispersion was presumed to be $`ϵ_𝐤=2t_{}(2\mathrm{cos}(k_xa)\mathrm{cos}(k_ya))2t_{}(1\mathrm{cos}(k_{}d))\mu `$, where $`a`$ is the lattice constant in the plane and $`d`$ is the distance between layers. The insets in each figure summarize the zero field results for $`T_c`$, $`T^{}`$, and $`\mathrm{\Delta }_{pg}`$, calculated elsewhere. It should be noted from the insets that there is an extended regime of coupling constants over which BCS behavior ($`\mathrm{\Delta }_{pg}=0`$, and $`T_c=T^{}`$) is obtained. However, beyond a “critical” coupling (corresponding roughly to where bound states of the isolated pair occur,) the pseudogap becomes non-zero, and $`T_c`$ is differentiated from $`T^{}`$.

It is clear from the figures that the slopes of $`T^{}`$ and $`T_c`$ are identical at weak coupling and become progressively more distinct as the coupling is increased. The two associated stiffness parameters decrease with coupling in a similar way, but the field dependence of $`T_c`$ is enhanced by the strong suppression of $`\overline{\tau }_0`$ relative to $`\overline{\tau }_0^{}`$. The competition between the numerator and denominator in Eq. (3) leads to a length scale $`\xi ^2`$ which is relatively constant over a rather wide range of moderate $`g`$; then at sufficiently strong coupling $`\xi ^2`$ begins to increase due to the reduction in the density of states ($`\overline{\tau }_0`$) associated with the growth of the pseudogap.

The key role of $`\overline{\tau }_0`$ in determining the squared-coherence length $`\xi ^2`$ highlights the fact that at strong coupling, the various length scales of the system must be carefully distinguished even though they are identical in BCS theory. This is illustrated in Figs. 3(a) and (b) for the $`s`$\- and $`d`$-wave cases, respectively, in which we compare normalized stiffness, $`\overline{\eta }=\eta /\sqrt{N(0)}`$, with the BCS coherence length at $`T_c`$, and $`\xi `$, the calculated coherence length at $`T_c`$. The density of states effect is evident in both the $`s`$\- and $`d`$-wave cases, as the upturn of $`\xi `$ at strong coupling contrasts sharply with the tapering of the stiffness $`\overline{\eta }`$. Note that $`\xi _{BCS}`$ exhibits unusual structure in Fig. 3(a) which arises from the non-monotonic behavior of $`T_c`$ evident in the inset of Fig. 1. In Fig. 3(b), the divergence of $`\xi _{BCS}`$ at large $`g`$ is “accidental” and derives from the vanishing of $`T_c`$ which arises from pair-localization (see Fig. 2, inset). BCS relations, therefore, are very misleading when one tries to infer the behavior of $`\xi `$ at strong coupling from other length scales in the system.

In order to map the coupling $`g`$ onto hole concentration $`x`$, we introduce an $`x`$-dependent hopping matrix element $`t_{}(x)=t_0x`$ associated with the Mott transition. We presume in the absence of more microscopic information that $`g`$ is $`x`$ independent, leaving one free parameter in our theory $`g/t_0`$, chosen to optimize a fit to the phase diagram (Fig. 4, inset.) One could, alternatively, bypass all assumptions concerning Mott insulator physics, if one instead used experimental data in place of the calculations in the inset. The resulting behavior of $`\xi `$ and $`\xi ^{}`$ (Fig. 4) would be essentially the same. Over most of the range of $`x`$, $`\xi `$ is relatively constant, as seems to be observed experimentally, and its magnitude is within a factor of two or three of experiment. As in experiment, $`T^{}`$ is found to be less field sensitive in the underdoped than overdoped regimes. As the insulator is approached, $`\xi `$ rapidly increases  while $`\xi ^{}`$ continues to decrease. We have thus demonstrated that the different observed field dependences of $`T^{}`$ and $`T_c`$ (for both under- and over-doped cuprates) are contained in our theory, in which the pseudogap is associated with precursor superconductivity.

This work was supported by NSF-MRSEC, grant No. DMR-9808595 and by the State of Florida (QC). We acknowledge the hospitality of the ITP, UCSB, where the work was begun, and thank A. Carrington, B. Jankó, V. M. Krasnov, and Z. Tešanović for useful conversations.

Note Added. — After this work was completed we learned of related experimental studies by Shibauchi et al. which show strong similarities to our theoretical predictions.


text:
# Standard cosmology from the brane cosmology with a localized matter

## Acknowledgments

This work was supported in part by the Brain Korea 21 Program, Ministry of Education, Project No. D-0025 and KOSEF, Project No. R02-2002-000-00028-0.