https://arxiv.org/api/NJmIzSMZ9PF/GIcZFq0gsFeKHQ4 2026-04-12T10:15:28Z 47335 810 15 http://arxiv.org/abs/2602.12896v1 2026-02-13T12:59:07Z

This document collects contributions to the Open Problem List in Billiards and Quantitative Symplectic Geometry, compiled following discussions during the workshop ``Billiards and quantitative symplectic geometry'' that took place at the University of Heidelberg on July 14--18, 2025.

2026-02-13T12:59:07Z 26 pages, 3 figures. Comments very welcome! Bernhard Albach Jean-François Barraud Misha Bialy Johanna Bimmermann Ana Chávez Cáliz Mihai Damian Lina Deschamps Umberto Hryniewicz Vincent Humilière Boris Khesin Levin Maier Agustin Moreno Alexandru Oancea Olga Paris-Romaskevich Alfonso Sorrentino Serge Tabachnikov http://arxiv.org/abs/2602.12884v1 2026-02-13T12:38:07Z

In this paper, we prove that, for a residual set of $C^{k}$ connections defined on a smooth vector bundle $E \to M$, all eigenvalues of the connection Laplacian operator $\mathscr{L}$, acting on the space of sections of $E$, are simple. As an application, we prove that all eigenvalues of the Laplace-Beltrami operator on a compact $G$-principal bundle $P \to M$ are $G$-simple.

2026-02-13T12:38:07Z 34pg Geovane C. Brito Marcus A. M. Marrocos http://arxiv.org/abs/2506.07516v4 2026-02-13T10:57:57Z

In this note, we use isothermic coordinate systems to explore global properties of space-like surfaces with constant mean curvature in the Lorentz-Minkowski three-space.

2025-06-09T07:48:01Z 10 pages, 2 figures, Minor typographical errors corrected Yu Kawakami Kaito Satake http://arxiv.org/abs/2602.12809v1 2026-02-13T10:43:03Z

A contact form is called K-contact if its Reeb vector field is Killing with respect to some Riemannian metric. In this paper we classify K-contact forms whose Reeb vector field admits at least one non-periodic orbit, on three-dimensional manifolds. We prove that if a compact three-manifold carries such a contact form, then it is diffeomorphic to a lens space and admits exactly two periodic Reeb orbits, whose periods have irrational ratio. We further classify, up to (global) diffeomorphism, these contact forms in terms of the periods of their closed Reeb orbits. We conclude by relating these periods to spectral invariants of the sub-Laplacian, confirming a conjecture of Y. Colin de Verdière in the irregular K-contact case.

2026-02-13T10:43:03Z Eugenio Bellini http://arxiv.org/abs/2309.02778v3 2026-02-13T08:50:01Z

Twistor CR manifolds, introduced by LeBrun, are Lorentzian (neutral) CR 5-manifolds defined as $\mathbb{P}^1$-bundles over 3-dimensional conformal manifolds. In this paper, we embed a real analytic twistor CR manifold into the twistor space of the anti self-dual Poincaré-Einstein metric whose conformal infinity is the base conformal 3-manifold, and construct the associated Fefferman ambient metric as a neutral hyperkähler metric on the spinor bundle with the zero section removed. We also describe the structure of the Cheng--Yau type Kähler-Einstein metric which has the twistor CR manifold as the boundary at infinity.

2023-09-06T06:43:32Z final version, 30 pages Taiji Marugame http://arxiv.org/abs/2504.00281v2 2026-02-13T07:02:28Z

Using Real Seiberg--Witten theory, Miyazawa introduced an invariant of certain 4-manifolds with involution and used this invariant to construct infinitely many exotic involutions on $\mathbb{CP}^2$ and infinitely many exotic smooth embeddings of $\mathbb{RP}^2$ in $S^4$. In this paper we extend Miyazawa's construction to a large class of 4-manifolds, giving many infinite families of involutions on 4-manifolds which are conjugate by homeomorphisms but not by diffeomorphisms and many infinite families of exotic embeddings of non-orientable surfaces in 4-manifolds, where exotic means continuously isotopic but not smoothly isotopic. Exoticness of our construction is detected using Real Seiberg--Witten theory. We study Miyazawa's invariant, relate it to the Real Seiberg--Witten invariants of Tian--Wang and prove various fundamental results concerning the Real Seiberg--Witten invariants such as: relation to positive scalar curvature, wall-crossing, a mod 2 formula for spin structures, a localisation formula relating ordinary and Real Seiberg--Witten invariants, a connected sum formula and a fibre sum formula.

2025-03-31T23:02:17Z 50 pages, minor corrections. To appear in Internat. J. Math Internat. J. Math. Vol. 37, Issue No. 04, Article No. 2650028, (2026) David Baraglia 10.1142/S0129167X2650028X http://arxiv.org/abs/2602.12230v2 2026-02-13T04:16:53Z

For a closed negatively curved surface $(X,g)$ the flat trace of the geodesic Koopman operators $V_g^τf=f\circ G_g^τ$ is the periodic orbit distribution \[ \mathrm{Tr}^{\flat} V_{g}(τ)=\sum_γ\frac{L_γ^{\#}}{\lvert\det(I-P_γ)\rvert}\,δ(τ-L_γ), \qquad τ>0, \] supported on the length spectrum and weighted by the linearized Poincaré maps $P_γ$. For a smooth family of negatively curved metrics $g_t$ we compute the first variation $\partial_t\vert_{0}\,\mathrm{Tr}^{\flat} V_{g_t}$ as a distribution. At an isolated length $\ell$ the leading singularity is a multiple of $δ'(τ-\ell)$, and its coefficient is an explicit linear functional of the length variations $\dot L_{γ^m}$ of the closed geodesics with $L_{γ^m}=\ell$. This transport coefficient forces the marked lengths to be locally constant along any deformation with constant flat trace. As an application, if $\mathrm{Tr}^{\flat} V_{g_t}=\mathrm{Tr}^{\flat} V_{g_0}$ for all $t$ then $g_t$ is isometric to $g_0$ for all $t$. Together with Sunada-type constructions of non isometric pairs with equal flat traces, this shows that the flat trace is globally non-unique yet locally complete along smooth families.

2026-02-12T18:07:36Z 15 pages Hy Lam http://arxiv.org/abs/2602.12576v1 2026-02-13T03:38:25Z

Using the Wilson Dirac operator in lattice gauge theory with a domain-wall mass term, we construct a discretization of the Atiyah-Patodi-Singer index for domains with compact boundary in a flat torus. We prove that, for sufficiently small lattice spacings, this discretization correctly captures the continuum Atiyah-Patodi-Singer index.

2026-02-13T03:38:25Z 43pages, 4 figures Shoto Aoki Hajime Fujita Hidenori Fukaya Mikio Furuta Shinichiroh Matsuo Tetsuya Onogi Satoshi Yamaguchi http://arxiv.org/abs/2602.12438v1 2026-02-12T21:52:06Z

A numerical framework for approximating $\mathrm{G}_2$-structure 3-forms on contact Calabi-Yau manifolds is presented. The approach proceeds in three stages: first, existing neural network models are employed to compute an approximate Ricci-flat metric on a Calabi-Yau threefold. Second, using this metric and the explicit construction of a $\mathrm{G}_2$-structure on the associated 7-dimensional Calabi-Yau link in the 9-sphere, numerical approximations of the 3-form are generated on a large set of sampled points. Finally, a dedicated neural architecture is trained to learn the 3-form and its induced Riemannian metric directly from data, validating the learned structure and its torsion via a numerical implementation of the exterior derivative, which may be of independent interest.

2026-02-12T21:52:06Z 8+5 pages, 9 figures Elli Heyes Edward Hirst Henrique N. Sá Earp Tomás S. R. Silva http://arxiv.org/abs/2602.12383v1 2026-02-12T20:26:41Z

Inspired by R. Bartnik's mass minimization problem in general relativity, we investigate a dual problem of maximizing the capacity among asymptotically flat extensions (with nonnegative scalar curvature) of some fixed two-dimensional boundary data. Using the method of Lagrange multipliers on the constraint space of scalar-flat extensions, we derive the variational condition satisfied by a maximal capacity extension. The resulting equation is an inhomogeneous generalization of the well-known static equation, now coupled with the Baird--Eells stress-energy tensor for a harmonic function. We analyze these ``harmonic-static'' metrics in a local sense, proving they have constant scalar curvature and serve as critical points for a metric-dependent Dirichlet energy functional. We conclude with a number of open questions.

2026-02-12T20:26:41Z 23 pages Jeffrey L. Jauregui http://arxiv.org/abs/2602.12368v1 2026-02-12T19:58:11Z

This work introduces the Nirenberg Neural Network: a numerical approach to the Nirenberg problem of prescribing Gaussian curvature on $S^2$ for metrics that are pointwise conformal to the round metric. Our mesh-free physics-informed neural network (PINN) approach directly parametrises the conformal factor globally and is trained with a geometry-aware loss enforcing the curvature equation. Additional consistency checks were performed via the Gauss-Bonnet theorem, and spherical-harmonic expansions were fit to the learnt models to provide interpretability. For prescribed curvatures with known realisability, the neural network achieves very low losses ($10^{-7} - 10^{-10}$), while unrealisable curvatures yield significantly higher losses. This distinction enables the assessment of unknown cases, separating likely realisable functions from non-realisable ones. The current capabilities of the Nirenberg Neural Network demonstrate that neural solvers can serve as exploratory tools in geometric analysis, offering a quantitative computational perspective on longstanding existence questions.

2026-02-12T19:58:11Z 38 pages, 14 pages, 7 tables Gianfranco Cortés Maria Esteban-Casadevall Yueqing Feng Jonas Henkel Edward Hirst Tancredi Schettini Gherardini Alexander G. Stapleton http://arxiv.org/abs/2602.12362v1 2026-02-12T19:44:58Z

This is a preliminary version of a book on infinite-dimensional Lie groups. It covers the basics of calculus and manifolds in the context of locally convex spaces, based on Bastiani's notion of a smooth map. Starting from this concept, we develop the basics of smooth manifolds and define Lie groups as manifolds with smooth group operations. We discuss in particular several classes of Lie groups, such as regular ones, or those with an exponential function that is a local diffeomorphism. The local theory, subgroups and quotients are explored in some detail. Classes of Lie groups that are discussed in detail include: unit groups of continuous inverse algebras, groups of smooth maps, direct limit groups and groups of diffeomorphism. We also included chapters on the topology of infinite-dimensional Lie group and on various selected topics.

2026-02-12T19:44:58Z 1056 pages; the chapters on mapping groups and diffeomorphism groups are still unfinished Helge Gloeckner Karl-Hermann Neeb http://arxiv.org/abs/2508.01039v2 2026-02-12T17:24:34Z

We construct calibrated submanifolds in Euclidean space invariant under the action of a Lie group $G$. We first demonstrate the method used in this paper by reproducing the results about special Lagrangians due to Harvey-Lawson. We then show explicitly that an associative submanifold in $\mathbb{R}^7$ invariant under the action of a maximal torus $\mathbb{T}^2 \subset \mathrm{G}_2$ has to be a special Lagrangian submanifold in $\mathbb{C}^3$. Similarly, we also show that a Cayley submanifold in $\mathbb{R}^8$ invariant under the action of a maximal torus $\mathbb{T}^3 \subset \mathrm{Spin}(7)$ has to be a special Lagrangian submanifold in $\mathbb{C}^4$. We construct coassociative submanifolds in $\mathbb{R}^7$ invariant under the action of $\mathrm{Sp}(1)\subset \mathbb{H}$ with a more general ansatz than the one in Harvey-Lawson but we recover exactly the $\mathrm{Sp}(1)$-invariant coassociatives in Harvey-Lawson, giving us a rigidity result. Finally, we construct cohomogeneity two examples of coassociative submanifolds in $\mathbb{R}^7$ which are invariant under the action of a maximal torus $\mathbb{T}^2 \subset \mathrm{G}_2$.

2025-08-01T19:34:48Z 34 pages. Minor revisions following referee's reports. Final version, to appear in Mathematical Physics, Analysis and Geometry Faisal Romshoo http://arxiv.org/abs/2602.12186v1 2026-02-12T17:17:27Z

We develop an Aleksandrov reflection framework for a large class of expanding curvature flows in hyperbolic space, with inverse mean curvature flow serving as a model case. The method applies to the level-set formulation of the flow. As a consequence, we obtain graphical and Lipschitz estimates. Using these estimates, we show that solutions become starshaped and therefore converge exponentially fast to an umbilic hypersurface at infinity. We also extend our results to the non-compact setting, assuming that the solution has a unique point at infinity. In this case, we prove that the flow becomes a graph over a horosphere with uniform gradient bounds and converges to a limiting horosphere.

2026-02-12T17:17:27Z 4 figures Theodora Bourni José M. Espinar Aakash Mishra http://arxiv.org/abs/2409.19893v2 2026-02-12T16:37:17Z

We characterize real elliptic differential systems whose solutions can be expressed in terms of holomorphic solutions to an associated holomorphic Pfaffian system $\mathcal H$ on a complex manifold. In particular, these elliptic systems arise as quotients by a group $G$ of the real differential system generated by the real and imaginary parts of $\mathcal H$, such that $G$ is the real form of a complex Lie group $K$ which is a symmetry group of $\mathcal H$. Subject to some mild genericity assumptions, we show that such elliptic systems are characterized by a property known as Darboux integrability. Examples discussed include first- and second-order elliptic PDE and PDE systems in the plane.

2024-09-30T02:45:03Z 56 pages Mark E. Fels Thomas A. Ivey