Searcharxiv⌕ Search

arXiv · 2610.30993

Landfall Geometry

Abstract

We study the negative gradient flow of analytic maps $f:X\to\R$ defined on compact analytic Riemannian manifolds without imposing any nondegeneracy or transversality assumptions. We construct tight isolating blocks around the connected components of the critical set $\Crit(f)$ and record only bounded-time contacts made after an orbit exits one block and before it makes landfall within the interior of another. These contacts assemble into a strict topological category $\cL$ -- called the landfall category -- whose classifying space $B\cL$ is shown to be simple homotopy equivalent to $X$ naturally over all down-sets of the flow partial order. The filtered homotopy type is independent of the isolating blocks. Passing to a finite subanalytic triangulation yields a flow-induced acyclic partial matching, and hence, an explicit finite chain complex generated by the non-exit simplices of the blocks which computes the homology of $X$. The finite model also computes the Morse--Conley spectral sequence over arbitrary coefficients; over a field, homological perturbation further produces a connection matrix whose entries are finite sums over descending contact itineraries.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Frances Kirwan, Vidit Nanda. 2026-10-22. Landfall Geometry. https://arxiv.org/abs/2610.30993

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On The Rational Realization of Even-dimensional Spheres and Products of Eilenberg--MacLane Spaces as Classifying Spaces

In this paper, we study the rational realization problem for the classifying space $B\mathrm{aut}_1(X)$. We prove that if $S^{2n}$ is realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for a simply-connected space $X$, then $X$ is $π$-infinite and has vanishing rational Gottlieb elements above degree $2n-1$. In particular, even-dimensional spheres cannot be realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for any simply-connected $π$-finite space $X$. We also prove that, for all $n\geq 2$ and $s,t\geq 1$, the product of Eilenberg--MacLane spaces $K(\mathbb{Q}^s,n)\times K(\mathbb{Q}^t,n+1)$ cannot be realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for any simply-connected $π$-finite space $X$. Moreover, we prove that if $r\geq 2$, $n\geq 3$ and $K(\mathbb{Q}^r,n)$ is realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for a simply-connected $π$-finite space $X$, then $X$ has the rational homotopy type of $K(\mathbb{Q}^r,n-1)$. The proofs are based on two structural results for Gottlieb elements in the derivation Lie algebra of a Sullivan minimal model, which provide a uniform method for these realization problems.

math.AT↗

A complete classification of the rational realization of gap-two products of Eilenberg--MacLane spaces as classifying spaces

In this paper, we study the rational realization of the gap-two product $K(\mathbb{Q},n)\times K(\mathbb{Q},n+2)$ as the classifying space $B\mathrm{aut}_1(X)$ for a simply-connected $π$-finite space $X$ with rational homology of finite type. We prove that $K(\mathbb{Q},n)\times K(\mathbb{Q},n+2)$ can be realized as $B\mathrm{aut}_1(X)$ up to rational homotopy equivalence if and only if $n=3,4$ or $4m+2$ for $m\geq 1$. Moreover, we determine all their minimal Sullivan models up to isomorphism. The rational homotopy type of such $X$ is unique for $n=3$ or $4m+2$ for $m\geq 1$; there exist infinitely many rational homotopy types of such $X$ for $n=4$.

math.AT↗