Source author record

Nigel Ray

Nigel Ray appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.AG math.CO math.CT math.QA

Catalog footprint

What is connected

9works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

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.

preprint2015arXiv

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.

preprint2012arXiv

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.

preprint2011arXiv

Weighted projective spaces and iterated Thom spaces

For any (n+1)-dimensional weight vector χ of positive integers, the weighted projective space P(χ) is a projective toric variety, and has orbifold singularities in every case other than CP^n. We study the algebraic topology of P(χ), paying particular attention to its localisation at individual primes p. We identify certain p-primary weight vectors π for which P(π) is homeomorphic to an iterated Thom space over S^2, and discuss how any P(χ) may be reconstructed from its p-primary factors. We express Kawasaki's computations of the integral cohomology ring H^*(P(χ);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(χ)) and their dual homology coalgebras E_*(P(χ)), as we demonstrate for complex cobordism theory (the universal example). In particular, we describe a fundamental class in Ω^U_{2n}(P(χ)), which may be interpreted as a resolution of singularities.

preprint2009arXiv

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 Φ, which was introduced independently by Krichever and Loeffler in 1974, albeit from radically different viewpoints. In fact Φ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.

preprint2006arXiv

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.

preprint2005arXiv

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.

preprint2002arXiv

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 $Ω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 $Ω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.

preprint1998arXiv

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.