defn fdlt QFWX46L2

defn fdlt

---

Definition 2.9. (F , ∆) is foliated divisorial log terminal (F-dlt) if (1) each irreducible component of ∆ is generically transverse to F and has coefficient at most one, and (2) there exists a foliated log resolution π : Y → X of (F , ∆) which only extracts divisors E of discrepancy > −ι(E). (pdf) (Chang 和 Chen, 2023, p. 14)