Chirality groups of maps and hypermaps

Although the phenomenon of chirality appears in many investigations of maps and hypermaps, no detailed study of chirality seems to have been carried out. Chirality of maps and hypermaps is not merely a binary invariant but can be quantified by two new invariants—the chirality group and the chirality index, the latter being the size of the chirality group. A detailed investigation of the chirality groups of orientably regular maps and hypermaps will be the main objective of this paper. The most extreme type of chirality arises when the chirality group coincides with the monodromy group. Such hypermaps are called totally chiral. Examples of these are constructed by considering appropriate “asymmetric” pairs of generators of certain non-abelian simple groups. We also show that every finite abelian group is the chirality group of some hypermap, whereas many non-abelian groups, including symmetric and dihedral groups, cannot arise as chirality groups. M. Škoviera supported in part by APVT grant 51-027604 and by VEGA grant 1/3022/06.     

On chirality groups and regular coverings of regular oriented hypermaps

We prove that if the Walsh bipartite map M = W (ℋ) of a regular oriented hypermap ℋ is also orientably regular then both M and ℋ have the same chirality group, the covering core of M (the smallest regular map covering M) is the Walsh bipartite map of the covering core of ℋ and the closure cover of M (the greatest regular map covered by M) is the Walsh bipartite map of the closure cover of ℋ. We apply these results to the family of toroidal chiral hypermaps (3, 3, 3) _b,c = W ⁻¹{6, 3} _b,c induced by the family of toroidal bipartite maps {6, 3} _b,c .     

Reflexible maps and hypermaps with face–stabilisers pointwise stabilising half the faces

This paper deals mainly with reflexible hypermaps in which the stabiliser of a hyperface fixes exactly half the hyperfaces - these reflexible hypermaps are called here 2-dichromatic. The number of hyperfaces of any 2-dichromatic hypermap must be necessarily even and greater than or equal to 4. We prove that if then is necessarily orientable and of type , for some positive integers , and , and show that the automorphism group of a 2-dichromatic hypermap is a wreath product. We also construct an infinite family of orientable 2-dichromatic hypermaps of type with 2n hyperfaces (n even). If is a 2-dichromatic map then . In 1959 Sherk [19] described an infinite family of orientable maps, he denoted by , where , and are positive integers satisfying certain conditions. We find in the dual family a subfamily of infinitely many 2-dichromatic maps. Received 23 August 1999; revised 27 March 2000.     

Hypermaps versus bipartite maps

A hypermap was defined by R. Cori to be a pair of permutations σ and α on a finite set B, such that the group generated by σ and α is transitive on B. The genus of a hypermap was defined according to a formula of A. Jacques for the genus of a pair of permutations. This paper presents a one-to-one correspondence between the set of hypermaps of a given genus and the set of 2-colored bipartite maps of the same genus.     

F-actions and parallel-product decomposition of reflexible maps

The parallel product of two rooted maps was introduced by S.E. Wilson in 1994. The main question of this paper is whether for a given reflexible map M one can decompose the map into a parallel product of two reflexible maps. This can be achieved if and only if the monodromy (or the automorphism) group of the map has at least two minimal normal subgroups. All reflexible maps up to 100 edges, which are not parallel-product decomposable, are calculated and presented. For this purpose, all degenerate and slightly-degenerate reflexible maps are classified. In this paper the theory of F-actions is developed including a classification of quotients and parallel-product decomposition. Projections and lifts of automorphisms for quotients and for parallel products are studied. The theory can be immediately applied on rooted maps and rooted hypermaps as they are special cases of F-actions.     

Enumeration of unrooted hypermaps of a given genus

In this paper we derive an enumeration formula for the number of hypermaps of a given genus g and given number of darts n in terms of the numbers of rooted hypermaps of genus γ≤g with m darts, where m|n. Explicit expressions for the number of rooted hypermaps of genus g with n darts were derived by Walsh [T.R.S. Walsh, Hypermaps versus bipartite maps, J. Combin. Theory B 18 (2) (1975) 155-163] for g=0, and by Arquès [D. Arquès, Hypercartes pointées sur le tore: Décompositions et dénombrements, J. Combin. Theory B 43 (1987) 275-286] for g=1. We apply our general counting formula to derive explicit expressions for the number of unrooted spherical hypermaps and for the number of unrooted toroidal hypermaps with given number of darts. We note that in this paper isomorphism classes of hypermaps of genus g≥0 are distinguished up to the action of orientation-preserving hypermap isomorphisms. The enumeration results can be expressed in terms of Fuchsian groups.     

Indecomposable permutations, hypermaps and labeled Dyck paths

Hypermaps were introduced as an algebraic tool for the representation of embeddings of graphs on an orientable surface. Recently a bijection was given between hypermaps and indecomposable permutations; this sheds new light on the subject by connecting a hypermap to a simpler object. In this paper, a bijection between indecomposable permutations and labeled Dyck paths is proposed, from which a few enumerative results concerning hypermaps and maps follow. We obtain for instance an inductive formula for the number of hypermaps with n darts, p vertices and q hyperedges; the latter is also the number of indecomposable permutations of Sn with p cycles and q left-to-right maxima. The distribution of these parameters among all permutations is also considered.     

Regular combinatorial maps

The classical approach to maps is by cell decomposition of a surface. A combinatorial map is a graph-theoretic generalization of a map on a surface. Besides maps on orientable and non-orientable surfaces, combinatorial maps include tessellations, hypermaps, higher dimensional analogues of maps, and certain toroidal complexes of Coxeter, Shephard, and Grünbaum. In a previous paper the incidence structure, diagram, and underlying topological space of a combinatorial map were investigated. This paper treats highly symmetric combinatorial maps. With regularity defined in terms of the automorphism group, necessary and sufficient conditions for a combinatorial map to be regular are given both graph- and group-theoretically. A classification of regular combinatorial maps on closed simply connected manifolds generalizes the well-known classification of metrically regular polytopes. On any closed manifold with nonzero Euler characteristic there are at most finitely many regular combinatorial maps. However, it is shown that, for nearly any diagram D, there are infinitely many regular combinatorial maps with diagram D. A necessary and sufficient condition for the regularity of rank 3 combinatorial maps is given in terms of Coxeter groups. This condition reveals the difficulty in classifying the regular maps on surfaces. In light of this difficulty an algorithm for generating a large class of regular combinatorial maps that are obtained as cyclic coverings of a given regular combinatorial map is given.     

Embeddings with multiple regularity

We introduce (k,l)-regular maps, which generalize two previously studied classes of maps: affinely k-regular maps and totally skew embeddings. We exhibit some explicit examples and obtain bounds on the least dimension of a Euclidean space into which a manifold can be embedded by a (k,l)-regular map. The problem can be regarded as an extension of embedding theory to embeddings with certain non-degeneracy conditions imposed, and is related to approximation theory.     

Asymmetric Combinatorially-Regular Maps

It is shown that for every g≥3, there exists a combinatorially regular map M of type (3, 7) on a closed orientable surface of genus g, such that M has trivial symmetry group. Such maps are constructed from Schreier coset graphs corresponding to permutation representations of the (2, 3, 7) triangle group. 1991 Mathematics Subject Classification: 57M15.     

Regular Cayley maps for finite abelian groups

A regular Cayley map for a finite group A is an orientable map whose orientation-preserving automorphism group G acts regularly on the directed edge set and has a subgroup isomorphic to A that acts regularly on the vertex set. This paper considers the problem of determining which abelian groups have regular Cayley maps. The analysis is purely algebraic, involving the structure of the canonical form for A. The case when A is normal in G involves the relationship between the rank of A and the exponent of the automorphism group of A, and the general case uses Ito's theorem to analyze the factorization G = AY, where Y is the (cyclic) stabilizer of a vertex. Supported in part by the N.Z. Marsden Fund (grant no. UOA0124).     

Geometric realizations for Dyck's regular map on a surface of genus 3

Klein's and Dyck's regular maps on Riemann surfaces of genus 3 were one impetus for the theory of regular maps, automorphic functions, and algebraic curves. Recently a polyhedral realization inE ³ of Klein's map was discovered [18], thereby underlining the strong analogy to the icosahedron. In this paper we show that Dyck's map can be realized inE ³ as a polyhedron of Kepler-Poinsot-type, i.e., with maximal symmetry and minimal self-intersections. Furthermore some closely related polyhedra and a Kepler-Poinsot-type realization of Sherk's regular map of genus 5 are discussed.     

Full rank factorization in echelon form of totally nonpositive (negative) rectangular matrices

An n×m real matrix A is said to be totally nonpositive (negative) if every minor is nonpositive (negative). In this paper, we study the full rank factorization in echelon form of a totally nonpositive (negative) matrix. This characterization allows us to significantly reduce the number of minors to be checked in order to decide the total negativity of a matrix.     

Regular versus continuous rational maps

We prove that a continuous map from a compact nonsingular real algebraic variety X into the unit 2-sphere can be approximated by regular maps if and only if it is homotopic to a continuous map which is regular in the complement of a Zariski closed subvariety A of X of codimension at least 3. The assumption on the codimension of A is essential.     

The Semi-Arc Automorphism Group of a Graph with Application to Map Enumeration

A map is a connected topological graph cellularly embedded in a surface. For a given graph Γ, its genus distribution of rooted maps and embeddings on orientable and non-orientable surfaces are separately investigated by many researchers. By introducing the concept of a semi-arc automorphism group of a graph and classifying all its embeddings under the action of its semi-arc automorphism group, we find the relations between its genus distribution of rooted maps and genus distribution of embeddings on orientable and non-orientable surfaces, and give some new formulas for the number of rooted maps on a given orientable surface with underlying graph a bouquet of cycles B_n, a closed-end ladder L_n or a Ringel ladder R_n. A general scheme for enumerating unrooted maps on surfaces(orientable or non-orientable) with a given underlying graph is established. Using this scheme, we obtained the closed formulas for the numbers of non-isomorphic maps on orientable or non-orientable surfaces with an underlying bouquet B_n in this paper.     

Equivelar maps on the torus

We give a classification of all equivelar polyhedral maps on the torus. In particular, we classify all triangulations and quadrangulations of the torus admitting a vertex transitive automorphism group. These are precisely the ones which are quotients of the regular tessellations {3,6}, {6,3} or {4,4} by a pure translation group. An explicit formula for the number of combinatorial types of equivelar maps (polyhedral and non-polyhedral) with n vertices is obtained in terms of arithmetic functions in elementary number theory, such as the number of integer divisors of n. The asymptotic behaviour for n→∞ is also discussed, and an example is given for n such that the number of distinct equivelar triangulations of the torus with n vertices is larger than n itself. The numbers of regular and chiral maps are determined separately, as well as the ones for all other kinds of symmetry. Furthermore, arithmetic properties of the integers of type p²+pq+q² (or p²+q², resp.) can be interpreted and visualized by the hierarchy of covering maps between regular and chiral equivelar maps or type {3,6} (or {4,4}, resp.).     

Reflexive operators with domain in Köthe spaces

It is proved that if a K?the space λ₁(A) is distinguished and E is an arbitrary Fréchet space then every reflexive map T: λ₁(A)→E (i.e., T maps bounded sets into relatively weakly compact ones) factorizes through a reflexive Fréchet space. An analogous result is proved for Montel maps (i.e., which map bounded sets into relatively compact ones). The result is a consequence of the fact proved also in this paper that, for a distinguished λ₁(A) space, the spaces of reflexive maps R(λ₁(A), C(K)) and of Montel maps M(λ₁(A), C(K)) are the Mackey completions of the spaces of weakly compact and compact maps, respectively. Consequences for spaces of vector-valued (weakly) continuous functions are also obtained. Received: 24 November 1997 / Revised version: 14 May 1998     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.     

Epicompletion in Frames with Skeletal Maps,III: When Maps are Closed

In previous work it was shown that there is an epireflection ψ of the category of all compact normal, joinfit frames, with skeletal maps, in the full subcategory of frames which are also strongly projectable, and that ψ restricts to the epicompletion ε, which is the absolute reflection on compact regular frames. In the first part of this paper it is shown that ψ is a monoreflection and that the reflection map is, in fact, closed. Restricted to coherent frames and maps, ψ A can then be characterized as the least strongly projectable, coherent, normal, joinfit frame in which A can be embedded as a closed, coherent, and skeletal subframe. The second part discusses the role of the nucleus d in this context. On algebraic frames with coherent skeletal maps d becomes an epireflection. Further, it is shown that e = d · ψ epireflects the category of coherent, normal, joinfit frames, with coherent skeletal maps, in the subcategory of those frames which are also regular and strongly projectable, which are epicomplete. The action of e is not monoreflective.