Ideal Liouville domains, a cool gadget (Q2216097)

The notion of an ideal Liouville domain is introduced. Definition: An ideal Liouville domain \((F,\omega)\) is a domain \(F\) with an ideal Liouville structure \(\omega\), that is an exact symplectic form on \(\text{Int\,}F\) admitting a 1-form such that for any function \(u:F\to[0,+\infty)\) with regular level set \(\partial F= \{u=0\}\), the product \(u\lambda\) extends to a smooth 1-form on \(F\) which induces a contact form on \(\partial F\). Diverse properties of ideal Liouville domains are studied. Examples of ideal Liouville domains are considered; in particular, an ideal completion of a Liouville domain is presented. The Liouville open books are defined and studied. In particular, the problem of contact structures supported by a given Liouville open book is considered.