Showing 1–27 of 27 results for author: Riera, I M i

Actions of large finite groups on manifolds

Authors: Ignasi Mundet i Riera

Abstract: In this paper we survey some recent results on actions of finite groups on topological manifolds. Given an action of a finite group $G$ on a manifold $X$, these results provide information on the restriction of the action to a subgroup of $G$ of index bounded above by a number depending only on $X$. Some of these results refer to the algebraic structure of the group, such as being abelian, or nilp… ▽ More In this paper we survey some recent results on actions of finite groups on topological manifolds. Given an action of a finite group $G$ on a manifold $X$, these results provide information on the restriction of the action to a subgroup of $G$ of index bounded above by a number depending only on $X$. Some of these results refer to the algebraic structure of the group, such as being abelian, or nilpotent, or admitting a generating subset of controlled size; other results refer to the geometry of the action, e.g. to the existence of fixed points, to the collection of stabilizer subgroups, or to the action on cohomology. △ Less

Submitted 18 December, 2023; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 33 pages, the proof of Theorem 4.4 has been moved to arXiv:2112.05599(v2), comments welcome!

MSC Class: 57S17; 54H15

Jordan property for homeomorphism groups and almost fixed point property

Authors: Ignasi Mundet i Riera

Abstract: We study properties of continuous finite group actions on topological manifolds that hold true, for any finite group action, after possibly passing to a subgroup of index bounded above by a constant depending only on the manifold. These include the Jordan property, the almost fixed point property, as well as bounds on the discrete symmetry group. Most of our results apply to manifolds satisfying s… ▽ More We study properties of continuous finite group actions on topological manifolds that hold true, for any finite group action, after possibly passing to a subgroup of index bounded above by a constant depending only on the manifold. These include the Jordan property, the almost fixed point property, as well as bounds on the discrete symmetry group. Most of our results apply to manifolds satisfying some restriction such as having nonzero Euler characteristic or having the integral homology of a sphere. For an arbitrary topological manifold $X$ such that $H_*(X;{\mathbf Z})$ is finitely generated, we prove the existence a constant $C$ with the property that for any continuous action of a finite group $G$ on $X$ such that every $g\in G$ fixes at least on point of $X$, there is a subgroup $H\leq G$ satisfying $[G:H]\leq C$ and a point $x\in X$ which is fixed by all elements of $H$. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: 15 pages, comments welcome

MSC Class: 57S17; 54H15

Non-connected Lie groups, twisted equivariant bundles and coverings

Authors: G. Barajas, O. García-Prada, P. B. Gothen, I. Mundet i Riera

Abstract: Let $Γ$ be a finite group acting on a Lie group $G$. We consider a class of group extensions $1 \to G \to \hat{G} \to Γ\to 1$ defined by this action and a $2$-cocycle of $Γ$ with values in the centre of $G$. We establish and study a correspondence between $\hat{G}$-bundles on a manifold and twisted $Γ$-equivariant bundles with structure group $G$ on a suitable Galois $Γ$-covering of the manifold.… ▽ More Let $Γ$ be a finite group acting on a Lie group $G$. We consider a class of group extensions $1 \to G \to \hat{G} \to Γ\to 1$ defined by this action and a $2$-cocycle of $Γ$ with values in the centre of $G$. We establish and study a correspondence between $\hat{G}$-bundles on a manifold and twisted $Γ$-equivariant bundles with structure group $G$ on a suitable Galois $Γ$-covering of the manifold. We also describe this correspondence in terms of non-abelian cohomology. Our results apply, in particular, to the case of a compact or reductive complex Lie group $\hat{G}$, since such a group is always isomorphic to an extension as above, where $G$ is the connected component of the identity and $Γ$ is the group of connected components of $\hat{G}$. △ Less

Submitted 6 December, 2022; v1 submitted 18 August, 2022; originally announced August 2022.

Comments: 40 pages; v2: minor corrections and improvements

MSC Class: Primary 14H60; Secondary 53C07; 58D29

Journal ref: Geometriae Dedicata 217 (2023), Paper No. 27, 41 pp

Discrete degree of symmetry of manifolds

Authors: Ignasi Mundet i Riera

Abstract: We define the discrete degree of symmetry $disc-sym(X)$ of a closed $n$-manifold $X$ as the biggest $m\geq 0$ such that $X$ supports an effective action of $({\mathbf Z}/r)^m$ for arbitrarily big values of $r$. We prove that if $X$ is connected then $disc-sym(X)\leq 3n/2$. We propose the question of whether for every closed connected $n$-manifold $X$ the inequality $disc-sym(X)\leq n$ holds true,… ▽ More We define the discrete degree of symmetry $disc-sym(X)$ of a closed $n$-manifold $X$ as the biggest $m\geq 0$ such that $X$ supports an effective action of $({\mathbf Z}/r)^m$ for arbitrarily big values of $r$. We prove that if $X$ is connected then $disc-sym(X)\leq 3n/2$. We propose the question of whether for every closed connected $n$-manifold $X$ the inequality $disc-sym(X)\leq n$ holds true, and whether the only closed connected $n$-manifold $X$ for which $disc-sym(X)=n$ is the torus $T^n$. We prove partial results providing evidence for an affirmative answer to this question. △ Less

Submitted 4 July, 2023; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: 36 pages, substantial revision of v1, title changed, introduction rewritten, added Theorem 4.4 of arXiv:2303.07784(v1) as Theorem 1.2, some proofs simplified; comments welcome!

MSC Class: 57S17; 54H15

On the number of stabilizer subgroups in a finite group acting on a manifold

Authors: Balázs Csikós, Ignasi Mundet i Riera, László Pyber, Endre Szabó

Abstract: If a finite p-group G acts continuously on a compact topological manifold M then, with some bound C depending on M alone, G has a subgroup H of index at most C such that the H-action on M has at most C stabilizer subgroups. This result plays a crucial role in the proof of a deep conjecture of Ghys. If a finite p-group G acts continuously on a compact topological manifold M then, with some bound C depending on M alone, G has a subgroup H of index at most C such that the H-action on M has at most C stabilizer subgroups. This result plays a crucial role in the proof of a deep conjecture of Ghys. △ Less

Submitted 29 November, 2021; originally announced November 2021.

MSC Class: 157S17

Isometry groups of closed Lorentz 4-manifolds are Jordan

Authors: Ignasi Mundet i Riera

Abstract: We prove that for any closed Lorentz $4$-manifold $(M,g)$ the isometry group $Isom(M,g)$ is Jordan. Namely, there exists a constant $C$ (depending on $M$ and $g$) such that any finite subgroup $Γ\leq Isom(M,g)$ has an abelian subgroup $A\leqΓ$ satisfying $[Γ:A]\leq C$. We prove that for any closed Lorentz $4$-manifold $(M,g)$ the isometry group $Isom(M,g)$ is Jordan. Namely, there exists a constant $C$ (depending on $M$ and $g$) such that any finite subgroup $Γ\leq Isom(M,g)$ has an abelian subgroup $A\leqΓ$ satisfying $[Γ:A]\leq C$. △ Less

Submitted 14 January, 2019; originally announced January 2019.

Comments: 7 pages, comments welcome

MSC Class: 57S17; 54H15; 53C50

Which finite groups act smoothly on a given $4$-manifold?

Authors: Ignasi Mundet i Riera, Carles Sáez-Calvo

Abstract: We prove that for any closed smooth $4$-manifold $X$ there exists a constant $C$ with the property that each finite subgroup $G<Diff(X)$ has a subgroup $N$ which is abelian or nilpotent of class $2$, and which satisfies $[G:N]\leq C$. We give sufficient conditions on $X$ for $Diff(X)$ to be Jordan, meaning that there exists a constant $C$ such that any finite subgroup $G<Diff(X)$ has an abelian su… ▽ More We prove that for any closed smooth $4$-manifold $X$ there exists a constant $C$ with the property that each finite subgroup $G<Diff(X)$ has a subgroup $N$ which is abelian or nilpotent of class $2$, and which satisfies $[G:N]\leq C$. We give sufficient conditions on $X$ for $Diff(X)$ to be Jordan, meaning that there exists a constant $C$ such that any finite subgroup $G<Diff(X)$ has an abelian subgroup $A$ satisfying $[G:A]\leq C$. Some of these conditions are homotopical, such as having nonzero Euler characteristic or nonzero signature, others are geometric, such as the absence of embedded tori of arbitrarily large self-intersection arising as fixed point components of periodic diffeomorphisms. Relying on these results, we prove that: (1) the symplectomorphism group of any closed symplectic $4$-manifold is Jordan, and (2) the automorphism group of any almost complex closed $4$-manifold is Jordan. △ Less

Submitted 14 January, 2019; originally announced January 2019.

Comments: 52 pages, comments welcome!

MSC Class: 57S17; 54H15

Almost fixed points of finite group actions on manifolds without odd cohomology

Authors: Ignasi Mundet i Riera

Abstract: If $X$ is a smooth manifold and ${\mathcal{G}}$ is a subgroup of $Diff(X)$ we say that $(X,{\mathcal{G}})$ has the almost fixed point property if there exists a number $C$ such that for any finite subgroup $G\leq{\mathcal{G}}$ there is some $x\in X$ whose stabilizer $G_x\leq G$ satisfies $[G:G_x]\leq C$. We say that $X$ has no odd cohomology if its integral cohomology is torsion free and supported… ▽ More If $X$ is a smooth manifold and ${\mathcal{G}}$ is a subgroup of $Diff(X)$ we say that $(X,{\mathcal{G}})$ has the almost fixed point property if there exists a number $C$ such that for any finite subgroup $G\leq{\mathcal{G}}$ there is some $x\in X$ whose stabilizer $G_x\leq G$ satisfies $[G:G_x]\leq C$. We say that $X$ has no odd cohomology if its integral cohomology is torsion free and supported in even degrees. We prove that if $X$ is compact and possibly with boundary and has no odd cohomology then $(X,Diff(X))$ has the almost fixed point property. Combining this with a result of Petrie and Randall we conclude that if $Z$ is a non necessarily compact smooth real affine variety, and $Z$ has no odd cohomology, then $(Z,Aut(Z))$ has the almost fixed point property, where $Aut(Z)$ is the group of algebraic automorphisms of $Z$ lifting the identity on $Spec\,{\mathbb{R}}$. △ Less

Submitted 7 May, 2018; originally announced May 2018.

Comments: 17 pages; This paper is one of the two parts in which arXiv:1403.0383v3 has been split. Most of its contents appeared in arXiv:1310.6565, but the material has been substantially revised. Some results on algebraic actions on smooth real affine varieties have been added

MSC Class: 57S17; 54H15

Nontrivial bundles of coadjoint orbits over $S^2$

Authors: David Martínez Torres, Ignasi Mundet i Riera

Abstract: Let $G$ be a compact connected semisimple Lie group with Lie algebra $\mathfrak{g}$. Let $\mathcal{O}\subset\mathfrak{g}^*$ be a coadjoint orbit. The action of $G$ on $\mathcal{O}$ induces a morphism $ρ:G\to \mathrm{Homeo}(\mathcal{O})$. We prove that the induced map $π_1(ρ):π_1(G)\toπ_1(\mathrm{Homeo}(\mathcal{O}))$ is injective. This strengthens a theorem of McDuff and Tolman (conjectured by Wei… ▽ More Let $G$ be a compact connected semisimple Lie group with Lie algebra $\mathfrak{g}$. Let $\mathcal{O}\subset\mathfrak{g}^*$ be a coadjoint orbit. The action of $G$ on $\mathcal{O}$ induces a morphism $ρ:G\to \mathrm{Homeo}(\mathcal{O})$. We prove that the induced map $π_1(ρ):π_1(G)\toπ_1(\mathrm{Homeo}(\mathcal{O}))$ is injective. This strengthens a theorem of McDuff and Tolman (conjectured by Weinstein in 1989) according to which the analogous map $G\to\mathrm{Ham}(\mathcal{O})$ is injective on fundamental groups, where $\mathrm{Ham}(\mathcal{O})$ is the group of Hamiltonian diffeomorphisms of the standard symplectic structure on $\mathcal{O}$. To prove our theorem we associate to every nontrivial element of $π_1(G)$ a bundle over $S^2$ with fiber $\mathcal{O}$, using the standard patching construction. We then prove that the resulting bundle is topologically nontrivial by studying its cohomology. For this, we prove that it suffices to consider the case in which $G$ is simple and $\mathcal{O}$ is a minimal orbit, and then we prove our result for simple $G$ and minimal orbit $\mathcal{O}$ in a case by case analysis; the proof for the exceptional groups $E_6$ and $E_7$ relies on computer calculations, while all the other ones are addressed by hand. A basic tool in some of our computations is a generalization of Chevalley's formula to bundles of coadjoint orbits over $S^2$ that we prove in this paper. △ Less

Submitted 15 September, 2017; originally announced September 2017.

Automorphisms of generic gradient vector fields with prescribed finite symmetries

Authors: Ignasi Mundet i Riera

Abstract: Let $M$ be a compact and connected smooth manifold endowed with a smooth action of a finite group $Γ$, and let $f$ be a $Γ$-invariant Morse function on $M$. We prove that the space of $Γ$-invariant Riemannian metrics on $M$ contains a residual subset ${\mathcal Met}_f$ with the following property. Let $g\in{\mathcal Met}_f$ and let $\nabla^gf$ be the gradient vector field of $f$ with respect to… ▽ More Let $M$ be a compact and connected smooth manifold endowed with a smooth action of a finite group $Γ$, and let $f$ be a $Γ$-invariant Morse function on $M$. We prove that the space of $Γ$-invariant Riemannian metrics on $M$ contains a residual subset ${\mathcal Met}_f$ with the following property. Let $g\in{\mathcal Met}_f$ and let $\nabla^gf$ be the gradient vector field of $f$ with respect to $g$. For any diffeomorphism $φ$ of $M$ preserving $\nabla^gf$ there exists some real number $t$ and some $γ\inΓ$ such that for every $x\in M$ we have $φ(x)=γ\,Φ_t^g(x)$, where $Φ_t^g$ is the time-$t$ flow of the vector field $\nabla^gf$. △ Less

Submitted 30 November, 2017; v1 submitted 20 March, 2017; originally announced March 2017.

Comments: 37 pages. Comments welcome; v2: one reference added, cosmetic changes in the introduction; v3: substantial simplification of the proof following the referee's suggestion, to appear in the Revista Matemática Iberoamericana

MSC Class: 57S17; 37C10

Finite subgroups of Ham and Symp

Authors: Ignasi Mundet i Riera

Abstract: Let $(X,ω)$ be a compact symplectic manifold of dimension $2n$ and let $Ham(X,ω)$ be its group of Hamiltonian diffeomorphisms. We prove the existence of a constant $C$, depending on $X$ but not on $ω$, such that any finite subgroup $G\subset Ham(X,ω)$ has an abelian subgroup $A\subseteq G$ satisfying $[G:A]\leq C$, and $A$ can be generated by $n$ elements or fewer. If $b_1(X)=0$ we prove an analog… ▽ More Let $(X,ω)$ be a compact symplectic manifold of dimension $2n$ and let $Ham(X,ω)$ be its group of Hamiltonian diffeomorphisms. We prove the existence of a constant $C$, depending on $X$ but not on $ω$, such that any finite subgroup $G\subset Ham(X,ω)$ has an abelian subgroup $A\subseteq G$ satisfying $[G:A]\leq C$, and $A$ can be generated by $n$ elements or fewer. If $b_1(X)=0$ we prove an analogous statement for the entire group of symplectomorphisms of $(X,ω)$. If $b_1(X)\neq 0$ we prove the existence of a constant $C'$ depending only on $X$ such that any finite subgroup $G\subset Symp(X,ω)$ has a subgroup $N\subseteq G$ which is either abelian or $2$-step nilpotent and which satisfies $[G:N]\leq C'$. These results are deduced from the classification of the finite simple groups, the topological rigidity of hamiltonian loops, and the following theorem, which we prove in this paper. Let $E$ be a complex vector bundle over a compact, connected, smooth and oriented manifold $M$; suppose that the real rank of $E$ is equal to the dimension of $M$, and that $\langle e(E),[M]\rangle\neq 0$, where $e(E)$ is the Euler class of $E$; then there exists a constant $C"$ such that, for any prime $p$ and any finite $p$-group $G$ acting on $E$ by vector bundle automorphisms preserving an almost complex structure on $M$, there is a subgroup $G_0\subseteq G$ satisfying $M^{G_0}\neq\emptyset$ and $[G:G_0]\leq C"$. △ Less

Submitted 15 June, 2017; v1 submitted 18 May, 2016; originally announced May 2016.

Comments: 42 pages; v2 substantial revision incorporating referee's comments; proof of Theorem 1.6 corrected

MSC Class: 53D05; 57S17

Parabolic Higgs bundles and representations of the fundamental group of a punctured surface into a real group

Authors: Olivier Biquard, Oscar Garcia-Prada, Ignasi Mundet i Riera

Abstract: We study parabolic G-Higgs bundles over a compact Riemann surface with fixed punctures, when G is a real reductive Lie group, and establish a correspondence between these objects and representations of the fundamental group of the punctured surface in G with arbitrary holonomy around the punctures. Three interesting features are the relation between the parabolic degree and the geometry of the Tit… ▽ More We study parabolic G-Higgs bundles over a compact Riemann surface with fixed punctures, when G is a real reductive Lie group, and establish a correspondence between these objects and representations of the fundamental group of the punctured surface in G with arbitrary holonomy around the punctures. Three interesting features are the relation between the parabolic degree and the geometry of the Tits boundary, the treatment of the case when the logarithm of the monodromy is on the boundary of a Weyl alcove, and the correspondence of the orbits encoding the singularity via the Kostant-Sekiguchi correspondence. We also describe some special features of the moduli spaces when G is a split real form or a group of Hermitian type. △ Less

Submitted 16 July, 2019; v1 submitted 14 October, 2015; originally announced October 2015.

Comments: v2: references added, a few typos corrected; v3: substantial revision, added three sections: (3) relation to parahoric bundles, (7) moduli spaces, (8) examples, 60 pages; v4: several corrections, more details included on the Hitchin-Kobayashi correspondence, some proofs shortened, 57 pages

Finite groups acting symplectically on $T^2\times S^2$

Authors: Ignasi Mundet i Riera

Abstract: For any symplectic form $ω$ on $T^2\times S^2$ we construct infinitely many nonisomorphic finite groups which admit effective smooth actions on $T^2\times S^2$ that are trivial in cohomology but which do not admit any effective symplectic action on $(T^2\times S^2,ω)$. We also prove that for any $ω$ there is another symplectic form $ω'$ on $T^2\times S^2$ and a finite group acting symplectically a… ▽ More For any symplectic form $ω$ on $T^2\times S^2$ we construct infinitely many nonisomorphic finite groups which admit effective smooth actions on $T^2\times S^2$ that are trivial in cohomology but which do not admit any effective symplectic action on $(T^2\times S^2,ω)$. We also prove that for any $ω$ there is another symplectic form $ω'$ on $T^2\times S^2$ and a finite group acting symplectically and effectively on $(T^2\times S^2,ω')$ which does not admit any effective symplectic action on $(T^2\times S^2,ω)$. A basic ingredient in our arguments is the study of the Jordan property of the symplectomorphism groups of $T^2\times S^2$. A group $G$ is Jordan if there exists a constant $C$ such that any finite subgroup $Γ$ of $G$ contains an abelian subgroup whose index in $Γ$ is at most $C$. Csikós, Pyber and Szabó proved recently that the diffeomorphism group of $T^2\times S^2$ is not Jordan. We prove that, in contrast, for any symplectic form $ω$ on $T^2\times S^2$ the group of symplectomorphisms $Symp(T^2\times S^2,ω)$ is Jordan. We also give upper and lower bounds for the optimal value of the constant $C$ in Jordan's property for $Symp(T^2\times S^2,ω)$ depending on the cohomology class represented by $ω$. Our bounds are sharp for a large class of symplectic forms on $T^2\times S^2$. △ Less

Submitted 18 May, 2016; v1 submitted 9 February, 2015; originally announced February 2015.

Comments: 24 pages; v2: substantial revision; results improved: we give concrete (often sharp) values for the constants in the estimates in the main theorems; v3: title and abstract changed, included corrections and improvements suggested by the referee, added an appendix with a geometric interpretation of the automorphisms of the Heisenberg group; to appear in Trans. AMS

MSC Class: 53D05; 57S17

Finite group actions on homology spheres and manifolds with nonzero Euler characteristic

Authors: Ignasi Mundet i Riera

Abstract: Let $X$ be a smooth manifold belonging to one of these three collections: acyclic manifolds (compact or not, possibly with boundary), compact connected manifolds (possibly with boundary) with nonzero Euler characteristic, integral homology spheres. We prove that $Diff(X)$ is Jordan. This means that there exists a constant $C$ such that any finite subgroup $G$ of $Diff(X)$ has an abelian subgroup w… ▽ More Let $X$ be a smooth manifold belonging to one of these three collections: acyclic manifolds (compact or not, possibly with boundary), compact connected manifolds (possibly with boundary) with nonzero Euler characteristic, integral homology spheres. We prove that $Diff(X)$ is Jordan. This means that there exists a constant $C$ such that any finite subgroup $G$ of $Diff(X)$ has an abelian subgroup whose index in $G$ is at most $C$. Using a result of Randall and Petrie we deduce that the automorphism groups of connected, non necessarily compact, smooth real affine varieties with nonzero Euler characteristic are Jordan. △ Less

Submitted 19 March, 2019; v1 submitted 3 March, 2014; originally announced March 2014.

Comments: 17 pages; v4: the previous version v3 has been substantially revised and split in two parts (roughly coinciding with arXiv:1403.0383v2 and arXiv:1310.6565); this is one of the two parts; a corollary on algebraic actions on smooth real affine manifolds has been added; v5: final version, accepted for publication by Journal of Topology

MSC Class: 57S17; 54H15

Finite group actions on 4-manifolds with nonzero Euler characteristic

Authors: Ignasi Mundet i Riera

Abstract: We prove that if $X$ is a compact, oriented, connected $4$-dimensional smooth manifold, possibly with boundary, satisfying $χ(X)\neq 0$, then there exists an integer $C\geq 1$ such that any finite group $G$ acting smoothly and effectively on $X$ has an abelian subgroup $A$ satisfying $[G:A]\leq C$, $χ(X^A)=χ(X)$, and $A$ can be generated by at most $2$ elements. Furthermore, if $χ(X)<0$ then $A$ i… ▽ More We prove that if $X$ is a compact, oriented, connected $4$-dimensional smooth manifold, possibly with boundary, satisfying $χ(X)\neq 0$, then there exists an integer $C\geq 1$ such that any finite group $G$ acting smoothly and effectively on $X$ has an abelian subgroup $A$ satisfying $[G:A]\leq C$, $χ(X^A)=χ(X)$, and $A$ can be generated by at most $2$ elements. Furthermore, if $χ(X)<0$ then $A$ is cyclic. This proves, for any such $X$, a conjecture of Ghys. We also prove an analogous result for manifolds of arbitrary dimension and non-vanishing Euler characteristic, but restricted to pseudofree actions. △ Less

Submitted 27 August, 2015; v1 submitted 11 December, 2013; originally announced December 2013.

Comments: 18 pages, v2: the main theorem has been strengthened for manifolds with negative Euler characteristic; a gap has been corrected in the proof of Lemma 6.1 of v1, which in v2 has been split in Lemmas 6.1 and 6.2; part of the introduction has been rewritten; some other minor changes; v3: final version, substantial revision of v2, to appear in Mathematische Zeitschrift

MSC Class: 57S17

Finite group actions on manifolds without odd cohomology

Authors: Ignasi Mundet i Riera

Abstract: Let $X$ be a compact smooth manifold, possibly with boundary. Denote by $X_1,\dots,X_r$ the connected components of $X$. Assume that the integral cohomology of $X$ is torsion free and supported in even degrees. We prove that there exists a constant $C$ such that any finite group $G$ acting smoothly and effectively on $X$ has an abelian subgroup $A$ of index at most $C$, which can be generated by a… ▽ More Let $X$ be a compact smooth manifold, possibly with boundary. Denote by $X_1,\dots,X_r$ the connected components of $X$. Assume that the integral cohomology of $X$ is torsion free and supported in even degrees. We prove that there exists a constant $C$ such that any finite group $G$ acting smoothly and effectively on $X$ has an abelian subgroup $A$ of index at most $C$, which can be generated by at most $\sum_i[\dim X_i/2]$ elements, and which satisfies $χ(X_i^A)=χ(X_i)$ for every $i$. This proves, for all such manifolds $X$, a conjecture of Étienne Ghys. An essential ingredient of the proof is a result on finite groups by Alexandre Turull and the author which uses the classification of finite simple groups. △ Less

Submitted 29 May, 2014; v1 submitted 24 October, 2013; originally announced October 2013.

Comments: 34 pages. v4: Corollary 1.2 of v3 (which in v4 is Theorem 1.3) is proved for arbitrary compact manifolds independently of Ghys' conjecture, using a group theoretical result of Guralnick and Lucchini; some other minor changes in the introduction

MSC Class: 57S17

Boosting an analogue of Jordan's theorem for finite groups

Authors: Ignasi Mundet i Riera, Alexandre Turull

Abstract: Let $\mathcal C$ be a set of finite groups which is closed under taking subgroups and let $d$ and $M$ be positive integers. Suppose that for any $G\in\mathcal C$ whose order is divisible by at most two distinct primes there exists an abelian subgroup $A\subseteq G$ such that $A$ is generated by at most $d$ elements and $[G : A] \le M$. We prove that there exists a positive constant $C_0$ such that… ▽ More Let $\mathcal C$ be a set of finite groups which is closed under taking subgroups and let $d$ and $M$ be positive integers. Suppose that for any $G\in\mathcal C$ whose order is divisible by at most two distinct primes there exists an abelian subgroup $A\subseteq G$ such that $A$ is generated by at most $d$ elements and $[G : A] \le M$. We prove that there exists a positive constant $C_0$ such that any $G \in \mathcal C$ has an abelian subgroup $A$ satisfying $[G : A] \le C_0$, and $A$ can be generated by at most $d$ elements. We also prove some related results. Our proofs use the Classification of Finite Simple Groups. △ Less

Submitted 10 January, 2014; v1 submitted 24 October, 2013; originally announced October 2013.

Comments: 19 pages. v3: a mention to related independent work of L. Pyber has been included

MSC Class: 20D60

The Hitchin-Kobayashi correspondence, Higgs pairs and surface group representations

Authors: Oscar Garcia-Prada, Peter B. Gothen, Ignasi Mundet i Riera

Abstract: We develop a complete Hitchin-Kobayashi correspondence for twisted pairs on a compact Riemann surface X. The main novelty lies in a careful study of the the notion of polystability for pairs, required for having a bijective correspondence between solutions to the Hermite-Einstein equations, on one hand, and polystable pairs, on the other. Our results allow us to establish rigorously the homemomorp… ▽ More We develop a complete Hitchin-Kobayashi correspondence for twisted pairs on a compact Riemann surface X. The main novelty lies in a careful study of the the notion of polystability for pairs, required for having a bijective correspondence between solutions to the Hermite-Einstein equations, on one hand, and polystable pairs, on the other. Our results allow us to establish rigorously the homemomorphism between the moduli space of polystable G-Higgs bundles on X and the character variety for representations of the fundamental group of X in G. We also study in detail several interesting examples of the correspondence for particular groups and show how to significantly simplify the general stability condition in these cases. △ Less

Submitted 15 August, 2012; v1 submitted 24 September, 2009; originally announced September 2009.

Comments: 49 pages; v3: various corrections and improvements; this paper supersedes Part 1 of arXiv:0809.0576v2 [math.AG]

MSC Class: 53C07 (Primary) 14H60; 58D29 (Secondary)

Higgs bundles and surface group representations in the real symplectic group

Authors: Oscar Garcia-Prada, Peter B. Gothen, Ignasi Mundet i Riera

Abstract: In this paper we study the moduli space of representations of a surface group (i.e., the fundamental group of a closed oriented surface) in the real symplectic group Sp(2n,R). The moduli space is partitioned by an integer invariant, called the Toledo invariant. This invariant is bounded by a Milnor-Wood type inequality. Our main result is a count of the number of connected components of the moduli… ▽ More In this paper we study the moduli space of representations of a surface group (i.e., the fundamental group of a closed oriented surface) in the real symplectic group Sp(2n,R). The moduli space is partitioned by an integer invariant, called the Toledo invariant. This invariant is bounded by a Milnor-Wood type inequality. Our main result is a count of the number of connected components of the moduli space of maximal representations, i.e. representations with maximal Toledo invariant. Our approach uses the non-abelian Hodge theory correspondence proved in a companion paper arXiv:0909.4487 [math.DG] to identify the space of representations with the moduli space of polystable Sp(2n,R)-Higgs bundles. A key step is provided by the discovery of new discrete invariants of maximal representations. These new invariants arise from an identification, in the maximal case, of the moduli space of Sp(2n,R)-Higgs bundles with a moduli space of twisted Higgs bundles for the group GL(n,R). △ Less

Submitted 15 August, 2012; v1 submitted 3 September, 2008; originally announced September 2008.

Comments: 55 pages; v2: main results are unchanged but paper has been completely reorganized and presentation significantly improved; v3, v4: various corrections and improvements; Part 1 of v2 has been split off as the independent paper arXiv:0909.4487v1 [math.DG]

MSC Class: 14H60 (Primary) 53C07; 58D29 (Secondary)

Journal ref: Journal of Topology 6 (2013), 64-118

A compactification of the moduli space of twisted holomorphic maps

Authors: Ignasi Mundet i Riera, Gang Tian

Abstract: We construct a compactification of the moduli space of twisted holomorphic maps with varying complex structure and bounded energy. For a given compact symplectic manifold $X$ with a compatible complex structure and a Hamiltonian action of $S^1$ with moment map $μ:X\to\imag\RR$, the moduli space which we compactify consists of equivalence classes of tuples $(C,P,A,φ)$, where $C$ is a smooth compa… ▽ More We construct a compactification of the moduli space of twisted holomorphic maps with varying complex structure and bounded energy. For a given compact symplectic manifold $X$ with a compatible complex structure and a Hamiltonian action of $S^1$ with moment map $μ:X\to\imag\RR$, the moduli space which we compactify consists of equivalence classes of tuples $(C,P,A,φ)$, where $C$ is a smooth compact complex curve of fixed genus, $P$ is a principal $S^1$ bundle over $C$, $A$ is a connection on $P$ and $φ$ is a section of $P\times_{S^1}X$ satisfying $$\ov{\partial}_Aφ=0,\qquad ι_{v}F_A+μ(φ)=c,$$ where $F_A$ is the curvature of $A$, $v$ is the restriction on $C$ of a volume form on the universal curve over $\oM_g$ and $c$ is a fixed constant. Two tuples $(C,P,A,φ)$ and $(C',P',A',φ')$ are equivalent if there is a morphism of bundles $ρ:P\to P'$ lifting a biholomorphism $C\to C'$ such that $ρ^*A'=A$ and $ρ^*φ'=φ$. The energy of $(C,P,A,φ)$ is $\|F_A\|_{L^2}^2+\|d_Aφ\|_{L^2}^2 +\|μ(φ)-c\|_{L^2}^2$, and the topology of the moduli space is the natural one. We also incorporate marked points in the picture. There are two sources of non compactness. First, bubbling off phenomena, analogous to the one in Gromov--Witten theory. Second, degeneration of $C$ to nodal curves. In this case, there appears a phenomenon which is not present in Gromov--Witten: near the nodes, the section $φ$ may degenerate to a chain of gradient flow lines of $-\imagμ$. △ Less

Submitted 22 April, 2004; originally announced April 2004.

Comments: 75 pages

MSC Class: 53D45; 53D20

Representations of the fundamental group of a closed oriented surface in Sp(4,R)

Authors: Óscar García-Prada, Ignasi Mundet i Riera

Abstract: We classify the connected components of the space of representations of the fundamental group of a closed oriented surface of genus $\geq 2$ in $Sp(4,{\mathbf R})$. We prove that this is equivalent to classifying the connected components of the moduli space of representations (which consists of conjugacy classes of reductive representations). We then continue the analysis initiated by Gothen in… ▽ More We classify the connected components of the space of representations of the fundamental group of a closed oriented surface of genus $\geq 2$ in $Sp(4,{\mathbf R})$. We prove that this is equivalent to classifying the connected components of the moduli space of representations (which consists of conjugacy classes of reductive representations). We then continue the analysis initiated by Gothen in math/9904114, relying on: (1) the relation between our moduli space of representations and the moduli space of certain (polystable) analogues of Higgs bundles (which follows essentially from work of Hitchin, Simpson and Corlette) and (2) the existence of a proper function on the moduli space whose set of local minima can be identified with the moduli space $N$ of (polystable) quadratic bundles of rank 2; we finally deduce our result from the classification of the connected components of $N$. △ Less

Submitted 2 April, 2003; originally announced April 2003.

Comments: 24 pages, submitted

MSC Class: 14H30; 14H60; 32G13; 32C18

The symplectic vortex equations and invariants of Hamiltonian group actions

Authors: Kai Cieliebak, A. Rita Gaio, Ignasi Mundet i Riera, Dietmar Salamon

Abstract: In this paper we define invariants of Hamiltonian group actions for central regular values of the moment map. The key hypotheses are that the moment map is proper and that the ambient manifold is symplectically aspherical. The invariants are based on the symplectic vortex equations. Applications include an existence theorem for relative periodic orbits, a computation for circle actions on a comp… ▽ More In this paper we define invariants of Hamiltonian group actions for central regular values of the moment map. The key hypotheses are that the moment map is proper and that the ambient manifold is symplectically aspherical. The invariants are based on the symplectic vortex equations. Applications include an existence theorem for relative periodic orbits, a computation for circle actions on a complex vector space, and a theorem about the relation between the invariants introduced here and the Seiberg--Witten invariants of a product of a Riemann surface with a two-sphere. △ Less

Submitted 3 October, 2002; v1 submitted 15 November, 2001; originally announced November 2001.

Comments: 87 pages

MSC Class: 37Jxx; 53Dxx

Parabolic vector bundles and equivariant vector bundles

Authors: Ignasi Mundet i Riera

Abstract: Given a complex manifold $X$, a normal crossing divisor $D\subset X$ whose irreducible components $D_1,...,D_s$ are smooth, and a choice of natural numbers $r=(r_1,...,r_s)$, we construct a manifold $X(D,\ur)$ with an action of a torus $Γ$ and we prove that some full subcategory of the category of $Γ$-equivariant vector bundles on $X(D,r)$ is equivalent to the category of parabolic vector bundle… ▽ More Given a complex manifold $X$, a normal crossing divisor $D\subset X$ whose irreducible components $D_1,...,D_s$ are smooth, and a choice of natural numbers $r=(r_1,...,r_s)$, we construct a manifold $X(D,\ur)$ with an action of a torus $Γ$ and we prove that some full subcategory of the category of $Γ$-equivariant vector bundles on $X(D,r)$ is equivalent to the category of parabolic vector bundles on $(X,D)$ in which the lengths of the filtrations over each irreducible component of $X$ are given by $r$. When $X$ is Kaehler, we study the Kaehler cone of $X(D,r)$ and the relation between the corresponding notions of slope-stability. △ Less

Submitted 2 February, 2001; originally announced February 2001.

Comments: 46 pages, 1 figure

MSC Class: 14D20; 14F05

Lifts of smooth group actions to line bundles

Authors: Ignasi Mundet i Riera

Abstract: Let X be a compact manifold with a smooth action of a compact connected Lie group G. Let $L\to X$ be a complex line bundle. Using the Cartan complex for equivariant cohomology, we give a new proof of a theorem of Hattori and Yoshida which says that the action of G lifts to L if and only if the first Chern class $c\sb 1(L)$ of L can be lifted to an integral equivariant cohomology class in… ▽ More Let X be a compact manifold with a smooth action of a compact connected Lie group G. Let $L\to X$ be a complex line bundle. Using the Cartan complex for equivariant cohomology, we give a new proof of a theorem of Hattori and Yoshida which says that the action of G lifts to L if and only if the first Chern class $c\sb 1(L)$ of L can be lifted to an integral equivariant cohomology class in $H\sp 2\sb G(X;\ZZ)$, and that the different lifts of the action are classified by the lifts of $c\sb 1(L)$ to $H\sp 2\sb G(X;\ZZ)$. As a corollary of our method of proof, we prove that, if the action is Hamiltonian and $\nabla$ is a connection on L which is unitary for some metric on L and whose curvature is G-invariant, then there is a lift of the action to a certain power $L\sp d$ (where d is independent of L) which leaves fixed the induced metric on $L^d$ and the connection $\nabla\sp{\otimes d}$. This generalises to symplectic geometry a well known result in Geometric Invariant Theory. △ Less

Submitted 15 February, 2000; originally announced February 2000.

Comments: 12 pages

Hamiltonian Gromov-Witten invariants

Authors: Ignasi Mundet i Riera

Abstract: In this paper we introduce invariants of semi-free Hamiltonian actions of $S\sp 1$ on compact symplectic manifolds (which satisfy some technical conditions related to positivity) using the space of solutions to certain gauge theoretical equations. These equations generalize at the same time the vortex equations and the holomorphicity equation used in Gromov-Witten theory. In the definition of th… ▽ More In this paper we introduce invariants of semi-free Hamiltonian actions of $S\sp 1$ on compact symplectic manifolds (which satisfy some technical conditions related to positivity) using the space of solutions to certain gauge theoretical equations. These equations generalize at the same time the vortex equations and the holomorphicity equation used in Gromov-Witten theory. In the definition of the invariants we combine ideas coming from gauge theory and the ideas underlying the construction of Gromov-Witten invariants. This paper is based on a part of my PhD Thesis (see math/9912150). △ Less

Submitted 15 February, 2000; originally announced February 2000.

Comments: 36 pages

MSC Class: 53D45; 53C07

Yang-Mills-Higgs theory for symplectic fibrations

Authors: Ignasi Mundet i Riera

Abstract: Our aim in this work is to study a system of equations which generalises at the same time the vortex equations of Yang-Mills-Higgs theory and the holomorphicity equation in Gromov theory of pseudoholomorphic curves. We extend some results and definitions from both theories to a common setting. We introduce a functional generalising Yang-Mills-Higgs functional, whose minima coincide with the solu… ▽ More Our aim in this work is to study a system of equations which generalises at the same time the vortex equations of Yang-Mills-Higgs theory and the holomorphicity equation in Gromov theory of pseudoholomorphic curves. We extend some results and definitions from both theories to a common setting. We introduce a functional generalising Yang-Mills-Higgs functional, whose minima coincide with the solutions to our equations. We prove a Hitchin-Kobayashi correspondence allowing to study the solutions of the equations in the Kaehler case. We give a structure of smooth manifold to the set of (gauge equivalence classes of) solutions to (a perturbation of) the equations (the so-called moduli space). We give a compactification of the moduli space, generalising Gromov's compactification of the moduli of holomorphic curves. Finally, we use the moduli space to define (under certain conditions) invariants of compact symplectic manifolds with a Hamiltonian almost free action of S^1. These invariants generalise Gromov-Witten invariants. This is the author's Ph.D. Thesis. A chapter of it is contained in the paper math.DG/9901076. After submitting his thesis in April 1999, the author knew that K. Cieliebak, A. R. Gaio and D. Salamon had also arrived (from a different point of view) at the same equations, and had developed a very similar programme (see math.SG/9909122). △ Less

Submitted 18 December, 1999; originally announced December 1999.

Comments: Ph.D. Thesis (U.A.M., Spain; April 1999), 159 pages

MSC Class: 53D45; 53C07; 35Q40

A Hitchin-Kobayashi correspondence for Kaehler fibrations

Authors: Ignasi Mundet i Riera

Abstract: Let $X$ be a compact Kaehler manifold and $E\to X$ a principal $K$ bundle, where $K$ is a compact connected Lie group. Let ${\cal A}^{1,1}$ be the set of connections on $E$ whose curvature lies in $Ω^{1,1}(E\times_{Ad} {\frak k})$, where ${\frak k}$ is the Lie algebra of $K$. Endow $\frak k$ with a nondegenerate biinvariant bilinear pairing. This allows to identify $\{\frak k}\simeq{\frak k}^*$.… ▽ More Let $X$ be a compact Kaehler manifold and $E\to X$ a principal $K$ bundle, where $K$ is a compact connected Lie group. Let ${\cal A}^{1,1}$ be the set of connections on $E$ whose curvature lies in $Ω^{1,1}(E\times_{Ad} {\frak k})$, where ${\frak k}$ is the Lie algebra of $K$. Endow $\frak k$ with a nondegenerate biinvariant bilinear pairing. This allows to identify $\{\frak k}\simeq{\frak k}^*$. Let $F$ be a Kaehler left $K$-manifold and suppose that there exists a moment map $μ$ for the action of $K$ on $F$. Let ${\cal S}=Γ(E\times_K F)$. In this paper we study the equation $$ΛF_A+μ(Φ)=c$$ for $A\in {\cal A}^{1,1}$ and a section $Φ\in {\cal S}$, where $c\in{\frak k}$ is a fixed central element. We study which orbits of the action of the complex gauge group on ${cal A}^{1,1}\times{\cal S}$ contain solutions of the equation, and we define a positive functional on ${cal A}^{1,1}\times{\cal S}$ which generalises the Yang-Mills-Higgs functional and whose local minima coincide with the solutions of the equation. △ Less

Submitted 17 November, 1999; v1 submitted 19 January, 1999; originally announced January 1999.

Comments: 41 pages, no figures, Latex2e

MSC Class: 53C07; 32L07; 35Q40