Let be a canonical foliation of general type on a smooth projective surface , and write . Let be a finite subgroup, and let be the quotient foliation in the birational sense. For a canonical foliation , define its -th pluricanonical index by where . For an arbitrary foliation, these indices are computed on any canonical birational model. If , we prove Since is finite, one may in particular take . When or , the effective bounds and give respectively. The main new ingredient is a cluster formula for adjoint volumes, which yields index-dependent lower bounds for tangency-free foliated surface pairs whose underlying foliation has Kodaira dimension zero or one.

生成讲解博客的中文版本

生成AI智能校验的中文版本