arXiv Science⌕ Search

arXiv subjects

James F. Davis

Publications and source records attributed to James F. Davis.

At least 19 recordsLinked to original sources
arXiv2026

Aspherical $PD_4$-pairs

This is the third of three related preprints. We consider here which groups $π$ and $PD_3$-complexes $Y$ are realised by $PD_4$-pairs $(X,Y)$ with $X$ aspherical and $π_1X\congπ$, and show that such a pair may be assembled from $(D^4,S^3)$ and $PD_4$-pairs of groups, by adding 1-handles and mapping cylinders of $\mathbb{Z}π_1N$-homology equivalences over boundary components $N$, if and only if $H^2(π;\mathbb{Z}π)=0$. (This includes all such pairs with $π_1$-injective boundary components and all with $π$ a free group, but none with $c.d.π=2$. Adding a 1-handle includes connected sum.) If there is a finite 2-dimensional $K(π,1)$-complex then $π$ is realisable by some such pair $(X,Y)$, but there are no obvious building blocks analogous to $PD_4$-pairs of groups, except for when $π$ is a $PD_2$-group.

math.GR↗
arXiv2026

Aspherical manifolds with boundary

We undertake a systematic investigation of compact aspherical manifolds with boundary; motivated by the plethora of examples in the bounded case and by the beauty of the theory in the closed case. Our main theorems give a homological criterion for when a closed manifold, together with maps from the fundamental groups of its components to a fixed group, can be realized as the boundary of a compact aspherical manifold. This is done in two steps: we first produce a Poincaré pair and then apply surgery theory to obtain a manifold. We illustrate this in the case of abelian fundamental group. The results of this paper will be applied in a sequel where we classify compact aspherical 4-manifolds with elementary amenable fundamental group.

math.GT↗
arXiv2026

Aspherical 4-manifolds with elementary amenable fundamental group

We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds with boundary and conclude that they are either polycyclic or solvable Baumslag- Solitar. Since these groups are good and satisfy the Farrell-Jones Conjecture, one concludes that such manifolds satisfy topological rigidity: a homotopy equivalence which is a homeomorphism on the boundary is homotopic, relative to the boundary, to a homeomorphism. We classify the closed 3-manifolds which arise as the boundary of an compact aspherical 4-manifold with elementary amenable fundamental group, generalizing results of Freedman and Quinn in the cases of trivial and infinite cyclic fundamental groups. Moreover, two such 4-manifolds are homeomorphic if and only if their "enhanced" peripheral group systems are equivalent, and each such manifold is the boundary connected sum of a compact aspherical 4-manifold with prime boundary and a contractible 4-manifold.

math.GT↗
arXiv2026

Characteristic tensors for almost Finsler manifolds

Almost Finsler manifolds and partial Finsler manifolds are introduced, extending the standard definition of a Finsler manifold to allow for a nontrivial slit containing points fixed under homogeneous scaling and for metrics where the fundamental tensor has nonpositive eigenvalues. The bipartite spaces offer examples of comparatively simple almost Finsler manifolds and partial Finsler manifolds with physics applications. Special cases are the $\bf{a}$ and $\bf{b}$ spaces, which have almost Finsler norms and partial Finsler norms formed from a Riemannian norm and a 1-form. The indicatrix union of the almost Finsler $\bf{a}$ manifolds equals the indicatrix union of Randers spaces. Characteristic tensors that vanish for bipartite spaces and $\bf{b}$ spaces are obtained and expressed using geometric quantities. These tensors are generalizations of the Matsumoto tensor, which vanishes on Randers and $\bf{a}$ spaces.

math.DG↗
arXiv2024

Fibers of maps to totally nonnegative spaces

This paper undertakes a study of the structure of the fibers of the Chevalley exponentiation maps $f_{(i_1,\dots ,i_d)}$. The fibers of these maps $f_{(i_1,\dots ,i_d)}$ encode the nonnegative real relations amongst exponentiated Chevalley generators. Our main theorems show that the fibers admit cell stratifications, that these cell stratifications have the same face posets as interior dual block complexes of subword complexes, and that these posets are contractible. We conjecture that each such fiber is a regular CW complex homeomorphic to the interior dual block complex of a subword complex. This conjecture is shown to have as a corollary a new proof of the Fomin-Shapiro Conjecture by way of general topological results regarding approximating maps by homeomorphisms.

math.CO↗
arXiv2024

On Nielsen realization and manifold models for classifying spaces

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.

math.GT↗
arXiv2023

Chain duality for categories over complexes

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.

math.AT↗
arXiv2020

Manifolds homotopy equivalent to certain torus bundles over lens spaces

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.

math.GT↗
arXiv2018

Hyperfield Grassmannians

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.

math.CO↗
arXiv2015

Topological rigidity and actions on contractible manifolds with discrete singular set

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.

math.GT↗
arXiv2015

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

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.

math.DG↗
arXiv2014

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

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.

math.GT↗
arXiv2014

Topological rigidity and H_1-negative involutions on tori

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.

math.GT↗
arXiv2012

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

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.

math.KT↗
arXiv2011

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

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.

math.GT↗
arXiv2011

The topological K-theory of certain crystallographic groups

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.

math.KT↗
arXiv2011

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

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.

math.KT↗