On the regularity of configurations of \(\mathbb F_q\)-rational points in projective space (Q357879): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Ernst Kunz / rank | |||
Normal rank | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alessandro De Stefani / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11T99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6198370 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Castelnuovo-Mumford regularity | |||
Property / zbMATH Keywords: Castelnuovo-Mumford regularity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rational points in projective spaces over finite fields | |||
Property / zbMATH Keywords: rational points in projective spaces over finite fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hilbert function | |||
Property / zbMATH Keywords: Hilbert function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
index of stability | |||
Property / zbMATH Keywords: index of stability / rank | |||
Normal rank |
Revision as of 10:53, 28 June 2023
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