Showing 1–42 of 42 results for author: Kędra, J

Embeddings of symplectic balls into the complex projective plane

Authors: Sílvia Anjos, Jarek Kędra, Martin Pinsonnault

Abstract: We investigate spaces of symplectic embeddings of $n\leq 4$ balls into the complex projective plane. We prove that they are homotopy equivalent to explicitly described algebraic subspaces of the configuration spaces of $n$ points. We compute the rational homotopy type of these embedding spaces and their cohomology with rational coefficients. Our approach relies on the comparison of the action of… ▽ More We investigate spaces of symplectic embeddings of $n\leq 4$ balls into the complex projective plane. We prove that they are homotopy equivalent to explicitly described algebraic subspaces of the configuration spaces of $n$ points. We compute the rational homotopy type of these embedding spaces and their cohomology with rational coefficients. Our approach relies on the comparison of the action of $\mathrm{PGL}(3,\mathbb{C})$ on the configuration space of $n$ ordered points in $\mathbf{CP}^2$ with the action of the symplectomorphism group $\mathrm{Symp}(\mathbf{CP}^2)$ on the space of $n$ embedded symplectic balls. △ Less

Submitted 8 February, 2024; v1 submitted 2 July, 2023; originally announced July 2023.

Comments: 47 pages. The revisions made in this second version significantly enhance the clarity and coherence of the exposition. The main results are the same

MSC Class: Primary 57K43; Secondary 57R17; 57S05; 57R40

On the geometry and bounded cohomology of racks and quandles

Authors: Jarek Kędra

Abstract: We introduce and investigate a natural family of metrics on connected components of a rack. The metrics are closely related to certain bi-invariant metrics on the group of inner automorphisms of the rack. We also introduce a bounded cohomology of racks and quandles, relate them to the above metrics and prove a certain vanishing result for racks and quandles with amenable group of inner automorphis… ▽ More We introduce and investigate a natural family of metrics on connected components of a rack. The metrics are closely related to certain bi-invariant metrics on the group of inner automorphisms of the rack. We also introduce a bounded cohomology of racks and quandles, relate them to the above metrics and prove a certain vanishing result for racks and quandles with amenable group of inner automorphisms. △ Less

Submitted 12 June, 2024; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: preliminary version

European baskets in discrete-time continuous-binomial market models

Authors: Jarek Kędra, Assaf Libman, Victoria Steblovskaya

Abstract: We consider a discrete-time incomplete multi-asset market model with continuous price jumps. For a wide class of contingent claims, including European basket call options, we compute the bounds of the interval containing the no-arbitrage prices. We prove that the lower bound coincides, in fact, with Jensen's bound. The upper bound can be computed by restricting to a binomial model for which an exp… ▽ More We consider a discrete-time incomplete multi-asset market model with continuous price jumps. For a wide class of contingent claims, including European basket call options, we compute the bounds of the interval containing the no-arbitrage prices. We prove that the lower bound coincides, in fact, with Jensen's bound. The upper bound can be computed by restricting to a binomial model for which an explicit expression for the bound is known by an earlier work of the authors. We describe explicitly a maximal hedging strategy which is the best possible in the sense that its value is equal to the upper bound of the price interval of the claim. Our results show that for any $c$ in the interval of the non-arbitrage contingent claim price at time $0$, one can change the boundaries of the price jumps to obtain a model in which $c$ is the upper bound at time $0$ of this interval. The lower bound of this interval remains unaffected. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Minimum Cost Super-Hedging in a Discrete Time Incomplete Multi-Asset Binomial Market

Authors: Jarek Kędra, Assaf Libman, Victoria Steblovskaya

Abstract: We consider a multi-asset incomplete model of the financial market, where each of $m\geq 2$ risky assets follows the binomial dynamics, and no assumptions are made on the joint distribution of the risky asset price processes. We provide explicit formulas for the minimum cost super-hedging strategies for a wide class of European type multi-asset contingent claims. This class includes European baske… ▽ More We consider a multi-asset incomplete model of the financial market, where each of $m\geq 2$ risky assets follows the binomial dynamics, and no assumptions are made on the joint distribution of the risky asset price processes. We provide explicit formulas for the minimum cost super-hedging strategies for a wide class of European type multi-asset contingent claims. This class includes European basket call and put options, among others. Since a super-hedge is a non-self-financing arbitrage strategy, it produces non-negative local residuals, for which we also give explicit formulas. This paper completes the foundation started in previous work of the authors for the extension of our results to a more realistic market model. △ Less

Submitted 8 May, 2024; v1 submitted 7 January, 2023; originally announced January 2023.

A refinement of bounded cohomology

Authors: Światosław R. Gal, Jarek Kędra

Abstract: We introduce a refinement of bounded cohomology and prove that the suitable comparison homomorphisms vanish for an amenable group. We investigate in this context Thompson's group F and provide further evidence towards its amenability. We provide a source of nontrivial 1-bounded classes and show that the space of 1-bounded classes in degree 2 is huge. We introduce a refinement of bounded cohomology and prove that the suitable comparison homomorphisms vanish for an amenable group. We investigate in this context Thompson's group F and provide further evidence towards its amenability. We provide a source of nontrivial 1-bounded classes and show that the space of 1-bounded classes in degree 2 is huge. △ Less

Submitted 12 August, 2022; v1 submitted 5 August, 2022; originally announced August 2022.

Comments: 8 pages

Directional asymptotic cones of groups equipped with bi-invariant metrics

Authors: Jarek Kędra, Assaf Libman

Abstract: Given a bi-invariant metric on a group, we construct a version of an asymptotic cone without using ultrafilters. The new construction, called the directional asymptotic cone, is a contractible topological group equipped with a complete bi-invariant metric and admits a canonical Lipschitz homomorphism to the standard asymptotic cone. Moreover, the directional asymptotic cone of a countable group is… ▽ More Given a bi-invariant metric on a group, we construct a version of an asymptotic cone without using ultrafilters. The new construction, called the directional asymptotic cone, is a contractible topological group equipped with a complete bi-invariant metric and admits a canonical Lipschitz homomorphism to the standard asymptotic cone. Moreover, the directional asymptotic cone of a countable group is separable. △ Less

Submitted 3 August, 2023; v1 submitted 26 July, 2022; originally announced July 2022.

Comments: 68 pages

On Lipschitz functions on groups equipped with conjugation-invariant norms

Authors: Jarek Kędra

Abstract: We observe that a function on a group equipped with a bi-invariant word metric is Lipschitz if and only if it is a partial quasimorphism bounded on the generating set. We also show that an undistorted element is always detected by an antisymmetric homogeneous partial quasimorphisms. We provide a general homogenisation procedure for Lipschitz functions and relate partial quasimorphisms on a group t… ▽ More We observe that a function on a group equipped with a bi-invariant word metric is Lipschitz if and only if it is a partial quasimorphism bounded on the generating set. We also show that an undistorted element is always detected by an antisymmetric homogeneous partial quasimorphisms. We provide a general homogenisation procedure for Lipschitz functions and relate partial quasimorphisms on a group to ones on its asymptotic cones. △ Less

Submitted 3 August, 2023; v1 submitted 20 April, 2022; originally announced April 2022.

Comments: 11 pages; minor corrections

Uniform boundedness for algebraic groups and Lie groups

Authors: Jarek Kędra, Assaf Libman, Ben Martin

Abstract: Let $G$ be a semisimple linear algebraic group over a field $k$ and let $G^+(k)$ be the subgroup generated by the subgroups $R_u(Q)(k)$, where $Q$ ranges over all the minimal $k$-parabolic subgroups $Q$ of $G$. We prove that if $G^+(k)$ is bounded then it is uniformly bounded. Under extra assumptions we get explicit bounds for $Δ(G^+(k))$: we prove that if $k$ is algebraically closed then… ▽ More Let $G$ be a semisimple linear algebraic group over a field $k$ and let $G^+(k)$ be the subgroup generated by the subgroups $R_u(Q)(k)$, where $Q$ ranges over all the minimal $k$-parabolic subgroups $Q$ of $G$. We prove that if $G^+(k)$ is bounded then it is uniformly bounded. Under extra assumptions we get explicit bounds for $Δ(G^+(k))$: we prove that if $k$ is algebraically closed then $Δ(G^+(k))\leq 4\, {\rm rank}\,G$, and if $G$ is split over $k$ then $Δ(G^+(k))\leq 28\, {\rm rank}\,G$. We deduce some analogous results for real and complex semisimple Lie groups. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Comments: Preliminary version. 11 pages

MSC Class: 20G15 (Primary) 20B07; 22E15 (Secondary)

Pricing multi-asset contingent claims in a multi-dimensional binomial market

Authors: Jarek Kędra, Assaf Libman, Victoria Steblovskaya

Abstract: We consider an incomplete multi-asset binomial market model. We prove that for a wide class of contingent claims the extremal multi-step martingale measure is a power of the corresponding single-step extremal martingale measure. This allows for closed form formulas for the bounds of a no-arbitrage contingent claim price interval. We construct a feasible algorithm for computing those boundaries as… ▽ More We consider an incomplete multi-asset binomial market model. We prove that for a wide class of contingent claims the extremal multi-step martingale measure is a power of the corresponding single-step extremal martingale measure. This allows for closed form formulas for the bounds of a no-arbitrage contingent claim price interval. We construct a feasible algorithm for computing those boundaries as well as for the corresponding hedging strategies. Our results apply, for example, to European basket call and put options and Asian arithmetic average options. △ Less

Submitted 28 February, 2023; v1 submitted 24 June, 2021; originally announced June 2021.

Comments: 30 pages; title slightly changed

Journal ref: Journal of Stochastic Analysis, vol. 4, no. 1 (2023)

Qualitative counting closed geodesics

Authors: Bastien Karlhofer, Jarek Kędra, Michał Marcinkowski, Alexander Trost

Abstract: We investigate the geometry of word metrics on fundamental groups of manifolds associated with the generating sets consisting of elements represented by closed geodesics. We ask whether the diameter of such a metric is finite or infinite. The first answer we interpret as an abundance of closed geodesics, while the second one as their scarcity. We discuss examples for both cases. We investigate the geometry of word metrics on fundamental groups of manifolds associated with the generating sets consisting of elements represented by closed geodesics. We ask whether the diameter of such a metric is finite or infinite. The first answer we interpret as an abundance of closed geodesics, while the second one as their scarcity. We discuss examples for both cases. △ Less

Submitted 25 June, 2021; v1 submitted 25 April, 2019; originally announced April 2019.

Comments: 10 pages

Journal ref: Geometriae Dedicata (2021)

Finite index subgroups in Chevalley groups are bounded: an addendum to "On bi-invariant word metrics"

Authors: Światosław R. Gal, Jarek Kędra, Alexander A. Trost

Abstract: We prove that finite index subgroups in S-arithmetic Chevalley groups are bounded. We prove that finite index subgroups in S-arithmetic Chevalley groups are bounded. △ Less

Submitted 14 July, 2019; v1 submitted 20 August, 2018; originally announced August 2018.

Comments: 8 pages

Strong and uniform boundedness of groups

Authors: Jarek Kędra, Assaf Libman, Ben Martin

Abstract: A group G is called bounded if every conjugation-invariant norm on G has finite diameter. We introduce various strengthenings of this property and investigate them in several classes of groups including semisimple Lie groups, arithmetic groups and linear algebraic groups. We provide applications to Hamiltonian dynamics. A group G is called bounded if every conjugation-invariant norm on G has finite diameter. We introduce various strengthenings of this property and investigate them in several classes of groups including semisimple Lie groups, arithmetic groups and linear algebraic groups. We provide applications to Hamiltonian dynamics. △ Less

Submitted 28 September, 2021; v1 submitted 6 August, 2018; originally announced August 2018.

Comments: 28 pages; revised version; accepted in Journal of Topology and Analysis

Fragmentation norm and relative quasimorphisms

Authors: Michael Brandenbursky, Jarek Kędra

Abstract: We prove that manifolds with complicated enough fundamental group admit measure-preserving homeomorphisms which have positive stable fragmentation norm with respect to balls of bounded measure. We prove that manifolds with complicated enough fundamental group admit measure-preserving homeomorphisms which have positive stable fragmentation norm with respect to balls of bounded measure. △ Less

Submitted 30 April, 2019; v1 submitted 18 April, 2018; originally announced April 2018.

Comments: 15 pages, to appear in Proceedings of the AMS

The autonomous norm on $Ham(\mathbf{R}^{2n})$ is bounded

Authors: Michael Brandenbursky, Jarek Kędra

Abstract: We prove that the autonomous norm on the group of compactly supported Hamiltonian diffeomorphisms of the standard $\mathbf{R}^{2n}$ is bounded. We prove that the autonomous norm on the group of compactly supported Hamiltonian diffeomorphisms of the standard $\mathbf{R}^{2n}$ is bounded. △ Less

Submitted 9 March, 2016; originally announced March 2016.

Comments: 3 pages

On the autonomous norm on the group of Hamiltonian diffeomorphisms of the torus

Authors: Michael Brandenbursky, Jarek Kedra, Egor Shelukhin

Abstract: We prove that the autonomous norm on the group of Hamiltonian diffeomorphisms of the two-dimensional torus is unbounded. We provide explicit examples of Hamiltonian diffeomorphisms with arbitrarily large autonomous norm. For the proofs we construct quasimorphisms on $Ham(T^2)$ and some of them are Calabi. We prove that the autonomous norm on the group of Hamiltonian diffeomorphisms of the two-dimensional torus is unbounded. We provide explicit examples of Hamiltonian diffeomorphisms with arbitrarily large autonomous norm. For the proofs we construct quasimorphisms on $Ham(T^2)$ and some of them are Calabi. △ Less

Submitted 15 February, 2016; v1 submitted 10 February, 2016; originally announced February 2016.

Comments: 27 pages, 6 figures

Concordance group and stable commutator length in braid groups

Authors: Michael Brandenbursky, Jarek Kędra

Abstract: We define a quasihomomorphism from braid groups to the concordance group of knots and examine its properties and consequences of its existence. In particular, we provide a relation between the stable four ball genus in the concordance group and the stable commutator length in braid groups, and produce examples of infinite families of concordance classes of knots with uniformly bounded four ball ge… ▽ More We define a quasihomomorphism from braid groups to the concordance group of knots and examine its properties and consequences of its existence. In particular, we provide a relation between the stable four ball genus in the concordance group and the stable commutator length in braid groups, and produce examples of infinite families of concordance classes of knots with uniformly bounded four ball genus. We also provide applications to the geometry of the infinite braid group. In particular, we show that its commutator subgroup admits a stably unbounded conjugation invariant norm. This answers an open problem posed by Burago, Ivanov and Polterovich. △ Less

Submitted 21 August, 2014; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: 25 pages, 5 figures

Journal ref: Algebr. Geom. Topol. 15 (2015) 2861-2886

Cancelation norm and the geometry of biinvariant word metrics

Authors: Michael Brandenbursky, Światosław R. Gal, Jarek Kędra, Michał Marcinkowski

Abstract: We study biinvariant word metrics on groups. We provide an efficient algorithm for computing the biinvariant word norm on a finitely generated free group and we construct an isometric embedding of a locally compact tree into the biinvariant Cayley graph of a nonabelian free group. We investigate the geometry of cyclic subgroups. We observe that in many classes of groups cyclic subgroups are either… ▽ More We study biinvariant word metrics on groups. We provide an efficient algorithm for computing the biinvariant word norm on a finitely generated free group and we construct an isometric embedding of a locally compact tree into the biinvariant Cayley graph of a nonabelian free group. We investigate the geometry of cyclic subgroups. We observe that in many classes of groups cyclic subgroups are either bounded or detected by homogeneous quasimorphisms. We call this property the bq-dichotomy and we prove it for many classes of groups of geometric origin. △ Less

Submitted 2 April, 2023; v1 submitted 10 October, 2013; originally announced October 2013.

Comments: 33 pages, updated version

Journal ref: Glasgow Mathematical Journal, 58 (2016), no. 1, 153--176

On the autonomous metric on the group of area-preserving diffeomorphisms of the 2-disc

Authors: Michael Brandenbursky, Jarek Kedra

Abstract: Let $D^2$ be the open unit disc in the Euclidean plane and let $G:= Diff(D2; area)$ be the group of smooth compactly supported area-preserving diffeomorphisms of $D^2$. We investigate the properties of G endowed with the autonomous metric. In particular, we construct a bi-Lipschitz homomorphism $Z^k \rightarrow G$ of a finitely generated free abelian group of an arbitrary rank. We also show that t… ▽ More Let $D^2$ be the open unit disc in the Euclidean plane and let $G:= Diff(D2; area)$ be the group of smooth compactly supported area-preserving diffeomorphisms of $D^2$. We investigate the properties of G endowed with the autonomous metric. In particular, we construct a bi-Lipschitz homomorphism $Z^k \rightarrow G$ of a finitely generated free abelian group of an arbitrary rank. We also show that the space of homogeneous quasi-morphisms vanishing on all autonomous diffeomorphisms in the above group is infinite dimensional. △ Less

Submitted 27 February, 2013; v1 submitted 3 July, 2012; originally announced July 2012.

Comments: This a revised version, to appear in Algebraic and Geometric Topology, 20 pages, 1 figure

Journal ref: Algebr. Geom. Topol. 13 (2013) 795-816

Pseudoholomorphic tori in the Kodaira-Thurston manifold

Authors: Jonathan David Evans, Jarek Kędra

Abstract: The Kodaira-Thurston manifold is a quotient of a nilpotent Lie group by a cocompact lattice. We compute the family Gromov-Witten invariants which count pseudoholomorphic tori in the Kodaira-Thurston manifold. For a fixed symplectic form the Gromov-Witten invariant is trivial so we consider the twistor family of left-invariant symplectic forms which are orthogonal for some fixed metric on the Lie a… ▽ More The Kodaira-Thurston manifold is a quotient of a nilpotent Lie group by a cocompact lattice. We compute the family Gromov-Witten invariants which count pseudoholomorphic tori in the Kodaira-Thurston manifold. For a fixed symplectic form the Gromov-Witten invariant is trivial so we consider the twistor family of left-invariant symplectic forms which are orthogonal for some fixed metric on the Lie algebra. This family defines a loop in the space of symplectic forms. This is the first example of a genus one family Gromov-Witten computation for a non-Kähler manifold. △ Less

Submitted 23 February, 2015; v1 submitted 6 May, 2012; originally announced May 2012.

Comments: 46 pages; v2 added some references and explanation, v3 couple of typos corrected. To appear in Compositio Mathematica

MSC Class: 32Q65; 53D35; 53D45; 14N35

Journal ref: Compositio Mathematica 151 (2015) 2212-2250

On distortion in groups of homeomorphisms

Authors: Światosław Gal, Jarek Kędra

Abstract: Let X be a path-connected topological space admitting a universal cover. Let Homeo(X,a) denote the group of homeomorphisms of X preserving degree one cohomology class a. We investigate the distortion in Homeo(X,a). Let g be an element of Homeo(X,a). We define a Nielsen-type equivalence relation on the space of g-invariant Borel probability measures on X and prove that if a homeomorphism g admits… ▽ More Let X be a path-connected topological space admitting a universal cover. Let Homeo(X,a) denote the group of homeomorphisms of X preserving degree one cohomology class a. We investigate the distortion in Homeo(X,a). Let g be an element of Homeo(X,a). We define a Nielsen-type equivalence relation on the space of g-invariant Borel probability measures on X and prove that if a homeomorphism g admits two nonequivalent invariant measures then it is undistorted. We also define a local rotation number of a homeomorphism generalising the notion of the rotation of a homeomorphism of the circle. Then we prove that a homeomorphism is undistorted if its rotation number is nonconstant. △ Less

Submitted 6 November, 2011; originally announced November 2011.

Comments: This paper mostly overlaps with part of arXiv:math/1105.0825. It is the version that is going to appear in print

Journal ref: J. Mod. Dyn. 5 (2011), no. 3, 609-622

Remarks on monotone Lagrangians in $\mathbf{C}^n$

Authors: Jonathan David Evans, Jarek Kȩdra

Abstract: We derive some restrictions on the topology of a monotone Lagrangian submanifold $L\subset\mathbf{C}^n$ by making observations about the topology of the moduli space of Maslov 2 holomorphic discs with boundary on $L$ and then using Damian's theorem which gives conditions under which the evaluation map from this moduli space to $L$ has nonzero degree. In particular we prove that an orientable 3-man… ▽ More We derive some restrictions on the topology of a monotone Lagrangian submanifold $L\subset\mathbf{C}^n$ by making observations about the topology of the moduli space of Maslov 2 holomorphic discs with boundary on $L$ and then using Damian's theorem which gives conditions under which the evaluation map from this moduli space to $L$ has nonzero degree. In particular we prove that an orientable 3-manifold admits a monotone Lagrangian embedding in $\mathbf{C}^3$ only if it is a product, which is a variation on a theorem of Fukaya. Finally we prove an h-principle for monotone Lagrangian immersions. △ Less

Submitted 10 September, 2019; v1 submitted 5 October, 2011; originally announced October 2011.

Comments: 10 pages + 1 page corrigendum (correcting the statement and proof of Proposition 12)

MSC Class: 53D12; 53D40

Quasi-Isometric Embeddings into Diffeomorphism Groups

Authors: Michael Brandenbursky, Jarek Kedra

Abstract: Let M be a smooth compact connected oriented manifold of dimension at least two endowed with a volume form. Assuming certain conditions on the fundamental group $π_1(M)$ we construct quasi-isometric embeddings of either free Abelian or direct products of non-Abelian free groups into the group of volume preserving diffeomorphisms of M equipped with the L^p metric induced by a Riemannian metric on M… ▽ More Let M be a smooth compact connected oriented manifold of dimension at least two endowed with a volume form. Assuming certain conditions on the fundamental group $π_1(M)$ we construct quasi-isometric embeddings of either free Abelian or direct products of non-Abelian free groups into the group of volume preserving diffeomorphisms of M equipped with the L^p metric induced by a Riemannian metric on M. △ Less

Submitted 3 September, 2012; v1 submitted 25 August, 2011; originally announced August 2011.

Comments: To appear in Groups Geometry and Dynamics

Journal ref: Groups Geom. Dyn. 7, 523--534 (2013)

\int_x^{hx}(g^*α-α)

Authors: Światosław R. Gal, Jarek Kędra

Abstract: Let X be a connected topological space admitting a universal cover. Let a be a degree one cohomology class on X. We define and study a two-cocycle on a group acting on X by homeomorphisms preserving the class a. We use this cocycle to investigate group actions on X. For example, we show that if an action preserves a Borel probability measure on X then the cocycle is cohomologically trivial. Under… ▽ More Let X be a connected topological space admitting a universal cover. Let a be a degree one cohomology class on X. We define and study a two-cocycle on a group acting on X by homeomorphisms preserving the class a. We use this cocycle to investigate group actions on X. For example, we show that if an action preserves a Borel probability measure on X then the cocycle is cohomologically trivial. Under various assumptions on a homeomorphism g, we prove that it is undistorted in Homeo(X,a). In particular, we introduce a local rotation number of a homeomorphism and prove that a homeomorphism with non-constant local rotation number is undistorted. △ Less

Submitted 6 October, 2011; v1 submitted 4 May, 2011; originally announced May 2011.

On bi-invariant word metrics

Authors: Ś. R. Gal, J. Kędra

Abstract: We prove that bi-invariant word metrics are bounded on certain Chevalley groups. As an application we provide restrictions on Hamiltonian actions of such groups. We prove that bi-invariant word metrics are bounded on certain Chevalley groups. As an application we provide restrictions on Hamiltonian actions of such groups. △ Less

Submitted 18 July, 2011; v1 submitted 2 February, 2011; originally announced February 2011.

Comments: 16 pages; few typos from printed version corrected

Journal ref: Journal of Topology and Analysis, Volume: 3, Issue: 2(2011) pp. 161-175

On the cohomology of classifying spaces of groups of homeomorphisms

Authors: Jarek Kędra

Abstract: Let M be a closed simply connected 2n-dimensional manifold. The present paper is concerned with the cohomology of classifying spaces of connected groups of homeomorphisms of M. Let M be a closed simply connected 2n-dimensional manifold. The present paper is concerned with the cohomology of classifying spaces of connected groups of homeomorphisms of M. △ Less

Submitted 14 October, 2010; originally announced October 2010.

Comments: 18 pages

A two-cocycle on the group of symplectic diffeomorphisms

Authors: Światosław R. Gal, Jarek Kędra

Abstract: We investigate a two-cocycle on the group of symplectic diffeomorphisms of an exact symplectic manifolds defined by Ismagilov, Losik, and Michor and investigate its properties. We provide both vanishing and non-vanishing results and applications to foliated symplectic bundles and to Hamiltonian actions of finitely generated groups. We investigate a two-cocycle on the group of symplectic diffeomorphisms of an exact symplectic manifolds defined by Ismagilov, Losik, and Michor and investigate its properties. We provide both vanishing and non-vanishing results and applications to foliated symplectic bundles and to Hamiltonian actions of finitely generated groups. △ Less

Submitted 6 October, 2011; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 16 pages, no figures

MSC Class: 53D05; 57S25

Journal ref: Mathematische Zeitschrift, 2012, Volume 271, Numbers 3-4, Pages 693-706

On the algebraic independence of Hamiltonian characteristic classes

Authors: Swiatoslaw Gal, Jarek Kedra, Aleksy Tralle

Abstract: We prove that Hamiltonian characteristic classes defined as fibre integrals of powers of the coupling class are algebraically independent for generic coadjoint orbits. We prove that Hamiltonian characteristic classes defined as fibre integrals of powers of the coupling class are algebraically independent for generic coadjoint orbits. △ Less

Submitted 12 May, 2010; originally announced May 2010.

Comments: 9 pages, no figures

Journal ref: J. Symp. Geom. Volume 9, Issue 1 (2011), pp. 1--10

On nondegenerate coupling forms

Authors: J. Kedra, A. Tralle, A. Woike

Abstract: The aim of the present paper is to investigate new classes of symplectically fat fibre bundles. We prove a general existence theorem for fat vectors with respect to the canonical invariant connections. Based on this result we give new proofs of some constructions of symplectic structures. This includes twistor bundles and locally homogeneous complex manifolds. The proofs are conceptually simpler… ▽ More The aim of the present paper is to investigate new classes of symplectically fat fibre bundles. We prove a general existence theorem for fat vectors with respect to the canonical invariant connections. Based on this result we give new proofs of some constructions of symplectic structures. This includes twistor bundles and locally homogeneous complex manifolds. The proofs are conceptually simpler and allow for obtaining more general results. △ Less

Submitted 21 April, 2010; originally announced April 2010.

Comments: 23 pages; no figures

The Lalonde-McDuff conjecture and the fundamental group

Authors: Jarek Kedra

Abstract: We give a simple proof of the Lalonde-McDuff conjecture for aspherical manifolds. We give a simple proof of the Lalonde-McDuff conjecture for aspherical manifolds. △ Less

Submitted 27 January, 2009; originally announced January 2009.

Comments: 4 pages; no figures

A cocycle on the group of symplectic diffeomorphisms

Authors: Swiatoslaw R. Gal, Jarek Kedra

Abstract: We define a cocycle on the group of symplectic diffeomorphisms of a symplectic manifold and investigate its properties. The main applications are concerned with symplectic actions of discrete groups. For example, we give an alternative proof of the Polterovich theorem about the distortion of cyclic subgroups in finitely generated groups of Hamiltonian diffeomorphisms. We define a cocycle on the group of symplectic diffeomorphisms of a symplectic manifold and investigate its properties. The main applications are concerned with symplectic actions of discrete groups. For example, we give an alternative proof of the Polterovich theorem about the distortion of cyclic subgroups in finitely generated groups of Hamiltonian diffeomorphisms. △ Less

Submitted 3 December, 2008; v1 submitted 8 July, 2008; originally announced July 2008.

Comments: 19 pages, no figures, corrected version

MSC Class: 57S25; 20F69

Journal ref: Advances in Geometry, Vol. 11, Issue 1, 2011, pp. 73-88

Symplectically hyperbolic manifolds

Authors: Jarek Kedra

Abstract: A symplectic form is called hyperbolic if its pull-back to the universal cover is a differential of a bounded one-form. The present paper is concerned with the properties and constructions of manifolds admitting hyperbolic symplectic forms. The main results are: * If a symplectic form represents a bounded cohomology class then it is hyperbolic. * The symplectic hyperbolicity is equivalent to… ▽ More A symplectic form is called hyperbolic if its pull-back to the universal cover is a differential of a bounded one-form. The present paper is concerned with the properties and constructions of manifolds admitting hyperbolic symplectic forms. The main results are: * If a symplectic form represents a bounded cohomology class then it is hyperbolic. * The symplectic hyperbolicity is equivalent to a certain isoperimetric inequality. * The fundamental group of symplectically hyperbolic manifold is non-amenable. We also construct hyperbolic symplectic forms on certain bundles and Lefschetz fibrations, discuss the dependenc of the symplectic hyperbolicity on the fundamental group and discuss some properties of the group of symplectic diffeomorphisms of a symplectically hyperbolic manifold. △ Less

Submitted 24 November, 2007; originally announced November 2007.

Comments: 18 pages; preliminary version

Symplectically aspherical manifolds

Authors: Jarek Kedra, Yuli Rudyak, Aleksy Tralle

Abstract: This is a survey article on symplectically aspherical manifolds. The paper contains a discussion on constructions of symplectically aspherical manifolds, their topological properties and the role of this class in symplectic topology. Research perspectives are discussed. This is a survey article on symplectically aspherical manifolds. The paper contains a discussion on constructions of symplectically aspherical manifolds, their topological properties and the role of this class in symplectic topology. Research perspectives are discussed. △ Less

Submitted 3 December, 2007; v1 submitted 12 September, 2007; originally announced September 2007.

Comments: AMSLaTeX, corrected version

Report number: WMI-12-09-07 MSC Class: 53C15

Journal ref: J. Fixed Point Theory Appl. 3(2008),1-21

On fundamental groups of symplectically aspherical manifolds II: abelian groups

Authors: J. Kedra, Yu. Rudyak, A. Tralle

Abstract: We describe all abelian groups which can appear as the fundamental groups of closed symplectically aspherical manifolds. The proofs use the theory of symplectic Lefschetz fibrations. We describe all abelian groups which can appear as the fundamental groups of closed symplectically aspherical manifolds. The proofs use the theory of symplectic Lefschetz fibrations. △ Less

Submitted 16 June, 2006; originally announced June 2006.

Comments: Latex, 14 pages

MSC Class: Primary 57R15; Secondary 14F35; 32S50; 53D05; 55R55; 57R17; 57R22

Symplectic configurations

Authors: Swiat Gal, Jarek Kedra

Abstract: We define a class of symplectic fibrations called symplectic configurations. They are natural generalization of Hamiltonian fibrations. Their geometric and topological properties are investigated. We are mainly concentrated on integral symplectic manifolds. We construct the classifyng space \B of symplectic integral configurations. The properties of the classifying map \B --> BSymp(M,w) are ex… ▽ More We define a class of symplectic fibrations called symplectic configurations. They are natural generalization of Hamiltonian fibrations. Their geometric and topological properties are investigated. We are mainly concentrated on integral symplectic manifolds. We construct the classifyng space \B of symplectic integral configurations. The properties of the classifying map \B --> BSymp(M,w) are examined. The universal symplectic bundle over \B has a natural connection whose holonomy group is isomorphic to the enlarged Hamiltonian group recently defined by McDuff. The space \B is identified with the classifying space of an extension of certain subgroup of the symplectomorphism group. △ Less

Submitted 3 September, 2006; v1 submitted 6 April, 2005; originally announced April 2005.

Comments: 25 pages, no figures

MSC Class: 53D; 55R; 53C

Journal ref: International Mathematics Research Notices (2006)

Crossed flux homomorphisms and vanishing theorems for flux groups

Authors: J. Kedra, D. Kotschick, S. Morita

Abstract: We study the flux homomorphism for closed forms of arbitrary degree, with special emphasis on volume forms and on symplectic forms. The volume flux group is an invariant of the underlying manifold, whose non-vanishing implies that the manifold resembles one with a circle action with homologically essential orbits. We study the flux homomorphism for closed forms of arbitrary degree, with special emphasis on volume forms and on symplectic forms. The volume flux group is an invariant of the underlying manifold, whose non-vanishing implies that the manifold resembles one with a circle action with homologically essential orbits. △ Less

Submitted 27 August, 2005; v1 submitted 11 March, 2005; originally announced March 2005.

Comments: improved presentation, now 20 pages

MSC Class: 57R17; 57R50; 57S05

Journal ref: Geom. Funct. Anal. 16 (2006), 1246--1273

Fundamental group of Symp(M,w) with no circle action

Authors: Jarek Kedra

Abstract: We show that the fundamental group of Symp(M,w) can be nontrivial for M that does not admit any symplectic circle action. We show that the fundamental group of Symp(M,w) can be nontrivial for M that does not admit any symplectic circle action. △ Less

Submitted 10 February, 2005; originally announced February 2005.

Comments: 3 pages, no figures

Homotopy properties of Hamiltonian group actions

Authors: Jarek Kedra, Dusa McDuff

Abstract: Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational homology induced by the classifying map BH --> BG are injective. For example, we extend Reznikov's result for complex projective space CP^n to show that both in th… ▽ More Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational homology induced by the classifying map BH --> BG are injective. For example, we extend Reznikov's result for complex projective space CP^n to show that both in this case and the case of generalized flag manifolds the natural map H_*(BSU(n+1)) --> H_*(BG) is injective, where G denotes the group of all diffeomorphisms that act trivially on cohomology. We also show that if lambda is a Hamiltonian circle action that contracts in G = Ham(M,w) then there is an associated nonzero element in pi_3(G) that deloops to a nonzero element of H_4(BG). This result (as well as many others) extends to c-symplectic manifolds (M,a), ie, 2n-manifolds with a class a in H^2(M) such that a^n is nonzero. The proofs are based on calculations of certain characteristic classes and elementary homotopy theory. △ Less

Submitted 17 January, 2005; v1 submitted 29 April, 2004; originally announced April 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper3.abs.html

MSC Class: 53C15; 53D05; 55R40; 57R17

Journal ref: Geom. Topol. 9 (2005) 121-162

Evaluation fibrations and topology of symplectomorphisms

Authors: Jarek Kedra

Abstract: There are two main results. The first states that isotropy subgroups of groups acting transitively on a rationally hyperbolic spaces have infinitely generated rational cohomology algebra. Using this fact, we prove that the analogous statement holds for groups of symplectomorphisms of certain blow-ups. There are two main results. The first states that isotropy subgroups of groups acting transitively on a rationally hyperbolic spaces have infinitely generated rational cohomology algebra. Using this fact, we prove that the analogous statement holds for groups of symplectomorphisms of certain blow-ups. △ Less

Submitted 23 May, 2003; originally announced May 2003.

Comments: 10 pages, no figures

Characteristic classes of smooth fibrations

Authors: Tadeusz Januszkiewicz, Jarek Kedra

Abstract: We construct characteristic classes of smooth (Hamiltonian) fibrations as as fiber integrals of products of Pontriagin (or Chern) classes of vertical vector bundles over the total space of the universal fibration. We give explicit formulae of these fiber integrals for toric manifolds and get estimates of the dimension of the cohomology groups of classifying spaces. We construct characteristic classes of smooth (Hamiltonian) fibrations as as fiber integrals of products of Pontriagin (or Chern) classes of vertical vector bundles over the total space of the universal fibration. We give explicit formulae of these fiber integrals for toric manifolds and get estimates of the dimension of the cohomology groups of classifying spaces. △ Less

Submitted 22 September, 2002; originally announced September 2002.

Comments: 23 pages, 3 figures

Restrictions on symplectic fibrations

Authors: Jaroslaw Kedra

Abstract: Moduli spaces of stable pseudoholomorphic curves can be defined parametrically, i.e. over total spaces of symplectic fibrations. This imposes several restrictions on the spectral sequence of a symplectic fibration. We prove that, under certain assumptions, a Hamiltonian fibration c-splits, i.e. the spectral sequence associated to the fibration collapses at E_2. Moreover, we obtain a new estimate… ▽ More Moduli spaces of stable pseudoholomorphic curves can be defined parametrically, i.e. over total spaces of symplectic fibrations. This imposes several restrictions on the spectral sequence of a symplectic fibration. We prove that, under certain assumptions, a Hamiltonian fibration c-splits, i.e. the spectral sequence associated to the fibration collapses at E_2. Moreover, we obtain a new estimate of the rank of flux groups. In the appendix, we provide examples of nonzero Gromov-Witten invariants for blow-ups. As an application, we prove that any Hamiltonian fibration with fibre being projective space CP^5 blown-up along 4-dimensional symplectic submanifold c-splits. △ Less

Submitted 22 March, 2002; originally announced March 2002.

Comments: An appendix written jointly with Kaoru Ono

MSC Class: 57R17;53D45

Symplectically aspherical manifolds

Authors: Raúl Ibáñez, Jarek Kȩdra, Yuli Rudyak, Aleksy Tralle

Abstract: The main subjects of the paper is studying the fundamental groups of closed symplectically aspherical manifolds. Motivated by some results of Gompf, we introduce two classes of fundamental groups $π_1(M)$ of symplectically aspherical manifolds $M$ with $π_2(M)=0$ and $π_2(M)\neq 0$. Relations between these classes are discussed. We show that several important classes of groups can be realized in… ▽ More The main subjects of the paper is studying the fundamental groups of closed symplectically aspherical manifolds. Motivated by some results of Gompf, we introduce two classes of fundamental groups $π_1(M)$ of symplectically aspherical manifolds $M$ with $π_2(M)=0$ and $π_2(M)\neq 0$. Relations between these classes are discussed. We show that several important classes of groups can be realized in both classes, while some of groups can be realized in the first class but not in the second one. Also, we notice that there are some interesting dimensional phenomena in the realization problem. The above results are framed by a general research of symplectically aspherical manifolds. For example, we find some conditions which imply that the Gompf sum of symplectically aspherical manifolds is symplectically aspherical, or that a total space of a bundle is symplectically aspherical, etc. △ Less

Submitted 13 March, 2003; v1 submitted 15 March, 2001; originally announced March 2001.

Comments: 24 pages; the paper has a new structure, new results and more references; For example, we have added a new section "Symplectic bundles and symplectic asphericity" and also new results on the section "Gompf symplectic sum and symplectic asphericity"

MSC Class: 53D05

Remarks on the flux groups

Authors: Jaroslaw Kedra

Abstract: I study flux groups of compact symplectic manifolds. Under some topological assumptions, I give a new estimate of the rank of flux groups and give a method of construcion of compact symplectic aspherical manifolds. I study flux groups of compact symplectic manifolds. Under some topological assumptions, I give a new estimate of the rank of flux groups and give a method of construcion of compact symplectic aspherical manifolds. △ Less

Submitted 9 April, 2000; v1 submitted 15 November, 1999; originally announced November 1999.

Comments: 8 pages, no figures, corrected version to appear in Math.Res.Letters 7(2000)

MSC Class: 53C15