Lower Bounds for the Height and Size of the Ideal Class Group in CM-Fields

 We prove that, under the assumption of the Generalized Riemann Hypothesis, the exponent of the ideal class group of a CM-field goes to infinity with its absolute discriminant. This gives a positive answer to a question raised by Louboutin and Okazaki [4]. Received September 10, 2001; in revised form April 5, 2002     

The synthesis and reactivity of the heptanuclear dianion [Os7(CO)20]2− including the synthesis and structural characterizations of the compounds [Os7(CO)20(AuPEt)3 2] and [Os8(CO)20(η6-C6H6]

Reduction of the heptaosmium cluster [Os₇(CO)₂₁] With [Et₄N][NH₄) gives the cluster dianion [Os₇(CO)₂₀]^2–,1, in high yield. The reaction of the dianion with [AuPR ₃Cl] (R=Et or Ph) in the presence of TlPF₆ forms [Os₇((CO)₂₀(AuPR ₃)₂] [R=Et (2a);R = Ph(2b)] in 80% yield, while the corresponding reaction with (Os(C₆H₆)(CH₃CN)₃]²⁺ gives [Os₈(CO)₂₀ ( ⁶-C₆H₆)] (3) in reasonable yield (ca. 30%). The dianion,1, and the clusters2 and3 have been fully characterized by bout spectroscopic and crystallographic methods. The crystal structure of the [Ph₄P]⁺ salt of1 shows that the metals in the anion adopt a capped octahedral geometry, with all twenty carbonyl ligands in terminal sites. The metal core geometry in2a is best described as a tricapped octahedron, and is based on the structure of the dianion1 with two adjacent octahedral faces capped by the Au atoms of the two AuPEt₃ groups. In a similar fashion, the geometry of3 is related to that of1 with the addition of an Os(C₆H₆) unit capped to a triangular face, to give a bicapped octahedral framework.     

Densité des Points à Coordonnées Multiplicativement Indépendantes

Nous montrons que pour toute sous-variété algébrique d'un tore multiplicatif (non contenue dans un sous-groupe algébrique propre), on peut choisir un ensemble Zariski dense de points algébriques de hauteur contrôlée, dont toutes les coordonnées sont multiplicativement indépendantes. Cet énoncé précise et généralise un théorème de S. Zhang qui lie la hauteur projective d'une varété au minimum essentiel de la hauteur des points algébriques de celle-ci. En tenant compte d'un résultat précédent des auteurs sur le problème de Lehmer généralisé à un tore, nous en déduisons une minoration pour la hauteur normalisée d'une sous-variété d'un tore. Cette dernière est optimale à un «-prés» en le degré géométrique de la variété étudiée (confer une conjecture du second auteur avec P. Philippon).In this article, we prove that on any subvariety of a multiplicative torus which is not contained in a proper algebraic subgroup, one can find a Zariski dense set of algebraic points of small height whose coordinates are multiplicatively independent. This statement generalizes an earlier result of S. Zhang which links the projective height of a variety with the essential minimum of its algebraic points. Taking into account an earlier result of the authors on the Lehmer problem generalized to a multiplicative torus, one deduces a lower bound for the normalized height of subvarieties of multiplicative groups. This lower bound is optimal up to an in the geometric degree of the variety studied (confer a conjecture by the second author and P. Philippon).