On the factoriality of some rings of complex Nash functions (Q1599938): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q1010979 |
||
Property / reviewed by | |||
Property / reviewed by: Antonio Diaz-Cano / rank | |||
Revision as of 00:29, 22 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the factoriality of some rings of complex Nash functions |
scientific article |
Statements
On the factoriality of some rings of complex Nash functions (English)
0 references
22 July 2002
0 references
In this paper some algebraic properties of the ring of complex Nash functions of a factorial Nash subvariety are investigated. To be more precise, let \(X\) be a normal Nash subvariety of \(\mathbb C^n\). An affine Nash compact set \(K\) is defined as a compact set which can be identified with the maximal spectrum of the ring of Nash functions on \(K\), \({\mathcal N}_X(K)\). These compact sets can be characterized as holomorphically convex sets with respect to the analytic structure of \(X\) such that the inclusion map \({\mathcal N}_X(K) \to {\mathcal O}_X(K)\) is dense in the canonical \textbf{LF} topology of \({\mathcal O}_X(K)\). An Artin type approximation theorem is extended to Nash affine compact sets. The main result proved in this paper is the following: if \(K\) is a semianalytic Nash affine compact set of a normal Nash subvariety of \(\mathbb C^n\) then the map \(M \to M \otimes_{{\mathcal N}_X(K)} {\mathcal O}_X(K)\) induces an isomorphism \(\text{ Pic}({\mathcal N}_X(K)) \to \text{ Pic}({\mathcal O}_X(K))\). For a factorial Nash subvariety it follows that the ring \({\mathcal N}_X(K)\) is factorial if and only if \(H^2(K,{\mathbb Z}) = 0\), a result which is known in the analytic case [see the paper of \textit{H. G. Dales}, Proc. Am. Math. Soc. 44, 88-93 (1974; Zbl 0302.32018)].
0 references
complex Nash functions
0 references
factorial rings
0 references
holomorphic convexity
0 references