Abstract:Given a smooth, projective irreducible variety over the reals, various algebraic formulas have been given for the number of real connected components of the set of real points. In this note I compare a formula of E. Becker and D. Gondard (1995) with a formula I gave in 1978. I show how one may deduce one from the other by using a purity theorem of M. Rost (1990).
-----
E. Becker und D. Gondard haben eine algebraische Formel fuer die Anzahl von Zusammenhangskomponenten des Raumes der reellen Punkte einer reellen, glatten, projektiven Varietaet gebegen. In einer viel frueheren Arbeit hatte ich eine andere algebraische Formel fuer diese Anzahl gegeben. In dieser Note zeige ich, wie man direkt von einer Formel zur anderen gehen kann. Dabei wird ein Reinheitssatz von M. Rost angewandt.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: How to establish a connection between two different algebraic formulas without relying on the work of E. Becker and D. Gondard. These two formulas are given by Becker and Gondard and Colliot - Thélène respectively, and are used to calculate the number of connected components in the real - point space of a real smooth projective variety.
Specifically:
1. **Problem Background**:
- In their work, E. Becker and D. Gondard gave an algebraic formula for calculating the number of connected components of the real - point space of a real smooth projective variety.
- Colliot - Thélène also gave a similar formula in another work.
2. **Paper Objectives**:
- The objective of this paper is to show how to derive one formula from the other without directly using the results of Becker and Gondard.
- Specifically, the author applies Markus Rost's Purity Theorem (Reinheitssatz), instead of using the space of R - places and its related theorems on which Becker and Gondard rely.
3. **Main Results**:
- The author proves a key theorem, showing that an element \( f\in K^* \) belongs to the group \( D(X) \) if and only if \( f^2\in K^{*2}\cap\sum K^4 \).
- This theorem builds a bridge between the two formulas and explains the relationship between them.
### Summary of Mathematical Formulas
- Let \( X /\mathbb{R} \) be a smooth, projective, and absolutely irreducible real variety, and \( X(\mathbb{R}) \) be its set of real points.
- Let \( S \) denote the set of connected components of \( X(\mathbb{R}) \), and \( s \) be the cardinality of \( S \).
- Let \( K = \mathbb{R}(X) \) be the function field of \( X \).
- Let \( D(X)\subset K^* \) be the multiplicative subgroup of all functions that can be represented as a unit in the local ring \( O_{X,P} \) at each point \( P\in X \) multiplied by a sum of squares in \( K \).
#### Theorems and Formulas
1. **Satz 1 (Colliot - Thélène)**:
\[
D(X)/(K^*\cap(\sum K^2))\cong(\mathbb{Z}/2)^S
\]
2. **Satz 2 (Becker und Gondard)**:
\[
(K^{*2}\cap(\sum K^4))/(K^*\cap(\sum K^2)^2)
\]
is finite, with order \( 2^{s - 1} \).
3. **Satz 3 (Becker)**:
For an even number \( n \), an element \( f\in K^* \) is a sum of \( n \)-th powers in \( K \) if and only if:
- \( f \) is a sum of squares in \( K \).
- For each Krull valuation \( v \) with formally real residue class field, \( v(f) \) can be divided by \( n \).
4. **Hauptsatz**:
An element \( f\in K^* \) belongs to the group \( D(X) \) if and only if \( f^2\in K^{*2}\cap\sum K^4 \).
Through these formulas and theorems, the author shows how to establish a connection between two different formulas without relying on Becker and Gondard's methods.