Quadratic Gorenstein rings and the Koszul property I
设$R$是二次域上的标准分次Gorenstein代数. Conca、Rossi和Valla已经证明,如果$\mathrm{reg}\, R \leq 2$或如果$\mathrm{reg}\, = 3$和$c= \mathrm{codim}\, R \leq 4$,则这样的环是Koszul,他们问这对于一般的$\mathrm{reg}\, R = 3$是否正确。在非Koszul二次Cohen-Macaulay环$R$上,给出了保证Nagata理想化$\tilde{R} = R \ltimes ω_R(-a-1)$是非Koszul二次Gorenstein环的充分条件.我们用它来否定地回答Conca-Rossi-Valla的问题,构造所有$c \geq 9$的正则性为3的非Koszul二次Gorenstein环。
2020-06-07 math.AC
Quadratic Gorenstein rings and the Koszul property II
Conca,Rossi和Valla提出的一个问题是,是否每个正则性为3的二次Gorenstein环$R$都是Koszul环。在以前的文件中,我们使用理想化来回答他们的问题,证明在9个或更多的变量存在二次Gorenstein环的正则性3这不是Koszul。本文研究了当$R$的正则性为4或更大时的类似的Conca-Rossi-Valla问题.设$R$是具有$\mathrm{codim}\, R = c$和$\mathrm{reg}\, R = r \ge 4$的二次Gorenstein环.我们证明了如果$c = r+1$,那么$R$总是Koszul,并且对于每个$c \geq r+2$,我们构造了不是Koszul的二次Gorenstein环,回答了Matsuda和Migliore-Nagel关于二次Gorenstein环的$h$ -向量的问题。
2021-07-25 math.AC
The Koszul property for spaces of quadrics of codimension three
本文证明了:若$\mathbb{k}$是特征不等于2的代数闭域,则几乎所有使得$\dim_{\mathbb{k}}R_2 = 3$的二次标准分次$\mathbb{k}$ -代数$R$都是Koszul.更精确地说,直到分次$\mathbb{k}$ -代数同态和平凡纤维扩张,我们发现只有两个(或三个,当$\mathbb{k}$的特征为3时)这类代数是非Koszul的.此外,我们还证明了存在非平凡的二次标准分次$\mathbb{k}$ -代数与$\dim_{\mathbb{k}}R_1 = 4$,$\dim_{\mathbb{k}}R_2 = 3$是Koszul,但不承认Gröbner基础的二次,即使在坐标的变化,从而解决了负面的一个问题,问孔卡。
2016-05-30 math.AC
The Golod property for powers of ideals and Koszul ideals
设$S$是域上的正则局部环或多项式环,$I$是$S$的理想.受Herzog和Huneke最近结果的启发,我们研究了$I^m$是否是所有$m\geq 2$的Golod理想的自然问题。我们观察到,Golod性质的理想可以检测到通过消失的某些地图诱导的同源性。这一观察使我们将分次环的一些已知结果推广到局部环,并得到了新的Golod理想类。
2018-04-05 math.AC
The absolutely Koszul property of Veronese subrings and Segre products
绝对Koszul代数是一类环,在这类环上任何有限分次模都有有理Poincaré级数。给出了一个判定非绝对Koszul环的准则。结合机器计算,我们确定了非绝对Koszul的Veronese子环和多项式环的Segre积的大类.特别地,我们至少在特征$0$中将绝对Koszul代数完全分类到多项式环的Segre积中.
2017-04-25 math.AC math.RA
Multigraded regularity and the Koszul property
利用多重分次正则性给出了一个充分线丛的截面环是Koszul的判别准则。讨论了多面体半群环的一个应用。
2007-12-14 math.AC math.AG math.CO
Koszul property of projections of the Veronese cubic surface
设V是P ^[9]中的Veronese三次曲面。我们对坐标环为Koszul的V到P^8的投影进行分类。特别是,我们得到一个纯粹的理论证明的Koszulness捏Veronese,最初由Caviglia使用filtrations,变形和计算机辅助计算得到的结果。为此,我们扩展,某些完整的交叉,结果孔卡,赫尔佐格,Trung和Valla关于同调性质的对角代数。
2012-11-19 math.AC math.AG
Koszul property of diagonal subalgebras
令S=K[x_1,...,x_n]是域K上的多项式环,I是S中由正则序列f_1,f_2,.生成的齐次理想,d次齐次形式的f_k本文研究了Conca,Herzog,Trung和Valla [9]关于I的对角子代数的Koszul性质的一个结果的推广。每个这样的子代数具有形式K[(I^e)_{ed+c}],其中c和e是正整数。当k=3时,推广了[9,推论6.10],证明了当c >= d/2时,K-代数K[(I^e)_{ed+c}]是Koszul.我们还在另一个方向上推广了[9,推论6.10],用Koszul环代替了多项式环.
2013-07-31 math.AC math.AG
Koszul blowup algebras associated to three-dimensional Ferrers diagrams
本文研究了与三维费勒斯图相关的Rees代数和无平方单项式理想的环面环。在投影性质的条件下,给出了Rees代数和Toric环的表示理想的明确刻画.证明了环面环是Koszul Cohen-Macaulay正规整环,而Rees代数是Koszul的,定义理想是纤维型的.
2018-08-18 math.AC
Quadratic numerical semigroups and the Koszul property
设$H$是一个数值半群.当伴随分次环$\operatorname{gr}_\mathfrak{m} K[H]$由二次型定义时,给出了重数$e(H)$的有效界.本文利用粘集对Koszul完全交半群进行了分类。此外,对于文献中考虑的几类数值半群(算术,复合,特殊几乎完全交,$3$ -半群,对称或伪对称$4$ -半群),我们分类那些是Koszul。
2017-04-09 math.AC math.AG
Koszul and local cohomology, and a question of Dutta
对于维数为$n$的局部环$(A,\mathfrak{m})$,研究了从Koszul上同调模$H^n(\mathfrak{m}; A)$到局部上同调模$H^n_\mathfrak{m}(A)$的自然映射.我们证明了该映射的内射性表征了环$A$的科恩-麦考利性质。我们还回答了Dutta的一个问题,通过构建正规环$A$,这个地图是零。
2020-08-23 math.AC
The Koszul property of pinched Veronese varieties
设$K$为任意域。设$n,d \ge 2$为正整数。令$V(n,d)$是${\mathbb N}^n$中所有格点$\mathbf b = (b_1, ..., b_n)$的集合,使得$\sum_{i=1}^n b_i = d$。设$Γ= V(n,d) \setminus \{ \mathbf a \}$为某个元素$\mathbf a \in V(n,d)$。本文证明了半群环$K[Γ]$是Koszul的,除非$d \ge 3$和${\mathbf a} = (0, ...,0, 2, d-2)$或其置换之一.这推广了Caviglia、Conca和Tancer的结果。
2013-09-12 math.AC math.CO
The Koszul complex in projective dimension one
设$R$是Noether环,$M$是有限$R$ -模.在$M$上的线性形式$χ$与Koszul复合物$K(χ)$相关联。如果$M$是自由模块,则$K(χ)$的同源性是很好理解的,并且特别地,它对于$\Imχ$是等级敏感的。在这篇笔记中,我们研究的情况下,一个模块$M$的投射维数1(更准确地说,$M$有一个自由分辨率的长度为1),第一个非零拟合理想$\I_M$具有最大可能的等级$r+1$,$r=\rank M$。然后$h=\grade \Imχ\le r+1$对于所有线性形式$χ$在$M$上,并且结果是$H_{r-i}(K(χ))=0$对于所有偶数$i<h$和$H_{r-i}(K(χ))\iso \SS^{(i-1)/2}(C)$对于所有奇数$i<h$其中$\SS$表示对称幂和$C=\Ext_R^1(M,R)$,换句话说,$C=\Cokψ^*$对于表示$$ 0\to F\stackrelψ{\to} G \to M\to 0. $$此外,如果$h\le r$,则$H_{r-h}(K(χ))$既不是0也不同构于$C$的对称幂,因此,可以说$K(χ)$对于所考虑的模块$M$是等级敏感的。我们还表明,最大可能值$\grade \Imχ=r+1$只能发生在两种极端情况下:(i)$r=1$或(ii)$\rank F=1$和$r$是奇数。
2000-07-11 math.AC math.AG
Koszul incidence algebras, affine semigroups, and Stanley-Reisner ideals
本文证明了一个定理,它统一了组合同调代数和交换代数的三个结果,刻画了偏序集和仿射半群环的关联代数的Koszul性质,刻画了无平方单项式理想的线性分解.在分次环境下的刻画是通过某些偏序集或单纯复形的Cohen-Macaulay性质,而在更一般的非分次环境下的刻画是通过序列Cohen-Macaulay性质。
2010-02-07 math.AC math.CO
Koszul duality between Betti and Cohomology numbers in Calabi-Yau case
设$X$是光滑投射Calabi-Yau簇,$L$是$X$上的Koszul线丛.证明了$X$的齐次坐标环$A$上极大Cohen-Macaulay模的贝蒂数存在与上同调数类似的公式.这种相似性是通过对角线$Δ_X \subset X \times X$的盒积分辨率实现的。
2017-11-18 math.AC math.AG
Koszul property and finite linearity defect over $g$-stretched local rings
该研究针对Herzog-Iyengar关于剩余域有限线性缺陷与环Koszul性的公开问题,在几乎极小重数且特征零剩余域的Cohen-Macaulay局部环情形给出肯定回答,引入g-拉伸局部环类并完成其一维完备情形刻画,同时给出g-拉伸Koszul环的数值刻画。
2025-05-19 math.AC
Detecting Koszulness and related homological properties from the algebra structure of Koszul homology
设$k$是域,$R$是标准分次$k$ -代数.用$\operatorname{H}^R$表示Koszul复形在$R$的无关理想的生成元的极小集上的同调代数。讨论了$\operatorname{H}^R$的乘法结构与$R$是Koszul代数的性质之间的关系.更一般地说,我们的工作在设置的局部环,我们表明,某些条件的乘法结构的Koszul同源性意味着强大的同调性质,如存在某些Golod同态,导致显式计算庞加莱系列。作为应用,我们证明了拉伸Cohen-Macaulay局部环上所有有限生成模的Poincaré级数都是有理的,并且有一个公分母.
2017-09-18 math.AC
Computing the homology of Koszul complexes
设R是交换环,I是R中由长度为d的正则序列局部生成的理想.然后,每个投射R/I-模V有长度为d的R-投射分解P。本文计算了n阶Koszul复形与同态P_1 --> P_0的同调,当d = 1时.这一计算给出了正则闭浸入的经典Adams-Riemann-Roch公式的一个新的证明,它不再使用对法锥的变形.此外,如果d = 2,我们计算复N Sym^2 K(P.)其中K和N表示在Dold-Kan对应中出现的函子。
1999-10-14 math.AC math.AG math.KT
Regularity and Koszul property of symbolic powers of monomial ideals
设$I$是域上多项式环中的齐次理想.令$I^{(n)}$为$I$的$n$次符号幂。受有关$I$的普通幂的结果的启发,我们研究了当$I$是单项理想时正则函数$\text{reg}~ (I^{(n)})$和最大生成度函数$ω(I^{(n)})$的渐近性态.已知这两个函数最终都是拟线性的。此外,我们证明了序列$\{\text{reg}~ I^{(n)}/n\}_n$和$\{ω(I^{(n)})/n\}_n$收敛到相同的极限,这可以组合描述。我们构造了一个等维的,高度为2平方自由单项式理想$I$的$ω(I^{(n)})$和$\text{reg}~ (I^{(n)})$最终不是线性函数的例子。对于最后一个目标,我们介绍了一种新的方法来建立理想的分量线性。这种方法使我们能够确定一类新的单项理想的符号权力是分量线性。
2021-05-09 math.AC
Supersolvability and the Koszul property of root ideal arrangements
根理想排列$A_I$是对应于有限晶体学根系的正根上的根偏序集的阶理想$I$中的根的反射超平面的集合。得到了超可解根理想排列的一个特征。也就是说,$A_I$是超可解的当且仅当$I$是链可剥离的,这意味着通过在每一步中移除也是阶过滤器的最大链,可以从$I$到达空偏序集。特别地,超可解性在取次理想下保持。我们确定对应于非超可解安排的极小理想。基本上有两个这样的理想,一个是$D_4$型,另一个是$F_4$型。通过证明如果$I$包含其中之一,则$A_I$不是线闭的,我们推出Orlik-Solomon代数$OS(A_I)$具有Koszul性质当且仅当$A_I$是超可解的.
2014-10-01 math.AC math.CO
The absolutely Koszul and Backelin-Roos properties for spaces of quadrics of small codimension
设$\kk$是域,$R$是具有$\dim_{\kk}R_2\le 3$的标准分次二次$\kk$ -代数,$\ov\kk$表示$\kk$的代数闭包.我们构造了一个分次满Golod同态$φ\colon P\to R\otimes_{\kk}\ov{\kk}$,使得$P$是余维的完全交,至多$3$ .进一步证明了$R$是绝对Koszul的(即每个生成的$R$ -模都有有限线性亏损)当且仅当$R$是Koszul的当且仅当$R$不是标准分次$\kk$ -代数的平凡纤维扩张,其Hilbert级数为$(1+2t-2t^3)(1-t)^{-1}$ .特别是,我们恢复早期的结果Koszul属性的Backelin,孔卡和D 'Alberti。
2020-01-20 math.AC
Roller Coaster Gorenstein algebras and Koszul algebras failing the weak Lefschetz property
Department of Mathematics and Statistics, Dalhousie University(达尔豪斯大学数学与统计系);Division of Mathematics and Physics, Mälardalen University(马尔默伦大学数学与物理系)
受图论过山车定理启发,通过须状图定义的二次单项式代数的Nagata理想化构造,证明无约束希尔伯特级数的过山车Gorenstein代数存在,发现大量不满足弱Lefschetz性质的G-二次Gorenstein代数。
2025-02-17 math.AC math.CO
Koszul-Tate resolutions and decorated trees
本文针对交换代数中真理想的商代数,提出以装饰树为指标的树状 Koszul-Tate 消解,在初始投射模消解有限长时只需有限次运算,并附带给出显式 A∞-代数结构。
2024-06-06 math-ph math.AC math.AT
Rational Normal Curves in Weighted Projective Space
该研究将有理正规曲线的经典同调理论推广至加权射影空间,建立了行列式性以及二次生成与 Koszul 性质的非标准形式。
2025-06-09 math.AC math.AG
Diagonal Subalgebras of Residual Intersections
设${\sf k}$是一个域,$S$是一个二阶${\sf k}$ -代数,$S_Δ$表示$S$中对应于$Δ= \{ (cs,es) \; | \; s \in \mathbb{Z} \}$的对角子代数.众所周知,$S_Δ$是Koszul for $c,e \gg 0$。在这篇文章中,我们发现的界限$c,e$为$S_Δ$是Koszul,当$S$是一个几何剩余的交集。此外,我们还研究了这类代数的Cohen-Macaulay性质。最后,作为应用,我们研究了多项式环中高度为2的线性表示完全理想类,证明了它们的幂都有线性分解,并研究了它们的Rees代数的对角子代数的Koszul和Cohen-Macaulay性质.
2019-05-19 math.AC
Koszul homomorphisms and universal resolutions in local algebra
本文定义了局部代数中的Koszul同态,利用$\mathrm{A}_\infty$-结构推广Priddy的经典构造,构建$R$-模的泛自由分解,并恢复了完全交集环和Golod环等多种局部环上的已知分解。
2025-02-26 math.AC
Koszul binomial edge ideals of pairs of graphs
研究了由图对$(G_1,G_2)$的二项式边理想定义的标准分次$K$ -代数$R$的Koszul性质.我们证明了下列陈述是等价的:(i)$R$是Koszul;(ii)$R$的定义理想$J_{G_1,G_2}$有二次Gröbner基;(iii)$R$的分次极大理想关于其生成元的适当阶有线性幂等
2018-07-26 math.AC math.CO
Virtual Complete Intersections in $\mathbb{P}^1 \times \mathbb{P}^1$
射影空间中完备交的坐标环的最小自由分解是正则序列上的Koszul复形。在射影空间$\mathbb{P}^1 \times \mathbb{P}^1$的乘积中,我们研究了哪些点集具有正则序列上的Koszul复形的虚分辨率。本文给出了点集的一些条件,其中一些条件保证点具有此性质,另一些条件保证点不具有此性质。
2020-06-13 math.AC math.AG
Castelnuovo-Mumford regularity for complexes and weakly Koszul modules
设A是一个Noether AS正则Koszul代数(若A是交换的,则它本质上是一个多项式环),grA是A生成的分次左A-模范畴.在Jorgensen的基础上,我们用X的局部上同调或极小投射分解定义了复形X \in D^b(grA)的Castelnuovo-Mumford正则性reg(X).让A^!是A的二次对偶环。对于Koszul对偶函子DG:D^b(grA)-> D^b(grA^!),我们有reg(X)= max {i| H^i(DG(X))\ne 0}.利用这些概念,我们研究了A^!上的弱Koszul模(=分量线性模)。作为应用,我们改进了Herzog和Roemer的结果,证明了:如果J是外代数E= \bigwedge < y_1,.的单项理想,y_d >,d \geq 3,则E/J的第(d-2)合是弱Koszul合.
2005-09-21 math.AC math.RA
Koszul homology and syzygies of Veronese subalgebras
一个分次K-代数R具有性质Np,如果它是1次生成的,有2次关系,且关系上小于或等于p阶的合是线性的。R的Green-Lazarsfeld指标p是满足性质NP的最大指标.我们的主要结果是(在基域K上的一个较弱的假设下)多项式环的c阶Veronese子环的Green-Lazarsfeld指标大于或等于c+1.同样的结论也适用于任意标准分次代数,只要c足够大。
2009-11-06 math.AC math.AG
Segre and Rees products of posets, with ring-theoretic applications
我们引入(加权)Segre和Rees产品的偏序集,并表明,这些建设保持Cohen-Macaulay属性域$k$和同伦。作为一个应用,我们证明了两个仿射半群环的加权Segre积是Koszul的.这一结果推广了Crona关于多项式环的加权Segre积的已有结果.给出了Koszul仿射半群环的Rees环又是Koszul环的一个新的证明。本文最后列出了该领域的一些开放性问题。
2003-12-31 math.AC math.CO
Coordinate rings for the moduli of $SL_2(\C)$ quasi-parabolic principal bundles on a curve and toric fiber products
我们继续在\cite{M1}开始的程序,以了解组合交换代数的投影坐标环的模堆叠$\mathcal{M}_{C, \vec{p}}(SL_2(\C))$准抛物$SL_2(\C)$主丛上的通用标记射影曲线。我们发现一般的界限多项式的程度需要提出这些代数通过研究他们的环面退化。特别是,我们表明,任何有效的线丛的平方模栈产生一个Koszul投影坐标环。这导致我们形式化的性质的多面体用于证明我们的结果,通过构建一个类别的多面体与术语的订单。我们证明了$\mathcal{M}_{C, \vec{p}}(SL_2(\C))$的射影坐标环上的许多结果都是从这一范畴关于纤维积的封闭性得到的。
2012-06-21 math.AC
On the stable property of projective dimension
引入了具有稳定投射维数的单项理想的概念,作为Cohen-Macaulay性质的推广.事实上,我们研究类的单项式理想$I$,其投射维数是稳定的单项式本地化下的单项式素理想$\fp$,与$\height \fp\geq \pd S/I$。我们研究了这一性质与其他Cohen-Macaulayness性质之间的关系。最后,我们刻画了几类具有稳定投射维数的多拟阵理想。
2018-09-29 math.AC math.CO
The Integer Decomposition Property and Weighted Projective Space Simplices
自反格多面体在组合数学、代数几何、物理学等领域中起着重要的作用。一类重要的格多面体是定义加权射影空间的格单形。研究了自反加权射影空间单形何时具有整数分解性质。我们提供了一个完整的分类自反加权射影空间单形的情况下,最多有三个不同的非单位重量的整数分解性质,并推测一个一般的分类为任意数量的不同的非单位重量。进一步,对于任意加权射影空间单形和$m\geq 1$,我们定义了$m$阶自反稳定化,即自反加权射影空间单形.证明了当$m$等于或大于$2$时,自反稳定化不具有整数分解性质.我们还证明了任何足够大的自反镇定的Ehrhart $h^\ast$-多项式不是单峰的,只有$1$和$2$作为系数。我们使用这种结构来生成有趣的例子,自反加权射影空间的单形附近的边界的$h^*$单峰和整数分解属性。
2022-11-21 math.AC math.AG math.CO
The Horrocks correspondence for coherent sheaves on projective spaces
建立了射影空间上的凝聚层的稳定范畴(满足一个温和的限制)与射影空间的齐次坐标代数的对偶外代数Koszul上的自由模的极小复形的同伦范畴之间的等价关系.我们还涉及到这些复杂的泰特决议各自的层。通过这种方式,我们将Coandelmann和Trautmann [Trans. AMS 385(2005)]的结果从向量丛推广到相干层,这些结果用BGG对应解释了Trautmann [Math.Ann.237(1978)]关于Horrocks [Proc. London. Math.Soc.14(1964)],[Asterisque 71-72(1980)]。我们还给出了分次模和相干层的BGG对应的直接证明,以及描述与相干层相关的Tate分解的线性部分的Eisenbud、Floystad和Schreyer定理的直接证明。此外,我们提供了一个明确的描述商的泰特决议由其线性链对应的模块的整体瓣的各种扭曲的层。
2010-03-23 math.AC math.AG math.CT
On Property $N_p$ of line bundles on smooth projective toric varieties
本文建立了一类光滑射影环面簇上线丛满足性质 $N_p$ 的判别准则,通过均匀单模条件和Thomsen分层交点数条件,并证明该准则适用于多种环面簇族且在有限积下保持。
2026-06-29 math.AC math.AG math.CO