Showing 1–15 of 15 results for author: Edmonds, A L

Aspherical 4-manifolds of odd Euler characteristic

Authors: Allan L. Edmonds

Abstract: An explicit construction of closed, orientable, smooth, aspherical 4-manifolds with any odd Euler characteristic greater than 12 is presented. The manifolds constructed here are all Haken manifolds in the sense of B. Foozwell and H. Rubinstein and can be systematically reduced to balls by suitably cutting them open along essential codimension-one submanifolds. It is easy to construct examples with… ▽ More An explicit construction of closed, orientable, smooth, aspherical 4-manifolds with any odd Euler characteristic greater than 12 is presented. The manifolds constructed here are all Haken manifolds in the sense of B. Foozwell and H. Rubinstein and can be systematically reduced to balls by suitably cutting them open along essential codimension-one submanifolds. It is easy to construct examples with even Euler characteristic from products of surfaces. And Euler characteristics divisible by 3 are know to arise from complex algebraic geometry considerations. Examples with Euler characteristic 1, 5, 7, or 11 appear to be unknown. △ Less

Submitted 17 October, 2017; originally announced October 2017.

MSC Class: 57N13

Euler characteristics of generalized Haken manifolds

Authors: Michael W. Davis, Allan L. Edmonds

Abstract: Haken n-manifolds have been defined and studied by B. Foozwell and H. Rubinstein in analogy with the classical Haken manifolds of dimension 3, based upon the the theory of boundary patterns developed by K. Johannson. The Euler characteristic of a Haken manifold is analyzed and shown to be equal to the sum of the Charney-Davis invariants of the duals of the boundary complexes of the n-cells at the… ▽ More Haken n-manifolds have been defined and studied by B. Foozwell and H. Rubinstein in analogy with the classical Haken manifolds of dimension 3, based upon the the theory of boundary patterns developed by K. Johannson. The Euler characteristic of a Haken manifold is analyzed and shown to be equal to the sum of the Charney-Davis invariants of the duals of the boundary complexes of the n-cells at the end of a hierarchy. These dual complexes are shown to be flag complexes. It follows that the Charney-Davis Conjecture is equivalent to the Euler Characteristic Sign Conjecture for Haken manifolds. Since the Charney-Davis invariant of a flag simplicial 3-sphere is known to be non-negative it follows that a closed Haken 4-manifold has non-negative Euler characteristic. These results hold as well for generalized Haken manifolds whose hierarchies can end with compact contractible manifolds rather than cells. △ Less

Submitted 27 February, 2014; originally announced February 2014.

Comments: 12 pages

MSC Class: 57N65; 05E45 (primary) 57Q99; 57N80 (secondary)

Journal ref: Algebr. Geom. Topol. 14 (2014) 3701-3716

The Euler Characteristic of a Haken 4-Manifold

Authors: Allan L. Edmonds

Abstract: Haken n-manifolds are aspherical manifolds, defined and studied by B. Foozwell and H. Rubinstein, that can be successively cut open along essential codimension-one submanifolds until a disjoint union of n-cells is obtained. Such manifolds come equipped with a boundary pattern, a particular kind of decomposition of the boundary into codimension-zero submanifolds. We prove that there is a certain nu… ▽ More Haken n-manifolds are aspherical manifolds, defined and studied by B. Foozwell and H. Rubinstein, that can be successively cut open along essential codimension-one submanifolds until a disjoint union of n-cells is obtained. Such manifolds come equipped with a boundary pattern, a particular kind of decomposition of the boundary into codimension-zero submanifolds. We prove that there is a certain numerical function phi(X^4) depending only on the boundary and boundary pattern of the compact Haken 4-manifold X^4 (and vanishing if X^4 has empty boundary), such that for any compact Haken 4-manifold X^4 the Euler characteristic satisfies the inequality chi(X^4) >= phi(X^4). In particular, if X^{4} is a closed Haken 4-manifold, then chi(X^4) >= 0. △ Less

Submitted 8 January, 2014; v1 submitted 11 June, 2013; originally announced June 2013.

Comments: Substantially reorganized exposition and some minor corrections

MSC Class: 57M; 05E45

The combinatorics of hyperbolized manifolds

Authors: Allan L. Edmonds, Steven Klee

Abstract: A topological version of a longstanding conjecture of H. Hopf, originally proposed by W. Thurston, states that the sign of the Euler characteristic of a closed aspherical manifold of dimension $d=2m$ depends only on the parity of $m$. Gromov defined several hyperbolization functors which produce an aspherical manifold from a given simplicial or cubical manifold. We investigate the combinatorics of… ▽ More A topological version of a longstanding conjecture of H. Hopf, originally proposed by W. Thurston, states that the sign of the Euler characteristic of a closed aspherical manifold of dimension $d=2m$ depends only on the parity of $m$. Gromov defined several hyperbolization functors which produce an aspherical manifold from a given simplicial or cubical manifold. We investigate the combinatorics of several of these hyperbolizations and verify the Euler Characteristic Sign Conjecture for each of them. In addition, we explore further combinatorial properties of these hyperbolizations as they relate to several well-studied generating functions. △ Less

Submitted 7 August, 2013; v1 submitted 27 October, 2012; originally announced October 2012.

Finite groups with many involutions

Authors: Allan L. Edmonds, Zachary B. Norwood

Abstract: It is shown that a finite group in which more than 3/4 of the elements are involutions must be an elementary abelian 2-group. A group in which exactly 3/4 of the elements are involutions is characterized as the direct product of the dihedral group of order 8 with an elementary abelian 2-group. It is shown that a finite group in which more than 3/4 of the elements are involutions must be an elementary abelian 2-group. A group in which exactly 3/4 of the elements are involutions is characterized as the direct product of the dihedral group of order 8 with an elementary abelian 2-group. △ Less

Submitted 5 November, 2009; originally announced November 2009.

MSC Class: 20D15

A survey of group actions on 4-manifolds

Authors: Allan L. Edmonds

Abstract: Over 50 years of work on group actions on $4$-manifolds, from the 1960's to the present, from knotted fixed point sets to Seiberg-Witten invariants, is surveyed. Locally linear actions are emphasized, but differentiable and purely topological actions are also discussed. The presentation is organized around some of the fundamental general questions that have driven the subject of compact transforma… ▽ More Over 50 years of work on group actions on $4$-manifolds, from the 1960's to the present, from knotted fixed point sets to Seiberg-Witten invariants, is surveyed. Locally linear actions are emphasized, but differentiable and purely topological actions are also discussed. The presentation is organized around some of the fundamental general questions that have driven the subject of compact transformation groups over the years and their interpretations in the case of $4$-manifolds. Many open problems are formulated. Updates to previous problems sets are given. A substantial bibliography is included. △ Less

Submitted 14 April, 2016; v1 submitted 2 July, 2009; originally announced July 2009.

Comments: Added references and citations

MSC Class: 57M60; 57N13; 57S17; 57S15; 57S25

Pseudofree group actions on spheres

Authors: Allan L. Edmonds

Abstract: R. S. Kulkarni showed that a finite group acting pseudofreely, but not freely, preserving orientation, on an even-dimensional sphere (or suitable sphere-like space) is either a periodic group acting semifreely with two fixed points, a dihedral group acting with three singular orbits, or one of the polyhedral groups, occurring only in dimension 2. It is shown here that the dihedral group does not… ▽ More R. S. Kulkarni showed that a finite group acting pseudofreely, but not freely, preserving orientation, on an even-dimensional sphere (or suitable sphere-like space) is either a periodic group acting semifreely with two fixed points, a dihedral group acting with three singular orbits, or one of the polyhedral groups, occurring only in dimension 2. It is shown here that the dihedral group does not act pseudofreely and locally linearly on an actual n-sphere when n is congruent to 0 mod 4. The possibility of such an action when n is congruent to 2 mod 4 and n>2 remains open. Orientation-reversing actions are also considered. △ Less

Submitted 8 June, 2009; originally announced June 2009.

MSC Class: 57S17

Involutions on tori with codimension one fixed point set

Authors: Allan L. Edmonds

Abstract: The standard P. A. Smith theory of p-group actions on spheres, disks, and euclidean spaces is extended to the case of p-group actions on tori (i.e., products of circles) and coupled with topological surgery theory to give a complete topological classification, valid in all dimensions, of the locally linear, orientation reversing, involutions on tori with fixed point set of codimension one. The standard P. A. Smith theory of p-group actions on spheres, disks, and euclidean spaces is extended to the case of p-group actions on tori (i.e., products of circles) and coupled with topological surgery theory to give a complete topological classification, valid in all dimensions, of the locally linear, orientation reversing, involutions on tori with fixed point set of codimension one. △ Less

Submitted 20 November, 2007; v1 submitted 13 October, 2007; originally announced October 2007.

Comments: Corrects error in previous lemma 3.2, adds details for the case when the fixed point set is connected

MSC Class: 57S25; 57S17

Orthocentric simplices and their centers

Authors: Allan L. Edmonds, Mowaffaq Hajja, Horst Martini

Abstract: A simplex is said to be orthocentric if its altitudes intersect in a common point, called its orthocenter. In this paper it is proved that if any two of the traditional centers of an orthocentric simplex (in any dimension) coincide, then the simplex is regular. Along the way orthocentric simplices in which all facets have the same circumradius are characterized, and the possible barycentric coor… ▽ More A simplex is said to be orthocentric if its altitudes intersect in a common point, called its orthocenter. In this paper it is proved that if any two of the traditional centers of an orthocentric simplex (in any dimension) coincide, then the simplex is regular. Along the way orthocentric simplices in which all facets have the same circumradius are characterized, and the possible barycentric coordinates of the orthocenter are described precisely. In particular these barycentric coordinates are used to parametrize the shapes of orthocentric simplices. The substantial, but widespread, literature on orthocentric simplices is briefly surveyed in order to place the new results in their proper context, and some of the previously known results are given new proofs from the present perspective. △ Less

Submitted 3 August, 2005; originally announced August 2005.

Comments: 25 pages

MSC Class: 52B11 (Primary); 51M20 (Secondary)

Coincidences of simplex centers and related facial structures

Authors: Allan L. Edmonds, Mowaffaq Hajja, Horst Martini

Abstract: We investigate the geometric properties of simplices in Euclidean d-dimensional space for which two or more of the analogues of the classical triangle centers (including the centroid, circumcenter, incenter, orthocenter or Monge point, and the Fermat-Torricelli point) coincide. We also investigate the geometric significance of the cevian line segments through a given center having the same lengt… ▽ More We investigate the geometric properties of simplices in Euclidean d-dimensional space for which two or more of the analogues of the classical triangle centers (including the centroid, circumcenter, incenter, orthocenter or Monge point, and the Fermat-Torricelli point) coincide. We also investigate the geometric significance of the cevian line segments through a given center having the same length. We give a unified presentation, including known results for d=2 and d=3. △ Less

Submitted 4 November, 2004; originally announced November 2004.

Comments: 24 pages

MSC Class: 52B11 (Primary); 51M20 (Secondary)

Embedded Surfaces in the 3-Torus

Authors: Allan L. Edmonds

Abstract: Those maps of a closed surface to the three-dimensional torus that are homotopic to embeddings are characterized. Particular attention is paid to the somewhat intricate case when the surface is nonorientable. Those maps of a closed surface to the three-dimensional torus that are homotopic to embeddings are characterized. Particular attention is paid to the somewhat intricate case when the surface is nonorientable. △ Less

Submitted 10 August, 2004; originally announced August 2004.

MSC Class: 57M99; 58R40

The Geometry of an Equifacetal Simplex

Authors: Allan L. Edmonds

Abstract: Equifacetal simplices, all of whose codimension one faces are congruent to one another, are studied. It is shown that the isometry group of such a simplex acts transitively on its set of vertices, and, as an application, equifacetal simplices are shown to have unique centers. It is conjectured that a simplex with a unique center must be equifacetal. The notion of the combinatorial type of an equ… ▽ More Equifacetal simplices, all of whose codimension one faces are congruent to one another, are studied. It is shown that the isometry group of such a simplex acts transitively on its set of vertices, and, as an application, equifacetal simplices are shown to have unique centers. It is conjectured that a simplex with a unique center must be equifacetal. The notion of the combinatorial type of an equifacetal simplex is introduced and analyzed, and all possible combinatorial types of equifacetal simplices are constructed in even dimensions. △ Less

Submitted 6 October, 2006; v1 submitted 10 August, 2004; originally announced August 2004.

Comments: Final revision

MSC Class: 52B11; 52B15

Journal ref: Mathematika 52(2005), 31-45

Periodic maps of composite order on positive definite 4-manifolds

Authors: Allan L Edmonds

Abstract: The possibilities for new or unusual kinds of topological, locally linear periodic maps of non-prime order on closed, simply connected 4-manifolds with positive definite intersection pairings are explored. On the one hand, certain permutation representations on homology are ruled out under appropriate hypotheses. On the other hand, an interesting homologically nontrivial, pseudofree, action of t… ▽ More The possibilities for new or unusual kinds of topological, locally linear periodic maps of non-prime order on closed, simply connected 4-manifolds with positive definite intersection pairings are explored. On the one hand, certain permutation representations on homology are ruled out under appropriate hypotheses. On the other hand, an interesting homologically nontrivial, pseudofree, action of the cyclic group of order 25 on a connected sum of ten copies of the complex projective plane is constructed. △ Less

Submitted 4 March, 2005; v1 submitted 10 May, 2002; originally announced May 2002.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper10.abs.html

MSC Class: 57S17; 57S25; 57M60; 57N14

Journal ref: Geom. Topol. 9 (2005) 315-339

Homology Lens Spaces in Topological 4-Manifolds

Authors: Allan L. Edmonds

Abstract: For a closed 4-manifold X and closed 3-manifold M we investigate the smallest integer n (perhaps infinity) such that M embeds in the connected sum of n copies of X. It is proven that any lens space (or homology lens space) embeds topologically locally flatly in a connected sum of 8 copies of the complex projective plane. For a closed 4-manifold X and closed 3-manifold M we investigate the smallest integer n (perhaps infinity) such that M embeds in the connected sum of n copies of X. It is proven that any lens space (or homology lens space) embeds topologically locally flatly in a connected sum of 8 copies of the complex projective plane. △ Less

Submitted 21 December, 2001; originally announced December 2001.

Comments: 8 pages

MSC Class: 57N10; 57N13; 57N65

Homologically Trivial Group Actions on 4-Manifolds

Authors: Allan L. Edmonds

Abstract: It is proved that an arbitrary finite group acting locally linearly, homologically trivially, and pseudofreely on a closed, simply connected 4-manifold must in fact be cyclic and act semifreely, provided the second betti number of the manifold is at least three. It is proved that an arbitrary finite group acting locally linearly, homologically trivially, and pseudofreely on a closed, simply connected 4-manifold must in fact be cyclic and act semifreely, provided the second betti number of the manifold is at least three. △ Less

Submitted 10 September, 1998; originally announced September 1998.

Comments: 14 pages

MSC Class: 57M60; 57S17; 20J06