Productivity of Zariski-compactness for constructs of affine spaces (Q818397)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Productivity of Zariski-compactness for constructs of affine spaces |
scientific article |
Statements
Productivity of Zariski-compactness for constructs of affine spaces (English)
0 references
20 March 2006
0 references
In this paper an affine space is simply a set \(X\) together with a family of subsets which contains both the empty set and the set \(X\). A morphism of such spaces is a function for which the inverse image maps the defining subsets to the corresponding defining subsets. Together these form the topological category SSETS. Associated with this category is a closure operator \(z\) (Zariski closure) where the \(z\)-closure, \(z(M)\), of an embedding \(M\to X\) is the subset of \(X\) consisting of all \(x\) in \(X\) for which all pairs of maps \(X\to S\) which agree on \(M\) also agree at \(x\). Here \(S= (\{0,1\}; \{0,\{1\},\{0,1\}\})\) is the SierpiĆski affine space. An object \(X\) in a non-trivial hereditary concretely coreflective subconstruct, \(C\), of SSETS is said to be \(z\)-compact if the second factor projection from the product, \(X\times Y\) in \(C\), to \(Y\) is \(z\)-preserving (i.e. commutes with \(z\)-closure) for all objects \(Y\) in \(C\). The main result of the paper is: If in \(C\) arbitrary products of quotients are quotients, then \(z\)-compactness is productive in \(C\) if and only if either all \(z\)-compact objects are indiscrete or \(z\)-compactness coincides with \(z\)-completeness on the subcategory of \(T_0\) objects in \(C\). Several examples of well known subconstructs of SSETS are considered. In particular it is shown that \(z\)-compactness is productive in SSETS and in CL, the category of closure spaces.
0 references
hereditary coreflective subconstruct
0 references
structured set
0 references
Zariski-compactness
0 references
finite structure property
0 references
Zariski closure
0 references