Showing 1–50 of 61 results for author: Davis, D M

The connective KO theory of the Eilenberg-MacLane space K(Z/2,2)

Authors: Donald M Davis

Abstract: We compute ko_*(K(Z/2,2)) and ko^*(K(Z/2,2)), the connective KO-homology and -cohomology of the mod 2 Eilenberg-MacLane space K(Z/2,2), using the Adams spectral sequence. The work relies heavily on work done several years earlier for the (complex) ku groups by the author and W.S.Wilson. We illustrate an interesting duality relation between the ko-homology and -cohomology groups. We deduce a new re… ▽ More We compute ko_*(K(Z/2,2)) and ko^*(K(Z/2,2)), the connective KO-homology and -cohomology of the mod 2 Eilenberg-MacLane space K(Z/2,2), using the Adams spectral sequence. The work relies heavily on work done several years earlier for the (complex) ku groups by the author and W.S.Wilson. We illustrate an interesting duality relation between the ko-homology and -cohomology groups. We deduce a new result about Stiefel-Whitney classes in Spin manifolds. △ Less

Submitted 20 February, 2025; originally announced February 2025.

Comments: 108 pages

MSC Class: 55T15; 55N20; 55N15; 57R20

The connective KO-theory of the Eilenberg-MacLane space K(Z_2,2), I: the E_2 page

Authors: Donald M Davis, W Stephen Wilson

Abstract: We compute the $E_2$ page of the Adams spectral sequence converging to the connective KO-theory of the second mod 2 Eilenberg-MacLane space, $ko_*(K(Z/2,2))$. This required a careful analysis of the structure of $H^*(K(Z/2,2);Z_2)$ as a module over the subalgebra of the Steenrod algebra generated by $Sq^1$ and $Sq^2$. Complete analysis of the spectral sequence will be performed in a subsequent pap… ▽ More We compute the $E_2$ page of the Adams spectral sequence converging to the connective KO-theory of the second mod 2 Eilenberg-MacLane space, $ko_*(K(Z/2,2))$. This required a careful analysis of the structure of $H^*(K(Z/2,2);Z_2)$ as a module over the subalgebra of the Steenrod algebra generated by $Sq^1$ and $Sq^2$. Complete analysis of the spectral sequence will be performed in a subsequent paper. △ Less

Submitted 30 October, 2024; originally announced October 2024.

MSC Class: 55S10; 55T15; 55N20; 55N15

The cohomology of the connective spectra for {K}-theory revisited

Authors: Donald M. Davis, W. Stephen Wilson

Abstract: The stable mod 2 cohomologies of the spectra for connective real and complex K-theories are well known and easy to work with. However, the known bases are in terms of the anti-automorphism of Milnor basis elements. We offer simple bases in terms of admissible sequences of Steenrod operations that come from the Adem relations. In particular, the basis for the complex case is that you don't use any… ▽ More The stable mod 2 cohomologies of the spectra for connective real and complex K-theories are well known and easy to work with. However, the known bases are in terms of the anti-automorphism of Milnor basis elements. We offer simple bases in terms of admissible sequences of Steenrod operations that come from the Adem relations. In particular, the basis for the complex case is that you don't use any Steenrod operations in degree one or $2^n+1$, $n > 0$. △ Less

Submitted 18 April, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

Comments: Feedback welcome

MSC Class: 55S10; 55R45; 55N15

Journal ref: New York Journal of Mathematics, volume 30, pages 513-520, 2024

Geodesic complexity of a cube

Authors: Donald M. Davis

Abstract: The topological (resp. geodesic) complexity of a topological (resp. metric) space is roughly the smallest number of continuous rules required to choose paths (resp. shortest paths) between any points of the space. We prove that the geodesic complexity of a cube exceeds its topological complexity by exactly 2. The proof involves a careful analysis of cut loci of the cube. The topological (resp. geodesic) complexity of a topological (resp. metric) space is roughly the smallest number of continuous rules required to choose paths (resp. shortest paths) between any points of the space. We prove that the geodesic complexity of a cube exceeds its topological complexity by exactly 2. The proof involves a careful analysis of cut loci of the cube. △ Less

Submitted 8 August, 2023; originally announced August 2023.

MSC Class: 53C22; 52B10; 55M30

Geodesic complexity of a tetrahedron

Authors: Donald M. Davis

Abstract: We prove that the geodesic complexity of a regular tetrahedron exceeds its topological complexity by 1 or 2. The proof involves a careful analysis of minimal geodesics on the tetrahedron. We prove that the geodesic complexity of a regular tetrahedron exceeds its topological complexity by 1 or 2. The proof involves a careful analysis of minimal geodesics on the tetrahedron. △ Less

Submitted 19 June, 2023; originally announced June 2023.

MSC Class: 53C22; 52B10; 55M30

Isomorphism classes of cut loci for a cube

Authors: Donald M Davis, Manyi Guo

Abstract: We prove that a face of a cube can be optimally partitioned into connected 193 sets on which the cut locus, or ridge tree, is constant up to isomorphism as a labeled graph. These are 60 connected open sets, curves bounding them, and intersection points of curves. Polynomial equations for the curves are provided. Sixteen pairs of sets support the same cut locus class. We present the 177 distinct cu… ▽ More We prove that a face of a cube can be optimally partitioned into connected 193 sets on which the cut locus, or ridge tree, is constant up to isomorphism as a labeled graph. These are 60 connected open sets, curves bounding them, and intersection points of curves. Polynomial equations for the curves are provided. Sixteen pairs of sets support the same cut locus class. We present the 177 distinct cut locus classes. △ Less

Submitted 10 February, 2023; v1 submitted 26 January, 2023; originally announced January 2023.

Comments: Minor corrections. This version submitted for publication

MSC Class: 52B10; 53C22; 52C30

The connective K-theory of the Eilenberg-MacLane space K(Z/p,2)

Authors: Donald M. Davis, W. Stephen Wilson

Abstract: We compute ku^*(K(Z/p,2)) and ku_*(K(Z/p,2)), the connective KU-cohomology and connective KU-homology groups of the mod-p Eilenberg-MacLane space K(Z/p,2), using the Adams spectral sequence. We obtain a striking interaction between h_0-extensions and exotic extensions. The mod-p connective KU-cohomology groups, computed elsewhere, are needed in order to establish higher differentials and exotic ex… ▽ More We compute ku^*(K(Z/p,2)) and ku_*(K(Z/p,2)), the connective KU-cohomology and connective KU-homology groups of the mod-p Eilenberg-MacLane space K(Z/p,2), using the Adams spectral sequence. We obtain a striking interaction between h_0-extensions and exotic extensions. The mod-p connective KU-cohomology groups, computed elsewhere, are needed in order to establish higher differentials and exotic extensions in the integral groups. △ Less

Submitted 20 February, 2023; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: minor changes, submitted for publication

MSC Class: 55T15; 55N20; 55N15

The connective Morava K-theory of the second mod p Eilenberg-MacLane space

Authors: Donald M. Davis, Douglas C. Ravenel, W. Stephen Wilson

Abstract: We develop tools for computing the connective n-th Morava K-theory of spaces. Starting with a Universal Coefficient Theorem that computes the cohomology version from the homology version, we show that every step in the process of computing one is mirrored in the other and that this can be used to make computations. As our example, we compute the connective n-th Morava K-theory of the second mod p… ▽ More We develop tools for computing the connective n-th Morava K-theory of spaces. Starting with a Universal Coefficient Theorem that computes the cohomology version from the homology version, we show that every step in the process of computing one is mirrored in the other and that this can be used to make computations. As our example, we compute the connective n-th Morava K-theory of the second mod p Eilenberg-MacLane space. △ Less

Submitted 20 January, 2025; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: major revision

MSC Class: 55N20; 55N35; 55P20; 55P43; 55Q51; 55T15; 55U20

Gorenstein Duality and Universal Coefficient Theorems

Authors: Donald M. Davis, J. P. C. Greenlees

Abstract: The paper describes a duality phenomenon for cohomology theories with the character of Gorenstein rings. For a connective cohomology theory with the p-local integers in degree 0, and coefficient ring R_* Gorenstein of shift 0, this states that for X with R_*(X) torsion, we have R^*(X)=Σ^a Hom( R_*(X), Z/p^{\infty}). A corresponding statement for modules over a commutative Gorenstein ring spectrum… ▽ More The paper describes a duality phenomenon for cohomology theories with the character of Gorenstein rings. For a connective cohomology theory with the p-local integers in degree 0, and coefficient ring R_* Gorenstein of shift 0, this states that for X with R_*(X) torsion, we have R^*(X)=Σ^a Hom( R_*(X), Z/p^{\infty}). A corresponding statement for modules over a commutative Gorenstein ring spectrum is also proved. [Minor typographical and bibliographic changes to the last version.] △ Less

Submitted 3 October, 2022; v1 submitted 22 June, 2022; originally announced June 2022.

MSC Class: 55U20; 55U30; 55N20; 55P43; 18G15; 13H10

Duality in BP<n> (co)homology

Authors: Donald M. Davis

Abstract: Let E=BP<n> denote the Johnson-Wilson spectrum, localized at p. It is proved that if E_*(X) is locally finite, then there is an isomorphism of right E_*-modules E^*(X) = (E_*(Sigma^{D+n+1}X))^V, where D=Sum |v_i| and M^V=Hom(M,Q/Z) is the Pontryagin dual. This result was motivated by work of the author and W.S.Wilson regarding the 2-local ku-homology and -cohomology of the Eilenberg-MacLane space… ▽ More Let E=BP<n> denote the Johnson-Wilson spectrum, localized at p. It is proved that if E_*(X) is locally finite, then there is an isomorphism of right E_*-modules E^*(X) = (E_*(Sigma^{D+n+1}X))^V, where D=Sum |v_i| and M^V=Hom(M,Q/Z) is the Pontryagin dual. This result was motivated by work of the author and W.S.Wilson regarding the 2-local ku-homology and -cohomology of the Eilenberg-MacLane space K(Z/2,2). △ Less

Submitted 30 May, 2022; v1 submitted 12 May, 2022; originally announced May 2022.

Comments: Minor modifications

MSC Class: 55U20; 55U30; 55N20; 18G15

The mod-2 connected KU-homology of the Eilenberg-MacLane space K(Z/2,2)

Authors: Donald M. Davis, W. Stephen Wilson

Abstract: We compute the mod-2 connected KU-homology of the Eilenberg-MacLane space K(Z/2,2), using a novel Adams spectral sequence analysis. We compute the mod-2 connected KU-homology of the Eilenberg-MacLane space K(Z/2,2), using a novel Adams spectral sequence analysis. △ Less

Submitted 24 June, 2021; originally announced June 2021.

MSC Class: 55T15; 55P20; 55N15

Stiefel-Whitney classes and immersions of orientable and Spin manifolds

Authors: Donald M. Davis, W. Stephen Wilson

Abstract: We determine a nice simple formula for the largest Euclidean space for which there is an orientable n-manifold with a nonimmersion detected by Stiefel-Whitney classes. For Spin manifolds, we prove the analogue of the upper bound and establish the complete answer for n<24 and n=33,34. Results similar to many of these were obtained some 50 years ago, but in a much less tractable form. The sharp resu… ▽ More We determine a nice simple formula for the largest Euclidean space for which there is an orientable n-manifold with a nonimmersion detected by Stiefel-Whitney classes. For Spin manifolds, we prove the analogue of the upper bound and establish the complete answer for n<24 and n=33,34. Results similar to many of these were obtained some 50 years ago, but in a much less tractable form. The sharp results for Spin manifolds require detailed calculations of ko-homology groups of mod-2 Eilenberg-MacLane spaces. △ Less

Submitted 22 March, 2021; v1 submitted 2 November, 2020; originally announced November 2020.

Comments: Some new results. Some minor corrections. Addition of coauthor

MSC Class: 57R42; 57R20; 55N22

Geodesic complexity for non-geodesic spaces

Authors: Donald M. Davis

Abstract: We define the notion of near geodesic between points of a metric space when no geodesic exists, and use this to extend Recio-Mitter's notion of geodesic complexity to non-geodesic spaces. This has potential application to topological robotics. We determine explicit near geodesics and geodesic complexity in a variety of cases. We define the notion of near geodesic between points of a metric space when no geodesic exists, and use this to extend Recio-Mitter's notion of geodesic complexity to non-geodesic spaces. This has potential application to topological robotics. We determine explicit near geodesics and geodesic complexity in a variety of cases. △ Less

Submitted 27 May, 2021; v1 submitted 24 September, 2020; originally announced September 2020.

Comments: One major correction

MSC Class: 53C22; 55R80; 55M30; 68T40

Two robots moving geodesically on a tree

Authors: Donald M. Davis, Michael Harrison, David Recio-Mitter

Abstract: We study the geodesic complexity of the ordered and unordered configuration spaces of graphs in both the $\ell_1$ and $\ell_2$ metrics. We determine the geodesic complexity of the ordered two-point $\varepsilon$-configuration space of any star graph in both the $\ell_1$ and $\ell_2$ metrics and of the unordered two-point configuration space of any tree in the $\ell_1$ metric, by finding explicit g… ▽ More We study the geodesic complexity of the ordered and unordered configuration spaces of graphs in both the $\ell_1$ and $\ell_2$ metrics. We determine the geodesic complexity of the ordered two-point $\varepsilon$-configuration space of any star graph in both the $\ell_1$ and $\ell_2$ metrics and of the unordered two-point configuration space of any tree in the $\ell_1$ metric, by finding explicit geodesics from any pair to any other pair, and arranging them into a minimal number of continuously-varying families. In each case the geodesic complexity matches the known value of the topological complexity. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 20 pages, 17 figures

MSC Class: 53C22; 55R80; 55M30; 68T40

Journal ref: Algebr. Geom. Topol. 22 (2022) 785-814

Geodesics in the configuration spaces of two points in R^n

Authors: Donald M Davis

Abstract: We determine explicit formulas for geodesics (in the Euclidean metric) in the configuration space of ordered pairs (x,x') of points in R^n which satisfy d(x,x')>=epsilon. We interpret this as two or three (depending on the parity of n) geodesic motion-planning rules for this configuration space. In the associated unordered configuration space, we need not prescribe that the points stay apart by ep… ▽ More We determine explicit formulas for geodesics (in the Euclidean metric) in the configuration space of ordered pairs (x,x') of points in R^n which satisfy d(x,x')>=epsilon. We interpret this as two or three (depending on the parity of n) geodesic motion-planning rules for this configuration space. In the associated unordered configuration space, we need not prescribe that the points stay apart by epsilon. For this space, with a Euclidean metric, we show that geodesic motion-planning rules correspond to ordinary motion-planning rules on RP^{n-1}. △ Less

Submitted 4 July, 2020; v1 submitted 3 January, 2020; originally announced January 2020.

Comments: Replacement of paper which just did the ordered case

MSC Class: 53C22; 55R80; 55M30; 68T40

The geodesic complexity of n-dimensional Klein bottles

Authors: Donald M. Davis, David Recio-Mitter

Abstract: The geodesic complexity of a metric space X is the smallest k for which there is a partition of X x X into ENRs E_0,...,E_k on each of which there is a continuous choice of minimal geodesic sigma(x_0,x_1) from x_0 to x_1. We prove that the geodesic complexity of an n-dimensional Klein bottle equals 2n. Its topological complexity remains unknown for n>2. The geodesic complexity of a metric space X is the smallest k for which there is a partition of X x X into ENRs E_0,...,E_k on each of which there is a continuous choice of minimal geodesic sigma(x_0,x_1) from x_0 to x_1. We prove that the geodesic complexity of an n-dimensional Klein bottle equals 2n. Its topological complexity remains unknown for n>2. △ Less

Submitted 16 December, 2019; originally announced December 2019.

MSC Class: 53N22; 55M30; 68T40

On the unordered configuration space C(RP^n,2)

Authors: Donald M. Davis

Abstract: We prove that, if n is a 2-power, the unordered configuration space C(RP^n,2) cannot be immersed in R^{4n-2} nor embedded as a closed subspace of R^{4n-1}, optimal results, while if n is not a 2-power, C(RP^n,2) can be immersed in R^{4n-3}. We also obtain cohomological lower bounds for the topological complexity of C(RP^n,2), which are nearly optimal when n is a 2-power. We also give a new descrip… ▽ More We prove that, if n is a 2-power, the unordered configuration space C(RP^n,2) cannot be immersed in R^{4n-2} nor embedded as a closed subspace of R^{4n-1}, optimal results, while if n is not a 2-power, C(RP^n,2) can be immersed in R^{4n-3}. We also obtain cohomological lower bounds for the topological complexity of C(RP^n,2), which are nearly optimal when n is a 2-power. We also give a new description of the mod-2 cohomology algebra of the Grassmann manifold G_{n+1,2}. △ Less

Submitted 24 May, 2019; originally announced May 2019.

MSC Class: 55R80; 57R42; 55M30; 55S15

K-theory and immersions of spatial polygon spaces

Authors: Donald M Davis

Abstract: For ell a generic n-tuple of positive numbers, N(ell) denotes the space of isometry classes of oriented n-gons in R^3 with side lengths specified by ell. We determine the algebra K(N(ell)) and use this to obtain nonimmersions of the 2(n-3)-manifold N(ell) in Euclidean space for several families of ell. We also use obstruction theory to tell exactly when N(ell) immerses in R^{4n-14} for two familie… ▽ More For ell a generic n-tuple of positive numbers, N(ell) denotes the space of isometry classes of oriented n-gons in R^3 with side lengths specified by ell. We determine the algebra K(N(ell)) and use this to obtain nonimmersions of the 2(n-3)-manifold N(ell) in Euclidean space for several families of ell. We also use obstruction theory to tell exactly when N(ell) immerses in R^{4n-14} for two families of ell. △ Less

Submitted 13 January, 2019; originally announced January 2019.

MSC Class: 57R42; 55N15; 55R80; 57R20

Manifold properties of planar polygon spaces

Authors: Donald M. Davis

Abstract: We prove that the tangent bundle of a generic space of planar n-gons with specified side lengths, identified under isometry, plus a trivial line bundle is isomorphic to (n-2) times a canonical line bundle. We then discuss consequences for orientability, cobordism class, immersions, and parallelizability. We prove that the tangent bundle of a generic space of planar n-gons with specified side lengths, identified under isometry, plus a trivial line bundle is isomorphic to (n-2) times a canonical line bundle. We then discuss consequences for orientability, cobordism class, immersions, and parallelizability. △ Less

Submitted 8 May, 2018; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: Replaces an earlier version called "The tangent bundle of planar polygon spaces." Adds a good result about parallelizability

MSC Class: 57R22; 57R20; 55R25; 57R25

Bounds for higher topological complexity of real projective space implied by BP

Authors: Donald M Davis

Abstract: We use Brown-Peterson cohomology to obtain lower bounds for the higher topological complexity, TC_k(RP^n), of real projective spaces, which are often much stronger than those implied by ordinary mod-2 cohomology. We use Brown-Peterson cohomology to obtain lower bounds for the higher topological complexity, TC_k(RP^n), of real projective spaces, which are often much stronger than those implied by ordinary mod-2 cohomology. △ Less

Submitted 18 January, 2018; originally announced January 2018.

MSC Class: 55M30; 55N20; 70B15

BP-homology of elementary abelian 2-groups: BP-module structure

Authors: Donald M. Davis

Abstract: We determine the BP-module structure, mod higher filtration, of the main part of the BP-homology of elementary abelian 2-groups. The action is related to symmetric polynomials and to Dickson invariants. We determine the BP-module structure, mod higher filtration, of the main part of the BP-homology of elementary abelian 2-groups. The action is related to symmetric polynomials and to Dickson invariants. △ Less

Submitted 27 June, 2018; v1 submitted 28 November, 2017; originally announced November 2017.

Comments: To appear in Proceedings of AMS. Added "abelian" to title. Improved proof of Proposition 3.2

MSC Class: 55N20; 05E05; 15A15; 13A50

A lower bound for higher topological complexity of real projective space

Authors: Donald M Davis

Abstract: We obtain an explicit formula for the best lower bound for the higher topological complexity, TC_k(P^n), of real projective space implied by mod 2 cohomology. We obtain an explicit formula for the best lower bound for the higher topological complexity, TC_k(P^n), of real projective space implied by mod 2 cohomology. △ Less

Submitted 19 September, 2017; v1 submitted 13 September, 2017; originally announced September 2017.

Comments: Minor changes and corrections

MSC Class: 55M30

n-dimensional Klein bottles

Authors: Donald M. Davis

Abstract: An n-dimensional analogue of the Klein bottle arose in our study of topological complexity of planar polygon spaces. We determine its integral cohomology algebra and stable homotopy type, and give an explicit immersion and embedding in Euclidean space. An n-dimensional analogue of the Klein bottle arose in our study of topological complexity of planar polygon spaces. We determine its integral cohomology algebra and stable homotopy type, and give an explicit immersion and embedding in Euclidean space. △ Less

Submitted 19 June, 2017; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: added proof of integral cohomology algebra and an embedding result

MSC Class: 55M30; 55P15; 57R42

The symmetrized topological complexity of the circle

Authors: Donald M Davis

Abstract: We determine the symmetrized topological complexity of the circle, using primarily just general topology. We determine the symmetrized topological complexity of the circle, using primarily just general topology. △ Less

Submitted 15 March, 2017; originally announced March 2017.

MSC Class: 55M30

An approach to the topological complexity of the Klein bottle

Authors: Donald M. Davis

Abstract: Recently, Cohen and Vandembroucq proved that the reduced topological complexity of the Klein bottle is 4. Simultaneously and independently, we announced a proof of the same result. Mistakes were found in our argument, which was quite different than theirs. After correcting these, we found that our description of the obstruction class agreed with theirs. Our approach to showing that this obstructio… ▽ More Recently, Cohen and Vandembroucq proved that the reduced topological complexity of the Klein bottle is 4. Simultaneously and independently, we announced a proof of the same result. Mistakes were found in our argument, which was quite different than theirs. After correcting these, we found that our description of the obstruction class agreed with theirs. Our approach to showing that this obstruction is nonzero failed to do so, while theirs did not fail. Here we discuss our approach, which deals more directly with the simplicial structure of the Klein bottle. △ Less

Submitted 2 February, 2017; v1 submitted 8 December, 2016; originally announced December 2016.

Comments: Corrected a mistake in the most recent version

MSC Class: 55M30

Topological complexity (within 1) of the space of isometry classes of planar n-gons for sufficiently large n

Authors: Donald M. Davis

Abstract: Hausmann and Rodriguez classified spaces of isometry classes of planar n-gons according to their genetic code, which is a collection of sets (called genes) containing n. Omitting the n yields what we call gees. We prove that, for a set of gees with largest gee of size k>0, the topological complexity (TC) of the associated space of n-gons is either 2n-5 or 2n-6 if n>2k+2. We present evidence that s… ▽ More Hausmann and Rodriguez classified spaces of isometry classes of planar n-gons according to their genetic code, which is a collection of sets (called genes) containing n. Omitting the n yields what we call gees. We prove that, for a set of gees with largest gee of size k>0, the topological complexity (TC) of the associated space of n-gons is either 2n-5 or 2n-6 if n>2k+2. We present evidence that suggests that it is very rare that the TC is not equal to 2n-5 or 2n-6. △ Less

Submitted 7 September, 2016; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: One new result, and minor corrections

MSC Class: 55M30; 58D29; 55R80

On the cohomology classes of planar polygon spaces

Authors: Donald M. Davis

Abstract: We obtain an explicit formula for the Poincare duality isomorphism H^{n-3}(Mbar(ell)) to Z/2 for the space of isometry classes of n-gons with specified side lengths, if ell is monogenic in the sense of Hausmann-Rodriguez. This has potential application to topological complexity. We obtain an explicit formula for the Poincare duality isomorphism H^{n-3}(Mbar(ell)) to Z/2 for the space of isometry classes of n-gons with specified side lengths, if ell is monogenic in the sense of Hausmann-Rodriguez. This has potential application to topological complexity. △ Less

Submitted 14 April, 2016; originally announced April 2016.

Comments: 6 pages

MSC Class: 55M30

On the zero-divisor-cup-length of spaces of oriented isometry classes of planar polygons

Authors: Donald M. Davis

Abstract: Using information about the rational cohomology ring of the space of oriented isometry classes of planar n-gons with specified side lengths, we obtain bounds for the zero-divisor-cup-length (zcl) of these spaces, which provide lower bounds for their topological complexity (TC). In many cases our result about the cohomology ring is complete and we determine the precise zcl. We find that there will… ▽ More Using information about the rational cohomology ring of the space of oriented isometry classes of planar n-gons with specified side lengths, we obtain bounds for the zero-divisor-cup-length (zcl) of these spaces, which provide lower bounds for their topological complexity (TC). In many cases our result about the cohomology ring is complete and we determine the precise zcl. We find that there will usually be a significant gap between the bounds for TC implied by zcl and dimensional considerations. △ Less

Submitted 17 March, 2016; v1 submitted 18 November, 2015; originally announced November 2015.

Comments: Replaces a paper entitled "On the cohomology ring of oriented isometry classes of planar polygons." Change of emphasis, significant corrections. Uses rational cohomology rather than mod 2. This version resubmitted for publication, following a very perceptive referee's report

MSC Class: 57R19; 55R80; 58D29

Topological complexity of planar polygon spaces with small genetic code

Authors: Donald M. Davis

Abstract: We determine lower bounds for the topological complexity of many planar polygon spaces mod isometry. With very few exceptions, the upper and lower bounds given by dimension and cohomology considerations differ by 1. This is true for 130 of the 134 generic 7-gon spaces. Our results apply to spaces of n-gons for all n, but primarily for those whose genetic codes, in the sense of Hausmann and Rodrigu… ▽ More We determine lower bounds for the topological complexity of many planar polygon spaces mod isometry. With very few exceptions, the upper and lower bounds given by dimension and cohomology considerations differ by 1. This is true for 130 of the 134 generic 7-gon spaces. Our results apply to spaces of n-gons for all n, but primarily for those whose genetic codes, in the sense of Hausmann and Rodriguez, are moderately small. △ Less

Submitted 20 January, 2016; v1 submitted 25 September, 2015; originally announced September 2015.

Comments: Minor corrections and major expansion. Many more cases covered

MSC Class: 55M30; 58D29; 55R80

Topological complexity of spatial polygon spaces

Authors: Donald M. Davis

Abstract: Using known results about their integral cohomology ring, we prove that the topological complexity of the space of n-gons in R^3 with prescribed side lengths equals 2n-5, assuming that the space is nonempty and does not contain any straight-line polygons. Using known results about their integral cohomology ring, we prove that the topological complexity of the space of n-gons in R^3 with prescribed side lengths equals 2n-5, assuming that the space is nonempty and does not contain any straight-line polygons. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Comments: 3 pages

MSC Class: 58D29; 55R80

Topological complexity of some planar polygon spaces

Authors: Donald M. Davis

Abstract: Using known results about their mod-2 cohomology ring, we prove that the topological complexity of the space of isometry classes of n-gons in the plane with one side of length r and all others of length 1 equals either 2n-5 or 2n-6, provided that n-r is not an odd integer. Using known results about their mod-2 cohomology ring, we prove that the topological complexity of the space of isometry classes of n-gons in the plane with one side of length r and all others of length 1 equals either 2n-5 or 2n-6, provided that n-r is not an odd integer. △ Less

Submitted 6 July, 2015; v1 submitted 3 April, 2015; originally announced April 2015.

Comments: Complete revision. Much stronger result

MSC Class: 58D29; 55R80

Real projective space as a space of planar polygons

Authors: Donald M. Davis

Abstract: We prove that real projective space RP^{n-3} is homeomorphic to the space of all isometry classes of n-gons in the plane with one side of length n-2 and all other sides of length 1. This makes the topological complexity of real projective space more relevant to robotics. We prove that real projective space RP^{n-3} is homeomorphic to the space of all isometry classes of n-gons in the plane with one side of length n-2 and all other sides of length 1. This makes the topological complexity of real projective space more relevant to robotics. △ Less

Submitted 16 January, 2015; v1 submitted 12 January, 2015; originally announced January 2015.

Comments: Improved geometric figures, minor clarifications. This version submitted for publication

MSC Class: 58D29; 55R80; 70G40; 51N20

Topological complexity of 2-torsion lens spaces and ku-(co)homology

Authors: Donald M. Davis

Abstract: We use ku-cohomology to determine lower bounds for the topological complexity of 2-torsion lens spaces. In the process, we give an almost-complete description of the tensor product of two copies of the ku-homology of infinite mod 2^e lens space, proving a conjecture of Gonzalez about the annihilator ideal of the bottom class. Our proof involves an elaborate row reduction of presentation matrices o… ▽ More We use ku-cohomology to determine lower bounds for the topological complexity of 2-torsion lens spaces. In the process, we give an almost-complete description of the tensor product of two copies of the ku-homology of infinite mod 2^e lens space, proving a conjecture of Gonzalez about the annihilator ideal of the bottom class. Our proof involves an elaborate row reduction of presentation matrices of arbitrary size. △ Less

Submitted 12 February, 2015; v1 submitted 15 August, 2014; originally announced August 2014.

Comments: Minor corrections. This version will appear in Morfismos volume honoring Sam Gitler

MSC Class: 55M30; 55N15

2-adic Stirling functions and their zeros

Authors: Donald M. Davis

Abstract: Let $P_n(x)=\frac1{n!}\sum\binom n{2i+1}(2i+1)^x$. This extends to a continuous function on the 2-adic integers, the $n$th 2-adic partial Stirling function. We show that $(-1)^{n+1}P_n$ is the only 2-adically continuous approximation to $S(x,n)$, the Stirling number of the second kind. We present extensive information about the zeros of $P_n$, for which there are many interesting patterns. We prov… ▽ More Let $P_n(x)=\frac1{n!}\sum\binom n{2i+1}(2i+1)^x$. This extends to a continuous function on the 2-adic integers, the $n$th 2-adic partial Stirling function. We show that $(-1)^{n+1}P_n$ is the only 2-adically continuous approximation to $S(x,n)$, the Stirling number of the second kind. We present extensive information about the zeros of $P_n$, for which there are many interesting patterns. We prove that if $e\ge2$ and $2^e+1\le n\le 2^e+4$, then $P_n$ has exactly $2^{e-1}$ zeros, one in each mod $2^{e-1}$ congruence. We study the relationship between the zeros of $P_{2^e+Δ}$ and $P_Δ$, for $1\leΔ\le 2^e$, and the convergence of $P_{2^e+Δ}(x)$ as $e\to\infty$. △ Less

Submitted 3 February, 2014; originally announced February 2014.

Comments: 25 pages

MSC Class: 11B73; 05A99

Enumerating lattices of subsets

Authors: Donald M. Davis

Abstract: Given k sets such that no one is contained in another, there is an associated lattice on the power set P([k]) corresponding to inclusion relations among unions of the sets. Two lattices on P([k]) are equivalent if there is a permutation of [k] under which they correspond. We show that for k=1, 2, 3, and 4, there are 1, 1, 4, and 50 equivalence classes of lattices on P([k]) obtained from sets in th… ▽ More Given k sets such that no one is contained in another, there is an associated lattice on the power set P([k]) corresponding to inclusion relations among unions of the sets. Two lattices on P([k]) are equivalent if there is a permutation of [k] under which they correspond. We show that for k=1, 2, 3, and 4, there are 1, 1, 4, and 50 equivalence classes of lattices on P([k]) obtained from sets in this way. We cannot find a reference to previous work on this enumeration problem in the literature, and so wish to introduce it for subsequent investigation. We explain how the problem arose from algebraic topology. △ Less

Submitted 10 December, 2013; v1 submitted 26 November, 2013; originally announced November 2013.

Comments: Revised version submitted for publication. Slight expansion of algebraic topology discussion

MSC Class: 06A07

p-adic Stirling numbers of the second kind

Authors: Donald M. Davis

Abstract: Let S(n,k) denote the Stirling numbers of the second kind. We prove that the p-adic limit of S(p^e a + c, p^e b + d) as e goes to infinity exists for all integers a, b, c, and d. We call the limiting p-adic integer S(p^\infty a + c, p^\infty b + d). When a equiv b mod (p-1) or d \le 0, we express them in terms of p-adic binomial coefficients introduced in a recent paper. Let S(n,k) denote the Stirling numbers of the second kind. We prove that the p-adic limit of S(p^e a + c, p^e b + d) as e goes to infinity exists for all integers a, b, c, and d. We call the limiting p-adic integer S(p^\infty a + c, p^\infty b + d). When a equiv b mod (p-1) or d \le 0, we express them in terms of p-adic binomial coefficients introduced in a recent paper. △ Less

Submitted 29 July, 2013; originally announced July 2013.

Comments: 13 pages

MSC Class: 11B73; 11A07

Binomial coefficients involving infinite powers of primes

Authors: Donald M. Davis

Abstract: If p is a prime and n a positive integer, let v(n) denote the exponent of p in n, and u(n)=n/p^{v(n)} the unit part of n. If k is a positive integer not divisible by p, we show that the p-adic limit of (-1)^{pke} u((kp^e)!) as e goes to infinity is a well-defined p-adic integer, which we call z_k. In terms of these, we give a formula for the p-adic limit of binom{a p^e +c, b p^e +d) as e goes to i… ▽ More If p is a prime and n a positive integer, let v(n) denote the exponent of p in n, and u(n)=n/p^{v(n)} the unit part of n. If k is a positive integer not divisible by p, we show that the p-adic limit of (-1)^{pke} u((kp^e)!) as e goes to infinity is a well-defined p-adic integer, which we call z_k. In terms of these, we give a formula for the p-adic limit of binom{a p^e +c, b p^e +d) as e goes to infinity, which we call binom(a p^\infty +c, b p^\infty +d). Here a \ge b are positive integers, and c and d are integers. △ Less

Submitted 26 January, 2013; originally announced January 2013.

Comments: 5 pages

MSC Class: 05A10; 11B65; 11D88

For which 2-adic integers $x$ can $\sum_k \binom xk^{-1}$ be defined?

Authors: Donald M. Davis

Abstract: Let $f(n)=\sum_k \binom nk^{-1}$. In a previous paper, we defined for a p-adic integer x that f(x) is p-definable if lim $f(x_j)$ exists in $Q_p$, where $x_j$ denotes the mod $p^j$ reduction of $x$. We proved that if p is odd, then -1 is the only element of $Z_p-N$ for which f(x) is p-definable. For p=2, we proved that if the 1's in the binary expansion of x are eventually extraordinarily sparse,… ▽ More Let $f(n)=\sum_k \binom nk^{-1}$. In a previous paper, we defined for a p-adic integer x that f(x) is p-definable if lim $f(x_j)$ exists in $Q_p$, where $x_j$ denotes the mod $p^j$ reduction of $x$. We proved that if p is odd, then -1 is the only element of $Z_p-N$ for which f(x) is p-definable. For p=2, we proved that if the 1's in the binary expansion of x are eventually extraordinarily sparse, then f(x) is 2-definable. Here we present some conjectures that f(x) is 2-definable for many more 2-adic integers. We discuss the extent to which we can prove these conjectures. △ Less

Submitted 11 January, 2013; originally announced January 2013.

Comments: Preliminary report

MSC Class: 05A10; 11B65; 11D88

For which p-adic integers x can Sum_k binomial(x,k)^(-1) be defined?

Authors: Donald M. Davis

Abstract: Let f(n)= Sum binomial(n,k)^(-1). First, we show that f:N to Q_p is nowhere continuous in the p-adic topology. If x is a p-adic integer, we say that f(x) is p-definable if lim f(x_j) exists in Q_p, where x_j denotes the jth partial sum for x. We prove that f(-1) is p-definable for all primes p, and if p is odd, then -1 is the only element of Z_p - N for which f(x) is p-definable. For p=2, we show… ▽ More Let f(n)= Sum binomial(n,k)^(-1). First, we show that f:N to Q_p is nowhere continuous in the p-adic topology. If x is a p-adic integer, we say that f(x) is p-definable if lim f(x_j) exists in Q_p, where x_j denotes the jth partial sum for x. We prove that f(-1) is p-definable for all primes p, and if p is odd, then -1 is the only element of Z_p - N for which f(x) is p-definable. For p=2, we show that if k is a positive integer, then f(-k-1) is not 2-definable, but that if the 1's in the binary expansion of x are eventually very sparse, then f(x) is 2-definable. Some of our proofs require that p satisfy one of two conditions. There are three small primes that do not satisfy the relevant condition, but our theorems can be proved directly for these primes. No other prime less than 100,000,000 fails to satisfy the conditions. △ Less

Submitted 1 August, 2012; originally announced August 2012.

Comments: 21 pages

MSC Class: 05A10; 11B65; 11D88

v1-Periodic 2-exponents of SU(2^e) and SU(2^e + 1)

Authors: Donald M. Davis

Abstract: We determine precisely the largest v1-periodic homotopy groups of SU(2^e) and SU(2^e + 1). This gives new results about the largest actual homotopy groups of these spaces. Our proof relies on results about 2-divisibility of restricted sums of binomial coefficients times powers proved by the author in a companion paper. We determine precisely the largest v1-periodic homotopy groups of SU(2^e) and SU(2^e + 1). This gives new results about the largest actual homotopy groups of these spaces. Our proof relies on results about 2-divisibility of restricted sums of binomial coefficients times powers proved by the author in a companion paper. △ Less

Submitted 22 September, 2011; originally announced September 2011.

Comments: 8 pages

MSC Class: 55Q52; 11B73

Divisibility by 2 of partial Stirling numbers

Authors: Donald M. Davis

Abstract: The partial Stirling numbers T_n(k) used here are defined as the sum over odd values of i of (n choose i) i^k. Their 2-exponents nu(T_n(k)) are important in algebraic topology. We provide many specific results, applying to all values of n, stating that, for all k in a certain congruence class mod 2^t, nu(T_n(k)) = nu(k - k0) + c0, where k0 is a 2-adic integer and c0 a positive integer. Our analysi… ▽ More The partial Stirling numbers T_n(k) used here are defined as the sum over odd values of i of (n choose i) i^k. Their 2-exponents nu(T_n(k)) are important in algebraic topology. We provide many specific results, applying to all values of n, stating that, for all k in a certain congruence class mod 2^t, nu(T_n(k)) = nu(k - k0) + c0, where k0 is a 2-adic integer and c0 a positive integer. Our analysis involves several new general results for nu(sum (n choose 2i+1) i^j), the proofs of which involve a new family of polynomials. Following Clarke, we interpret T_n as a function on the 2-adic integers, and the 2-adic integers k0 described above as the zeros of these functions. △ Less

Submitted 22 September, 2011; originally announced September 2011.

Comments: 33 pages

MSC Class: 11B73; 05A99

Some new nonimmersion results for real projective spaces

Authors: Donald M. Davis

Abstract: We use the spectrum tmf to obtain new nonimmersion results for many real projective spaces RP^n for n as small as 113. The only new ingredient is some new calculations of tmf-cohomology groups. We present an expanded table of nonimmersion results. Our new theorem is new for 17% of the values of n between 2^i and 2^i + 2^14 for i > 14. We use the spectrum tmf to obtain new nonimmersion results for many real projective spaces RP^n for n as small as 113. The only new ingredient is some new calculations of tmf-cohomology groups. We present an expanded table of nonimmersion results. Our new theorem is new for 17% of the values of n between 2^i and 2^i + 2^14 for i > 14. △ Less

Submitted 28 January, 2011; originally announced January 2011.

Comments: 10 pages

MSC Class: 57R42

Vector fields on RP^m x RP^n

Authors: Donald M. Davis

Abstract: The span of a manifold is its maximum number of linearly independent vector fields. We discuss the question, still unresolved, of whether span(P^m x P^n) always equals span(P^m) + span(P^n). Here P^n denotes real projective space. We use BP-cohomology to obtain new upper bounds for span(P^m x P^n), much stronger than previously known bounds. The span of a manifold is its maximum number of linearly independent vector fields. We discuss the question, still unresolved, of whether span(P^m x P^n) always equals span(P^m) + span(P^n). Here P^n denotes real projective space. We use BP-cohomology to obtain new upper bounds for span(P^m x P^n), much stronger than previously known bounds. △ Less

Submitted 17 December, 2010; originally announced December 2010.

Comments: 10 pages

MSC Class: 57R25; 55N20

The KO*-rings of BT^m, the Davis-Januszkiewicz Spaces and certain toric manifolds

Authors: L. Astey, A. Bahri, M. Bendersky, F. R. Cohen, D. M. Davis, S. Gitler, M. Mahowald, N. Ray, R. Wood

Abstract: This paper contains an explicit computation of the KO*-ring structure of an m-fold product of CP^{\infty}, the Davis-Januszkiewicz spaces and toric manifolds which have trivial Sq^2-homology. This paper contains an explicit computation of the KO*-ring structure of an m-fold product of CP^{\infty}, the Davis-Januszkiewicz spaces and toric manifolds which have trivial Sq^2-homology. △ Less

Submitted 1 July, 2010; originally announced July 2010.

Comments: 34 pages

MSC Class: Primary: 5E45; 14M25; 55N15; 55T15. Secondary: 55P42; 55R20; 57N65

Connective versions of TMF(3)

Authors: Donald M. Davis, Mark Mahowald

Abstract: We study three connective versions of the spectrum for topological modular forms of level 3. All three were described briefly by Mahowald and Rezk in [Pure Appl Math Quar (2009)], but we add much detail to their discussion. Letting tmf(3) denote our connective model which is a ring spectrum, we compute the tmf(3)-homology of RP^infty. We study three connective versions of the spectrum for topological modular forms of level 3. All three were described briefly by Mahowald and Rezk in [Pure Appl Math Quar (2009)], but we add much detail to their discussion. Letting tmf(3) denote our connective model which is a ring spectrum, we compute the tmf(3)-homology of RP^infty. △ Less

Submitted 20 May, 2010; originally announced May 2010.

Comments: 36 pages

MSC Class: 55P42

Coefficients in powers of the log series

Authors: Donald M. Davis

Abstract: We determine the p-exponent in many of the coefficients in the power series (log(1+x)/x)^t, where t is any integer. In our proof, we introduce a variant of multinomial coefficients. We also characterize the power series x/log(1+x) by certain zero coefficients in its powers. We determine the p-exponent in many of the coefficients in the power series (log(1+x)/x)^t, where t is any integer. In our proof, we introduce a variant of multinomial coefficients. We also characterize the power series x/log(1+x) by certain zero coefficients in its powers. △ Less

Submitted 18 January, 2010; originally announced January 2010.

Comments: 8 pages

MSC Class: 11A99

Maximizing a combinatorial expression arising from crowd estimation

Authors: Donald M. Davis

Abstract: We determine, within 1, the value of N for which sum (s1 choose i)(s2 choose N)(s1 choose N-i)(N choose i) achieves its maximum value. Here s1 and s2 are fixed integers. This problem arises in studying the most likely value for the size of the union of A, B, and C if A and C are disjoint sets of size s1, and B is a set of size s2. Attempting to remove the 1 unit of indeterminacy leads to interes… ▽ More We determine, within 1, the value of N for which sum (s1 choose i)(s2 choose N)(s1 choose N-i)(N choose i) achieves its maximum value. Here s1 and s2 are fixed integers. This problem arises in studying the most likely value for the size of the union of A, B, and C if A and C are disjoint sets of size s1, and B is a set of size s2. Attempting to remove the 1 unit of indeterminacy leads to interesting conjectures about a family of rational functions. △ Less

Submitted 29 October, 2009; originally announced October 2009.

Comments: 21 pages

MSC Class: 05A10; 60C05

Projective product spaces

Authors: Donald M. Davis

Abstract: Let nbar=(n_1,...,n_r). The quotient space P_nbar:=(S^{n_1} x...x S^{n_r})/(x ~ -x)is what we call a projective product space. We determine the integral cohomology ring and the action of the Steenrod algebra. We give a splitting of Sigma P_nbar in terms of stunted real projective spaces, and determine when S^{n_i} is a product factor. We relate the immersion dimension and span of P_nbar to the m… ▽ More Let nbar=(n_1,...,n_r). The quotient space P_nbar:=(S^{n_1} x...x S^{n_r})/(x ~ -x)is what we call a projective product space. We determine the integral cohomology ring and the action of the Steenrod algebra. We give a splitting of Sigma P_nbar in terms of stunted real projective spaces, and determine when S^{n_i} is a product factor. We relate the immersion dimension and span of P_nbar to the much-studied sectioning question for multiples of the Hopf bundle over real projective spaces. We show that the immersion dimension of P_nbar depends only on min(n_i), sum n_i, and r, and determine its precise value unless all n_i exceed 9. We also determine exactly when P_nbar is parallelizable. △ Less

Submitted 7 August, 2009; v1 submitted 4 August, 2009; originally announced August 2009.

Comments: One theorem, which originally asserted homotopy equivalence, has been improved to now assert homeomorphism

MSC Class: 55R25; 55P15; 57R42

Divisibility by 2 and 3 of certain Stirling numbers

Authors: Donald M Davis

Abstract: The numbers e_p(k,n) defined as min(nu_p(S(k,j)j!): j >= n) appear frequently in algebraic topology. Here S(k,j) is the Stirling number of the second kind, and nu_p(-) the exponent of p. The author and Sun proved that if L is sufficiently large, then e_p((p-1)p^L + n -1, n) >= n-1+nu_p([n/p]!). In this paper, we determine the set of integers n for which equality holds in this inequality when p=2… ▽ More The numbers e_p(k,n) defined as min(nu_p(S(k,j)j!): j >= n) appear frequently in algebraic topology. Here S(k,j) is the Stirling number of the second kind, and nu_p(-) the exponent of p. The author and Sun proved that if L is sufficiently large, then e_p((p-1)p^L + n -1, n) >= n-1+nu_p([n/p]!). In this paper, we determine the set of integers n for which equality holds in this inequality when p=2 and 3. The condition is roughly that, in the base-p expansion of n, the sum of two consecutive digits must always be less than p. △ Less

Submitted 16 July, 2008; originally announced July 2008.

Comments: 35 pages, submitted

MSC Class: 11B73; 55Q52

Homotopy type and v1-periodic homotopy groups of p-compact groups

Authors: Donald M. Davis

Abstract: We determine the v1-periodic homotopy groups of all irreducible p-compact groups (BX,X). In the most difficult, modular, cases, we follow a direct path from their associated invariant polynomials to these homotopy groups. We show that, if p is odd, every irreducible p-compact group has X of the homotopy type of a product of explicit spaces related to p-completed Lie groups. We determine the v1-periodic homotopy groups of all irreducible p-compact groups (BX,X). In the most difficult, modular, cases, we follow a direct path from their associated invariant polynomials to these homotopy groups. We show that, if p is odd, every irreducible p-compact group has X of the homotopy type of a product of explicit spaces related to p-completed Lie groups. △ Less

Submitted 25 October, 2007; v1 submitted 21 September, 2007; originally announced September 2007.

Comments: 42 pages

MSC Class: 55Q52