format: text

text:
# Configuration interaction method for Fock-Darwin states

## I Introduction

In the configuration interaction (CI) method the Hamiltonian of an interacting system is calculated in the basis of many-electron configurations and diagonalized exactly. Unlike the correlated basis of Jastrow or Hylleraas functions, the CI basis functions do not automatically include correlations among pairs of electrons, so their repulsive interaction is not minimized. Hence the size and choice of the basis influences the accuracy of results. Exact diagonalization (ED) has been an important tool used to investigate the electronic and optical properties of quantum dots jacak98 ; maksym90 ; merkt91 ; pfannkuche93 ; hawrylak93 ; yang93 ; hawrylak93b ; palacios94 ; wojs95 ; oaknin96 ; wojs96 ; maksym96 ; hawrylak96 ; wojs97 ; wojs97b ; eto97 ; eto97b ; maksym98 ; imamura98 ; imamura98b ; hawrylak99 ; creffield99 ; bruce00 ; reimann00 ; mikhailov02 . Not only does it provide benchmark results for the ground state energy and wave function, but also it gives access to excited states and hence permits an interpretation of a number of spectroscopic techniques such as far-infrared wojs96 , photoluminescence wojs97 , and Raman wojs97b . In contrast, the quantum Monte Carlo (QMC) bolton96 ; harju99 ; harju99b ; harju02a ; harju02b ; egger99 ; pederiva00 ; pederiva03 ; filinov01 , mean-field Hartree-Fock yannouleas99 ; reusch01 , and density-functional theory (DFT) calculations koskinen97 ; austing99 ; hirose99 ; steffens99 ; wensauer00 ; wensauer01  are restricted to the ground-state properties.

The objective of this work is to present a CI method optimized for the specific problem of interacting electrons in a parabolic dot in a magnetic field. The optimization explicitly accounts for geometrical and dynamical symmetries of single-particle states, and for many-particle symmetries associated with the center-of-mass (CM) motion and total spin. This results in a reduced basis size and improved accuracy, which in turn allows for a reliable computation of dot properties in the strongly correlated regime. Previous work on total spin and CM-resolved calculations used either the group-theoretical approach limited to a small number of electrons hawrylak93 ; hawrylak93b , or the lowest Landau level approximation oaknin96 . Here we build on these results to construct a reliable and versatile computational tool capable of testing many of the interesting predictions involving electronic correlations in quantum dots. The paper is organized as follows. In Sec. II we focus on the physical properties of our system, discuss the Hamiltonian, its symmetries and quantum numbers, and its scaling properties. In Sec. III we present a total spin- and CM-resolved CI technique. We compare our results with QMC and stochastic-variational method (SVM) and with previous results describing the evolution of the electronic droplet with the magnetic field.

## II Hamiltonian and symmetries

We consider a two-dimensional quantum dot with a parabolic confinement potential of strength $`\omega _0`$ (henceforth $`\mathrm{}=1`$) in a perpendicular magnetic field $`𝐁=(0,0,B)`$. The Hamiltonian for $`N`$ particles in real-space representation \[with $`𝐫=(x,y)`$, $`\widehat{𝐩}=(\widehat{p}_x,\widehat{p}_y)`$, and the vector potential $`𝐀(𝐫)=B/2(y,x)`$\] is:

$`\widehat{H}={\displaystyle \underset{j=1}{\overset{N}{}}}\left({\displaystyle \frac{1}{2m^{}}}\left(\widehat{𝐩}_j+e𝐀(𝐫_𝐣)\right)^2+{\displaystyle \frac{1}{2}}m^{}\omega _0^2𝐫_j^2\right)+{\displaystyle \frac{1}{2}}{\displaystyle \underset{j,k=1}{\overset{N}{}}}{}_{}{}^{}{\displaystyle \frac{e^2}{4\pi \epsilon \epsilon _0|𝐫_j𝐫_k|}},`$ (1)
with the Zeeman term omitted for simplicity. Here $`m^{}`$, $`e`$ are the electronic effective mass and charge, respectively, $`\omega _c=eB/m^{}`$ is the cyclotron energy, and $`\epsilon `$ is the dielectric constant of the host semiconductor. We can rewrite the one-particle contribution of equation (1) to obtain $`\left(𝐩_j^2/2m^{}+m^{}\omega _h^2𝐫_j^2/2+(\omega _c/2)\widehat{l}_j\right)`$, where $`\omega _h=\sqrt{\omega _0^2+\omega _c^2/4}`$ is the hybrid frequency and $`\widehat{l}_j`$ is the angular momentum operator. Introducing the effective length $`l_\mathrm{h}^2=m^{}\omega _\mathrm{h}`$, and scaling all lengths in the units of $`l_h`$ and energies in effective Rydbergs $`Ry=m^{}e^4/2\epsilon ^2`$ results in a dimensionless Hamiltonian,

$`\widehat{H}={\displaystyle \frac{1}{(l_h/a_0)^2}}({\displaystyle \underset{j=1}{\overset{N}{}}}(_j^2+𝐫_j^2+{\displaystyle \frac{l_\mathrm{h}^2}{l_0^2}}\widehat{l}_j)+(l_\mathrm{h}/a_0){\displaystyle \underset{j,k=1}{\overset{N}{}}}{}_{}{}^{}|𝐫_j𝐫_k|^1).`$ (2)
Here the strength of Coulomb interactions is proportional to the effective length $`(l_\mathrm{h}/a_0)`$, with $`a_0=\epsilon /m^{}e^2`$ being the effective Bohr radius and $`l_0^2=m^{}\omega _\mathrm{c}`$ being the magnetic length. Therefore, the larger the effective length or the smaller the hybrid frequency, the larger the contribution from electron-electron interactions.

The Hamiltonian (1) exhibits another scaling property. To see it we rewrite it as a function of $`\omega _0`$, $`\omega _c`$, and $`N`$ and separate the contribution of the angular momentum. This concept is similar to the modification of the Hamiltonian of a (natural) atom in Ref. capelle02 .

$$\widehat{H}=\underset{j=1}{\overset{N}{}}\left(\frac{\widehat{𝐩}_j^2}{2m^{}}+\left(\omega _0^2+\frac{\omega _c^2}{4}\right)\frac{m^{}𝐫_j^2}{2}\right)+\underset{j,k=1}{\overset{N}{}}{}_{}{}^{}\frac{e^2}{8\pi \epsilon \epsilon _0|𝐫_j𝐫_k|}+\underset{j=1}{\overset{N}{}}\frac{\omega _c}{2}\widehat{l}_j.$$
(3)
The total Hamiltonian is therefore a sum of a Hamiltonian of a dot in zero magnetic field with the confinement frequency $`\sqrt{\omega _0^2+\omega _c^2/4}`$, and the total angular momentum contribution $`(\omega _c/2)\widehat{L}`$. As a result we can map the spectra and wave functions of a dot in the presence of the magnetic field to those at zero field. Note that Eq. (3) implies that the energy levels of subspaces with different angular momenta are shifted against each other due to the term $`(\omega _c/2)\widehat{L}`$, whereas within a specific subspace of the angular momentum the energy levels are fixed relative to each other. Therefore, ground states in high magnetic fields are excited states in zero field and a suitable choice of a finite basis is not trivial.

The choice of the basis is facilitated by the properties of the one- and the many-particle Hamiltonian. The properties of the one-electron Hamiltonian are easily understood by a transformation from the momentum and position representation ($`\widehat{𝐩},𝐫`$) into the language of harmonic-oscillator raising and lowering operators hawrylak93 ; hawrylak93b :

$$\widehat{H}_0=\omega _+(\widehat{a}_+^{}\widehat{a}_++1/2)+\omega _{}(\widehat{a}_{}^{}\widehat{a}_{}+1/2),$$
(4)
with the energy spectrum $`\epsilon _{nm\sigma }=\omega _+(n+1/2)+\omega _{}(m+1/2)`$ ($`n,m=0,1,\mathrm{},\mathrm{}`$), and the two oscillator frequencies $`\omega _\pm =\omega _h\pm \omega _c/2`$. The harmonic-oscillator spectrum is equivalent to the spectrum derived independently by Fock fock28  and Darwin darwin31  (the Fock-Darwin spectrum, FD) applying different methods. The corresponding states are denoted by $`|nm\sigma `$, where $`\sigma =,`$ denotes the electronic spin. The eigenvalues of the angular momentum operator $`\widehat{l}=\widehat{n}\widehat{m}`$, the spin $`\widehat{𝐬}^2`$, and its $`z`$-component $`\widehat{s}_z`$ are good quantum numbers. In addition, there are dynamical symmetries associated with the form of the confining potential. These symmetries lead to degeneracies of the harmonic-oscillator spectrum at $`B=0`$ and also at finite fields whenever $`\omega _+/\omega _{}=k`$, with $`k=1,2,\mathrm{}`$.

For numerical calculations it is useful to resort to the language of second quantization. The Hamiltonian of $`N`$ particles in second quantization with Fermion creation $`\widehat{c}_{nm\sigma }^{}`$ and annihilation $`\widehat{c}_{nm\sigma }`$ operators can be written as:

$$\widehat{H}=\underset{i\sigma }{}\epsilon _{i\sigma }\widehat{c}_{i\sigma }^{}\widehat{c}_{i\sigma }+\frac{1}{2}\underset{ijkl\sigma \sigma ^{}}{}i,j|\widehat{W}|k,l\widehat{c}_{i\sigma }^{}\widehat{c}_{j\sigma ^{}}^{}\widehat{c}_{k\sigma ^{}}\widehat{c}_{l\sigma },$$

where the composite index $`i=(n,m)`$ (similarly $`j,k,l`$) denotes the harmonic-oscillator quantum numbers. The Coulomb matrix elements $`|\widehat{W}|`$ are given explicitely in Ref. hawrylak\_sc93 .

The Hamiltonian (II) conserves total spin, total z-component of spin, $`\widehat{S}_z=1/2_{i\sigma }\sigma \widehat{c}_{i\sigma }^{}\widehat{c}_{i\sigma }`$, and total angular momentum, $`\widehat{L}=_{nm\sigma }(nm)\widehat{c}_{nm\sigma }^{}\widehat{c}_{nm\sigma }`$. Apart from the spin and the geometrical and dynamical symmetries discussed above, the many particle Hamiltonian (II) has also a hidden symmetry related to the separability of the CM and relative motion hawrylak93b . The CM symmetry can be expressed by the introduction of new operators describing collective CM excitations of the system:

$`\widehat{A}_+^{}`$ $`=`$ $`{\displaystyle \frac{1}{\sqrt{N}}}{\displaystyle \underset{nm\sigma }{}}\sqrt{n+1}\widehat{c}_{(n+1)m\sigma }^{}\widehat{c}_{nm\sigma },`$
$`\widehat{A}_{}^{}`$ $`=`$ $`{\displaystyle \frac{1}{\sqrt{N}}}{\displaystyle \underset{nm\sigma }{}}\sqrt{m+1}\widehat{c}_{n(m+1)\sigma }^{}\widehat{c}_{nm\sigma },`$
$`\widehat{A}_+`$ $`=`$ $`{\displaystyle \frac{1}{\sqrt{N}}}{\displaystyle \underset{nm\sigma }{}}\sqrt{n}\widehat{c}_{(n1)m\sigma }^{}\widehat{c}_{nm\sigma },`$
$`\widehat{A}_{}`$ $`=`$ $`{\displaystyle \frac{1}{\sqrt{N}}}{\displaystyle \underset{nm\sigma }{}}\sqrt{m}\widehat{c}_{n(m1)\sigma }^{}\widehat{c}_{nm\sigma }.`$ (5)
The operators $`\widehat{A}_+^{}`$ and $`\widehat{A}_{}^{}`$ ($`\widehat{A}_+`$ and $`\widehat{A}_{}`$) satisfy the following commutation relation with the full interacting Hamiltonian $`\widehat{H}`$: $`[\widehat{H},\widehat{A}_\pm ^{}]=\omega _\pm \widehat{A}_\pm ^{}`$ and $`[\widehat{H},\widehat{A}_\pm ]=\omega _\pm \widehat{A}_\pm `$. They can be interpreted as creation (annihilation) operators for collective excitations of the system since they increase (decrease) the energy of the system by $`\omega _\pm `$. They allow for the construction of exact eigenstates of the interacting system.

We can now explicitly define CM operators $`C`$ which commute with the interacting Hamiltonian:

$`\widehat{C}_+`$ $`=`$ $`\widehat{A}_+^{}\widehat{A}_+={\displaystyle \frac{1}{N}}{\displaystyle \underset{n^{}m^{}\sigma ^{}nm\sigma }{}}\sqrt{(n^{}+1)n}\widehat{c}_{(n^{}+1)m^{}\sigma ^{}}^{}\widehat{c}_{n^{}m^{}\sigma ^{}}\widehat{c}_{(n1)m\sigma }^{}\widehat{c}_{nm\sigma },`$
$`\widehat{C}_{}`$ $`=`$ $`\widehat{A}_{}^{}\widehat{A}_{}={\displaystyle \frac{1}{N}}{\displaystyle \underset{n^{}m^{}\sigma ^{}nm\sigma }{}}\sqrt{(m^{}+1)m}\widehat{c}_{n^{}(m^{}+1)\sigma ^{}}^{}\widehat{c}_{n^{}m^{}\sigma ^{}}\widehat{c}_{(m1)m\sigma }^{}\widehat{c}_{nm\sigma }.`$ (6)
Because Slater determinants constructed from a FD basis set are eigenstates of $`\widehat{L}`$ and $`\widehat{S}_z`$, it is natural to resolve the total angular momentum $`L`$ and the total spin in $`z`$-direction $`S_z`$ as good quantum numbers. On the other hand, the structure of the operators $`\widehat{𝐒}^2`$ and $`\widehat{C}_\pm `$ in second quantization is similar to that of the Coulomb interaction, involving two creation and two annihilation operators. In what follows we construct ED methods which make use of these operators to reduce the size of the Hamiltonian matrix.

## III Spin-resolved CI method

The form of the total spin operator in the language of creation and annihilation operators is:

$$\widehat{𝐒}^2=N/2+\widehat{S}_z^2\underset{ij}{}\widehat{c}_j^{}\widehat{c}_i^{}\widehat{c}_j\widehat{c}_i.$$
(7)
Its last term annihilates one particle in a state $`i`$ and recreates it on the same orbital, but with flipped spin; the same is true for the orbital $`j`$. Thus, the pattern of orbital quantum numbers is conserved, which makes it possible to arrange the Slater determinants in blocks which enclose all states with the same pattern, and to rotate the single blocks into eigenstates of $`\widehat{𝐒}^2`$. The size of the blocks can be obtained using combinatoric arguments. We start with a given electron number $`N`$, among which $`N_{}`$ electrons are spin up, and $`N_{}`$ spin down, and we distribute them on $`M`$ orbitals ($`MN`$). Because of Pauli’s exclusion principle we get

$$\frac{N}{2}\mathrm{max}(N_{},N_{})MN.$$
(8)
Thus we have $`NM`$ doubly occupied orbitals (singlets), $`MN_{}`$ unpaired spins up, and $`MN_{}`$ unpaired spins down. The distribution of the singlets is determined by Pauli’s principle. The number of different orbitals available for unpaired spins up and unpaired spins down is $`M(NM)`$. The size of the block equals the number of all possible distributions of unpaired electrons spin up and down on $`M(NM)`$ orbitals:

$`\mathrm{blocksize}`$ $`=`$ $`\left({\displaystyle \genfrac{}{}{0pt}{}{M(NM)}{MN_{}}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{M(NM)(MN_{})}{MN_{}}}\right)`$ (9)
$`=`$ $`{\displaystyle \frac{(2MN)!}{(MN_{})!(MN_{})!}}.`$
In Table 1 we show the number of total spin eigenstates per block for a six-electron system as a function of $`M`$ and $`S_z=(N_{}N_{})/2`$. These blocks are fairly small (e.g., $`\mathrm{blocksize}=252`$ for $`N=M=10`$, $`S_z=0`$) and the diagonalization of the blocks has to be done only once for each value of $`M`$.

In Table 2 we show how the size of the Hamiltonian is reduced by applying the scheme on a system with $`N=5`$, $`L=1`$, $`S_z=1/2`$ and $`352954`$ Slater determinants and on a system with $`N=6`$, $`L=S_z=0`$ and $`326120`$ Slater determinants. Note that for even electron numbers $`N`$ the largest subspace is that of $`S=1`$, not $`S=0`$. In the case of odd $`N`$ the $`S=1/2`$ subspace is larger than the others.

We now apply the spin-resolved CI method to the calculation of the ground state energy of 4 through 7 electrons. The accuracy of the method is assessed by comparison of our calculations in zero magnetic field with available results from quantum Monte Carlo and stochastic-variational method. The calculations were performed using GaAs parameters ($`\epsilon =12.4`$, $`m^{}=0.067`$) and a confinement energy $`\omega _0=3.32`$ meV. Table 3 shows the ground state energies for a number of subspaces $`L`$, $`S`$. We see that the QMC and SVM energies appear to be slightly lower then the ED results, however, their order appears to change depending on the actual subspace and number of electrons. Altogether, the ED appears to give highly reliable results for ground and excited states which can be extended to finite magnetic fields.

## IV Spin- and CM-resolved CI method

The ED method with both the total spin and the CM resolved as good quantum numbers is particularly applicable in the high magnetic field strongly correlated regime, where correlation effects dominate the reconstruction of the dot through magic states yang93 ; imamura98b ; chakra92 , spin textures hawrylak99 , and skyrmions oaknin96 .

The construction starts with defining the number of electrons $`N`$ and their total angular momentum $`L`$. Moreover, we restrict the single-particle basis set by choosing the number of Landau levels of interest. This is done by fixing the maximal quantum number $`n_{\mathrm{max}}`$. Since the total angular momentum is defined using the FD numbers $`n`$ and $`m`$, the above choices impose a limitation on the number $`m`$, i.e., determine an $`m_{\mathrm{max}}`$ such that $`_{j=1}^Nm_j=_{j=1}^Nn_jLn_{\mathrm{max}}NLm_{\mathrm{max}}`$. The Hilbert space is thus finite and we can generate all configurations and diagonalize them with respect to the CM and total spin operators. Since we restrict ourselves to $`n_{\mathrm{max}}`$ Landau levels, only the CM operator $`\widehat{C}_{}`$ is of interest. From its definition (Eq. (6)) we see that $`\widehat{C}_{}`$ increases/decreases the quantum number $`m`$, but does not change the pattern of numbers $`n\sigma `$. We can therefore organize our configurations in blocks with the same $`n\sigma `$ pattern; these blocks are diagonalized separately. The general scheme is thus similar to that for the total spin, only here the CM diagonalization has to be done for each block as the matrix elements of $`\widehat{C}_{}`$ in second quantization explicitly depend on $`m`$. We retain only the eigenstates with eigenvalue $`C_{}=0`$, because the eigenstates corresponding to eigenvalues $`1,2,3,..`$ can be generated systematically by applying the CM motion creation operator $`\widehat{A}_{}^{}`$ on eigenstates with eigenvalue $`0`$.

Our next aim is to resolve the total spin in the basis of stored CM eigenvectors. We have established that $`\widehat{𝐒}^2`$ couples states with the same $`nm`$ pattern. It is therefore convenient to introduce superblocks with the same $`n`$ pattern. Thus, a superblock encloses all blocks with the same $`n\sigma `$ pattern and $`\widehat{𝐒}^2`$ can couple states only within a superblock. After calculating all eigenstates with zero CM motion in the previous step, all states with the same $`n`$ pattern are collected and diagonalized with respect to the total spin operator $`\widehat{𝐒}^2`$. Note that one set of CM eigenvectors calculated for the system with lowest possible spin polarization ($`0`$ for even number of electrons, $`1/2`$ for odd number of electrons) can be used to calculate all possible eigenvalues of $`\widehat{𝐒}^2`$. As a result we obtain a basis set consisting of eigenstates of the operators $`\widehat{L}`$, $`\widehat{S}_z`$, $`\widehat{𝐒}^2`$, and $`\widehat{C}_{}`$, which we use to generate the Hamiltonian matrix. Table 4 shows how the Hilbert space is reduced for the $`(S_z,L)=(0,18)`$ subspace of a four-electron system in the two-Landau-level approximation ($`n_{\mathrm{max}}=1`$). The first column labels the superblocks. The second column contains the information which electrons are in the lowest ($`n=0`$), and which are in the second Landau level ($`n=1`$), and how many configurations are possible (third column). Each superblock may enclose several blocks which are labelled in the fourth column. The $`n\sigma `$-pattern and the corresponding number of configurations are in the fifth and sixth columns. After applying the CM operator and filtering out states with zero CM motion the number of states is reduced for each $`n\sigma `$ block (seventh column), and to $`1555`$ in total (see last row). In the next step all superblocks are diagonalized with respect to the total spin operator. The resulting numbers of configurations for $`S=0`$, 1, and 2 are given in the last column. Thus, instead of having to solve an eigenvalue problem of the size $`15456`$ in the subspace $`S_z=0`$, $`L=25`$ we end up with three eigenvalue problems with matrix sizes $`528`$, $`791`$, and $`236`$ (see last row).

To illustrate the method and compare it with previous work maksym90 ; yang93 ; hawrylak93b ; palacios94 ; oaknin96 ; hawrylak96 ; wojs97b ; reimann99  we show the results for four electrons in the range of magnetic fields $`08`$ T for GaAs parameters ($`\epsilon =12.4`$, $`m^{}=0.067`$), confinement energy $`\omega _0=3`$ meV, and one and two Landau levels. In Fig. 1 we show the energies of the ground and the two lowest-lying excited states of each subspace $`L`$, $`S`$ with $`C_{}=0`$, without the Zeeman energy ($`g=0`$).

The spectrum in Fig. 1 exhibits an energy band consisting of ground states of all $`S`$-subspaces, is separated from the excited states by $`\mathrm{\Delta }E0.6`$ meV (marked by the double arrow). Since the energy needed to construct an excitation of the CM motion is of the same order of magnitude ($`\omega _{}=0.62`$ meV for $`8`$ T and higher for smaller magnetic fields), this separation clearly shows that the lowest-lying excited states of the quantum dot for magnetic field between $`4`$ and $`8`$ T are all excitations of the relative motion.

In Fig. 2 we show the evolution of the ground state energy with the magnetic field in the one- and two-Landau-level approximation with GaAs Zeeman energy (g=-0.44).

In the one-Landau-level approximation we do not find the Hund’s rule state expected at $`B=0`$ nor the $`\nu =2`$ spin-singlet droplet with $`S=0`$, $`L=2`$. The first quantum Hall state is the spin-polarized state with $`S=2`$, $`L=6`$. Starting at $`B=4`$ T we find the reconstruction of the $`\nu =1`$ droplet. This correlation-driven effect is expressed in a number of ground state transitions with decreasing angular momentum (Fig. 2(a), (b)). The ground states change both angular momentum and spin, in agreement with previous work maksym90 ; yang93 ; hawrylak93b ; palacios94 ; oaknin96 ; hawrylak96 ; wojs97b ; reimann99 . In Fig. 2(b) we show the evolution of the ground state in the two-Landau-level approximation. We still miss the Hund’s rule $`B=0`$ state, but recover the $`\nu =2`$ state with $`L=6`$ and $`S=0`$.

The qualitative agreement between the lowest- (Fig. 2(a)) and two-Landau-level (Fig. 2(b)) approach is good for high magnetic fields, i.e., beyond the $`\nu =1`$ quantum Hall droplet. The only difference is the $`(S,L)=(0,8)`$ phase which is present in Fig. 2(a) , and missing in Fig. 2(b). The absence of the low-spin phase is due to the weakening of Coulomb interactions by inclusion of higher Landau levels. The second effect is that the fields corresponding to the ground-state transitions are lower in the one-Landau-level due to the fact that in this approximation the correlation effects are underestimated.

An advantage of the CI method over QMC and SVM methods is the ability to calculate excited states. In Fig. 3 we show the energy gap between the ground and the lowest-lying excited states as a function of the magnetic field and Zeeman energy for the N=4 electron system, calculated in the two-Landau-level approximation.

The magnetic field changes from from $`0`$ to $`10.5`$ T, where the filling factor $`\nu =1/3`$-droplet (angular momentum $`18`$) emerges. In Fig. 3(a) we plot the energy gap between the ground state and the lowest excited state with the same $`S_z`$ (selection rule $`\mathrm{\Delta }S_z=0`$, without restrictions for the quantum numbers $`L`$, $`S`$). This selection rule applies to charge excitations. Consequently, we cannot expect a systematic increase of the gap as a function of the Zeeman energy. All the structures in the diagram for increasing Zeeman energy are caused by transitions to higher polarized states. In contrast, we used the selection rule $`\mathrm{\Delta }S_z=\pm 1`$ for Fig. 3(b). This kind of excitation should be observed in microwave-radiation or in spin-flip-Raman experiments. The characteristic features in this case are energy gaps linearly growing with Zeeman energy. This behavior is especially pronounced in the regime of the $`\nu =1`$ droplet around $`B=3`$ T and in the regime of the $`\nu =1/3`$ droplet around $`B=10`$ T, where both ground and first excited state are stable.

## V Conclusions

We presented a configuration interaction method optimized for Fock-Darwin states of two-dimensional quantum dots with an axially symmetric parabolic confinement potential subject to perpendicular magnetic field. The optimization explicitly accounts for geometrical and dynamical symmetries of Fock-Darwin single-particle states and for many-particle symmetries associated with the center-of-mass motion and with total spin. As a key element we introduced a block structure to cluster Slater determinants which are coupled by $`\widehat{𝐒}^2`$ and/or $`\widehat{C}_{}`$. By diagonalizing these small blocks we managed to rotate the many-particle basis set into eigenstates of $`\widehat{𝐒}^2`$ and/or $`\widehat{C}_{}`$, and used them to calculate the Hamiltonian matrix. This reduced the size of the basis set and increased the accuracy of exact diagonalization calculations for quantum dots. The results compare well with available quantum Monte-Carlo and stochastic-variational results. Thus we show that the CI method gives reliable results for the ground and excited states and allows to study the effects of electron correlation and the magnetic field over a broad range of system parameters. It is intended serve as a benchmark for other methods which can be extended to larger particle numbers.

## VI Acknowledgement

A. W. thanks the German Academic Exchange Service (Grant no. D/00/05486), the RRZE Erlangen, and the Institute for Microstructural Sciences, National Research Council of Canada for financial support and hospitality.


text:
# Alpha decay and proton-neutron correlations

## Abstract

We study the influence of proton-neutron (p-n) correlations on $`\alpha `$-decay width. It is shown from the analysis of alpha $`Q`$ values that the p-n correlations increase the penetration of the $`\alpha `$ particle through the Coulomb barrier in the treatment following Gamow’s formalism, and enlarges the total $`\alpha `$-decay width significantly. In particular, the isoscalar p-n interactions play an essential role in enlarging the $`\alpha `$-decay width. The so-called ”alpha-condensate” in $`Z84`$ isotopes are related to the strong p-n correlations.

The $`\alpha `$ decay has long been known as a typical decay phenomenon in nuclear physics Gamov . Various microscopic approaches to estimating the formation amplitude of the $`\alpha `$ cluster have been proposed Mang ; Arima ; Fliessback ; Tonozuka . The calculations Catara1 ; Pinkston ; Catara2  showed that $`J=0`$ proton-proton (p-p) and neutron-neutron (n-n) pairing correlations cause substantial $`\alpha `$-cluster formation on nuclear surface. This suggests that the BCS approach with a pairing force offers a promising tool to describe the $`\alpha `$ decay. Proton-neutron (p-n) correlations are also significantly important for the $`\alpha `$-decay process in a nucleus Dodig1 ; Dodig2 . The effect of the p-n correlations on the $`\alpha `$-formation amplitude was studied by a generalization of the BCS approach including the p-n interactions Delion1 , though it was shown that the enhancement of the formation amplitude due to the p-n interactions is small. The authors of Ref. Delion2  pointed out that continuum part of nuclear spectra plays an important role in formation of $`\alpha `$ cluster. On the other hand, a shell model approach including $`\alpha `$-cluster-model terms Varga  gave a good agreement with the experimental decay width of the $`\alpha `$ particle from the nucleus 212Po. It is also interesting to investigate the effect of deformation on the $`\alpha `$-decay width. According to Ref. Delion2 , the contribution of deformation improves theoretical values for deformed nuclei such as 244Pu .

The p-n interactions are expected to become strong in $`NZ`$ nuclei because valence protons and neutrons in the same orbits have large overlaps of wavefunctions Goodman . In fact, this can be seen in peculiar behavior of the binding energy at $`N=Z`$. The double differences of binding energies are good indicators to evaluate the p-n interactions Zhang ; Brenner . We have recently studied Kaneko1  various aspects of the p-n interactions in terms of the double differences of binding energies, using the extended $`P+QQ`$ force model Hasegawa . The concrete evaluation confirmed that the p-n correlations become very strong in the $`NZ`$ nuclei. It was shown in Ref. Kaneko2  that the isoscalar $`(T=0)`$ p-n pairing force persists over a wide range of $`N>Z`$ nuclei. One of the double differences of binding energies was also discussed as a measure of $`\alpha `$-particle superfluidity in nuclei Gambhir ; Hasegawa1 . (We abbreviate the $`\alpha `$-like correlated four nucleons in a nucleus to “$`\alpha `$-particle” in italic letters. The “$`\alpha `$-particle” is not a free $`\alpha `$ particle but a correlated unit in a nucleus.) We expect that the p-n correlations must play an important role in the barrier penetration of the $`\alpha `$ decay.

Experimental evidence of the $`\alpha `$ clustering appears in the systematics of alpha $`Q`$ values ($`Q_\alpha `$) Dussel , i.e., a large $`Q_\alpha `$ value coincides with a large $`\alpha `$-decay width in the vicinity of the shell closures $`Z=50`$, $`Z=82`$ and $`Z=126`$ Roeckl . The $`Q_\alpha `$ value is essentially important for penetration Geiger ; Condon ; Data ; Delion3 . It is known that if experimental $`Q_\alpha `$ values are used for the $`\alpha `$ decay between ground states, Gamow’s treatment Gamov  describes qualitatively well the penetration of the $`\alpha `$ particle through the Coulomb barrier, even though the $`\alpha `$-particle is assumed to be “a particle” in the nucleus. The penetration probability is expected to be sensitive to the p-n component of the $`Q_\alpha `$ value. How much is the p-n correlation energy included in the $`Q_\alpha `$ value? What is the role of the p-n correlations in the barrier penetration? In this paper, we study these things and the effect of the p-n correlations on the $`\alpha `$ decay.

The total $`\alpha `$-decay width is given by the well-known formula Thomas ,

$`\mathrm{\Gamma }=2P_L{\displaystyle \frac{\mathrm{}^2}{2M_\alpha r_c}}g_L^2(r_c),`$ (1)
where $`L`$ and $`M_\alpha `$ denote, respectively, the angular momentum and the reduced mass of $`\alpha `$ particle, and $`r_c`$ channel radius. The $`\alpha `$ decay width depends on the two factors, the penetration factor $`P_L`$ and the $`\alpha `$ formation amplitude $`g_L(r_c)`$. The $`\alpha `$ penetration is known as a typical phenomenon of “quantum tunneling” in quantum mechanics.

Since the $`\alpha `$-decay width depends sensitively upon the $`Q_\alpha `$ value, we first discuss the $`Q_\alpha `$ value, which is written in terms of the binding energy $`B(Z,N)`$ as follows:

$`Q_\alpha (Z,N)=B(Z2,N2)B(Z,N)+B_\alpha ,`$ (2)
where $`B_\alpha `$ is the binding energy of 4He. Experimental mass data show that the $`Q_\alpha `$ values are positive for $`\beta `$-stable nuclides with mass number greater than about 150. The $`Q_\alpha `$ value remarkably increases at nuclei above the closed shells, $`N=`$50, 82 and 126. This is attributed to dramatic increase of separation energy at the closed shells with large shell gap. The $`Q_\alpha `$ value becomes largest (about 10 MeV) above $`N=128`$, and the $`\alpha `$ particle can penetrate a high Coulomb potential barrier (which is 25 MeV for 212Po, and though it prohibits the emission of the $`\alpha `$ particle classically).

It has been shown in Refs. Zhang ; Brenner ; Kaneko1  that the double difference of binding energies defined by

$`\delta V^{(2)}(Z,N)`$ $`=`$ $`{\displaystyle \frac{1}{4}}[B(Z,N)B(Z,N2)`$ (3)
$``$ $`B(Z2,N)+B(Z2,N2)],`$
is a good measure for probing the p-n correlations. We have recently studied global features of the p-n correlations in $`A=40165`$ nuclei by calculating the values of $`\delta V^{(2)}`$ with the extended $`P+QQ`$ force model accompanied by an isoscalar ($`T=0`$) p-n force Kaneko2 . The analysis has revealed that the $`T=0`$ p-n pairing interaction makes an essential contribution to the double difference of binding energies $`\delta V^{(2)}`$. The graph of $`\delta V^{(2)}`$ as a function of $`A`$ exhibits a smooth curve of $`40/A`$ on average and deviations from the average curve $`40/A`$ are small, in the region of the mass number $`80<A<160`$ Brenner ; Kaneko1 ; Kaneko2 . Observed $`\delta V^{(2)}`$ can be reproduced with the use of semi-empirical mass formula based on the liquid-drop model and the symmetry energy term is the main origin of $`\delta V^{(2)}`$ Leander . However, the parameters of the liquid-drop model are adjusted to experimental binding energies and the liquid-drop model does not give sufficient information about correlations in many-nucleon systems Gambhir1 . Our analysis Kaneko1 ; Kaneko2  indicates that the symmetry energy in the liquid-drop model is attributed dominantly to the $`J`$-independent $`T=0`$ p-n pairing force when considering in the context of correlations. (In SO(5) symmetry model, the contributions of the $`J`$-independent $`T=0`$ p-n pairing and the $`J=0`$ isovector ($`T=1`$) pairing forces to $`\delta V^{(2)}`$ are estimated to be 73% and 27%, respectively. )

In Fig. 1, we show the values of $`\delta V^{(2)}`$ observed in isotopes with proton number $`Z=84100`$. This figure displays dramatic deviations from the average curve $`40/A`$ in contrast with that for $`80<A<160`$ shown in Ref. Kaneko2 . The large deviations, however, seem to be different from those in $`N=Z`$ nuclei with $`N<30`$ discussed in Refs. Brenner ; Kaneko1 , because nuclei with $`N>128`$ which has a large number of excess neutrons are in a very different situation from the $`N=Z`$ nuclei. The large deviations from the average curve $`40/A`$ for $`N>128`$ cannot be explained by only the symmetry energy or the $`J`$-independent $`T=0`$ p-n pairing force which smoothly varies with nucleon number and is almost insensitive to the shell effects. Nuclei with large $`\delta V^{(2)}`$ in Fig. 1 are simply those with short half-lives (i.e., large $`\alpha `$-decay widths), above the double-closed-shell nucleus 208Pb. The plots of $`\delta V^{(2)}`$ for the Po and Rn nuclei extracted from Fig. 1 are shown in Figs. 2(a) and 2(b). We can see dramatic changes of $`\delta V^{(2)}`$ at $`N=128`$ both in the Po and Rn nuclei.

It is important to note that $`\delta V^{(2)}`$ is largest for 212Po with one $`\alpha `$-particle in Fig. 2(a) and 216Rn with two $`\alpha `$-particles in Fig. 2(b) (and so on), outside the double-closed-shell core 208Pb. The peaks are intimately related to the even-odd staggering of proton or neutron pairs from the “alpha-condensate” point of view discussed by Gambhir et al.Gambhir . They defined the following quantities for the correlations between pairs:

$`V_{pair}^{even}(A)`$ $`=`$ $`{\displaystyle \frac{1}{2}}(B(Z2,N)+B(Z,N2))`$ (4)
$`B(Z,N),`$
$`V_{pair}^{odd}(A2)`$ $`=`$ $`B(Z2,N2){\displaystyle \frac{1}{2}}(B(Z2,N)`$ (5)
$`+B(Z,N2)).`$
In Fig. 3, $`V_{pair}^{even}(A)`$ for even pair number and $`V_{pair}^{odd}(A2)`$ for odd pair number are plotted along the alpha-line nuclei which can be regarded as many $`\alpha `$-particles outside the core 132Sn or 208Pb. The magnitude of the staggering corresponds to the double difference of binding energies, i.e., $`\delta V^{(2)}(Z,N)=(V_{pair}^{even}(A)V_{pair}^{odd}(A2))/4`$. We can see that the magnitudes (about 1.33 MeV) for the isotopes with $`N>126`$ are almost twice as large as those (about 0.78 MeV) for the lighter isotopes with $`N<126`$. Thus the peaks of $`\delta V^{(2)}`$ observed in Fig. 3 are related to the superfulid condensate of $`\alpha `$-particles proposed by Gambhir et al. The strong $`\alpha `$-like $`2p2n`$ correlations, which enlarge $`\delta V^{(2)}`$, are important for $`A>208`$ nuclei with large $`\alpha `$ decay widths.

As mentioned earlier, the barrier penetration in the $`\alpha `$ decay is very sensitive to the $`Q_\alpha `$ value. It is interesting to examine how much the p-n correlation energy is included in the $`Q_\alpha `$ value. What roles do the p-n interactions play in the $`\alpha `$ decay? When we use the one proton (neutron) separation energy $`S_p(S_n)`$,

$`S_p(Z,N)=B(Z,N)B(Z1,N),`$ (6)
$`S_n(Z,N)=B(Z,N)B(Z,N1),`$ (7)
and the three point odd-even mass difference for proton and neutron

$`\mathrm{\Delta }_p(Z,N)`$ $`=`$ $`{\displaystyle \frac{(1)^Z}{2}}(B(Z+1,N)`$ (8)
$`2B(Z,N)+B(Z1,N)),`$
$`\mathrm{\Delta }_n(Z,N)`$ $`=`$ $`{\displaystyle \frac{(1)^N}{2}}(B(Z,N+1)`$ (9)
$`2B(Z,N)+B(Z,N1)),`$
the $`Q_\alpha `$ value is expressed as

$`Q_\alpha (Z,N)`$ $`=`$ $`Q_{pn}+Q_{pair}+Q_S+B_\alpha ,`$ (10)
$`Q_{pn}`$ $`=`$ $`4\delta V^{(2)}(Z,N),`$ (11)
$`Q_{pair}`$ $`=`$ $`2((1)^N\mathrm{\Delta }_n(Z,N1)`$ (12)
$`+`$ $`(1)^Z\mathrm{\Delta }_p(Z1,N)),`$
$`Q_S`$ $`=`$ $`2\left(S_n(Z,N)+S_p(Z,N)\right).`$ (13)
Since $`\delta V^{(2)}`$ represents the p-n correlations Kaneko1 ; Kaneko2 , the p-n component $`Q_{pn}`$ corresponds to the p-n correlation energy of each $`\alpha `$-particle. Here, note that the number of p-n bonds in an $`\alpha `$-particle is four as illustrated in Fig. 4. The p-p and n-n pairing component $`Q_{pair}`$ is given by the proton and neutron odd-even mass differences.

The upward discontinuity of $`Q_\alpha `$ value at $`N=128`$ is highest for 210Pd, 211Bi and 212Po, and decreases monotonously both in lighter and heavier elements when $`|Z82|`$ increases. Similar behavior is observed in systematics of separation energy, namely this increase comes mainly from the neutron separation energy $`S_n`$. The magic character of $`Q_\alpha `$ seems to be strongest at $`Z=82`$, $`N=128`$, though it occurs near other doubly magic or submagic nuclei. The special increase of the $`Q_\alpha `$ value at $`N=128`$ is attributed, in the first place, to the single-particle energy gaps in the magic nuclei. However, a similar systematics is also observed in the double difference of binding energies $`\delta V^{(2)}(Z,N)`$ in Figs. 1 and 2. Since $`Q_{pn}`$ is proportional to $`\delta V^{(2)}(Z,N)`$, the $`p`$-$`n`$ component $`Q_{pn}`$ must contribute to the $`\alpha `$ decay. In fact, if we remove $`Q_{pn}`$ from the experimental $`Q_\alpha `$ value and assume $`g_L(r_c)=1.0`$, the common logarithm of the decay constant $`\mathrm{log}_{10}\lambda `$ in the Wentzel-Kramers-Brillouin (WKB) approximation is largely reduced as shown in Fig. 5. Figure 5 shows the significant influence of $`Q_{pn}`$ on the $`\alpha `$ decay. Thus the p-n correlation energy $`Q_{pn}`$ increases the $`\alpha `$-decay width, though it is smaller than the separation energy and the odd-even mass difference. The previous analysis using the extended $`P+QQ`$ force model tells us that $`\delta V^{(2)}`$ mainly corresponds to the $`J`$-independent $`T=0`$ p-n interactions Kaneko1 ; Kaneko2 . Therefore, Fig. 5 testifies that the $`\alpha `$-decay transition is enhanced by the p-n correlations through the $`Q_\alpha `$ value. The $`T=0`$ p-n interaction is crucial to the $`\alpha `$-decay phenomenon.

Although we have approximated as $`g_L(r_c)=1.0`$ in the above consideration, the $`\alpha `$ decay width depends on the $`\alpha `$ formation amplitude $`g_L(r_c)`$ as well as the $`Q_\alpha `$ value. The $`\alpha `$ formation amplitude is very important for the $`\alpha `$ decay from the viewpoint of nuclear structure. The almost studies of the $`\alpha `$ decay have been concentrated on this problem. We can get a rough estimation of the $`\alpha `$ decay width using $`g_L(r_c)=1.0`$ in the largest limit. This assumption means a situation that an $`\alpha `$ particle is moving in potential between the daughter nucleus and the $`\alpha `$ particle. The values of $`\mathrm{log}_{10}\lambda `$ calculated using the experimental $`Q_\alpha `$ values and $`g_L(r_c)=1.0`$ are plotted also in Fig. 5 where the channel radius $`r_c`$ is taken to be beyond the touching point of the daughter nucleus and $`\alpha `$ particle, that is, $`r_c=1.2A^{1/3}+3.0`$ fm. The values agree quite well with the experimental ones Firestone  in nuclei with $`Z=84100,N=110154`$. In particular, the agreement is good for nuclei with large value of $`ZQ^{1/2}`$. It is notable that the effect of the $`\alpha `$-formation amplitude on the $`\alpha `$-decay width is smaller than that of the p-n correlations mentioned above. The $`\alpha `$ decay is fairly well understood in terms of tunneling in quantum mechanics when we use the experimental $`Q_\alpha `$ values. There are, however, still differences between the calculation and experiment. These discrepancies should be improved by appropriate evaluation of the $`\alpha `$-formation amplitude. The correlated unit, $`\alpha `$-particle, in the nucleus can be regarded as the $`\alpha `$ particle only with some probability and the realistic formation amplitude is not 1.0.

There are several approaches to calculation of the formation amplitude, the shell model, the BCS method Delion2 , the hybrid (shell model+$`\alpha `$-cluster) model Varga  etc. The effect of continuum states on the $`\alpha `$ decay is known to be very large Delion2 . One needs therefore very large shell model basis to obtain the experimental values of $`\alpha `$-formation amplitude. The hybrid model by Varga et al. Varga , which treats a large shell model basis up to the continuum states through the wavefunction of the spatially localized $`\alpha `$ cluster, explains well the experimental decay width. We can estimate the experimental $`\alpha `$-formation amplitude from the ratio

$`g_{exp}^2(r_c)={\displaystyle \frac{\lambda _{exp}}{\lambda _{cal}\left(g^2(r_c)=1\right)}},`$ (14)
where $`\lambda _{exp}`$ is the experimental $`\alpha `$-decay constant and $`\lambda _{cal}(g^2(r_c)=1)`$ denotes the $`\alpha `$-decay constant calculated using $`g^2(r_c)=1`$ in the WKB approximation. Figures 6(a) and 6(b) show the experimental $`\alpha `$-formation amplitude $`g_{exp}^2`$ as functions of $`N`$ and $`Z`$, respectively. A remarkable feature is that $`g_{exp}^2`$ is quit small when $`N`$ or $`Z`$ is a magic number, and becomes larger in the middle of major shell. A typical example is $`g_{exp}^2=0.020`$ in 212Po which is known as a spherical nucleus. This value is very close to that obtained with the hybrid model Varga  and the BCS approach Delion2 . On the other hand, nuclei in mid-shell exhibit typical rotational spectra, and are considered to be deformed nuclei. The enhancement of $`g_{exp}^2`$ may be closely related to deformation. In fact, $`g_{cal}^2`$ is considerably improved by introducing the deformation Delion2 , while a spherical BCS method cannot explain the experiment. The effect of the deformation on the $`\alpha `$-formation amplitude seems to be remarkably large. We end our discussion by commenting that the dynamical correlations due to the p-n interactions in addition to the static contribution to the $`Q_\alpha `$ value are probably driving correlations of the $`\alpha `$-particle Hasegawa1 .

In conclusion, we have shown that the nuclear correlations reveal themselves in the $`\alpha `$ decay through the $`Q_\alpha `$ value which affects the $`\alpha `$ penetration factor. We estimated the effects of the p-n correlations on the $`\alpha `$-decay transition from the experimental double difference of binding energies $`\delta V^{(2)}`$. The p-n correlations related to the $`Q_\alpha `$ value increase the rate of the $`\alpha `$-decay transition, and plays an important role particularly on the penetration process. However, nuclei with $`N>128`$ have large deviations from the average curve $`40/A`$ of $`\delta V^{(2)}`$ which cannot be explained by the symmetry energy or the $`J`$-independent $`T=0`$ p-n pairing force. This suggests that there would be another interactions or correlations to describe the specific feature of $`\delta V^{(2)}`$ in this region. This problem is should be studied further. The “$`\alpha `$-condensate” point of view suggests that the strong p-n correlations in $`A>208`$ nuclei cause the $`\alpha `$-like $`2p2n`$ correlations. The $`\alpha `$-like correlations are important for the penetration as well as the formation of $`\alpha `$-particle.


text:
# Invariants de classes : le cas semi-stable

## 1. Introduction

Soit $`S`$ un sch ma, et soit $`GS`$ un $`S`$-sch ma en groupes commutatif, fini et plat. Soit $`G^D`$ le dual de Cartier de $`G`$. Nous disposons d’un homomorphisme

$$\begin{array}{ccc}\pi :H^1(S,G^D)& & \mathrm{Pic}(G)\end{array}$$

explicit en premier par Waterhouse (voir \[W\], Theorem $`5`$). Supposons que $`S=Spec(R)`$ soit affine. Alors on peut crire $`G=Spec(H)`$, o $`H`$ est une $`R`$-alg bre de Hopf, et $`G^D=Spec(H^{})`$, o $`H^{}`$ est l’alg bre duale de $`H`$. Si $`X=Spec(C)`$ est un $`G^D`$-torseur, alors $`C`$ est un $`H^{}`$-comodule, donc un $`H`$-module. L’image de $`X`$ par $`\pi `$ est alors donn e par la classe de $`C_H(H^{})^1`$ dans le groupe $`\mathrm{Pic}(H)=\mathrm{Pic}(G)`$.

Nous nous int ressons ici un moyen de construction de $`G^D`$-torseurs dont l’image par $`\pi `$ est triviale, c’est- -dire de torseurs dont la structure galoisienne est triviale.

Plus pr cis ment, supposons que $`S`$ soit un sch ma noeth rien, excellent, int gre, normal, de point g n rique $`\eta `$. Soient $`A`$ et $`A^{}`$ deux $`S`$-sch mas en groupes semi-stables, dont l’un des deux est fibres connexes, et tels que $`A_\eta `$ et $`A_\eta ^{}`$ soient deux vari t s ab liennes duales l’une de l’autre. Supposons que $`G`$ soit un sous-groupe de $`A`$. On construit alors des $`G^D`$-torseurs gr ce la th orie de Kummer, puis on en d duit un homomorphisme

$$\begin{array}{ccccc}\psi :A^{}(S)& & H^1(S,G^D)& & \mathrm{Pic}(G).\end{array}$$

Le r sultat principal de cet article est le suivant :

###### Th or me 1.1.

Supposons que $`A_\eta `$ soit une courbe elliptique, et que l’ordre de $`G`$ soit premier $`6`$. Alors $`A^{}(S)_{\mathrm{Tors}}`$ est contenu dans $`\mathrm{ker}\psi `$.

Dans le cas particulier o $`A`$ est un $`S`$-sch ma ab lien de dimension 1 (i.e. une $`S`$-courbe elliptique), et o $`G=A[m]`$ (sous-groupe des points de $`m`$-torsion de $`A`$), ce r sultat tait d ja connu. D’abord montr par Srivastav et Taylor dans \[S-T\] pour une courbe elliptique multiplication complexe sur un corps de nombres (en prenant $`m`$ gal une puissance d’un nombre premier $`\mathrm{}>3`$), puis m me sans l’hypoth se de multiplication complexe par Agboola dans \[A2\], il a t finalement prouv par Pappas dans \[P1\] (pour un sch ma ab lien de dimension 1 sur une base quelconque).

Dans le cas o $`S`$ est le spectre de l’anneau des entiers d’un corps de nombres $`K`$, le th or me 1.1 admet une interpr tation arithm tique. Plus pr cis ment, il implique que les anneaux d’entiers de certaines extensions de $`K`$, engendr es par des valeurs de fonctions elliptiques, sont libres en tant que modules sur l’alg bre de Hopf de $`G`$. Le lecteur trouvera dans \[CN-T\] de plus amples d tails sur cette question, qui constitue la motivation initiale pour l’ tude de ce probl me.

Dans le cas o $`A`$ est une $`S`$-courbe elliptique et o l’ordre de $`G`$ est une puissance de $`2`$, Cassou-Nogu s et Jehanne ont donn dans \[CN-J\] des exemples de non-annulation de $`\psi `$ sur les points de torsion. De plus, pour tout nombre premier $`\mathrm{}`$, Pappas a construit dans \[P1\] une courbe affine lisse $`S`$ sur un corps fini et un $`S`$-sch ma ab lien $`A`$ de dimension $`2`$, tels que, si l’on pose $`G=A[\mathrm{}]`$, alors l’homomorphisme $`\psi `$ correspondant ne s’annule pas sur au moins un point de $`\mathrm{}`$-torsion.

Cependant la question reste ouverte pour un sch ma ab lien de dimension $`2`$ sur le spectre de l’anneau des entiers d’un corps de nombres. Nous nous contentons de signaler que $`\psi `$ s’annule toujours sur les points de torsion d’ordre premier celui de $`G`$, quelle que soit la dimension de $`A_\eta `$ (voir la proposition 3.4).

Le premier objectif de notre travail est la construction de $`\psi `$. Pour cela, nous avons d adopter une approche diff rente de celle des auteurs pr c dents. Nous sommes amen s utiliser (dans la section 2) une th orie de la dualit pour les sch mas semi-stables qui s’ nonce de la fa on suivante : supposons nouveau que $`GA`$ soit un sous-groupe fini et plat de $`A`$ (pour des exemples, voir le paragraphe 3.4), et consid rons la suite exacte

$$\begin{array}{ccccccccc}0& & G& & A& \stackrel{\varphi }{}& A/G& & 0\end{array}$$

de faisceaux pour la topologie fppf sur $`S`$. En travaillant dans le petit site fppf des $`S`$-sch mas plats (cf. paragraphe 2.1), nous v rifions l’exactitude de la suite

$$\begin{array}{ccccccccc}0& & G^D& & \underset{¯}{\mathrm{Ext}}_S^1(A/G,𝐆_\mathrm{m})& \stackrel{\varphi ^{}}{}& \underset{¯}{\mathrm{Ext}}_S^1(A,𝐆_\mathrm{m})& & 0.\end{array}$$

Quand on restreint tous ces faisceaux l’ouvert de bonne r duction de $`A`$, on retrouve un couple d’isog nies duales entre sch mas ab liens.

Par application du foncteur des sections globales, on d duit de la suite pr c dente un morphisme cobord $`\delta :\mathrm{Ext}^1(A,𝐆_\mathrm{m})H^1(S,G^D)`$. On d finit alors $`\psi `$ comme le compos des morphismes

$$\begin{array}{ccccccc}A^{}(S)& \stackrel{\gamma }{}& \mathrm{Ext}^1(A,𝐆_\mathrm{m})& \stackrel{\delta }{}& H^1(S,G^D)& \stackrel{\pi }{}& \mathrm{Pic}(G),\end{array}$$

la fl che $`\gamma `$ tant donn e par une biextension (voir le paragraphe 2.3). Si $`A`$ est un sch ma ab lien, et si $`G=A[m]`$, alors $`A^{}`$ est le sch ma ab lien dual de $`A`$, et $`\psi `$ est le class-invariant homomorphism de \[P1\] (g n ralisant lui-m me celui de Taylor \[T\]). Cette approche nous permet galement, travers quelques d vissages, de donner une preuve diff rente de la \<\< description g om trique \>\> de $`\psi `$, g n ralisant celle de \[P1\] (ce r sultat appara t en premier dans \[A1\] dans le cas d’un sch ma ab lien sur le spectre de l’anneau des entiers d’un corps de nombres). Les pr c dents auteurs s’appuyaient sur des descriptions explicites de fibr s en droites sur les vari t s ab liennes, tandis que notre construction permet de se ramener l’ tude de $`\delta `$. Ceci fait l’objet de la section 3.

Enfin, le but de la section 4 est de pr senter une preuve du th or me 1.1, que nous obtenons par des arguments analogues ceux de Pappas \[P1\]. Nous donnons ensuite deux applications de ce r sultat.

Remerciements

Je tiens remercier ici Laurent Moret-Bailly pour sa relecture du manuscrit et ses conseils. Je remercie galement le Referee, dont les nombreuses suggestions m’ont permis d’am liorer et de clarifier l’exposition. Enfin je remercie vivement John Boxall pour son encadrement, ainsi que Philippe Cassou-Nogu s et Martin Taylor qui m’ont soutenu au cours de ce travail.

## 2. Extension de l’isog nie duale

Rappelons les notations qui seront en vigueur tout au long de cet article : $`S`$ est un sch ma noeth rien, excellent, int gre, normal, de point g n rique $`\eta =Spec(K)`$. Nous noterons $`𝐆_\mathrm{m}`$ le groupe multiplicatif sur $`S`$.

###### D finition 2.1.

On dit qu’un $`S`$-sch ma en groupes est semi-stable s’il est commutatif, lisse, s par , et si les composantes neutres de ses fibres sont extensions de vari t s ab liennes par des tores.

On dit qu’un $`S`$-sch ma en groupes semi-stable $`𝒜`$ est n ronien s’il v rifie la propri t universelle suivante : pour tout $`S`$-sch ma lisse $`Y`$ et tout morphisme $`\alpha _K:Y_\eta 𝒜_\eta `$, il existe un unique morphisme $`\alpha :Y𝒜`$ prolongeant $`\alpha _K`$.

On fixe une fois pour toutes un $`S`$-sch ma en groupes semi-stable $`A`$ dont la fibre g n rique $`A_\eta `$ est une vari t ab lienne. On notera $`US`$ l’ouvert de bonne r duction de $`A`$, de sorte que $`A_U`$ est un $`U`$-sch ma ab lien.

### 2.1. Faisceaux sur le \<\< petit site fppf \>\>

Soit $`j:US`$ l’inclusion. On munit la cat gorie des sch mas plats sur $`S`$ (resp. sur $`U`$) d’une structure de site pour la topologie fppf (on obtient ce qu’on appelle un \<\< petit site fppf \>\>, la cat gorie sous-jacente tant la cat gorie des $`S`$-sch mas plats). Le choix de ce petit site nous permettra de d montrer le lemme 2.4.

Soit $`j^{}`$ le foncteur \<\< image inverse \>\>, qui un faisceau sur $`S`$ associe sa restriction l’ouvert $`U`$. Comme $`j:US`$ est un objet du petit site fppf sur $`S`$, $`j^{}`$ est un \<\< foncteur de localisation \>\> (voir \[SGA 4\], expos IV, paragraphes 5.1 5.4). En particulier, l’image par $`j^{}`$ d’un faisceau repr sentable (disons par un $`S`$-sch ma plat $`X`$) est repr sent par le $`U`$-sch ma $`X_U:=X\times _SU`$.

D’autre part, si $`F_1`$ et $`F_2`$ sont deux faisceaux ab liens sur $`S`$, la fl che canonique

$$j^{}(\underset{¯}{\mathrm{Hom}}_S(F_1,F_2))\underset{¯}{\mathrm{Hom}}_U(j^{}F_1,j^{}F_2)$$

est un isomorphisme (voir \[SGA 4\], expos IV, prop. 12.3, b), p. 502). De plus, $`j^{}`$ est exact et admet un adjoint gauche $`j_!`$ exact. Par suite, $`j^{}`$ envoie les injectifs sur des injectifs (voir \[SGA 4\], expos V, paragraphe 2.2). Nous d rivons alors des deux c t s de la fl che et obtenons un isomorphisme $`j^{}(\underset{¯}{\mathrm{Ext}}_S^1(F_1,F_2))\underset{¯}{\mathrm{Ext}}_U^1(j^{}F_1,j^{}F_2)`$. En particulier, soit $`X`$ un $`S`$-sch ma en groupes plat tel que $`X_U`$ soit un $`U`$-sch ma ab lien, alors nous obtenons un isomorphisme

(1)
$$j^{}(\underset{¯}{\mathrm{Ext}}_S^1(X,𝐆_\mathrm{m}))X_U^t$$

o $`X_U^t=\underset{¯}{\mathrm{Pic}}_{X_U/U}^0`$ est le sch ma ab lien dual de $`X_U`$ (voir \[FC\], chap. I, §1). On se sert ici du fait que $`\underset{¯}{\mathrm{Ext}}_U^1(X_U,𝐆_\mathrm{m})`$ est isomorphe $`X_U^t`$ (voir \[SGA 7\], expos VII, 2.9.5 et 2.9.6).

###### Remarque 2.2.

Soit $`H`$ un $`S`$-sch ma en groupes commutatif affine, plat et localement de type fini (donc localement de pr sentation finie, $`S`$ tant noeth rien). Alors les $`H`$-torseurs pour la topologie fpqc sont repr sentables. Un argument de descente fid lement plate (voir \[EGA IV\], prop. 2.7.1) montre que les $`H`$-torseurs fpqc sont des torseurs fppf, d’o l’ galit $`H_{\mathrm{fpqc}}^1(S,H)=H_{\mathrm{fppf}}^1(S,H)`$. Un raisonnement analogue montre que, si $`H^{}`$ est un autre $`S`$-sch ma en groupes commutatif, alors $`\mathrm{Ext}_{\mathrm{fpqc}}^1(H^{},H)=\mathrm{Ext}_{\mathrm{fppf}}^1(H^{},H)`$.

### 2.2. Isog nies duales

Soit $`G_\eta `$ un sous-groupe alg brique fini de $`A_\eta `$, et soit $`B_\eta `$ la vari t ab lienne quotient $`A_\eta /G_\eta `$, nous obtenons une isog nie $`A_\eta B_\eta `$ dont le noyau est gal $`G_\eta `$. Alors le noyau de l’isog nie duale $`B_\eta ^tA_\eta ^t`$ s’identifie au dual de Cartier $`G_\eta ^D`$ de $`G_\eta `$.

Ce r sultat, classique sur un corps, s’ tend au cas des sch mas ab liens, pour lesquels on dispose d’une notion de sch ma dual (voir \[FC\], chap. I, §1).

On fixe pr sent un sous-$`S`$-sch ma en groupes fini et plat $`G`$ de $`A`$. Nous noterons $`B`$ le faisceau quotient $`A/G`$ pour la topologie fppf sur $`S`$.

###### Remarque 2.3.

Si $`S`$ est de dimension $`1`$, alors $`B`$ est repr sentable par un $`S`$-sch ma en groupes, galement semi-stable (voir \[An\], chap. IV, th or me 4.C).

Nous avons (par d finition) une suite exacte

$$\begin{array}{ccccccccc}0& & G& & A& \stackrel{\varphi }{}& B& & 0\end{array}$$

de faisceaux ab liens (sur le petit site fppf de $`S`$), prolongeant la suite exacte

$$\begin{array}{ccccccccc}0& & G_U& & A_U& \stackrel{\varphi _U}{}& j^{}B& & 0\end{array}$$

dans laquelle $`A_U`$ est un $`U`$-sch ma ab lien. On en d duit que $`j^{}B`$ est le quotient $`A_U/G_U`$, donc est repr sentable par un $`U`$-sch ma ab lien, que nous noterons $`B_U`$.

Nous obtenons alors, en appliquant le foncteur $`\underset{¯}{\mathrm{Hom}}_S(,𝐆_\mathrm{m})`$ la premi re suite, une (longue) suite exacte de cohomologie

$`\underset{¯}{\mathrm{Hom}}_S(A,𝐆_\mathrm{m})\underset{¯}{\mathrm{Hom}}_S(G,𝐆_\mathrm{m})\underset{¯}{\mathrm{Ext}}_S^1(B,𝐆_\mathrm{m})\underset{¯}{\mathrm{Ext}}_S^1(A,𝐆_\mathrm{m})\underset{¯}{\mathrm{Ext}}_S^1(G,𝐆_\mathrm{m})`$
dont les termes sont des faisceaux ab liens sur $`S`$.

D’autre part, $`G`$ tant fini et plat sur $`S`$, le faisceau $`\underset{¯}{\mathrm{Hom}}_S(G,𝐆_\mathrm{m})`$ est repr sentable par $`G^D`$ (le dual de Cartier de $`G`$). Pour les m mes raisons, le faisceau $`\underset{¯}{\mathrm{Ext}}_S^1(G,𝐆_\mathrm{m})`$ est nul (voir \[SGA 7\], expos VIII, 3.3.1). Enfin nous avons le lemme qui suit :

###### Lemme 2.4.

Soit $`X`$ un $`S`$-sch ma en groupes plat, dont la fibre g n rique $`X_K`$ est une vari t ab lienne. Alors $`\underset{¯}{\mathrm{Hom}}_S(X,𝐆_\mathrm{m})`$ est nul.

###### Démonstration.

Nous devons montrer, pour tout sch ma $`S^{}S`$ plat, la trivialit du groupe $`\mathrm{Hom}_{S^{}gr}(X_S^{},𝐆_{\mathrm{m},S^{}})`$. Pour cela, il suffit de se limiter au cas o $`S`$ et $`S`$’ sont affines. Soient donc $`S=Spec(R)`$ et $`S^{}=Spec(R^{})`$ o $`R^{}`$ est une $`R`$-alg bre plate. Cette hypoth se de platitude permet d’affirmer que $`𝒪_{X_S^{}}(X_S^{})=𝒪_X(X)_RR^{}`$. On en d duit que $`𝒪_{X_S^{}}(X_S^{})`$ est $`R^{}`$-plat, sachant que $`𝒪_X(X)`$ est $`R`$-plat. D’autre part, soit $`K^{}=R^{}_RK`$, alors $`K^{}`$ est une $`K`$-alg bre, et la fl che $`R^{}K^{}`$ est injective par $`R`$-platitude de $`R^{}`$. Finalement, on trouve que la fl che

$$𝒪_{X_S^{}}(X_S^{})𝒪_{X_S^{}}(X_S^{})_R^{}K^{}=𝒪_{X_K^{}}(X_K^{})$$

est un morphisme injectif d’anneaux. Sa restriction $`𝒪_{X_S^{}}(X_S^{})^\times 𝒪_{X_K^{}}(X_K^{})^\times `$ est donc injective. En d’autres termes, l’application

$$\mathrm{Hom}_S^{}(X_S^{},𝐆_{\mathrm{m},S^{}})\mathrm{Hom}_K^{}(X_K^{},𝐆_{\mathrm{m},K^{}})$$

obtenue par changement de base $`Spec(K^{})S^{}`$, est injective. On en d duit que l’application $`\mathrm{Hom}_{S^{}gr}(X_S^{},𝐆_{\mathrm{m},S^{}})\mathrm{Hom}_{K^{}gr}(X_K^{},𝐆_{\mathrm{m},K^{}})`$ est galement injective, en ne consid rant que les morphismes de groupes.

Montrons pr sent la trivialit de $`\mathrm{Hom}_{K^{}gr}(X_K^{},𝐆_{\mathrm{m},K^{}})`$. Soit $`f:X_K^{}𝐆_{\mathrm{m},K^{}}`$ un morphisme de $`K^{}`$-sch mas en groupes, $`f`$ est enti rement d termin par la donn e du morphisme de $`K^{}`$-alg bres de Hopf $`f^{\mathrm{}}:K^{}[x,x^1]𝒪_{X_K^{}}(X_K^{})`$. D’autre part, $`𝒪_{X_K^{}}(X_K^{})𝒪_{X_K}(X_K)_KK^{}`$ et $`𝒪_{X_K}(X_K)K`$ (car $`X_K`$ est propre et g om triquement int gre), donc $`𝒪_{X_K^{}}(X_K^{})K^{}`$ en tant que $`K^{}`$-alg bres de Hopf. La counit tant l’unique morphisme de $`K^{}`$-alg bres de Hopf $`K^{}[x,x^1]K^{}`$, ceci prouve que $`f^{\mathrm{}}`$ se factorise par la counit . Au final, $`f`$ est le morphisme trivial. ∎

En appliquant le lemme 2.4 au sch ma $`A`$, nous obtenons une suite exacte

(2)
$$\begin{array}{ccccccccc}0& & G^D& & \underset{¯}{\mathrm{Ext}}_S^1(B,𝐆_\mathrm{m})& \stackrel{\varphi ^{}}{}& \underset{¯}{\mathrm{Ext}}_S^1(A,𝐆_\mathrm{m})& & 0.\end{array}$$

D’apr s ce qui pr c de (voir (1)), son image par le foncteur $`j^{}`$ est la suite

$$\begin{array}{ccccccccc}0& & G_U^D& & B_U^t& \stackrel{\varphi _U^t}{}& A_U^t& & 0.\end{array}$$

Cette derni re admet donc un \<\< prolongement \>\> sur $`S`$ en termes de faisceaux.

### 2.3. Liens avec la th orie des biextensions

Soit $`A_\eta ^t`$ la vari t ab lienne duale de $`A_\eta `$, et soit $`A^{}`$ un $`S`$-sch ma en groupes semi-stable prolongeant $`A_\eta ^t`$. On sait qu’il existe un unique tel prolongement fibres connexes (voir \[MB\], chap. IV, th. 7.1 (i)).

L’ouvert de bonne r duction de $`A^{}`$ est le m me que celui de $`A`$, donc $`(A^{})_U`$ co ncide avec le sch ma ab lien dual $`A_U^t`$ de $`A_U`$.

Nous voudrions tablir une dualit entre $`A`$ et $`A^{}`$ prolongeant celle qui existe d j sur les fibres g n riques. On sait que la dualit entre $`A_\eta `$ et $`A_\eta ^t`$ d coule de l’existence d’un fibr en droites $`𝒫_\eta `$ sur $`A_\eta \times _KA_\eta ^t`$, que l’on appelle fibr de Poincar . Cependant nous allons envisager ici la dualit dans un cadre plus g n ral l’aide de la notion de biextension, imagin e par Mumford dans \[Mu\]. Nous introduisons bri vement ici cet outil. Pour les d tails nous renvoyons le lecteur l’expos de Grothendieck (\[SGA 7\], expos VII). Mentionnons galement Milne (\[Mi86\], Appendix C).

###### D finition 2.5.

Soient $`P`$ et $`Q`$ deux $`S`$-sch mas en groupes commutatifs. On peut consid rer sur $`P\times _SQ`$, en plus de sa structure naturelle de $`S`$-sch ma en groupes, sa structure de $`P`$-sch ma en groupes et celle de $`Q`$-sch ma en groupes. Ces deux sch mas en groupes seront not s respectivement $`Q_P`$ et $`P_Q`$. Une biextension de $`(P,Q)`$ par $`𝐆_\mathrm{m}`$ est un $`𝐆_\mathrm{m}`$-torseur $`Y`$ sur $`P\times _SQ`$, muni de lois de composition partielles, qui fassent du $`P`$-sch ma $`Y_P`$ une extension de $`Q_P`$ par $`𝐆_{\mathrm{m},P}`$, et du $`Q`$-sch ma $`Y_Q`$ une extension de $`P_Q`$ par $`𝐆_{\mathrm{m},Q}`$. En outre, nous demandons que ces deux structures d’extensions soient compatibles en un certain sens (voir \[SGA 7\], expos VII, §2 ou \[Mi86\], Appendix C).

On note $`\mathrm{BIEXT}(P,Q;𝐆_\mathrm{m})`$ la cat gorie des biextensions de $`(P,Q)`$ par $`𝐆_\mathrm{m}`$. Soit $`Y`$ une telle biextension, alors $`Y`$ d finit un morphisme de groupes

$$Q(S)\mathrm{Ext}^1(P,𝐆_\mathrm{m})$$

que nous explicitons : soit $`f:SQ`$ une section de $`Q`$, alors $`(\mathrm{id}_P\times f)^{}(Y)`$ est une biextension de $`(P,e)`$ par $`𝐆_\mathrm{m}`$ (o $`e`$ est le $`S`$-groupe trivial), c’est- -dire une extension de $`P`$ par $`𝐆_\mathrm{m}`$.

D’autre part, on note $`\mathrm{Biext}^1(P,Q;𝐆_\mathrm{m})`$ le groupe constitu par l’ensemble des classes d’isomorphie de biextensions de $`(P,Q)`$ par $`𝐆_\mathrm{m}`$. On dispose d’un homomorphisme de groupes

$$t:\mathrm{Biext}^1(P,Q;𝐆_\mathrm{m})\mathrm{Pic}(P\times _SQ)$$

qui toute biextension associe son $`𝐆_\mathrm{m}`$-torseur sous-jacent. On constate que $`t`$ est une transformation naturelle entre (bi)foncteurs.

Retournons notre question de dualit . Gr ce au th or me du carr , on peut munir le fibr de Poincar $`𝒫_\eta `$ d’une unique structure de biextension, que l’on appelle la biextension de Weil, et que l’on note $`W_\eta `$. Le probl me se reformule alors de la fa on suivante : peut-on prolonger la biextension $`W_\eta \mathrm{BIEXT}(A_\eta ,A_\eta ^t;𝐆_{\mathrm{m},K})`$ en une biextension qui vive dans $`\mathrm{BIEXT}(A,A^{};𝐆_\mathrm{m})`$ ? Toujours d’apr s Grothendieck, il existe une obstruction ce prolongement (voir \[SGA 7\], expos VIII, th or me 7.1, b)), qui s’incarne sous la forme d’un accouplement (dit de monodromie) entre les groupes de composantes de $`A`$ et $`A^{}`$. Si $`A`$ ou $`A^{}`$ est fibres connexes, cette obstruction dispara t :

###### Proposition 2.6.

Supposons que $`A`$ ou $`A^{}`$ soit fibres connexes. Alors il existe une unique biextension $`W`$ de $`(A,A^{})`$ par $`𝐆_\mathrm{m}`$ prolongeant la biextension de Weil $`W_\eta `$ sur $`(A_\eta ,A_\eta ^t)`$.

###### Démonstration.

Consid rons le foncteur de restriction la fibre g n rique

$$\mathrm{BIEXT}(A,A^{};𝐆_\mathrm{m})\mathrm{BIEXT}(A_\eta ,A_\eta ^t;𝐆_{\mathrm{m},K}).$$

D’apr s (\[MB\], chap. II, th. 3.6), ce foncteur est une quivalence de cat gories. On en d duit le r sultat voulu. ∎

Nous supposons partir d’ici, et dans toute la suite de ce travail, que $`A`$ ou $`A^{}`$ est fibres connexes. Nous noterons $`W`$ la biextension dont l’existence est assur e par la proposition 2.6 ainsi que $`\gamma :A^{}(S)\mathrm{Ext}^1(A,𝐆_\mathrm{m})`$ le morphisme d fini par $`W`$.

###### Remarque 2.7.

Dans le cas o $`A`$ est un sch ma ab lien, alors $`A^{}`$ est le dual de $`A`$ et $`\gamma `$ est un isomorphisme. Dans le cas g n ral, consid rons le diagramme commutatif suivant :

$$\begin{array}{ccc}A^{}(S)& \stackrel{\gamma }{}& \mathrm{Ext}^1(A,𝐆_\mathrm{m})\\ & & & & \\ A_\eta ^t(K)& & \mathrm{Ext}^1(A_\eta ,𝐆_{\mathrm{m},K}).\end{array}$$

D’apr s (\[SGA 7\], expos VIII, th or me 7.1 et remarque 7.2), la fl che de droite est injective. Il est clair que la fl che de gauche est injective (car $`A^{}`$ est s par sur $`S`$) et que celle du bas est bijective. Ainsi $`\gamma `$ est toujours injective. Si de plus $`A`$ est fibres connexes et $`A^{}`$ est n ronien (d f. 2.1), alors les fl ches verticales sont bijectives (celle de gauche d’apr s la propri t universelle de N ron, celle de droite d’apr s loc. cit.), donc $`\gamma `$ est un isomorphisme.

## 3. L’homomorphisme $`\psi `$ et sa g om trie

Reprenons les notations et hypoth ses du d but de la section 2. En appliquant la suite exacte (2) le foncteur des sections sur $`S`$, nous obtenons une suite exacte de cohomologie

$$\begin{array}{ccccccc}\mathrm{}& & \underset{¯}{\mathrm{Ext}}_S^1(A,𝐆_\mathrm{m})(S)& \stackrel{\delta }{}& H^1(S,G^D)& & \mathrm{}\end{array}$$

Ce cobord $`\delta `$ va jouer un r le essentiel dans la d finition de notre homomorphisme. Tout d’abord, il convient de mieux conna tre les objets en jeu, ce qui va nous permettre de donner une autre description (dite \<\< g om trique \>\>) de $`\pi \delta `$.

### 3.1. Description du cobord

Commen ons par noncer un lemme de comparaison entre Ext locaux et globaux.

###### Lemme 3.1.

Soit $`X`$ un $`S`$-sch ma en groupes plat, dont la fibre g n rique $`X_K`$ est une vari t ab lienne. Alors le faisceau $`\underset{¯}{\mathrm{Ext}}_S^1(X,𝐆_\mathrm{m})`$ est canoniquement isomorphe au faisceau $`T\mathrm{Ext}^1(X_T,𝐆_{\mathrm{m},T})`$.

###### Démonstration.

Soient $`F`$ et $`F^{}`$ deux faisceaux ab liens sur $`S`$. Nous avons alors une suite exacte de groupes ab liens, d duite de la suite spectrale locale-globale pour les Ext (voir \[SGA 4\], expos V, proposition 6.3, 3))

$`H^1(S,\underset{¯}{\mathrm{Hom}}_S(F,F^{}))\mathrm{Ext}^1(F,F^{})\underset{¯}{\mathrm{Ext}}_S^1(F,F^{})(S)H^2(S,\underset{¯}{\mathrm{Hom}}_S(F,F^{})).`$
En particulier, si $`\underset{¯}{\mathrm{Hom}}_S(F,F^{})`$ est nul, alors $`\underset{¯}{\mathrm{Ext}}_S^1(F,F^{})(S)\mathrm{Ext}^1(F,F^{})`$. Par suite, le raisonnement tant encore valable apr s changement de base plat $`TS`$, on trouve que $`\underset{¯}{\mathrm{Ext}}_S^1(F,F^{})(T)\mathrm{Ext}^1(F|_T,F^{}|_T)`$ fonctoriellement en $`T`$. Enfin le lemme 2.4 nous permet d’appliquer ce raisonnement la situation pr sente. ∎

L’application $`\delta `$ peut tre explicit e : soit $`\mathrm{\Gamma }\mathrm{Ext}^1(A,𝐆_\mathrm{m})`$. Alors on peut associer $`\mathrm{\Gamma }`$, via l’isomorphisme $`\mathrm{Ext}^1(A,𝐆_\mathrm{m})\underset{¯}{\mathrm{Ext}}_S^1(A,𝐆_\mathrm{m})(S)`$, un l ment de $`H^1(S,G^D)`$, que nous noterons $`\delta (\mathrm{\Gamma })`$ par abus de langage. Le lemme 3.1 permet de d crire $`\delta (\mathrm{\Gamma })`$ comme tant le faisceau

$$[\varphi ^{}]^1(\mathrm{\Gamma }):T\{\mathrm{\Theta }\mathrm{Ext}^1(B_T,𝐆_{\mathrm{m},T})|\varphi ^{}\mathrm{\Theta }=\mathrm{\Gamma }_T\}.$$

En r sum , on peut caract riser $`\delta (\mathrm{\Gamma })`$ comme tant le faisceau des extensions $`\mathrm{\Theta }`$ de $`B`$ par $`𝐆_\mathrm{m}`$ telles que $`\varphi ^{}\mathrm{\Theta }=\mathrm{\Gamma }`$, ce qui justifie l’ criture $`\delta (\mathrm{\Gamma })=[\varphi ^{}]^1(\mathrm{\Gamma })`$.

### 3.2. L’homomorphisme de Waterhouse

Nous rappelons ici une construction, due Waterhouse (voir \[W\], section 2), qui permet d’associer toute extension $`\mathrm{\Omega }`$ de $`G`$ par $`𝐆_\mathrm{m}`$ un $`G^D`$-torseur. Consid rons la suite exacte

$$\begin{array}{ccccccccc}0& & 𝐆_\mathrm{m}& & \mathrm{\Omega }& & G& & 0.\end{array}$$

Elle donne lieu, par application du foncteur $`\underset{¯}{\mathrm{Hom}}_S(G,)`$, une suite exacte

$$\begin{array}{ccccccccc}0& & G^D& & \underset{¯}{\mathrm{Hom}}_S(G,\mathrm{\Omega })& & \underset{¯}{\mathrm{Hom}}_S(G,G)& & 0\end{array}$$

(rappelons que $`\underset{¯}{\mathrm{Ext}}_S^1(G,𝐆_\mathrm{m})=0`$ d’apr s \[SGA 7\], expos VIII, 3.3.1). Par application du foncteur des sections, on obtient un morphisme $`\underset{¯}{\delta }:\mathrm{Hom}(G,G)H^1(S,G^D)`$. On note alors $`\rho (\mathrm{\Omega })`$ le $`G^D`$-torseur $`\underset{¯}{\delta }(\mathrm{id})`$. Autrement dit, $`\rho (\mathrm{\Omega })`$ est le faisceau des sections $`s:G\mathrm{\Omega }`$, au sens de la th orie des extensions. On d finit ainsi un morphisme $`\rho :\mathrm{Ext}^1(G,𝐆_\mathrm{m})H^1(S,G^D)`$, et Waterhouse a montr que $`\rho `$ est un isomorphisme (voir \[W\], Theorem $`2^{}`$). Ainsi, en composant les morphismes suivants (o $`l`$ est le morphisme naturel)

$$\begin{array}{ccccc}H^1(S,G^D)& \stackrel{\rho ^1}{}& \mathrm{Ext}^1(G,𝐆_\mathrm{m})& \stackrel{l}{}& \mathrm{Pic}(G)\end{array}$$

on obtient l’homomorphisme $`\pi `$ de Waterhouse, qui admet une interpr tation galoisienne, comme nous l’avons pr cis dans l’introduction.

###### Lemme 3.2.

Soit $`i:GA`$ l’inclusion. Alors le diagramme suivant :

$$\begin{array}{ccccc}\mathrm{Pic}(A)& & \mathrm{Ext}^1(A,𝐆_\mathrm{m})& \stackrel{\delta }{}& H^1(S,G^D)\\ & & i^{}& & & & \\ \mathrm{Pic}(G)& \stackrel{l}{}& \mathrm{Ext}^1(G,𝐆_\mathrm{m})& \stackrel{\rho }{}& H^1(S,G^D)\end{array}$$

est commutatif.

###### Démonstration.

La commutativit du carr de gauche est claire par fonctorialit . Soit $`\mathrm{\Gamma }`$ dans $`\mathrm{Ext}^1(A,𝐆_\mathrm{m})`$, on veut montrer que les torseurs $`\delta (\mathrm{\Gamma })`$ et $`\rho (i^{}\mathrm{\Gamma })`$ sont isomorphes. D’apr s ce qui pr c de (lemme 3.1), on peut transposer le probl me dans la cat gorie des groupes ab liens. Dans ce cadre, il est bien connu qu’ tant donn s un groupe $`\stackrel{˘}{\mathrm{Z}}`$, une suite exacte (de groupes ab liens)

$$\begin{array}{ccccccccc}0& & \stackrel{˘}{\mathrm{G}}& \stackrel{i}{}& \stackrel{˘}{\mathrm{A}}& \stackrel{\varphi }{}& \stackrel{˘}{\mathrm{B}}& & 0,\end{array}$$

et une extension $`\mathrm{\Gamma }`$ de $`\stackrel{˘}{\mathrm{A}}`$ par $`\stackrel{˘}{\mathrm{Z}}`$, alors il y a bijection entre les sections de $`i^{}\mathrm{\Gamma }`$ et les extensions $`\mathrm{\Theta }`$ de $`\stackrel{˘}{\mathrm{B}}`$ par $`\stackrel{˘}{\mathrm{Z}}`$ telles que $`\varphi ^{}\mathrm{\Theta }=\mathrm{\Gamma }`$. Le r sultat d coule alors des descriptions de $`\delta `$ et de $`\rho `$ que nous avons donn es pr c demment. ∎

### 3.3. D finition de l’homomorphisme

Nous sommes maintenant en mesure de g n raliser la construction de Taylor. Reprenons les notations et hypoth ses introduites dans le paragraphe 2.3.

On d duit du lemme 3.2 le diagramme commutatif suivant :

$$\begin{array}{ccccc}A^{}(S)& \stackrel{\gamma }{}& \mathrm{Ext}^1(A,𝐆_\mathrm{m})& \stackrel{\delta }{}& H^1(S,G^D)\\ & & l^1& & \pi & & \\ & & \mathrm{Pic}(A)& & \mathrm{Pic}(G)\end{array}$$

et on d finit $`\psi :A^{}(S)\mathrm{Pic}(G)`$ comme tant le compos de ces morphismes. Dans le cas o $`A`$ est un $`S`$-sch ma ab lien, alors $`A^{}`$ est le sch ma ab lien dual de $`A`$, la fl che $`\gamma `$ est un isomorphisme, et on retrouve le class-invariant homomorphism, dont la premi re construction est due M. J. Taylor (voir \[T\]).

###### Remarque 3.3.

Notons $`𝒟:A^{}(S)\mathrm{Pic}(A)`$ la compos e $`l^1\gamma `$. Alors le diagramme pr c dent montre que, pour tout $`pA^{}(S)`$, $`\psi (p)`$ est la restriction de $`𝒟(p)`$ $`G`$. Ceci g n ralise la \<\< description g om trique \>\> de $`\psi `$ (obtenue par Agboola \[A1\] dans le cas o $`A`$ est un sch ma ab lien).

Nous pouvons donner une autre criture de $`\psi `$ : soit $`pA^{}(S)`$, alors on a l’ galit

$$𝒟(p)=l^1((\mathrm{id}_A\times p)^{}(W))=(\mathrm{id}_A\times p)^{}(t(W)).$$

On en d duit que $`\psi (p)=(i\times p)^{}(t(W))`$, o $`i:GA`$ est l’inclusion.

###### Proposition 3.4.

Soit $`\mathrm{ord}(G)`$ l’ordre de $`G`$. Alors $`\mathrm{ord}(G).\psi =0`$. En particulier, $`\psi `$ s’annule sur les points de torsion d’ordre premier $`\mathrm{ord}(G)`$.

###### Démonstration.

Le groupe $`G`$ tant fini et plat, la multiplication par l’entier $`\mathrm{ord}(G)`$ est l’application nulle dans $`G`$, donc est galement l’application nulle dans le groupe $`\mathrm{Ext}^1(G,𝐆_\mathrm{m})`$. Or $`\psi `$ se factorise travers ce dernier, d’o le r sultat. ∎

###### Remarque 3.5.

Soit $`pA^{}(S)`$ un point de $`m`$-torsion. On peut crire $`m=nN`$ o $`N`$ est premier $`\mathrm{ord}(G)`$, et l’ensemble des facteurs premiers de $`n`$ est un sous-ensemble de l’ensemble des facteurs premiers de $`\mathrm{ord}(G)`$. Alors $`Np`$ est un point de $`n`$-torsion, et il d coule de la proposition 3.4 que la nullit de $`\psi (Np)`$ implique celle de $`\psi (p)`$.

Quitte changer $`n`$ en un multiple, dont les facteurs premiers sont ceux de $`G`$, on peut supposer que $`G`$ est un sous-groupe de $`A[n]`$. Sachant que $`Np`$ se factorise travers $`A^{}[n]`$, on peut alors crire (cf. la remarque 3.3)

$$\psi (Np)=(i\times Np)^{}(t(W)|_{A[n]\times _SA^{}[n]}).$$

Ainsi, pour montrer que $`\psi (p)`$ est nul, il suffit de montrer que la restriction de $`t(W)`$ $`A[n]\times _SA^{}[n]`$ est triviale.

### 3.4. Constructions d’exemples

Pour engendrer un exemple, on doit trouver un sous-$`S`$-sch ma en groupes fini et plat $`G`$ de $`A`$. Une id e naturelle est de regarder ce qui arrive si les points de $`N`$-torsion de $`A_\eta `$ sont rationnels sur $`K`$. Fixons une cl ture alg brique $`\overline{K}`$ de $`K`$. Nous avons le r sultat suivant (voir \[MB\], chap. IV, cor. 8.2) :

###### Proposition 3.6.

Soient $`N`$ un entier naturel, $`F_1`$ le corps $`K(A_\eta (\overline{K})[N])`$, et $`v:S_1S`$ le normalis de $`S`$ dans $`F_1`$. Alors $`S_1`$ est int gre normal, et $`v`$ est fini surjectif de rang divisant le cardinal de $`\mathrm{𝐆𝐋}_{2g}(/N)`$, o $`g`$ est la dimension de $`A_\eta `$. En outre, il existe un $`S_1`$-sch ma en groupes semi-stable $`A_1^{\mathrm{}}`$, contenant $`A_1:=A\times _SS_1`$ comme sous-groupe ouvert et ayant m me fibre g n rique que lui, tel que le noyau de la multiplication par $`N`$ dans $`A_1^{\mathrm{}}`$ soit fini et plat sur $`S_1`$. Le groupe $`A_1^{\mathrm{}}(S_1)[N]`$ est isomorphe $`A_\eta (\overline{K})[N]`$.

Notre nonc diff re l g rement de celui de \[MB\] ; les d tails que nous avons rajout s d coulent naturellement de la d monstration de ce dernier. Remarquons galement que l’hypoth se d’excellence de $`S`$ est utilis e dans ladite d monstration. Pour notre part, c’est le seul endroit o nous en ferons usage.

De fa on analogue, tout point de torsion pris dans $`A(S)`$ engendre un sous-groupe fini et plat de $`A`$, comme l’affirme la proposition suivante :

###### Proposition 3.7.

Soit $`xA(S)`$ un point d’ordre fini $`m`$. Alors $`x`$ d finit un morphisme $`(/m)_SA`$ dont l’image est un sous-sch ma en groupes fini et plat de $`A`$.

###### Démonstration.

Soit $`f:(/m)_SA`$ un morphisme. Alors l’image de $`f`$ est un sous-groupe quasi-fini et plat de $`A`$. De plus, d’apr s \[EGA II\], corollaire 5.4.3 (ii), l’image de $`f`$ est propre (car $`A`$ est s par sur $`S`$, et $`(/m)_S`$ est propre sur $`S`$), donc l’image de $`f`$ est finie d’apr s le Main Theorem de Zariski (quasi-fini et propre impliquent fini). ∎

Pour les courbes elliptiques, nous avons le crit re suivant (voir \[Ma72\], prop. 9.1) :

###### Proposition 3.8.

Supposons que $`K`$ soit un corps de nombres, et que $`S=Spec(𝒪_K)`$ soit le spectre de l’anneau des entiers de $`K`$. Soit $`ES`$ le mod le de N ron d’une courbe elliptique r duction semi-stable d finie sur $`K`$, de discriminant minimal $`(\mathrm{\Delta })`$, et soit $`N`$ un nombre premier. Alors le groupe $`E[N]`$ est fini et plat sur $`S`$ si et seulement si, pour toute place $`𝔭`$ de $`K`$, $`v_𝔭(\mathrm{\Delta })`$ est un multiple de $`N`$.

## 4. Cas des courbes elliptiques

Dans cette section, nous donnons plusieurs applications de notre construction, dans lesquelles les vari t s ab liennes en jeu sont des courbes elliptiques semi-stables.

### 4.1. Torseurs rigidifi s

Soit $`f:XS`$ un $`S`$-sch ma en groupes. Soit $`0_X`$ la section unit de $`X`$, et soit $``$ un $`𝐆_\mathrm{m}`$-torseur sur $`X`$. Une rigidification de $``$ est la donn e d’une section du $`𝐆_\mathrm{m}`$-torseur $`0_X^{}`$ sur $`S`$. On note $`\mathrm{TORSRIG}(X,𝐆_\mathrm{m})`$ la cat gorie des $`𝐆_\mathrm{m}`$-torseurs rigidifi s sur $`X`$. C’est une cat gorie de Picard strictement commutative (au sens de \[SGA 4\], expos XVIII, 1.4.2), la loi tant le produit tensoriel. On note $`\mathrm{Pic}_r(X)`$ le groupe des classes d’isomorphie d’objets de $`\mathrm{TORSRIG}(X,𝐆_\mathrm{m})`$.

Si $`𝒩`$ est un $`𝐆_\mathrm{m}`$-torseur sur $`X`$, on note

$$𝐫(𝒩):=𝒩(f^{}0^{}𝒩)^1$$

le $`𝐆_\mathrm{m}`$-torseur rigidifi associ $`𝒩`$ (muni de sa rigidification naturelle).

Soient $`g:YS`$ un autre $`S`$-sch ma en groupes, $`0_Y`$ la section unit de $`Y`$, et $``$ un $`𝐆_\mathrm{m}`$-torseur sur $`X\times _SY`$. Une birigidification de $``$ est la donn e de deux sections : une pour le torseur $`(0_X\times \mathrm{id}_Y)^{}`$ sur $`Y`$ et une autre pour le torseur $`(\mathrm{id}_X\times 0_Y)^{}`$ sur $`X`$, qui soient compatibles entre elles (c’est- -dire qui induisent la m me section pour le torseur $`(0_X\times 0_Y)^{}`$ sur $`S`$). On note $`\mathrm{TORSBIRIG}(X,Y;𝐆_\mathrm{m})`$ la cat gorie des $`𝐆_\mathrm{m}`$-torseurs birigidifi s sur $`X\times Y`$.

Si $`𝒩`$ est un $`𝐆_\mathrm{m}`$-torseur sur $`X\times _SY`$, on note

$$\mathrm{𝐛𝐢𝐫}(𝒩):=𝒩(((0_Xf)\times \mathrm{id}_Y)^{}𝒩)^1((\mathrm{id}_X\times (0_Yg))^{}𝒩)^1(f\times g)^{}(0_X\times 0_Y)^{}𝒩$$

le $`𝐆_\mathrm{m}`$-torseur birigidifi associ $`𝒩`$ (muni de sa birigidification naturelle).

### 4.2. D monstration du th or me 1.1

D’apr s la remarque 3.5, pour montrer le th or me 1.1, il suffit de montrer le th or me suivant :

###### Th or me 4.1.

Supposons que $`A_\eta `$ soit une courbe elliptique, et soit $`n`$ un entier premier $`6`$. Alors le $`𝐆_\mathrm{m}`$-torseur $`t(W)|_{A[n]\times _SA^{}[n]}\mathrm{Pic}(A[n]\times _SA^{}[n])`$ est trivial.

Pour d montrer ce r sultat, nous allons utiliser une m thode analogue celle de Pappas dans \[P1\].

###### Lemme 4.2.

Le $`𝐆_\mathrm{m}`$-torseur $`(t(W)|_{A[n]\times _SA^{}[n]})^n`$ est trivial.

###### Démonstration.

Il suffit de montrer que le groupe $`\mathrm{Biext}^1(A[n],A^{}[n];𝐆_\mathrm{m})`$ est tu par $`n`$. D’apr s (\[SGA 7\], expos VIII, 1.1.2), on a un isomorphisme canonique :

$$\mathrm{Biext}^1(A[n],A^{}[n];𝐆_\mathrm{m})\mathrm{Ext}^1(A[n],𝐑\underset{¯}{\mathrm{Hom}}(A^{}[n],𝐆_\mathrm{m})).$$

Par suite, la multiplication par $`n`$ tant nulle dans $`A[n]`$, elle est galement nulle dans le groupe $`\mathrm{Biext}^1(A[n],A^{}[n];𝐆_\mathrm{m})`$. Ce qu’on voulait. ∎

###### Lemme 4.3.

Pour d montrer le th or me 4.1, on peut supposer que $`A^{}`$ est fibres connexes, et que le groupe $`A(S)[6]`$ est isomorphe $`A_\eta (\overline{K})[6]`$, o $`\overline{K}`$ d signe une cl ture alg brique de $`K`$.

###### Démonstration.

Quitte remplacer $`W`$ par sa biextension sym trique $`W^s`$, on peut supposer que $`A^{}`$ est fibres connexes. Appliquons la proposition 3.6 au sch ma $`A`$ en prenant $`N=6`$. Alors $`v:S_1S`$ est de rang $`k`$ divisant $`2^53^2`$ et il existe un $`S_1`$-sch ma en groupes semi-stable $`A_1^{\mathrm{}}`$, contenant $`A_1:=A\times _SS_1`$ comme sous-groupe ouvert et ayant m me fibre g n rique que lui, tel que $`A_1^{\mathrm{}}(S_1)[6]`$ soit isomorphe $`A_\eta (\overline{K})[6]`$. Soit $`A_1^{}=A^{}\times _SS_1`$, alors $`A_1^{}`$ est fibres connexes. On note $`W_1^{\mathrm{}}\mathrm{Biext}^1(A_1^{\mathrm{}},A_1^{};𝐆_\mathrm{m})`$ l’unique biextension dont l’existence est nonc e dans la proposition 2.6. Alors la restriction de $`W_1^{\mathrm{}}`$ $`(A_1,A_1^{})`$ est gale $`W_1:=W\times _SS_1`$, par unicit du prolongement.

Pour simplifier, on pose $`X:=A[n]\times _SA^{}[n]`$, donc $`X\times _SS_1=A_1[n]\times _{S_1}A_1^{}[n]`$. D’apr s ce qui pr c de, il suffit de montrer que la trivialit du $`𝐆_\mathrm{m}`$-torseur

$$t(W_1^{\mathrm{}})|_{X\times _SS_1}=t(W_1)|_{X\times _SS_1}=(t(W)|_X)_{S_1}$$

implique la trivialit du $`𝐆_\mathrm{m}`$-torseur $`t(W)|_X`$.

Le sch ma $`S`$ tant normal, il existe un gros ouvert $`V`$ de $`S`$ tel que $`S_1S`$ soit plat au-dessus de $`V`$. Nous adoptons ici la terminologie de (\[MB\], chap. II, d f. 3.1) : un gros ouvert $`V`$ de $`S`$ est un ouvert tel que, pour tout $`xS\backslash V`$, l’anneau local $`𝒪_{S,x}`$ soit de profondeur $`2`$. Soit $`V_1:=S_1\times _SV`$, alors $`V_1V`$ est fini localement libre de rang $`k`$.

Comme $`X`$ est un $`S`$-sch ma plat, $`X_V`$ est un gros ouvert de $`X`$. Par suite, la fl che $`\mathrm{Pic}(X)\mathrm{Pic}(X_V)`$ est injective, d’apr s \[EGA IV\], 21.13.3 et 21.13.4. Nous avons alors un diagramme commutatif

$$\begin{array}{ccc}\mathrm{Pic}(X)[n]& & \mathrm{Pic}(X\times _SS_1)\\ & & & & \\ \mathrm{Pic}(X_V)[n]& & \mathrm{Pic}(X_V\times _VV_1)\end{array}$$

o la fl che de gauche est injective. En se servant de la norme associ e au morphisme $`X_V\times _VV_1X_V`$ qui est fini localement libre de rang $`k`$, ainsi que du fait que $`k`$ divise $`2^53^2`$, donc est premier $`n`$, on montre que le fl che du bas est injective. On en d duit que la fl che du haut est injective. Or, d’apr s le lemme 4.2, $`t(W)|_X`$ est annul par $`n`$. On en d duit le r sultat voulu. ∎

###### Notations 4.4.

Soit $`X`$ un $`S`$-sch ma. Pour tout sous-sch ma ferm $`z:ZX`$ on note $`I(Z)`$ le faisceau d’id aux d finissant $`Z`$. Lorsque $`I(Z)`$ est inversible on note $`I^1(Z)`$ son inverse. De plus, si $`p:SX`$ est un $`S`$-point de $`X`$, on note $`\{p\}`$ l’image de $`p`$ dans $`X`$, qui est sous-sch ma ferm de $`X`$. Enfin, si $`X`$ est un $`S`$-sch ma en groupes commutatif, on note $`Z+p`$ l’image du morphisme

$$\begin{array}{ccccc}Z\times _SS& \stackrel{z\times p}{}& X\times _SX& \stackrel{+}{}& X\end{array}$$

o $`+`$ d signe la loi de $`X`$. On v rifie que $`Z+p`$ est un sous-sch ma ferm de $`X`$.

###### Lemme 4.5.

Soit $`E`$ un $`S`$-sch ma en groupes semi-stable dont la fibre g n rique $`E_\eta `$ est une courbe elliptique, et soit $`E^{}`$ la composante neutre de $`E`$. On pose $`A=E`$ et $`A^{}=E^{}`$, alors les hypoth ses du paragraphe 2.3 sont satisfaites, par auto-dualit de $`E_\eta `$.

D’autre part, soit $`\mathrm{\Delta }`$ la diagonale de $`E\times _SE`$, et soit $`(q_1,q_2)E(S)^2`$. On note $`𝔓(q_1,q_2)`$ le $`𝐆_\mathrm{m}`$-torseur birigidifi sur $`E\times _SE`$ d fini par

$$𝔓(q_1,q_2)=\mathrm{𝐛𝐢𝐫}\left(I^1(\mathrm{\Delta }+(q_1,q_2))I(E\times \{q_2\})I(\{q_1\}\times E)\right).$$

Alors la biextension $`W`$ sur $`(E,E^{})`$ satisfait : $`t(W)=𝔓(q_1,q_2)|_{E\times _SE^{}}`$.

###### Démonstration.

D’apr s la th orie classique des courbes elliptiques, le fibr de Poincar $`𝒫_\eta =t(W_\eta )`$ sur $`E_\eta \times _KE_\eta `$ s’ crit

$$t(W_\eta )=I^1(\mathrm{\Delta }_\eta )I(E_\eta \times \{0\})I(\{0\}\times E_\eta )$$

o $`\mathrm{\Delta }_\eta `$ est la diagonale de $`E_\eta \times _KE_\eta `$. De plus, nous avons l’ galit

$$𝔓(q_1,q_2)_\eta =\mathrm{𝐛𝐢𝐫}\left(I^1(\mathrm{\Delta }_\eta +(q_1,q_2))I(E_\eta \times \{q_2\})I(\{q_1\}\times E_\eta )\right)=𝒫_\eta .$$

Il en r sulte que $`𝔓(q_1,q_2)`$ est un $`𝐆_\mathrm{m}`$-torseur birigidifi sur $`E\times _SE`$ qui prolonge $`t(W_\eta )`$. D’autre part le foncteur

$$\mathrm{BIEXT}(E,E^{};𝐆_\mathrm{m})\mathrm{TORSBIRIG}(E,E^{};𝐆_\mathrm{m})$$

de la cat gorie des biextensions de $`(E,E^{})`$ par $`𝐆_\mathrm{m}`$ dans la cat gorie des $`𝐆_\mathrm{m}`$-torseurs birigidifi s sur $`E\times _SE^{}`$, est pleinement fid le (voir \[SGA 7\], expos VIII, prop. 7.4, b)). De plus, $`E^{}`$ est fibres connexes, et $`S`$ est int gre normal, donc (loc. cit.) un objet $`Z`$ du second membre appartient l’image (essentielle) du foncteur si et seulement si $`Z_\eta `$ provient d’une biextension de $`(E_\eta ,E_\eta )`$ par $`𝐆_\mathrm{m}`$.

Soit $`𝔓(q_1,q_2)|_{E\times _SE^{}}\mathrm{TORSBIRIG}(E,E^{};𝐆_\mathrm{m})`$ la restriction de $`𝔓(q_1,q_2)`$ $`E\times _SE^{}`$. D’apr s ce qui pr c de, $`𝔓(q_1,q_2)|_{E\times _SE^{}}`$ provient d’une biextension de $`(E,E^{})`$ par $`𝐆_\mathrm{m}`$, laquelle prolonge $`W_\eta `$, donc est gale $`W`$ en vertu de la proposition 2.6. Au final, $`t(W)`$ est gal $`𝔓(q_1,q_2)|_{E\times _SE^{}}`$ en tant que $`𝐆_\mathrm{m}`$-torseur birigidifi sur $`E\times _SE^{}`$. ∎

###### D monstration du th or me 4.1.

On suppose ici que $`A_\eta `$ est une courbe elliptique, et l’on note $`A=E`$ pour le confort du lecteur. D’apr s le lemme 4.3, on peut supposer que $`A^{}`$ est fibres connexes. Par auto-dualit des courbes elliptiques, la fibre g n rique de $`A^{}`$ est isomorphe $`E_\eta `$. Or il existe (au plus) un unique prolongement de $`E_\eta `$ en un $`S`$-sch ma en groupes semi-stable fibres connexes. Par suite, $`A^{}`$ est isomorphe la composante neutre $`E^{}`$ de $`E`$. On retrouve la situation du lemme 4.5.

D’apr s le lemme 4.5, pour montrer le th or me 4.1, il suffit de trouver $`(q_1,q_2)E(S)^2`$ tel que la restriction de $`𝔓(q_1,q_2)`$ $`E[n]\times _SE[n]`$ soit triviale. D’apr s le lemme 4.3, on peut supposer que $`E(S)[6]`$ est isomorphe $`E_\eta (\overline{K})[6]`$.

Supposons que la caract ristique de $`K`$ soit premi re $`6`$. Alors $`E_\eta (\overline{K})[6]`$ est isomorphe $`(/6)^2`$. On peut donc choisir deux points $`q_1`$ et $`q_2`$ d’ordre $`6`$ dans $`E(S)`$ tels que $`q_1q_2`$ soit d’ordre $`6`$.

Montrons, en raisonnant fibre par fibre, que $`\{q_1\}\times E`$ est disjoint de $`E[n]\times _SE[n]`$. Soit $`x`$ un point de $`S`$, de corps r siduel $`k(x)`$ ; alors l’application de r duction $`E(S)E(k(x))`$ est injective sur les points d’ordre premier la caract ristique de $`k(x)`$. Ainsi, $`q_1`$ peut se r duire selon les cas en un point d’ordre $`2`$, $`3`$ ou $`6`$. L’entier $`n`$ tant premier $`6`$, on en d duit que $`\{q_1\}`$ ne rencontre pas $`E[n]`$, d’o le r sultat.

Un raisonnement analogue montre que $`\mathrm{\Delta }+(q_1,q_2)`$ et $`E\times \{q_2\}`$ sont galements disjoints du sous-sch ma $`E[n]\times _SE[n]`$. On en d duit aussi t que la restriction de $`𝔓(q_1,q_2)`$ $`E[n]\times _SE[n]`$ est triviale.

Supposons que la caract ristique de $`K`$ soit gale $`2`$. Alors $`E_\eta (\overline{K})[3]`$ est isomorphe $`(/3)^2`$. On peut donc choisir deux points $`q_1`$ et $`q_2`$ d’ordre $`3`$ dans $`E(S)`$ tels que $`q_1q_2`$ soit d’ordre $`3`$. En outre, $`S`$ tant int gre, les caract ristiques r siduelles des points de $`S`$ sont toutes gales $`2`$, donc l’argument utilis pr c demment permet de montrer que la restriction de $`𝔓(q_1,q_2)`$ $`E[n]\times _SE[n]`$ est triviale.

Enfin, si la caract ristique de $`K`$ est gale $`3`$, on effectue un raisonnement analogue en consid rant les points d’ordre $`2`$. ∎

###### Remarque 4.6.

Dans les hypoth ses du paragraphe 2.3, $`A`$ ou $`A^{}`$ est fibres connexes. Si l’on se contente de supposer que les groupes de composantes de $`A`$ et $`A^{}`$ sont orthogonaux sous l’accouplement de monodromie, alors $`W_\eta `$ admet nouveau un (unique) prolongement en une biextension $`W`$ de $`(A,A^{})`$ par $`𝐆_\mathrm{m}`$. Nous ignorons si le th or me 4.1 est encore vrai dans ce cadre plus g n ral. Signalons simplement que le lemme 4.5 ne se g n ralise pas si l’on supprime l’hypoth se de connexit .

### 4.3. Un exemple elliptique

Donnons un exemple d’application du th or me 1.1. Supposons que $`K`$ soit un corps de nombres, que $`S`$ soit le spectre de l’anneau des entiers de $`K`$, et que $`A=E`$ soit le mod le de N ron sur $`S`$ de la courbe elliptique $`E_\eta :=X_0(11)`$ (not e A1(B) par Cremona \[Cr\]) d finie sur $`K`$ par l’ quation

$$y^2+y=x^3x^210x20.$$

Le discriminant de cette courbe est $`11^5`$, et $`E`$ est un $`S`$-sch ma en groupes semi-stable. Dans le cas pr sent, on constate (voir \[Ma72\], p. 258) que $`E^{}`$ contient un sous-groupe isomorphe $`𝝁_{5/S}`$. Soit pr sent

$$\psi :E(S)\mathrm{Pic}(𝝁_{5/S})$$

l’homomorphisme de classes correspondant $`G=𝝁_{5/S}E^{}`$ et $`A^{}=E`$. Le th or me 1.1 affirme que $`\psi `$ s’annule sur les points de torsion.

Du point de vue de la structure galoisienne, ce r sultat peut s’interpr ter de la fa on suivante : tout point $`pE(S)_{\mathrm{Tors}}`$ nous avons associ un $`(/5)_S`$-torseur qui a une structure galoisienne triviale. En fait, si $`p`$ est d’ordre premier $`5`$, le torseur associ est lui-m me trivial. Les exemples int ressants sont donc fournis par des points $`p`$ d’ordre une puissance de $`5`$ : on pourra prendre $`K=(E_\eta [5^n])`$ avec $`n1`$ dans cet exemple.

D’autre part, la proposition 3.7 permet de construire d’autres exemples de sous-groupes de $`E^{}`$, lesquels engendrent leur tour d’autres torseurs.

### 4.4. Dualit

Nous allons donner une interpr tation de notre r sultat en termes de fibr s en droites. Tout d’abord, on note $`\mathrm{Pic}_r^0(A_\eta )`$ le sous-groupe de $`\mathrm{Pic}_r(A_\eta )`$ constitu par les classes des torseurs qui sont alg briquement quivalents $`0`$.

D’autre part, on note $`\mathrm{Pic}_r^0(A)`$ l’image r ciproque de $`\mathrm{Pic}_r^0(A_\eta )`$ par le morphisme de restriction la fibre g n rique $`:\mathrm{Pic}_r(A)\mathrm{Pic}_r(A_\eta )`$.

La th orie habituelle de la dualit pour les vari t s ab liennes affirme que l’application

(3)
$$\begin{array}{cc}\hfill A_\eta ^t(K)& \mathrm{Pic}_r^0(A_\eta )\hfill \\ \hfill (p:Spec(K)A_\eta ^t)& (\mathrm{id}_{A_\eta }\times p)^{}(𝒫_\eta )\hfill \end{array}$$

est un isomorphisme de groupes.

Nous allons voir que, sous certaines hypoth ses, la biextension $`W`$ permet d’ tablir une dualit du m me type entre $`A`$ et $`A^{}`$.

###### Proposition 4.7.

Supposons que $`A`$ soit fibres connexes, et que $`A^{}`$ soit n ronien (d f. 2.1). Alors l’application

(4)
$$\begin{array}{cc}\hfill A^{}(S)& \mathrm{Pic}_r^0(A)\hfill \\ \hfill (p:SA^{})& 𝒟(p)=l^1((\mathrm{id}_A\times p)^{}(W))\hfill \end{array}$$

est un isomorphisme de groupes.

###### Démonstration.

Rappelons que $`𝒟=l^1\gamma `$ (voir le paragraphe 2.3). D’apr s la remarque 2.7, les hypoth ses que nous avons faites impliquent que l’application $`\gamma `$ est un isomorphisme de groupes. D’autre part, le foncteur

$$L^1:\mathrm{EXT}(A,𝐆_\mathrm{m})\mathrm{TORSRIG}(A,𝐆_\mathrm{m})$$

(o $`\mathrm{EXT}(A,𝐆_\mathrm{m})`$ d signe la cat gorie des extensions de $`A`$ par $`𝐆_\mathrm{m}`$) est pleinement fid le (voir \[SGA 7\], expos VIII, prop. 7.4, a)). De plus, $`A`$ est fibres connexes, et $`S`$ est int gre normal, donc (loc. cit.) un objet $`Z`$ du second membre appartient l’image (essentielle) du foncteur $`L^1`$ si et seulement si $`Z_\eta `$ provient d’une extension de $`A_\eta `$ par $`𝐆_{\mathrm{m},K}`$.

Consid rons alors le diagramme commutatif suivant

$$\begin{array}{ccccc}A^{}(S)& \stackrel{\gamma }{}& \mathrm{Ext}^1(A,𝐆_\mathrm{m})& \stackrel{l^1}{}& \mathrm{Pic}_r(A)\\ & & & & & & \\ A_\eta ^t(K)& \stackrel{}{}& \mathrm{Ext}^1(A_\eta ,𝐆_{\mathrm{m},K})& & \mathrm{Pic}_r(A_\eta )\end{array}$$

dans lequel $`l^1`$ est l’application induite par le foncteur $`L^1`$, et $``$ est l’application de restriction la fibre g n rique. Alors, d’apr s ce qui pr c de, $`l^1`$ est injective, et son image est gale l’image r ciproque par $``$ de l’image de l’application (3). Or cette image est gale $`\mathrm{Pic}_r^0(A_\eta )`$, d’o le r sultat. ∎

En combinant la proposition 4.7 et le th or me 4.1, nous obtenons le r sultat suivant, qui g n ralise le Theorem A de Pappas \[P1\] :

###### Corollaire 4.8.

Supposons que $`A`$ soit fibres connexes, et que $`A_\eta `$ soit une courbe elliptique. Soit $`m`$ un entier premier $`6`$. Alors, pour tout $``$ dans $`\mathrm{Pic}_r^0(A)_{\mathrm{Tors}}`$, la restriction de $``$ $`A[m]`$ est triviale.

###### Remarque 4.9.

En g n ral, le sch ma en groupes $`A[m]`$ est quasi-fini et plat sur $`S`$, mais n’est pas n cessairement fini. Cependant, dans le cas particulier o $`S`$ est le spectre d’un anneau de Dedekind, le corollaire 4.8 admet encore une interpr tation en termes de structure galoisienne de torseurs. Ceci fait l’objet d’un travail en cours de pr paration.

### 4.5. Application aux caract ristiques d’Euler

Comme l’a montr Pappas dans \[P2\], l’homomorphisme $`\psi `$ admet une interpr tation en termes de caract ristiques d’Euler. Ainsi deux probl mes de structure galoisienne, a priori distincts, se retrouvent li s — la connexion tant tablie par le biais de la th orie des biextensions.

Plus pr cis ment, dans les paragraphes $`3.b`$ et $`3.c`$ de \[P2\], l’auteur tudie les caract ristiques d’Euler dans un cadre g n ral. Puis, sous l’hypoth se de bonne r duction, il tablit un lien entre caract ristiques d’Euler et valeurs de l’homomorphisme $`\psi `$. Dans ce cadre, son Theorem 6.4 (voir la section 6 de \[P2\]) d coule de l’annulation de l’homomorphisme $`\psi `$. On v rifie que les arguments de Pappas s’appliquent mutatis mutandis notre situation. On peut alors d duire du th or me 1.1 le r sultat suivant, g n ralisant le Theorem 6.4 de Pappas :

###### Corollaire 4.10.

Soit $`S`$ le spectre d’un anneau de Dedekind, et soit $`G`$ un $`S`$-sch ma en groupes commutatif, fini et plat.

Soit $`YS`$ un mod le minimal, r gulier et projectif d’une courbe elliptique r duction semi-stable sur $`K`$, et soit $`XY`$ un $`G`$-torseur. Alors

$$pgcd(12m\mathrm{,2}^7\mathrm{\hspace{0.17em}3}^2)\chi _R^P(𝒪_X)=0$$

o $`m`$ est l’ordre de $`G`$, et o $`\chi _R^P`$ d signe la caract ristique d’Euler projective quivariante. De plus, si $`m`$ est premier $`6`$ et si $`R`$ est principal, alors $`\chi _R^P(𝒪_X)=0`$.

Pour une d finition de la caract ristique d’Euler projective $`\chi _R^P`$, nous renvoyons le lecteur l’article de Pappas (voir \[P2\], paragraphes $`2.b`$ et $`2.c`$).