Showing 1–32 of 32 results for author: Friedman, G

Foundations of geometric cohomology: from co-orientations to product structures

Authors: Greg Friedman, Anibal M. Medina-Mardones, Dev Sinha

Abstract: This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product of such smooth maps, which provides our geometric cochains with a partially defined product structure inducing the cup product in cohomology. A parallel treatm… ▽ More This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product of such smooth maps, which provides our geometric cochains with a partially defined product structure inducing the cup product in cohomology. A parallel treatment of homology is also given allowing for a geometric unification of the contravariant and covariant theories. △ Less

Submitted 14 March, 2024; v1 submitted 14 December, 2022; originally announced December 2022.

Comments: Preprint, 134 pages, 5 figures. Comments and questions are welcome

Report number: MPIM-Bonn-2022

Chern classes and unitary equivalence of normal matrices over topological spaces

Authors: Greg Friedman, Efton Park

Abstract: This paper continues the authors' work on the question of unitary equivalence of matrices with entries in the complex-valued functions of a topological space (matrices over spaces). Specifically, we here consider the question of unitary equivalence for pairs of normal matrices over a space that share a common characteristic polynomial that can be globally factored into distinct linear factors. We… ▽ More This paper continues the authors' work on the question of unitary equivalence of matrices with entries in the complex-valued functions of a topological space (matrices over spaces). Specifically, we here consider the question of unitary equivalence for pairs of normal matrices over a space that share a common characteristic polynomial that can be globally factored into distinct linear factors. We show that such a matrix is diagonalizable if and only if the first Chern classes of its eigenbundles all vanish and derive as an application that all such matrices over $\mathbb{C}P^m$ are diagonalizable for $m > 1$. Next, given a CW complex $X$ and a polynomial $μ$ in $C(X)[λ]$ that globally splits into distinct linear factors, we prove that the number of unitary equivalence classes of matrices with $μ$ as a characteristic polynomial depends only on the space $X$ and the degree of $μ$, and we give some estimates on how many unitary equivalence classes there can be. In the case that $X$ is a CW complex of dimension at most three, we demonstrate a bijection between the unitary equivalence classes of $n \times n$ normal matrices with characteristic polynomial $μ$ and elements of the group $(H^2(X))^{n-1}$. Finally, when $X$ is a smooth manifold and we restrict to matrices with smooth entries, we construct a de Rham cohomology class whose nonvanishing is an obstruction to unitary equivalence. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: 19 pages

MSC Class: Primary: 47B15; 55S35; Secondary: 55R40; 15A18

Flowing from intersection product to cup product

Authors: Greg Friedman, Anibal M. Medina-Mardones, Dev Sinha

Abstract: We use a vector field flow defined through a cubulation of a closed manifold to reconcile the partially defined commutative product on geometric cochains with the standard cup product on cubical cochains, which is fully defined and commutative only up to coherent homotopies. The interplay between intersection and cup product dates back to the beginnings of homology theory, but, to our knowledge, t… ▽ More We use a vector field flow defined through a cubulation of a closed manifold to reconcile the partially defined commutative product on geometric cochains with the standard cup product on cubical cochains, which is fully defined and commutative only up to coherent homotopies. The interplay between intersection and cup product dates back to the beginnings of homology theory, but, to our knowledge, this result is the first to give an explicit cochain level comparison between these approaches. △ Less

Submitted 10 June, 2021; originally announced June 2021.

Comments: 26 pages, 7 figures

Report number: MPIM-Bonn-2021 MSC Class: 55N45; 57R19; 57R25

Topological invariance of torsion sensitive intersection homology

Authors: Greg Friedman

Abstract: Torsion sensitive intersection homology was introduced to unify several versions of Poincare duality for stratified spaces into a single theorem. This unified duality theorem holds with ground coefficients in an arbitrary PID and with no local cohomology conditions on the underlying space. In this paper we consider for torsion sensitive intersection homology analogues of another important property… ▽ More Torsion sensitive intersection homology was introduced to unify several versions of Poincare duality for stratified spaces into a single theorem. This unified duality theorem holds with ground coefficients in an arbitrary PID and with no local cohomology conditions on the underlying space. In this paper we consider for torsion sensitive intersection homology analogues of another important property of classical intersection homology: topological invariance. In other words, we consider to what extent the defining sheaf complexes of the theory are independent (up to quasi-isomorphism) of choice of stratification. In addition to providing torsion sensitive versions of the existing invariance theorems for classical intersection homology, our techniques provide some new results even in the classical setting. △ Less

Submitted 25 September, 2023; v1 submitted 17 July, 2019; originally announced July 2019.

Comments: 48 pages; minor recent revisions

MSC Class: 55N33; 55N30; 57N80; 55M05

Two short proofs of the topological invariance of intersection homology

Authors: Greg Friedman

Abstract: We indicate two short proofs of the Goresky-MacPherson topological invariance of intersection homology. One proof is very short but requires the Goresky-MacPherson support and cosupport axioms; the other is slightly longer but does not require these axioms and so is adaptable to more general perversities. We indicate two short proofs of the Goresky-MacPherson topological invariance of intersection homology. One proof is very short but requires the Goresky-MacPherson support and cosupport axioms; the other is slightly longer but does not require these axioms and so is adaptable to more general perversities. △ Less

Submitted 3 June, 2019; v1 submitted 12 April, 2019; originally announced April 2019.

Comments: 6 pages. This version updates the first one to acknowledge previous work by Habegger and Saper and also adds a new even shorter proof of the main theorem

MSC Class: Primary: 55N33; 57N80; Secondary: 55N30

Intersection homology duality and pairings: singular, PL, and sheaf-theoretic

Authors: Greg Friedman, James E. McClure

Abstract: We compare the sheaf-theoretic and singular chain versions of Poincare duality for intersection homology, showing that they are isomorphic via naturally defined maps. Similarly, we demonstrate the existence of canonical isomorphisms between the singular intersection cohomology cup product, the hypercohomology product induced by the Goresky-MacPherson sheaf pairing, and, for PL pseudomanifolds, the… ▽ More We compare the sheaf-theoretic and singular chain versions of Poincare duality for intersection homology, showing that they are isomorphic via naturally defined maps. Similarly, we demonstrate the existence of canonical isomorphisms between the singular intersection cohomology cup product, the hypercohomology product induced by the Goresky-MacPherson sheaf pairing, and, for PL pseudomanifolds, the Goresky-MacPherson PL intersection product. We also show that the de Rham isomorphism of Brasselet, Hector, and Saralegi preserves product structures. △ Less

Submitted 22 July, 2020; v1 submitted 26 December, 2018; originally announced December 2018.

Comments: 69 pages; revised from previous version; to appear in Algebraic & Geometric Topology

MSC Class: 55N33; 55N45 (Primary); 55N30; 57Q99 (Secondary)

Journal ref: Algebr. Geom. Topol. 21 (2021) 3221-3301

Generalizations of intersection homology and perverse sheaves with duality over the integers

Authors: Greg Friedman

Abstract: We provide a generalization of the Deligne sheaf construction of intersection homology theory, and a corresponding generalization of Poincaré duality on pseudomanifolds, such that the Goresky-MacPherson, Goresky-Siegel, and Cappell-Shaneson duality theorems all arise as special cases. Unlike classical intersection homology theory, our duality theorem holds with ground coefficients in an arbitrary… ▽ More We provide a generalization of the Deligne sheaf construction of intersection homology theory, and a corresponding generalization of Poincaré duality on pseudomanifolds, such that the Goresky-MacPherson, Goresky-Siegel, and Cappell-Shaneson duality theorems all arise as special cases. Unlike classical intersection homology theory, our duality theorem holds with ground coefficients in an arbitrary PID and with no local cohomology conditions on the underlying space. Self-duality does require local conditions, but our perspective leads to a new class of spaces more general than the Goresky-Siegel IP spaces on which upper-middle perversity intersection homology is self dual. We also examine categories of perverse sheaves that contain our "torsion-sensitive" Deligne sheaves as intermediate extensions. △ Less

Submitted 17 June, 2019; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: Various updates and improvements over the preceding version. This should be the final version

MSC Class: 55N33; 55N30; 57N80; 55M05

The chain-level intersection pairing for PL pseudomanifolds revisited

Authors: Greg Friedman

Abstract: We generalize the PL intersection product for chains on PL manifolds and for intersection chains on PL stratified pseudomanifolds to products of locally finite chains on non-compact spaces that are natural with respect to restriction to open sets. This is necessary to sheafify the intersection product, an essential step in proving duality between the Goresky-MacPherson intersection homology produc… ▽ More We generalize the PL intersection product for chains on PL manifolds and for intersection chains on PL stratified pseudomanifolds to products of locally finite chains on non-compact spaces that are natural with respect to restriction to open sets. This is necessary to sheafify the intersection product, an essential step in proving duality between the Goresky-MacPherson intersection homology product and the intersection cohomology cup product pairing recently defined by the author and McClure. We also provide a correction to the Goresky-MacPherson proof of a version of Poincaré duality on pseudomanifolds that is used in the construction of the intersection product. △ Less

Submitted 3 January, 2018; v1 submitted 19 September, 2016; originally announced September 2016.

Comments: 47 pages; several updates including rewrite of introduction

MSC Class: 55N45; 55M05; 55N33 (Primary); 57N80; 57Q65 (Secondary)

Journal ref: Journal of Singularities 17 (2018), 330-367

Unitary equivalence of normal matrices over topological spaces

Authors: Greg Friedman, Efton Park

Abstract: Let A and B be normal matrices with coefficients that are continuous complex-valued functions on a topological space X that has the homotopy type of a CW complex, and suppose these matrices have the same distinct eigenvalues at each point of X. We use obstruction theory to establish a necessary and sufficient condition for A and B to be unitarily equivalent. We also determine bounds on the number… ▽ More Let A and B be normal matrices with coefficients that are continuous complex-valued functions on a topological space X that has the homotopy type of a CW complex, and suppose these matrices have the same distinct eigenvalues at each point of X. We use obstruction theory to establish a necessary and sufficient condition for A and B to be unitarily equivalent. We also determine bounds on the number of possible unitary equivalence classes in terms of cohomological invariants of X. △ Less

Submitted 15 June, 2015; v1 submitted 5 September, 2014; originally announced September 2014.

Comments: 35 pages; minor updates

MSC Class: Primary: 47B15; 55S35; Secondary: 55R40; 15A18

Journal ref: Journal of Topology and Analysis 8 (2016), 313-348

Stratified and unstratified bordism of pseudomanifolds

Authors: Greg Friedman

Abstract: We study bordism groups and bordism homology theories based on pseudomanifolds and stratified pseudomanifolds. The main seam of the paper demonstrates that when we uses classes of spaces determined by local link properties, the stratified and unstratified bordism theories are identical; this includes the known examples of pseudomanifold bordism theories, such as bordism of Witt spaces and IP space… ▽ More We study bordism groups and bordism homology theories based on pseudomanifolds and stratified pseudomanifolds. The main seam of the paper demonstrates that when we uses classes of spaces determined by local link properties, the stratified and unstratified bordism theories are identical; this includes the known examples of pseudomanifold bordism theories, such as bordism of Witt spaces and IP spaces. Along the way, we relate the stratified and unstratified points of view for describing various (stratified) pseudomanifold classes. △ Less

Submitted 4 August, 2015; v1 submitted 11 November, 2013; originally announced November 2013.

Comments: 53 pages, 6 figures; various edits and updates, including streamlining by focusing primarily on oriented bordism

MSC Class: 57N80 (Primary); 55N22; 55N33 (Secondary); 57Q20

Journal ref: Topology and Its Applications 194 (2015), 51-92

Corrigendum to "Intersection homology with field coefficients: K-Witt spaces and K-Witt bordism"

Authors: Greg Friedman

Abstract: This note corrects an error in the char(K)=2 case of the author's computation of the bordism groups of K-Witt spaces for the field K. This note corrects an error in the char(K)=2 case of the author's computation of the bordism groups of K-Witt spaces for the field K. △ Less

Submitted 22 August, 2012; originally announced August 2012.

Comments: This note contains the corrected statements for characteristic 2 of the main theorems of arXiv:0804.1933v2. Full details can be found in arXiv:1208.3683v1. To appear in Communications on Pure and Applied Mathematics

MSC Class: 55N33; 57Q20; 57N80

Journal ref: Comm. Pure Appl. Math. 65 (2012), no. 11, 1639-1640

K-Witt bordism in characteristic 2

Authors: Greg Friedman

Abstract: This note provides a computation of the bordism groups of K-Witt spaces for fields K with characteristic 2. We provide a complete computation for the unoriented bordism groups. For the oriented bordism groups, a nearly complete computation is provided as well a discussion of the difficulty of resolving a remaining ambiguity in dimensions equivalent to 2 mod 4. This corrects an error in the char(K)… ▽ More This note provides a computation of the bordism groups of K-Witt spaces for fields K with characteristic 2. We provide a complete computation for the unoriented bordism groups. For the oriented bordism groups, a nearly complete computation is provided as well a discussion of the difficulty of resolving a remaining ambiguity in dimensions equivalent to 2 mod 4. This corrects an error in the char(K)=2 case of the author's prior computation of the bordism groups of K-Witt spaces for an arbitrary field K. △ Less

Submitted 17 August, 2012; originally announced August 2012.

Comments: 7 pages; this paper provides detailed corrections to an error in "Intersection homology with field coefficients: $K$-Witt spaces and $K$-Witt bordism", arXiv:0804.1933v2

MSC Class: 55N33; 57Q20; 57N80

Journal ref: Arch. Math. (Basel) 100 (2013), no. 4, 381-387

Cup and cap products in intersection (co)homology

Authors: Greg Friedman, James McClure

Abstract: We construct cup and cap products in intersection (co)homology with field coefficients. The existence of the cap product allows us to give a new proof of Poincare duality in intersection (co)homology which is similar in spirit to the usual proof for ordinary (co)homology of manifolds. We construct cup and cap products in intersection (co)homology with field coefficients. The existence of the cap product allows us to give a new proof of Poincare duality in intersection (co)homology which is similar in spirit to the usual proof for ordinary (co)homology of manifolds. △ Less

Submitted 14 March, 2013; v1 submitted 23 June, 2011; originally announced June 2011.

Comments: 49 pages; some revisions; to appear in Advances in Mathematics

MSC Class: Primary: 55N33; 55N45; Secondary: 57N80; 55M05

Journal ref: Adv. Math. 240 (2013), 383-426

The symmetric signature of a Witt space

Authors: Greg Friedman, James McClure

Abstract: Witt spaces are pseudomanifolds for which the middle-perversity intersection homology with rational coefficients is self-dual. We give a new construction of the symmetric signature for Witt spaces which is similar in spirit to the construction given by Miscenko for manifolds. Our construction has all of the expected properties, including invariance under stratified homotopy equivalence. Witt spaces are pseudomanifolds for which the middle-perversity intersection homology with rational coefficients is self-dual. We give a new construction of the symmetric signature for Witt spaces which is similar in spirit to the construction given by Miscenko for manifolds. Our construction has all of the expected properties, including invariance under stratified homotopy equivalence. △ Less

Submitted 14 March, 2013; v1 submitted 23 June, 2011; originally announced June 2011.

Comments: 38 pages; some revisions

MSC Class: Primary: 55N33; 57R67; Secondary: 57N80; 19J25; 19G24

Journal ref: J. Topol. Anal. 5 (2013), no. 2, 121-159

Additivity and non-additivity for perverse signatures

Authors: Greg Friedman, Eugenie Hunsicker

Abstract: A well-known property of the signature of closed oriented 4n-dimensional manifolds is Novikov additivity, which states that if a manifold is split into two manifolds with boundary along an oriented smooth hypersurface, then the signature of the original manifold equals the sum of the signatures of the resulting manifolds with boundary. Wall showed that this property is not true of signatures on ma… ▽ More A well-known property of the signature of closed oriented 4n-dimensional manifolds is Novikov additivity, which states that if a manifold is split into two manifolds with boundary along an oriented smooth hypersurface, then the signature of the original manifold equals the sum of the signatures of the resulting manifolds with boundary. Wall showed that this property is not true of signatures on manifolds with boundary and that the difference from additivity could be described as a certain Maslov triple index. Perverse signatures are signatures defined for any stratified pseudomanifold, using the intersection homology groups of Goresky and MacPherson. In the case of Witt spaces, the middle perverse signature is the same as the Witt signature. This paper proves a generalization to perverse signatures of Wall's non-additivity theorem for signatures of manifolds with boundary. Under certain topological conditions on the dividing hypersurface,Novikov additivity for perverse signatures may be deduced as a corollary. In particular, Siegel's version of Novikov additivity for Witt signatures is a special case of this corollary. △ Less

Submitted 28 June, 2011; v1 submitted 19 November, 2009; originally announced November 2009.

Comments: 45 pages, 4 figures; new revisions; to appear in Journal für die reine und angewandte Mathematik (Crelle's Journal)

MSC Class: 55N33; 57R20 (Primary); 53D12; 15A63 (Secondary)

Journal ref: J. Reine Angew. Math. 676 (2013), 51-95

An elementary illustrated introduction to simplicial sets

Authors: Greg Friedman

Abstract: This is an expository introduction to simplicial sets and simplicial homotopy theory with particular focus on relating the combinatorial aspects of the theory to their geometric/topological origins. It is intended to be accessible to students familiar with just the fundamentals of algebraic topology. This is an expository introduction to simplicial sets and simplicial homotopy theory with particular focus on relating the combinatorial aspects of the theory to their geometric/topological origins. It is intended to be accessible to students familiar with just the fundamentals of algebraic topology. △ Less

Submitted 8 June, 2023; v1 submitted 24 September, 2008; originally announced September 2008.

Comments: Several minor errata corrected since published version. A list of changes is provided at the end of the document

MSC Class: 18G30; 55U10

Journal ref: Rocky Mountain J. Math. 42 (2012), no. 2, 353-423

Intersection homology Kunneth theorems

Authors: Greg Friedman

Abstract: Cohen, Goresky and Ji showed that there is a Kunneth theorem relating the intersection homology groups $I^{\bar p}H_*(X\times Y)$ to $I^{\bar p}H_*(X)$ and $I^{\bar p}H_*(Y)$, provided that the perversity $\bar p$ satisfies rather strict conditions. We consider biperversities and prove that there is a Künneth theorem relating $I^{\bar p,\bar q}H_*(X\times Y)$ to $I^{\bar p}H_*(X)$ and… ▽ More Cohen, Goresky and Ji showed that there is a Kunneth theorem relating the intersection homology groups $I^{\bar p}H_*(X\times Y)$ to $I^{\bar p}H_*(X)$ and $I^{\bar p}H_*(Y)$, provided that the perversity $\bar p$ satisfies rather strict conditions. We consider biperversities and prove that there is a Künneth theorem relating $I^{\bar p,\bar q}H_*(X\times Y)$ to $I^{\bar p}H_*(X)$ and $I^{\bar q}H_*(Y)$ for all choices of $\bar p$ and $\bar q$. Furthermore, we prove that the Kunneth theorem still holds when the biperversity $p,q$ is "loosened" a little, and using this we recover the Kunneth theorem of Cohen-Goresky-Ji. △ Less

Submitted 12 August, 2008; originally announced August 2008.

Comments: 26 pages

MSC Class: 55N33; 55U25; 57N80

Journal ref: Mathematische Annalen 343 (2009), 371-395

On the chain-level intersection pairing for PL pseudomanifolds

Authors: Greg Friedman

Abstract: James McClure recently showed that the domain for the intersection pairing of PL chains on a PL manifold $M$ is a subcomplex of $C_*(M)\otimes C_*(M)$ that is quasi-isomorphic to $C_*(M)\otimes C_*(M)$ and, more generally, that the intersection pairing endows $C_*(M)$ with the structure of a partially-defined commutative DGA. We generalize this theorem to intersection pairings of PL intersection… ▽ More James McClure recently showed that the domain for the intersection pairing of PL chains on a PL manifold $M$ is a subcomplex of $C_*(M)\otimes C_*(M)$ that is quasi-isomorphic to $C_*(M)\otimes C_*(M)$ and, more generally, that the intersection pairing endows $C_*(M)$ with the structure of a partially-defined commutative DGA. We generalize this theorem to intersection pairings of PL intersection chains on PL stratified pseudomanifolds and demonstrate the existence of a partial restricted commutative DGA structure. This structure is shown to generalize the iteration of the Goresky-MacPherson intersection product. As an application, we construct an explicit "roof" representation of the intersection homology pairing in the derived category of sheaves and verify that this sheaf theoretic pairing agrees with that arising from the geometric Goresky-MacPherson intersection pairing. △ Less

Submitted 12 August, 2008; originally announced August 2008.

Comments: 51 pages

MSC Class: 55N33; 55N45; 57Q65; 57N80

Journal ref: Homology, Homotopy and Applications 11 (2009), 261-314

Intersection homology with field coefficients: $K$-Witt spaces and $K$-Witt bordism

Authors: Greg Friedman

Abstract: We construct geometric examples of pseudomanifolds that satisfy the Witt condition for intersection homology Poincare duality with respect to certain fields but not others. We also compute the bordism theory of $K$-Witt spaces for an arbitrary field $K$, extending results of Siegel for $K=Q$. We construct geometric examples of pseudomanifolds that satisfy the Witt condition for intersection homology Poincare duality with respect to certain fields but not others. We also compute the bordism theory of $K$-Witt spaces for an arbitrary field $K$, extending results of Siegel for $K=Q$. △ Less

Submitted 16 April, 2008; v1 submitted 11 April, 2008; originally announced April 2008.

Comments: 26 pages; also available at http://faculty.tcu.edu/gfriedman/ - Corrected version (proof of Lemma 4.11 corrected)

MSC Class: 55N33; 57Q20; 57N80

Journal ref: Communications on Pure and Applied Mathematics 62 (2009), 1265-1292

Intersection homology and Poincaré duality on homotopically stratified spaces

Authors: Greg Friedman

Abstract: We show that intersection homology extends Poincare duality to manifold homotopically stratified spaces (satisfying mild restrictions). This includes showing that, on such spaces, the sheaf of singular intersection chains is quasi-isomorphic to the Deligne sheaf. We show that intersection homology extends Poincare duality to manifold homotopically stratified spaces (satisfying mild restrictions). This includes showing that, on such spaces, the sheaf of singular intersection chains is quasi-isomorphic to the Deligne sheaf. △ Less

Submitted 23 May, 2007; v1 submitted 4 February, 2007; originally announced February 2007.

Comments: Generalized duality results to hold over principal ideal domains assuming local Goresky-Siegel type torsion conditions. Also added a section on what properties are necessary for duality to hold over ground rings of higher homological dimension

MSC Class: 55N33; 57N80; 57P99

Journal ref: Geometry and Topology 13 (2009), 2163-2204

Intersection homology of stratified fibrations and neighborhoods

Authors: Greg Friedman

Abstract: We derive spectral sequences for the intersection homology of stratified fibrations and approximate tubular neighborhoods in manifold stratified spaces. These neighborhoods include regular neighborhoods in PL stratified spaces. We derive spectral sequences for the intersection homology of stratified fibrations and approximate tubular neighborhoods in manifold stratified spaces. These neighborhoods include regular neighborhoods in PL stratified spaces. △ Less

Submitted 3 January, 2007; originally announced January 2007.

Comments: 45 pages

MSC Class: 55N33; 55R20 (Secondary: 57N80; 55R65)

Journal ref: Advances in Mathematics 215 (2007), 24-65

Knot spinning

Authors: Greg Friedman

Abstract: This is an introduction to the construction of higher-dimensional knots by spinning methods. Simple spinning of classical knots was introduced by E. Artin in 1926, and several generalizations have followed. These include twist spinning, superspinning or p-spinning, frame spinning, roll spinning, and deform spinning. We survey these constructions and some of their most important applications, as… ▽ More This is an introduction to the construction of higher-dimensional knots by spinning methods. Simple spinning of classical knots was introduced by E. Artin in 1926, and several generalizations have followed. These include twist spinning, superspinning or p-spinning, frame spinning, roll spinning, and deform spinning. We survey these constructions and some of their most important applications, as well as some newer hybrids due to the author. The exposition, meant to be accessible to a broad audience, emphasizes a geometric approach to visualizing these constructions. △ Less

Submitted 29 November, 2004; v1 submitted 28 October, 2004; originally announced October 2004.

Comments: to appear in the forthcoming Handbook of Knot Theory; 24 pages, 13 figures; revised edition

MSC Class: 57Q45; 57M25

Journal ref: Handbook of Knot Theory, Elsevier Science (July 9, 2005)

Some non-trivial PL knots whose complements are homotopy circles

Authors: Greg Friedman

Abstract: We show that there exist non-trivial piecewise-linear (PL) knots with isolated singularities $S^{n-2}\subset S^n$, $n\geq 5$, whose complements have the homotopy type of a circle. This is in contrast to the case of smooth, PL locally-flat, and topological locally-flat knots, for which it is known that if the complement has the homotopy type of a circle, then the knot is trivial. We show that there exist non-trivial piecewise-linear (PL) knots with isolated singularities $S^{n-2}\subset S^n$, $n\geq 5$, whose complements have the homotopy type of a circle. This is in contrast to the case of smooth, PL locally-flat, and topological locally-flat knots, for which it is known that if the complement has the homotopy type of a circle, then the knot is trivial. △ Less

Submitted 7 July, 2005; v1 submitted 24 August, 2004; originally announced August 2004.

Comments: 4 pages. References added; content slightly modified

MSC Class: 57Q45 (Primary) 55P10 (Secondary)

Journal ref: Fundamenta Mathematicae 193 (2007), 1-6

Triangulations of 3-dimensional pseudomanifolds with an application to state-sum invariants

Authors: Markus Banagl, Greg Friedman

Abstract: We demonstrate the triangulability of compact 3-dimensional topological pseudomanifolds and study the properties of such triangulations, including the Hauptvermutung and relations by Alexander star moves and Pachner bistellar moves. We also provide an application to state-sum invariants of 3-dimensional topological pseudomanifolds We demonstrate the triangulability of compact 3-dimensional topological pseudomanifolds and study the properties of such triangulations, including the Hauptvermutung and relations by Alexander star moves and Pachner bistellar moves. We also provide an application to state-sum invariants of 3-dimensional topological pseudomanifolds △ Less

Submitted 11 August, 2004; originally announced August 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-24.abs.html

MSC Class: 57Q15; 57Q25; 57N80; 57M27

Journal ref: Algebr. Geom. Topol. 4 (2004) 521-542

Superperverse intersection cohomology: stratification (in)dependence

Authors: Greg Friedman

Abstract: Within its traditional range of perversity parameters, intersection cohomology is a topological invariant of pseudomanifolds. This is no longer true once one allows superperversities, in which case intersection cohomology may depend on the choice of the stratification by which it is defined. Topological invariance also does not hold if one allows stratifications with codimension one strata. None… ▽ More Within its traditional range of perversity parameters, intersection cohomology is a topological invariant of pseudomanifolds. This is no longer true once one allows superperversities, in which case intersection cohomology may depend on the choice of the stratification by which it is defined. Topological invariance also does not hold if one allows stratifications with codimension one strata. Nonetheless, both errant situations arise in important situations, the former in the Cappell-Shaneson superduality theorem and the latter in any discussion of pseudomanifold bordism. We show that while full invariance of intersection cohomology under restratification does not hold in this generality, it does hold up to restratifications that fix the the top stratum. △ Less

Submitted 16 July, 2004; originally announced July 2004.

Comments: 21 pages; see all http://www.math.yale.edu/~friedman/superp-strat.pdf

MSC Class: 55N33 (Primary); 57N80; 32S60 (Secondary)

Journal ref: Mathematische Zeitschrift 252 (2006), 49 - 70

Singular chain intersection homology for traditional and super-perversities

Authors: Greg Friedman

Abstract: We introduce a singular chain intersection homology theory which generalizes that of King and which agrees with the Deligne sheaf intersection homology of Goresky and MacPherson on any topological stratified pseudomanifold, compact or not, with constant or local coefficients, and with traditional perversities or superperversities (those satisfying p(2)>0). For the case p(2)=1, these latter perve… ▽ More We introduce a singular chain intersection homology theory which generalizes that of King and which agrees with the Deligne sheaf intersection homology of Goresky and MacPherson on any topological stratified pseudomanifold, compact or not, with constant or local coefficients, and with traditional perversities or superperversities (those satisfying p(2)>0). For the case p(2)=1, these latter perversitie were introduced by Cappell and Shaneson and play a key role in their superduality theorem for embeddings. We further describe the sheafification of this singular chain complex and its adaptability to broader classes of stratified spaces. △ Less

Submitted 16 July, 2004; originally announced July 2004.

Comments: 46 pages; see also http://www.math.yale.edu/~friedman/superp3a.pdf

MSC Class: 55N33 (Primary); 32S60; 57N80 (Secondary)

Journal ref: Transactions of the American Mathematical Society 359 (2007), 1977-2019

Groups of locally-flat disk knots and non-locally-flat sphere knots

Authors: Greg Friedman

Abstract: The classical knot groups are the fundamental groups of the complements of smooth or piecewise-linear (PL) locally-flat knots. For PL knots that are not locally-flat, there is a pair of interesting groups to study: the fundamental group of the knot complement and that of the complement of the ``boundary knot'' that occurs around the singular set, the set of points at which the embedding is not l… ▽ More The classical knot groups are the fundamental groups of the complements of smooth or piecewise-linear (PL) locally-flat knots. For PL knots that are not locally-flat, there is a pair of interesting groups to study: the fundamental group of the knot complement and that of the complement of the ``boundary knot'' that occurs around the singular set, the set of points at which the embedding is not locally-flat. If a knot has only point singularities, this is equivalent to studying the groups of a PL locally-flat disk knot and its boundary sphere knot; in this case, we obtain a complete classification of all such group pairs in dimension $\geq 6$. For more general knots, we also obtain complete classifications of these group pairs under certain restrictions on the singularities. Finally, we use spinning constructions to realize further examples of boundary knot groups. △ Less

Submitted 6 April, 2004; originally announced April 2004.

Comments: to appear in the Journal of Knot Theory and Its Ramifications; see also http://math.yale.edu/~friedman

MSC Class: 57Q45; 57N80

Journal ref: J. Knot Theory Ramifications 14 (2005), no. 2, 189--215

Cobordism of disk knots

Authors: Greg Friedman

Abstract: We study cobordisms and cobordisms rel boundary of PL locally-flat disk knots $D^{n-2}\into D^n$. Cobordisms of disk knots that do not fix the boundary sphere knots are easily classified by the cobordism properties of these boundaries, and any two even-dimensional disk knots with isotopic boundary knots are cobordant rel boundary. However, the cobordism rel boundary theory of odd-dimensional dis… ▽ More We study cobordisms and cobordisms rel boundary of PL locally-flat disk knots $D^{n-2}\into D^n$. Cobordisms of disk knots that do not fix the boundary sphere knots are easily classified by the cobordism properties of these boundaries, and any two even-dimensional disk knots with isotopic boundary knots are cobordant rel boundary. However, the cobordism rel boundary theory of odd-dimensional disk knots is more subtle. Generalizing results of Levine on cobordism of sphere knots, we define disk knot Seifert matrices and show that two higher-dimensional disk knots with isotopic boundaries are cobordant rel boundary if and only if their disk knot Seifert matrices are algebraically cobordant. We also find necessary and sufficient conditions to realize a Seifert matrix cobordism class among the disk knots corresponding to a fixed boundary knot, assuming the boundary knot has no middle-dimensional 2-torsion. This classification is performed by relating the Seifert matrix of a disk knot to its Blanchfield pairing and by establishing a close connection between this Blanchfield pairing and the Farber-Levine torsion pairing of the boundary knot (in fact, for disk knots satisfying certain connectivity assumptions, the disk knot Blanchfield pairing will determine the boundary Farber-Levine pairing). △ Less

Submitted 14 January, 2004; originally announced January 2004.

Comments: 51 pages

MSC Class: Primary 57Q45; Secondary 57Q60; 11E39; 11E81

Journal ref: Israel Journal of Mathematics 163 (2008), 139-188

All frame-spun knots are slice

Authors: Greg Friedman

Abstract: Frame-spun knots are constructed by spinning a knot of lower dimension about a framed submanifold of S^n. We show that all frame-spun knots are slice (null-cobordant). Frame-spun knots are constructed by spinning a knot of lower dimension about a framed submanifold of S^n. We show that all frame-spun knots are slice (null-cobordant). △ Less

Submitted 15 December, 2003; originally announced December 2003.

Comments: 8 pages; to appear in Proc. Amer. Math. Soc.; see also http://www.math.yale.edu/~friedman

MSC Class: 57Q45

Journal ref: Proc. Amer. Math. Soc. 132 (2004), no. 10, 3103--3109

Alexander polynomials of non-locally-flat knots

Authors: Greg Friedman

Abstract: We generalize the classical study of Alexander polynomials of smooth or PL locally-flat knots to PL knots that are not necessarily locally-flat. We introduce three families of generalized Alexander polynomials and study their properties. For knots with point singularities, we obtain a classification of these polynomials that is complete except for one special low-dimensional case. This classific… ▽ More We generalize the classical study of Alexander polynomials of smooth or PL locally-flat knots to PL knots that are not necessarily locally-flat. We introduce three families of generalized Alexander polynomials and study their properties. For knots with point singularities, we obtain a classification of these polynomials that is complete except for one special low-dimensional case. This classification extends existing classifications for PL locally-flat knots. For knots with higher-dimensional singularities, we further extend the necessary conditions on the invariants. We also construct several varieties of singular knots to demonstrate realizability of certain families of polynomials as generalized Alexander polynomials. These constructions, of independent interest, generalize known knot constructions such as frame spinning and twist spinning. △ Less

Submitted 24 July, 2003; originally announced July 2003.

Comments: To appear in the Indiana University Mathematics Journal; see also http://www.math.yale.edu/~friedman/

MSC Class: 57Q45 (Primary); 57Q35; 57N80 (Secondary)

Journal ref: Indiana Univ. Math. J. 52 (2003), no. 6, 1479--1578

Stratified fibrations and the intersection homology of the regular neighborhoods of bottom strata

Authors: Greg Friedman

Abstract: In this paper, we develop Leray-Serre-type spectral sequences to compute the intersection homology of the regular neighborhood and deleted regular neighborhood of the bottom stratum of a stratified PL-pseudomanifold. The E^2 terms of the spectral sequences are given by the homology of the bottom stratum with a local coefficient system whose stalks consist of the intersection homology modules of… ▽ More In this paper, we develop Leray-Serre-type spectral sequences to compute the intersection homology of the regular neighborhood and deleted regular neighborhood of the bottom stratum of a stratified PL-pseudomanifold. The E^2 terms of the spectral sequences are given by the homology of the bottom stratum with a local coefficient system whose stalks consist of the intersection homology modules of the link of this stratum (or the cone on this link). In the course of this program, we establish the properties of stratified fibrations over unfiltered base spaces and of their mapping cylinders. We also prove a folk theorem concerning the stratum-preserving homotopy invariance of intersection homology. △ Less

Submitted 17 July, 2003; originally announced July 2003.

Comments: To appear in Topology and Its Applications; see also http://www.math.yale.edu/~friedman/

MSC Class: 55N33; 55R20 (Primary); 57N80; 55T10 (Secondary)

Journal ref: Topology Appl. 134 (2003), no. 2, 69--109

Intersection Alexander polynomials

Authors: Greg Friedman

Abstract: By considering a (not necessarily locally-flat) PL knot as the singular locus of a PL stratified pseudomanifold, we can use intersection homology theory to define intersection Alexander polynomials, a generalization of the classical Alexander polynomial invariants for smooth or PL locally-flat knots. We show that the intersection Alexander polynomials satisfy certain duality and normalization co… ▽ More By considering a (not necessarily locally-flat) PL knot as the singular locus of a PL stratified pseudomanifold, we can use intersection homology theory to define intersection Alexander polynomials, a generalization of the classical Alexander polynomial invariants for smooth or PL locally-flat knots. We show that the intersection Alexander polynomials satisfy certain duality and normalization conditions analogous to those of ordinary Alexander polynomials, and we explore the relationships between the intersection Alexander polynomials and certain generalizations of the classical Alexander polynomials that are defined for non-locally-flat knots. We also investigate the relations between the intersection Alexander polynomials of a knot and the intersection and classical Alexander polynomials of the link knots around the singular strata. To facilitate some of these investigations, we introduce spectral sequences for the computation of the intersection homology of certain stratified bundles. △ Less

Submitted 10 July, 2003; originally announced July 2003.

Comments: To appear in Topology; see also http://math.yale.edu/~friedman

MSC Class: 57Q45; 55N33 (Primary); 57N80; 55T10 (Secondary)

Journal ref: Topology 43 (2004), no. 1, 71--117