arXiv subjects

Nigel Ray

Publications and source records attributed to Nigel Ray.

13 recordsLinked to original sources

arXiv2016

On the symmetric squares of complex and quaternionic projective space

The problem of computing the integral cohomology ring of the symmetric square of a topological space has been of interest since the 1930s, but limited progress has been made on the general case until recently. In this work we offer a solution for the complex and quaternionic projective spaces $KP^n$, by taking advantage of their rich geometrical structure. Our description is in terms of generators and relations, and our methods entail ideas that have appeared in the literature of quantum chemistry, theoretical physics, and combinatorics. We deal first with the case $KP^\infty$, and proceed by identifying the truncation required for passage to finite n. The calculations rely upon a ladder of long exact cohomology sequences, which arises by comparing cofibrations associated to the diagonals of the symmetric square and the corresponding Borel construction. The cofibrations involve classic configuration spaces of unordered pairs of 1-dimensional subspaces of $K^{n+1}$, and their one-point compactifications; the latter are identified as Thom spaces by combining Lowdin's symmetric orthogonalisation process (and its quaternionic extension) with a dash of Pin geometry. The ensuing integral cohomology rings may be conveniently expressed using generalised Fibonacci polynomials. By way of validation, we note that our conclusions are compatible with mod 2 computations of Nakaoka and with homological results of Milgram.

math.AT↗

arXiv2013

The equivariant $K$-theory and cobordism rings of divisive weighted projective spaces

We apply results of Harada, Holm and Henriques to prove that the Atiyah-Segal equivariant complex $K$-theory ring of a divisive weighted projective space (which is singular for nontrivial weights) is isomorphic to the ring of integral piecewise Laurent polynomials on the associated fan. Analogues of this description hold for other complex-oriented equivariant cohomology theories, as we confirm in the case of homotopical complex cobordism, which is the universal example. We also prove that the Borel versions of the equivariant $K$-theory and complex cobordism rings of more general singular toric varieties, namely those whose integral cohomology is concentrated in even dimensions, are isomorphic to rings of appropriate piecewise formal power series. Finally, we confirm the corresponding descriptions for any smooth, compact, projective toric variety, and rewrite them in a face ring context. In many cases our results agree with those of Vezzosi and Vistoli for algebraic $K$-theory, Anderson and Payne for operational $K$-theory, Krishna and Uma for algebraic cobordism, and Gonzalez and Karu for operational cobordism; as we proceed, we summarize the details of these coincidences.

math.AT↗

arXiv2011

Weighted projective spaces and iterated Thom spaces

For any (n+1)-dimensional weight vector {\chi} of positive integers, the weighted projective space P(\chi) is a projective toric variety, and has orbifold singularities in every case other than CP^n. We study the algebraic topology of P(\chi), paying particular attention to its localisation at individual primes p. We identify certain p-primary weight vectors {\pi} for which P(\pi) is homeomorphic to an iterated Thom space over S^2, and discuss how any P(\chi) may be reconstructed from its p-primary factors. We express Kawasaki's computations of the integral cohomology ring H^*(P(\chi);Z) in terms of iterated Thom isomorphisms, and recover Al Amrani's extension to complex K-theory. Our methods generalise to arbitrary complex oriented cohomology algebras E^*(P(\chi)) and their dual homology coalgebras E_*(P(\chi)), as we demonstrate for complex cobordism theory (the universal example). In particular, we describe a fundamental class in \Omega^U_{2n}(P(\chi)), which may be interpreted as a resolution of singularities.

math.AT↗

arXiv2011

The classification of weighted projective spaces

We obtain two classifications of weighted projective spaces; up to homeomorphism and up to homotopy equivalence. We show that the former coincides with Al Amrani's classification up to isomorphism of algebraic varieties, and deduce the latter by proving that the Mislin genus of any weighted projective space is rigid.

math.AT↗

arXiv2009

Toric Genera

Our primary aim is to develop a theory of equivariant genera for stably complex manifolds equipped with compatible actions of a torus T^k. In the case of omnioriented quasitoric manifolds, we present computations that depend only on their defining combinatorial data; these draw inspiration from analogous calculations in toric geometry, which seek to express arithmetic, elliptic, and associated genera of toric varieties in terms only of their fans. Our theory focuses on the universal toric genus \Phi, which was introduced independently by Krichever and Loeffler in 1974, albeit from radically different viewpoints. In fact \Phi is a version of tom Dieck's bundling transformation of 1970, defined on T^k-equivariant complex cobordism classes and taking values in the complex cobordism algebra of the classifying space. We proceed by combining the analytic, the formal group theoretic, and the homotopical approaches to genera, and refer to the index theoretic approach as a recurring source of insight and motivation. The resultant flexibility allows us to identify several distinct genera within our framework, and to introduce parametrised versions that apply to bundles equipped with a stably complex structure on the tangents along their fibres. In the presence of isolated fixed points, we obtain universal localisation formulae, whose applications include the identification of Krichever's generalised elliptic genus as universal amongst genera that are rigid on SU-manifolds. We follow the traditions of toric geometry by working with a variety of illustrative examples wherever possible. For background and prerequisites we attempt to reconcile the literature of east and west, which developed independently for several decades after the 1960s.

math.AT↗

arXiv2008

The equivariant cohomology of weighted projective space

We describe the integral equivariant cohomology ring of a weighted projective space in terms of piecewise polynomials, and thence by generators and relations. We deduce that the ring is a perfect invariant, and prove a Chern class formula for weighted projective bundles.

math.AT↗

arXiv2008

Categorical aspects of toric topology

We argue for the addition of category theory to the toolkit of toric topology, by surveying recent examples and applications. Our case is made in terms of toric spaces X_K, such as moment-angle complexes Z_K, quasitoric manifolds M, and Davis-Januszkiewicz spaces DJ(K). We first exhibit X_K as the homotopy colimit of a diagram of spaces over the small category cat(K), whose objects are the faces of a finite simplicial complex K and morphisms their inclusions. Then we study the corresponding cat(K)-diagrams in various algebraic Quillen model categories, and interpret their homotopy colimits as algebraic models for X_K. Such models encode many standard algebraic invariants, and their existence is assured by the Quillen structure. We provide several illustrative calculations, often over the rationals, including proofs that quasitoric manifolds (and various generalisations) are rationally formal; that the rational Pontrjagin ring of the loop space ΩDJ(K) is isomorphic to the quadratic dual of the Stanley-Reisner algebra Q[K] for flag complexes K; and that DJ(K) is coformal precisely when K is flag. We conclude by describing algebraic models for the loop space ΩDJ(K) for any complex K, which mimic our previous description as a homotopy colimit of topological monoids.

math.AT↗

arXiv2006

Spaces of polytopes and cobordism of quasitoric manifolds

Our aim is to bring the theory of analogous polytopes to bear on the study of quasitoric manifolds, in the context of stably complex manifolds with compatible torus action. By way of application, we give an explicit construction of a quasitoric representative for every complex cobordism class as the quotient of a free torus action on a real quadratic complete intersection. We suggest a systematic description for omnioriented quasitoric manifolds in terms of combinatorial data, and explain the relationship with non-singular projective toric varieties (otherwise known as toric manifolds). By expressing the first and third authors' approach to the representability of cobordism classes in these terms, we simplify and correct two of their original proofs concerning quotient polytopes; the first relates to framed embeddings in the positive cone, and the second involves modifying the operation of connected sum to take account of orientations. Analogous polytopes provide an informative setting for several of the details.

math.AT↗

arXiv2004

Homotopy decompositions and K-theory of Bott towers

We describe Bott towers as sequences of toric manifolds M^k, and identify the omniorientations which correspond to their original construction as toric varieties. We show that the suspension of M^k is homotopy equivalent to a wedge of Thom complexes, and display its complex K-theory as an algebra over the coefficient ring. We extend the results to KO-theory for several families of examples, and compute the effects of the realification homomorphism; these calculations breathe geometric life into Bahri and Bendersky's recent analysis of the Adams Spectral Sequence. By way of application we investigate stably complex structures on M^k, identifying those which arise from omniorientations and those which are almost complex. We conclude with observations on the role of Bott towers in complex cobordism theory.

math.AT↗

arXiv2003

On Davis-Januszkiewicz homotopy types I; formality and rationalisation

For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov gave an alternative construction (here called c(K)), which they showed to be homotopy equivalent to Davis and Januszkiewicz's examples. It is therefore natural to investigate the extent to which the homotopy type of a space is determined by having such a cohomology ring. We begin this study here, in the context of model category theory. In particular, we extend work of Franz by showing that the singular cochain algebra of c(K) is formal as a differential graded noncommutative algebra. We specialise to the rationals by proving the corresponding result for Sullivan's commutative cochain algebra, and deduce that the rationalisation of c(K) is unique for a special family of complexes K. In a sequel, we will consider the uniqueness of c(K) at each prime separately, and apply Sullivan's arithmetic square to produce global results for this family.

math.AT↗

arXiv2002

Colimits, Stanley-Reisner algebras, and loop spaces

We study diagrams associated with a finite simplicial complex K, in various algebraic and topological categories. We relate their colimits to familiar structures in algebra, combinatorics, geometry and topology. These include: right-angled Artin and Coxeter groups (and their complex analogues, which we call circulation groups); Stanley-Reisner algebras and coalgebras; Davis and Januszkiewicz's spaces DJ(K) associated with toric manifolds and their generalisations; and coordinate subspace arrangements. When K is a flag complex, we extend well-known results on Artin and Coxeter groups by confirming that the relevant circulation group is homotopy equivalent to the space of loops $\Omega DJ(K)$. We define homotopy colimits for diagrams of topological monoids and topological groups, and show they commute with the formation of classifying spaces in a suitably generalised sense. We deduce that the homotopy colimit of the appropriate diagram of topological groups is a model for $\Omega DJ(K)$ for an arbitrary complex K, and that the natural projection onto the original colimit is a homotopy equivalence when K is flag. In this case, the two models are compatible.

math.AT↗

arXiv2000

Tangential Structures on Toric Manifolds, and Connected Sums of Polytopes

We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably complex structure is induced by an omniorientation. Studying connected sums of products of the $B_{i,j}$ allows us to deduce that every complex cobordism class of dimension >2 contains a toric manifold, necessarily connected, and so provides a positive answer to the toric analogue of Hirzebruch's famous question for algebraic varieties. In previous work, we dealt only with disjoint unions, and ignored the relationship between the stably complex structure and the action of the torus. In passing, we introduce a notion of connected sum $#$ for simple $n$-dimensional polytopes; when $P^n$ is a product of simplices, we describe $P^n# Q^n$ by applying an appropriate sequence of {\it pruning operators}, or hyperplane cuts, to $Q^n$.

math.AT↗

arXiv1998

Flag manifolds and the Landweber-Novikov algebra

We investigate geometrical interpretations of various structure maps associated with the Landweber-Novikov algebra S^* and its integral dual S_*. In particular, we study the coproduct and antipode in S_*, together with the left and right actions of S^* on S_* which underly the construction of the quantum (or Drinfeld) double D(S^*). We set our realizations in the context of double complex cobordism, utilizing certain manifolds of bounded flags which generalize complex projective space and may be canonically expressed as toric varieties. We discuss their cell structure by analogy with the classical Schubert decomposition, and detail the implications for Poincare duality with respect to double cobordism theory; these lead directly to our main results for the Landweber-Novikov algebra.

math.AT↗