BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

John Guaschi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.GTmath.GRmath.ATmath.KT

Catalog footprint

Research overview

18works
4topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

18 publications

preprint2022arXiv

Free cyclic actions on surfaces and the Borsuk-Ulam theorem

Let MM and NN be topological spaces, let GG be a group, and let τ ⁣: G×M→Mτ\colon\thinspace G \times M \to M be a proper free action of GG. In this paper, we define a Borsuk-Ulam-type property for homotopy classes of maps from MM to NN with respect to the pair (G,τ)(G,τ) that generalises the classical antipodal Borsuk-Ulam theorem of maps from the nn-sphere Sn\mathbb{S}^n to Rn\mathbb{R}^n. In the cases where MM is a finite pathwise-connected CW-complex, GG is a finite, non-trivial Abelian group, ττ is a proper free cellular action, and NN is either R2\mathbb{R}^2 or a compact surface without boundary different of S2\mathbb{S}^2 and RP2\mathbb{RP}^2, we give an algebraic criterion involving braid groups to decide whether a free homotopy class β∈[M,N]β\in [M,N] has the Borsuk-Ulam property. As an application of this criterion, we consider the case where MM is a compact surface without boundary equipped with a free action ττ of the finite cyclic group Zn\mathbb{Z}_n. In terms of the orientability of the orbit space MτM_τ of MM by the action ττ, the value of nn modulo 44 and a certain algebraic condition involving the first homology group of MτM_τ, we are able to determine if the single homotopy class of maps from MM to R2\mathbb{R}^2 possesses the Borsuk-Ulam property with respect to (Zn,τ)(\mathbb{Z}_n,τ). Finally, we give some examples of surfaces on which the symmetric group acts, and for these cases, we obtain some partial results regarding the Borsuk-Ulam property for maps whose target is R2\mathbb{R}^2.

Open access
preprint2016arXiv

Embeddings and the (virtual) cohomological dimension of the braid and mapping class groups of surfaces

In this paper, we make use of the relations between the braid and mapping class groups of a compact, connected, non-orientable surface N without boundary and those of its orientable double covering S to study embeddings of these groups and their (virtual) cohomological dimensions. We first generalise results of Birman and Chillingworth and of Gonçalves and Guaschi to show that the mapping class group MCG(N ; k) of N relative to a k-point subset embeds in the mapping class group MCG(S; 2k) of S relative to a 2k-point subset. We then compute the cohomological dimension of the braid groups of all compact, connected aspherical surfaces without boundary. Finally, if the genus of N is greater than or equal to 2, we give upper bounds for the virtual cohomological dimension of MCG(N ; k).

Open access
preprint2016arXiv

On the homotopy fibre of the inclusion map F\_n(X) →\rightarrow ∏\prod\_1^n X for some orbit spaces X

Under certain conditions, we describe the homotopy type of the homo-topy fibre of the inclusion map F\_n(X) →\rightarrow ∏\prod\_1^n X for the n-th configuration space F\_n(X) of a topological manifold X without boundary such that dim(X) ≥\ge 3. We then apply our results to the cases where either the universal covering of X is contractible or X is an orbit space S^k/G of a tame, free action of a Lie group G on the k-sphere S^k. If the group G is finite and k is odd, we give a full description of the long exact sequence in homotopy of the homotopy fibration of the inclusion map F\_n(S^k/G) →\rightarrow ∏\prod\_1^n S^k/G.

Open access
preprint2016arXiv

The Borsuk-Ulam property for homotopy classes of selfmaps of surfaces of Euler characteristic zero

Let M and N be topological spaces such that M admits a free involution $\τ$. A homotopy class ββ ∈\in [M, N ] is said to have the Borsuk-Ulam property with respect to $\τ$ if for every representative map f : M →\rightarrow N of ββ, there exists a point x ∈\in M such that f ($\τ$ (x)) = f (x). In the case where M is a compact, connected manifold without boundary and N is a compact, connected surface without boundary different from the 2-sphere and the real projective plane, we formulate this property in terms of the pure and full 2-string braid groups of N , and of the fundamental groups of M and the orbit space of M with respect to the action of $\τ$. If M = N is either the 2-torus T^2 or the Klein bottle K^2 , we then solve the problem of deciding which homotopy classes of [M, M ] have the Borsuk-Ulam property. First, if $\τ$ : T^2 →\rightarrow T^2 is a free involution that preserves orientation, we show that no homotopy class of [T^2 , T^2 ] has the Borsuk-Ulam property with respect to $\τ$. Secondly, we prove that up to a certain equivalence relation, there is only one class of free involutions $\τ$ : T^2 →\rightarrow T^2 that reverse orientation, and for such involutions, we classify the homotopy classes in [T^2 , T^2 ] that have the Borsuk-Ulam property with respect to $\τ$ in terms of the induced homomorphism on the fundamental group. Finally, we show that if $\τ$ : K^2 →\rightarrow K^2 is a free involution, then a homotopy class of [K^2 , K^2 ] has the Borsuk-Ulam property with respect to $\τ$ if and only if the given homotopy class lifts to the torus.

Open access
preprint2015arXiv

Quotients of the Artin braid groups and crystallographic groups

Let n be greater than or equal to 3. We study the quotient group B\_n/[P n,P\_n] of the Artin braid group B\_n by the commutator subgroup of its pure Artin braid group P\_n. We show that B\_n/[P n,P\_n] is a crystallographic group, and in the case n=3, we analyse explicitly some of its subgroups. We also prove that B\_n/[P n,P\_n] possesses torsion, and we show that there is a one-to-one correspondence between the conjugacy classes of the finite-order elements of B\_n/[P n,P\_n] with the conjugacy classes of the elements of odd order of the symmetric group S\_n, and that the isomorphism class of any Abelian subgroup of odd order of S\_n is realised by a subgroup of B\_n/[P n,P\_n]. Finally, we discuss the realisation of non-Abelian subgroups of S\_n of odd order as subgroups of B\_n/[P n,P\_n], and we show that the Frobenius group of order 21, which is the smallest non-Abelian group of odd order, embeds in B\_n/[P n,P\_n] for all n greater than or equal to 7.

Open access
preprint2013arXiv

A survey of surface braid groups and the lower algebraic K-theory of their group rings

We give a survey of the theory of surface braid groups and the lower algebraic K-theory of their group rings. We recall several definitions and describe various properties of surface braid groups, such as the existence of torsion, orderability, linearity, and their relation both with mapping class groups and with the homotopy groups of the 2-sphere. The braid groups of the 2-sphere and the real projective plane are of particular interest because they possess elements of finite order, and we discuss in detail their torsion and the classification of their finite and virtually cyclic subgroups. Finally, we outline the methods used to study the lower algebraic K-theory of the group rings of surface braid groups, highlighting recent results concerning the braid groups of the 2-sphere and the real projective plane.

Open access
preprint2012arXiv

Minimal generating and normally generating sets for the braid and mapping class groups of the disc, the sphere and the projective plane

We consider the (pure) braid groups B_{n}(M) and P_{n}(M), where M is the 2-sphere S^2 or the real projective plane RP^2. We determine the minimal cardinality of (normal) generating sets X of these groups, first when there is no restriction on X, and secondly when X consists of elements of finite order. This improves on results of Berrick and Matthey in the case of S^2, and extends them in the case of RP^2. We begin by recalling the situation for the Artin braid groups. As applications of our results, we answer the corresponding questions for the associated mapping class groups, and we show that for M=S^2 or RP^2, the induced action of B_n(M) on H_3 of the universal covering of the n th configuration space of M is trivial.

Open access
preprint2011arXiv

The classification of the virtually cyclic subgroups of the sphere braid groups

We study the problem of determining the isomorphism classes of the virtually cyclic subgroups of the n-string braid groups B_n(S^2) of the 2-sphere S^2. If n is odd, or if n is even and sufficiently large, we obtain the complete classification. For small even values of n, the classification is complete up to an explicit finite number of open cases. In order to prove our main theorem, we obtain a number of other results of independent interest, notably the characterisation of the centralisers and normalisers of the finite cyclic and dicyclic subgroups of B_n(S^2), a result concerning conjugate powers of finite order elements, an analysis of the isomorphism classes of the amalgamated products that occur as subgroups of B_n(S^2), as well as an alternative proof of the fact that the universal covering space of the n-th configuration space of S^2 has the homotopy type of S^3 if n is greater than or equal to three.

Open access
preprint2010arXiv

The Borsuk-Ulam theorem for maps into a surface

Let (X, t, S) be a triple, where S is a compact, connected surface without boundary, and t is a free cellular involution on a CW-complex X. The triple (X, t, S) is said to satisfy the Borsuk-Ulam property if for every continuous map f:X-->S, there exists a point x belonging to X satisfying f(t(x))=f(x). In this paper, we formulate this property in terms of a relation in the 2-string braid group B_2(S) of S. If X is a compact, connected surface without boundary, we use this criterion to classify all triples (X, t, S) for which the Borsuk-Ulam property holds. We also consider various cases where X is not necessarily a surface without boundary, but has the property that π_1(X/t) is isomorphic to the fundamental group of such a surface. If S is different from the 2-sphere S^2 and the real projective plane RP^2, then we show that the Borsuk-Ulam property does not hold for (X, t, S) unless either π_1(X/t) is isomorphic to π_1(RP^2), or π_1(X/t) is isomorphic to the fundamental group of a compact, connected non-orientable surface of genus 2 or 3 and S is orientable. In the latter case, the veracity of the Borsuk-Ulam property depends further on the choice of involution t; we give a necessary and sufficient condition for it to hold in terms of the surjective homomorphism π_1(X/t)-->Z_2 induced by the double covering X-->X/t. The cases S=S^2,RP^2 are treated separately.

Open access
preprint2010arXiv

The lower central and derived series of the braid groups of the projective plane

We determine the lower central and derived series of the n-string braid groups B_n(RP^2) of the real projective plane. We are motivated in part by the study of Fadell-Neuwirth short exact sequences, but the problem is interesting in its own right. For n=1,2, B_n(RP^2) is finite and its lower central and derived series are known. If n>2 (resp. n>4), we show that the lower central (resp. derived) series of B_n(RP^2) is constant from the commutator subgroup onwards, and we exhibit a presentation of the commutator subgroup. In the exceptional cases n=3,4, we determine explicitly the complete derived series of B_3(RP^2), we calculate the derived series of B_4(RP^2) up to and including its fifth term, and we obtain many of the derived series quotients in these two cases.

Open access
preprint2009arXiv

Braid groups of non-orientable surfaces and the Fadell-Neuwirth short exact sequence

Let M be a compact, connected non-orientable surface without boundary and of genus g greater than or equal to 3. We investigate the pure braid groups P_n(M) of M, and in particular the possible splitting of the Fadell-Neuwirth short exact sequence 1 --> P_m(M {x_1,...,x_n}) --> P_{n+m}(M) --> P_n(M) --> 1, where m,n are positive integers, and the homomorphism p*:P_{n+m}(M) --> P_n(M) corresponds geometrically to forgetting the last m strings. This problem is equivalent to that of the existence of a section for the associated fibration p:F_{n+m}(M)} --> F_n(M) of configuration spaces, defined by p((x_1,...,x_n,..., x_{n+m}))= (x_1, ..., x_n). We show that p and p* admit a section if and only if n=1. Together with previous results, this completes the resolution of the splitting problem for surfaces pure braid groups.

Open access
preprint2009arXiv

Embeddings of the braid groups of covering spaces, classification of the finite subgroups of the braid groups of the real projective plane, and linearity of braid groups of low-genus surfaces

Let M be a compact, connected surface, possibly with a finite set of points removed from its interior. Let d,n be positive integers, and let N be a d-fold covering space of M. We show that the covering map induces an embedding of the n-th braid group B_n(M) of M in the (dn)-th braid group B_{dn}(N) of N, and give several applications of this result. First, we classify the finite subgroups of the n-th braid group of the real projective plane, from which we deduce an alternative proof of the classification of the finite subgroups of the mapping class group of the n-punctured real projective plane due to Bujalance, Cirre and Gamboa. Secondly, using the linearity of B_{n} due to Bigelow and Krammer, we show that the braid groups of compact, connected surfaces of low genus are linear.

Open access
preprint2007arXiv

Classification of the virtually cyclic subgroups of the pure braid groups of the projective plane

We classify the (finite and infinite) virtually cyclic subgroups of the pure braid groups Pn(RP2)P_{n}(RP^2) of the projective plane. The maximal finite subgroups of Pn(RP2)P_{n}(RP^2) are isomorphic to the quaternion group of order 8 if n=3n=3, and to Z4\Z_{4} if n≥4n\geq 4. Further, for all n≥3n\geq 3, up to isomorphism, the following groups are the infinite virtually cyclic subgroups of Pn(RP2)P_{n}(RP^2): Z\Z, Z2×Z\Z_{2} \times \Z and the amalgamated product Z4∗Z2Z4\Z_{4} \ast_{\Z_{2}} \Z_{4}.

Open access
preprint2004arXiv

The braid groups of the projective plane

Let B_n(RP^2)$ (respectively P_n(RP^2)) denote the braid group (respectively pure braid group) on n strings of the real projective plane RP^2. In this paper we study these braid groups, in particular the associated pure braid group short exact sequence of Fadell and Neuwirth, their torsion elements and the roots of the `full twist' braid. Our main results may be summarised as follows: first, the pure braid group short exact sequence 1 --> P_{m-n}(RP^2 - {x_1,...,x_n}) --> P_m(RP^2) --> P_n(RP^2) --> 1 does not split if m > 3 and n=2,3. Now let n > 1. Then in B_n(RP^2), there is a k-torsion element if and only if k divides either 4n or 4(n-1). Finally, the full twist braid has a k-th root if and only if k divides either 2n or 2(n-1).

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.