Showing 1–25 of 25 results for author: Neofytidis, C

Maps between circle bundles: Fiber-preserving, Finiteness and Realization of mapping degree sets

Authors: Christoforos Neofytidis, Hongbin Sun, Ye Tian, Shicheng Wang, Zhongzi Wang

Abstract: Let $E_i$ be an oriented circle bundle over a closed oriented aspherical $n$-manifold $M_i$ with Euler class $e_i\in H^2(M_i;\mathbb{Z})$, $i=1,2$. We prove the following: (i) If every finite-index subgroup of $π_1(M_2)$ has trivial center, then any non-zero degree map from $E_1$ to $E_2$ is homotopic to a fiber-preserving map. (ii) The mapping degree set of fiber-preserving maps from $E_1$ to… ▽ More Let $E_i$ be an oriented circle bundle over a closed oriented aspherical $n$-manifold $M_i$ with Euler class $e_i\in H^2(M_i;\mathbb{Z})$, $i=1,2$. We prove the following: (i) If every finite-index subgroup of $π_1(M_2)$ has trivial center, then any non-zero degree map from $E_1$ to $E_2$ is homotopic to a fiber-preserving map. (ii) The mapping degree set of fiber-preserving maps from $E_1$ to $E_2$ is given by $$\{0\} \cup\{k\cdot \mathrm{deg}(f) \ | \, k\ne 0, \ f\colon M_1\to M_2 \, \text{with} \, \mathrm{deg}(f)\ne 0 \ \text{such that}\, f^\#(e_2)=ke_1\},$$ where $f^\# \colon H^2(M_2;\mathbb{Z})\to H^2(M_1;\mathbb{Z})$ is the induced homomorphism. As applications of (i) and (ii), we obtain the following results with respect to the finiteness and the realization problems for mapping degree sets: ($\mathcal F$) The mapping degree set $D(E_1, E_2)$ is finite if $M_2$ is hyperbolic and $e_2$ is not torsion. ($\mathcal R$) For any finite set $A$ of integers containing $0$ and each $n>2$, $A$ is the mapping degree set $D(M,N)$ for some closed oriented $n$-manifolds $M$ and $N$. Items (i) and ($\mathcal F$) extend in all dimensions $\geq 3$ the previously known $3$-dimensional case (i.e., for maps between circle bundles over hyperbolic surfaces). Item ($\mathcal R$) gives a complete answer to the realization problem for finite sets (containing $0$) in any dimension, establishing in particular the previously unknown cases in dimensions $n= 4, 5$. △ Less

Submitted 22 May, 2025; originally announced May 2025.

Comments: 20 pages

Pseudo-Anosov surfaces and Dynamics in 3-manifolds

Authors: Jason F. Manning, Christoforos Neofytidis

Abstract: We determine which closed orientable $3$-manifolds $M$ admit a self-homeomorphism restricting to a pseudo-Anosov map on an incompressible subsurface $Σ$, which we call a pseudo-Anosov surface. When $M$ is irreducible, we show that the self-homeomorphism of $M$ is isotopic rel $Σ$ to a "partially pseudo-Anosov" homeomorphism, a notion that we will introduce. This is motivated by the corresponding r… ▽ More We determine which closed orientable $3$-manifolds $M$ admit a self-homeomorphism restricting to a pseudo-Anosov map on an incompressible subsurface $Σ$, which we call a pseudo-Anosov surface. When $M$ is irreducible, we show that the self-homeomorphism of $M$ is isotopic rel $Σ$ to a "partially pseudo-Anosov" homeomorphism, a notion that we will introduce. This is motivated by the corresponding results for Anosov tori in irreducible $3$-manifolds, and the connection to partially hyperbolic diffeomorphisms, obtained by F. Rodriguez-Hertz, J. Rodriguez-Hertz and R. Ures. △ Less

Submitted 4 March, 2025; originally announced March 2025.

Comments: 18 pages

Strongly chiral rational homology spheres with hyperbolic fundamental groups

Authors: Christoforos Neofytidis

Abstract: For each $m\geq0$ and any prime $p\equiv3\ \mathrm{(mod \ 4)}$, we construct strongly chiral rational homology $(4m+3)$-spheres, which have real hyperbolic fundamental groups and only non-zero integral intermediate homology groups isomorphic to $\mathbb{Z}_{2p}$ in degrees $1,2m+1$ and $4m+1$. This gives group theoretic analogues in high dimensions of the existence of strongly chiral hyperbolic ra… ▽ More For each $m\geq0$ and any prime $p\equiv3\ \mathrm{(mod \ 4)}$, we construct strongly chiral rational homology $(4m+3)$-spheres, which have real hyperbolic fundamental groups and only non-zero integral intermediate homology groups isomorphic to $\mathbb{Z}_{2p}$ in degrees $1,2m+1$ and $4m+1$. This gives group theoretic analogues in high dimensions of the existence of strongly chiral hyperbolic rational homology $3$-spheres, as well as of the existence of strongly chiral hyperbolic manifolds of any dimension that are not rational homology spheres, which was shown by Weinberger. One of our tools will be $r$-spins. We thus investigate the relationship between the sets of degrees of self-maps of a given manifold and its $r$-spins, and give classes of manifolds for which the sets are equal. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Comments: 13 pages

On the realisation problem for mapping degree sets

Authors: Christoforos Neofytidis, Hongbin Sun, Ye Tian, Shicheng Wang, Zhongzi Wang

Abstract: The set of degrees of maps $D(M,N)$, where $M,N$ are closed oriented $n$-manifolds, always contains $0$ and the set of degrees of self-maps $D(M)$ always contains $0$ and $1$. Also, if $a,b\in D(M)$, then $ab\in D(M)$; a set $A\subseteq\mathbb Z$ so that $ab\in A$ for each $a,b\in A$ is called multiplicative. On the one hand, not every infinite set of integers (containing $0$) is a mapping degree… ▽ More The set of degrees of maps $D(M,N)$, where $M,N$ are closed oriented $n$-manifolds, always contains $0$ and the set of degrees of self-maps $D(M)$ always contains $0$ and $1$. Also, if $a,b\in D(M)$, then $ab\in D(M)$; a set $A\subseteq\mathbb Z$ so that $ab\in A$ for each $a,b\in A$ is called multiplicative. On the one hand, not every infinite set of integers (containing $0$) is a mapping degree set [NWW] and, on the other hand, every finite set of integers (containing $0$) is the mapping degree set of some $3$-manifolds [CMV]. We show the following: (i) Not every multiplicative set $A$ containing $0,1$ is a self-mapping degree set. (ii) For each $n\in\mathbb N$ and $k\geq3$, every $D(M,N)$ for $n$-manifolds $M$ and $N$ is $D(P,Q)$ for some $(n+k)$-manifolds $P$ and $Q$. As a consequence of (ii) and [CMV], every finite set of integers (containing $0$) is the mapping degree set of some $n$-manifolds for all $n\neq 1,2,4,5$. △ Less

Submitted 25 October, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: 8 pages; v2: final version, to appear in Proceedings of the American Mathematical Society

Journal ref: Proc. Amer. Math. Soc. 152 (2024), 1769--1776

Topological complexity, asphericity and connected sums

Authors: Christoforos Neofytidis

Abstract: We show that if a closed oriented $n$-manifold $M$ has a non-trivial cohomology class of even degree $k$, whose all pullbacks to products of type $S^1\times N$ vanish, then the topological complexity $\mathrm{TC}(M)$ is at least $6$, if $n$ is odd, and at least $7$ or $9$, if $n$ is even. These bounds extend and improve a result of Mescher and apply for instance to negatively curved manifolds and… ▽ More We show that if a closed oriented $n$-manifold $M$ has a non-trivial cohomology class of even degree $k$, whose all pullbacks to products of type $S^1\times N$ vanish, then the topological complexity $\mathrm{TC}(M)$ is at least $6$, if $n$ is odd, and at least $7$ or $9$, if $n$ is even. These bounds extend and improve a result of Mescher and apply for instance to negatively curved manifolds and to connected sums with at least one such summand. In fact, better bounds are obtained due to the non-vanishing of the Gromov norm. As a consequence, in dimension four, we completely determine the topological complexity of these connected sums, namely we show that it is equal to its maximum value nine. Furthermore, we discuss realisation of degree two homology classes by tori, and show how to construct non-realisable classes out of realisable classes in connected sums. The examples of this paper will quite often be aspherical manifolds whose fundamental groups have trivial center and connected sums. We thus discuss the possible relation between the maximum topological complexity $2n+1$ and the triviality of the center for aspherical $n$-manifolds and their connected sums. △ Less

Submitted 17 December, 2023; v1 submitted 17 December, 2022; originally announced December 2022.

Comments: 16 pages; v2: major revision in which stronger statements are proved, erroneous conclusions about the TC of certain connected sums are removed, and the relation between maximal TC and triviality of the center for aspherical manifolds, as well as their connected sums, is discussed

Geometric structures in Topology, Geometry, Global Analysis and Dynamics

Authors: Christoforos Neofytidis

Abstract: Following Thurston's geometrisation picture in dimension three, we study geometric manifolds in a more general setting in arbitrary dimensions, with respect to the following problems: (i) The existence of maps of non-zero degree (domination relation or Gromov's order); (ii) The Gromov-Thurston monotonicity problem for numerical homotopy invariants with respect to the domination relation; (iii) The… ▽ More Following Thurston's geometrisation picture in dimension three, we study geometric manifolds in a more general setting in arbitrary dimensions, with respect to the following problems: (i) The existence of maps of non-zero degree (domination relation or Gromov's order); (ii) The Gromov-Thurston monotonicity problem for numerical homotopy invariants with respect to the domination relation; (iii) The existence of Anosov diffeomorphisms (Anosov-Smale conjecture). △ Less

Submitted 17 December, 2023; v1 submitted 12 November, 2022; originally announced November 2022.

Comments: 36 pages, survey chapter; v2: final version, to appear in the book "In the tradition of Thurston III", edited by K. Ohshika and A. Papadopoulos

Realising sets of integers as mapping degree sets

Authors: Christoforos Neofytidis, Shicheng Wang, Zhongzi Wang

Abstract: Given two closed oriented manifolds $M,N$ of the same dimension, we denote the set of degrees of maps from $M$ to $N$ by $D(M,N)$. The set $D(M,N)$ always contains zero. We show the following (non-)realisability results: (i) There exists an infinite subset $A$ of $\mathbb Z$ containing $0$ which cannot be realised as $D(M,N)$, for any closed oriented $n$-manifolds $M,N$. (ii) Every finite arit… ▽ More Given two closed oriented manifolds $M,N$ of the same dimension, we denote the set of degrees of maps from $M$ to $N$ by $D(M,N)$. The set $D(M,N)$ always contains zero. We show the following (non-)realisability results: (i) There exists an infinite subset $A$ of $\mathbb Z$ containing $0$ which cannot be realised as $D(M,N)$, for any closed oriented $n$-manifolds $M,N$. (ii) Every finite arithmetic progression of integers containing $0$ can be realised as $D(M,N)$, for some closed oriented $3$-manifolds $M,N$. (iii) Together with $0$, every finite geometric progression of positive integers starting from $1$ can be realised as $D(M,N)$, for some closed oriented manifolds $M,N$. △ Less

Submitted 20 December, 2022; v1 submitted 28 September, 2021; originally announced September 2021.

Comments: 17 pages; v2: final version, to appear in Bulletin of the London Mathematical Society

Journal ref: Bull. Lond. Math. Soc. 55 (2023), 1700--1717

Endomorphisms of mapping tori

Authors: Christoforos Neofytidis

Abstract: We classify in terms of Hopf-type properties mapping tori of residually finite Poincaré Duality groups with non-zero Euler characteristic. This generalises and gives a new proof of the analogous classification for fibered 3-manifolds. Various applications are given. In particular, we deduce that rigidity results for Gromov hyperbolic groups hold for the above mapping tori with trivial center. We classify in terms of Hopf-type properties mapping tori of residually finite Poincaré Duality groups with non-zero Euler characteristic. This generalises and gives a new proof of the analogous classification for fibered 3-manifolds. Various applications are given. In particular, we deduce that rigidity results for Gromov hyperbolic groups hold for the above mapping tori with trivial center. △ Less

Submitted 8 June, 2024; v1 submitted 23 October, 2020; originally announced October 2020.

Comments: 36 pages; v2: final version, to appear in Transactions of the American Mathematical Society

Geometric structures, the Gromov order, Kodaira dimensions and simplicial volume

Authors: Christoforos Neofytidis, Weiyi Zhang

Abstract: We introduce an axiomatic definition for the Kodaira dimension and classify Thurston geometries in dimensions $\leq 5$ in terms of this Kodaira dimension. We show that the Kodaira dimension is monotone with respect to the partial order defined by maps of non-zero degree between 5-manifolds. We study the compatibility of our definition with traditional notions of Kodaira dimension, especially the h… ▽ More We introduce an axiomatic definition for the Kodaira dimension and classify Thurston geometries in dimensions $\leq 5$ in terms of this Kodaira dimension. We show that the Kodaira dimension is monotone with respect to the partial order defined by maps of non-zero degree between 5-manifolds. We study the compatibility of our definition with traditional notions of Kodaira dimension, especially the highest possible Kodaira dimension. To this end, we establish a connection between the simplicial volume and the holomorphic Kodaira dimension, which in particular implies that any smooth Kähler 3-fold with non-vanishing simplicial volume has top holomorphic Kodaira dimension. △ Less

Submitted 15 September, 2021; v1 submitted 2 August, 2020; originally announced August 2020.

Comments: 23 pages; v2: minor changes, to appear in Pacific Journal of Mathematics

Journal ref: Pacific J. Math. 315 (2021), 209--233

Anosov diffeomorphisms on Thurston geometric 4-manifolds

Authors: Christoforos Neofytidis

Abstract: A long-standing conjecture asserts that any Anosov diffeomorphism of a closed manifold is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper, we show that any closed 4-manifold that carries a Thurston geometry and is not finitely covered by a product of two aspherical surfaces does not support (transitive) Anoso… ▽ More A long-standing conjecture asserts that any Anosov diffeomorphism of a closed manifold is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper, we show that any closed 4-manifold that carries a Thurston geometry and is not finitely covered by a product of two aspherical surfaces does not support (transitive) Anosov diffeomorphisms. △ Less

Submitted 21 September, 2020; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: 13 pages; v2: final version, to appear in Geometriae Dedicata

Journal ref: Geom. Dedicata 213 (2021), 325--337

The simplicial volume of mapping tori of 3-manifolds

Authors: Michelle Bucher, Christoforos Neofytidis

Abstract: We prove that any mapping torus of a closed 3-manifold has zero simplicial volume. When the fiber is a prime 3-manifold, classification results can be applied to show vanishing of the simplicial volume, however the case of reducible fibers is by far more subtle. We thus analyse the possible self-homeomorphisms of reducible 3-manifolds, and use this analysis to produce an explicit representative of… ▽ More We prove that any mapping torus of a closed 3-manifold has zero simplicial volume. When the fiber is a prime 3-manifold, classification results can be applied to show vanishing of the simplicial volume, however the case of reducible fibers is by far more subtle. We thus analyse the possible self-homeomorphisms of reducible 3-manifolds, and use this analysis to produce an explicit representative of the fundamental class of the corresponding mapping tori. To this end, we introduce a new technique for understanding self-homeomorphisms of connected sums in arbitrary dimensions on the level of classifying spaces and for computing the simplicial volume. In particular, we extend our computations to mapping tori of certain connected sums in higher dimensions. Our main result completes the picture for the vanishing of the simplicial volume of fiber bundles in dimension four. Moreover, we deduce that dimension four together with the trivial case of dimension two are the only dimensions where all mapping tori have vanishing simplicial volume. As a group theoretic consequence, we derive an alternative proof of the fact that the fundamental group $G$ of a mapping torus of a 3-manifold $M$ is Gromov hyperbolic if and only if $M$ is virtually a connected sum $\# S^2\times S^1$ and $G$ does not contain $\mathbb{Z}^2$. △ Less

Submitted 26 November, 2019; v1 submitted 27 December, 2018; originally announced December 2018.

Comments: 17 pages; v2: small changes, to appear in Mathematische Annalen

Journal ref: Math. Ann. 376 (2020), 1429--1447

Virtual Betti numbers of mapping tori of 3-manifolds

Authors: Christoforos Neofytidis

Abstract: Given a reducible $3$-manifold $M$ with an aspherical summand in its prime decomposition and a homeomorphism $f\colon M\to M$, we construct a map of degree one from a finite cover of $M\rtimes_f S^1$ to a mapping torus of a certain aspherical $3$-manifold. We deduce that $M\rtimes_f S^1$ has virtually infinite first Betti number, except when all aspherical summands of $M$ are virtual $T^2$-bundles… ▽ More Given a reducible $3$-manifold $M$ with an aspherical summand in its prime decomposition and a homeomorphism $f\colon M\to M$, we construct a map of degree one from a finite cover of $M\rtimes_f S^1$ to a mapping torus of a certain aspherical $3$-manifold. We deduce that $M\rtimes_f S^1$ has virtually infinite first Betti number, except when all aspherical summands of $M$ are virtual $T^2$-bundles. This verifies all cases of a conjecture of T.-J. Li and Y. Ni, that any mapping torus of a reducible $3$-manifold $M$ not covered by $S^2\times S^1$ has virtually infinite first Betti number, except when $M$ is virtually $(\#_n T^2\rtimes S^1)\#(\#_mS^2\times S^1)$. Li-Ni's conjecture was recently confirmed by Ni with a group theoretic result, namely, by showing that there exists a $π_1$-surjection from a finite cover of any mapping torus of a reducible $3$-manifold to a certain mapping torus of $\#_m S^2\times S^1$ and using the fact that free-by-cyclic groups are large when the free group is generated by more than one element. △ Less

Submitted 17 February, 2020; v1 submitted 6 October, 2018; originally announced October 2018.

Comments: 11 pages; v2: typos fixed, to appear in Mathematische Zeitschrift

Journal ref: Math. Z. 296 (2020), 1691--1700

Steenrod problem and the domination relation

Authors: Jean-François Lafont, Christoforos Neofytidis

Abstract: We indicate how to combine some classical topology (Thom's work on the Steenrod problem) with some modern topology (simplicial volume) to show that every map between certain manifolds must have degree zero. We furthermore discuss a homotopy theoretic interpretation of parts of our proof, using Thom spaces and Steenrod powers. We indicate how to combine some classical topology (Thom's work on the Steenrod problem) with some modern topology (simplicial volume) to show that every map between certain manifolds must have degree zero. We furthermore discuss a homotopy theoretic interpretation of parts of our proof, using Thom spaces and Steenrod powers. △ Less

Submitted 12 August, 2018; originally announced August 2018.

Comments: 9 pages

Journal ref: Topology Appl. 255 (2019), pgs. 32-40

Anosov diffeomorphisms of products II. Aspherical manifolds

Authors: Christoforos Neofytidis

Abstract: We study aspherical manifolds that do not support Anosov diffeomorphisms. Weakening conditions of Gogolev and Lafont, we show that the product of an infranilmanifold with finitely many aspherical manifolds whose fundamental groups have trivial center and finite outer automorphism group does not support Anosov diffeomorphisms. In the course of our study, we obtain a result of independent group theo… ▽ More We study aspherical manifolds that do not support Anosov diffeomorphisms. Weakening conditions of Gogolev and Lafont, we show that the product of an infranilmanifold with finitely many aspherical manifolds whose fundamental groups have trivial center and finite outer automorphism group does not support Anosov diffeomorphisms. In the course of our study, we obtain a result of independent group theoretic and topological interest on the stability of the Hopf property, namely, that the product of finitely many Hopfian groups with trivial center is Hopfian. △ Less

Submitted 9 September, 2019; v1 submitted 9 June, 2018; originally announced June 2018.

Comments: 14 pages; v2: small changes; to appear in Journal of Pure and Applied Algebra

Journal ref: J. Pure Appl. Algebra 224 (2020), 1102--1114

On a problem of Hopf for circle bundles over aspherical manifolds with hyperbolic fundamental groups

Authors: Christoforos Neofytidis

Abstract: We prove that a circle bundle over a closed oriented aspherical manifold with hyperbolic fundamental group admits a self-map of absolute degree greater than one if and only if it is virtually trivial. This generalizes in every dimension the case of circle bundles over hyperbolic surfaces, for which the result was known by the work of Brooks and Goldman on the Seifert volume. As a consequence, we v… ▽ More We prove that a circle bundle over a closed oriented aspherical manifold with hyperbolic fundamental group admits a self-map of absolute degree greater than one if and only if it is virtually trivial. This generalizes in every dimension the case of circle bundles over hyperbolic surfaces, for which the result was known by the work of Brooks and Goldman on the Seifert volume. As a consequence, we verify the following strong version of a problem of Hopf for the above class of manifolds: Every self-map of non-zero degree of a circle bundle over a closed oriented aspherical manifold with hyperbolic fundamental group is either homotopic to a homeomorphism or homotopic to a non-trivial covering and the bundle is virtually trivial. As another application, we derive the first examples of non-vanishing numerical invariants that are monotone with respect to the mapping degree on non-trivial circle bundles over aspherical manifolds with hyperbolic fundamental groups in any dimension. △ Less

Submitted 27 May, 2022; v1 submitted 10 December, 2017; originally announced December 2017.

Comments: 12 pages; v2: results extended to circle bundles over aspherical manifolds with hyperbolic fundamental groups, title changed accordingly; v3: final version, to appear in Algebraic and Geometric Topology

Journal ref: Algebr. Geom. Topol. 23 (2023), 3205--3220

Sets of degrees of maps between SU(2)-bundles over the 5-sphere

Authors: Jean-François Lafont, Christoforos Neofytidis

Abstract: We compute the sets of degrees of maps between principal $SU(2)$-bundles over $S^5$, i.e. between any of the manifolds $SU(2)\times S^5$ and $SU(3)$. We show that the Steenrod squares provide the only obstruction to the existence of a mapping degree between these manifolds, and construct explicit maps realizing each integer that occurs as a mapping degree. Added Erratum. After this manuscript wa… ▽ More We compute the sets of degrees of maps between principal $SU(2)$-bundles over $S^5$, i.e. between any of the manifolds $SU(2)\times S^5$ and $SU(3)$. We show that the Steenrod squares provide the only obstruction to the existence of a mapping degree between these manifolds, and construct explicit maps realizing each integer that occurs as a mapping degree. Added Erratum. After this manuscript was accepted for publication by Transformation Groups, Xueqi Wang pointed out a mistake in our paper. At the end of this arXiv version we add an erratum, where we correct the statement and the proof of Theorem 1.1. △ Less

Submitted 18 October, 2019; v1 submitted 28 October, 2017; originally announced October 2017.

Comments: 10 pages; v3: final version (to appear in Transformation Groups) with erratum (Section 6)

Journal ref: Transform. Groups 24 (2019), 1147--1155

Anosov diffeomorphisms of products I. Negative curvature and rational homology spheres

Authors: Christoforos Neofytidis

Abstract: We show that various classes of products of manifolds do not support transitive Anosov diffeomorphisms. Exploiting the Ruelle-Sullivan cohomology class, we prove that the product of a negatively curved manifold with a rational homology sphere does not support transitive Anosov diffeomorphisms. We extend this result to products of finitely many negatively curved manifolds of dimensions at least thr… ▽ More We show that various classes of products of manifolds do not support transitive Anosov diffeomorphisms. Exploiting the Ruelle-Sullivan cohomology class, we prove that the product of a negatively curved manifold with a rational homology sphere does not support transitive Anosov diffeomorphisms. We extend this result to products of finitely many negatively curved manifolds of dimensions at least three with a rational homology sphere that has vanishing simplicial volume. As an application of this study, we obtain new examples of manifolds that do not support transitive Anosov diffeomorphisms, including certain manifolds with non-trivial higher homotopy groups and certain products of aspherical manifolds. △ Less

Submitted 6 September, 2019; v1 submitted 16 September, 2017; originally announced September 2017.

Comments: 16 pages; v2: minor changes, to appear in Ergodic Theory and Dynamical Systems

Journal ref: Ergodic Theory Dynam. Systems 41 (2021), 553--569

Domination between different products and finiteness of associated semi-norms

Authors: Christoforos Neofytidis

Abstract: In this note we determine all possible dominations between different products of manifolds, when none of the factors of the codomain is dominated by products. As a consequence, we determine the finiteness of every product-associated functorial semi-norm on the fundamental classes of the aforementioned products. These results give partial answers to questions of M. Gromov. In this note we determine all possible dominations between different products of manifolds, when none of the factors of the codomain is dominated by products. As a consequence, we determine the finiteness of every product-associated functorial semi-norm on the fundamental classes of the aforementioned products. These results give partial answers to questions of M. Gromov. △ Less

Submitted 17 February, 2020; v1 submitted 28 May, 2017; originally announced May 2017.

Comments: 7 pages; v2: small changes, to appear in Publicacions Matemàtiques

Journal ref: Publ. Mat. 64 (2020), 653--660

Invariant incompressible surfaces in reducible 3-manifolds

Authors: Christoforos Neofytidis, Shicheng Wang

Abstract: We study the effect of the mapping class group of a reducible 3-manifold $M$ on each incompressible surface that is invariant under a self-homeomorphism of $M$. As an application of this study we answer a question of F. Rodriguez Hertz, M. Rodriguez Hertz and R. Ures: A reducible 3-manifold admits an Anosov torus if and only if one of its prime summands is either the 3-torus, the mapping torus of… ▽ More We study the effect of the mapping class group of a reducible 3-manifold $M$ on each incompressible surface that is invariant under a self-homeomorphism of $M$. As an application of this study we answer a question of F. Rodriguez Hertz, M. Rodriguez Hertz and R. Ures: A reducible 3-manifold admits an Anosov torus if and only if one of its prime summands is either the 3-torus, the mapping torus of $-id$, or the mapping torus of a hyperbolic automorphism. △ Less

Submitted 22 January, 2017; originally announced January 2017.

Comments: 8 pages

Journal ref: Ergod. Th. Dynam. Sys. 39 (2019) 3136-3143

Ordering Thurston's geometries by maps of non-zero degree

Authors: Christoforos Neofytidis

Abstract: We obtain an ordering of closed aspherical 4-manifolds that carry a non-hyperbolic Thurston geometry. As application, we derive that the Kodaira dimension of geometric 4-manifolds is monotone with respect to the existence of maps of non-zero degree. We obtain an ordering of closed aspherical 4-manifolds that carry a non-hyperbolic Thurston geometry. As application, we derive that the Kodaira dimension of geometric 4-manifolds is monotone with respect to the existence of maps of non-zero degree. △ Less

Submitted 31 May, 2017; v1 submitted 11 July, 2016; originally announced July 2016.

Comments: 18 pages; v2: new section added (Section 6 on Kodaira dimension); v3: minor edits; part of this paper was formerly contained in arXiv:1507.07778; to appear in Journal of Topology and Analysis

Journal ref: J. Topol. Anal. 10 (2018), 853--872

Degrees of self-maps of products

Authors: Christoforos Neofytidis

Abstract: Every closed oriented manifold $M$ is associated with a set of integers $D(M)$, the set of self-mapping degrees of $M$. In this paper we investigate whether a product $M\times N$ admits a self-map of degree $d$, when neither $D(M)$ nor $D(N)$ contains $d$. We find sufficient conditions so that $D(M\times N)$ contains exactly the products of the elements of $D(M)$ with the elements of $D(N)$. As a… ▽ More Every closed oriented manifold $M$ is associated with a set of integers $D(M)$, the set of self-mapping degrees of $M$. In this paper we investigate whether a product $M\times N$ admits a self-map of degree $d$, when neither $D(M)$ nor $D(N)$ contains $d$. We find sufficient conditions so that $D(M\times N)$ contains exactly the products of the elements of $D(M)$ with the elements of $D(N)$. As a consequence, we obtain manifolds $M\times N$ that do not admit self-maps of degree $-1$ (strongly chiral), that have finite sets of self-mapping degrees (inflexible) and that do not admit any self-map of degree $dp$ for a prime number $p$. Furthermore we obtain a characterization of odd-dimensional strongly chiral hyperbolic manifolds in terms of self-mapping degrees of their products. △ Less

Submitted 27 September, 2016; v1 submitted 10 December, 2015; originally announced December 2015.

Comments: 10 pages; v2: structure modified, improved exposition; v3: small edits, to appear in International Mathematics Research Notices

Journal ref: Int. Math. Res. Not. IMRN 22 (2017), 6977--6989

Fundamental groups of aspherical manifolds and maps of non-zero degree

Authors: Christoforos Neofytidis

Abstract: We define a new class of irreducible groups, called groups not infinite-index presentable by products or not IIPP. We prove that certain aspherical manifolds with fundamental groups not IIPP do not admit maps of non-zero degree from direct products. This extends previous results of Kotschick and Loeh, providing new classes of aspherical manifolds - beyond those non-positively curved ones which wer… ▽ More We define a new class of irreducible groups, called groups not infinite-index presentable by products or not IIPP. We prove that certain aspherical manifolds with fundamental groups not IIPP do not admit maps of non-zero degree from direct products. This extends previous results of Kotschick and Loeh, providing new classes of aspherical manifolds - beyond those non-positively curved ones which were predicted by Gromov - that do not admit maps of non-zero degree from direct products. A sample application is that an aspherical geometric 4-manifold admits a map of non-zero degree from a direct product if and only if it is a virtual product itself. This completes a characterization of the product geometries due to Hillman. Along the way we prove that for certain groups the property IIPP is a criterion for reducibility. This especially implies the vanishing of the simplicial volume of the corresponding aspherical manifolds. It is shown that aspherical manifolds with reducible fundamental groups do always admit maps of non-zero degree from direct products. △ Less

Submitted 6 November, 2017; v1 submitted 28 July, 2015; originally announced July 2015.

Comments: 34 pages; v2: Section "Ordering the 4-dimensional geometries" is now part of arXiv:1607.03058; v3: final version following referee's and editor's suggestions; to appear in Groups, Geometry, and Dynamics

Journal ref: Groups Geom. Dyn. 12 (2018), 637--677

On stability of non-domination under taking products

Authors: D. Kotschick, C. Loeh, C. Neofytidis

Abstract: We show that non-domination results for targets that are not dominated by products are stable under Cartesian products. We show that non-domination results for targets that are not dominated by products are stable under Cartesian products. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Comments: 6 pages

MSC Class: 57N65; 55M25

Journal ref: Proc. Amer. Math. Soc. 144 (2016), 2705--2710

Branched coverings of simply connected manifolds

Authors: Christoforos Neofytidis

Abstract: We construct branched double coverings by certain direct products of manifolds for connected sums of copies of sphere bundles over the 2-sphere. As an application we answer a question of Kotschick and Loeh up to dimension five. More precisely, we show that: (1) every simply connected, closed four-manifold admits a branched double covering by a product of the circle with a connected sum of copies o… ▽ More We construct branched double coverings by certain direct products of manifolds for connected sums of copies of sphere bundles over the 2-sphere. As an application we answer a question of Kotschick and Loeh up to dimension five. More precisely, we show that: (1) every simply connected, closed four-manifold admits a branched double covering by a product of the circle with a connected sum of copies of $S^2 \times S^1$, followed by a collapsing map; (2) every simply connected, closed five-manifold admits a branched double covering by a product of the circle with a connected sum of copies of $S^3 \times S^1$, followed by a map whose degree is determined by the torsion of the second integral homology group of the target. △ Less

Submitted 23 November, 2014; v1 submitted 4 October, 2012; originally announced October 2012.

Comments: 13 pages; v2: small improvements and changes; references added; v3: final version, to appear in Topology and its Applications

MSC Class: 57M12; 57M05; 55M25

Journal ref: Topology Appl. 178 (2014) 360--371

On three-manifolds dominated by circle bundles

Authors: D. Kotschick, C. Neofytidis

Abstract: We determine which three-manifolds are dominated by products. The result is that a closed, oriented, connected three-manifold is dominated by a product if and only if it is finitely covered either by a product or by a connected sum of copies of the product of the two-sphere and the circle. This characterization can also be formulated in terms of Thurston geometries, or in terms of purely algebraic… ▽ More We determine which three-manifolds are dominated by products. The result is that a closed, oriented, connected three-manifold is dominated by a product if and only if it is finitely covered either by a product or by a connected sum of copies of the product of the two-sphere and the circle. This characterization can also be formulated in terms of Thurston geometries, or in terms of purely algebraic properties of the fundamental group. We also determine which three-manifolds are dominated by non-trivial circle bundles, and which three-manifold groups are presentable by products. △ Less

Submitted 18 June, 2012; v1 submitted 28 February, 2012; originally announced February 2012.

Comments: 12 pages; to appear in Math. Zeitschrift; ISSN 1103-467X

Report number: Institut Mittag-Leffler report No. 2, 2011/2012, spring MSC Class: 57M05; 57M12; 57M50

Journal ref: Math. Zeitschrift 274 (2013), 21--32