arXiv subjects

Alvaro Pelayo

Publications and source records attributed to Alvaro Pelayo.

15 recordsLinked to original sources

arXiv2018

Spectral asymptotics of semiclassical unitary operators

This paper establishes an aspect of Bohr's correspondence principle, i.e. that quantum mechanics converges in the high frequency limit to classical mechanics, for commuting semiclassical unitary operators. We prove, under minimal assumptions, that the semiclassical limit of the convex hulls of the quantum spectrum of a collection of commuting semiclassical unitary operators converges to the convex hull of the classical spectrum of the principal symbols of the operators.

math.SP↗

arXiv2017

The tropical momentum map: a classification of toric log symplectic manifolds

We give a generalization of toric symplectic geometry to Poisson manifolds which are symplectic away from a collection of hypersurfaces forming a normal crossing configuration. We introduce the tropical momentum map, which takes values in a generalization of affine space called a log affine manifold. Using this momentum map, we obtain a complete classification of such manifolds in terms of decorated log affine polytopes, hence extending the classification of symplectic toric manifolds achieved by Atiyah, Guillemin-Sternberg, Kostant, and Delzant.

math.SG↗

arXiv2013

The Hofer question on intermediate symplectic capacities

Roughly twenty five years ago Hofer asked: can the cylinder B^2(1) \times \mathbb{R}^{2(n-1)} be symplectically embedded into B^{2(n-1)}(R) \times \mathbb{R}^2 for some R>0? We show that this is the case if R \geq \sqrt{2^{n-1}+2^{n-2}-2}. We deduce that there are no intermediate capacities, between 1-capacities, first constructed by Gromov in 1985, and n-capacities, answering another question of Hofer. In 2008, Guth reached the same conclusion under the additional hypothesis that the intermediate capacities should satisfy the exhaustion property.

math.SG↗

arXiv2011

Isospectrality for quantum toric integrable systems

We settle affirmatively the isospectral problem for quantum toric integrable systems: the semiclassical joint spectrum of such a system, given by a sequence of commuting Toeplitz operators on a sequence of Hilbert spaces, determines the classical integrable system given by the symplectic manifold and Poisson commuting functions, up to symplectomorphisms. We also give a full description of the semiclassical spectral theory of quantum toric integrable systems. This type of problem belongs to the realm of classical questions in spectral theory going back to pioneer works of Colin de Verdiere, Guillemin, Sternberg and others in the 1970s and 1980s.

math.SG↗

arXiv2011

Symplectic bifurcation theory for integrable systems

This paper develops a symplectic bifurcation theory for integrable systems in dimension four. We prove that if an integrable system has no hyperbolic singularities and its bifurcation diagram has no vertical tangencies, then the fibers of the induced singular Lagrangian fibration are connected. The image of this singular Lagrangian fibration is, up to smooth deformations, a planar region bounded by the graphs of two continuous functions. The bifurcation diagram consists of the boundary points in this image plus a countable collection of rank zero singularities, which are contained in the interior of the image. Because it recently has become clear to the mathematics and mathematical physics communities that the bifurcation diagram of an integrable system provides the best framework to study symplectic invariants, this paper provides a setting for studying quantization questions, and spectral theory of quantum integrable systems.

math.DS↗

arXiv2010

Symplectic geometry on moduli spaces of J-holomorphic curves

Let (M,ω) be a symplectic manifold, and Sigma a compact Riemann surface. We define a 2-form on the space of immersed symplectic surfaces in M, and show that the form is closed and non-degenerate, up to reparametrizations. Then we give conditions on a compatible almost complex structure J on (M,ω) that ensure that the restriction of the form to the moduli space of simple immersed J-holomorphic Sigma-curves in a homology class A in H_2(M,\Z) is a symplectic form, and show applications and examples. In particular, we deduce sufficient conditions for the existence of J-holomorphic Sigma-curves in a given homology class for a generic J.

math.SG↗

arXiv2010

Applying Hodge theory to detect Hamiltonian flows

We prove that when Hodge theory survives on non-compact symplectic manifolds, a compact symplectic Lie group action having fixed points is necessarily Hamiltonian, provided the associated almost complex structure preserves the space of harmonic one-forms. For example, this is the case for complete Kähler manifolds for which the symplectic form has an appropriate decay at infinity. This extends a classical theorem of Frankel for compact Kähler manifolds to complete non-compact Kähler manifolds.

math.SG↗

arXiv2010

Hamiltonian dynamics and spectral theory for spin-oscillators

We study the Hamiltonian dynamics and spectral theory of spin-oscillators. Because of their rich structure, spin-oscillators display fairly general properties of integrable systems with two degrees of freedom. Spin-oscillators have infinitely many transversally elliptic singularities, exactly one elliptic-elliptic singularity and one focus-focus singularity. The most interesting dynamical features of integrable systems, and in particular of spin-oscillators, are encoded in their singularities. In the first part of the paper we study the symplectic dynamics around the focus-focus singularity. In the second part of the paper we quantize the coupled spin-oscillators systems and study their spectral theory. The paper combines techniques from semiclassical analysis with differential geometric methods.

math.SG↗

arXiv2010

Fixed points of symplectic periodic flows

The study of fixed points is a classical subject in geometry and dynamics. If the circle acts in a Hamiltonian fashion on a compact symplectic manifold M, then it is classically known that there are at least 1 + dim(M)/2 fixed points; this follows from Morse theory for the momentum map of the action. In this paper we use Atiyah-Bott-Berline-Vergne (ABBV) localization in equivariant cohomology to prove that this conclusion also holds for symplectic circle actions with non-empty fixed sets, as long as the Chern class map is somewhere injective -- the Chern class map assigns to a fixed point the sum of the action weights at the point. We complement this result with less sharp lower bounds on the number of fixed points, under no assumptions; from a dynamical systems viewpoint, our results imply that there is no symplectic periodic flow with exactly one or two equilibrium points on a compact manifold of dimension at least eight.

math.SG↗

arXiv2009

Constructing integrable systems of semitoric type

Let M be a connected, symplectic 4-manifold. A semitoric integrable system on M essentially consists of a pair of independent, real-valued, smooth functions J and H on the manifold M, for which J generates a Hamiltonian circle action under which H is invariant. In this paper we give a general method to construct, starting from a collection of five ingredients, a symplectic 4-manifold equipped a semitoric integrable system. Then we show that every semitoric integrable system on a symplectic 4-manifold is obtained in this fashion. In conjunction with the uniqueness theorem proved recently by the authors (Invent. Math. 2009), this gives a classification of semitoric integrable systems on 4-manifolds, in terms of five invariants. Some of the invariants are geometric, others are analytic and others are combinatorial/group-theoretic.

math.SG↗

arXiv2008

Semitoric integrable systems on symplectic 4-manifolds

Let M be a symplectic 4-manifold. A semitoric integrable system on M is a pair of real-valued smooth functions J, H on M for which J generates a Hamiltonian S^1-action and the Poisson brackets {J,H} vanish. We shall introduce new global symplectic invariants for these systems; some of these invariants encode topological or geometric aspects, while others encode analytical information about the singularities and how they stand with respect to the system. Our goal is to prove that a semitoric system is completely determined by the invariants we introduce.

math.SG↗

arXiv2007

Maximal ball packings of symplectic-toric manifolds

Let M be a symplectic-toric manifold of dimension at least four. This paper investigates the so called symplectic ball packing problem in the toral equivariant setting. We show that the set of toric symplectic ball packings of M admits the structure of a convex polytope. Previous work of the first author shows that up to equivalence, only CP^1 x CP^1 and CP^2 admit density one packings when n=2 and only CP^n admits density one packings when n>2. In contrast, we show that for a fixed n>=2 and each r in (0, 1), there are uncountably many inequivalent 2n-dimensional symplectic-toric manifolds with a maximal toric packing of density r. This result follows from a general analysis of how the densities of maximal packings change while varying a given symplectic-toric manifold through a family of symplectic-toric manifolds that are equivariantly diffeomorphic but not equivariantly symplectomorphic.

math.SG↗

arXiv2007

Topology of spaces of equivariant symplectic embeddings

We compute the homotopy type of the space of T^n-equivariant symplectic embeddings from the standard 2n-dimensional ball of some fixed radius into a 2n-dimensional symplectic-toric manifold M, and use this computation to define a Z-valued step function on the positive real line which is an invariant of the symplectic-toric type of M. We conclude with a discussion of the partially equivariant case of this result.

math.SG↗

arXiv2007

Toric symplectic ball packing

We define and solve the toric version of the symplectic ball packing problem, in the sense of listing all 2n-dimensional symplectic-toric manifolds which admit a perfect packing by balls embedded in a symplectic and torus equivariant fashion. In order to do this we first describe a problem in geometric-combinatorics which is equivalent to the toric symplectic ball packing problem. Then we solve this problem using arguments from Convex Geometry and Delzant theory. Applications to symplectic blowing-up are also presented, and some further questions are raised in the last section.

math.SG↗

arXiv2006

Symplectic actions of 2-tori on 4-manifolds

We classify symplectic actions of 2-tori on compact, connected symplectic 4-manifolds, up to equivariant symplectomorphisms. This extends results of Atiyah, Guillemin-Sternberg, Delzant and Benoist. The classification is in terms of a collection of invariants, which are invariants of the topology of the manifold, of the torus action and of the symplectic form. We construct explicit models of such symplectic manifolds with torus actions, defined in terms of these invariants. We also classify, up to equivariant symplectomorphisms, symplectic actions of (2n-2)-dimensional tori on 2n-dimensional symplectic manifolds, when at least one orbit is a (2n-2)-dimensional symplectic submanifold. Then we show that a 2n-dimensional symplectic manifold M equipped with a free symplectic action of a (2n-2)-dimensional torus with at least one (2n-2)-dimensional symplectic orbit is equivariantly diffeomorphic to M/T x T equipped with the translational action of T. Thus two such symplectic manifolds are equivariantly diffeomorphic if and only if their orbit spaces are surfaces of the same genus.

math.SG↗