Tootfinder

from my link log —
Arend: a theorem prover based on Homotopy Type Theory.
https://arend-lang.github.io/
saved 2019-08-07 https://dotat.at/:/AR6J2.html

Homotopy rigidity of nearby Lagrangian cocores
Johan Asplund, Yash Deshmukh, Alex Pieloch
https://arxiv.org/abs/2511.09548 https://arxiv.org/pdf/2511.09548 https://arxiv.org/html/2511.09548
arXiv:2511.09548v1 Announce Type: new
Abstract: An exact Lagrangian submanifold $L \subset X^{2n}$ in a Weinstein sector is called a nearby Lagrangian cocore if it avoids all Lagrangian cocores and is equal to a shifted Lagrangian cocore at infinity. Let $k$ be the dimension of the core of the subcritical part of $X$. For $n \geq 2k 2$ we prove that that the inclusion of $L$ followed by the retract to the Lagrangian core of $X$ and the quotient by the $(n-k-1)$-skeleton of the core, is null-homotopic. As a consequence, in many examples, a nearby Lagrangian cocore is smoothly isotopic (rel boundary) to a Lagrangian cocore in the complement of the missed Lagrangian cocores. The proof uses the spectral wrapped Donaldson-Fukaya category with coefficients in the ring spectrum representing the bordism group of higher connective covers of the orthogonal group.
toXiv_bot_toot

Replaced article(s) found for math.GN. https://arxiv.org/list/math.GN/new
[1/1]:
- The Complexity of Proper Homotopy Equivalence of Graphs
Hannah Hoganson, Jenna Zomback
https://arxiv.org/abs/2410.00901 https://mastoxiv.page/@arXiv_mathLO_bot/113236807267908552
toXiv_bot_toot