Skip to main content
added 2 characters in body
Source Link
MHenry
  • 139
  • 4

Suppose that $Z$ is a finite wedge of spheres containing circles and there exist maps $f:Y\to Z$ and $g:Z\to Y$ so that $g\circ f\simeq 1_Y$. Assume that there exists a map $h:X\to Y$ which induces an isomorphism on fundamental groups, where $X$ is a finite wedge of circles.

Is $\pi_2 (M_{h},X)$ a projective (or a free) $\mathbb{Z}\pi_1 (X)$-module?

Here $M_h =\frac{X\times I\sqcup Y}{(x,1)\sim h(x)}$ denotes the mapping cylinder of $h$.

Suppose that $Z$ is a finite wedge of spheres containing circles and there exist maps $f:Y\to Z$ and $g:Z\to Y$ so that $g\circ f\simeq 1_Y$. Assume that there exists a map $h:X\to Y$ which induces an isomorphism on fundamental groups, where $X$ is a finite wedge of circles.

Is $\pi_2 (M_{h},X)$ a projective (or free) $\mathbb{Z}\pi_1 (X)$-module?

Here $M_h =\frac{X\times I\sqcup Y}{(x,1)\sim h(x)}$ denotes the mapping cylinder of $h$.

Suppose that $Z$ is a finite wedge of spheres containing circles and there exist maps $f:Y\to Z$ and $g:Z\to Y$ so that $g\circ f\simeq 1_Y$. Assume that there exists a map $h:X\to Y$ which induces an isomorphism on fundamental groups, where $X$ is a finite wedge of circles.

Is $\pi_2 (M_{h},X)$ a projective (or a free) $\mathbb{Z}\pi_1 (X)$-module?

Here $M_h =\frac{X\times I\sqcup Y}{(x,1)\sim h(x)}$ denotes the mapping cylinder of $h$.

edited tags
Link
MHenry
  • 139
  • 4
deleted 6 characters in body; edited title
Source Link
MHenry
  • 139
  • 4

A projective (or free) $\mathbb{Z}\pi_1$-module

Suppose that $Z$ is a finite wedge of spheres containing circles and there exist maps $f:Y\to Z$ and $g:Z\to Y$ so that $g\circ f\simeq 1_Y$. Assume that there exists a map $h:X\to Y$ which induces an isomorphism on fundamental groups, where $X$ is a finite wedge of circles.

Is $\pi_2 (M_{h},X)$ a projective (or free) $\mathbb{Z}\pi_1 (X)$-module?

Here $M_h =\frac{X\times I\sqcup Y}{(x,1)\sim h(x)}$ denotes the mapping cylinder of $h$.

A projective $\mathbb{Z}\pi_1$-module

Suppose that $Z$ is a finite wedge of spheres containing circles and there exist maps $f:Y\to Z$ and $g:Z\to Y$ so that $g\circ f\simeq 1_Y$. Assume that there exists a map $h:X\to Y$ which induces an isomorphism on fundamental groups, where $X$ is a finite wedge of circles.

Is $\pi_2 (M_{h},X)$ a projective $\mathbb{Z}\pi_1 (X)$-module?

Here $M_h =\frac{X\times I\sqcup Y}{(x,1)\sim h(x)}$ denotes the mapping cylinder of $h$.

A projective (or free) $\mathbb{Z}\pi_1$-module

Suppose that $Z$ is a finite wedge of spheres containing circles and there exist maps $f:Y\to Z$ and $g:Z\to Y$ so that $g\circ f\simeq 1_Y$. Assume that there exists a map $h:X\to Y$ which induces an isomorphism on fundamental groups, where $X$ is a finite wedge of circles.

Is $\pi_2 (M_{h},X)$ a projective (or free) $\mathbb{Z}\pi_1 (X)$-module?

Here $M_h =\frac{X\times I\sqcup Y}{(x,1)\sim h(x)}$ denotes the mapping cylinder of $h$.

deleted 4 characters in body
Source Link
MHenry
  • 139
  • 4
Loading
edited tags
Link
MHenry
  • 139
  • 4
Loading
added 5 characters in body
Source Link
MHenry
  • 139
  • 4
Loading
deleted 6 characters in body
Source Link
MHenry
  • 139
  • 4
Loading
added 42 characters in body
Source Link
MHenry
  • 139
  • 4
Loading
Source Link
MHenry
  • 139
  • 4
Loading