Skip to main content
formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Dualizing module for $Aut$\operatorname{Aut}(F_n)$

In The complex of free factors of a free group https://pi.math.cornell.edu/~hatcher/Papers/FCn.(pdf at Hatcher's page), Hatcher and Vogtmann defined a simplicial complex $FC_n$ called the ``complex of free factors'' of the free group $F_n$. They proved that $FC_n$ is homotopy equivalent to a wedge of $(n-2)$-spheres. They call the top reduced homology group of this complex the Steinberg module of $Aut(F_n)$$\operatorname{Aut}(F_n)$ and ask if it is a rational dualizing module for $Aut(F_n)$$\operatorname{Aut}(F_n)$. That is, they ask if: $$H^i(Aut(F_n);\mathbb Q) \cong H_{2n-2-i}(Aut(F_n);\tilde H_{n-2}(FC_n;\mathbb Q)).$$$$H^i(\operatorname{Aut}(F_n);\mathbb Q) \cong H_{2n-2-i}(\operatorname{Aut}(F_n);\tilde H_{n-2}(FC_n;\mathbb Q)).$$ Has there been any progress on this question?

Dualizing module for $Aut(F_n)$

In https://pi.math.cornell.edu/~hatcher/Papers/FCn.pdf, Hatcher and Vogtmann defined a simplicial complex $FC_n$ called the ``complex of free factors'' of the free group $F_n$. They proved that $FC_n$ is homotopy equivalent to a wedge of $(n-2)$-spheres. They call the top reduced homology group of this complex the Steinberg module of $Aut(F_n)$ and ask if it is a rational dualizing module for $Aut(F_n)$. That is, they ask if: $$H^i(Aut(F_n);\mathbb Q) \cong H_{2n-2-i}(Aut(F_n);\tilde H_{n-2}(FC_n;\mathbb Q)).$$ Has there been any progress on this question?

Dualizing module for $\operatorname{Aut}(F_n)$

In The complex of free factors of a free group (pdf at Hatcher's page), Hatcher and Vogtmann defined a simplicial complex $FC_n$ called the ``complex of free factors'' of the free group $F_n$. They proved that $FC_n$ is homotopy equivalent to a wedge of $(n-2)$-spheres. They call the top reduced homology group of this complex the Steinberg module of $\operatorname{Aut}(F_n)$ and ask if it is a rational dualizing module for $\operatorname{Aut}(F_n)$. That is, they ask if: $$H^i(\operatorname{Aut}(F_n);\mathbb Q) \cong H_{2n-2-i}(\operatorname{Aut}(F_n);\tilde H_{n-2}(FC_n;\mathbb Q)).$$ Has there been any progress on this question?

Source Link
qqqqqqw
  • 965
  • 4
  • 8

Dualizing module for $Aut(F_n)$

In https://pi.math.cornell.edu/~hatcher/Papers/FCn.pdf, Hatcher and Vogtmann defined a simplicial complex $FC_n$ called the ``complex of free factors'' of the free group $F_n$. They proved that $FC_n$ is homotopy equivalent to a wedge of $(n-2)$-spheres. They call the top reduced homology group of this complex the Steinberg module of $Aut(F_n)$ and ask if it is a rational dualizing module for $Aut(F_n)$. That is, they ask if: $$H^i(Aut(F_n);\mathbb Q) \cong H_{2n-2-i}(Aut(F_n);\tilde H_{n-2}(FC_n;\mathbb Q)).$$ Has there been any progress on this question?