On the regularity of configurations of \(\mathbb F_q\)-rational points in projective space (Q357879): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Ernst Kunz / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the Hilbertfunction of a one-dimensional Cohen-Macaulay ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the castelnuovo-mumford regularity of a projective system / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Projective Reed-Muller codes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3596012 / rank | |||
Normal rank |
Latest revision as of 19:01, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the regularity of configurations of \(\mathbb F_q\)-rational points in projective space |
scientific article |
Statements
On the regularity of configurations of \(\mathbb F_q\)-rational points in projective space (English)
0 references
14 August 2013
0 references
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.
0 references
Castelnuovo-Mumford regularity
0 references
rational points in projective spaces over finite fields
0 references
Hilbert function
0 references
index of stability
0 references