{"id":{"repo_id":"soton","oai_identifier":"oai:eprints.soton.ac.uk:167633"},"canonical_url":"https://search.dev.ndltd.org/etd/soton/oai:eprints.soton.ac.uk:167633","repository":{"repo_id":"soton","name":"University of Southampton","base_url":"https://eprints.soton.ac.uk/cgi/oai2"},"display":{"title":"Hypermaps: constructions and operations","abstract":"It is conjectured that given positive integers l, m, n with l-1 + m-1 + n-1 < 1
and an integer g ≥ 0, the triangle group Δ = Δ (l, m, n) = ⟨X,Y,Z|X l = Y m =
Z n = X Y Z = 1⟩ contains infinitely many subgroups of finite index and of genus
g. This conjecture can be rewritten in another form: given positive integers l,
m, n with l¡1 +m¡1 +n¡1 < 1 and an integer g ≥ 0, there are infinitely many
nonisomorphic compact orientable hypermaps of type (l, m, n) and genus g.
We prove that the conjecture is true, when two of the parameters l, m, n are
equal, by showing how to construct those hypermaps, and we extend the result
to nonorientable hypermaps.
A classification of all operations of finite order in oriented hypermaps is
given, and a detailed study of one of these operations (the duality operation)
is developed. Adapting the notion of chirality group, the duality group of
H can be defined as the minimal subgroup D(H) ≤¦ M on (H) such that
H = D (H) is a self-dual hypermap. We prove that for any positive integer d,
we can find a hypermap of that duality index (the order of D (H) ), even when
some restrictions apply, and also that, for any positive integer k, we can find a
non self-dual hypermap such that |Mon (H) | = d = k. We call this k the duality
coindex of the hypermap. Links between duality index, type and genus of a
orientably regular hypermap are explored.
Finally, we generalize the duality operation for nonorientable regular hypermaps
and we verify if the results about duality index, obtained for orientably
regular hypermaps, are still valid.","abstract_html":"It is conjectured that given positive integers <i>l, m, n</i> with <i>l</i><sup>-1</sup> + <i>m<sup>-</sup></i><sup>1</sup> + <i>n</i><sup>-1</sup> < 1<br/>and an integer <i>g</i> ≥ 0, the triangle group Δ = Δ (<i>l, m, n</i>) = ⟨<i>X,Y,Z|X</i><sup><i> l</i></sup> = <i>Y</i> <sup><i>m</i></sup> =<br/><i>Z <sup>n</sup></i> = <i>X Y Z</i> = 1⟩ contains infinitely many subgroups of finite index and of genus<br/>g. This conjecture can be rewritten in another form: given positive integers l,<br/>m, n with l¡1 +m¡1 +n¡1 < 1 and an integer <i>g</i> ≥ 0, there are infinitely many<br/>nonisomorphic compact orientable hypermaps of type (<i>l, m, n</i>) and genus <i>g</i>.<br/>We prove that the conjecture is true, when two of the parameters <i>l, m, n</i> are<br/>equal, by showing how to construct those hypermaps, and we extend the result<br/>to nonorientable hypermaps.<br/><br/>A classification of all operations of finite order in oriented hypermaps is<br/>given, and a detailed study of one of these operations (the duality operation)<br/>is developed. Adapting the notion of chirality group, the duality group of<br/><i>H</i> can be defined as the minimal subgroup <i>D</i>(<i>H</i>) ≤¦ <i>M on</i> (<i>H</i>) such that<br/><i>H </i>= <i>D </i>(<i>H</i>) is a self-dual hypermap. We prove that for any positive integer <i>d</i>,<br/>we can find a hypermap of that duality index (the order of <i>D</i> (<i>H</i>) ), even when<br/>some restrictions apply, and also that, for any positive integer <i>k</i>, we can find a<br/>non self-dual hypermap such that |<i>Mon</i> (<i>H</i>) | = <i>d</i> = <i>k</i>. We call this <i>k</i> the <i>duality</i><br/>coindex of the hypermap. Links between duality index, type and genus of a<br/>orientably regular hypermap are explored.<br/><br/>Finally, we generalize the duality operation for nonorientable regular hypermaps <br/>and we verify if the results about duality index, obtained for orientably <br/>regular hypermaps, are still valid.","abstract_has_math":false,"creators":["Pinto, Daniel Alexandre Peralta Marques"],"institution":"University of Southampton","degree_name":"Ph.D.","degree_level":"doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Jones, Gareth"],"committee_chairs":[],"committee_members":[],"year":2009,"date_issued":"2009","date_published":"2009","updated_at":"2026-07-24T04:36:17Z","subjects":[],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Jones, Gareth"]},{"key":"dc:creator","label":"Author","values":["Pinto, Daniel Alexandre Peralta Marques"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2009"]},{"key":"dc:date.issued","label":"Date","values":["2009"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Mathematics (pre 2011 reorg)","School of Mathematics"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Southampton"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://eprints.soton.ac.uk/167633/"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Ph.D."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://eprints.soton.ac.uk/167633/1/Daniel_Pinto_PhD.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["It is conjectured that given positive integers l, m, n with l-1 + m-1 + n-1 < 1
and an integer g ≥ 0, the triangle group Δ = Δ (l, m, n) = ⟨X,Y,Z|X l = Y m =
Z n = X Y Z = 1⟩ contains infinitely many subgroups of finite index and of genus
g. This conjecture can be rewritten in another form: given positive integers l,
m, n with l¡1 +m¡1 +n¡1 < 1 and an integer g ≥ 0, there are infinitely many
nonisomorphic compact orientable hypermaps of type (l, m, n) and genus g.
We prove that the conjecture is true, when two of the parameters l, m, n are
equal, by showing how to construct those hypermaps, and we extend the result
to nonorientable hypermaps.
A classification of all operations of finite order in oriented hypermaps is
given, and a detailed study of one of these operations (the duality operation)
is developed. Adapting the notion of chirality group, the duality group of
H can be defined as the minimal subgroup D(H) ≤¦ M on (H) such that
H = D (H) is a self-dual hypermap. We prove that for any positive integer d,
we can find a hypermap of that duality index (the order of D (H) ), even when
some restrictions apply, and also that, for any positive integer k, we can find a
non self-dual hypermap such that |Mon (H) | = d = k. We call this k the duality
coindex of the hypermap. Links between duality index, type and genus of a
orientably regular hypermap are explored.
Finally, we generalize the duality operation for nonorientable regular hypermaps
and we verify if the results about duality index, obtained for orientably
regular hypermaps, are still valid."]},{"key":"dc:format","label":"Dc Format","values":["text"]},{"key":"dc:title","label":"Title","values":["Hypermaps: constructions and operations"]}]}],"canonical_facts":{"dc:contributor.advisor":["Jones, Gareth"],"dc:creator":["Pinto, Daniel Alexandre Peralta Marques"],"dc:date":["2009"],"dc:date.issued":["2009"],"dc:description.abstract":["It is conjectured that given positive integers l, m, n with l-1 + m-1 + n-1 < 1
and an integer g ≥ 0, the triangle group Δ = Δ (l, m, n) = ⟨X,Y,Z|X l = Y m =
Z n = X Y Z = 1⟩ contains infinitely many subgroups of finite index and of genus
g. This conjecture can be rewritten in another form: given positive integers l,
m, n with l¡1 +m¡1 +n¡1 < 1 and an integer g ≥ 0, there are infinitely many
nonisomorphic compact orientable hypermaps of type (l, m, n) and genus g.
We prove that the conjecture is true, when two of the parameters l, m, n are
equal, by showing how to construct those hypermaps, and we extend the result
to nonorientable hypermaps.
A classification of all operations of finite order in oriented hypermaps is
given, and a detailed study of one of these operations (the duality operation)
is developed. Adapting the notion of chirality group, the duality group of
H can be defined as the minimal subgroup D(H) ≤¦ M on (H) such that
H = D (H) is a self-dual hypermap. We prove that for any positive integer d,
we can find a hypermap of that duality index (the order of D (H) ), even when
some restrictions apply, and also that, for any positive integer k, we can find a
non self-dual hypermap such that |Mon (H) | = d = k. We call this k the duality
coindex of the hypermap. Links between duality index, type and genus of a
orientably regular hypermap are explored.
Finally, we generalize the duality operation for nonorientable regular hypermaps
and we verify if the results about duality index, obtained for orientably
regular hypermaps, are still valid."],"dc:format":["text"],"dc:identifier.uri":["https://eprints.soton.ac.uk/167633/1/Daniel_Pinto_PhD.pdf"],"dc:publisher.department":["Mathematics (pre 2011 reorg)","School of Mathematics"],"dc:publisher.institution":["University of Southampton"],"dc:relation.isreferencedby":["https://eprints.soton.ac.uk/167633/"],"dc:title":["Hypermaps: constructions and operations"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["doctoral"],"dc:type.qualificationname":["Ph.D."]},"updated_at":"2026-07-24T04:36:17Z"}