Showing 1–25 of 25 results for author: Wilson, W

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 Comma Sequence: A Simple Sequence With Bizarre Properties

Authors: Eric Angelini, Michael S. Branicky, Giovanni Resta, N. J. A. Sloane, David W. Wilson

Abstract: The ``comma sequence'' starts with 1 and is defined by the property that if k and k' are consecutive terms, the two-digit number formed from the last digit of k and the first digit of k' is equal to the difference k'-k. If there is more than one such k', choose the smallest, but if there is no such k' the sequence terminates. The sequence begins 1, 12, 35, 94, 135, ... and, surprisingly, ends at t… ▽ More The ``comma sequence'' starts with 1 and is defined by the property that if k and k' are consecutive terms, the two-digit number formed from the last digit of k and the first digit of k' is equal to the difference k'-k. If there is more than one such k', choose the smallest, but if there is no such k' the sequence terminates. The sequence begins 1, 12, 35, 94, 135, ... and, surprisingly, ends at term 2137453, which is 99999945. The paper analyzes the sequence and its generalizations to other starting values and other bases. A slight change in the rules allows infinitely long comma sequences to exist. △ Less

Submitted 26 May, 2024; v1 submitted 25 January, 2024; originally announced January 2024.

Comments: 19 pages, 4 figures, 1 table. Corrected a formula, expanded discussion of an asymptotic estimate, other small changes

MSC Class: 11B37 11B75

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

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

Computing canonical images in permutation groups with Graph Backtracking

Authors: Christopher Jefferson, Rebecca Waldecker, Wilf A. Wilson

Abstract: We describe a new algorithm for finding a canonical image of an object under the action of a finite permutation group. This algorithm builds on previous work using Graph Backtracking, which extends Jeffrey Leon's Partition Backtrack framework. Our methods generalise both Nauty and Steve Linton's Minimal image algorithm. We describe a new algorithm for finding a canonical image of an object under the action of a finite permutation group. This algorithm builds on previous work using Graph Backtracking, which extends Jeffrey Leon's Partition Backtrack framework. Our methods generalise both Nauty and Steve Linton's Minimal image algorithm. △ Less

Submitted 11 September, 2023; v1 submitted 6 September, 2022; originally announced September 2022.

Comments: This is a revised version, as re-submitted

MSC Class: 20B05; 20-08

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

Perfect refiners for permutation group backtracking algorithms

Authors: Christopher Jefferson, Rebecca Waldecker, Wilf A. Wilson

Abstract: Backtrack search is a fundamental technique for computing with finite permutation groups, which has been formulated in terms of points, ordered partitions, and graphs. We provide a framework for discussing the most common forms of backtrack search in a generic way. We introduce the concept of perfect refiners to better understand and compare the pruning power available in these different settings.… ▽ More Backtrack search is a fundamental technique for computing with finite permutation groups, which has been formulated in terms of points, ordered partitions, and graphs. We provide a framework for discussing the most common forms of backtrack search in a generic way. We introduce the concept of perfect refiners to better understand and compare the pruning power available in these different settings. We also present a new formulation of backtrack search, which allows the use of graphs with additional vertices, and which is implemented in the software package Vole. For each setting, we classify the groups and cosets for which there exist perfect refiners. Moreover, we describe perfect refiners for many naturally-occurring examples of stabilisers and transporter sets, including applications to normaliser and subgroup conjugacy problems for 2-closed groups. △ Less

Submitted 21 April, 2022; v1 submitted 9 December, 2021; originally announced December 2021.

Comments: 18 pages, 7 figures, 2 tables; with small corrections and adjustments as suggested by referees

MSC Class: 20-08 (Primary) 20B05 (Secondary)

Permutation group algorithms based on directed graphs

Authors: Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker, Wilf A. Wilson

Abstract: We introduce a new framework for solving an important class of computational problems involving finite permutation groups, which includes calculating set stabilisers, intersections of subgroups, and isomorphisms of combinatorial structures. Our techniques are inspired by and generalise 'partition backtrack', which is the current state-of-the-art algorithm introduced by Jeffrey Leon in 1991. But, i… ▽ More We introduce a new framework for solving an important class of computational problems involving finite permutation groups, which includes calculating set stabilisers, intersections of subgroups, and isomorphisms of combinatorial structures. Our techniques are inspired by and generalise 'partition backtrack', which is the current state-of-the-art algorithm introduced by Jeffrey Leon in 1991. But, instead of ordered partitions, we use labelled directed graphs to organise our backtrack search algorithms, which allows for a richer representation of many problems while often resulting in smaller search spaces. In this article we present the theory underpinning our framework, we describe our algorithms, and we show the results of some experiments. An implementation of our algorithms is available as free software in the GraphBacktracking package for GAP. △ Less

Submitted 24 June, 2021; originally announced June 2021.

Comments: Shorter and reworked version of arXiv:1911.04783; accepted for publication in Journal of Algebra; 35 pages, 9 figures, 4 tables

MSC Class: 20-08 (Primary) 20B05 (Secondary)

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

Minimal generating sets for matrix monoids

Authors: F. Hivert, J. D. Mitchell, F. L. Smith, W. A. Wilson

Abstract: In this paper, we determine minimal generating sets for several well-known monoids of matrices over semirings. In particular, we find minimal generating sets for the monoids consisting of: all $n\times n$ boolean matrices when $n\leq 8$; the $n\times n$ boolean matrices containing the identity matrix (the reflexive boolean matrices) when $n\leq 7$; the $n\times n$ boolean matrices containing a per… ▽ More In this paper, we determine minimal generating sets for several well-known monoids of matrices over semirings. In particular, we find minimal generating sets for the monoids consisting of: all $n\times n$ boolean matrices when $n\leq 8$; the $n\times n$ boolean matrices containing the identity matrix (the reflexive boolean matrices) when $n\leq 7$; the $n\times n$ boolean matrices containing a permutation (the Hall matrices) when $n \leq 8$; the upper, and lower, triangular boolean matrices of every dimension; the $2 \times 2$ matrices over the semiring $\mathbb{N} \cup \{-\infty\}$ with addition $\oplus$ defined by $x\oplus y = \max(x, y)$ and multiplication $\otimes$ given by $x\otimes y = x + y$ (the max-plus semiring); the $2\times 2$ matrices over any quotient of the max-plus semiring by the congruence generated by $t = t + 1$ where $t\in \mathbb{N}$; the $2\times 2$ matrices over the min-plus semiring and its finite quotients by the congruences generated by $t = t + 1$ for all $t\in \mathbb{N}$; and the $n \times n$ matrices over $\mathbb{Z} / n\mathbb{Z}$ relative to their group of units. △ Less

Submitted 10 August, 2021; v1 submitted 18 December, 2020; originally announced December 2020.

Comments: 35 pages (added/updated references)

MSC Class: 20M20

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

Permutation group algorithms based on directed graphs (extended version)

Authors: Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker, Wilf A. Wilson

Abstract: We introduce a new framework for solving an important class of computational problems involving finite permutation groups, which includes calculating set stabilisers, intersections of subgroups, and isomorphisms of combinatorial structures. Our techniques generalise 'partition backtrack', which is the current state-of-the-art algorithm introduced by Jeffrey Leon in 1991, and which has inspired our… ▽ More We introduce a new framework for solving an important class of computational problems involving finite permutation groups, which includes calculating set stabilisers, intersections of subgroups, and isomorphisms of combinatorial structures. Our techniques generalise 'partition backtrack', which is the current state-of-the-art algorithm introduced by Jeffrey Leon in 1991, and which has inspired our work. Our backtrack search algorithms are organised around vertex- and arc-labelled directed graphs, which allow us to represent many problems more richly than do ordered partitions. We present the theory underpinning our framework, and we include the results of experiments showing that our techniques often result in smaller search spaces than does partition backtrack. An implementation of our algorithms is available as free software in the GraphBacktracking package for GAP. △ Less

Submitted 1 July, 2021; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: Extended version of arXiv:2106.13132; now with a note pointing to and recommending this shorter version; 55 pages, 13 figures, 4 tables

MSC Class: 20-08 (Primary) 20B05 (Secondary)

The Omega spectrum for mod 2 KO-theory

Authors: W Stephen Wilson

Abstract: The 8-periodic theory that comes from the KO-theory of the mod 2 Moore space is the same as the real first Morava K-theory obtained from the homotopy fixed points of the Z/(2) action on the first Morava K-theory. The first Morava K-theory, K(1), is just mod 2 KU-theory. We compute the homology Hopf algebras for the spaces in this Omega spectrum. There are a lot of maps into and out of these spaces… ▽ More The 8-periodic theory that comes from the KO-theory of the mod 2 Moore space is the same as the real first Morava K-theory obtained from the homotopy fixed points of the Z/(2) action on the first Morava K-theory. The first Morava K-theory, K(1), is just mod 2 KU-theory. We compute the homology Hopf algebras for the spaces in this Omega spectrum. There are a lot of maps into and out of these spaces and the spaces for KO- theory, KU-theory and the first Morava K-theory. For every one of these 98 maps (counting suspensions) there is a spectral sequence. We describe all 98 maps and spectral sequences. 48 of these maps involve our new spaces and 56 of the spectral sequences do. In addition, the maps on homotopy are all written down. △ Less

Submitted 4 August, 2019; originally announced August 2019.

The ER(2)-cohomology of X^nCP^\infty and BU(n)

Authors: Nitu Kitchloo, Vitaly Lorman, W. Stephen Wilson

Abstract: We continue the development of the computability of the second real Johnson-Wilson theory. As ER(2) is not complex orientable, this gives some difficulty even with basic spaces. In this paper we compute the second real Johnson-Wilson theory for products of infinite complex projective spaces and for the classifying spaces for the unitary groups. We continue the development of the computability of the second real Johnson-Wilson theory. As ER(2) is not complex orientable, this gives some difficulty even with basic spaces. In this paper we compute the second real Johnson-Wilson theory for products of infinite complex projective spaces and for the classifying spaces for the unitary groups. △ Less

Submitted 14 July, 2018; originally announced July 2018.

MSC Class: 55N20; 55N91; 55P20; 55T25

The Omega spectrum for Pengelley's BoP

Authors: W. Stephen Wilson

Abstract: We compute the homology of the spaces in the Omega spectrum for $BoP$. There is no torsion in $H_*(\underline{BoP}_{\; i})$ for $i \ge 2$, and things are only slightly more complicated for $i < 2$. We find the complete homotopy type of $\underline{BoP}_{\; i}$ for $i \le 6$ and conjecture the homotopy type for $i > 6$. This completes the computation of all $H_*(\underline{MSU}_{\;*})$. We compute the homology of the spaces in the Omega spectrum for $BoP$. There is no torsion in $H_*(\underline{BoP}_{\; i})$ for $i \ge 2$, and things are only slightly more complicated for $i < 2$. We find the complete homotopy type of $\underline{BoP}_{\; i}$ for $i \le 6$ and conjecture the homotopy type for $i > 6$. This completes the computation of all $H_*(\underline{MSU}_{\;*})$. △ Less

Submitted 10 May, 2019; v1 submitted 10 July, 2018; originally announced July 2018.

Comments: Tweaks in response to the referee's report. Theorem numbers change

MSC Class: 55N10; 55N22; 55P15

Maximal subsemigroups of finite transformation and diagram monoids

Authors: James East, Jitender Kumar, James D. Mitchell, Wilf A. Wilson

Abstract: We describe and count the maximal subsemigroups of many well-known monoids of transformations and monoids of partitions. More precisely, we find the maximal subsemigroups of the full spectrum of monoids of order- or orientation-preserving transformations and partial permutations considered by V. H. Fernandes and co-authors (12 monoids in total); the partition, Brauer, Jones, and Motzkin monoids; a… ▽ More We describe and count the maximal subsemigroups of many well-known monoids of transformations and monoids of partitions. More precisely, we find the maximal subsemigroups of the full spectrum of monoids of order- or orientation-preserving transformations and partial permutations considered by V. H. Fernandes and co-authors (12 monoids in total); the partition, Brauer, Jones, and Motzkin monoids; and certain further monoids. Although descriptions of the maximal subsemigroups of some of the aforementioned classes of monoids appear in the literature, we present a unified framework for determining these maximal subsemigroups. This approach is based on a specialised version of an algorithm for determining the maximal subsemigroups of any finite semigroup, developed by the third and fourth authors. This allows us to concisely present the descriptions of the maximal subsemigroups, and to more clearly see their common features. △ Less

Submitted 6 July, 2018; v1 submitted 15 June, 2017; originally announced June 2017.

Comments: 32 pages, 8 figures

MSC Class: 20M20

Multiplicative structure on Real Johnson-Wilson theory

Authors: Nitu Kitchloo, Vitaly Lorman, W. Stephen Wilson

Abstract: We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative and commutative ring spectra up to phantom maps. We further show that ER(n) represents an associatively and commutatively multiplicative cohomology theory on the category of (possibly non-compact) spaces. We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative and commutative ring spectra up to phantom maps. We further show that ER(n) represents an associatively and commutatively multiplicative cohomology theory on the category of (possibly non-compact) spaces. △ Less

Submitted 29 August, 2017; v1 submitted 1 January, 2017; originally announced January 2017.

Comments: 16 pages, version 2. Added a new section revisiting $ER(n)$-orientations of vector bundles and minor improvements to exposition. To appear in Proceedings of the Mid-Atlantic Topology Conference

MSC Class: 55P91; 55N22; 55N91

Conservative Integrators for a Toy Model of Weak Turbulence

Authors: Aquil D. Jones, Gideon Simpson, William Wilson

Abstract: Weak turbulence is a phenomenon by which a system generically transfers energy from low to high wave numbers, while persisting for all finite time. It has been conjectured by Bourgain that the 2D defocusing nonlinear Schrödinger equation (NLS) on the torus has this dynamic, and several analytical and numerical studies have worked towards addressing this point. In the process of studying the conj… ▽ More Weak turbulence is a phenomenon by which a system generically transfers energy from low to high wave numbers, while persisting for all finite time. It has been conjectured by Bourgain that the 2D defocusing nonlinear Schrödinger equation (NLS) on the torus has this dynamic, and several analytical and numerical studies have worked towards addressing this point. In the process of studying the conjecture, Colliander, Keel, Staffilani, Takaoka, and Tao introduced a "toy model" dynamical system as an approximation of NLS, which has been subsequently studied numerically. In this work, we formulate and examine several numerical schemes for integrating this model equation. The model has two invariants, and our schemes aim to conserve at least one of them. We prove convergence in some cases, and our numerical studies show that the schemes compare favorably to others, such as Trapezoidal Rule and fixed step fourth order Runge-Kutta. The preservation of the invariants is particularly important in the study of weak turbulence as the energy transfer tends to occur on long time scales. △ Less

Submitted 18 July, 2017; v1 submitted 30 June, 2016; originally announced July 2016.

Comments: 16 pages, corrected references

MSC Class: 35Q55; 34A33; 65P10; 65L20

Computing maximal subsemigroups of a finite semigroup

Authors: C. R. Donoven, J. D. Mitchell, W. A. Wilson

Abstract: A proper subsemigroup of a semigroup is maximal if it is not contained in any other proper subsemigroup. A maximal subsemigroup of a finite semigroup has one of a small number of forms, as described in a paper of Graham, Graham, and Rhodes. Determining which of these forms arise in a given finite semigroup is difficult, and no practical mechanism for doing so appears in the literature. We present… ▽ More A proper subsemigroup of a semigroup is maximal if it is not contained in any other proper subsemigroup. A maximal subsemigroup of a finite semigroup has one of a small number of forms, as described in a paper of Graham, Graham, and Rhodes. Determining which of these forms arise in a given finite semigroup is difficult, and no practical mechanism for doing so appears in the literature. We present an algorithm for computing the maximal subsemigroups of a finite semigroup given knowledge of its Green's structure, and the ability to determine maximal subgroups of certain subgroups. For a finite semigroup $S$ represented by a generating set $X$, in many examples, if it is practical to compute the Green's structure of $S$ from $X$, then it is also practical to find the maximal subsemigroups of $S$ using the algorithm we present. The generating set $X$ for $S$ may consist, for example, of transformations, or partial permutations, of a finite set, or of matrices over a semiring. In such examples, the time taken to determine the Green's structure of $S$ is comparable to that taken to find the maximal subsemigroups. Certain aspects of the problem of finding maximal subsemigroups reduce to other well-known computational problems, such as finding all maximal cliques in a graph and computing the maximal subgroups in a group. The algorithm presented comprises two parts. One part relates to computing the maximal subsemigroups of a special class of semigroups, known as Rees 0-matrix semigroups. The other part involves a careful analysis of certain graphs associated to the semigroup $S$, which, roughly speaking, capture the essential information about the action of $S$ on its $\mathscr{J}$-classes. △ Less

Submitted 6 July, 2018; v1 submitted 17 June, 2016; originally announced June 2016.

Comments: 26 pages, 9 figures, 4 tables (further revised according to referee's comments, in particular to include an analysis of the performance of the presented algorithms)

MSC Class: 20M10; 20M20; 20B40

The $ER(2)$-cohomology of $B\mathbb{Z}/(2^q)$ and $\mathbb{C}P^n$

Authors: Nitu Kitchloo, Vitaly Lorman, W. Stephen Wilson

Abstract: The $ER(2)$-cohomology of $B\mathbb{Z}/(2^q)$ and $\mathbb{C}P^n$ are computed along with the Atiyah-Hirzebruch spectral sequence for $ER(2)^*(\mathbb{C}P^\infty)$. This, along with other papers in this series, gives us the $ER(2)$-cohomology of all Eilenberg-MacLane spaces. Since $ER(2)$ is $TMF_0(3)$ after a suitable completion, these computations also take care of that theory. The $ER(2)$-cohomology of $B\mathbb{Z}/(2^q)$ and $\mathbb{C}P^n$ are computed along with the Atiyah-Hirzebruch spectral sequence for $ER(2)^*(\mathbb{C}P^\infty)$. This, along with other papers in this series, gives us the $ER(2)$-cohomology of all Eilenberg-MacLane spaces. Since $ER(2)$ is $TMF_0(3)$ after a suitable completion, these computations also take care of that theory. △ Less

Submitted 15 February, 2017; v1 submitted 24 May, 2016; originally announced May 2016.

Comments: 25 pages, version 2: minor changes to exposition, a few diagrams added. Comments welcome!

MSC Class: 55P91; 55N22; 55N91

Landweber flat real pairs and ER(n)-cohomology

Authors: Nitu Kitchloo, Vitaly Lorman, W. Stephen Wilson

Abstract: We take advantage of the internal algebraic structure of the Bockstein spectral sequence converging to ER(n)^*(pt) to prove that for spaces Z that are part of Landweber flat real pairs with respect to E(n), the cohomology ring ER(n)^*(Z) can be obtained from E(n)^*(Z) by base change. In particular, our results allow us to compute the Real Johnson-Wilson cohomology of the Eilenberg-MacLane spaces Z… ▽ More We take advantage of the internal algebraic structure of the Bockstein spectral sequence converging to ER(n)^*(pt) to prove that for spaces Z that are part of Landweber flat real pairs with respect to E(n), the cohomology ring ER(n)^*(Z) can be obtained from E(n)^*(Z) by base change. In particular, our results allow us to compute the Real Johnson-Wilson cohomology of the Eilenberg-MacLane spaces Z = K(Z, 2m+1), K(Z/2^q, 2m), K(Z/2, m) for all natural numbers $m$ and $q$, as well as connective covers of BO: BO, BSO, BSpin, and BO<8> (the last for n<3 only). △ Less

Submitted 28 October, 2017; v1 submitted 22 March, 2016; originally announced March 2016.

Comments: 21 pages; version 3 (final version): several minor corrections

MSC Class: 55P91; 55N22; 55N91

Journal ref: Advances in Mathematics, Volume 322; p. 60-82 (2017)

The Morava K-theory of BO(q) and MO(q)

Authors: Nitu Kitchloo, W. Stephen Wilson

Abstract: We give an easy proof that the Morava K-theories for BO(q) and MO(q) are in even degrees. Although this is a known result, it had followed from a difficult proof that BP^*(BO(q)) was Landweber flat. Landweber flatness follows from the even Morava K-theory. We go further and compute an explicit description of K(n)_*(BO(q)) and K(n)_*(MO(q)) and reconcile it with the purely algebraic construct from… ▽ More We give an easy proof that the Morava K-theories for BO(q) and MO(q) are in even degrees. Although this is a known result, it had followed from a difficult proof that BP^*(BO(q)) was Landweber flat. Landweber flatness follows from the even Morava K-theory. We go further and compute an explicit description of K(n)_*(BO(q)) and K(n)_*(MO(q)) and reconcile it with the purely algebraic construct from Landweber flatness. △ Less

Submitted 4 September, 2014; originally announced September 2014.

MSC Class: 55N20

Journal ref: Algebr. Geom. Topol. 15 (2015) 3049-3058

The ER(n)-cohomology of BO(q), and real Johnson-Wilson orientations for vector bundles

Authors: Nitu Kitchloo, W. Stephen Wilson

Abstract: Using the Bockstein spectral sequence developed previously by the authors, we compute the ring ER(n)^*(BO(q)) explicitly. We then use this calculation to show that the ring spectrum MO[2^{n+1}] is ER(n)-orientable (but not ER(n+1)-orientable), where MO[2^{n+1}] is defined as the Thom spectrum for the self map of BO given by multiplication by 2^{n+1}. Using the Bockstein spectral sequence developed previously by the authors, we compute the ring ER(n)^*(BO(q)) explicitly. We then use this calculation to show that the ring spectrum MO[2^{n+1}] is ER(n)-orientable (but not ER(n+1)-orientable), where MO[2^{n+1}] is defined as the Thom spectrum for the self map of BO given by multiplication by 2^{n+1}. △ Less

Submitted 3 September, 2014; originally announced September 2014.

MSC Class: 55P91; 55N22

Biequivariant Maps on Spheres and Topological Complexity of Lens Spaces

Authors: Jesus Gonzalez, Maurilio Velasco, W. Stephen Wilson

Abstract: Weighted cup-length calculations in singular cohomology led Farber and Grant in 2008 to general lower bounds for the topological complexity of lens spaces. We replace singular cohomology by K-theory, and weighted cup-length arguments by considerations with biequivariant maps on spheres to improve on Farber-Grant's bounds by arbitrarily large amounts. Our calculations are based on the identificatio… ▽ More Weighted cup-length calculations in singular cohomology led Farber and Grant in 2008 to general lower bounds for the topological complexity of lens spaces. We replace singular cohomology by K-theory, and weighted cup-length arguments by considerations with biequivariant maps on spheres to improve on Farber-Grant's bounds by arbitrarily large amounts. Our calculations are based on the identification of key elements conjectured to generate the annihilator ideal of the toral bottom class in the ku-homology of the classifying space of a rank-2 abelian 2-group. △ Less

Submitted 20 November, 2011; originally announced November 2011.

Comments: 32 pages

MSC Class: 55M30; 55N15 (Primary) 55N22; 68T40 (Secondary)

On fibrations related to real spectra

Authors: Nitu Kitchloo, W Stephen Wilson

Abstract: We consider real spectra, collections of Z/(2)-spaces indexed over Z oplus Z alpha with compatibility conditions. We produce fibrations connecting the homotopy fixed points and the spaces in these spectra. We also evaluate the map which is the analogue of the forgetful functor from complex to reals composed with complexification. Our first fibration is used to connect the real 2^{n+2}(2^n-1)-per… ▽ More We consider real spectra, collections of Z/(2)-spaces indexed over Z oplus Z alpha with compatibility conditions. We produce fibrations connecting the homotopy fixed points and the spaces in these spectra. We also evaluate the map which is the analogue of the forgetful functor from complex to reals composed with complexification. Our first fibration is used to connect the real 2^{n+2}(2^n-1)-periodic Johnson--Wilson spectrum ER(n) to the usual 2(2^n-1)-periodic Johnson--Wilson spectrum, E(n). Our main result is the fibration Sigma^{lambda(n)} ER(n) --> ER(n) --> E(n)$, where lambda(n) = 2^{2n+1}-2^{n+2}+1. △ Less

Submitted 26 March, 2009; originally announced March 2009.

Comments: This is the version published by Geometry & Topology Monographs on 27 January 2007

MSC Class: 55N20; 55Q51; 55R45

Journal ref: Geom. Topol. Monogr. 10 (2007) 237-244