Prolongements en fonctions algébriquement constructibles

Prolongements en fonctions alg´ebriquement
constructibles
Isabelle BONNARD-DOR´ E
Lyc´ee Poincar´e,
2 rue de la Visitation, BP 4202,
54042 Nancy Cedex, France
[email protected]
Recibido: 7 de Abril de 2003
Aceptado: 5 de Mayo de 2004
ABSTRACT
In this paper we consider the following question: Let Sbe a semialgebraic
subset of a real algebraic set V, and let ϕ:S→Zbe a function on S.Isϕthe
restriction of an algebraically constructible function on V,i.e. asumofsignsof
polynomials on V? We give an effective method to answer this question when
ϕ(S)⊂{−1,1}or dim S≤2orSis basic.
Key words: semialgebraic sets, algebraically constructible functions, quadratic forms.
2000 Mathematics Subject Classification: 14P10
Introduction
Soit V⊂RNun ensemble alg´ebrique r´eel. (Dans tout cet article, les ensembles
alg´ebriques consid´er´es sont des z´eros de polynˆomes dans RN). Les fonctions alg´ebri-
quement constructibles sur Vont ´et´e introduites par C. McCrory et A. Parusi´nski pour
´etudier la topologie des ensembles alg´ebriques r´eels. (Voir [10] pour les dimensions ≤3,
et [11] pour la dimension 4). Elles sont d´efinies comme les combinaisons lin´eaires, `a
coefficients entiers, de caract´eristique d’Euler-Poincar´e de morphismes polynˆomiaux
propres (cf. [10]). Par [9] ou [13], ces fonctions co¨ıncidentaveclessommesdesignes
de polynˆomes sur V,o`u le signe d’un polynˆome Psur Vest la fonction sgn P:
V→{−1,0,1}qui vaut 1 (respectivement −1, 0) l`ao`uPest strictement positif
(respectivement strictement n´egatif, nul).
Rev. Mat. Complut.
2004, 17; N´um. 2, 471–483 471 ISSN: 1139-1138
http://dx.doi.org/10.5209/rev_REMA.2004.v17.n2.16758

Isabelle Bonnard-Dor´e Prolongements en fonctions alg´ebriquement constructibles
On s’int´eresse au probl`eme suivant. Soit Sun sous-ensemble semi-alg´ebrique de V
et soit ϕ:S→Zune fonction constructible, i.e. telle qu’il existe une partition semi-
alg´ebrique finie de Ssur chaque ´el´ement de laquelle ϕest constante. La fonction
ϕest-elle la restriction `a Sd’une fonction alg´ebriquement constructible sur Vtout
entier ?
Nous montrons comment r´epondredemani`ere effective `a cette question lorsque ϕ
ne prend que les valeurs −1 et 1, lorsque la dimension de Sest au plus deux, ou lorsque
le semi-alg´ebrique Sest de dimension plus grande mais basique. (On dit qu’un semi-
alg´ebrique est basique s’il est donn´e par une conjonction d’in´egalit´es polynomiales).
Pour cela, nous utilisons le spectre r´eel de l’anneau des polynˆomes sur V,etles
formes quadratiques sur ce spectre r´eel. En effet, les signatures de ces formes quadra-
tiques sont en correspondance avec les fonctions alg´ebriquement constructibles.
Le plan de l’article est le suivant. Nous commencerons par des rappels sur le
spectre r´eel. Dans la deuxi`eme section, nous montrerons comment nous ramener `a
travailler g´en´eriquement, i.e. `a un sous-ensemble alg´ebrique de dimension strictement
inf´erieure `a celle de Vpr`es. La troisi`eme section est consacr´ee au cas o`ulesvaleurs
de ϕsont seulement −1 et 1, et au cas de la dimension deux. On termine dans la
quatri`emesectionparlecaso`uSest basique.
1. Spectre r´eel et formes quadratiques
Pour une pr´esentation du spectre r´eel on peut se r´ef´erer `a [6].
Soit Aun anneau commutatif unitaire. Le spectre r´eel de A, not´eSpec
rA, est l’en-
semble des couples (p,α)o`upest un id´eal premier de Aet αun ordre du corps r´esiduel
k(p) = Frac(A/p). En particulier, si Aest un corps, alors SpecrAest l’ensemble des
ordres de A.
Si σ=(p,α)estun´el´ement de SpecrAet fun ´el´ement de A,on´ecrit f(σ)>0
ou f(σ) = 1 si l’image fde fdans le corps r´esiduel k(p) est strictement positive pour
α.Demˆeme on ´ecrit f(σ)<0ouf(σ)=−1sifest strictement n´egative pour α,et
f(σ)=0sif=0.
Un sous-ensemble constructible de SpecrAest un ensemble de la forme
p
i=1
{σ∈SpecrA|gi(σ)=0,f
i,1(σ)>0,...,f i,ri(σ)>0}
o`ulesgiet les fi,j sont des ´el´ements de A. Les sous-ensembles constructibles forment
unebasedelatopologie constructible de SpecrA.
Une forme quadratique de dimension rsur SpecrAest la classe d’un r-uplet d’´el´e-
ments de Amodulo la relation
(f1,...,f
r)∼(g1,...,g r)⇔∀σ∈SpecrA,
r
i=1
fi(σ)=
r
i=1
gi(σ).
Revista Matem´atica Complutense
2004, 17; N´um. 2, 471–483 472

Isabelle Bonnard-Dor´e Prolongements en fonctions alg´ebriquement constructibles
On note f1,...,f
rla classe de (f1,...,f r). La signature de la forme ρ=f1,...,f r
est la fonction ρ:Spec
rA→Zd´efinie par ρ(σ)=r
i=1 fi(σ). Pour les formes
quadratiques sur le spectre r´eel, on peut se r´ef´erer `a [3] ou [12].
Dans [5], E. Becker et L. Br¨ocker ont donn´e la caract´erisation suivante des signa-
tures de formes quadratiques. Un ´eventail fini de SpecrAest un sous-ensemble fini
non vide Fde SpecrAde la forme {(p,α
1),...,(p,α s)}tel que pour tous i1,i 2,i 3∈
{1,...,s},leproduitα=αi1αi2αi3soit un ordre de k(p)et(p,α)soitun´el´ement
de F. (Le produit des ordres signifie le produit des signes pour ces ordres).
Th´eor`eme1.1(deRepr´esentation). Soit ϕ:Spec
rA→Zune fonction conti-
nue pour la topologie constructible de SpecrAet la topologie discr`ete de Z.Lafonc-
tion ϕest une signature de forme quadratique sur SpecrAsi et seulement si pour tout
´eventail fini Fde SpecrA,ona
σ∈F
ϕ(σ)≡0mod|F|.
Supposons que Asoit un corps K. Tout sous-ensemble de SpecrK`aunoudeux
´el´ements est un ´eventail, appel´e ´eventail trivial. Soit Bun anneau de valuation de K
et σun ordre de K. On dit que Bet σsont compatibles si pour tout f∈Bet tout g
dans l’id´eal maximal mde B,larelation0<f<gpour σimplique f∈m. Dans ce
cas, σinduit un ordre unique σsur le corps r´esiduel kde B,d´efini par σ(f)=σ(f)
si f∈B\met si fd´esigne la classe de fdans k.SiFest un ´eventail de Kdont tous
les ordres sont compatibles avec B, alors les ordres de kinduits par les ´el´ements de F
forment un ´eventail de k.
On a le th´eor`eme suivant, cf. [3, Th. VI.1.6].
Th´eor`eme 1.2 (de Trivialisation). Soit Kun corps. Pour tout ´eventail Fde K,
il existe un anneau de valuation Bde Kcompatible avec Fet tel que l’´eventail induit
par Fsur le corps r´esiduel de Bsoit trivial.
Inversement, si BestunanneaudevaluationdeK,etsiσest un ordre du
corps r´esiduel kde B,lesordresdeKcompatibles avec Bet induisant σsont appel´es
rel`evements de σvia B.SiFest ´eventail de k, l’ensemble des rel`evements des ´el´ements
de Fvia Bforme un ´eventail de K.
Par le Th´eor`eme de Baer-Krull ([6, Th. 10.1.10]), si Best un anneau de valuation
discr`etederangd, tout ordre de ka exactement 2drel`evements via B.
Exemple 1.3.Soit Aun anneau local r´egulier de dimension d, de corps des fractions
Ket de corps r´esiduel k. Fixons un syst`eme r´egulier de param`etres x1,...,x
dde A.
On construit alors un anneau de valuation discr`ete Bde K, de rang d, dominant A,
et de mˆeme corps r´esiduel k.Onproc`ede par r´ecurrence sur d, en utilisant l’anneau
A/(x1)quiestlocalr´egulier de dimension d−1, cf. [4, Ex. 2.2]. L’anneau Best alors
l’anneau de valuation de la place K=K0→K1∪∞→···→Kd∪∞,o`uKiest le
corpsdesfractionsdel’anneauAi=A/(x1,...,x
i), et o`ulaplaceKi→Ki+1 ∪∞
473 Revista Matem´atica Complutense
2004, 17; N´um. 2, 471–483

Isabelle Bonnard-Dor´e Prolongements en fonctions alg´ebriquement constructibles
correspond `a l’anneau de valuation discr`ete Ai(¯xi+1 )de Ki.Siτ∈Specrk,chacundes
2drel`evements de τvia Best d´etermin´e par les signes qu’il donne `a x1,...,x
d.
Consid´erons maintenant un ensemble alg´ebrique r´eel V⊂RN. Notons P(V) l’an-
neau des polynˆomes sur Vet R(V) l’anneau des fonctions r´eguli`eres sur V.SiVest
irr´eductible, soit K(V) le corps des fractions rationnelles sur V.
L’application qui `a un sous-ensemble semi-alg´ebrique Sde V, associe le construc-
tible  Sde SpecrP(V)d´efini par la mˆeme combinaison bool´eenne d’´equations et
d’in´egalit´es polynomiales, est bien d´efinie. Elle induit un isomorphisme entre l’alg`ebre
de Boole des semi-alg´ebriques de Vet celle des constructibles de SpecrP(V).
Soit ϕ:S→Zune fonction constructible sur un semi-alg´ebrique Sde V,donn´ee
par la formule ϕ=r
i=1 mi1Siavec mi∈Zet Si⊂Ssemi-alg´ebrique. Elle induit
une fonction ϕ: S→Z,d´efinie par ϕ=r
i=1 mi1
Si.
Si S=V, la fonction ϕest alg´ebriquement constructible si et seulement si ϕ
est une signature de formes quadratiques : “ϕ=r
i=1 sgn Pisur V”´equivaut `a“ϕ
signature de la forme P1,...,P
rsur SpecrP(V)”.
On dit que ϕest g´en´eriquement alg´ebriquement constructible s’il existe ψ:V→Z
alg´ebriquement constructible, et W⊂Vsous-ensemble alg´ebrique de codimension
au moins un, tels que ϕ|V\W=ψ|V\W.SiVest irr´eductible, cela ´equivaut `ace
que la restriction de ϕ`aSpec
rK(V) soit la signature d’une forme quadratique sur
SpecrK(V).
Le Th´eor`eme de Repr´esentation se reformule donc ainsi :
Proposition 1.4. Soit V⊂RNun ensemble alg´ebrique r´eel et soit ϕ:V→Zune
fonction constructible.
La fonction ϕest alg´ebriquement constructible sur Vsi et seulement si pour tout
´eventail fini Fde SpecrP(V),ona
σ∈Fϕ(σ)≡0mod|F|.
Si Vest irr´eductible, elle est g´en´eriquement alg´ebriquement constructible sur Vsi
et seulement si la mˆeme relation est v´erifi´ee pour tout ´eventail fini Fde SpecrK(V).
2. R´eduction `a un probl`eme g´en´erique
Soient V⊂RNun ensemble alg´ebrique r´eel, Sun sous-ensemble semi-alg´ebrique
de Vet ϕune fonction constructible sur S.
Commen¸cons par ´etudier le cas de la dimension un. Si dim V= 1, alors les fonc-
tions alg´ebriquement constructibles sur Vsont les fonctions constructibles sur V
qui sont constantes modulo 2, sauf en un nombre fini de points, sur chaque compo-
sante irr´eductible de V. Donc ϕest la restriction `a Sd’une fonction alg´ebriquement
constructible sur Vsi et seulement si pour toute composante irr´eductible Vde V,la
fonction ϕest constante modulo 2 sur S∩Vsauf en un nombre fini de points.
Revista Matem´atica Complutense
2004, 17; N´um. 2, 471–483 474

Isabelle Bonnard-Dor´e Prolongements en fonctions alg´ebriquement constructibles
Nous allons montrer comment, `a l’aide d’une r´ecurrence sur la dimension, on peut
se ramener `al’´etude du probl`eme g´en´erique.
Proposition 2.1. Soit V⊂RNun ensemble alg´ebrique r´eel, S⊂Vun sous-ensemble
semi-alg´ebrique, et ϕ:S→Zune fonction constructible. Notons
X=Sing(V)∪
n∈Z
∂Z(ϕ−1(n))
o`u∂ZTd´esigne la fronti`ere de Zariski du semi-alg´ebrique T,i.e.laclˆoturedeZariski
de la fronti`ere euclidienne de T.L’unionestenfaitfinie.
La fonction ϕest la restriction `a Sd’une fonction alg´ebriquement constructible
sur Vsi et seulement si ϕest la restriction `a Sd’une fonction g´en´eriquement alg´e-
briquement constructible sur Vet ϕ|X∩Sest la restriction `a X∩Sd’une fonction
alg´ebriquement constructible sur X.
Remarquons que Xest un ensemble alg´ebriquetelquedimX<dim V.Lapro-
position 2.1, avec une r´ecurrence sur la dimension, permet donc de r´eduire notre
probl`eme `a un nombre fini de probl`emes similaires mais g´en´eriques, ainsi qu’`aun
probl`eme similaire en dimension un (que l’on sait r´esoudre d’apr`es le d´ebut de la
section).
D´emonstration de la Proposition 2.1. La condition est clairement n´ecessaire. Mon-
trons qu’elle est aussi suffisante. Soit ϕ:V→Zune fonction alg´ebriquement
constructible, et soit Y⊂Vun ensemble alg´ebrique, tels que ϕ|S\Y=ϕ
|S\Yet
dim Y<dim V. Soit ϕ :X→Zune fonction alg´ebriquement constructible sur X
telle que ϕ|S∩X=ϕ
|S∩X.
Si Y⊂X,ond´efinit ψ:V→Zpar ψ(x)=ϕ(x)six∈V\Xet ψ(x)=
ϕ(x)six∈X. La fonction ψainsi construite est alg´ebriquement constructible, et sa
restriction `a Sest ´egale `aϕ.
Si maintenant Yn’est pas contenu dans X, soit Y0une composante irr´eductible
de Yqui n’est pas contenue dans X.Ilexisteunecomposanteirr´eductible V0de V
qui contient Y0.CommeY0n’est pas contenu dans le lieu singulier de V0, l’anneau
R(V0)I(Y0)est local r´egulier de dimension d,o`udest la codimension de Y0dans V0.
Soit x1,...,x
dun syst`eme r´egulier de param`etres de R(V0)I(Y0). Notons Cl’anneau
de valuation discr`etederangd, dominant R(V0)I(Y0), construit `a l’aide du syst`eme
x1,...,x
dcomme dans l’exemple 1.3.
On d´efinit θ:Spec
rK(Y0)→Zde la mani`ere suivante. Soit σun ´el´ement de
SpecrK(Y0), et notons Fσl’ensemble des 2drel`evements de σdans SpecrK(V)viaC.
On pose θ(σ)= 1
2dσ∈Fσϕ(σ). Remarquons que θ(σ)∈Z,carFσest un ´eventail
de SpecrK(V0)etϕest alg´ebriquement constructible. On obtient une application
SpecrK(Y0)→Zqui est continue pour la topologie constructible de SpecrK(Y0)et
pour la topologie discr`ete de Z.
475 Revista Matem´atica Complutense
2004, 17; N´um. 2, 471–483