We analyse the Maxwell’s spectrum on thin tubular neighbourhoods of embedded surfaces of $\mathbb R^3$. We show that the Maxwell’s eigenvalues converge to the Laplacian eigenvalues of the surface as the thin parameter tends to zero. To achieve this, we reformulate the problem in terms of the spectrum of the Hodge Laplacian with relative conditions acting on co-closed differential $1$-forms. The result leads to new examples of domains where the Faber–Krahn inequality for Maxwell’s eigenvalues fails, examples of domains with any number of arbitrarily small eigenvalues, and underlines the failure of spectral stability under singular perturbations changing the topology of the domain. Additionally, we explicitly produce Maxwell’s eigenfunctions on product domains with the product metric, extending previous constructions valid in the Euclidean case.

A closed Riemannian three-manifold $(Y,g)$ equipped with a torsion spin$^c$ structure determines a family of Dirac operators $\{D_B\}$ parametrized by a $b_1(Y)$-dimensional torus $\mathbb {T}_Y$. In this paper, we develop techniques to study how the topology of the locus $\mathsf {K}\subset \mathbb {T}_Y$ corresponding to operators with non-trivial kernel (the three-dimensional analogue of the theta divisor of a Riemann surface) depends on the geometry of the metric. As a concrete example of our methods, we show that for any metric on the three-torus $Y=T^3$ for which the spectral gap $\lambda _1^*$ on coexact $1$-forms is large, after a small perturbation of the family, the locus $\mathsf {K}$ is a two-sphere.

While the result only involves linear operators, its proof relies on the non-linear analysis of the Seiberg-Witten equations. It follows from a more general understanding of transversality in the context of the monopole Floer homology of a torsion spin$^c$ three-manifold $(Y,\mathfrak {s})$ with a large $\lambda _1^*$. When $b_1>0$, this gives rise to a very rich setup and we discuss a framework to describe explicitly in certain situations the Floer homology groups of $(Y,\mathfrak {s})$ in terms of the topology of the family of Dirac operators $\{D_B\}$.

In this paper, we prove the codimension-one nonlinear asymptotic stability of the extremal Reissner–Nordström family of black holes in the spherically symmetric Einstein–Maxwell-neutral scalar field model, up to and including the event horizon. More precisely, we show that there exists a teleologically defined, codimension-one “submanifold” ${\mathfrak{M}}_{\mathrm{stab}}$ of the moduli space of spherically symmetric characteristic data for the Einstein–Maxwell-scalar field system lying close to the extremal Reissner–Nordström family, such that any data in ${\mathfrak{M}}_{\mathrm{stab}}$ evolve into a solution with the following properties as time goes to infinity: (i) the metric decays to a member of the extremal Reissner–Nordström family uniformly up to the event horizon, (ii) the scalar field decays to zero pointwise and in an appropriate energy norm, (iii) the first translation-invariant ingoing null derivative of the scalar field is approximately constant on the event horizon $\mathcal H^+$, (iv) for “generic” data, the second translation-invariant ingoing null derivative of the scalar field grows linearly along the event horizon. Due to the coupling of the scalar field to the geometry via the Einstein equations, suitable components of the Ricci tensor exhibit nondecay and growth phenomena along the event horizon. Points (i) and (ii) above reflect the “stability” of the extremal Reissner–Nordström family and points (iii) and (iv) verify the presence of the celebrated Aretakis instability [11] for the linear wave equation on extremal Reissner–Nordström black holes in the full nonlinear Einstein–Maxwell-scalar field model.

We consider steady-state diffusion in a bounded planar domain with multiple small targets on a smooth boundary. Using the method of matched asymptotic expansions, we investigate the competition of these targets for a diffusing particle and the crucial role of surface reactions on the targets. We start from the classical problem of splitting probabilities for perfectly reactive targets with Dirichlet boundary conditions and improve some earlier results. We discuss how this approach can be generalised to partially reactive targets characterised by a Robin boundary condition. In particular, we show how partial reactivity reduces the effective size of the target. In addition, we consider more intricate surface reactions modelled by mixed Steklov-Neumann or Steklov-Neumann-Dirichlet problems. We provide the first derivation of the asymptotic behaviour of the eigenvalues and eigenfunctions for these spectral problems in the small-target limit. Finally, we show how our asymptotic approach can be extended to interior targets in the bulk and to exterior problems where diffusion occurs in an unbounded planar domain outside a compact set. Direct applications of these results to diffusion-controlled reactions are discussed.

We investigate uniqueness of solution to the heat equation with a density $\rho$ on complete, non-compact weighted Riemannian manifolds of infinite volume. Our main goal is to identify sufficient conditions under which the solution $u$ vanishes identically, assuming that $u$ belongs to a certain weighted Lebesgue space with exponential or polynomial weight, $L^p_{\phi}$. We distinguish between the cases $p \gt 1$ and $p = 1$ which required stronger assumptions on the manifold and the density function $\rho$. We develop a unified method based on a conformal transformation of the metric, which allows us to reduce the problem to a standard heat equation on a suitably weighted manifold. In addition, we construct explicit counterexamples on model manifolds which demonstrate optimality of our assumptions on the density $\rho$.

We consider the following problem

\begin{equation*}\varepsilon^{2 s} P_{\hat{h}}^s u+u=u^p, \quad u \gt 0 \quad \text {on } \,(M, \hat{h}),\end{equation*}

$(X, g^{+})$

$(M,[\hat{h}])$

$s\in (0,1)$

$P_{\hat{h}}^s$

$1 \lt p \lt \frac{n+2s}{n-2s}$

$\varepsilon$

$C^1$

$H$

$0 \lt s \lt {1}/{2}$

$C^1$

${1}/{2}\le s \lt 1$

A general way to represent stochastic differential equations (SDEs) on smooth manifolds is based on the Schwartz morphism. In this manuscript, we are interested in SDEs on a smooth manifold $M$ that are driven by p-dimensional Wiener process $W_t \in \mathbb{R}^p$ and time $t$. In terms of the Schwartz morphism, such an SDE is represented by a Schwartz morphism that morphs the semimartingale $(t,W_t)\in\mathbb{R}^{p+1}$ into a semimartingale on the manifold $M$. We show that it is possible to construct such Schwartz morphisms using special maps that we call diffusion generators. We show that one of the ways to construct a diffusion generator is by considering the flow of differential equations. One particular case is the construction of diffusion generators using Lagrangian vector fields. Using the diffusion generator approach, we also give the extended Itô formula (also known as generalized Itô formula or Itô–Wentzell formula) for SDEs on manifolds.

We consider a mixed Steklov–Dirichlet eigenvalue problem on a smooth bounded domain having a spherical hole. In this article, we take Dirichlet condition on the boundary of the spherical hole and Steklov condition on the other boundary component/s. Under certain symmetry assumptions on multiconnected domains in $\mathbb {R}^{n}$ having a spherical hole, we obtain isoperimetric inequalities for the k-th Steklov–Dirichlet eigenvalues for each $k \in \{2, 3, \dots , n+1\}$. We provide examples to emphasise the fact that the symmetry assumptions, on the family of domains considered, are crucial. We also extend Theorem 3.1 of “Gavitone et al. (2023), An isoperimetric inequality for the first Steklov–Dirichlet Laplacian eigenvalue of convex sets with a spherical hole, Pacific Journal of Mathematics, 320(2): 241–259” not only from Euclidean domains to domains in space forms but also from convex domains to star-shaped domains. In particular, we obtain sharp lower and upper bounds for the first Steklov–Dirichlet eigenvalue on the family of all bounded star-shaped domains on the hemisphere as well as on the hyperbolic space.

Understanding how spectral quantities localize on manifolds is a central theme in geometric spectral theory and index theory. Within this framework, the BFK formula, obtained by Burghelea, Friedlander, and Kappeler in 1992, describes how the zeta-regularized determinant of an elliptic operator decomposes as the underlying manifold is cut into pieces. In this article, we present a novel proof of this result. Inspired by the work of Brüning and Lesch on the eta invariant of Dirac operators, we derive the BFK formula by interpolating continuously between boundary conditions and understanding the variation of the determinant along this deformation.

We introduce a framework to prove integral rigidity results for the Seiberg–Witten invariants of a closed $4$-manifold X containing a nonseparating hypersurface Y satisfying suitable (chain-level) Floer theoretic conditions. As a concrete application, we show that if X has the homology of a four-torus, and it contains a nonseparating three-torus, then the sum of all Seiberg–Witten invariants of X is determined in purely cohomological terms.

Our results can be interpreted as $(3+1)$-dimensional versions of Donaldson’s TQFT approach to the formula of Meng–Taubes, and build upon a subtle interplay between irreducible solutions to the Seiberg–Witten equations on X and reducible ones on Y and its complement. Along the way, we provide a concrete description of the associated graded map (for a suitable filtration) of the map on $\overline {\mathit {HM}}_*$ induced by a negative-definite cobordism between three-manifolds, which might be of independent interest.

We construct surfaces with arbitrarily large multiplicity for their first nonzero Steklov eigenvalue. The proof is based on a technique by Burger and Colbois originally used to prove a similar result for the Laplacian spectrum. We start by constructing surfaces $S_p$ with a specific subgroup of isometry $G_p:= \mathbb {Z}_p \rtimes \mathbb {Z}_p^*$ for each prime p. We do so by gluing surfaces with boundary following the structure of the Cayley graph of $G_p$. We then exploit the properties of $G_p$ and $S_p$ in order to show that an irreducible representation of high degree (depending on p) acts on the eigenspace of functions associated with $\sigma _1(S_p)$, leading to the desired result.

Let $\Gamma$ be a Schottky subgroup of $\mathrm{SL}_2(\mathbb{Z})$ and let $X=\Gamma \backslash {\mathbb{H}}^2$ be the associated hyperbolic surface. We consider the family of Hecke congruence coverings of $X$, which we denote as usual by $ X_0(q) = \Gamma _0(q)\backslash {\mathbb{H}}^2$. Conditional on the Lindelöf Hypothesis for quadratic L-functions, we establish a uniform and explicit spectral gap for the Laplacian on $ X_0(q)$ for “almost” all prime levels $q$. Assuming the generalized Riemann hypothesis for quadratic $L$-functions, we obtain an even larger spectral gap.

The sharpness of various Hardy-type inequalities is well-understood in the reversible Finsler setting; while infinite reversibility implies the failure of these functional inequalities, cf. Kristály et al. [Trans. Am. Math. Soc., 2020]. However, in the remaining case of irreversible manifolds with finite reversibility, there is no evidence on the sharpness of Hardy-type inequalities. In fact, we are not aware of any particular examples where the sharpness persists. In this paper, we present two such examples involving two celebrated inequalities: the classical/weighted Hardy inequality (assuming non-positive flag curvature) and the McKean-type spectral gap estimate (assuming strong negative flag curvature). In both cases, we provide a family of Finsler metric measure manifolds on which these inequalities are sharp. We also establish some sufficient conditions, which guarantee the sharpness of more involved Hardy-type inequalities on these spaces. Our relevant technical tool is a Finslerian extension of the method of Riccati pairs (for proving Hardy inequalities), which also inspires the main ideas of our constructions.

We investigate a free energy functional that arises in aggregation-diffusion phenomena modelled by nonlocal interactions and local repulsion on the hyperbolic space ${\mathbb H}^n$. The free energy consists of two competing terms: an entropy, corresponding to slow nonlinear diffusion, that favours spreading, and an attractive interaction potential energy that favours aggregation. We establish necessary and sufficient conditions on the interaction potential for ground states to exist on the hyperbolic space ${\mathbb H}^n$. To prove our results, we derived several Hardy–Littlewood–Sobolev (HLS)-type inequalities on general Cartan–Hadamard manifolds of bounded curvature, which have an interest in their own.

We consider the Kähler-Ricci flow on compact Kähler manifolds with semiample canonical bundle and intermediate Kodaira dimension, and show that the flow collapses to a canonical metric on the base of the Iitaka fibration in the locally smooth topology and with bounded Ricci curvature away from the singular fibers. This follows from an asymptotic expansion for the evolving metrics, in the spirit of recent work of the first and third-named authors on collapsing Calabi-Yau metrics, and proves two conjectures of Song and Tian.

The aim of this paper is to establish the correspondence between the twisted localised Pestov identity on the unit tangent bundle of a Riemannian manifold and the Weitzenböck identity for twisted symmetric tensors on the manifold.

We compute the open Gromov-Witten disk invariants and the relative quantum cohomology of the Chiang Lagrangian $L_\triangle \subset \mathbb {C}P^3$. Since $L_\triangle $ is not fixed by any anti-symplectic involution, the invariants may augment straightforward J-holomorphic disk counts with correction terms arising from the formalism of Fukaya $A_\infty $-algebras and bounding cochains. These correction terms are shown in fact to be nontrivial for many invariants. Moreover, examples of nonvanishing mixed disk and sphere invariants are obtained.

We characterize a class of open Gromov-Witten invariants, called basic, which coincide with straightforward counts of J-holomorphic disks. Basic invariants for the Chiang Lagrangian are computed using the theory of axial disks developed by Evans-Lekili and Smith in the context of Floer cohomology. The open WDVV equations give recursive relations which determine all invariants from the basic ones. The denominators of all invariants are observed to be powers of $2$ indicating a nontrivial arithmetic structure of the open WDVV equations. The magnitude of invariants is not monotonically increasing with degree. Periodic behavior is observed with periods $8$ and $16.$

We solve a problem posed by Calabi more than 60 years ago, known as the Saint-Venant compatibility problem: Given a compact Riemannian manifold, generally with boundary, find a compatibility operator for Lie derivatives of the metric tensor. This problem is related to other compatibility problems in mathematical physics, and to their inherent gauge freedom. To this end, we develop a framework generalizing the theory of elliptic complexes for sequences of linear differential operators $(A_{\bullet })$ between sections of vector bundles. We call such a sequence an elliptic pre-complex if the operators satisfy overdetermined ellipticity conditions and the order of $A_{k+1}A_k$ does not exceed the order of $A_k$. We show that every elliptic pre-complex $(A_{\bullet })$ can be ‘corrected’ into a complex $({\mathcal {A}}_{\bullet })$ of pseudodifferential operators, where ${\mathcal {A}}_k - A_k$ is a zero-order correction within this class. The induced complex $({\mathcal {A}}_{\bullet })$ yields Hodge-like decompositions, which in turn lead to explicit integrability conditions for overdetermined boundary-value problems, with uniqueness and gauge freedom clauses. We apply the theory on elliptic pre-complexes of exterior covariant derivatives of vector-valued forms and double forms satisfying generalized algebraic Bianchi identities, thus resolving a set of compatibility and gauge problems, among which one is the Saint-Venant problem.