Source author record

Victor Guillemin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

20works
11topics
4close collaborators

Published work

20 publications

preprint2020arXiv

Inverse spectral results for non-abelian group actions

In this paper we will extend to non-abelian groups inverse spectral results, proved by us in an earlier paper, for compact abelian groups, i.e. tori. More precisely, Let G\mathsf G be a compact Lie group acting isometrically on a compact Riemannian manifold XX. We will show that for the Schrödinger operator −ℏ2Δ+V-\hbar^2 Δ+V with V∈C∞(X)GV \in C^\infty(X)^{\mathsf G}, the potential function VV is, in some interesting examples, determined by the G\mathsf G-equivariant spectrum. The key ingredient in this proof is a generalized Legendrian relation between the Lagrangian manifolds Graph(dV)\mathrm{Graph}(dV) and Graph(dF)\mathrm{Graph}(dF), where FF is a spectral invariant defined on an open subset of the positive Weyl chamber.

preprint2015arXiv

The Generalized Legendre transform and its applications to inverse spectral problems

Let MM be a Riemannian manifold, τ:G×M→Mτ: G \times M \to M an isometric action on MM of an nn-torus GG and V:M→RV: M \to \mathbb R a bounded GG-invariant smooth function. By GG-invariance the Schrödinger operator, P=−ℏ2ΔM+VP=-\hbar^2 Δ_M+V, restricts to a self-adjoint operator on L2(M)α/ℏL^2(M)_{α/\hbar}, αα being a weight of GG and 1/ℏ1/\hbar a large positive integer. Let [cα,∞)[c_α, \infty) be the asymptotic support of the spectrum of this operator. We will show that cαc_α extend to a function, W:g∗→RW: \mathfrak g^* \to \mathbb R and that, modulo assumptions on ττ and VV one can recover VV from WW, i.e. prove that VV is spectrally determined. The main ingredient in the proof of this result is the existence of a "generalized Legendre transform" mapping the graph of dWdW onto the graph of dVdV.

preprint2014arXiv

Semi-classical weights and equivariant spectral theory

We prove inverse spectral results for differential operators on manifolds and orbifolds invariant under a torus action. These inverse spectral results involve the asymptotic equivariant spectrum, which is the spectrum itself together with "very large" weights of the torus action on eigenspaces. More precisely, we show that the asymptotic equivariant spectrum of the Laplace operator of any toric metric on a generic toric orbifold determines the equivariant biholomorphism class of the orbifold; we also show that the asymptotic equivariant spectrum of a T^n-invariant Schrodinger operator on R^n determines its potential in some suitably convex cases. In addition, we prove that the asymptotic equivariant spectrum of an S^1-invariant metric on S^2 determines the metric itself in many cases. Finally, we obtain an asymptotic equivariant inverse spectral result for weighted projective spaces. As a crucial ingredient in these inverse results, we derive a surprisingly simple formula for the asymptotic equivariant trace of a family of semi-classical differential operators invariant under a torus action.

preprint2014arXiv

Singularities of the wave trace for the Friedlander model

In a recent preprint, we showed that for the Dirichlet Laplacian ΔΔ on the unit disk, the wave trace Tr(eitΔ){Tr}(e^{it\sqrtΔ}), which has complicated singularities on 2π−ε<t<2π2π- ε< t < 2π, is, on the interval 2π<t<2π+ε2π< t < 2π+ ε, the restriction to this interval of a C∞C^\infty function on its closure. In this paper we prove the analogue of this somewhat counter-intuitive result for the Friedlander model. The proof for the Friedlander model is simpler and more transparent than in the case of the unit disk.

preprint2014arXiv

Symplectic and Poisson geometry on b-manifolds

Let M2nM^{2n} be a Poisson manifold with Poisson bivector field ΠΠ. We say that MM is b-Poisson if the map Πn:M→Λ2n(TM)Π^n:M\toΛ^{2n}(TM) intersects the zero section transversally on a codimension one submanifold Z⊂MZ\subset M. This paper will be a systematic investigation of such Poisson manifolds. In particular, we will study in detail the structure of (M,Π)(M,Π) in the neighbourhood of ZZ and using symplectic techniques define topological invariants which determine the structure up to isomorphism. We also investigate a variant of de Rham theory for these manifolds and its connection with Poisson cohomology.

preprint2012arXiv

Equivariant KK-theory of GKM bundles

Given a fiber bundle of GKM spaces, π ⁣:M→Bπ\colon M\to B, we analyze the structure of the equivariant KK-ring of MM as a module over the equivariant KK-ring of BB by translating the fiber bundle, ππ, into a fiber bundle of GKM graphs and constructing, by combinatorial techniques, a basis of this module consisting of KK-classes which are invariant under the natural holonomy action on the KK-ring of MM of the fundamental group of the GKM graph of BB. We also discuss the implications of this result for fiber bundles π ⁣:M→Bπ\colon M\to B where MM and BB are generalized partial flag varieties and show how our GKM description of the equivariant KK-ring of a homogeneous GKM space is related to the Kostant-Kumar description of this ring.

preprint2012arXiv

Hearing Delzant polytopes from the equivariant spectrum

Let M^{2n} be a symplectic toric manifold with a fixed T^n-action and with a toric Kähler metric g. Abreu asked whether the spectrum of the Laplace operator ΔgΔ_g on C∞(M)\mathcal{C}^\infty(M) determines the moment polytope of M, and hence by Delzant's theorem determines M up to symplectomorphism. We report on some progress made on an equivariant version of this conjecture. If the moment polygon of M^4 is generic and does not have too many pairs of parallel sides, the so-called equivariant spectrum of M and the spectrum of its associated real manifold M_R determine its polygon, up to translation and a small number of choices. For M of arbitrary even dimension and with integer cohomology class, the equivariant spectrum of the Laplacian acting on sections of a naturally associated line bundle determines the moment polytope of M.

preprint2011arXiv

A Fulling-Kuchment theorem for the 1D harmonic oscillator

We prove that there exists a pair of "non-isospectral" 1D semiclassical Schrödinger operators whose spectra agree modulo h^\infty. In particular, all their semiclassical trace invariants are the same. Our proof is based on an idea of Fulling-Kuchment and Hadamard's variational formula applied to suitable perturbations of the harmonic oscillator. Keywords: Inverse spectral problems, semiclassical Schrödinger operators, trace invariants, Hadamard's variational formula, harmonic oscillator, Penrose mushroom, Sturm-Liouville theory.

preprint2011arXiv

Balanced fiber bundles and GKM theory

Let TT be a torus and BB a compact T−T-manifold. Goresky, Kottwitz, and MacPherson show in \cite{GKM} that if BB is (what was subsequently called) a GKM manifold, then there exists a simple combinatorial description of the equivariant cohomology ring HT∗(B)H_T^*(B) as a subring of HT∗(BT)H_T^*(B^T). In this paper we prove an analogue of this result for T−T-equivariant fiber bundles: we show that if MM is a T−T-manifold and π ⁣:M→Bπ\colon M \to B a fiber bundle for which ππ intertwines the two T−T-actions, there is a simple combinatorial description of HT∗(M)H_T^*(M) as a subring of HT∗(π−1(BT))H_T^*(π^{-1}(B^T)). Using this result we obtain fiber bundle analogues of results of \cite{GHZ} on GKM theory for homogeneous spaces.

preprint2011arXiv

Band invariants for perturbations of the harmonic oscillator

We study the direct and inverse spectral problems for semiclassical operators of the form $S = S_0 +\h^2V$, where $S_0 = \frac 12 \Bigl(-\h^2Δ_{\bbR^n} + |x|^2\Bigr)$ is the harmonic oscillator and $V:\bbR^n\to\bbR$ is a tempered smooth function. We show that the spectrum of SS forms eigenvalue clusters as $\h$ tends to zero, and compute the first two associated "band invariants". We derive several inverse spectral results for VV, under various assumptions. In particular we prove that, in two dimensions, generic analytic potentials that are even with respect to each variable are spectrally determined (up to a rotation).

preprint2011arXiv

Codimension one symplectic foliations and regular Poisson structures

In this short note we give a complete characterization of a certain class of compact corank one Poisson manifolds, those equipped with a closed one-form defining the symplectic foliation and a closed two-form extending the symplectic form on each leaf. If such a manifold has a compact leaf, then all the leaves are compact, and furthermore the manifold is a mapping torus of a compact leaf. These manifolds and their regular Poisson structures admit an extension as the critical hypersurface of a Poisson b-manifold as we consider in a later paper.

preprint2011arXiv

Equivariant inverse spectral theory and toric orbifolds

Let O be a symplectic toric 2n-dimensional orbifold with a fixed T^n-action and with a toric Kahler metric g. We previously explored whether, when O is a manifold, the equivariant spectrum of the Laplace operator acting on smooth functions on (O,g) determines the moment polytope of O, and hence by Delzant's theorem determines O up to symplectomorphism. In the setting of toric orbifolds we significantly improve upon our previous results and show that the moment polytope of a generic toric orbifold is determined by its equivariant spectrum, up to two possibilities and up to translation. This involves developing the asymptotic expansion of the heat trace on an orbifold in the presence of an isometry. We also show that the equivariant spectrum determines whether the toric Kahler metric has constant scalar curvature.

preprint2010arXiv

Singularities of the wave trace near cluster points of the length spectrum

Let −λj-λ_j be the eigenvalues of the Laplace operator on the unit disk with Dirichlet conditions. The distribution h(t)=∑jeiλjth(t) = \sum_j e^{i\sqrtλ_j t} is the trace of the solution operator of the wave equation on the disk. It is well known that hh has isolated singularities at the lengths of the reflecting geodesics. In particular, hh is singular at tkt_k, the perimeter of the regular inscribed polygon with kk sides. Evidently, tk<2πt_k < 2π, the perimeter of the circle, and tkt_k tends to 2π2π. In this paper, we show that h(t)h(t) is infinitely differentiable as tt tends to 2π2π from the right.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.