On the strong Lefschetz question for uniform powers of general linear forms in k[x,y,z]
Migliore, Miró-Roig · math.AC · 2016-11-14 · 原文
Schenck and Seceleanu proved that if R = k[x,y,z], where k is an infinite field, and I is an ideal generated by any collection of powers of linear forms, then multiplication by a general linear form L induces a homomorphism of maximal rank from any component of R/I to the next. That is, R/I has the {\em weak Lefschetz property}. Considering the more general {\em strong Lefschetz question} of when \times L^j has maximal rank for j \geq 2, we give the first systematic study of this problem. We assume that the linear forms are general and that the powers are all the same, i.e. that I is generated by {\em uniform} powers of general linear forms. We prove that for any number of such generators, \times L^2 always has maximal rank. We then specialize to almost complete intersections, i.e. to four generators, and we show that for j = 3,4,5 the behavior depends on the uniform exponent and on j, in a way that we make precise. In particular, there is always at most one degree where \times L^j fails maximal rank. Finally, we note that experimentally all higher powers of L fail maximal rank in at least two degrees.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
Schenck and Seceleanu proved that if R = k[x,y,z], where k is an infinite field, and I is an ideal generated by any collection of powers of linear forms, then multiplication by a general linear form L induces a homomorphism of maximal rank from any component of R/I to the next.
That is, R/I has the {\em weak Lefschetz property}.
2. 领域脉络
本文类目：math.AC，属于其所在研究脉络的最新进展。
3. 机制拆解
We assume that the linear forms are general and that the powers are all the same, i.e.
that I is generated by {\em uniform} powers of general linear forms.
4. 证据与数字
Considering the more general {\em strong Lefschetz question} of when \times L^j has maximal rank for j \geq 2, we give the first systematic study of this problem.
We prove that for any number of such generators, \times L^2 always has maximal rank.
to four generators, and we show that for j = 3,4,5 the behavior depends on the uniform exponent and on j, in a way that we make precise.
5. 反例与边界
In particular, there is always at most one degree where \times L^j fails maximal rank.
Finally, we note that experimentally all higher powers of L fail maximal rank in at least two degrees.
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。