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

Shelly Harvey

Shelly Harvey contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTmath.ATmath.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

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)

preprint2013arXiv

Filtering smooth concordance classes of topologically slice knots

We propose and analyze a structure with which to organize the difference between a knot in the 3-sphere bounding a topologically embedded 2-disk in the 4-ball and it bounding a smoothly embedded disk. The n-solvable filtration of the topological knot concordance group, due to Cochran-Orr-Teichner, may be complete in the sense that any knot in the intersection of its terms may well be topologically slice. However, the natural extension of this filtration to what is called the n-solvable filtration of the smooth knot concordance group, is unsatisfactory because any topologically slice knot lies in every term of the filtration. To ameliorate this we investigate a new filtration, {B_n}, that is simultaneously a refinement of the n-solvable filtration and a generalization of notions of positivity studied by Gompf and Cochran. We show that each B_n/B_{n+1} has infinite rank. But our primary interest is in the induced filtration, {T_n}, on the subgroup, T, of knots that are topologically slice. We prove that T/T_0 is large, detected by gauge-theoretic invariants and the tau, s, and epsilon-invariants; while the non-triviliality of T_0/T_1 can be detected by certain d-invariants. All of these concordance obstructions vanish for knots in T_1. Nonetheless, going beyond this, our main result is that T_1/T_2 has positive rank. Moreover under a "weak homotopy-ribbon" condition, we show that each T_n/T_{n+1} has positive rank. These results suggest that, even among topologically slice knots, the fundamental group is responsible for a wide range of complexity.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Higher-order signature cocycles for subgroups of mapping class groups and homology cylinders

We define families of invariants for elements of the mapping class group of S, a compact orientable surface. Fix any characteristic subgroup H of pi_1(S) and restrict to J(H), any subgroup of mapping classes that induce the identity modulo H. To any unitary representation, r of pi_1(S)/H we associate a higher-order rho_r-invariant and a signature 2-cocycle sigma_r. These signature cocycles are shown to be generalizations of the Meyer cocycle. In particular each rho_r is a quasimorphism and each sigma_r is a bounded 2-cocycle on J(H). In one of the simplest non-trivial cases, by varying r, we exhibit infinite families of linearly independent quasimorphisms and signature cocycles. We show that the rho_r restrict to homomorphisms on certain interesting subgroups. Many of these invariants extend naturally to the full mapping class group and some extend to the monoid of homology cylinders based on S.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

2-torsion in the n-solvable filtration of the knot concordance group

In 1997 Cochran-Orr-Teichner introduced a natural filtration, called the n-solvable filtration, of the smooth knot concordance group, C. Its terms {F_n} are indexed by half integers. We show that each associated graded abelian group G_n=F_n/F_{n.5}, n>1, contains infinite linearly independent sets of elements of order 2 (this was known previously for n=0,1). Each of the representative knots is negative amphichiral, with vanishing s-invariant, tau-invariant, delta-invariants and Casson-Gordon invariants. Moreover each is smoothly slice in a rational homology 4-ball. In fact we show that there are many distinct such classes in G_n, distinguished by their classical Alexander polynomials and by the orders of elements in their higher-order Alexander modules.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Derivatives of Knots and Second-order Signatures

We define a set of "second-order" L^(2)-signature invariants for any algebraically slice knot. These obstruct a knot's being a slice knot and generalize Casson-Gordon invariants, which we consider to be "first-order signatures". As one application we prove: If K is a genus one slice knot then, on any genus one Seifert surface, there exists a homologically essential simple closed curve of self-linking zero, which has vanishing zero-th order signature and a vanishing first-order signature. This extends theorems of Cooper and Gilmer. We introduce a geometric notion, that of a derivative of a knot with respect to a metabolizer. We also introduce a new equivalence relation, generalizing homology cobordism, called null-bordism.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Primary decomposition and the fractal nature of knot concordance

For each sequence of polynomials, P=(p_1(t),p_2(t),...), we define a characteristic series of groups, called the derived series localized at P. Given a knot K in S^3, such a sequence of polynomials arises naturally as the orders of certain submodules of the sequence of higher-order Alexander modules of K. These group series yield new filtrations of the knot concordance group that refine the (n)-solvable filtration of Cochran-Orr-Teichner. We show that the quotients of successive terms of these refined filtrations have infinite rank. These results also suggest higher-order analogues of the p(t)-primary decomposition of the algebraic concordance group. We use these techniques to give evidence that the set of smooth concordance classes of knots is a fractal set. We also show that no Cochran-Orr-Teichner knot is concordant to any Cochran-Harvey-Leidy knot.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Homological stability of series of groups

``What aspects of a group are unchanged, or stable, under homology equivalences''? The model theorem in this regard is the 1963 result of J. Stallings that the lower central series is preserved under any integral homological equivalence of groups. Various other theorems of this nature have since appeared. Stallings himself proved similar theorems for homology with rational or mod p coefficients. These involved different series of groups- variations of the lower central series. W. Dwyer generalized Stallings' integral results to larger classes of maps, work that was completed in the other cases by the authors. More recently the authors proved analogues of the theorems of Stallings and Dwyer for variations of the derived series. The above theorems are all different but clearly have much in common. Here we present a new concept, that of the stability of a subgroup, or a series of subgroups under a class of maps, that offers a framework in which all of these theorems can be viewed. We contrast it with homological localization of groups, which is a previously well-studied framework that might also be applied to these questions.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Knot Concordance and Higher-Order Blanchfield Duality

In 1997, T. Cochran, K. Orr, and P. Teichner defined a filtration {F_n} of the classical knot concordance group C. The filtration is important because of its strong connection to the classification of topological 4-manifolds. Here we introduce new techniques for studying C and use them to prove that, for each natural number n, the abelian group F_n/F_{n.5} has infinite rank. We establish the same result for the corresponding filtration of the smooth concordance group. We also resolve a long-standing question as to whether certain natural families of knots, first considered by Casson-Gordon and Gilmer, contain slice knots.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Link concordance and generalized doubling operators

We introduce a technique for showing classical knots and links are not slice. As one application we show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence of the Cheeger-Gromov bound, a deep analytical tool used by Cochran-Teichner. We define generalized doubling operators, of which Bing doubling is an instance, and prove our nontriviality results in this more general context. Our main examples are boundary links that cannot be detected in the algebraic boundary link concordance group.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Homology and Derived Series of Groups II: Dwyer's Theorem

We give new information about the relationship between the low-dimensional homology of a group and its derived series. This yields information about how the low-dimensional homology of a topological space constrains its fundamental group. Applications are given to detecting when a set of elements of a group generates a subgroup ``large enough'' to map onto a non-abelian free solvable group, and to concordance and grope cobordism of links. We also greatly generalize several key homological results employed in recent work of Cochran-Orr-Teichner, in the context of classical knot concordance. In 1963 J. Stallings established a strong relationship between the low-dimensional homology of a group and its lower central series quotients. In 1975 W. Dwyer extended Stallings' theorem by weakening the hypothesis on the second homology groups. The naive analogues of these theorems for the derived series are false. In 2003 the second author introduced a new characteristic series, associated to the derived series, called the torsion-free derived series. The authors previously established a precise analogue, for the torsion-free derived series, of Stallings' theorem. Here our main result is the analogue of Dwyer's theorem for the torsion-free derived series. We also prove a version of Dwyer's theorem for the rational lower central series. We apply these to give new results on the Cochran-Orr-Teichner filtration of the classical link concordance group.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Homology and derived series of groups

In 1964, John Stallings established an important relationship between the low-dimensional homology of a group and its lower central series. We establish a similar relationship between the low-dimensional homology of a group and its derived series. We also define a torsion-free-solvable completion of a group that is analogous to the Malcev completion, with the role of the lower central series replaced by the derived series. We prove that the torsion-free-solvable completion is invariant under rational homology equivalence.

0 citations0 reviewsNo code linkedOpen access