arXiv Science⌕ Search

arXiv subjects

Benjamin Delarue

Publications and source records attributed to Benjamin Delarue.

10 recordsLinked to original sources
arXiv2026

A Riemann-Roch formula for singular reductions by circle actions

We compute a Hirzebruch-Riemann-Roch type formula for the invariant Riemann-Roch number of a quantizable Hamiltonian $S^1$-manifold $(M,ω,\J)$, allowing $0$ to be a singular value of the moment map $\J:M\to\R$. Our formula represents an instance of the Guillemin-Sternberg principle, which states that quantization should commute with reduction. The conceptual novelty of our result is that the involved reduced system only depends on the symplectic data of $M$. To establish this, we derive a complete singular stationary phase expansion of the Witten integral without appealing to any kind of desingularization. As a consequence, our formula expresses the invariant Riemann-Roch number purely in terms of symplectic invariants of the singular symplectic quotient. In particular, it involves a new explicit symplectic invariant of the singularities.

math.DG↗
arXiv2026

Distributional zero divisors with full support

We show that every smooth manifold $M$ of positive dimension admits fully supported distributions $u,v\in \mathcal D'(M)$ with $\mathrm{WF}(u)\cap({-}\mathrm{WF}(v))=\emptyset$ and $uv=0$. Neither factor can be continuous on any non-empty open set, but $u$ may be chosen of optimal Sobolev order $\dim M/2$, with wavefront set contained in any prescribed closed conical set $Γ\subset T^\ast M\setminus 0$ with non-empty and non-maximal fibers. Simultaneously, the wavefront set of $v$ may be confined to any compatible open conical set or, in geometric situations, to closed conical sets such as conormal bundles of foliations or ray bundles generated by locally conformally closed one-forms. We give positivity criteria and show that full-support zero divisor pairs accumulate at $(1,0)$ in Sobolev-microlocal topologies. The one-dimensional case uses a Fourier null series of Kozma-Olevski\uı.

math.FA↗
arXiv2026

Spectra of Lorentzian quasi-Fuchsian manifolds

A three-dimensional quasi-Fuchsian Lorentzian manifold $M$ is a globally hyperbolic spacetime diffeomorphic to $Σ\times (-1,1)$ for a closed orientable surface $Σ$ of genus $\geq 2$. It is the quotient $M=Γ\backslash Ω_Γ$ of an open set $Ω_Γ\subset {\rm AdS}_3$ by a discrete group $Γ$ of isometries of ${\rm AdS}_3$ which is a particular example of an Anosov representation of $π_1(Σ)$. We first show that the spacelike geodesic flow of $M$ is Axiom A, has a discrete Ruelle resonance spectrum with associated (co-)resonant states, and that the Poincaré series for $Γ$ extend meromorphically to $\mathbb{C}$. This is then used to prove that there is a natural notion of resolvent of the pseudo-Riemannian Laplacian $\Box$ of $M$, which is meromorphic on $\mathbb{C}$ with poles of finite rank, defining a notion of quantum resonances and quantum resonant states related to the Ruelle resonances and (co-)resonant states by a quantum-classical correspondence. This initiates the spectral study of convex co-compact pseudo-Riemannian locally symmetric spaces.

math.DG↗
arXiv2025

Locally homogeneous Axiom A flows II: geometric structures for Anosov subgroups

Given a non-compact semisimple real Lie group $G$ and an Anosov subgroup $Γ$, we utilize the correspondence between $\mathbb R$-valued additive characters on Levi subgroups $L$ of $G$ and $\mathbb R$-affine homogeneous line bundles over $G/L$ to systematically construct families of non-empty domains of proper discontinuity for the $Γ$-action. If $Γ$ is torsion-free, the analytic dynamical systems on the quotients are Axiom A, and assemble into a single partially hyperbolic multiflow. Each Axiom A system admits global analytic stable/unstable foliations with non-wandering set a single basic set on which the flow is conjugate to Sambarino's refraction flow, establishing that all refraction flows arise in this fashion. Furthermore, the $\mathbb R$-valued additive character is regular if and only if the associated Axiom A system admits a compatible pseudo-Riemannian metric and contact structure, which we relate to the Poisson structure on the dual of the Lie algebra of $G$.

math.GT↗
arXiv2024

Quantum resonances and scattering poles of classical rank one locally symmetric spaces

For negatively curved symmetric spaces it is known from [Hansen-Hilgert-Parthasarathy,2019] that the poles of the scattering matrices defined via the standard intertwining operators for the spherical principal representations of the isometry group are either given as poles of the intertwining operators or as quantum resonances, i.e. poles of the meromorphically continued resolvents of the Laplace-Beltrami operator. We extend this result to classical locally symmetric spaces of negative curvature with convex-cocompact fundamental group using results of Bunke and Olbrich. The method of proof forces us to exclude the spectral parameters corresponding to singular Poisson transforms.

math.SP↗
arXiv2024

Locally homogeneous Axiom A flows I: projective Anosov subgroups and exponential mixing

By constructing a non-empty domain of discontinuity in a suitable homogeneous space, we prove that every torsion-free projective Anosov subgroup is the monodromy group of a locally homogeneous contact Axiom A dynamical system with a unique basic hyperbolic set on which the flow is conjugate to the refraction flow of Sambarino. Under the assumption of irreducibility, we utilize the work of Stoyanov to establish spectral estimates for the associated complex Ruelle transfer operators, and by way of corollary: exponential mixing, exponentially decaying error term in the prime orbit theorem, and a spectral gap for the Ruelle zeta function. With no irreducibility assumption, results of Dyatlov-Guillarmou imply the global meromorphic continuation of zeta functions with smooth weights, as well as the existence of a discrete spectrum of Ruelle-Pollicott resonances and (co)-resonant states. We apply our results to space-like geodesic flows for the convex cocompact pseudo-Riemannian manifolds of Danciger-Guéritaud-Kassel, and the Benoist-Hilbert geodesic flow for strictly convex real projective manifolds.

math.DG↗
arXiv2023

Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity

Let $M$ be a symplectic manifold carrying a Hamiltonian $S^1$-action with momentum map $J:M \rightarrow \mathbb{R}$ and consider the corresponding symplectic quotient $\mathcal{M}_0:=J^{-1}(0)/S^1$. We extend Sjamaar's complex of differential forms on $\mathcal{M}_0$, whose cohomology is isomorphic to the singular cohomology $H(\mathcal{M}_0;\mathbb{R})$ of $\mathcal{M}_0$ with real coefficients, to a complex of differential forms on $\mathcal{M}_0$ associated with a partial desingularization $\widetilde{\mathcal{M}}_0$, which we call resolution differential forms. The cohomology of that complex turns out to be isomorphic to the de Rham cohomology $H(\widetilde{ \mathcal{M}}_0)$ of $\widetilde{\mathcal{M}}_0$. Based on this, we derive a long exact sequence involving both $H(\mathcal{M}_0;\mathbb{R})$ and $H(\widetilde{ \mathcal{M}}_0)$ and give conditions for its splitting. We then define a Kirwan map $\mathcal{K}:H_{S^1}(M) \rightarrow H(\widetilde{\mathcal{M}}_0)$ from the equivariant cohomology $H_{S^1}(M)$ of $M$ to $H(\widetilde{\mathcal{M}}_0)$ and show that its image contains the image of $H(\mathcal{M}_0;\mathbb{R})$ in $H(\widetilde{\mathcal{M}}_0)$ under the natural inclusion. Combining both results in the case that all fixed point components of $M$ have vanishing odd cohomology we obtain a surjection $\check κ:H^\textrm{ev}_{S^1}(M) \rightarrow H^\textrm{ev}(\mathcal{M}_0;\mathbb{R})$ in even degrees, while already simple examples show that a similar surjection in odd degrees does not exist in general. As an interesting class of examples we study abelian polygon spaces.

math.SG↗
arXiv2022

Resonances and weighted zeta functions for obstacle scattering via smooth models

We consider a geodesic billiard system consisting of a complete Riemannian manifold and an obstacle submanifold with boundary at which the trajectories of the geodesic flow experience specular reflections. We show that if the geodesic billiard system is hyperbolic on its trapped set and the latter is compact and non-grazing the techniques for open hyperbolic systems developed by Dyatlov and Guillarmou can be applied to a smooth model for the discontinuous flow defined by the non-grazing billiard trajectories. This allows us to obtain a meromorphic resolvent for the generator of the billiard flow. As an application we prove a meromorphic continuation of weighted zeta functions together with explicit residue formulae. In particular, our results apply to scattering by convex obstacles in the Euclidean plane.

math.DS↗
arXiv2022

The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds

We show that for a generic conformal metric perturbation of a compact hyperbolic 3-manifold $Σ$ with Betti number $b_1$, the order of vanishing of the Ruelle zeta function at zero equals $4-b_1$, while in the hyperbolic case it is equal to $4-2b_1$. This is in contrast to the 2-dimensional case where the order of vanishing is a topological invariant. The proof uses the microlocal approach to dynamical zeta functions, giving a geometric description of generalized Pollicott-Ruelle resonant differential forms at 0 in the hyperbolic case and using first variation for the perturbation. To show that the first variation is generically nonzero we introduce a new identity relating pushforwards of products of resonant and coresonant 2-forms on the sphere bundle $SΣ$ with harmonic 1-forms on $Σ$.

math.DS↗