Showing 1–29 of 29 results for author: Davis, J F

Traffic smoothing using explicit local controllers

Authors: Amaury Hayat, Arwa Alanqary, Rahul Bhadani, Christopher Denaro, Ryan J. Weightman, Shengquan Xiang, Jonathan W. Lee, Matthew Bunting, Anish Gollakota, Matthew W. Nice, Derek Gloudemans, Gergely Zachar, Jon F. Davis, Maria Laura Delle Monache, Benjamin Seibold, Alexandre M. Bayen, Jonathan Sprinkle, Daniel B. Work, Benedetto Piccoli

Abstract: The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the N… ▽ More The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the Nashville area was able to regularize the velocity profile by reducing oscillations in time and velocity differences among vehicles. Quantitative measures of this effect were possible due to the innovative I-24 MOTION system capable of monitoring the traffic conditions for all vehicles on the roadway. This paper presents the control design, the technological aspects involved in its deployment, and, finally, the results achieved by the experiment. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Comments: 21 pages, 1 Table , 9 figures

MSC Class: 93D15; 93D21; 93-05; 34H05; ACM Class: H.2.2

On Nielsen realization and manifold models for classifying spaces

Authors: James F. Davis, Wolfgang Lueck

Abstract: We consider the problem of whether, for a given virtually torsionfree discrete group $Γ$, there exists a cocompact proper topological $Γ$-manifold, which is equivariantly homotopy equivalent to the classifying space for proper actions. This problem is related to Nielsen Realization. We will make the assumption that the expected manifold model has a zero-dimensional singular set. Then we solve the… ▽ More We consider the problem of whether, for a given virtually torsionfree discrete group $Γ$, there exists a cocompact proper topological $Γ$-manifold, which is equivariantly homotopy equivalent to the classifying space for proper actions. This problem is related to Nielsen Realization. We will make the assumption that the expected manifold model has a zero-dimensional singular set. Then we solve the problem in the case, for instance, that $Γ$ contains a normal torsionfree subgroup $π$ such that $π$ is hyperbolic and $π$ is the fundamental group of an aspherical closed manifold of dimension greater or equal to five and $Γ/π$ is a finite cyclic group of odd order. △ Less

Submitted 26 January, 2024; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 41 pages. The final, final version, to appear in the Transactions of the American Mathematical Society

MSC Class: 57N99 (Primary); 55R35; 18F25 (Secondary

Chain duality for categories over complexes

Authors: James F. Davis, Carmen Rovi

Abstract: We show that the additive category of chain complexes parametrized by a finite simplicial complex $K$ forms a category with chain duality. This fact, never fully proven in the original reference, is fundamental for Ranicki's algebraic formulation of the surgery exact sequence of Sullivan and Wall, and his interpretation of the surgery obstruction map as the passage from local Poincaré duality to g… ▽ More We show that the additive category of chain complexes parametrized by a finite simplicial complex $K$ forms a category with chain duality. This fact, never fully proven in the original reference, is fundamental for Ranicki's algebraic formulation of the surgery exact sequence of Sullivan and Wall, and his interpretation of the surgery obstruction map as the passage from local Poincaré duality to global Poincaré duality. Our paper also gives a new, conceptual, and geometric treatment of chain duality on $K$-based chain complexes. △ Less

Submitted 29 December, 2023; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: 30 pages, 4 figures, final version

MSC Class: 57M05

Journal ref: EMS Surv. Math. Sci. 9 (2022), 477-505

Manifolds homotopy equivalent to certain torus bundles over lens spaces

Authors: James F. Davis, Wolfgang Lueck

Abstract: We compute the topological simple structure set of closed manifolds which occur as total spaces of flat bundles over lens spaces S^l/(Z/p) with fiber an n-dimensjional torus T^n for an odd prime p and l greater or equal to 3, provided that the induced Z/p-action on pi_1(T^n) = Z^n is free outside the origin. To the best of our knowledge this is the first computation of the structure set of a topol… ▽ More We compute the topological simple structure set of closed manifolds which occur as total spaces of flat bundles over lens spaces S^l/(Z/p) with fiber an n-dimensjional torus T^n for an odd prime p and l greater or equal to 3, provided that the induced Z/p-action on pi_1(T^n) = Z^n is free outside the origin. To the best of our knowledge this is the first computation of the structure set of a topological manifold whose fundamental group is not obtained from torsionfree and finite groups using amalgamated and HNN-extensions. We give a collection of classical surgery invariants such as splitting obstructions and rho-invariants which decide whether a simple homotopy equivalence from a closed topological manifold to M is homotopic to a homeomorphism. △ Less

Submitted 8 June, 2020; v1 submitted 7 July, 2019; originally announced July 2019.

Comments: 40 pages, to appear in Communications on Pure and Applied Mathematics

MSC Class: 57R67; 57N99; 19525

Journal ref: Communications on Pure and Applied Mathematics, 74 (2021), 2348--2397

Fibers of maps to totally nonnegative spaces

Authors: James F. Davis, Patricia Hersh, Ezra Miller

Abstract: This paper undertakes a study of the structure of the fibers of a family of maps $f_{(i_1,\dots ,i_d)}$ arising from representation theory, motivated both by connections to Lusztig's theory of canonical bases and also by the fact that these fibers encode the nonnegative real relations amongst exponentiated Chevalley generators. In particular, we prove that the fibers of these maps… ▽ More This paper undertakes a study of the structure of the fibers of a family of maps $f_{(i_1,\dots ,i_d)}$ arising from representation theory, motivated both by connections to Lusztig's theory of canonical bases and also by the fact that these fibers encode the nonnegative real relations amongst exponentiated Chevalley generators. In particular, we prove that the fibers of these maps $f_{(i_1,\dots ,i_d)}$ (restricted to the standard simplex $Δ_{d-1}$ in a way that still captures the full structure) admit cell decompositions induced by the decomposition of $Δ_{d-1}$ into open simplices of various dimensions. We also prove that these cell decompositions have the same face posets as interior dual block complexes of subword complexes and that these interior dual block complexes are contractible. We conjecture that each such fiber is a regular CW complex homeomorphic to the interior dual block complex of a subword complex. We show how this conjecture would yield as a corollary a new proof of the Fomin-Shapiro Conjecture by way of general topological results regarding approximating maps by homeomorphisms. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Comments: 27 pages

MSC Class: 05E10; 20G05; 57N60; 06A07

Hyperfield Grassmannians

Authors: James F. Davis, Laura Anderson

Abstract: In a recent paper Baker and Bowler introduced matroids over hyperfields, offering a common generalization of matroids, oriented matroids, and linear subspaces of based vector spaces. This paper introduces the notion of a topological hyperfield and explores the generalization of Grassmannians and realization spaces to this context, particularly in relating the (hyper)fields R and C to hyperfields a… ▽ More In a recent paper Baker and Bowler introduced matroids over hyperfields, offering a common generalization of matroids, oriented matroids, and linear subspaces of based vector spaces. This paper introduces the notion of a topological hyperfield and explores the generalization of Grassmannians and realization spaces to this context, particularly in relating the (hyper)fields R and C to hyperfields arising in matroid theory and in tropical geometry. △ Less

Submitted 3 November, 2018; v1 submitted 29 September, 2017; originally announced October 2017.

Comments: 31 pages. Final version

MSC Class: 05B35 (primary); 52C40; 52B40; 57R20; 54H13; 12J99 (secondary)

Journal ref: Advances in Mathematics, 341 (2019), 336-366

An almost flat manifold with a cyclic or quaternionic holonomy group bounds

Authors: James F. Davis, Fuquan Fang

Abstract: A long-standing conjecture of Farrell and Zdravkovska and independently S.~T.~Yau states that every almost flat manifold is the boundary of a compact manifold. This paper gives a simple proof of this conjecture when the holonomy group is cyclic or quaternionic. The proof is based on the interaction between flat bundles and involutions. A long-standing conjecture of Farrell and Zdravkovska and independently S.~T.~Yau states that every almost flat manifold is the boundary of a compact manifold. This paper gives a simple proof of this conjecture when the holonomy group is cyclic or quaternionic. The proof is based on the interaction between flat bundles and involutions. △ Less

Submitted 20 April, 2015; v1 submitted 1 January, 2015; originally announced January 2015.

Comments: 8 pages, to appear in the Journal of Differential Geometry. New version of Lemma 2.5: A manifold bounds if there is an involution on TM whose fixed bundle is full rank

Journal ref: Journal of Differential Geometry, 103 (2016), 289-296

Topological rigidity and actions on contractible manifolds with discrete singular set

Authors: Frank Connolly, James F. Davis, Qayum Khan

Abstract: The problem of equivariant rigidity is the $Γ$-homeomorphism classification of $Γ$-actions on manifolds with compact quotient and with contractible fixed sets for all finite subgroups of $Γ$. In other words, this is the classification of cocompact $E_{fin}Γ$-manifolds. We use surgery theory, algebraic $K$-theory, and the Farrell--Jones Conjecture to give this classification for a family of group… ▽ More The problem of equivariant rigidity is the $Γ$-homeomorphism classification of $Γ$-actions on manifolds with compact quotient and with contractible fixed sets for all finite subgroups of $Γ$. In other words, this is the classification of cocompact $E_{fin}Γ$-manifolds. We use surgery theory, algebraic $K$-theory, and the Farrell--Jones Conjecture to give this classification for a family of groups which satisfy the property that the normalizers of nontrivial finite subgroups are themselves finite. More generally, we study cocompact proper actions of these groups on contractible manifolds and prove that the $E_{fin}$-condition is always satisfied. △ Less

Submitted 2 November, 2015; v1 submitted 2 February, 2014; originally announced February 2014.

Comments: 21 pages, slightly modified title, added a last section for examples

Journal ref: Transactions of the American Mathematical Society, Series B, Volume 2 (2015), 113-133

Any finite group acts freely and homologically trivially on a product of spheres

Authors: James F. Davis

Abstract: The main theorem is that if K is a finite CW complex with finite fundamental group G and universal cover homotopy equivalent to a product of spheres X, then G acts smoothly and freely on X x S^n for any n greater than or equal to the dimension of X. If the G-action on the universal cover of K is homologically trivial then so is the action on X x S^n. Unlu and Yalcin recently showed that for ever… ▽ More The main theorem is that if K is a finite CW complex with finite fundamental group G and universal cover homotopy equivalent to a product of spheres X, then G acts smoothly and freely on X x S^n for any n greater than or equal to the dimension of X. If the G-action on the universal cover of K is homologically trivial then so is the action on X x S^n. Unlu and Yalcin recently showed that for every finite group G, there is a finite CW complex K with fundamental group G which acts homologicially trivially on the universal cover of K. Thus every finite group acts smoothly, freely, and homologically trivially on a product of spheres. △ Less

Submitted 22 February, 2014; v1 submitted 3 September, 2012; originally announced September 2012.

Comments: 11 pages. Final version. To appear in the Proceedings of the American Mathematical Society

Journal ref: Proceedings of the American Mathematical Society, 144 (2016), 379-386

Global Rigidity of Higher Rank Anosov Actions on Tori and Nilmanifolds

Authors: David Fisher, Boris Kalinin, Ralf Spatzier, James F. Davis

Abstract: We show that sufficiently irreducible Anosov actions of higher rank abelian groups on tori and nilmanifolds are smoothly conjugate to affine actions. We show that sufficiently irreducible Anosov actions of higher rank abelian groups on tori and nilmanifolds are smoothly conjugate to affine actions. △ Less

Submitted 7 September, 2012; v1 submitted 4 October, 2011; originally announced October 2011.

Comments: To appear in the Journal of the AMS. 32 pages

MSC Class: 37C85; 37C15; 37D20; 53C24

Topological rigidity and H_1-negative involutions on tori

Authors: Frank Connolly, James F. Davis, Qayum Khan

Abstract: We prove there is only one involution (up to conjugacy) on the n-torus which acts as $-\mathrm{Id}$ on the first homology group when $n$ is of the form $4k$, is of the form $4k+1$, or is less than $4$. In all other cases we prove there are infinitely many such involutions up to conjugacy, but each of them has exactly $2^n$ fixed points and is conjugate to a smooth involution. The key technical poi… ▽ More We prove there is only one involution (up to conjugacy) on the n-torus which acts as $-\mathrm{Id}$ on the first homology group when $n$ is of the form $4k$, is of the form $4k+1$, or is less than $4$. In all other cases we prove there are infinitely many such involutions up to conjugacy, but each of them has exactly $2^n$ fixed points and is conjugate to a smooth involution. The key technical point is that we completely compute the equivariant structure set for the corresponding crystallographic group action on $\mathbb{R}^n$ in terms of the Cappell $\mathrm{UNil}$-groups arising from its infinite dihedral subgroups. We give a complete analysis of equivariant topological rigidity for this family of groups. △ Less

Submitted 6 February, 2014; v1 submitted 13 February, 2011; originally announced February 2011.

Comments: 50 pages, to appear in Geometry & Topology

Journal ref: Geom. Topol. 18 (2014) 1719-1768

The work of Tom Farrell and Lowell Jones in topology and geometry

Authors: James F. Davis

Abstract: This is a survey of some of the work of Tom Farrell and Lowell Jones. This is the lead article of a special issue of the Pure and Applied Mathematics Quarterly. This issue is published in conjunction with the conference "Geometry,Topology, and their Interactions" held in Morelia, Mexico. This is a survey of some of the work of Tom Farrell and Lowell Jones. This is the lead article of a special issue of the Pure and Applied Mathematics Quarterly. This issue is published in conjunction with the conference "Geometry,Topology, and their Interactions" held in Morelia, Mexico. △ Less

Submitted 8 August, 2010; v1 submitted 8 June, 2010; originally announced June 2010.

Comments: 14 pages. Typos corrected. Final version

MSC Class: 57R65

Journal ref: Pure and Applied Mathematics Quarterly, Volume 8, Number 1, Special Issue: In honor of F. Thomas Farrell and Lowell E. Jones, Part 1 of 2, 1-14, 2012

The topological K-theory of certain crystallographic groups

Authors: James F. Davis, Wolfgang Lueck

Abstract: Let Gamma be a semidirect product of the form Z^n rtimes Z/p where p is prime and the Z/p-action on Z^n is free away from the origin. We will compute the topological K-theory of the real and complex group C*-algebra of Gamma and show that Gamma satisfies the unstable Gromov-Lawson-Rosenberg Conjecture. On the way we will analyze the (co-)homology and the topological K-theory of the classifying spa… ▽ More Let Gamma be a semidirect product of the form Z^n rtimes Z/p where p is prime and the Z/p-action on Z^n is free away from the origin. We will compute the topological K-theory of the real and complex group C*-algebra of Gamma and show that Gamma satisfies the unstable Gromov-Lawson-Rosenberg Conjecture. On the way we will analyze the (co-)homology and the topological K-theory of the classifying spaces BGamma and underbar{B}Gamma. The latter is the quotient of the induced Z/p-action on the torus T^n. △ Less

Submitted 31 March, 2011; v1 submitted 15 April, 2010; originally announced April 2010.

Comments: 46 pages. Final version. Accepted for publication in the Journal of Noncommutative Geometry

MSC Class: 19L47; 46L80; 53C21

Journal ref: Journal of Noncommutative Geometry, 7 (2013), 373-431

Algebraic K-theory over the infinite dihedral group: a controlled topology approach

Authors: James F. Davis, Frank Quinn, Holger Reich

Abstract: We use controlled topology applied to the action of the infinite dihedral group on a partially compactified plane and deduce two consequences for algebraic K-theory. The first is that the family in the K-theoretic Farrell-Jones conjecture can be reduced to only those virtually cyclic groups which admit a surjection with finite kernel onto a cyclic group. The second is that the Waldhausen Nil group… ▽ More We use controlled topology applied to the action of the infinite dihedral group on a partially compactified plane and deduce two consequences for algebraic K-theory. The first is that the family in the K-theoretic Farrell-Jones conjecture can be reduced to only those virtually cyclic groups which admit a surjection with finite kernel onto a cyclic group. The second is that the Waldhausen Nil groups for a group which maps epimorphically onto the infinite dihedral group can be computed in terms of the Farrell-Bass Nil groups of the index two subgroup which maps surjectively to the infinite cyclic group. △ Less

Submitted 7 March, 2011; v1 submitted 19 February, 2010; originally announced February 2010.

Comments: Accepted for publication by the Journal of Topology, 23 pages, proof of Lemma 4.1 simplified

MSC Class: 57Q10; 16E20

Journal ref: Journal of Topology, 4 (2011), 505-528

Mod-2 Equivalence of the K-theoretic Euler and Signature Classes

Authors: James F. Davis, Pisheng Ding

Abstract: This note proves that, as K-theory elements, the symbol classes of the de Rham operator and the signature operator on a closed manifold of even dimension are congruent mod 2. An equivariant generalization is given pertaining to the equivariant Euler characteristic and the multi-signature. This note proves that, as K-theory elements, the symbol classes of the de Rham operator and the signature operator on a closed manifold of even dimension are congruent mod 2. An equivariant generalization is given pertaining to the equivariant Euler characteristic and the multi-signature. △ Less

Submitted 6 April, 2008; originally announced April 2008.

Comments: 8 pages

MSC Class: 19L99; 58J05; 19K56; 57R20

Some remarks on Nil groups in algebraic K-theory

Authors: James F. Davis

Abstract: This note explains consequences of recent work of Frank Quinn for computations of Nil groups in algebraic K-theory, in particular the Nil groups occurring in the K-theory of polynomial rings, Laurent polynomial rings, and the group ring of the infinite dihedral group. This note explains consequences of recent work of Frank Quinn for computations of Nil groups in algebraic K-theory, in particular the Nil groups occurring in the K-theory of polynomial rings, Laurent polynomial rings, and the group ring of the infinite dihedral group. △ Less

Submitted 11 March, 2008; v1 submitted 11 March, 2008; originally announced March 2008.

MSC Class: 19D35 (Primary); 57Q10; 16E20 (Secondary)

Algebraic K-theory over the infinite dihedral group: an algebraic approach

Authors: James F. Davis, Qayum Khan, Andrew Ranicki

Abstract: We prove that the Waldhausen nilpotent class group of an injective index 2 amalgamated free product is isomorphic to the Farrell-Bass nilpotent class group of a twisted polynomial extension. As an application, we show that the Farrell-Jones Conjecture in algebraic K-theory can be sharpened from the family of virtually cyclic subgroups to the family of finite-by-cyclic subgroups. We prove that the Waldhausen nilpotent class group of an injective index 2 amalgamated free product is isomorphic to the Farrell-Bass nilpotent class group of a twisted polynomial extension. As an application, we show that the Farrell-Jones Conjecture in algebraic K-theory can be sharpened from the family of virtually cyclic subgroups to the family of finite-by-cyclic subgroups. △ Less

Submitted 10 January, 2012; v1 submitted 11 March, 2008; originally announced March 2008.

MSC Class: 19D35 (Primary) 57Q10; 16E20 (Secondary)

Journal ref: Algebr. Geom. Topol. 11 (2011) 2391-2436

Manifolds homotopy equivalent to P^n # P^n

Authors: Jeremy Brookman, James F. Davis, Qayum Khan

Abstract: We classify, up to homeomorphism, all closed manifolds having the homotopy type of a connected sum of two copies of real projective n-space. We classify, up to homeomorphism, all closed manifolds having the homotopy type of a connected sum of two copies of real projective n-space. △ Less

Submitted 24 July, 2007; v1 submitted 2 September, 2005; originally announced September 2005.

MSC Class: 57R67 (Primary); 19J25 (Secondary)

Journal ref: Mathematische Annalen, Volume 338, Number 4 (2007), 947--962

A two component link with Alexander polynomial one is concordant to the Hopf link

Authors: James F. Davis

Abstract: Four-dimensional surgery is used to show that a two component link with Alexander polynomial one is topologically concordant to the Hopf link. Four-dimensional surgery is used to show that a two component link with Alexander polynomial one is topologically concordant to the Hopf link. △ Less

Submitted 3 March, 2005; v1 submitted 17 August, 2004; originally announced August 2004.

Comments: To appear in the Mathematical Proceedings of the Cambridge Philosophicial Society

MSC Class: 57M25; 57N12

Journal ref: Mathematical Proceedings of the Cambridge Philosophicial Society, 140 (2006), 265-268

The Borel/Novikov conjectures and stable diffeomorphisms of 4-manifolds

Authors: James F. Davis

Abstract: Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain map from the second homology of the fundamental group with coefficients in Z/2 to the L-theory of the group is injective. This injectivity is implied by the Bore… ▽ More Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain map from the second homology of the fundamental group with coefficients in Z/2 to the L-theory of the group is injective. This injectivity is implied by the Borel/Novikov conjecture for torsion-free groups, which is known for many groups. There are also results concerning the homotopy invariance of the Kirby-Siebenmann invariant. The method of proof is to use Poincare duality in Spin bordism to translate between Wall's classical surgery and Kreck's modified surgery. △ Less

Submitted 14 July, 2011; v1 submitted 4 June, 2004; originally announced June 2004.

Comments: Re-TeXed. The references are now numbered; Geometry and topology of manifolds, 63-76, Fields Inst. Commun., 47, Amer. Math. Soc., Providence, RI, 2005

MSC Class: 57N13; 57R67

Journal ref: Geometry and topology of manifolds, 63-76, Fields Inst. Commun., 47, Amer. Math. Soc., Providence, RI, 2005

The surgery obstruction groups of the infinite dihedral group

Authors: Francis X. Connolly, James F. Davis

Abstract: This paper computes the quadratic Witt groups (the Wall L-groups) of the polynomial ring Z[t] and the integral group ring of the infinite dihedral group, with various involutions. We show that some of these groups are infinite direct sums of cyclic groups of order 2 and 4. The techniques used are quadratic linking forms over Z[t] and Arf invariants. This paper computes the quadratic Witt groups (the Wall L-groups) of the polynomial ring Z[t] and the integral group ring of the infinite dihedral group, with various involutions. We show that some of these groups are infinite direct sums of cyclic groups of order 2 and 4. The techniques used are quadratic linking forms over Z[t] and Arf invariants. △ Less

Submitted 4 September, 2004; v1 submitted 2 June, 2003; originally announced June 2003.

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

MSC Class: 57R67; 19J25; 19G24

Journal ref: Geom. Topol. 8 (2004) 1043-1078

Fixity and Free Group Actions on Products of Spheres

Authors: Alejandro Adem, James F. Davis, Ozgun Unlu

Abstract: We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if and only if it does not contain a rank 3 elementary abelian subgroup. We show that if G is a finite subgroup of U(n), acting freely on U(n)/U(k) for some k>0… ▽ More We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if and only if it does not contain a rank 3 elementary abelian subgroup. We show that if G is a finite subgroup of U(n), acting freely on U(n)/U(k) for some k>0 and if (|G|,(n-1)!)=1, then the action propagates to a free and smooth action on a product of n-k spheres. A number of explicit examples are discussed. △ Less

Submitted 7 April, 2003; originally announced April 2003.

Comments: 22 pages

The p-chain spectral sequence

Authors: James F. Davis, Wolfgang Lueck

Abstract: We introduce a new spectral sequence called the p-chain spectral sequence which converges to the (co-)homology of a contravariant C-space with coefficients in a covariant C-spectrum for a small category C. It is different from the corresponding Atiyah-Hirzebruch type spectral sequence. It can be used in combination with the Isomorphism Conjectures of Baum-Connes and Farrell-Jones to compute alge… ▽ More We introduce a new spectral sequence called the p-chain spectral sequence which converges to the (co-)homology of a contravariant C-space with coefficients in a covariant C-spectrum for a small category C. It is different from the corresponding Atiyah-Hirzebruch type spectral sequence. It can be used in combination with the Isomorphism Conjectures of Baum-Connes and Farrell-Jones to compute algebraic K- and L-groups of group rings and topological K-groups of reduced group C*-algebras. △ Less

Submitted 4 December, 2002; originally announced December 2002.

Comments: 36 pages

MSC Class: 55T99; 55N99; 19B28; 19D50; 19G24; 19K99; 57R67

Journal ref: K-Theory, 30 (2003), 71-104

Alexander polynomials of equivariant slice and ribbon knots in S^3

Authors: James F. Davis, Swatee Naik

Abstract: This paper gives an algebraic characterization of Alexander polynomials of equivariant ribbon knots and a factorization condition satisfied by Alexander polynomials of equivariant slice knots. This paper gives an algebraic characterization of Alexander polynomials of equivariant ribbon knots and a factorization condition satisfied by Alexander polynomials of equivariant slice knots. △ Less

Submitted 19 January, 2002; originally announced January 2002.

MSC Class: 57M25

Journal ref: Transactions of the American Mathematical Society, 358 (2005), 2949-2964

The Gromov-Lawson-Rosenberg conjecture for cocompact Fuchsian groups

Authors: James F. Davis, Kimberly Pearson

Abstract: We prove the Gromov-Lawson-Rosenberg conjecture for cocompact Fuchsian groups, thereby giving necessary and sufficient conditions for a closed spin manifold of dimension greater than four with fundamental group cocompact Fuchsian to admit a metric of positive scalar curvature. We prove the Gromov-Lawson-Rosenberg conjecture for cocompact Fuchsian groups, thereby giving necessary and sufficient conditions for a closed spin manifold of dimension greater than four with fundamental group cocompact Fuchsian to admit a metric of positive scalar curvature. △ Less

Submitted 28 January, 2003; v1 submitted 10 January, 2002; originally announced January 2002.

Comments: 6 pages

MSC Class: 53C21 (Primary); 19L41; 19L61; 57R15; 55N15; 53C20 (Secondary)

Journal ref: Proceedings of the American Mathematical Society, 131 (2003), 3571-3578

There is no tame triangulation of the infinite real Grassmannian

Authors: Laura Anderson, James F. Davis

Abstract: We show that there is no triangulation of the infinite real Grassmannian of k-planes in R^\infty which is nicely situated with respect to the coordinate axes. In terms of matroid theory, this says there is no triangulation of the Grassmannian subdividing the matroid stratification. This is proved by an argument in projective geometry, considering a specific sequence of configurations of points i… ▽ More We show that there is no triangulation of the infinite real Grassmannian of k-planes in R^\infty which is nicely situated with respect to the coordinate axes. In terms of matroid theory, this says there is no triangulation of the Grassmannian subdividing the matroid stratification. This is proved by an argument in projective geometry, considering a specific sequence of configurations of points in the plane. △ Less

Submitted 27 April, 2000; originally announced April 2000.

Comments: 11 pages

MSC Class: 57R05; 14M15; 32B25; 05B35

Journal ref: Advances in Applied Mathematics, 26 (2001), 226-236

Mod 2 cohomology of combinatorial Grassmannians

Authors: Laura Anderson, James F. Davis

Abstract: Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed… ▽ More Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes. The homotopy groups of this poset are related to the image of the J-homomorphism from stable homotopy theory. △ Less

Submitted 20 November, 1999; originally announced November 1999.

MSC Class: 55R25 (primary); 05B35; 52B40; 57R22 (secondary)

Journal ref: Selecta Mathematica 8 (2002), 161-200

S_3 x S_3 acts freely on S^3 x S^3

Authors: James F. Davis

Abstract: A free action of the direct product of two copies of the symmetric group on 3 elements on the cartesian product of two copies of the 3-sphere is constructed. This nonlinear action is constructed using surgery. The action provides a counterexample to a conjecture of Lewis made in 1968. A free action of the direct product of two copies of the symmetric group on 3 elements on the cartesian product of two copies of the 3-sphere is constructed. This nonlinear action is constructed using surgery. The action provides a counterexample to a conjecture of Lewis made in 1968. △ Less

Submitted 6 June, 1998; originally announced June 1998.

Topological transformation groups

Authors: Alejandro Adem, James F. Davis

Abstract: This paper surveys some results and methods in topological transformation groups. This paper surveys some results and methods in topological transformation groups. △ Less

Submitted 2 June, 1997; originally announced June 1997.

Report number: Wisconsin Math 97/AA-6a