Can the the monodromy matrix of the action of a pseudo-Anosov homeomorphism of a surface on it's homology be of the form of a reducible or block matrix? Any such reference can be helpful. Thanks.
-
$\begingroup$ "some space" is a bit unprecise... $\endgroup$– YCorCommented Jun 8, 2017 at 10:43
-
$\begingroup$ Sorry. I meant "can it be possible"? Apologies again. $\endgroup$– hakunamatataCommented Jun 8, 2017 at 18:28
-
$\begingroup$ I was asking about the meaning of space: vector space, topological space, etc, especially because "surface" appears in the title and not in the question. $\endgroup$– YCorCommented Jun 8, 2017 at 21:18
-
$\begingroup$ Yes, I meant surfaces. Sorry for the lame writing. $\endgroup$– hakunamatataCommented Jun 9, 2017 at 6:53
-
$\begingroup$ The question needs rewriting to make much sense. Let's assume the previous suggested correction: "surface" instead of "space". A surface does not have a "pseudo-Anosov monodromy matrix", but perhaps a homeomorphism of a surface does; should your question be "can the monodromy matrix of a pseudo-Anosov homemorphism of some surface be..."? If so, then what do you mean by "the monodromy matrix of a homeomorphism of a surface"? Do you mean the monodromy matrix of the action of that homeomorphism on the homology of the surface (as assumed in the answer of @IgorRivin)? $\endgroup$– Lee MosherCommented Jul 8, 2017 at 13:51
1 Answer
Every symplectic matrix arises as the monodromy of a pseudo-Anosov homeomorphism. The canonical reference is Farb-Margalit:
Farb, Benson; Margalit, Dan, A primer on mapping class groups, Princeton Mathematical Series. Princeton, NJ: Princeton University Press (ISBN 978-0-691-14794-9/hbk; 978-1-400-83904-9/ebook). xiv, 492 p. (2011). ZBL1245.57002.
Where you can find the facts that there exists pseudo-Anosovs in the Torelli group (trivial monodromy), and the map from the mapping class group to the Symplectic group is surjective. Taking some element with your favorite matrix, and multiplying it by a high power of a Torelli pseudo-anosov will give you what you want.
-
$\begingroup$ "The canonical reference is Farb-Margalit" :) $\endgroup$– CuspCommented Jun 8, 2017 at 14:03
-
$\begingroup$ Thanks. I had read it previously, but was not sure overall. It is indeed a great book. Thanks again. $\endgroup$ Commented Jun 8, 2017 at 18:29