{"title":"射影空间中的一般直线及koszul性质","authors":"J. Rice","doi":"10.1017/nmj.2022.42","DOIUrl":null,"url":null,"abstract":"Abstract In this paper, we study the Koszul property of the homogeneous coordinate ring of a generic collection of lines in \n$\\mathbb {P}^n$\n and the homogeneous coordinate ring of a collection of lines in general linear position in \n$\\mathbb {P}^n.$\n We show that if \n$\\mathcal {M}$\n is a collection of m lines in general linear position in \n$\\mathbb {P}^n$\n with \n$2m \\leq n+1$\n and R is the coordinate ring of \n$\\mathcal {M},$\n then R is Koszul. Furthermore, if \n$\\mathcal {M}$\n is a generic collection of m lines in \n$\\mathbb {P}^n$\n and R is the coordinate ring of \n$\\mathcal {M}$\n with m even and \n$m +1\\leq n$\n or m is odd and \n$m +2\\leq n,$\n then R is Koszul. Lastly, we show that if \n$\\mathcal {M}$\n is a generic collection of m lines such that \n$$ \\begin{align*} m> \\frac{1}{72}\\left(3(n^2+10n+13)+\\sqrt{3(n-1)^3(3n+5)}\\right),\\end{align*} $$\n then R is not Koszul. We give a complete characterization of the Koszul property of the coordinate ring of a generic collection of lines for \n$n \\leq 6$\n or \n$m \\leq 6$\n . We also determine the Castelnuovo–Mumford regularity of the coordinate ring for a generic collection of lines and the projective dimension of the coordinate ring of collection of lines in general linear position.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"GENERIC LINES IN PROJECTIVE SPACE AND THE KOSZUL PROPERTY\",\"authors\":\"J. Rice\",\"doi\":\"10.1017/nmj.2022.42\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract In this paper, we study the Koszul property of the homogeneous coordinate ring of a generic collection of lines in \\n$\\\\mathbb {P}^n$\\n and the homogeneous coordinate ring of a collection of lines in general linear position in \\n$\\\\mathbb {P}^n.$\\n We show that if \\n$\\\\mathcal {M}$\\n is a collection of m lines in general linear position in \\n$\\\\mathbb {P}^n$\\n with \\n$2m \\\\leq n+1$\\n and R is the coordinate ring of \\n$\\\\mathcal {M},$\\n then R is Koszul. Furthermore, if \\n$\\\\mathcal {M}$\\n is a generic collection of m lines in \\n$\\\\mathbb {P}^n$\\n and R is the coordinate ring of \\n$\\\\mathcal {M}$\\n with m even and \\n$m +1\\\\leq n$\\n or m is odd and \\n$m +2\\\\leq n,$\\n then R is Koszul. Lastly, we show that if \\n$\\\\mathcal {M}$\\n is a generic collection of m lines such that \\n$$ \\\\begin{align*} m> \\\\frac{1}{72}\\\\left(3(n^2+10n+13)+\\\\sqrt{3(n-1)^3(3n+5)}\\\\right),\\\\end{align*} $$\\n then R is not Koszul. We give a complete characterization of the Koszul property of the coordinate ring of a generic collection of lines for \\n$n \\\\leq 6$\\n or \\n$m \\\\leq 6$\\n . We also determine the Castelnuovo–Mumford regularity of the coordinate ring for a generic collection of lines and the projective dimension of the coordinate ring of collection of lines in general linear position.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2022-03-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/nmj.2022.42\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/nmj.2022.42","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
GENERIC LINES IN PROJECTIVE SPACE AND THE KOSZUL PROPERTY
Abstract In this paper, we study the Koszul property of the homogeneous coordinate ring of a generic collection of lines in
$\mathbb {P}^n$
and the homogeneous coordinate ring of a collection of lines in general linear position in
$\mathbb {P}^n.$
We show that if
$\mathcal {M}$
is a collection of m lines in general linear position in
$\mathbb {P}^n$
with
$2m \leq n+1$
and R is the coordinate ring of
$\mathcal {M},$
then R is Koszul. Furthermore, if
$\mathcal {M}$
is a generic collection of m lines in
$\mathbb {P}^n$
and R is the coordinate ring of
$\mathcal {M}$
with m even and
$m +1\leq n$
or m is odd and
$m +2\leq n,$
then R is Koszul. Lastly, we show that if
$\mathcal {M}$
is a generic collection of m lines such that
$$ \begin{align*} m> \frac{1}{72}\left(3(n^2+10n+13)+\sqrt{3(n-1)^3(3n+5)}\right),\end{align*} $$
then R is not Koszul. We give a complete characterization of the Koszul property of the coordinate ring of a generic collection of lines for
$n \leq 6$
or
$m \leq 6$
. We also determine the Castelnuovo–Mumford regularity of the coordinate ring for a generic collection of lines and the projective dimension of the coordinate ring of collection of lines in general linear position.