BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Álvaro Pelayo

Álvaro Pelayo contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.SGmath.SPmath-phmath.DGmath.DSmath.MPmath.LOLogic in Computer Sciencemath.ATmath.GTmath.APmath.CAmath.FAmath.HOmath.MGmath.PRnlin.SI

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
17topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

21 published item(s)

preprint2020arXiv

Symplectic invariants of semitoric systems and the inverse problem for quantum systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the density function on moduli spaces of toric 4-manifolds

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Spectral limits of semiclassical commuting self-adjoint operators

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Symplectic actions of non-Hamiltonian type

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Euler-MacLaurin formulas via differential operators

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Fermat and the number of fixed points of periodic flows

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Inverse spectral theory for semiclassical Jaynes-Cummings systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A preliminary univalent formalization of the p-adic numbers

In this paper we give a preliminary formalization of the p-adic numbers, in the context of the second author&#39;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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

An integer optimization problem for non-Hamiltonian periodic flows

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

First steps in symplectic and spectral theory of integrable systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Semiclassical inverse spectral theory for singularities of focus-focus type

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Symplectic spectral geometry of semiclassical operators

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Symplectic theory of completely integrable Hamiltonian systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The affine invariant of generalized semitoric systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Voevodsky&#39;s Univalence Axiom in homotopy type theory

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&#39;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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Homotopy type theory and Voevodsky&#39;s univalent foundations

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 &#34;homotopy type theory&#34;. 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&#39;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&#39;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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Log-concavity and symplectic flows

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.

0 citations0 reviewsNo code linkedOpen access