https://arxiv.org/api/HfRLmiNOA+xqzVajhtZMXcB1ecE2026-03-16T06:39:20Z47101015http://arxiv.org/abs/2506.08942v4On the connectedness of the singular set of holomorphic foliations2026-03-13T17:04:18ZLet $\mathcal{F}$ be a singular holomorphic foliation of dimension $k>1$ on a projective $n$-manifold $X$. Assume that the determinant of the normal sheaf of $\mathcal{F}$ is ample (as is always the case when $X=\mathbb{P}^{n}$), and that the singular set $Sing(\mathcal{F})$ has dimension $\leq k-1$. We show that the union of those irreducible components of $Sing(\mathcal{F})$ of dimension exactly $k-1$ is necessarily connected. Consequently, we obtain a Bott-type topological obstruction to the integrability of singular holomorphic distributions, echoing Bott's vanishing theorem, and we answer a question of Cerveau for codimension-one foliations on $\mathbb{P}^{3}$.2025-06-10T16:05:15ZImproved exposition. Dedicated to Professor Nigel Hitchin on the occasion of his 80th BirthdayOmegar Calvo-AndradeMaurício CorrêaMarcos JardimJosé Seadehttp://arxiv.org/abs/2603.13061v1Rigidity and Gap Phenomena in the Sphere--Ball Correspondence2026-03-13T15:09:37ZThis survey reviews a collection of parallel phenomena between free boundary submanifolds in the Euclidean unit ball and closed submanifolds in the sphere, with particular emphasis on rigidity mechanisms, pinching thresholds, and canonical models. We do not regard the two theories as a unified system in one-to-one correspondence. Rather, we emphasize that in several typical settings -- including low topology, strong pinching, spectral extremality, and symmetry reduction -- the free boundary condition often forces stronger rigidity in the unit ball than in the closed setting. The exposition is organized around six interconnected themes. We first contrast the failure of the spherical Bernstein problem in high dimensions with the dimension-independent rigidity of free boundary minimal disks in the unit ball. We then discuss the parallel roles played by the Clifford torus and the critical catenoid in uniqueness, Morse index, and eigenvalue characterizations. Next, we review the transition from the Lawson--Simons stable currents method to the Bochner--Hardy techniques developed for free boundary problems, summarize pinching and gap theorems driven by the second fundamental form and its traceless part, and outline the linear comparison framework between Morse index and topology in the minimal, constant mean curvature, and weighted settings. Finally, we survey existence results obtained from group actions, isoparametric foliations, and recent equivariant eigenvalue optimization, thereby illustrating both the striking analogies and the essential boundary-driven differences between the closed spherical theory and the free boundary theory in the ball.2026-03-13T15:09:37ZNiang Chenhttp://arxiv.org/abs/2510.12797v4Cohomology for linearized Ricci curvature2026-03-13T14:50:04ZWe establish solvability and uniqueness conditions for the linearized Ricci curvature equations on compact Riemannian manifolds with boundary, obtained without imposing restrictions on the interior geometry. Our approach recasts the problem into cohomological terms by means of a generalized Hodge theory, based on the Boutet de Monvel calculus. The first cohomology, which obstructs uniqueness, is always finite dimensional, whereas the second cohomology, which obstructs solvability, is finite dimensional if the boundary is empty or the dimension is three. Through Bochner technique, we prove vanishing theorems for these cohomologies; for the second cohomology, the argument also uses stress potentials and the sharp Poincaré inequality on spheres.2025-10-14T17:59:54Z33 pages + appendix (provided for a self-contained version of the generalized Hodge theory developed in arXiv:2504.18494) + 1 page references. Submitted versionRoee Lederhttp://arxiv.org/abs/2504.18494v5Hodge Theory for Linearized Boundary-Value Problems on General Geometric Structures2026-03-13T14:27:22ZWe develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the underlying geometric structure, and provides tools to study the emergent cohomology explicitly. To achieve this generality, we generalize Hodge theory to sequences of Douglas--Nirenberg systems that interact through Green's formulae, overdetermined ellipticity, and a condition we call the order-reduction property, which relieves the rigid requirement that the sequence forms a cochain complex. This property typically arises from linearized geometric symmetries and constraints, as we demonstrate through several geometric examples that have long resisted analysis, including exterior covariant derivatives, the Killing and Hessian equations, and the linearized Riemann and Ricci curvature equations.2025-04-25T17:04:17Z194 pages. More examples and improved introduction. Submitted versionRoee Lederhttp://arxiv.org/abs/2603.10611v2RC-positivity, comparison theorems and prescribed Hermitian-Yang-Mills tensors I2026-03-13T11:20:45ZIn this paper, we solve the prescribed Hermitian-Yang-Mills tensor problem. Let $ E $ be a holomorphic vector bundle over a compact Kähler manifold $(M,ω_g) $. Suppose that there exists a smooth Hermitian metric $ h_0 $ on $E$ such that the Hermitian-Yang-Mills tensor $ Λ_{ω_g}\sqrt{-1} R^{h_0} $ is positive definite. Then for any Hermitian positive definite tensor $ P\in Γ\left(M,E^*\otimes \overline E^*\right) $, there exists a unique smooth Hermitian metric $ h $ on $E$ such that $$Λ_{ω_g} \sqrt{-1} R^h=P.$$ As applications, we obtain quantitative Chern number inequalities applicable to both holomorphic vector bundles and Fano manifolds. The proof is based on a new comparison theorem for Hermitian-Yang-Mills tensors.2026-03-11T10:17:19ZMingwei WangXiaokui YangShing-Tung Yauhttp://arxiv.org/abs/2510.17295v2On the {$L^\infty $} norms of spectral projectors on shrinking intervals: the cases of some spheres of revolution and of the Euclidean disk2026-03-13T08:46:18ZGiven a compact Riemannian surface $M$, with Laplace-Beltrami operator $Δ$, for $λ> 0$, let $P_{λ,λ^{-\frac{1}{3}}}$ be the spectral projector on the bandwidth $[λ-λ^{-\frac{1}{3}}, λ+ λ^{\frac{1}{3}}]$ associated to $\sqrt{-Δ}$. We prove a polynomial improvement on the $L^2 \to L^{\infty}$ norm of $P_{λ,λ^{-\frac{1}{3}}}$ for generic simple spheres of revolution (away from the poles and the equator) and for the Euclidean disk away from its center but up to the boundary. We use the Quantum Integrability of those surfaces to express the norm in terms of a joint basis of eigenfunctions for $\left(\sqrt{-Δ}, \frac{1}{i}\frac{\partial}{\partial θ}\right)$. Then, we use that those eigenfunctions are asymptotically Lagrangian oscillatory functions, each supported on a Lagrangian torus with fold-type caustic. Thus, studying the distribution of the caustics, and using BKW decay away from the caustics, we are able to reduce the problem to counting estimates.2025-10-20T08:33:12ZAmbre ChabertDMAYves Colin de VerdìèreIFhttp://arxiv.org/abs/2602.04544v2Hurwitz-Radon numbers and proper actions of semisimple Lie groups2026-03-13T08:26:40ZWe study proper isometric actions of non-compact semisimple Lie groups on pseudo-Riemannian symmetric spaces. Motivated by Okuda's classification of semisimple symmetric spaces admitting proper $SL(2,\mathbb{R})$-actions [J. Differential Geom., 2013], we focus on symmetric spaces lying on the boundary of the existence of proper $SL(2,\mathbb{R})$-actions. As a rigidity result, we show that any connected non-compact semisimple Lie group acting properly on these symmetric spaces must be globally isomorphic to $Spin(n,1)$ up to compact factors. Moreover, the Hurwitz-Radon number arises as the largest value of $n$ for the existence of $Spin(n,1)$-proper actions. Our symmetric spaces include the pseudo-Riemannian hyperbolic space $\mathbf{H}_{+}^{N,N-1}$ of signature $(N,N-1)$.2026-02-04T13:35:01Z73 pages, comments are welcome!Kazuki KannakaKoichi Tojohttp://arxiv.org/abs/2403.08259v2The trace operator of quasi-plurisubharmonic functions on compact Kähler manifolds2026-03-13T05:02:09ZWe introduce the trace operator for quasi-plurisubharmonic functions on compact Kähler manifolds, allowing to study the singularities of such functions along submanifolds where their generic Lelong numbers vanish. Using this construction we obtain novel $L^2$ extension theorems and give applications to restricted volumes of big line bundles.2024-03-13T05:20:57Zv.1 comments welcome v.2 accepted versionTamás DarvasMingchen Xiahttp://arxiv.org/abs/2512.11523v2Quantization for Semipositive Adjoint Line Bundles2026-03-13T02:39:10ZLet $L$ be a big and semipositive line bundle on a complex projective manifold $X$, and let $θ\in c_1(L)$ be a smooth semipositive representative. In the adjoint setting $H^0(X,L^k\otimes K_X)$, we prove that Donaldson's quantized Monge--Ampère energy converges to the Monge--Ampère energy for every bounded $θ$-plurisubharmonic function. This extends the quantization picture from the ample case to the big and semipositive setting, where smooth positive representatives are no longer available and non-pluripolar Monge--Ampère theory is required. The main new input is a comparison theorem between adjoint Bergman kernels and their small ample twists. As a consequence, we prove that the normalized adjoint Bergman measures converge weakly to the corresponding non-pluripolar Monge--Ampère measures. Our result partially answers a question of Berman--Freixas i Montplet concerning the convergence of quantized Monge--Ampère energies in the semipositive setting.2025-12-12T12:48:05Z19 pages. Revised version with improved presentation; fixes a mistake in Equation (3.9) in the previous version. Submitted for publicationYu-Chi Houhttp://arxiv.org/abs/2603.12569v1Real line subbundles of real bundles on curves2026-03-13T02:06:43ZFor a stable real bundle $E$ of rank $2$ and degree $1$ on a real genus $2$ curve, we describe the action of the real structure of the curve on the set of $4$ maximal line subbundles of degree $0$ of $E$. This describes the Galois action on the set of lines through a real point in the moduli space of such bundles, and is a real algebraic extension of classical work of Newstead. Our proof is an application of techniques of Atiyah from the 1950's. We prove also results on real line subbundles in higher genus using work of Lange-Narasimhan.2026-03-13T02:06:43ZDaniel A. Santiago Alvarezhttp://arxiv.org/abs/2603.12549v1Warped area minimal hypersurface and warped product metric2026-03-13T01:24:16ZBy studying the warped(or weighted) area-minimizing hypersurface, we prove that the metric can be locally split as a warped product metric under the spectral Ricci or spectral scalar curvature lower bound condition.2026-03-13T01:24:16Z16pages, comments are welcomeYukai Sunhttp://arxiv.org/abs/2603.12548v1Mean curvature flow of graphs with asymptotic Dirichlet conditions in Cartan-Hadamard manifolds2026-03-13T01:23:05ZA priori estimates for the mean curvature evolution of Killing graphs in Cartan-Hadamard manifolds with asymptotic Dirichlet conditions are established. As an application, the existence of the corresponding parabolic flow is proved, ensuring regularity of the obtained solutions through the construction of suitable barriers at points of the asymptotic boundary. Such a construction is made possible under an appropriate notion of convexity at infinity.2026-03-13T01:23:05ZSuggestions are welcomeClaudia FernandesJorge de LiraMatheus Soareshttp://arxiv.org/abs/2409.08957v2Lie's Third Theorem for Lie $\infty$-Algebras2026-03-12T23:40:09ZWe introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem for finite-type Lie $\infty$-algebras: Every finite-type, homologically and non-negatively graded $L_\infty$-algebra over $\mathbb{R}$ integrates to a finite-dimensional Lie $\infty$-group. As a corollary, our construction yields a new explicit finite-dimensional model for the string Lie 2-group.2024-09-13T16:21:52Z85 pages. Rewritten intro and minor edits to body of paper to improve exposition. Comments welcomeChristopher L. RogersJesse Wolfsonhttp://arxiv.org/abs/2508.07889v2Holonomy of the Obata connection on 2-step hypercomplex nilmanifolds2026-03-12T21:34:10ZWe study the holonomy of the Obata connection on 2-step hypercomplex nilmanifolds. By explicitly computing the curvature tensor, we determine the conditions under which the Obata connection is flat, showing that this depends on the nilpotency step of each complex structure. In particular, we show that for 2-step hypercomplex nilmanifolds the holonomy algebra of the Obata connection is always an abelian subalgebra of $\mathfrak{sl}(n, \mathbb{H})$ and we prove that the $\mathbb{H}$-solvable conjecture holds in this case. Furthermore, we provide new examples of $k$-step nilpotent hypercomplex nilmanifolds, with arbitrary $k$, which are not Obata flat.2025-08-11T12:05:50Z20 pages. To appear in Bull. Lond. Math. Soc. The definition of $\mathbb H$-solvability was extended to arbitrary hypercomplex Lie algebras (not necessarily nilpotent). We improved the proof of Theorem 6.1 and introduced Subsection 6.1. We added Lemma 7.1 to simplify the proof of Proposition 7.2Adrián AndradaMaría Laura BarberisBeatrice Brienzahttp://arxiv.org/abs/2603.12404v1Kähler complexity one Hamiltonian $T$-manifolds have trivial paintings2026-03-12T19:32:20ZLet a torus $T$ act on a symplectic manifold $(M,ω)$ with moment map $φ$. We say that the Hamiltonian $T$-manifold $(M,ω,φ)$ has complexity one if $\frac{1}{2} \dim M - \dim T = 1$, and that it is Kähler if it admits an invariant compatible complex structure. In this paper, we show how the class of Kähler complexity one Hamiltonian $T$-manifolds sits inside the class of complexity one Hamiltonian $T$-manifolds by proving that every compact, connected Kähler complexity one Hamiltonian $T$-manifold has a trivial painting. As a corollary, we show that two tall compact, connected Kähler complexity one Hamiltonian $T$-manifolds are symplectomorphic exactly if they have the same genus, Duistermaat-Heckman measure, and skeleton. Here, $(M,ω,φ)$ is tall exactly if every non-empty fiber $φ^{-1}(α)$ contains more than one orbit.2026-03-12T19:32:20Z15 pagesIsabelle ChartonLiat KesslerSusan Tolman