Searcharxiv⌕ Search

arXiv subjects

Ignasi Mundet i Riera

Publications and source records attributed to Ignasi Mundet i Riera.

At least 19 recordsLinked to original sources
arXiv2026

Finite abelian group actions on weakly Lefschetz cohomologically symplectic manifolds

We study finite abelian group actions on weakly Lefschetz cohomologically symplectic (WLS) manifolds, a collection of manifolds that includes all compact connected Kaehler manifolds. We prove that for any WLS manifold $X$ there exists a number $C$ such that, for any integer $m\geq C$, if $({\mathbf Z}/m)^k$ acts freely on $X$, then $\sum_j b_j(X;{\mathbf Q})\geq 2^k$. We also prove a structure theorem for effective actions on WLS manifolds of $({\mathbf Z}/p)^r$, where $p$ is a big enough prime, analogous to some results for tori of Lupton and Oprea, and we find bounds on the discrete degree of symmetry of WLS manifolds. Our technique, which may be of independent interest, is based on studying the cohomology of abelian covers of WLS manifolds $X$ associated to certain maps $π:X\to T^k$. We prove that, in the presence of actions of arbitrarily big finite abelian groups, some of these abelian covers have finitely generated cohomology, and the spectral sequence associated to $π$ degenerates at the second page over the rationals.

math.AT↗
arXiv2023

Actions of large finite groups on manifolds

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.

math.GT↗
arXiv2023

Discrete degree of symmetry of manifolds

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.

math.AT↗
arXiv2022

Jordan property for homeomorphism groups and almost fixed point property

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

math.AT↗
arXiv2019

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

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.

math.DG↗
arXiv2019

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

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.

math.DG↗
arXiv2019

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

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.

math.DG↗
arXiv2019

Isometry groups of closed Lorentz 4-manifolds are Jordan

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

math.DG↗
arXiv2018

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

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

math.DG↗
arXiv2017

Automorphisms of generic gradient vector fields with prescribed finite symmetries

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

math.DG↗
arXiv2017

Nontrivial bundles of coadjoint orbits over $S^2$

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.

math.DG↗
arXiv2017

Finite subgroups of Ham and Symp

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

math.SG↗
arXiv2016

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

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

math.SG↗
arXiv2015

Finite group actions on 4-manifolds with nonzero Euler characteristic

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.

math.DG↗
arXiv2014

Finite group actions on manifolds without odd cohomology

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.

math.DG↗
arXiv2014

Boosting an analogue of Jordan's theorem for finite groups

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.

math.GR↗
arXiv2012

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

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.

math.DG↗