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.

We consider the harmonic map heat flow for maps $\mathbb {R}^{2} \to \mathbb {S}^2$. It is known that solutions to the initial value problem exhibit bubbling along a well-chosen sequence of times. We prove that every sequence of times admits a subsequence along which bubbling occurs. This is deduced as a corollary of our main theorem, which shows that the solution approaches the family of multi-bubble configurations in continuous time.

We consider generalised Dirac-Schrödinger operators, consisting of a self-adjoint elliptic first-order differential operator $\mathcal {D}$ with a skew-adjoint ‘potential’ given by a (suitable) family of unbounded operators. The index of such an operator represents the pairing (Kasparov product) of the K-theory class of the potential with the K-homology class of $\mathcal {D}$. Our main result in this paper is a generalisation of the Callias Theorem: the index of the Dirac-Schrödinger operator can be computed on a suitable compact hypersurface. Our theorem simultaneously generalises (and is inspired by) the well-known result that the spectral flow of a path of relatively compact perturbations depends only on the endpoints.

In this paper, we study the twisted Ruelle zeta function associated with the geodesic flow of a compact, hyperbolic, odd-dimensional manifold X. The twisted Ruelle zeta function is associated with an acyclic representation $\chi \colon \pi _{1}(X) \rightarrow \operatorname {\mathrm {GL}}_{n}(\mathbb {C})$, which is close enough to an acyclic, unitary representation. In this case, the twisted Ruelle zeta function is regular at zero and equals the square of the refined analytic torsion, as it is introduced by Braverman and Kappeler in [6], multiplied by an exponential, which involves the eta invariant of the even part of the odd-signature operator, associated with $\chi $.

We give sharp point-wise bounds in the weight-aspect on fourth moments of modular forms on arithmetic hyperbolic surfaces associated to Eichler orders. Thereby, we strengthen a result of Xia and extend it to co-compact lattices. We realize this fourth moment by constructing a holomorphic theta kernel on $\mathbf {G} \times \mathbf {G} \times \mathbf {SL}_{2}$, for $\mathbf {G}$ an indefinite inner form of $\mathbf {SL}_2$ over $\mathbb {Q}$, based on the Bergman kernel, and considering its $L^2$-norm in the Weil variable. The constructed theta kernel further gives rise to new elementary theta series for integral quadratic forms of signature $(2,2)$.

Let $\eta $ be [-11pc] [-7pc]a closed real 1-form on a closed Riemannian n-manifold $(M,g)$. Let $d_z$, $\delta _z$ and $\Delta _z$ be the induced Witten’s type perturbations of the de Rham derivative and coderivative and the Laplacian, parametrized by $z=\mu +i\nu \in \mathbb C$ ($\mu ,\nu \in \mathbb {R}$, $i=\sqrt {-1}$). Let $\zeta (s,z)$ be the zeta function of $s\in \mathbb {C}$, defined as the meromorphic extension of the function $\zeta (s,z)=\operatorname {Str}({\eta \wedge }\,\delta _z\Delta _z^{-s})$ for $\Re s\gg 0$. We prove that $\zeta (s,z)$ is smooth at $s=1$ and establish a formula for $\zeta (1,z)$ in terms of the associated heat semigroup. For a class of Morse forms, $\zeta (1,z)$ converges to some $\mathbf {z}\in \mathbb {R}$ as $\mu \to +\infty $, uniformly on $\nu $. We describe $\mathbf {z}$ in terms of the instantons of an auxiliary Smale gradient-like vector field X and the Mathai–Quillen current on $TM$ defined by g. Any real 1-cohomology class has a representative $\eta $ satisfying the hypothesis. If n is even, we can prescribe any real value for $\mathbf {z}$ by perturbing g, $\eta $ and X and achieve the same limit as $\mu \to -\infty $. This is used to define and describe certain tempered distributions induced by g and $\eta $. These distributions appear in another publication as contributions from the preserved leaves in a trace formula for simple foliated flows, giving a solution to a problem stated by C. Deninger.

The aim of this paper is to prove a qualitative property, namely the preservation of positivity, for Schrödinger-type operators acting on $L^p$ functions defined on (possibly incomplete) Riemannian manifolds. A key assumption is a control of the behaviour of the potential of the operator near the Cauchy boundary of the manifolds. As a by-product, we establish the essential self-adjointness of such operators, as well as its generalization to the case $p\neq 2$, i.e. the fact that smooth compactly supported functions are an operator core for the Schrödinger operator in $L^p$.

In Communications in Contemporary Mathematics 24 3, (2022),the authors have developed a method for constructing G-invariant partial differential equations (PDEs) imposed on hypersurfaces of an $(n+1)$-dimensional homogeneous space $G/H$, under mild assumptions on the Lie group G. In the present paper, the method is applied to the case when $G=\mathsf{PGL}(n+1)$ (respectively, $G=\mathsf{Aff}(n+1)$) and the homogeneous space $G/H$ is the $(n+1)$-dimensional projective $\mathbb{P}^{n+1}$ (respectively, affine $\mathbb{A}^{n+1}$) space, respectively. The main result of the paper is that projectively or affinely invariant PDEs with n independent and one unknown variables are in one-to-one correspondence with invariant hypersurfaces of the space of trace-free cubic forms in n variables with respect to the group $\mathsf{CO}(d,n-d)$ of conformal transformations of $\mathbb{R}^{d,n-d}$.

We show a result on propagation of the anisotropic Gabor wave front set for linear operators with a tempered distribution Schwartz kernel. The anisotropic Gabor wave front set is parametrized by a positive parameter relating the space and frequency variables. The anisotropic Gabor wave front set of the Schwartz kernel is assumed to satisfy a graph type criterion. The result is applied to a class of evolution equations that generalizes the Schrödinger equation for the free particle. The Laplacian is replaced by any partial differential operator with constant coefficients, real symbol and order at least two.

In this article, we investigate the spectra of the stability and Hodge–Laplacian operators on a compact manifold immersed as a hypersurface in a smooth metric measure space, possibly with singularities. Using ideas developed by A. Ros and A. Savo, along with an ingenious computation, we have obtained a comparison between the spectra of these operators. As a byproduct of this technique, we have deduced an estimate of the Morse index of such hypersurfaces.