Abstract:Two recent papers by Kawarabayashi, Thomas and Wollan, "A New Proof of the Flat Wall Theorem" (<a class="link-https" data-arxiv-id="1207.6927" href="https://arxiv.org/abs/1207.6927">arXiv:1207.6927</a>) and "Quickly Excluding a Non-Planar Graph" (<a class="link-https" data-arxiv-id="2010.12397" href="https://arxiv.org/abs/2010.12397">arXiv:2010.12397</a>) provide major improvements over Robertson and Seymour's original proof of the structure theorem for finite graphs that exclude a given graph. The first paper redefines the notion of a flat wall. Unfortunately, this new notion is too strong. As a result, the new Flat Wall Theorem in that paper is incorrect. A counterexample is given in Appendix A. A follow-on lemma in the first paper, about the transitivity of flatness, is also incorrect, a fact that was noticed by Dimitrios Thilikos et al in <a class="link-https" data-arxiv-id="2102.06463" href="https://arxiv.org/abs/2102.06463">arXiv:2102.06463</a>. However, that error is derivative and not the main issue. This paper provides a weaker definition of the notion of a flat wall, provides a correction to the proof of the new Flat Wall Theorem and a new proof of flatness transitivity. The notion of a tight rendition as presented here differs from Thilikos' definition but is defined much more simply, and the notion of a proper cycle is introduced. The notions of certificates and tilted walls used by Thilikos turn out of be unnecessary and transitivity is preserved in its original simplicity and generality. Most importantly, it looks like the new weaker definition of flatness is all that is really necessary to carry through the proof of the structure theorem in the second paper of Kawarabayashi, Thomas and Wollan.

On the Whittaker Plancherel Theorem for Real Reductive Groups

Hilbert and Fréchet bundle versions of the Harish-Chandra and Whittaker Plancherel Theorems

On Harish-Chandra's Plancherel theorem for Riemannian symmetric spaces

Scattering and a Plancherel formula for real reductive spherical spaces

Harish-Chandra's Orthogonality Relations for Admissible Representations

Special unipotent representations of real classical groups: counting and reduction

Kazhdan's orthogonality conjecture for real reductive groups

The Taylor-Wiles method for reductive groups

Generic irreducibility of parabolic induction for real reductive groups

Nilpotent Invariants for Generic Discrete Series of Real Groups

Quantitative reduction theory and unlikely intersections

Cohomologically Induced Distinguished Representations and Cohomological Test Vectors

The Plancherel Formula, the Plancherel Theorem, and the Fourier transform of orbital integrals

Discrete series L-packets for real reductive groups

The spherical Whittaker Inversion Theorem and the quantum non-periodic Toda Lattice

Webb's conjecture and generalised Harish-Chandra theory

The FPP Conjecture for Real Reductive Groups

Harish-Chandra Theorem for Two-parameter Quantum Groups

Fixing the Kawarabayashi-Thomas-Wollan Flat Wall

Whittaker spaces for reducible unitary principal series representations of $\widetilde{SL_2(F)}$

Reductive Shafarevich Conjecture