Showing 1–50 of 53 results for author: Lerman, E

Vector Fields and Flows on Subcartesian Spaces

Authors: Yael Karshon, Eugene Lerman

Abstract: This paper is part of a series of papers on differential geometry of $C^\infty$-ringed spaces. In this paper, we study vector fields and their flows on a class of singular spaces. Our class includes arbitrary subspaces of manifolds, as well as symplectic and contact quotients by actions of compact Lie groups. We show that derivations of the $C^\infty$-ring of global smooth functions integrate to s… ▽ More This paper is part of a series of papers on differential geometry of $C^\infty$-ringed spaces. In this paper, we study vector fields and their flows on a class of singular spaces. Our class includes arbitrary subspaces of manifolds, as well as symplectic and contact quotients by actions of compact Lie groups. We show that derivations of the $C^\infty$-ring of global smooth functions integrate to smooth flows. △ Less

Submitted 16 November, 2023; v1 submitted 20 July, 2023; originally announced July 2023.

Comments: This paper is one in a series of papers, two other arXiv:2212.11163 and arXiv:2307.05604

Journal ref: SIGMA 19 (2023), 093, 17 pages

Cartan calculus for $C^\infty$-ringed spaces

Authors: Eugene Lerman

Abstract: In an earlier paper (arXiv:2212.11163) I constructed a complex of differential forms on a local $C^\infty$-ringed space. In this paper I define a sheaf of vector fields (``the tangent sheaf'') on a local $C^\infty$-ringed space, define contractions of vector fields and forms, Lie derivatives of forms with respect to vector fields, and show that the standard equations of Cartan calculus hold for ve… ▽ More In an earlier paper (arXiv:2212.11163) I constructed a complex of differential forms on a local $C^\infty$-ringed space. In this paper I define a sheaf of vector fields (``the tangent sheaf'') on a local $C^\infty$-ringed space, define contractions of vector fields and forms, Lie derivatives of forms with respect to vector fields, and show that the standard equations of Cartan calculus hold for vector fields and differential forms on local $C^\infty$-ringed spaces. △ Less

Submitted 2 January, 2024; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: 37 pages

Differential forms on $C^\infty$-ringed spaces

Authors: Eugene Lerman

Abstract: We construct a complex of differential forms on a local $C^\infty$-ringed space. The two main classes of spaces we have in mind are differential spaces in the sense of Sikorski and $C^\infty$-schemes. Just as in the case of manifolds the construction is functorial. Consequently forms can be integrated over simplices and Stokes' theorem holds. We construct a complex of differential forms on a local $C^\infty$-ringed space. The two main classes of spaces we have in mind are differential spaces in the sense of Sikorski and $C^\infty$-schemes. Just as in the case of manifolds the construction is functorial. Consequently forms can be integrated over simplices and Stokes' theorem holds. △ Less

Submitted 16 August, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: v3: 38 pages. Paper shortened by removal of expository material

Journal ref: Journal of Geometry and Physics, Volume 196, February 2024, 105062

Stability and bifurcations of symmetric tops

Authors: Eugene Lerman

Abstract: We study the stability and bifurcation of relative equilibria of a particle on the Lie group $SO(3)$ whose motion is governed by an $SO(3)\times SO(2)$ invariant metric and an $SO(2)\times SO(2)$ invariant potential. Our method is to reduce the number of degrees of freedom at singular values of the $SO(2)\times SO(2)$ momentum map and study the stability of the equilibria of the reduced systems as… ▽ More We study the stability and bifurcation of relative equilibria of a particle on the Lie group $SO(3)$ whose motion is governed by an $SO(3)\times SO(2)$ invariant metric and an $SO(2)\times SO(2)$ invariant potential. Our method is to reduce the number of degrees of freedom at singular values of the $SO(2)\times SO(2)$ momentum map and study the stability of the equilibria of the reduced systems as a function of spin. The result is an elementary analysis of the fast/slow transition in the Lagrange and Kirchhoff tops. More generally, since an $SO(2)\times SO(2)$ invariant potential on $SO(3)$ can be thought of as ${\mathbb Z}_2$ invariant function on a circle, we analyze the stability and bifurcation of relative equilibria of the system in terms of the second and fourth derivative of the function. △ Less

Submitted 8 November, 2021; originally announced November 2021.

Comments: 19 pages

Runge-Kutta and Networks

Authors: Lee DeVille, Eugene Lerman, James Schmidt

Abstract: We categorify the RK family of numerical integration methods (explicit and implicit). Namely we prove that if a pair of ODEs are related by an affine map then the corresponding discrete time dynamical systems are also related by the map. We show that in practice this works well when the pairs of related ODEs come from the coupled cell networks formalism and, more generally, from fibrations of netw… ▽ More We categorify the RK family of numerical integration methods (explicit and implicit). Namely we prove that if a pair of ODEs are related by an affine map then the corresponding discrete time dynamical systems are also related by the map. We show that in practice this works well when the pairs of related ODEs come from the coupled cell networks formalism and, more generally, from fibrations of networks of manifolds. △ Less

Submitted 29 August, 2019; originally announced August 2019.

Comments: 11 pages, comments welcome

Networks of hybrid open systems

Authors: Eugene Lerman, James Schmidt

Abstract: We generalize the results of "Networks of open systems" by the first author to the setting of hybrid systems. In particular we introduce the notions of hybrid open systems, their networks and maps between networks. A network of systems is a blueprint for building a larger system out of smaller subsystems by specifying a pattern of interactions between subsystems --- an interconnection map. Maps be… ▽ More We generalize the results of "Networks of open systems" by the first author to the setting of hybrid systems. In particular we introduce the notions of hybrid open systems, their networks and maps between networks. A network of systems is a blueprint for building a larger system out of smaller subsystems by specifying a pattern of interactions between subsystems --- an interconnection map. Maps between networks allow us to produce maps between complex hybrid dynamical systems by specifying maps between their subsystems △ Less

Submitted 29 November, 2019; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: v2: 44 pages, expository changes, comments are welcome

Left-invariant vector fields on a Lie 2-group

Authors: Eugene Lerman

Abstract: A Lie 2-group $G$ is a category internal to the category of Lie groups. Consequently it is a monoidal category and a Lie groupoid. The Lie groupoid structure on $G$ gives rise to the Lie 2-algebra $\mathbb{X}(G)$ of multiplicative vector fields, see (Berwick-Evans -- Lerman). The monoidal structure on $G$ gives rise to a left action of the 2-group $G$ on the Lie groupoid $G$, hence to an action of… ▽ More A Lie 2-group $G$ is a category internal to the category of Lie groups. Consequently it is a monoidal category and a Lie groupoid. The Lie groupoid structure on $G$ gives rise to the Lie 2-algebra $\mathbb{X}(G)$ of multiplicative vector fields, see (Berwick-Evans -- Lerman). The monoidal structure on $G$ gives rise to a left action of the 2-group $G$ on the Lie groupoid $G$, hence to an action of $G$ on the Lie 2-algebra $\mathbb{X}(G)$. As a result we get the Lie 2-algebra $\mathbb{X}(G)^G$ of left-invariant multiplicative vector fields. On the other hand there is a well-known construction that associates a Lie 2-algebra $\mathfrak{g}$ to a Lie 2-group $G$: apply the functor $\mathsf{Lie}: \mathsf{Lie Groups} \to \mathsf{Lie Algebras}$ to the structure maps of the category $G$. We show that the Lie 2-algebra $\mathfrak{g}$ is isomorphic to the Lie 2-algebra $\mathbb{X}(G)^G$ of left invariant multiplicative vector fields. △ Less

Submitted 30 July, 2019; v1 submitted 8 August, 2018; originally announced August 2018.

Comments: 22 pages, to appear in Theory and Applications of Categories

Journal ref: Theory and Applications of Categories, Vol. 34, 2019, No. 21, pp 604-634

Networks of open systems

Authors: Eugene Lerman

Abstract: Many systems of interest in science and engineering are made up of interacting subsystems. These subsystems, in turn, could be made up of collections of smaller interacting subsystems and so on. In a series of papers David Spivak with collaborators formalized these kinds of structures (systems of systems) as algebras over presentable colored operads. It is also very useful to consider maps between… ▽ More Many systems of interest in science and engineering are made up of interacting subsystems. These subsystems, in turn, could be made up of collections of smaller interacting subsystems and so on. In a series of papers David Spivak with collaborators formalized these kinds of structures (systems of systems) as algebras over presentable colored operads. It is also very useful to consider maps between dynamical systems, which in effect amounts to viewing dynamical systems as objects in an appropriate category. This is the point of view taken by DeVille and Lerman in the study of dynamics on networks. The goal of this paper is to describe an algebraic structure that encompasses both approaches to systems of systems. This allows us, on one hand, build new large open systems out of collections of smaller open subsystems and on the other keep track of maps between open systems. Consequently we obtain synchrony results for open systems which generalize the synchrony results of Golubitsky, Stewart and their collaborators for groupoid invariant vector fields on coupled cell networks. △ Less

Submitted 16 January, 2018; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: The paper supersedes arxiv:1602.01017. v2: examples added

A category of hybrid systems

Authors: Eugene Lerman

Abstract: We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions. We plan to use this result to define and study networks of hybrid systems. We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions. We plan to use this result to define and study networks of hybrid systems. △ Less

Submitted 6 December, 2016; originally announced December 2016.

Comments: Preliminary version. A small piece of a larger project. Comments welcome

Lie 2-algebras of vector fields

Authors: Daniel Berwick-Evans, Eugene Lerman

Abstract: We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category of vector fields on the Lie groupoid is equivalent to the category of vector fields on the stack. The category of vector fields on the Lie groupoid has a Lie 2… ▽ More We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category of vector fields on the Lie groupoid is equivalent to the category of vector fields on the stack. The category of vector fields on the Lie groupoid has a Lie 2-algebra structure built from known (ordinary) Lie brackets on multiplicative vector fields of Mackenzie and Xu and the global sections of the Lie algebroid of the Lie groupoid. After giving a precise formulation of Morita invariance of the construction, we verify that the Lie 2-algebra structure defined in this way is well-defined on the underlying stack. △ Less

Submitted 2 June, 2020; v1 submitted 13 September, 2016; originally announced September 2016.

Comments: 32 pages. (v2) Changes in exposition. In particular we exercise more care in handling maps of Lie 2-algebras. (v3) major reorganization and additional content (v4) more new content

Journal ref: Pacific J. Math. 309 (2020) 1-34

An algebra of open continuous time dynamical systems and networks

Authors: Eugene Lerman, David I. Spivak

Abstract: Many systems of interest in science and engineering are made up of interacting subsystems. These subsystems, in turn, could be made up of collections of smaller interacting subsystems and so on. In a series of papers David Spivak with collaborators formalized these kinds of structures (systems of systems) as algebras over presentable colored operads. It is also very useful to consider maps betwe… ▽ More Many systems of interest in science and engineering are made up of interacting subsystems. These subsystems, in turn, could be made up of collections of smaller interacting subsystems and so on. In a series of papers David Spivak with collaborators formalized these kinds of structures (systems of systems) as algebras over presentable colored operads. It is also very useful to consider maps between dynamical systems. This amounts to viewing dynamical systems as objects in an appropriate category. This is the point taken by DeVille and Lerman in the study of dynamics on networks. The goal of this paper is to describe an algebraic structure that encompasses both approaches to systems of systems. To this end we replace the monoidal category of wiring diagrams by a monoidal double category whose objects are surjective submersions. This allows us, on one hand, build new large open systems out of collections of smaller open subsystems and on the other keep track of maps between open systems. As a special case we recover the results of DeVille and Lerman on fibrations of networks of manifolds. △ Less

Submitted 27 June, 2017; v1 submitted 2 February, 2016; originally announced February 2016.

Comments: superseded by arXiv:1705.04814 [math.OC]

Parallel Transport on Principal Bundles over Stacks

Authors: Brian Collier, Eugene Lerman, Seth Wolbert

Abstract: In this paper we introduce a notion of parallel transport for principal bundles with connections over differentiable stacks. We show that principal bundles with connections over stacks can be recovered from their parallel transport thereby extending the results of Barrett, Caetano and Picken, and Schreiber and Waldof from manifolds to stacks. In the process of proving our main result we simplify… ▽ More In this paper we introduce a notion of parallel transport for principal bundles with connections over differentiable stacks. We show that principal bundles with connections over stacks can be recovered from their parallel transport thereby extending the results of Barrett, Caetano and Picken, and Schreiber and Waldof from manifolds to stacks. In the process of proving our main result we simplify Schreiber and Waldorf's definition of a transport functor for principal bundles with connections over manifolds and provide a more direct proof of the correspondence between principal bundles with connections and transport functors. △ Less

Submitted 16 September, 2015; originally announced September 2015.

Comments: 33 pages

Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams

Authors: Dmitry Vagner, David I. Spivak, Eugene Lerman

Abstract: In this paper, we use the language of operads to study open dynamical systems. More specifically, we study the algebraic nature of assembling complex dynamical systems from an interconnection of simpler ones. The syntactic architecture of such interconnections is encoded using the visual language of wiring diagrams. We define the symmetric monoidal category W, from which we may construct an operad… ▽ More In this paper, we use the language of operads to study open dynamical systems. More specifically, we study the algebraic nature of assembling complex dynamical systems from an interconnection of simpler ones. The syntactic architecture of such interconnections is encoded using the visual language of wiring diagrams. We define the symmetric monoidal category W, from which we may construct an operad O(W), whose objects are black boxes with input and output ports, and whose morphisms are wiring diagrams, thus prescribing the algebraic rules for interconnection. We then define two W-algebras, G and L, which associate semantic content to the structures in W. Respectively, they correspond to general and to linear systems of differential equations, in which an internal state is controlled by inputs and produces outputs. As an example, we use these algebras to formalize the classical problem of systems of tanks interconnected by pipes, and hence make explicit the algebraic relationships among systems at different levels of granularity. △ Less

Submitted 2 October, 2015; v1 submitted 7 August, 2014; originally announced August 2014.

Comments: 26 pages

MSC Class: 18D50; 93C35; 37C60; 18B20; 34G10; 34G20; ACM Class: B.4.3

Invariant vector fields and groupoids

Authors: Eugene Lerman

Abstract: We use the notion of isomorphism between two invariant vector fields to shed new light on the issue of linearization of an invariant vector field near a relative equilibrium. We argue that the notion is useful in understanding the passage from the space of invariant vector fields in a tube around a group orbit to the space invariant vector fields on a slice to the orbit. The notion comes from Hepw… ▽ More We use the notion of isomorphism between two invariant vector fields to shed new light on the issue of linearization of an invariant vector field near a relative equilibrium. We argue that the notion is useful in understanding the passage from the space of invariant vector fields in a tube around a group orbit to the space invariant vector fields on a slice to the orbit. The notion comes from Hepworth's study of vector fields on stacks. △ Less

Submitted 8 September, 2014; v1 submitted 29 July, 2013; originally announced July 2013.

Comments: 15 pages. Comments and corrections appreciated (v2): example added (v3): partially re-written in response to referees' comments. Accepted for publication in IMRN

Modular dynamical systems on networks

Authors: Lee DeVille, Eugene Lerman

Abstract: We propose a new framework for the study of continuous time dynamical systems on networks. We view such dynamical systems as collections of interacting control systems. We show that a class of maps between graphs called graph fibrations give rise to maps between dynamical systems on networks. This allows us to produce conjugacy between dynamical systems out of combinatorial data. In particular we… ▽ More We propose a new framework for the study of continuous time dynamical systems on networks. We view such dynamical systems as collections of interacting control systems. We show that a class of maps between graphs called graph fibrations give rise to maps between dynamical systems on networks. This allows us to produce conjugacy between dynamical systems out of combinatorial data. In particular we show that surjective graph fibrations lead to synchrony subspaces in networks. The injective graph fibrations, on the other hand, give rise to surjective maps from large dynamical systems to smaller ones. One can view these surjections as a kind of "fast/slow" variable decompositions or as "abstractions" in the computer science sense of the word. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Comments: 37 pages. Major revision of arXiv:1008.5359 [math.DS]. Following referees' suggestions we made the paper more accessible for applied dynamicists

Journal ref: J EMS 17, Issue 12, 2015, pp. 2977--3013

Dynamics on Networks of Manifolds

Authors: Lee DeVille, Eugene Lerman

Abstract: We propose a precise definition of a continuous time dynamical system made up of interacting open subsystems. The interconnections of subsystems are coded by directed graphs. We prove that the appropriate maps of graphs called graph fibrations give rise to maps of dynamical systems. Consequently surjective graph fibrations give rise to invariant subsystems and injective graph fibrations give rise… ▽ More We propose a precise definition of a continuous time dynamical system made up of interacting open subsystems. The interconnections of subsystems are coded by directed graphs. We prove that the appropriate maps of graphs called graph fibrations give rise to maps of dynamical systems. Consequently surjective graph fibrations give rise to invariant subsystems and injective graph fibrations give rise to projections of dynamical systems. △ Less

Submitted 12 March, 2015; v1 submitted 7 August, 2012; originally announced August 2012.

Journal ref: SIGMA 11 (2015), 022, 21 pages

Geometric quantization; a crash course

Authors: Eugene Lerman

Abstract: Early in 2011 Sam Evens acting on behalf of the organizers of the summer school on quantization at Notre Dame asked me to give a short series of lectures on geometric quantization. These lectures were meant to prepare a group of graduate mathematics students for talks at the conference on quantization which were to follow the summer school. The notes that follow resulted from this request. They ar… ▽ More Early in 2011 Sam Evens acting on behalf of the organizers of the summer school on quantization at Notre Dame asked me to give a short series of lectures on geometric quantization. These lectures were meant to prepare a group of graduate mathematics students for talks at the conference on quantization which were to follow the summer school. The notes that follow resulted from this request. They are a mostly faithful record of four one-hour lectures (except lecture 4) plus two appendices: the first one recalls bits and pieces of category theory; the second discusses densities. △ Less

Submitted 11 June, 2012; originally announced June 2012.

Comments: 20 pages, accepted for publication in Contemporary Mathematics

MSC Class: 53D50 (Primary) 53C08; 18D10 (Secondary)

Dynamics on networks I. Combinatorial categories of modular continuous-time systems

Authors: R. E. Lee DeVille, Eugene Lerman

Abstract: We develop a new framework for the study of complex continuous time dynamical systems based on viewing them as collections of interacting control modules. This framework is inspired by and builds upon the groupoid formalism of Golubitsky, Stewart and their collaborators. Our approach uses the tools and --- more importantly ---the stance of category theory. This enables us to put the groupoid forma… ▽ More We develop a new framework for the study of complex continuous time dynamical systems based on viewing them as collections of interacting control modules. This framework is inspired by and builds upon the groupoid formalism of Golubitsky, Stewart and their collaborators. Our approach uses the tools and --- more importantly ---the stance of category theory. This enables us to put the groupoid formalism in a coordinate-free setting and to extend it from ordinary differential equations to vector fields on manifolds. In particular, we construct combinatorial models for categories of modular continuous time dynamical systems. Each such model, as a category, is a fibration over an appropriate category of labeled directed graphs. This makes precise the relation between dynamical systems living on networks and the combinatorial structure of the underlying directed graphs, allowing us to exploit the relation in new and interesting ways. △ Less

Submitted 5 April, 2011; v1 submitted 31 August, 2010; originally announced August 2010.

Comments: 59 pages. (v2): abstract and introduction re-written, examples added

Categories of symplectic toric manifolds as Picard stack torsors

Authors: Eugene Lerman

Abstract: We outline a proof that the stack of symplectic toric G-manifolds over a fixed orbit space W is a torsor for the stack of symplectic toric G-principal bundles over W. We outline a proof that the stack of symplectic toric G-manifolds over a fixed orbit space W is a torsor for the stack of symplectic toric G-principal bundles over W. △ Less

Submitted 26 August, 2009; v1 submitted 19 August, 2009; originally announced August 2009.

Hamiltonian group actions on symplectic Deligne-Mumford stacks and toric orbifolds

Authors: Eugene Lerman, Anton Malkin

Abstract: We develop differential and symplectic geometry of differentiable Deligne-Mumford stacks (orbifolds) including Hamiltonian group actions and symplectic reduction. As an application we construct new examples of symplectic toric DM stacks as symplectic quotients of C^NxBG, where G is a finite non-abelian group. We develop differential and symplectic geometry of differentiable Deligne-Mumford stacks (orbifolds) including Hamiltonian group actions and symplectic reduction. As an application we construct new examples of symplectic toric DM stacks as symplectic quotients of C^NxBG, where G is a finite non-abelian group. △ Less

Submitted 19 August, 2009; v1 submitted 6 August, 2009; originally announced August 2009.

Comments: 14 pages v2: minor changes

Journal ref: Advances in Mathematics Volume 229, Issue 2, 30 January 2012, Pages 984-1000

Non-Compact Symplectic Toric Manifolds

Authors: Yael Karshon, Eugene Lerman

Abstract: A key result in equivariant symplectic geometry is Delzant's classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a unimodular ("Delzant") polytope; this gives a bijection between unimodular polytopes and isomorphism classes of compact conne… ▽ More A key result in equivariant symplectic geometry is Delzant's classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a unimodular ("Delzant") polytope; this gives a bijection between unimodular polytopes and isomorphism classes of compact connected symplectic toric manifolds. In this paper we extend Delzant's classification to non-compact symplectic toric manifolds. For a non-compact symplectic toric manifold the image of the moment map need not be convex and the induced map on the quotient need not be an embedding. Moreover, even when the map on the quotient is an embedding, its image no longer determines the symplectic toric manifold; a degree two characteristic class on the quotient makes an appearance. Nevertheless, the quotient is a manifold with corners, and the induced map from the quotient to the dual of the Lie algebra is what we call a unimodular local embedding. We classify non-compact symplectic toric manifolds in terms of manifolds with corners equipped with degree two cohomology classes and unimodular local embeddings into the dual of the Lie algebra of the corresponding torus. The main new ingredient is the construction of a symplectic toric manifold from such data. The proof passes through an equivalence of categories between symplectic toric manifolds and symplectic toric bundles over a fixed unimodular local embedding. This equivalence also gives a geometric interpretation of the degree two cohomology class. △ Less

Submitted 22 July, 2015; v1 submitted 16 July, 2009; originally announced July 2009.

MSC Class: Primary 53D20; Secondary 53035; 14M25

Journal ref: SIGMA 11 (2015), 055, 37 pages

Equivariant differential characters and symplectic reduction

Authors: Eugene Lerman, Anton Malkin

Abstract: We describe equivariant differential characters (classifying equivariant circle bundles with connections), their prequantization, and reduction. We describe equivariant differential characters (classifying equivariant circle bundles with connections), their prequantization, and reduction. △ Less

Submitted 16 July, 2008; v1 submitted 30 June, 2008; originally announced July 2008.

Journal ref: Communications in Mathematical Physics Volume 289 (2009), Number 2, 777-801

Orbifolds as stacks?

Authors: Eugene Lerman

Abstract: The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of orbifolds as a 1-category of sets with extra structure and/or with the "modern" definition of orbifolds as proper etale Lie groupoids up to Morita equivalence.… ▽ More The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of orbifolds as a 1-category of sets with extra structure and/or with the "modern" definition of orbifolds as proper etale Lie groupoids up to Morita equivalence. The second goal is to describe two complementary ways of thinking of orbifolds as a 2-category: 1. the weak 2-category of foliation Lie groupoids, bibundles and equivariant maps between bibundles and 2. the strict 2-category of Deligne-Mumford stacks over the category of smooth manifolds. △ Less

Submitted 17 June, 2009; v1 submitted 25 June, 2008; originally announced June 2008.

Comments: v2: minor changes

Journal ref: L'Enseign. Math. (2) 56 (2010), no. 3-4, 315--363

Differential characters as stacks and prequantization

Authors: Eugene Lerman, Anton Malkin

Abstract: We generalize geometric prequantization of symplectic manifolds to differentiable stacks. Our approach is atlas-independent and provides a bijection between isomorphism classes of principal circle bundles (with or without connections) and second cohomology groups of certain chain complexes. We generalize geometric prequantization of symplectic manifolds to differentiable stacks. Our approach is atlas-independent and provides a bijection between isomorphism classes of principal circle bundles (with or without connections) and second cohomology groups of certain chain complexes. △ Less

Submitted 16 July, 2008; v1 submitted 23 October, 2007; originally announced October 2007.

Orbifolds as a localization of the 2-category of groupoids

Authors: Eugene Lerman

Abstract: We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category structure drops down to the localization. In our construction the spaces of 1- and 2-arrows admit natural topologies, the space of morphisms (1-arrows) betwe… ▽ More We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category structure drops down to the localization. In our construction the spaces of 1- and 2-arrows admit natural topologies, the space of morphisms (1-arrows) between two orbifolds is naturally a groupoid and the symmetries of an orbifold form a strict 2-group. △ Less

Submitted 31 August, 2010; v1 submitted 15 August, 2006; originally announced August 2006.

Comments: This paper has been withdrawn by the author

Kaehler metrics on singular toric varieties

Authors: D. Burns, V. Guillemin, E. Lerman

Abstract: We extend Guillemin's formula for Kaehler potentials on toric manifolds to singular quotients of C^N and CP^N. We extend Guillemin's formula for Kaehler potentials on toric manifolds to singular quotients of C^N and CP^N. △ Less

Submitted 10 April, 2006; v1 submitted 19 January, 2005; originally announced January 2005.

Comments: 12 pages; (v 2) attribution corrected and a reference to a paper of Abreu added; (v3) formula for the metric on the preimages of faces corrected

Toric symplectic singular spaces I: isolated singularities

Authors: D. Burns, V. Guillemin, E. Lerman

Abstract: We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient then they are isolated. We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient then they are isolated. △ Less

Submitted 19 January, 2005; originally announced January 2005.

Comments: 10 pages

Gradient flow of the norm squared of a moment map

Authors: Eugene Lerman

Abstract: We present a proof due to Duistermaat that the gradient flow of the norm squared of the moment map defines a deformation retract of the appropriate piece of the manifold onto the zero level set of the moment map. Duistermaat's proof is an adaptation of Lojasiewicz's argument for analytic functions to functions which are locally analytic. We present a proof due to Duistermaat that the gradient flow of the norm squared of the moment map defines a deformation retract of the appropriate piece of the manifold onto the zero level set of the moment map. Duistermaat's proof is an adaptation of Lojasiewicz's argument for analytic functions to functions which are locally analytic. △ Less

Submitted 29 May, 2005; v1 submitted 27 October, 2004; originally announced October 2004.

Comments: 6 pages, expository. (v2) exposition changed following referee's suggestions. To appear in l'Enseignement Math'ematique

Journal ref: Enseign. Math. (2) 51 (2005), no. 1-2, 117--127

Existence of relative periodic orbits near relative equilibria

Authors: Viktor Ginzburg, Eugene Lerman

Abstract: We show existence of relative periodic orbits (a.k.a. relative nonlinear normal modes) near relative equilibria of a symmetric Hamiltonian system under an appropriate assumption on the Hessian of the Hamiltonian. This gives a relative version of the Moser-Weinstein theorem. The paper supersedes an earlier paper (this arxiv math.SG/9906007), which contains a mistake. We show existence of relative periodic orbits (a.k.a. relative nonlinear normal modes) near relative equilibria of a symmetric Hamiltonian system under an appropriate assumption on the Hessian of the Hamiltonian. This gives a relative version of the Moser-Weinstein theorem. The paper supersedes an earlier paper (this arxiv math.SG/9906007), which contains a mistake. △ Less

Submitted 16 February, 2004; originally announced February 2004.

Comments: 13 pages

Journal ref: Math. Res. Lett. 11 (2004), no. 2-3, 397--412

Melrose--Uhlmann projectors, the metaplectic representation and symplectic cuts

Authors: V. Guillemin, E. Lerman

Abstract: By applying the symplectic cutting operation to cotangent bundles, one can construct a large number of interesting symplectic cones. In this paper we show how to attach algebras of pseudodifferential operators to such cones and describe the symbolic properties of the algebras. By applying the symplectic cutting operation to cotangent bundles, one can construct a large number of interesting symplectic cones. In this paper we show how to attach algebras of pseudodifferential operators to such cones and describe the symbolic properties of the algebras. △ Less

Submitted 12 February, 2003; originally announced February 2003.

Comments: 26 pages; accepted for publication by J Diff Geom

Contact fiber bundles

Authors: Eugene Lerman

Abstract: We define contact fiber bundles and investigate conditions for the existence of contact structures on the total space of such a bundle. The results are analogous to minimal coupling in symplectic geometry. The two applications are construction of K-contact manifolds generalizing Yamazaki's fiber join construction and a cross-section theorem for contact moment maps We define contact fiber bundles and investigate conditions for the existence of contact structures on the total space of such a bundle. The results are analogous to minimal coupling in symplectic geometry. The two applications are construction of K-contact manifolds generalizing Yamazaki's fiber join construction and a cross-section theorem for contact moment maps △ Less

Submitted 13 January, 2003; originally announced January 2003.

Comments: 10 pages

Kaehler cuts

Authors: D. Burns, V. Guillemin, E. Lerman

Abstract: A symplectic cut of a manifold M with a Hamiltonian circle action is a symplectic quotient of M x C. If M is Kaehler then, since C is Kaehler, the cut space is Kaehler as well. The symplectic structure on the cut is well understood. In this paper we describe the complex structure (and hence the metric) on the cut. We then generalize the construction to the case where M has a torus action and C i… ▽ More A symplectic cut of a manifold M with a Hamiltonian circle action is a symplectic quotient of M x C. If M is Kaehler then, since C is Kaehler, the cut space is Kaehler as well. The symplectic structure on the cut is well understood. In this paper we describe the complex structure (and hence the metric) on the cut. We then generalize the construction to the case where M has a torus action and C is replaced by a toric Kaehler manifold. △ Less

Submitted 4 December, 2002; originally announced December 2002.

Comments: 14 pages

On maximal tori in the contactomorphism groups of regular contact manifolds

Authors: Eugene Lerman

Abstract: By a theorem of Banyaga the group of diffeomorphisms of a manifold $P$ preserving a regular contact form $α$ is a central $S^1$ extension of the commutator of the group of symplectomorphisms of the base $B = P/S^1$. We show that if $T$ is a Hamiltonian maximal torus in the group of symplectomorphism of $B$, then its preimage under the extension map is a maximal torus not only in the group… ▽ More By a theorem of Banyaga the group of diffeomorphisms of a manifold $P$ preserving a regular contact form $α$ is a central $S^1$ extension of the commutator of the group of symplectomorphisms of the base $B = P/S^1$. We show that if $T$ is a Hamiltonian maximal torus in the group of symplectomorphism of $B$, then its preimage under the extension map is a maximal torus not only in the group $\Diff(P, α)$ of diffeomorphisms of $P$ preserving $α$ but also in the much bigger group of contactomorphisms $\Diff (P, ξ)$, the group of diffeomorphism of $P$ preserving the contact distribution $ξ= \ker α$. We use this (and the work of Hausmann, and Tolman on polygon spaces) to give examples of contact manifolds $(P, ξ= \ker α)$ with maximal tori of different dimensions in their group of contactomorphisms. △ Less

Submitted 3 December, 2002; originally announced December 2002.

Comments: 3 pages

Maximal tori in the contactomorphism groups of circle bundles over Hirzebruch surfaces

Authors: Eugene Lerman

Abstract: In a recent preprint Yael Karshon showed that there exist non-conjugate tori in a group of symplectomorphisms of a Hirzebruch surface. She counted them in terms of the cohomology class of the symplectic structure. We show that a similar phenomenon exists in the contactomorphism groups of pre-quantum circle bundles over Hirzebruch surfaces. Note that the contact structures in question are fillabl… ▽ More In a recent preprint Yael Karshon showed that there exist non-conjugate tori in a group of symplectomorphisms of a Hirzebruch surface. She counted them in terms of the cohomology class of the symplectic structure. We show that a similar phenomenon exists in the contactomorphism groups of pre-quantum circle bundles over Hirzebruch surfaces. Note that the contact structures in question are fillable. This may be contrasted with an earlier paper where we showed that there are infinitely many non-conjugate tori in the contactomorphism groups of certain overtwisted lens spaces (Contact cuts, Israel J. Math, 124(2001), 77--92). △ Less

Submitted 28 April, 2002; originally announced April 2002.

Comments: 7 pages

Homotopy groups of K-contact toric manifold

Authors: Eugene Lerman

Abstract: We compute the first and second homotopy groups of a class of contact toric manifolds in terms of the images of the associated moment map. We compute the first and second homotopy groups of a class of contact toric manifolds in terms of the images of the associated moment map. △ Less

Submitted 4 April, 2002; originally announced April 2002.

Comments: 8 pages

Geodesic flows and contact toric manifolds

Authors: Eugene Lerman

Abstract: These are notes for a course on contact manifolds and torus actions delivered at the summer school on Symplectic Geometry of Integrable Hamiltonian Systems at Centre de Recerca Matemàtica in Barcelona in July 2001. To be published by Birkhauser. These are notes for a course on contact manifolds and torus actions delivered at the summer school on Symplectic Geometry of Integrable Hamiltonian Systems at Centre de Recerca Matemàtica in Barcelona in July 2001. To be published by Birkhauser. △ Less

Submitted 23 January, 2002; originally announced January 2002.

Comments: Latex 2e, about 50 pages

Contact toric manifolds

Authors: Eugene Lerman

Abstract: We complete the classification of compact connected contact toric manifolds initiated by Banyaga and Molino and by Galicki and Boyer. As an application we prove the conjectures of Toth and Zelditch on toric integrable systems on the n-torus and the 2-sphere. We complete the classification of compact connected contact toric manifolds initiated by Banyaga and Molino and by Galicki and Boyer. As an application we prove the conjectures of Toth and Zelditch on toric integrable systems on the n-torus and the 2-sphere. △ Less

Submitted 23 January, 2002; v1 submitted 27 July, 2001; originally announced July 2001.

Comments: LaTeX 2e, 25 pages. (v2) small changes

MSC Class: 53D10; secondary 14M25; 53D25

A convexity theorem for torus actions on contact manifolds

Authors: Eugene Lerman

Abstract: We show that the cone associated with a moment map for an action of a torus on a contact compact connected manifold is a convex polyhedral cone and that the moment map has connected fibers provided the dimension of the torus is bigger than 2 and that no orbit is tangent to the contact distribution. This may be considered as a version of the Atiyah - Guillemin - Sternberg convexity theorem for to… ▽ More We show that the cone associated with a moment map for an action of a torus on a contact compact connected manifold is a convex polyhedral cone and that the moment map has connected fibers provided the dimension of the torus is bigger than 2 and that no orbit is tangent to the contact distribution. This may be considered as a version of the Atiyah - Guillemin - Sternberg convexity theorem for torus actions on symplectic cones and as a direct generalization of the convexity theorem of Banyaga and Molino for completely integrable torus actions on contact manifolds. △ Less

Submitted 6 March, 2001; v1 submitted 3 December, 2000; originally announced December 2000.

Comments: 10 pages. v2: minor changes, two references added

Report number: AIM 2000-14

Toric integrable geodesic flows

Authors: Eugene Lerman, Nadya Shirokova

Abstract: By studying completely integrable torus actions on contact manifolds we prove a conjecture of Toth and Zelditch that toric integrable geodesic flows on tori must have flat metrics. By studying completely integrable torus actions on contact manifolds we prove a conjecture of Toth and Zelditch that toric integrable geodesic flows on tori must have flat metrics. △ Less

Submitted 3 November, 2001; v1 submitted 19 November, 2000; originally announced November 2000.

Comments: 12 pages. V2: paper shortened to 7 pages.V3: final version; introduction expanded; to appear in Math Res. Letters

The Topological Structure of Contact and Symplectic Quotients

Authors: Eugene Lerman, Christopher Willett

Abstract: We show that if a Lie group acts properly on a co-oriented contact manifold preserving the contact structure, then the contact quotient is topologically a stratified space (in the sense that a neighborhood of a point in the quotient is a product of a disk with a cone on a compact stratified space). As a corollary, we obtain that symplectic quotients for proper Hamiltonian actions are topological… ▽ More We show that if a Lie group acts properly on a co-oriented contact manifold preserving the contact structure, then the contact quotient is topologically a stratified space (in the sense that a neighborhood of a point in the quotient is a product of a disk with a cone on a compact stratified space). As a corollary, we obtain that symplectic quotients for proper Hamiltonian actions are topologically stratified spaces in this strong sense thereby extending and simplifying previous work. △ Less

Submitted 22 August, 2000; originally announced August 2000.

Comments: 13 pages

Report number: AIM 2000-7

Contact cuts

Authors: Eugene Lerman

Abstract: We describe a contact analog of the symplectic cut construction. As an application we show that the group of contactomorphisms for a particular overtwisted contact structure on the three sphere contains countably many nonconjugate two tori. We describe a contact analog of the symplectic cut construction. As an application we show that the group of contactomorphisms for a particular overtwisted contact structure on the three sphere contains countably many nonconjugate two tori. △ Less

Submitted 9 June, 2000; v1 submitted 4 February, 2000; originally announced February 2000.

Comments: (v2) Following referee's suggestions the paper is expanded. The local cut construction is made more precise. A theorem concerning the group of contactomorphisms of certain overtwisted lens spaces is added

Normal modes in symplectic stratified spaces

Authors: Eugene Lerman

Abstract: We generalize the Weinstein-Moser theorem on the existence of nonlinear normal modes (i.e., periodic orbits) near an equilibrium in a Hamiltonian system to a theorem on the existence of relative periodic orbits near a relative equilibrium in a Hamiltonian system with continuous symmetries. More specifically we significantly improve a result proved earlier jointly with Tokieda (math.SG/9901102)… ▽ More We generalize the Weinstein-Moser theorem on the existence of nonlinear normal modes (i.e., periodic orbits) near an equilibrium in a Hamiltonian system to a theorem on the existence of relative periodic orbits near a relative equilibrium in a Hamiltonian system with continuous symmetries. More specifically we significantly improve a result proved earlier jointly with Tokieda (math.SG/9901102): we remove a technical hypothesis which amounted to an assumption that the symmetry group is a torus. △ Less

Submitted 18 June, 1999; v1 submitted 1 June, 1999; originally announced June 1999.

Comments: 9 pages. Title changed. Exposition improved. One proposition added. References added

MSC Class: 58F

On relative normal modes

Authors: E. Lerman, T. F. Tokieda

Abstract: We generalize the Weinstein-Moser theorem on the existence of nonlinear normal modes near an equilibrium in a Hamiltonian system to a theorem on the existence of relative perodic orbits near a relative equilibrium in a Hamiltonian system with continuous symmetries. In particular we prove that under appropriate hypotheses there exist relative periodic orbits near relative equilibria even when the… ▽ More We generalize the Weinstein-Moser theorem on the existence of nonlinear normal modes near an equilibrium in a Hamiltonian system to a theorem on the existence of relative perodic orbits near a relative equilibrium in a Hamiltonian system with continuous symmetries. In particular we prove that under appropriate hypotheses there exist relative periodic orbits near relative equilibria even when these relative equilibria are singular points of the corresponding moment map, i.e. when the reduced spaces are singular. △ Less

Submitted 22 January, 1999; originally announced January 1999.

Comments: 5 pages, to appear in C.R. Acad. Sci. Paris, t. 328, S'erie I, 1999

Intersection cohomology of $S^1$ symplectic quotients and small resolutions

Authors: Eugene Lerman, Susan Tolman

Abstract: We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient. We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient. △ Less

Submitted 7 October, 1998; originally announced October 1998.

Comments: 17 pages, LaTeX 2e

MSC Class: 58F05 (Primary) 32C42 (Secondary)

Relative equilibria at singular points of the moment map

Authors: Eugene Lerman

Abstract: We prove a criterion for stability of relative equilibria in symmetric Hamiltonian systems at singular points of the momentum map. This generalizes a theorem of G.W. Patrick. The method of the proof is also useful in studying the bifurcation of relative equilibria. We prove a criterion for stability of relative equilibria in symmetric Hamiltonian systems at singular points of the momentum map. This generalizes a theorem of G.W. Patrick. The method of the proof is also useful in studying the bifurcation of relative equilibria. △ Less

Submitted 12 June, 1997; originally announced June 1997.

Comments: 10 pages, LaTeX2e

MSC Class: 58F; 70H

Stability of symmetric tops via one variable calculus

Authors: Eugene Lerman

Abstract: We study the stability of symmetric trajectories of a particle on the Lie group $SO(3)$ whose motion is governed by an $SO(3)\times SO(2)$ invariant metric and an $SO(2)\times SO(2)$ invariant potential. Our method is to reduce the number of degrees of freedom at {\em singular} values of the $SO(2)\times SO(2)$ momentum map and study the stability of the equilibria of the reduced systems as a fu… ▽ More We study the stability of symmetric trajectories of a particle on the Lie group $SO(3)$ whose motion is governed by an $SO(3)\times SO(2)$ invariant metric and an $SO(2)\times SO(2)$ invariant potential. Our method is to reduce the number of degrees of freedom at {\em singular} values of the $SO(2)\times SO(2)$ momentum map and study the stability of the equilibria of the reduced systems as a function of spin. The result is an elementary analysis of the fast/slow transition in the Lagrange and Kirchhoff tops. More generally, since an $SO(2)\times SO(2)$ invariant potential on $SO(3)$ can be thought of as ${\bf Z}_2$ invariant function on a circle, we get a condition on the second and fourth derivatives of the potential at the symmetric points that guarantees that the corresponding system gains stability as the spin increases. △ Less

Submitted 28 August, 1996; originally announced August 1996.

Comments: 10 pages, LaTeX, uses epic and eepic style files

MSC Class: 58F

Non-abelian convexity by symplectic cuts

Authors: Eugene Lerman, Eckhard Meinrenken, Sue Tolman, Chris Woodward

Abstract: In this paper we extend the results of Kirwan et alii on convexity properties of the moment map for Hamiltonian group actions, and on the connectedness of the fibers of the moment map, to the case of non-compact orbifolds. Our motivation is twofold. First, the category of orbifolds is important in symplectic geometry because, generically, the symplectic quotient of a symplectic manifold is an o… ▽ More In this paper we extend the results of Kirwan et alii on convexity properties of the moment map for Hamiltonian group actions, and on the connectedness of the fibers of the moment map, to the case of non-compact orbifolds. Our motivation is twofold. First, the category of orbifolds is important in symplectic geometry because, generically, the symplectic quotient of a symplectic manifold is an orbifold. Second, our proof is conceptually very simple since it reduces the non-abelian case to the abelian case. △ Less

Submitted 26 March, 1996; originally announced March 1996.

Comments: 19 pages, LaTeX

A compact symmetric symplectic non-Kaehler manifold

Authors: Eugene Lerman

Abstract: In this paper I construct, using off the shelf components, a compact symplectic manifold with a non-trivial Hamiltonian circle action that admits no Kaehler structure. The non-triviality of the action is guaranteed by the existence of an isolated fixed point. The motivation for this work comes from the program of classification of Hamiltonian group actions. The Audin-Ahara-Hattori-Karshon class… ▽ More In this paper I construct, using off the shelf components, a compact symplectic manifold with a non-trivial Hamiltonian circle action that admits no Kaehler structure. The non-triviality of the action is guaranteed by the existence of an isolated fixed point. The motivation for this work comes from the program of classification of Hamiltonian group actions. The Audin-Ahara-Hattori-Karshon classification of Hamiltonian circle actions on compact symplectic 4-manifolds showed that all of such manifolds are Kaehler. Delzant's classification of $2n$-dimensional symplectic manifolds with Hamiltonian action of $n$-dimensional tori showed that all such manifolds are projective toric varieties, hence Kaehler. An example in this paper show that not all compact symplectic manifolds that admit Hamiltonian torus actions are Kaehler. Similar technique allows us to construct a compact symplectic manifold with a Hamiltonian circle action that admits no invariant complex structures, no invariant polarizations, etc. △ Less

Submitted 29 January, 1996; originally announced January 1996.

Comments: 3 pages, LaTeX

Hamiltonian torus actions on symplectic orbifolds and toric varieties

Authors: Eugene Lerman, Susan Tolman

Abstract: In the first part of the paper, we build a foundation for further work on Hamiltonian actions on symplectic orbifolds. Most importantly we prove the orbifold versions of the abelian connectedness and convexity theorems. In the second half, we prove that compact symplectic orbifolds with completely integrable torus actions are classified by convex simple rational polytopes with a positive integ… ▽ More In the first part of the paper, we build a foundation for further work on Hamiltonian actions on symplectic orbifolds. Most importantly we prove the orbifold versions of the abelian connectedness and convexity theorems. In the second half, we prove that compact symplectic orbifolds with completely integrable torus actions are classified by convex simple rational polytopes with a positive integer attached to each facet and that all such orbifolds are algebraic toric varieties. △ Less

Submitted 17 November, 1995; originally announced November 1995.

Comments: AMSLaTeX using pb-diagram, lamsarrow, pb-lams, epic, eepic, amssymb, amscd, fullpage; 25pp. The source and dvi files are also available at http://www.math.uiuc.edu/~lerman/research.html . This paper is a substantial revision of "Symplectic toric orbifolds," dg-ga/9412005

The Centralizer of Invariant Functions and Division Properties of the Moment Map

Authors: Eugene Lerman, Yael Karshon

Abstract: Let Phi : M --> g^* be a proper moment map associated to an action of a compact connected Lie group, G, on a connected symplectic manifold, (M,ω). A collective function is a pullback via Φof a smooth function on g^*. In this paper we present four new results about the relationship between the collective functions and the G-invariant functions in the Poisson algebra of smooth functions on M. Let Phi : M --> g^* be a proper moment map associated to an action of a compact connected Lie group, G, on a connected symplectic manifold, (M,ω). A collective function is a pullback via Φof a smooth function on g^*. In this paper we present four new results about the relationship between the collective functions and the G-invariant functions in the Poisson algebra of smooth functions on M. △ Less

Submitted 25 September, 1996; v1 submitted 15 June, 1995; originally announced June 1995.

Comments: We essentially rewrote the paper. 22 pages, LaTeX2e. Will appear in the Illinois Journal of Mathematics in late 1997