-
Rigidity and flexibility in $p$-adic symplectic geometry
Authors:
Luis Crespo,
Álvaro Pelayo
Abstract:
Let $n\ge 2$ be an integer and let $p$ be a prime number. We prove that the analog of Gromov's non-squeezing theorem does not hold for $p$-adic embeddings: for any $p$-adic absolute value $R$, the entire $p$-adic space $(\mathbb{Q}_p)^{2n}$ is symplectomorphic to the $p$-adic cylinder $\mathrm{Z}_p^{2n}(R)$ of radius $R$, showing a degree of flexibility which stands in contrast with the real case.…
▽ More
Let $n\ge 2$ be an integer and let $p$ be a prime number. We prove that the analog of Gromov's non-squeezing theorem does not hold for $p$-adic embeddings: for any $p$-adic absolute value $R$, the entire $p$-adic space $(\mathbb{Q}_p)^{2n}$ is symplectomorphic to the $p$-adic cylinder $\mathrm{Z}_p^{2n}(R)$ of radius $R$, showing a degree of flexibility which stands in contrast with the real case. However, some rigidity remains: we prove that the $p$-adic affine analog of Gromov's result still holds. We will also show that in the non-linear situation, if the $p$-adic embeddings are equivariant with respect to a torus action, then non-squeezing holds, which generalizes a recent result by Figalli, Palmer and the second author. This allows us to introduce equivariant $p$-adic analytic symplectic capacities, of which the $p$-adic equivariant Gromov width is an example.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
$p$-adic symplectic geometry of integrable systems and Weierstrass-Williamson theory
Authors:
Luis Crespo,
Álvaro Pelayo
Abstract:
We establish the foundations of the local linear symplectic geometry of $p$-adic integrable systems on $p$-adic analytic symplectic $4$\--dimensional manifolds, by classifiying all their possible local linear models. In order to do this we develop a new approach, of independent interest, to the theory of Weierstrass and Williamson concerning the diagonalization of real matrices by real symplectic…
▽ More
We establish the foundations of the local linear symplectic geometry of $p$-adic integrable systems on $p$-adic analytic symplectic $4$\--dimensional manifolds, by classifiying all their possible local linear models. In order to do this we develop a new approach, of independent interest, to the theory of Weierstrass and Williamson concerning the diagonalization of real matrices by real symplectic matrices. We show that this approach can be generalized to $p$\--adic matrices, leading to a classification of real $(2n)$-by-$(2n)$ matrices and of $p$-adic $2$-by-$2$ and $4$-by-$4$ matrix normal forms, including, up to dimension $4$, the classification in the degenerate case, for which the literature is limited even in the real case. A combination of these results and the Hardy-Ramanujan formula shows that both the number of $p$-adic matrix normal forms and the number of local linear models of $p$-adic integrable systems grow almost exponentially with their dimensions, in strong contrast with the real case. The paper also includes a number of results concerning symplectic linear algebra over arbitrary fields in arbitrary dimensions as well as applications to $p$-adic mechanical systems and singularity theory for $p$-adic analytic maps on $4$-manifolds. These results fit in a program, proposed a decade ago by Voevodsky, Warren and the second author, to develop a $p$-adic theory of integrable systems with the goal of later implementing it using proof assistants.
△ Less
Submitted 20 February, 2025; v1 submitted 24 January, 2025;
originally announced January 2025.
-
The $p$-adic Jaynes-Cummings model in symplectic geometry
Authors:
Luis Crespo,
Álvaro Pelayo
Abstract:
The notion of classical $p$-adic integrable system on a $p$-adic symplectic manifold was proposed by Voevodsky, Warren and the second author a decade ago in analogy with the real case. In the present paper we introduce and study, from the viewpoint of symplectic geometry and topology, the basic properties of the $p$-adic version of the classical Jaynes-Cummings model. The Jaynes-Cummings model is…
▽ More
The notion of classical $p$-adic integrable system on a $p$-adic symplectic manifold was proposed by Voevodsky, Warren and the second author a decade ago in analogy with the real case. In the present paper we introduce and study, from the viewpoint of symplectic geometry and topology, the basic properties of the $p$-adic version of the classical Jaynes-Cummings model. The Jaynes-Cummings model is a fundamental example of integrable system going back to the work of Jaynes and Cummings in the 1960s, and which applies to many physical situations, for instance in quantum optics and quantum information theory. Several of our results depend on the value of $p$: the structure of the model depends on the class of the prime $p$ modulo $4$ and $p=2$ requires special treatment.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Ewald's Conjecture and integer points in algebraic and symplectic toric geometry
Authors:
Luis Crespo,
Álvaro Pelayo,
Francisco Santos
Abstract:
We solve several open problems concerning integer points of polytopes arising in symplectic and algebraic geometry. In this direction we give the first proof of a broad case of Ewald's Conjecture (1988) concerning symmetric integral points of monotone lattice polytopes in arbitrary dimension. We also include an asymptotic quantitative study of the set of points appearing in Ewald's Conjecture. The…
▽ More
We solve several open problems concerning integer points of polytopes arising in symplectic and algebraic geometry. In this direction we give the first proof of a broad case of Ewald's Conjecture (1988) concerning symmetric integral points of monotone lattice polytopes in arbitrary dimension. We also include an asymptotic quantitative study of the set of points appearing in Ewald's Conjecture. Then we relate this work to the problem of displaceability of orbits in symplectic toric geometry. We conclude with a proof for the $2$-dimensional case, and for a number of cases in higher dimensions, of Nill's Conjecture (2009), which is a generalization of Ewald's conjecture to smooth lattice polytopes. Along the way the paper introduces two new classes of polytopes which arise naturally in the study of Ewald's Conjecture and symplectic displaceability: neat polytopes, which are related to Oda's Conjecture, and deeply monotone polytopes.
△ Less
Submitted 20 March, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
The structure of monotone blow-ups in symplectic toric geometry and a question of McDuff
Authors:
Álvaro Pelayo,
Francisco Santos
Abstract:
Monotone polytopes, also known as smooth reflexive polytopes, are the polytopes associated to monotone symplectic toric manifolds and Gorenstein Fano toric varieties. We first show that the only monotone polytopes admitting blow-ups at vertices are the simplex and the result of a codimension-two blow-up in it (this is the polyhedral version of a result of Bonavero from 2002). Then we show that the…
▽ More
Monotone polytopes, also known as smooth reflexive polytopes, are the polytopes associated to monotone symplectic toric manifolds and Gorenstein Fano toric varieties. We first show that the only monotone polytopes admitting blow-ups at vertices are the simplex and the result of a codimension-two blow-up in it (this is the polyhedral version of a result of Bonavero from 2002). Then we show that the $n$-simplex admits disjoint blow-ups at faces if and only if the faces are disjoint and have dimensions adding up to $n-1$ or $n-2$. These results answer a question posed by Dusa McDuff in 2011.
△ Less
Submitted 6 August, 2023;
originally announced August 2023.
-
The random Arnold Conjecture: a new probabilistic Conley-Zehnder Theory for symplectic maps
Authors:
Álvaro Pelayo,
Fraydoun Rezakhanlou
Abstract:
We take the first steps to develop Conley-Zehnder Theory, as conjectured by Arnold, in the world of probability. As far as we know, this paper provides the first probabilistic theorems about the density of fixed points of symplectic twist maps in dimensions greater than $2$. In particular we will show that, when the analogue conditions to classical Conley-Zehnder theory hold, quasiperiodic symplec…
▽ More
We take the first steps to develop Conley-Zehnder Theory, as conjectured by Arnold, in the world of probability. As far as we know, this paper provides the first probabilistic theorems about the density of fixed points of symplectic twist maps in dimensions greater than $2$. In particular we will show that, when the analogue conditions to classical Conley-Zehnder theory hold, quasiperiodic symplectic twist maps have infinitely many fixed points almost surely. The paper contains also a number of theorems which go well beyond the quasiperiodic case.
△ Less
Submitted 31 July, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Moduli spaces of Delzant polytopes and symplectic toric manifolds
Authors:
Álvaro Pelayo,
Francisco Santos
Abstract:
We prove a number of geometric and topological properties of the moduli space $\mathcal{D}(n)$ of $n$-dimensional Delzant polytopes for any $n \geq 2$. Using the Delzant correspondence this allows us to answer several questions, posed in the past decade by a number of authors, concerning the moduli space $\mathcal{M}(n)$ of symplectic toric manifolds of dimension $2n$. Two highlights of the paper…
▽ More
We prove a number of geometric and topological properties of the moduli space $\mathcal{D}(n)$ of $n$-dimensional Delzant polytopes for any $n \geq 2$. Using the Delzant correspondence this allows us to answer several questions, posed in the past decade by a number of authors, concerning the moduli space $\mathcal{M}(n)$ of symplectic toric manifolds of dimension $2n$. Two highlights of the paper are the construction of examples showing that, in contrast with the work of Oda in dimension $4$, no classification of minimal models of symplectic toric manifolds should be expected in higher dimension, and a proof that the space of $n$-dimensional Delzant polytopes is path-connected, which was previously shown for $n=2$ by the first author, Pires, Ratiu and Sabatini in 2014, who made use of the classification of minimal models in this case. Our proof of path connectedness for $n\geq2$ is algorithmic and based on the fact that every rational fan can be refined to a unimodular fan, a standard result used for resolution of singularities in toric varieties.
△ Less
Submitted 4 March, 2023;
originally announced March 2023.
-
Maximal failed zero forcing sets for products of two graphs
Authors:
Ma. Nerissa M. Abara,
Prince Allan B. Pelayo
Abstract:
Let $G$ be a simple, finite graph with vertex set $V(G)$ and edge set $E(G)$, where each vertex is either colored blue or white. Define the standard zero forcing process on $G$ with the following color-change rule: let $S$ be the set of all initially blue vertices of $G$ and let $u \in S$. If $v$ is the unique white vertex adjacent to $u$ in $G$, color $v$ blue and update $S$ by adding $v$ to $S$.…
▽ More
Let $G$ be a simple, finite graph with vertex set $V(G)$ and edge set $E(G)$, where each vertex is either colored blue or white. Define the standard zero forcing process on $G$ with the following color-change rule: let $S$ be the set of all initially blue vertices of $G$ and let $u \in S$. If $v$ is the unique white vertex adjacent to $u$ in $G$, color $v$ blue and update $S$ by adding $v$ to $S$. If $S = V(G)$ after a finite number of iterations of the color-change rule, we say that $S$ is a zero forcing set for $G$. Otherwise, we say that $S$ is a failed zero forcing set. In this paper, we construct maximal failed zero forcing sets for graph products such as Cartesian products, strong products, lexicographic products, and coronas. In particular, we consider products of two paths, two cycles, and two complete graphs.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Minimum rank and failed zero forcing number of graphs
Authors:
Ma. Nerissa M. Abara,
Prince Allan B. Pelayo
Abstract:
Let $G$ be a simple, finite, and undirected graph with vertices each given an initial coloring of either blue or white. Zero forcing on graph $G$ is an iterative process of forcing its white vertices to become blue after a finite application of a specified color-change rule. We say that an initial set $S$ of blue vertices of $G$ is a zero forcing set for $G$ under the specified color-change rule i…
▽ More
Let $G$ be a simple, finite, and undirected graph with vertices each given an initial coloring of either blue or white. Zero forcing on graph $G$ is an iterative process of forcing its white vertices to become blue after a finite application of a specified color-change rule. We say that an initial set $S$ of blue vertices of $G$ is a zero forcing set for $G$ under the specified color-change rule if a finite number of iterations of zero forcing results to an updated coloring where all vertices of $G$ are blue. Otherwise, we say that $S$ is a failed zero forcing set for $G$ under the specified color-change rule. It is not difficult to see that any subset of a failed zero forcing set is also failed. Hence, our interest lies on the maximum possible cardinality of a failed zero forcing set, which we refer to as the failed zero forcing number of $G$. In this paper, we consider two color-change rules $-$ standard and positive semidefinite. We compute for the failed zero forcing numbers of several graph families. Furthermore, under each graph family, we characterize the graphs $G$ for which the failed zero forcing number is equal to the minimum rank of $G$.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Symplectic invariants of semitoric systems and the inverse problem for quantum systems
Authors:
Álvaro Pelayo
Abstract:
Simple semitoric systems were classified about ten years ago in terms of a collection of invariants, essentially given by a convex polygon with some marked points corresponding to focus-focus singularities. Each marked point is endowed with labels which are symplectic invariants of the system. We will review the construction of these invariants, and explain how they have been generalized or applie…
▽ More
Simple semitoric systems were classified about ten years ago in terms of a collection of invariants, essentially given by a convex polygon with some marked points corresponding to focus-focus singularities. Each marked point is endowed with labels which are symplectic invariants of the system. We will review the construction of these invariants, and explain how they have been generalized or applied in different contexts. One of these applications concerns quantum integrable systems and the corresponding inverse problem, which asks how much information of the associated classical system can be found in the spectrum. An approach to this problem has been to try to compute invariants in the spectrum. We will explain how this has been recently achieved for some of the invariants of semitoric systems, and discuss an open question in this direction.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
Semitoric systems of non-simple type
Authors:
Joseph Palmer,
Álvaro Pelayo,
Xiudi Tang
Abstract:
Within integrable systems, the class of so called "semitoric" integrable systems in dimension four has attracted a lot of attention in recent years, especially since fundamental examples from classical and quantum mechanics have been identified as semitoric by different groups of researchers. Several of these examples, however, show a particular trait not included in the original theory, that is,…
▽ More
Within integrable systems, the class of so called "semitoric" integrable systems in dimension four has attracted a lot of attention in recent years, especially since fundamental examples from classical and quantum mechanics have been identified as semitoric by different groups of researchers. Several of these examples, however, show a particular trait not included in the original theory, that is, the presence of multiple (i.e. two or more) rank zero isolated singularities in the same energy-momentum level sets. Systems with this property are called non-simple. This paper extends the original theory of Pelayo and Vũ Ngoc to non-simple systems.
△ Less
Submitted 18 November, 2023; v1 submitted 8 September, 2019;
originally announced September 2019.
-
Vu Ngoc's Conjecture on focus-focus singular fibers with multiple pinched points
Authors:
Álvaro Pelayo,
Xiudi Tang
Abstract:
We classify, up to fiberwise symplectomorphisms, a saturated neighborhood of a singular fiber of an integrable system (which is proper onto its image and has connected fibers) containing $k > 1$ focus-focus critical points. Our result shows that there is a one-to-one correspondence between such neighborhoods and $k$ formal power series, up to a $(\mathbb{Z}_2 \times D_k)$-action, where $D_k$ is th…
▽ More
We classify, up to fiberwise symplectomorphisms, a saturated neighborhood of a singular fiber of an integrable system (which is proper onto its image and has connected fibers) containing $k > 1$ focus-focus critical points. Our result shows that there is a one-to-one correspondence between such neighborhoods and $k$ formal power series, up to a $(\mathbb{Z}_2 \times D_k)$-action, where $D_k$ is the $k$-th dihedral group. The $k$ formal power series determine the dynamical behavior of the Hamiltonian vector fields associated to the components of the momentum map on the symplectic manifold $(M,ω)$ near the singular fiber containing the $k$ focus-focus critical points. This proves a conjecture of San Vu Ngoc from 2002.
△ Less
Submitted 17 October, 2022; v1 submitted 2 March, 2018;
originally announced March 2018.
-
Symplectic stability on manifolds with cylindrical ends
Authors:
Sean Curry,
Álvaro Pelayo,
Xiudi Tang
Abstract:
A famous result of Jurgen Moser states that a symplectic form on a compact manifold cannot be deformed within its cohomology class to an inequivalent symplectic form. It is well known that this does not hold in general for noncompact symplectic manifolds. The notion of Eliashberg-Gromov convex ends provides a natural restricted setting for the study of analogs of Moser's symplectic stability resul…
▽ More
A famous result of Jurgen Moser states that a symplectic form on a compact manifold cannot be deformed within its cohomology class to an inequivalent symplectic form. It is well known that this does not hold in general for noncompact symplectic manifolds. The notion of Eliashberg-Gromov convex ends provides a natural restricted setting for the study of analogs of Moser's symplectic stability result in the noncompact case, and this has been significantly developed in work of Cieliebak-Eliashberg. Retaining the end structure on the underlying smooth manifold, but dropping the convexity and completeness assumptions on the symplectic forms at infinity we show that symplectic stability holds under a natural growth condition on the path of symplectic forms. The result can be straightforwardly applied as we show through explicit examples.
△ Less
Submitted 26 January, 2018; v1 submitted 27 April, 2017;
originally announced April 2017.
-
Hamiltonian and symplectic symmetries: an introduction
Authors:
Álvaro Pelayo
Abstract:
Classical mechanical systems are modeled by a symplectic manifold $(M,ω)$, and their symmetries, encoded in the action of a Lie group $G$ on $M$ by diffeomorphisms that preserves $ω$. These actions, which are called "symplectic", have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s…
▽ More
Classical mechanical systems are modeled by a symplectic manifold $(M,ω)$, and their symmetries, encoded in the action of a Lie group $G$ on $M$ by diffeomorphisms that preserves $ω$. These actions, which are called "symplectic", have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s on symplectic actions of compact abelian Lie groups that are, in addition, of "Hamiltonian" type, i.e. they also satisfy Hamilton's equations. Since then a number of connections with combinatorics, finite dimensional integrable Hamiltonian systems, more general symplectic actions, and topology, have flourished. In this paper we review classical and recent results on Hamiltonian and non Hamiltonian symplectic group actions roughly starting from the results of these authors. The paper also serves as a quick introduction to the basics of symplectic geometry.
△ Less
Submitted 30 October, 2016;
originally announced October 2016.
-
Minimal models of compact symplectic semitoric manifolds
Authors:
Daniel M. Kane,
Joseph Palmer,
Álvaro Pelayo
Abstract:
A symplectic semitoric manifold is a symplectic $4$-manifold endowed with a Hamiltonian $(S^1 \times \mathbb{R})$-action satisfying certain conditions. The goal of this paper is to construct a new symplectic invariant of symplectic semitoric manifolds, the helix, and give applications. The helix is a symplectic analogue of the fan of a nonsingular complete toric variety in algebraic geometry, that…
▽ More
A symplectic semitoric manifold is a symplectic $4$-manifold endowed with a Hamiltonian $(S^1 \times \mathbb{R})$-action satisfying certain conditions. The goal of this paper is to construct a new symplectic invariant of symplectic semitoric manifolds, the helix, and give applications. The helix is a symplectic analogue of the fan of a nonsingular complete toric variety in algebraic geometry, that takes into account the effects of the monodromy near focus-focus singularities. We give two applications of the helix: first, we use it to give a classification of the minimal models of symplectic semitoric manifolds, where "minimal" is in the sense of not admitting any blowdowns. The second application is an extension to the compact case of a well known result of Vũ Ngoc about the constraints posed on a symplectic semitoric manifold by the existence of focus-focus singularities. The helix permits to translate a symplectic geometric problem into an algebraic problem, and the paper describes a method to solve this type of algebraic problem.
△ Less
Submitted 16 November, 2016; v1 submitted 17 October, 2016;
originally announced October 2016.
-
Symplectic geometry and spectral properties of classical and quantum coupled angular momenta
Authors:
Yohann Le Floch,
Álvaro Pelayo
Abstract:
We give a detailed study of the symplectic geometry of a family of integrable systems obtained by coupling two angular momenta in a non trivial way. These systems depend on a parameter t $\in$ [0, 1] and exhibit different behaviors according to its value. For a certain range of values, the system is semitoric, and we compute some of its symplectic invariants. Even though these invariants have been…
▽ More
We give a detailed study of the symplectic geometry of a family of integrable systems obtained by coupling two angular momenta in a non trivial way. These systems depend on a parameter t $\in$ [0, 1] and exhibit different behaviors according to its value. For a certain range of values, the system is semitoric, and we compute some of its symplectic invariants. Even though these invariants have been known for almost a decade, this is to our knowledge the first example of their computation in the case of a non-toric semitoric system on a compact manifold (the only invariant of toric systems is the image of the momentum map). In the second part of the paper we quantize this system, compute its joint spectrum, and describe how to use this joint spectrum to recover information about the symplectic invariants.
△ Less
Submitted 7 March, 2018; v1 submitted 19 July, 2016;
originally announced July 2016.
-
Moser stability for volume forms on noncompact fiber bundles
Authors:
Álvaro Pelayo,
Xiudi Tang
Abstract:
We prove a stability result for volume forms on fiber bundles with compact base and noncompact fibers. This generalizes the classical results of Moser and Greene--Shiohama, and recent work by the authors.
We prove a stability result for volume forms on fiber bundles with compact base and noncompact fibers. This generalizes the classical results of Moser and Greene--Shiohama, and recent work by the authors.
△ Less
Submitted 10 May, 2018; v1 submitted 13 July, 2016;
originally announced July 2016.
-
Symplectic $G$-capacities and integrable systems
Authors:
Alessio Figalli,
Joseph Palmer,
Álvaro Pelayo
Abstract:
For any Lie group $G$, we construct a $G$-equivariant analogue of symplectic capacities and give examples when $G = \mathbb{T}^k\times\mathbb{R}^{d-k}$, in which case the capacity is an invariant of integrable systems. Then we study the continuity of these capacities, using the natural topologies on the symplectic $G$-categories on which they are defined.
For any Lie group $G$, we construct a $G$-equivariant analogue of symplectic capacities and give examples when $G = \mathbb{T}^k\times\mathbb{R}^{d-k}$, in which case the capacity is an invariant of integrable systems. Then we study the continuity of these capacities, using the natural topologies on the symplectic $G$-categories on which they are defined.
△ Less
Submitted 13 November, 2015;
originally announced November 2015.
-
Spectral limits of semiclassical commuting self-adjoint operators
Authors:
Álvaro Pelayo,
San Vũ Ngoc
Abstract:
Using an abstract notion of semiclassical quantization for self-adjoint operators, we prove that the joint spectrum of a collection of commuting semiclassical self-adjoint operators converges to the classical spectrum given by the joint image of the principal symbols, in the semiclassical limit. This includes Berezin-Toeplitz quantization and certain cases of $\hbar$-pseudodifferential quantizatio…
▽ More
Using an abstract notion of semiclassical quantization for self-adjoint operators, we prove that the joint spectrum of a collection of commuting semiclassical self-adjoint operators converges to the classical spectrum given by the joint image of the principal symbols, in the semiclassical limit. This includes Berezin-Toeplitz quantization and certain cases of $\hbar$-pseudodifferential quantization, for instance when the symbols are uniformly bounded, and extends a result by L. Polterovich and the authors. In the last part of the paper we review the recent solution to the inverse problem for quantum integrable systems with periodic Hamiltonians, and explain how it also follows from the main result in this paper.
△ Less
Submitted 15 June, 2015;
originally announced June 2015.
-
Spectral asymptotics of semiclassical unitary operators
Authors:
Yohann Le Floch,
Alvaro Pelayo
Abstract:
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 conve…
▽ More
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.
△ Less
Submitted 9 April, 2018; v1 submitted 9 June, 2015;
originally announced June 2015.
-
Generating hyperbolic singularities in completely integrable systems
Authors:
Holger R. Dullin,
Álvaro Pelayo
Abstract:
Let $(M,Ω)$ be a connected symplectic 4-manifold and let $F=(J,H) : M \to \mathbb{R}^2$ be a completely integrable system on $M$ with only non-degenerate singularities and for which $J : M \to \mathbb{R}$ is a proper map. Assume that $F$ does not have singularities with hyperbolic blocks and that $p_1,...,p_n$ are the focus-focus singularities of $F$. For each subset $S=\{i_1,...,i_j\}$ we will sh…
▽ More
Let $(M,Ω)$ be a connected symplectic 4-manifold and let $F=(J,H) : M \to \mathbb{R}^2$ be a completely integrable system on $M$ with only non-degenerate singularities and for which $J : M \to \mathbb{R}$ is a proper map. Assume that $F$ does not have singularities with hyperbolic blocks and that $p_1,...,p_n$ are the focus-focus singularities of $F$. For each subset $S=\{i_1,...,i_j\}$ we will show how to modify $F$ locally around any $p_i, i \in S$, in order to create a new integrable system $\tilde{F}=(J, \tilde{H}) : M \to \mathbb{R}^2$ such that its classical spectrum $\tilde{F}(M)$ contains $j$ smooth curves of singular values corresponding to non-degenerate transversally hyperbolic singularities of $\tilde{F}$. Moreover the focus-focus singularities of $\tilde{F}$ are precisely $p_i$, $i \in \{1,...,n\} \setminus S$, and each of these $p_i$ is non-degenerate. The proof is based on Eliasson's linearization theorem for non-degenerate singularities, and properties of the Hamiltonian Hopf bifurcation.
△ Less
Submitted 4 March, 2015;
originally announced March 2015.
-
Classifying Toric and Semitoric Fans by Lifting Equations from ${\rm SL}_2({\mathbb Z})$
Authors:
Daniel M. Kane,
Joseph Palmer,
Álvaro Pelayo
Abstract:
We present an algebraic method to study four-dimensional toric varieties by lifting matrix equations from the special linear group ${\rm SL}_2({\mathbb Z})$ to its preimage in the universal cover of ${\rm SL}_2({\mathbb R})$. With this method we recover the classification of two-dimensional toric fans, and obtain a description of their semitoric analogue. As an application to symplectic geometry o…
▽ More
We present an algebraic method to study four-dimensional toric varieties by lifting matrix equations from the special linear group ${\rm SL}_2({\mathbb Z})$ to its preimage in the universal cover of ${\rm SL}_2({\mathbb R})$. With this method we recover the classification of two-dimensional toric fans, and obtain a description of their semitoric analogue. As an application to symplectic geometry of Hamiltonian systems, we give a concise proof of the connectivity of the moduli space of toric integrable systems in dimension four, recovering a known result, and extend it to the case of semitoric integrable systems with a fixed number of focus-focus points and which are in the same twisting index class. In particular, we show that any semitoric system with precisely one focus-focus singular point can be continuously deformed into a system in the same isomorphism class as the Jaynes-Cummings model from optics.
△ Less
Submitted 22 February, 2018; v1 submitted 26 February, 2015;
originally announced February 2015.
-
Symplectic actions of non-Hamiltonian type
Authors:
Álvaro Pelayo
Abstract:
Hamiltonian symplectic actions of tori on compact symplectic manifolds have been extensively studied in the past thirty years, and a number of classifications have been achieved, for instance in the case that the acting torus is $n$-dimensional and the symplectic manifold is $2n$-dimensional. In this case the $n$-dimensional orbits are Lagrangian, so it is natural to wonder whether there are inter…
▽ More
Hamiltonian symplectic actions of tori on compact symplectic manifolds have been extensively studied in the past thirty years, and a number of classifications have been achieved, for instance in the case that the acting torus is $n$-dimensional and the symplectic manifold is $2n$-dimensional. In this case the $n$-dimensional orbits are Lagrangian, so it is natural to wonder whether there are interesting classes of symplectic actions with Lagrangian orbits, and that are not Hamiltonian. It turns out that there are many such classes which contain for example the Kodaira variety, and which can be classified in terms of symplectic invariants. The paper reviews several classifications, which include symplectic actions having a Lagrangian orbit or a symplectic orbit of maximal dimension. We make an emphasis on the construction of the symplectic invariants, and their computation in examples.
△ Less
Submitted 26 January, 2015;
originally announced January 2015.
-
On the density function on moduli spaces of toric 4-manifolds
Authors:
Alessio Figalli,
Álvaro Pelayo
Abstract:
The optimal density function assigns to each symplectic toric manifold $M$ a number $0 < d \leq 1$ obtained by considering the ratio between the maximum volume of $M$ which can be filled by symplectically embedded disjoint balls and the total symplectic volume of $M$. In the toric version of this problem, $M$ is toric and the balls need to be embedded respecting the toric action on $M$. The goal o…
▽ More
The optimal density function assigns to each symplectic toric manifold $M$ a number $0 < d \leq 1$ obtained by considering the ratio between the maximum volume of $M$ which can be filled by symplectically embedded disjoint balls and the total symplectic volume of $M$. In the toric version of this problem, $M$ is toric and the balls need to be embedded respecting the toric action on $M$. The goal of this note is first to give a brief survey of the notion of toric symplectic manifold and the recent constructions of moduli space structure on them, and recall how to define a natural density function on this moduli space. Then we review previous works which explain how the study of the density function can be reduced to a problem in convex geometry, and use this correspondence to to give a simple description of the regions of continuity of the maximal density function when the dimension is $4$.
△ Less
Submitted 14 February, 2015; v1 submitted 6 August, 2014;
originally announced August 2014.
-
Inverse spectral theory for semiclassical Jaynes-Cummings systems
Authors:
Yohann Le Floch,
Álvaro Pelayo,
San Vu Ngoc
Abstract:
Quantum semitoric systems form a large class of quantum Hamiltonian integrable systems with circular symmetry which has received great attention in the past decade. They include systems of high interest to physicists and mathematicians such as the Jaynes\--Cummings model (1963), which describes a two-level atom interacting with a quantized mode of an optical cavity, and more generally the so-calle…
▽ More
Quantum semitoric systems form a large class of quantum Hamiltonian integrable systems with circular symmetry which has received great attention in the past decade. They include systems of high interest to physicists and mathematicians such as the Jaynes\--Cummings model (1963), which describes a two-level atom interacting with a quantized mode of an optical cavity, and more generally the so-called systems of Jaynes\--Cummings type. In this paper we consider the joint spectrum of a pair of commuting semiclassical operators forming a quantum integrable system of Jaynes\--Cummings type. We prove, assuming the Bohr\--Sommerfeld rules hold, that if the joint spectrum of two of these systems coincide up to $\mathcal{O}(\hbar^2)$, then the systems are isomorphic.
△ Less
Submitted 3 August, 2014; v1 submitted 19 July, 2014;
originally announced July 2014.
-
The tropical momentum map: a classification of toric log symplectic manifolds
Authors:
Marco Gualtieri,
Songhao Li,
Alvaro Pelayo,
Tudor Ratiu
Abstract:
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 decorat…
▽ More
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.
△ Less
Submitted 9 March, 2017; v1 submitted 11 July, 2014;
originally announced July 2014.
-
Fermat and the number of fixed points of periodic flows
Authors:
Leonor Godinho,
Álvaro Pelayo,
Silvia Sabatini
Abstract:
We obtain a general lower bound for the number of fixed points of a circle action on a compact almost complex manifold $M$ of dimension $2n$ with nonempty fixed point set, provided the Chern number $c_1c_{n-1}[M]$ vanishes. The proof combines techniques originating in equivariant K-theory with celebrated number theory results on polygonal numbers, introduced by Pierre de Fermat. This lower bound c…
▽ More
We obtain a general lower bound for the number of fixed points of a circle action on a compact almost complex manifold $M$ of dimension $2n$ with nonempty fixed point set, provided the Chern number $c_1c_{n-1}[M]$ vanishes. The proof combines techniques originating in equivariant K-theory with celebrated number theory results on polygonal numbers, introduced by Pierre de Fermat. This lower bound confirms in many cases a conjecture of Kosniowski from 1979, and is better than existing bounds for some symplectic actions. Moreover, if the fixed point set is discrete, we prove divisibility properties for the number of fixed points, improving similar statements obtained by Hirzebruch in 1999. Our results apply, for example, to a class of manifolds which do not support any Hamiltonian circle action, namely those for which the first Chern class is torsion. This includes, for instance, all symplectic Calabi Yau manifolds.
△ Less
Submitted 17 April, 2014;
originally announced April 2014.
-
L^2-Cohomology and complete Hamiltonian manifolds
Authors:
Rafe Mazzeo,
Álvaro Pelayo,
Tudor Ratiu
Abstract:
A classical theorem of Frankel for compact Kähler manifolds states that a Kähler S^1-action is Hamiltonian if and only if it has fixed points. We prove a metatheorem which says that when Hodge theory holds on non-compact manifolds, then Frankel's theorem still holds. Finally, we present several concrete situations in which the assumptions of the metatheorem hold.
A classical theorem of Frankel for compact Kähler manifolds states that a Kähler S^1-action is Hamiltonian if and only if it has fixed points. We prove a metatheorem which says that when Hodge theory holds on non-compact manifolds, then Frankel's theorem still holds. Finally, we present several concrete situations in which the assumptions of the metatheorem hold.
△ Less
Submitted 1 February, 2014;
originally announced February 2014.
-
Euler-MacLaurin formulas via differential operators
Authors:
Yohann Le Floch,
Álvaro Pelayo
Abstract:
Recently there has been a renewed interest in asymptotic Euler-MacLaurin formulas, partly due to applications to spectral theory of differential operators. Using elementary means, we recover such formulas for compactly supported smooth functions f on intervals, polygons, and 3-dimensional polytopes, where the coefficients in the asymptotic expansion are sums of differential operators involving onl…
▽ More
Recently there has been a renewed interest in asymptotic Euler-MacLaurin formulas, partly due to applications to spectral theory of differential operators. Using elementary means, we recover such formulas for compactly supported smooth functions f on intervals, polygons, and 3-dimensional polytopes, where the coefficients in the asymptotic expansion are sums of differential operators involving only derivatives of f in directions normal to the faces of the polytope. Our formulas apply to wedges of any dimension. This paper builds on, and is motivated by, works of Guillemin, Sternberg, and others, in the past ten years.
△ Less
Submitted 28 November, 2014; v1 submitted 19 December, 2013;
originally announced December 2013.
-
The affine invariant of generalized semitoric systems
Authors:
Álvaro Pelayo,
Tudor S. Ratiu,
San Vũ Ngoc
Abstract:
A generalized semitoric system F:=(J,H): M --> R^2 on a symplectic 4-manifold is an integrable system whose essential properties are that F is a proper map, its set of regular values is connected, J generates an S^1-action and is not necessarily proper. These systems can exhibit focus-focus singularities, which correspond to fibers of F which are topologically multipinched tori. The image F(M) is…
▽ More
A generalized semitoric system F:=(J,H): M --> R^2 on a symplectic 4-manifold is an integrable system whose essential properties are that F is a proper map, its set of regular values is connected, J generates an S^1-action and is not necessarily proper. These systems can exhibit focus-focus singularities, which correspond to fibers of F which are topologically multipinched tori. The image F(M) is a singular affine manifold which contains a distinguished set of isolated points in its interior: the focus-focus values {(x_i,y_i)} of F. By performing a vertical cutting procedure along the lines {x:=x_i}, we construct a homeomorphism f : F(M) --> f(F(M)), which restricts to an affine diffeomorphism away from these vertical lines, and generalizes a construction of Vu Ngoc. The set Δ:=f(F(M)) in R^2 is a symplectic invariant of (M,ω,F), which encodes the affine structure of F. Moreover, Δmay be described as a countable union of planar regions of four distinct types, where each type is defined as the region bounded between the graphs of two functions with various properties (piecewise linear, continuous, convex, etc). If F is a toric system, Δis a convex polygon (as proven by Atiyah and Guillemin-Sternberg) and f is the identity.
△ Less
Submitted 29 July, 2013;
originally announced July 2013.
-
An integer optimization problem for non-Hamiltonian periodic flows
Authors:
Álvaro Pelayo,
Silvia Sabatini
Abstract:
Let C be the class of compact 2n-dimensional symplectic manifolds M for which the first or (n-1) Chern class vanish. We point out an integer optimization problem to find a lower bound B(n) on the number of equilibrium points of non-Hamiltonian symplectic periodic flows on manifolds M in C. As a consequence, we confirm in dimensions 2n in {8,10,12,14,18,20, 22} a conjecture for unitary manifolds ma…
▽ More
Let C be the class of compact 2n-dimensional symplectic manifolds M for which the first or (n-1) Chern class vanish. We point out an integer optimization problem to find a lower bound B(n) on the number of equilibrium points of non-Hamiltonian symplectic periodic flows on manifolds M in C. As a consequence, we confirm in dimensions 2n in {8,10,12,14,18,20, 22} a conjecture for unitary manifolds made by Kosniowski in 1979 for the subclass C.
△ Less
Submitted 25 July, 2013;
originally announced July 2013.
-
Poincaré-Birkhoff theorems in random dynamics
Authors:
Álvaro Pelayo,
Fraydoun Rezakhanlou
Abstract:
We propose a generalization of the Poincaré-Birkhoff Theorem on area-preserving twist maps to area-preserving twist maps that are random with respect to an ergodic probability measure. The classical theory is a particular instance of the random theory we propose.
We propose a generalization of the Poincaré-Birkhoff Theorem on area-preserving twist maps to area-preserving twist maps that are random with respect to an ergodic probability measure. The classical theory is a particular instance of the random theory we propose.
△ Less
Submitted 5 December, 2014; v1 submitted 4 June, 2013;
originally announced June 2013.
-
First steps in symplectic and spectral theory of integrable systems
Authors:
Álvaro Pelayo,
San Vũ Ngoc
Abstract:
The paper intends to lay out the first steps towards constructing a unified framework to understand the symplectic and spectral theory of finite dimensional integrable Hamiltonian systems. While it is difficult to know what the best approach to such a large classification task would be, it is possible to single out some promising directions and preliminary problems. This paper discusses them and h…
▽ More
The paper intends to lay out the first steps towards constructing a unified framework to understand the symplectic and spectral theory of finite dimensional integrable Hamiltonian systems. While it is difficult to know what the best approach to such a large classification task would be, it is possible to single out some promising directions and preliminary problems. This paper discusses them and hints at a possible path, still loosely defined, to arrive at a classification. It mainly relies on recent progress concerning integrable systems with only non-hyperbolic and non-degenerate singularities.
This work originated in an attempt to develop a theory aimed at answering some questions in quantum spectroscopy. Even though quantum integrable systems date back to the early days of quantum mechanics, such as the work of Bohr, Sommerfeld and Einstein, the theory did not blossom at the time. The development of semiclassical analysis with microlocal techniques in the last forty years now permits a constant interplay between spectral theory and symplectic geometry. A main goal of this paper is to emphasize the symplectic issues that are relevant to quantum mechanical integrable systems, and to propose a strategy to solve them.
△ Less
Submitted 1 June, 2013;
originally announced June 2013.
-
Symplectic theory of completely integrable Hamiltonian systems
Authors:
Álvaro Pelayo,
San Vũ Ngoc
Abstract:
This paper explains the recent developments on the symplectic theory of Hamiltonian completely integrable systems on symplectic 4-manifolds, compact or not. One fundamental ingredient of these developments has been the understanding of singular affine structures. These developments make use of results obtained by many authors in the second half of the twentieth century, notably Arnold, Duistermaat…
▽ More
This paper explains the recent developments on the symplectic theory of Hamiltonian completely integrable systems on symplectic 4-manifolds, compact or not. One fundamental ingredient of these developments has been the understanding of singular affine structures. These developments make use of results obtained by many authors in the second half of the twentieth century, notably Arnold, Duistermaat and Eliasson, of which we also give a concise survey. As a motivation, we present a collection of remarkable results proven in the early and mid 1980s in the theory of Hamiltonian Lie group actions by Atiyah, Guillemin-Sternberg and Delzant among others, and which inspired many people, including the authors, to work on more general Hamiltonian systems. The paper concludes discussing a spectral conjecture for quantum integrable systems.
△ Less
Submitted 1 June, 2013;
originally announced June 2013.
-
Sharp symplectic embeddings of cylinders
Authors:
Álvaro Pelayo,
San Vũ Ngoc
Abstract:
We show that the cylinder Z^{2n}(1):= B^2(1)\times \mathbb{R}^{2(n-1)} embeds symplectically into B^4(R) \times \mathbb{R}^{2(n-2)} if R \geq \sqrt{3}.
We show that the cylinder Z^{2n}(1):= B^2(1)\times \mathbb{R}^{2(n-1)} embeds symplectically into B^4(R) \times \mathbb{R}^{2(n-2)} if R \geq \sqrt{3}.
△ Less
Submitted 18 April, 2013;
originally announced April 2013.
-
Symplectic spectral geometry of semiclassical operators
Authors:
Álvaro Pelayo
Abstract:
In the past decade there has been a flurry of activity at the intersection of spectral theory and symplectic geometry. In this paper we review recent results on semiclassical spectral theory for commuting Berezin-Toeplitz and h-pseudodifferential operators. The paper emphasizes the interplay between spectral theory of operators (quantum theory) and symplectic geometry of Hamiltonians (classical th…
▽ More
In the past decade there has been a flurry of activity at the intersection of spectral theory and symplectic geometry. In this paper we review recent results on semiclassical spectral theory for commuting Berezin-Toeplitz and h-pseudodifferential operators. The paper emphasizes the interplay between spectral theory of operators (quantum theory) and symplectic geometry of Hamiltonians (classical theory), with an eye towards recent developments on the geometry of finite dimensional integrable systems.
△ Less
Submitted 11 March, 2013;
originally announced March 2013.
-
Voevodsky's Univalence Axiom in homotopy type theory
Authors:
Steve Awodey,
Álvaro Pelayo,
Michael A. Warren
Abstract:
In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky's univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.
In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky's univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.
△ Less
Submitted 19 February, 2013;
originally announced February 2013.
-
Semiclassical inverse spectral theory for singularities of focus-focus type
Authors:
Álvaro Pelayo,
San Vũ Ngoc
Abstract:
We prove, assuming that the Bohr-Sommerfeld rules hold, that the joint spectrum near a focus-focus critical value of a quantum integrable system determines the classical Lagrangian foliation around the full focus-focus leaf. The result applies, for instance, to h-pseudodifferential operators, and to Berezin-Toeplitz operators on prequantizable compact symplectic manifolds.
We prove, assuming that the Bohr-Sommerfeld rules hold, that the joint spectrum near a focus-focus critical value of a quantum integrable system determines the classical Lagrangian foliation around the full focus-focus leaf. The result applies, for instance, to h-pseudodifferential operators, and to Berezin-Toeplitz operators on prequantizable compact symplectic manifolds.
△ Less
Submitted 9 February, 2013;
originally announced February 2013.
-
A preliminary univalent formalization of the p-adic numbers
Authors:
Álvaro Pelayo,
Vladimir Voevodsky,
Michael A. Warren
Abstract:
In this paper we give a preliminary formalization of the p-adic numbers, in the context of the second author's univalent foundations program. We also provide the corresponding code verifying the construction in the proof assistant Coq. Because work in the univalent setting is ongoing, the structure and organization of the construction of the p-adic numbers we give in this paper is expected to chan…
▽ More
In this paper we give a preliminary formalization of the p-adic numbers, in the context of the second author's univalent foundations program. We also provide the corresponding code verifying the construction in the proof assistant Coq. Because work in the univalent setting is ongoing, the structure and organization of the construction of the p-adic numbers we give in this paper is expected to change as Coq libraries are more suitably rearranged, and optimized, by the authors and other researchers in the future. So our construction here should be deemed as a first approximation which is subject to improvements.
△ Less
Submitted 5 February, 2013;
originally announced February 2013.
-
Semiclassical quantization and spectral limits of h-pseudodifferential and Berezin-Toeplitz operators
Authors:
Álvaro Pelayo,
Leonid Polterovich,
San Vũ Ngoc
Abstract:
We introduce a minimalistic notion of semiclassical quantization and use it to prove that the convex hull of the semiclassical spectrum of a quantum system given by a collection of commuting operators converges to the convex hull of the spectrum of the associated classical system. This gives a quick alternative solution to the isospectrality problem for quantum toric systems. If the operators are…
▽ More
We introduce a minimalistic notion of semiclassical quantization and use it to prove that the convex hull of the semiclassical spectrum of a quantum system given by a collection of commuting operators converges to the convex hull of the spectrum of the associated classical system. This gives a quick alternative solution to the isospectrality problem for quantum toric systems. If the operators are uniformly bounded, the convergence is uniform. Analogous results hold for non-commuting operators.
△ Less
Submitted 2 February, 2013;
originally announced February 2013.
-
Homotopy type theory and Voevodsky's univalent foundations
Authors:
Álvaro Pelayo,
Michael A. Warren
Abstract:
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this direction, Vladimir Voevodsky observed that it is possible to model type theory using simplicial sets and that this model satisfies an additional property, called…
▽ More
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this direction, Vladimir Voevodsky observed that it is possible to model type theory using simplicial sets and that this model satisfies an additional property, called the Univalence Axiom, which has a number of striking consequences. He has subsequently advocated a program, which he calls univalent foundations, of developing mathematics in the setting of type theory with the Univalence Axiom and possibly other additional axioms motivated by the simplicial set model. Because type theory possesses good computational properties, this program can be carried out in a computer proof assistant. In this paper we give an introduction to homotopy type theory in Voevodsky's setting, paying attention to both theoretical and practical issues. In particular, the paper serves as an introduction to both the general ideas of homotopy type theory as well as to some of the concrete details of Voevodsky's work using the well-known proof assistant Coq. The paper is written for a general audience of mathematicians with basic knowledge of algebraic topology; the paper does not assume any preliminary knowledge of type theory, logic, or computer science.
△ Less
Submitted 20 October, 2012;
originally announced October 2012.
-
The Hofer question on intermediate symplectic capacities
Authors:
Alvaro Pelayo,
San Vu Ngoc
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 March, 2013; v1 submitted 4 October, 2012;
originally announced October 2012.
-
Log-concavity and symplectic flows
Authors:
Yi Lin,
Álvaro Pelayo
Abstract:
Let M be a compact, connected symplectic 2n-dimensional manifold on which an(n-2)-dimensional torus T acts effectively and Hamiltonianly. Under the assumption that there is an effective complementary 2-torus acting on M with symplectic orbits, we show that the Duistermaat-Heckman measure of the T-action is log-concave. This verifies the logarithmic concavity conjecture for a class of inequivalent…
▽ More
Let M be a compact, connected symplectic 2n-dimensional manifold on which an(n-2)-dimensional torus T acts effectively and Hamiltonianly. Under the assumption that there is an effective complementary 2-torus acting on M with symplectic orbits, we show that the Duistermaat-Heckman measure of the T-action is log-concave. This verifies the logarithmic concavity conjecture for a class of inequivalent T-actions. Then we use this conjecture to prove the following: if there is an effective symplectic action of an (n-2)-dimensional torus T on a compact, connected symplectic 2n-dimensional manifold that admits an effective complementary symplectic action of a 2-torus with symplectic orbits, then the existence of T-fixed points implies that the T-action is Hamiltonian. As a consequence of this, we give new proofs of a classical theorem by McDuff about S^1-actions, and some of its recent extensions.
△ Less
Submitted 5 July, 2012;
originally announced July 2012.
-
Moduli spaces of toric manifolds
Authors:
Álvaro Pelayo,
Ana Rita Pires,
Tudor S. Ratiu,
Silvia Sabatini
Abstract:
We construct a distance on the moduli space of symplectic toric manifolds of dimension four. Then we study some basic topological properties of this space, in particular, path-connectedness, compactness, and completeness. The construction of the distance is related to the Duistermaat-Heckman measure and the Hausdorff metric. While the moduli space, its topology and metric, may be constructed in an…
▽ More
We construct a distance on the moduli space of symplectic toric manifolds of dimension four. Then we study some basic topological properties of this space, in particular, path-connectedness, compactness, and completeness. The construction of the distance is related to the Duistermaat-Heckman measure and the Hausdorff metric. While the moduli space, its topology and metric, may be constructed in any dimension, the tools we use in the proofs are four-dimensional, and hence so is our main result.
△ Less
Submitted 29 April, 2013; v1 submitted 30 June, 2012;
originally announced July 2012.
-
Isospectrality for quantum toric integrable systems
Authors:
Laurent Charles,
Alvaro Pelayo,
San Vu Ngoc
Abstract:
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 semi…
▽ More
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.
△ Less
Submitted 25 November, 2011;
originally announced November 2011.
-
Symplectic bifurcation theory for integrable systems
Authors:
Alvaro Pelayo,
Tudor S. Ratiu,
San Vu Ngoc
Abstract:
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 b…
▽ More
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.
△ Less
Submitted 1 August, 2011;
originally announced August 2011.
-
Applying Hodge theory to detect Hamiltonian flows
Authors:
Alvaro Pelayo,
Tudor S. Ratiu
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 12 May, 2010;
originally announced May 2010.
-
Hamiltonian dynamics and spectral theory for spin-oscillators
Authors:
Alvaro Pelayo,
San Vu Ngoc
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 May, 2010;
originally announced May 2010.
-
Fixed points of symplectic periodic flows
Authors:
Alvaro Pelayo,
Susan Tolman
Abstract:
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 p…
▽ More
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.
△ Less
Submitted 24 March, 2010;
originally announced March 2010.
-
Symplectic geometry on moduli spaces of J-holomorphic curves
Authors:
Joseph Coffey,
Liat Kessler,
Alvaro Pelayo
Abstract:
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 Sigm…
▽ More
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.
△ Less
Submitted 23 August, 2010; v1 submitted 18 May, 2009;
originally announced May 2009.
