Asymptotic questions in Galois geometries (Q1329352)

The author considers some asymptotic problems for Galois spaces \(\text{PG}(r,q)\) in the following context [see also the author, Conf. Semin. Mat. Univ. Bari 209, 1-17 (1986; Zbl 0663.12021)]. Let \(P\) be an infinite set and a set \({\mathcal F}\neq \emptyset\) of subsets of \(P\) is filter. Then the family of filters in \(P\) is ordered with respect to a maximal filter (ultrafilter) and the Cauchy filter is the filter consisting of the complements of the finite subsets in \(P\). Let \(P\) be the set of prime numbers and \({\mathcal U}\) be an ultrafilter containing the Cauchy filter of \(P\). Let \(A:= \prod_{p\in P} \mathbb{Z}_ p\), then for \(a\in A\) we have \(a:= \{a_ p\): \(a_ p\in \mathbb{Z}_ p\}\). For any \(a\in A\) let \(\nu(a):= \{p\in P\): \(a_ p= O_ p\}\) and let \({\mathcal I}\) be the following maximal ideal of the ring \(A\): \(a\in {\mathcal I}\) iff \(\nu(a)\in {\mathcal U}\). The quotient \(A/{\mathcal I}\) is a field \(\Gamma= \Gamma (P,{\mathcal U})\) which is called the nonstandard Galois field. In a similar way we can consider instead of \(P\) the set of \(Q\) of all powers of prime numbers; thus we construct the field \(\Gamma (Q<{\mathcal U})\). The field \(\Gamma(P,{\mathcal U})\) has characteristic zero, but it enjoys several properties valid for Galois fields. It can be considered as the limit of \(\mathbb{Z}_ p\) for \(p\in\infty\) since \({\mathcal U}\) contains the Cauchy filter. The field \(\Gamma(P,{\mathcal U})\) contains nonsquares and is therefore not algebraically closed, the product of two nonsquares is a square, every quadratic form in \(r\geq 3\) variables has solutions in \(\Gamma\). In an even-dimensional space over the field \(\Gamma\) the quadrics are all projectively equivalent. In an odd-dimensional space there are only two classes of projectively equivalent quadrics. Very irreducible algebraic curves contain points with coordinates in \(\Gamma\). Therefore, the geometry of a projective space over \(\Gamma\) can be considered as the limit geometry of Galois geometries \(\text{PG}(r,p)\), for \(p\to\infty\), \(r\) fixed. The points of the countable Galois space \(\text{PG} ({\mathbf N},p)\) are the nonzero `definitively' zero sequences of elements of \(\text{GF}(q)\) defined up to a set of independent points. A subspace of \(\text{PG} ({\mathbf N},p)\) consists of all linear combinations of finite subsets of a set of independent points. A subspace may have either a finite dimension \(d\) (and then it is a Galois space \(\text{PG}(d,q)\)) or a countable dimension.