<p>Let <i>X</i> be an algebraic surface with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3213_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}\)</EquationSource> </InlineEquation> an ample line bundle on <i>X</i>. Let <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3213_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma (X, \mathcal {L})\)</EquationSource> </InlineEquation> be the <i>geometric monodromy</i> group associated to a family of nonsingular curves in <i>X</i>, that are zero loci of sections of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3213_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}\)</EquationSource> </InlineEquation>. We provide obstructions to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3213_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma (X, \mathcal {L})\)</EquationSource> </InlineEquation> being finite index in the mapping class group. We also show that for any <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3213_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k \ge 0\)</EquationSource> </InlineEquation>, the image of monodromy is finite index in appropriate subgroups of the quotient of the mapping class group by the <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3213_Article_IEq11.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(k^{th}\)</EquationSource> </InlineEquation> term of the Johnson filtration, assuming that <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3213_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}\)</EquationSource> </InlineEquation> is sufficiently ample. This enables us to construct several subgroups of the mapping class group with unusual properties, in some cases providing the first examples of subgroups with those properties.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A \(\pi _1\) obstruction to having finite index monodromy and an unusual subgroup of infinite index in \(\text {Mod}(\Sigma _g)\)

  • Ishan Banerjee

摘要

Let X be an algebraic surface with \(\mathcal {L}\) an ample line bundle on X. Let \(\Gamma (X, \mathcal {L})\) be the geometric monodromy group associated to a family of nonsingular curves in X, that are zero loci of sections of \(\mathcal {L}\) . We provide obstructions to \(\Gamma (X, \mathcal {L})\) being finite index in the mapping class group. We also show that for any \(k \ge 0\) , the image of monodromy is finite index in appropriate subgroups of the quotient of the mapping class group by the \(k^{th}\) term of the Johnson filtration, assuming that \(\mathcal {L}\) is sufficiently ample. This enables us to construct several subgroups of the mapping class group with unusual properties, in some cases providing the first examples of subgroups with those properties.