https://arxiv.org/api/WNRBN/x58eHrh0WUiWgAj5hfz/4 2026-03-22T15:58:07Z 10037 120 15 http://arxiv.org/abs/2602.05352v1 2026-02-05T06:23:25Z

Modern neural networks have shown promise for solving partial differential equations over surfaces, often by discretizing the surface as a mesh and learning with a mesh-aware graph neural network. However, graph neural networks suffer from oversmoothing, where a node's features become increasingly similar to those of its neighbors. Unitary graph convolutions, which are mathematically constrained to preserve smoothness, have been proposed to address this issue. Despite this, in many physical systems, such as diffusion processes, smoothness naturally increases and unitarity may be overconstraining. In this paper, we systematically study the smoothing effects of different GNNs for dynamics modeling and prove that unitary convolutions hurt performance for such tasks. We propose relaxed unitary convolutions that balance smoothness preservation with the natural smoothing required for physical systems. We also generalize unitary and relaxed unitary convolutions from graphs to meshes. In experiments on PDEs such as the heat and wave equations over complex meshes and on weather forecasting, we find that our method outperforms several strong baselines, including mesh-aware transformers and equivariant neural networks.

2026-02-05T06:23:25Z Ecstatic to share relaxed unitary mesh convolutions with the community :D! Work is under review at ICML 2026. First two authors contributed equally Edward Berman Luisa Li Jung Yeon Park Robin Walters http://arxiv.org/abs/2602.04866v1 2026-02-04T18:52:46Z

We construct mirror abstract Lefschetz fibrations associated to a class of surfaces with cyclic quotient singularities which we call effective. These surfaces can be obtained by contracting disjoint chains of smooth rational curves inside the anticanonical cycle $D$ of a smooth log Calabi-Yau surface $(Y,D)$ with maximal boundary and considering the result as an orbifold. The Fukaya-Seidel categories of these abstract Lefschetz fibrations admit semiorthogonal decompositions akin to the ones described via the derived special McKay correspondence of Ishii and Ueda arXiv:1104.2381v2 [math.AG]. We apply this construction to establish an equivalence at the large volume limit between the derived category of an effective orbifold log Calabi-Yau surface with points of type $\frac{1}{k}(1,1)$ and the Fukaya-Seidel category of its mirror Lefschetz fibration. We also compare the abstract construction to an explicit Landau-Ginzburg model defined by a Laurent polynomial associated to a toric degeneration in the case of the family of hypersurfaces $X_{k+1}\subset \mathbb{P}(1,1,1,k)$. The hypersurfaces $X_{k+1}$ admit a non-trivial moduli of complex structures, which we compare with an open subset of the space of symplectic structures on the total space of the mirror Landau-Ginzburg model via a mirror map built out of intrinsic quantities in a non-exact Fukaya-Seidel category.

2026-02-04T18:52:46Z 55 pages, 24 figures Bogdan Simeonov http://arxiv.org/abs/2602.04671v1 2026-02-04T15:41:26Z

We study the local classification problem for differential Pfaffian forms on a supermanifold $M$ that are homogeneous with respect to a given homogeneity structure on $M$. The best-known homogeneity structures are those associated with linearity on a vector bundle. The aim is to show that, for a homogeneous form of given degree, there are `Darboux coordinates' which are homogeneous. As a consequence, we obtain Darboux-type normal pictures for homogeneous forms, recovering the classical Darboux theorems, as well as their contact and presymplectic counterparts as special cases. To obtain an analog of Darboux's classification in the supergeometric context, we define a class of a differential form $α$ by the rank of the characteristic distribution $χ(α)$, being the intersection of kernels of $α$ and $dα$. We show that, under suitable regularity and constant-rank assumptions, this distribution completely controls the local equivalence problem for homogeneous Pfaffian forms. Our results hold as well for ordinary (purely even) manifolds.

2026-02-04T15:41:26Z 19 pages Janusz Grabowski Asier López-Gordón http://arxiv.org/abs/2602.04658v1 2026-02-04T15:33:40Z

Studying Courant algebroids on dg ringed manifolds, we observe that the associated Roytenberg-Weinstein $L_\infty$ algebra admits a local structure reminiscent of a shifted contact structure. On a dg ringed manifold with an $n$-orientation, its symplectification produces a sheaf of $(2-n)$-shifted symplectic formal moduli problems, which we call the Courant contact model. This construction can be interpreted as a ($\mathbb{Z}/2\mathbb{Z}$-graded) theory in the Batalin-Vilkovisky formalism whenever $n$ is odd. After developing the procedure of reduction and extension of scalars, we show how twisted backgrounds in type I supergravity naturally lead to Courant algebroids over the Dolbeault complex. Specialising to the case of a Calabi-Yau fivefold, we show that the Courant contact model for that Courant algebroid is equivalent to a central extension of minimal type I BCOV theory. Inspired by this, we extend the conjecture of Costello and Li and place it within the setting of generalized geometry, conjecturing a description of the BV formulation of type I supergravity in general twisted backgrounds.

2026-02-04T15:33:40Z 30 pages, no figures. Comments welcome! Julian Kupka Ingmar Saberi Charles Strickland-Constable Fridrich Valach http://arxiv.org/abs/2304.01149v3 2026-02-04T14:58:36Z

We introduce a geometric approach to the construction of moment maps in finite and infinite-dimensional complex geometry. We apply this to two settings: Kähler manifolds and holomorphic vector bundles. Our new approach exploits the existence of universal families and the theory of equivariant differential forms. For Kähler manifolds we give a new, geometric proof of Donaldson-Fujiki's moment map interpretation of the scalar curvature. Associated to arbitrary products of Chern classes of the manifold - namely to a central charge - we further introduce a geometric PDE determining a $Z$-critical Kähler metric, and show that these general equations also satisfy moment map properties. For holomorphic vector bundles, using a similar strategy we give a geometric proof of Atiyah-Bott's moment map interpretation of the Hermitian Yang-Mills condition. We then go on to give a new, geometric proof that the PDE determining a $Z$-critical connection - again associated to a choice of central charge - can be viewed as a moment map; deformed Hermitian Yang-Mills connections are a special case, in which our work gives a geometric proof of a result of Collins-Yau. Our main assertion is that this is the canonical way of producing moment maps in complex geometry - associated to any geometric problem along with a choice of stability condition - and hence that this accomplishes one of the main steps towards producing PDE counterparts to stability conditions in large generality.

2023-04-03T17:13:23Z 34 pages, published version. Our results all now hold without any integrability assumptions on the almost complex structures considered Ruadhaí Dervan Michael Hallam http://arxiv.org/abs/2501.14444v3 2026-02-04T13:46:26Z

The local symplectic theory of integrable systems is fundamental to understand their global theory, as well as the behavior near singularities of fundamental models from classical and quantum mechanics which are known to be integrable, such as the Jaynes-Cummings model and the coupled angular momenta. We establish the foundations of the local symplectic geometry of $p$-adic integrable systems on $4$-dimensional $p$-adic analytic symplectic manifolds, by classifiying all their possible local models. In order to do this we develop a new approach, of independent interest, to the theory of Weierstrass and Williamson concerning the diagonalization of real matrices by real symplectic matrices. We show that this approach can be generalized to $p$-adic matrices, leading to a classification of real $(2n)$-by-$(2n)$ matrices and of $p$-adic $2$-by-$2$ and $4$-by-$4$ matrix normal forms, including, up to dimension $4$, the classification in the degenerate case, for which the literature is limited even in the real case. A combination of these results and the Hardy-Ramanujan formula shows that both the number of $p$-adic matrix normal forms and the number of local models of $p$-adic integrable systems grow almost exponentially with their dimensions, in strong contrast with the real case. These results fit in a program, proposed a decade ago by Voevodsky, Warren and the second author, to develop a $p$-adic theory of integrable systems with the goal of later implementing it using proof assistants. In the present paper we shall prove all of the statements concerning integrable systems; their proofs rely on the $p$-adic analog of the Weierstrass and Williamson theory of matrices. The proofs concerning this new $p$-adic theory of matrices are of an algebraic and arithmetical nature, and we give them in the sequel paper, part II.

2025-01-24T12:25:04Z 57 pages, 9 figures. To improve readability we have split the original article (version 2, 107 pages, 18 figures) into two separate articles, keeping the same title as the original one but adding at the end of it I or II, respectively. Part II will be posted as a separate article. The content of both parts together corresponds to the content of the original article (version 2) Luis Crespo Álvaro Pelayo http://arxiv.org/abs/2407.01845v2 2026-02-03T23:44:25Z

We describe an obstruction to smoothing stable maps in smooth projective varieties, which generalizes some previously known obstructions. Our obstruction comes from the non-existence of certain rational functions on the ghost components, with prescribed simple poles and residues.

2024-07-01T23:05:57Z 16 pages, 6 figures, accepted for publication in Selecta Fatemeh Rezaee Mohan Swaminathan http://arxiv.org/abs/2111.00749v4 2026-02-03T07:58:33Z

We show that the total space of the Milnor fibration associated with any cusp or simple elliptic singularity in complex three variables admits an $S^1$-parametric genus-one Lefschetz fibration structure over the $2$-disk. As a consequence, we demonstrate that the Lawson type foliations on $S^5$ associated with such singularities can be regarded as the pullback of the Reeb foliation on $S^3$. This enables us to provide an alternative proof of a previous result by the third author, which states that every Lawson type foliation admits a leafwise symplectic structure. Also we see that a pair of such Milnor fibers can be glued together along boundary into a closed oriented 4-manifold exactly when the pair corresponds to one of the ten extended strange duality pairs among the cusp singularities. This gluing is compatible with the Lefschetz fibrations and the resultant 4-manifold is diffeomrphic to a K3 surface.

2021-11-01T08:04:04Z 48 pages, 8 figures Naohiko Kasuya Hiroki Kodama Yoshihiko Mitsumatsu Atsuhide Mori http://arxiv.org/abs/2602.03041v1 2026-02-03T03:07:08Z

We construct a family of non-geometric Bridgeland stability conditions on certain wrapped Fukaya categories, using homological mirror symmetry and categorical Künneth formulae. These stability conditions correspond to certain holomorphic volume forms, under which we prove that every stable object admits a special Lagrangian representative. This provides the first higher-dimensional examples of stability conditions away from the large complex structure limit for which ``stable implies special Lagrangian" is proved.

2026-02-03T03:07:08Z 29 pages. Comments are welcome! Yu-Wei Fan http://arxiv.org/abs/2501.05955v4 2026-02-02T22:30:39Z

We discuss the occurrence of some notions and results from contact topology in the non-equilibrium thermodynamics. This includes the Reeb chords and the partial order on the space of Legendrian submanifolds.

2025-01-10T13:33:41Z 29 pages, 5 figures; revised version, the discussion of the sign of the entropy has been corrected Michael Entov Leonid Polterovich Lenya Ryzhik http://arxiv.org/abs/2405.14448v3 2026-02-02T19:11:16Z

The paper introduces a partial integration map from the first Hochschild cohomology of any cohomologically unital A-infinity category over a field of characteristic zero to its derived Picard group. We discuss useful properties such as injectivity, naturality and the relation with the Baker-Campbell-Hausdorff formula. Based on the image of the integration map we propose a candidate for the identity component of the derived Picard group in the case of finite-dimensional graded algebras. As a first application of the integration map it is shown that the vanishing of its domain is a necessary condition for the uniqueness of lifts of equivalences from the homotopy category to the A-infinity-level. The final part contains applications to derived Picard groups of wrapped and compact Fukaya categories of cotangent bundles and their plumbings and an outlook on applications to derived Picard groups of partially wrapped Fukaya categories after Haiden-Katzarkov-Kontsevich.

2024-05-23T11:29:30Z 57 pages; v3: added references and fixed a few typos Sebastian Opper http://arxiv.org/abs/2602.02642v1 2026-02-02T18:57:22Z

Grid diagrams are special representations of knots in the three-sphere that are used to define a combinatorial version of knot Floer homology. Paolo Ghiggini and Yi Ni showed that knot Floer homology detects fibered knots. Their results imply, in particular, that grid diagrams with a unique grid state whose Alexander grading is maximal only exist for fibered knots. Whether every fibered knot admits such a diagram remains an open question. Here, we investigate the existence of such special grid diagrams for fibered knots. We develop an efficient method for deciding whether a given grid diagram meets the even stricter condition of having a unique grid state that realizes an upper bound for the Alexander function. By implementing this method in a Python package, we find suitable grid diagrams for 5385 of the 5397 fibered prime knots with crossing number at most 13.

2026-02-02T18:57:22Z 17 pages, 6 figures Paul Leon Itzlinger http://arxiv.org/abs/2511.22795v2 2026-02-02T18:16:16Z

This paper investigates the geometric and algebraic interplay between F-manifolds and a newly defined class of structures termed F$_\text{man}$-algebras. We specialize our study to the category of F-Lie groups, characterized by a Lie group whose associated commutative and associative product of vector fields is left-invariant. We construct a canonical connection on Lie groups uniquely determined by the F$_\text{man}$-algebraic data, and subsequently characterize its curvature tensor and holonomy Lie algebra. A central feature of our investigation is the introduction of the Poisson-algebra distribution, arising from a canonical Poisson subalgebra within the F$_\text{man}$-algebra. We establish the integrability of this distribution, which induces a foliation of the F-Lie group and facilitates a local splitting theorem. The theoretical framework is illustrated through an in-depth analysis of the Heisenberg Lie algebra.

2025-11-27T22:54:01Z 19 pages. Revised version. Includes significant changes and restricts the scope to Lie groups. Corrects inaccuracies found in the first version regarding general F-manifold statements Santiago Castañeda-Montoya Alexander Torres-Gomez http://arxiv.org/abs/2602.02368v1 2026-02-02T17:27:26Z

We investigate the geometric and topological properties of the group of locally conformally symplectic (LCS) diffeomorphisms, utilizing the LCS flux homomorphism defined by S. Haller. By analyzing the flux map from the universal cover of the identity component $(\ker Φ)_0$ to the first Lichnerowicz cohomology group $H_ω^1(M)$, we establish a short exact sequence characterizing the Hamiltonian subgroup $\Ham_Ω(M)$ and provide conditions for its topological splitting as a semidirect product. We develop LCS analogues of fundamental symplectic results, including a Weinstein neighborhood theorem, a flux rigidity theorem for homotopies, and a characterization of LCS structures on mapping tori. A central theme of this work is the influence of the Hodge decomposition of the Lee form $ω= dh + l$. In the exact case ($l=0$), we utilize the global conformal equivalence to symplectic structures to establish energy-capacity inequalities, an LCS Hofer metric, and non-displaceability results. We explicitly analyze the relationship between the LCS Calabi invariant and its symplectic counterpart, showing they are controlled by a multiplicative factor depending on the conformal weight. For the general non-exact case ($l \neq 0$), we introduce a Twisted Calabi invariant that captures the interaction between Hamiltonian dynamics and the harmonic component of the Lee form.

2026-02-02T17:27:26Z S. Tchuiaga F. Balibuno http://arxiv.org/abs/2505.00501v4 2026-02-02T13:58:52Z

One approach to analyzing entanglement in a gauge theory is embedding it into a factorized theory with edge modes on the entangling boundary. For topological quantum field theories (TQFT), this naturally leads to factorizing a TQFT by adding local edge modes associated with the corresponding CFT. In this work, we instead construct a minimal set of edge modes compatible with the topological invariance of Chern-Simons theory. This leads us to propose a minimal factorization map. These minimal edge modes can be interpreted as the degrees of freedom of a particle on a quantum group. Of particular interest is three-dimensional gravity as a Chern-Simons theory with gauge group SL$(2,\mathbb{R}) \times$ SL$(2,\mathbb{R})$. Our minimal factorization proposal uniquely gives rise to quantum group edge modes factorizing the bulk state space of 3d gravity. This agrees with earlier proposals that relate the Bekenstein-Hawking entropy in 3d gravity to topological entanglement entropy.

2025-05-01T13:03:52Z 36 pages + appendices, v4: improved readability + added a section on comments on quantization Thomas G. Mertens Qi-Feng Wu