Seven Research Directions in Differential Geometry and Differential Topology Enabled by AI
Version 1 / Nov 10, 2026 / CC BY 4.0
Abstract
This article presents seven AI-generated research directions in differential geometry and differential topology, each centered on a proposed research object or formulation. For each direction, we provide basic definitions and theorems, discuss connections with existing mathematical problems and theories, and outline questions for further study. The definitions introduced in these seven directions are relatively new. The article is intended as a collection of AI-generated research guides rather than a conventional research paper.
Tools used
- OpenAI
- ChatGPTVersion 6 Astra
References
- A.-L. Mare, Equivariant cohomology of real flag manifolds , preprint, 2004, revised 2005. arXiv:math/0404369 (https://arxiv.org/abs/math/0404369).arXiv
- R. Bott, Nondegenerate critical manifolds , Ann. of Math. (2) 60 (1954), 248--261. doi:10.2307/1969631 (https://doi.org/10.2307/1969631).DOI
- J. E. Humphreys, Reflection Groups and Coxeter Groups , Cambridge Studies in Advanced Mathematics, vol. 29, Cambridge University Press, 1990.
- J. F. Adams, On the non-existence of elements of Hopf invariant one , Ann. of Math. (2) 72 (1960), 20--104.
- A. Hatcher, Vector Bundles and K-Theory , version 2.2, November 2017. Author's online text (https://pi.math.cornell.edu/~hatcher/VBKT/VB.pdf).link
- C. Chevalley, Invariants of finite groups generated by reflections , Amer. J. Math. 77 (1955), 778--782. doi:10.2307/2372597 (https://doi.org/10.2307/2372597).DOI
- D. Sullivan, Infinitesimal computations in topology , Publ. Math. IHÉS 47 (1977), 269--331. doi:10.1007/BF02684341 (https://doi.org/10.1007/BF02684341).DOI
- W.-Y. Hsiang, R. S. Palais, and C.-L. Terng, The topology of isoparametric submanifolds , J. Differential Geom. 27 (1988), 423--460. doi:10.4310/jdg/1214442003 (https://doi.org/10.4310/jdg/1214442003).DOI
- K. Igusa, Higher complex torsion and the framing principle , Mem. Amer. Math. Soc. 177 (2005), no. 835. doi:10.1090/memo/0835 (https://doi.org/10.1090/memo/0835). Preprint: arXiv:math/0303047 (https://arxiv.org/abs/math/0303047).arXivDOI
- A. Derdzinski and T. Januszkiewicz, Immersions of surfaces in -manifolds with Higgs fields , preprint (2002), arXiv:math/0210253 (https://arxiv.org/abs/math/0210253), especially §16.arXiv
Show all 56 referencesShow fewer references
- N. Kitazawa and O. Saeki, Round fold maps of -dimensional manifolds into -dimensional Euclidean space , J. Singul. 26 (2023), 1--12. doi:10.5427/jsing.2023.26a (https://doi.org/10.5427/jsing.2023.26a).DOI
- E. Fadell and L. Neuwirth, Configuration spaces , Math. Scand. 10 (1962), 111--118. doi:10.7146/math.scand.a-10517 (https://doi.org/10.7146/math.scand.a-10517).DOI
- K. Takao, Two Morse functions and singularities of the product map , Comm. Anal. Geom. 24 (2016), no. 3, 645--671. doi:10.4310/CAG.2016.v24.n3.a8 (https://doi.org/10.4310/CAG.2016.v24.n3.a8).DOI
- N. Kitazawa and O. Saeki, Round fold maps on 3-manifolds , Algebr. Geom. Topol. 23 (2023), no. 8, 3745--3762. doi:10.2140/agt.2023.23.3745 (https://doi.org/10.2140/agt.2023.23.3745).DOI
- M. Usher, Linking and the Morse complex , Ann. Fac. Sci. Toulouse Math. (6) 23 (2014), no. 1, 25--94. doi:10.5802/afst.1397 (https://doi.org/10.5802/afst.1397).DOI
- L. Kühne and G. Yashfe, Representability of matroids by -arrangements is undecidable , Israel J. Math. 252 (2022), 95--147. arXiv:1912.06123.arXiv
- G. Bande and D. Kotschick, The geometry of symplectic pairs , Trans. Amer. Math. Soc. 358 (2006), 1643--1655. arXiv:math/0407441.arXiv
- C. Blacker, Polysymplectic reduction and the moduli space of flat connections , J. Phys. A: Math. Theor. 52 (2019), 335201. arXiv:1810.04924.arXiv
- M. Nguiffo Boyom, Foliations-Webs-Hessian Geometry-Information Geometry-Entropy and Cohomology , Entropy 18 (2016), 433. doi:10.3390/e18120433.DOI
- M. Ludewig, Strong short-time asymptotics and convolution approximation of the heat kernel , Ann. Global Anal. Geom. 55 (2019), 371--394. doi:10.1007/s10455-018-9630-4.DOI
- A. Singer and H.-T. Wu, Vector diffusion maps and the connection Laplacian , Comm. Pure Appl. Math. 65 (2012), no. 8, 1067--1144. doi:10.1002/cpa.21395.DOI
- N. Sharp, Y. Soliman, and K. Crane, The vector heat method , ACM Trans. Graph. 38 (2019), no. 3. arXiv:1805.09170.arXiv
- S. Berceanu and M. Schlichenmaier, Coherent state embeddings, polar divisors and Cauchy formulas , J. Geom. Phys. 34 (2000), nos. 3--4, 336--358. arXiv:math/9903105.arXiv
- F. Knöppel, Random zero currents of sections of Hermitian line bundles over compact Riemannian manifolds , preprint, 2023. arXiv:2312.01493.arXiv
- M. Faulhuber, An application of hypergeometric functions to heat kernels on rectangular and hexagonal tori and a ``Weltkonstante''---or how Ramanujan split temperatures , Ramanujan J. 54 (2021), 1--27. doi:10.1007/s11139-019-00224-2.DOI
- J. W. Milnor and J. D. Stasheff, Characteristic Classes , Annals of Mathematics Studies 76, Princeton University Press, 1974.
- F. Gay-Balmaz and C. Vizman, Principal bundles of embeddings and nonlinear Grassmannians , Annals of Global Analysis and Geometry 46 (2014), no. 3, 293--312. DOI: 10.1007/s10455-014-9424-2 .DOI
- J. C. Becker and D. H. Gottlieb, Transfer maps for fibrations and duality , Compositio Mathematica 33 (1976), no. 2, 107--133.
- R. Benedetti and P. Lisca, Framing 3-manifolds with bare hands , L'Enseignement Mathématique 64 (2018), no. 3/4, 395--413. DOI: 10.4171/LEM/64-3/4-9 .DOI
- W. Ambrose and I. M. Singer, A theorem on holonomy , Transactions of the American Mathematical Society 75 (1953), no. 3, 428--443.
- A. Hatcher, Algebraic Topology , Cambridge University Press, 2002. See §4.2 and §4.B for homotopy sequences and the Hopf invariant.
- A. Hatcher, Spaces of knots (https://arxiv.org/abs/math/9909095), arXiv:math/9909095 (1999); expanded draft Topological moduli spaces of knots (https://pi.math.cornell.edu/~Hatcher/Papers/knotspaces.pdf) (2002), especially pp. 1--2 and the torus/hyperbolic-knot arguments.arXiv
- A. Dold and H. Whitney, https://webhomes.maths.ed.ac.uk/~v1ranick/papers/doldwhit.pdf Classification of oriented sphere bundles over a -complex , Ann. of Math. (2) 69 (1959), 667--677.link
- F. Hirzebruch and H. Hopf, https://hirzebruch.mpim-bonn.mpg.de/id/eprint/161/ Felder von Flächenelementen in -dimensionalen Mannigfaltigkeiten , Math. Ann. 136 (1958), 156--172.link
- F. van der Blij, https://webhomes.maths.ed.ac.uk/~v1ranick/papers/vdb.pdf An invariant of quadratic forms mod , Indag. Math. 21 (1959), 291--293.link
- M. Furuta, https://doi.org/10.4310/MRL.2001.v8.n3.a5 Monopole equation and the -conjecture , Math. Res. Lett. 8 (2001), 279--291, Theorem 1.DOI
- M. Atiyah and C. LeBrun, Curvature, cones and characteristic numbers (https://doi.org/10.1017/S0305004113000169), Math. Proc. Cambridge Philos. Soc. 155 (2013), 13--37; arXiv:1203.6389 (https://arxiv.org/abs/1203.6389), Section 2.arXivDOI
- M. J. Hopkins, J. Lin, X. D. Shi and Z. Xu, https://doi.org/10.1090/cams/4 Intersection forms of spin -manifolds and the -equivariant Mahowald invariant , Comm. Amer. Math. Soc. 2 (2022), 22--132; arXiv:1812.04052 (https://arxiv.org/abs/1812.04052).arXivDOI
- R. Budney, https://doi.org/10.1112/plms/pdp058 Topology of knot spaces in dimension , Proc. Lond. Math. Soc. (3) 101 (2010), 477--496; arXiv:math/0506524 (https://arxiv.org/abs/math/0506524).arXivDOI
- A. Havens and R. Koytcheff, https://arxiv.org/abs/2008.03192 Spaces of knots in the solid torus, knots in the thickened torus, and links in the -sphere , arXiv:2008.03192.arXiv
- J. F. Adams, Vector fields on spheres , Annals of Mathematics 75 (1962), 603--632. doi:10.2307/1970213 (https://doi.org/10.2307/1970213).DOI
- P. Patel, On a theorem of Peter Scott , preprint, revised 2014. arXiv:1204.5135 (https://arxiv.org/abs/1204.5135).arXiv
- S. Alvarez, J. Brum, M. Martínez and R. Potrie, with an appendix written with M. Wolff, Topology of leaves for minimal laminations by hyperbolic surfaces , Journal of Topology 15 (2022), 302--346; Theorem C and Appendix A. doi:10.1112/topo.12222 (https://doi.org/10.1112/topo.12222); arXiv:1906.10029 (https://arxiv.org/abs/1906.10029).arXivDOI
- J.-P. Otal, Le spectre marqué des longueurs des surfaces à courbure négative , Annals of Mathematics 131 (1990), 151--162. doi:10.2307/1971511 (https://doi.org/10.2307/1971511).DOI
- C. Guillarmou, T. Lefeuvre and G. P. Paternain, Marked length spectrum rigidity for Anosov surfaces , preprint, revised 2024. arXiv:2303.12007 (https://arxiv.org/abs/2303.12007).arXiv
- J. Kubarski and N. Teleman, Linear direct connections , Banach Center Publications 76 (2007), 425--436. doi:10.4064/bc76-0-20 (https://doi.org/10.4064/bc76-0-20).DOI
- J. Fernández, M. Juchani and M. Zuccalli, Discrete connections on principal bundles: abelian group case (2021). arXiv:2109.08928 (https://arxiv.org/abs/2109.08928).arXiv
- R. Tinarrage, Computing persistent Stiefel--Whitney classes of line bundles , Journal of Applied and Computational Topology (2021). doi:10.1007/s41468-021-00080-4 (https://doi.org/10.1007/s41468-021-00080-4).DOI
- E. Macías-Virgós and D. Mosquera-Lois, Homotopic distance between maps . arXiv:1810.12591 (https://arxiv.org/abs/1810.12591); doi:10.1017/S0305004121000116 (https://doi.org/10.1017/S0305004121000116).arXivDOI
- D. Kotschick, On products of harmonic forms , Duke Math. J. 107 (2001), no. 3, 521--531. arXiv:math/0004009 (https://arxiv.org/abs/math/0004009).arXiv
- K. Nomizu, On the cohomology of compact homogeneous spaces of nilpotent Lie groups , Ann. of Math. (2) 59 (1954), no. 3, 531--538. doi:10.2307/1969716 (https://doi.org/10.2307/1969716).DOI
- P.-A. Nagy and C. Vernicos, The length of harmonic forms on a compact Riemannian manifold , Trans. Amer. Math. Soc. 356 (2004), no. 6, 2501--2513. arXiv:math/0301369 (https://arxiv.org/abs/math/0301369).arXiv
- L. Ornea and M. Pilca, Remarks on the product of harmonic forms , Pacific J. Math. 250 (2011), no. 2, 353--363. doi:10.2140/pjm.2011.250.353 (https://doi.org/10.2140/pjm.2011.250.353).DOI
- I. Kangasniemi, Conformally formal manifolds and the uniformly quasiregular non-ellipticity of , Adv. Math. 393 (2021), article 108103. arXiv:2008.10669 (https://arxiv.org/abs/2008.10669).arXiv
- P. Hájek, Hodge decompositions and differential Poincaré duality models , J. Homotopy Relat. Struct. 21 (2026), 175--210; published online 2025. doi:10.1007/s40062-025-00389-2 (https://doi.org/10.1007/s40062-025-00389-2).DOI
- A. Milivojević and J. Stelzig, Bigraded notions of formality and Aeppli--Bott--Chern--Massey products , Comm. Anal. Geom. (2024). arXiv:2202.08617v2 (https://arxiv.org/abs/2202.08617v2).arXiv
Version history
- v1 · 56 pagesSubmitted by Jianqiao ShangInitial depositCurrentNov 09, 2026