BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Laurence R. Taylor

Laurence R. Taylor contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTmath.ATmath.DGmath.AG

Trust snapshot

Quick read

Trust 21 - Emerging
10works
0followers
4topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

preprint2022arXiv

Gauss Sums in Algebra and Topology

We consider Gauss sums associated to functions $T\to \mathbb R/\mathbb Z$ which satisfy some sort of quadratic property and investigate their elementary properties. These properties and a Gauss sum formula from the nineteenth century due to Dirichlet give the Milgram Gauss sum formula computing the signature mod $8$ of a non-singular bilinear form over $\mathbb Q$. Brown derived some results on the signature mod 8 of non-singular integral forms. Kirby and Melvin gave a formula for a generalization of this invariant to possibly non-singular forms and we further generalize it here. The Milgram Gauss sum formula and these formulas allow us to reprove Brown's result without resort to Witt group calculations. Assuming a bit of algebraic topology, we reprove a theorem of Morita's computing the signature mod $8$ of an oriented Poincaré duality space from the Pontrjagin square without using Bockstein spectral sequences. Since we work with forms which may be singular, we also obtain a version of Morita's theorem for Poincaré spaces with boundary. Finally we apply our results to the bilinear form $Sq^1x\cup y$ on $H^1(M;\mathbb Z/2\mathbb Z)$ of an orientable 3-manifold.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Splitting the Kunneth formula

There is a description of the torsion product of two modules in terms of generators and relations given by Eilenberg and Mac Lane. With some additional data on the chain complexes there is a splitting of the map in the Kunneth formula in terms of these generators. Different choices of this additional data determine a natural coset reminiscent of the indeterminacy in a Massey triple product. In one class of examples the coset actually is a Massey triple product. The explicit formulas for a splitting enable proofs of results on the behavior of the interchange map and the long exact sequence boundary map on all the terms in the Kunneth formula. Information on the failure of naturality of the splitting is also obtained.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The principal fibration sequence and the second cohomotopy set

Let $p:E -> B$ be a principal fibration with classifying map $w:B -> C$. It is well-known that the group $[X,ΩC]$ acts on $[X,E]$ with orbit space the image of $p_#$, where $p_#: [X,E] -> [X,B]$. The isotropy subgroup of the map of $X$ to the base point of $E$ is also well-known to be the image of $[X, ΩB]$. The isotropy subgroups for other maps $e:X -> E$ can definitely change as $e$ does. The set of homotopy classes of lifts of $f$ to the free loop space on $B$ is a group. If $f$ has a lift to $E$, the set $p_#^{-1}(f)$ is identified with the cokernel of a natural homomorphism from this group of lifts to $[X, ΩC]$. As an example, $[X,S^2]$ is enumerated for $X$ a 4-complex.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Quadratic enhancements of surfaces: two vanishing results

This note records two results which were inexplicably omitted from our paper on Pin structures on low dimensional manifolds, [KT]. Kirby chose not to be listed as a coauthor. A Pin^- structure on a surface F induces a quadratic enhancement of the mod 2 intersection form, q: H_1(F;Z/2Z) -> Z/4Z Theorem 1.1 says that q vanishes on the kernel of the map in homology to a bounding 3-manifold. This is used by Kreck and Puppe (arXiv:0707.1599 [math.AT]) who refer for a proof to an email of the author to Kreck. A more polished and public proof seems desirable. In [KT], section 6, a Pin^- structure is constructed on a surface F dual to w_2 in an oriented 4-manifold M^4. Theorem 2.1 says that q vanishes on the Poincare dual to the image of H^1(M^4;Z/2Z) in H^1(F;Z/2Z).

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Birationality of étale morphisms via surgery

We use a counting argument and surgery theory to show that if $D$ is a sufficiently general algebraic hypersurface in $\Bbb C^n$, then any local diffeomorphism $F:X \to \Bbb C^n$ of simply connected manifolds which is a $d$-sheeted cover away from $D$ has degree $d=1$ or $d=\infty$ (however all degrees $d > 1$ are possible if $F$ fails to be a local diffeomorphism at even a single point). In particular, any étale morphism $F:X \to \Bbb C^n$ of algebraic varieties which covers away from such a hypersurface $D$ must be birational.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Unoriented geometric functors

Farrell and Hsiang noticed that the geometric surgery groups defined By Wall, Chapter 9, do not have the naturality Wall claims for them. They were able to fix the problem by augmenting Wall's definitions to keep track of a line bundle. The definition of geometric Wall groups involves homology with local coefficients and these also lack Wall's claimed naturality. One would hope that a geometric bordism theory involving non-orientable manifolds would enjoy the same naturality as that enjoyed by homology with local coefficients. A setting for this naturality entirely in terms of local coefficients is presented in this paper. Applying this theory to the example of non-orientable Wall groups restores much of the elegance of Wall's original approach. Furthermore, a geometric determination of the map induced by conjugation by a group element is given.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Impossible metric conditions on exotic R^4's

There are many theorems in the differential geometry literature of the following sort. Let M be a complete Riemannian manifold with some conditions on various curvatures, diameters, volumes, etc. Then M is homotopy equivalent to a finite CW complex, or M is the interior of a compact, topological manifold with boundary. At first glance it seems unlikely that such theorems have anything to say about smooth manifolds homeomorphic to R^4. However, there is a common theme to all the proofs which forbids the existence of such metrics on most (and possibly all) exotic R^4's.

0 citations0 reviewsNo code linkedOpen access