English

The Newlander-Nirenberg theorem for complex $b$-manifolds

Differential Geometry 2026-05-27 v2 Complex Variables

Abstract

Melrose defined the b-tangent bundle of a smooth manifold M with boundary as the vector bundle whose sections are vector fields on M tangent to the boundary. Mendoza defined a complex b-manifold as a manifold with boundary together with an involutive splitting of the complexified b-tangent bundle into complex conjugate factors. We prove complex b-manifolds have a single local model depending only on dimension. This can be thought of as the Newlander-Nirenberg theorem for complex b-manifolds. Our proof uses Mendoza's result that complex b-manifolds have no "formal local invariants" and a singular coordinate change to leverage the classical Newlander-Nirenberg theorem and Catlin's generalization for complex manifolds with pseudoconvex boundary.

Keywords

Cite

@article{arxiv.2310.08013,
  title  = {The Newlander-Nirenberg theorem for complex $b$-manifolds},
  author = {Tatyana Barron and Michael Francis},
  journal= {arXiv preprint arXiv:2310.08013},
  year   = {2026}
}

Comments

v1: 16 pages, 1 figure. v2: 24 pages, 2 figures. In v1, the proof of Theorem 5.1 hid a gap in the assertion "...there is no harm in assuming gamma satisfies the periodicity condition...". In v2 we repair this gap. A new section "Extending deformed structures across boundaries" is added. Also, the basic setup is changed from "manifold with distinguished hypersurface" to "manifold with boundary"

R2 v1 2026-06-28T12:48:09.859Z