On the regularity of configurations of F_q-rational points in projective space
On the regularity of configurations of \(\mathbb F q\)-rational points in projective space
The authors consider the number \(s = s(n,q)\) defined as the smallest integer such that for any given \(n\) distinct \(\mathbb{F}_q\)-rational points \(P_1,\ldots,P_{n-1}\) in \(\mathbb{P}^{n-1}\) there exists a hypersurface \(H\) defined over \(\mathbb{F}_q\) such that \(P_1,\ldots,P_{n-1} \in H\) and \(P_n \notin H\). Equivalently, \(s(n,q)\) is the maximal Castelnuovo-Mumford regularity \(r_{\mathfrak{X}}\) of a subset \(\mathfrak{X}\) of some projective space \(\mathbb{P}^k(\mathbb{F}_q)\) with \(|\mathfrak{X}| = n\). Systems \(\mathfrak{X} \subseteq \mathbb{P}^k(\mathbb{F}_q)\) play a role, for example, in algebraic coding theory. Starting from the inequality \(s(n,q) \leq s(n+1,q) \leq s(n,q) + 1\) for all \(n \geq 1\) (cf. [\textit{M. Kreuzer} and \textit{R. Waldi}, Commun. Algebra 25, No. 9, 2919--2929 (1997; Zbl 0883.13014)]), one can extend \(s\) to a step function \(s(x,q)\), for real numbers \(x \geq 1\). The authors study jump discontinuities of such a function. For example, they prove that \(x=i+1\) is a discontinuity point for \(i = 1,\ldots,q-1\). When \(q \geq 3\), they prove the existence of discontinuities in some semiopen intervals, but they cannot locate their exact position. Also, they provide upper and lower bounds for the function \(s(n,q)\) for values of \(n\) in some ranges depending on \(q\). Finally, they show that \(s(n,q)\) can also be viewed as the index of stability \(s(Q_n)\) of some Cohen-Macaulay \(\mathbb{F}_q\)-algebra \(Q_n\). Thus, the results obtained for \(s(n,q)\) can be applied to \(S(Q_n)\) as well.
- On the castelnuovo-mumford regularity of a projective system
- scientific article; zbMATH DE number 7119803
- On the regularity index of s fat points not on a linear (r−1)-space, s≤r+3
- Regularity index of s + 2 fat points not on a linear (s - 1)-space
- An algebraic approach to the regularity index of fat points in \(P^ n\)
This page was built for publication: On the regularity of configurations of \(\mathbb F_q\)-rational points in projective space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q357879)
