<p>In this series of two articles, we prove that every action of a finite group <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1362_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation> on a finite and contractible 2-complex has a fixed point. The proof goes by constructing a nontrivial representation of the fundamental group of each of the acyclic 2-dimensional <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1362_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation>-complexes constructed by Oliver and Segev. In the first part we develop the necessary theory and cover the cases where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1362_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> <mo>=</mo> <msub> <mi mathvariant="normal">PSL</mi> <mn>2</mn> </msub> <mo stretchy="false">(</mo> <msup> <mn>2</mn> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$G=\mathrm{PSL}_{2}(2^{n})$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1362_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> <mo>=</mo> <msub> <mi mathvariant="normal">PSL</mi> <mn>2</mn> </msub> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$G=\mathrm{PSL}_{2}(q)$</EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1362_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>q</mi> <mo>≡</mo> <mn>3</mn> <mo stretchy="false">(</mo> <mo>mod</mo> <mn>8</mn> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$q\equiv 3\pmod{8}$</EquationSource> </InlineEquation> or <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1362_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> <mo>=</mo> <mi mathvariant="normal">Sz</mi> <mo stretchy="false">(</mo> <msup> <mn>2</mn> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$G=\mathrm{Sz}(2^{n})$</EquationSource> </InlineEquation>. The cases <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1362_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> <mo>=</mo> <msub> <mi mathvariant="normal">PSL</mi> <mn>2</mn> </msub> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$G=\mathrm{PSL}_{2}(q)$</EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1362_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>q</mi> <mo>≡</mo> <mn>5</mn> <mo stretchy="false">(</mo> <mo>mod</mo> <mn>8</mn> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$q\equiv 5\pmod{8}$</EquationSource> </InlineEquation> are addressed in the second part.</p>

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

Group actions on contractible 2-complexes I

  • Iván Sadofschi Costa

摘要

In this series of two articles, we prove that every action of a finite group G $G$ on a finite and contractible 2-complex has a fixed point. The proof goes by constructing a nontrivial representation of the fundamental group of each of the acyclic 2-dimensional G $G$ -complexes constructed by Oliver and Segev. In the first part we develop the necessary theory and cover the cases where G = PSL 2 ( 2 n ) $G=\mathrm{PSL}_{2}(2^{n})$ , G = PSL 2 ( q ) $G=\mathrm{PSL}_{2}(q)$ with q 3 ( mod 8 ) $q\equiv 3\pmod{8}$ or G = Sz ( 2 n ) $G=\mathrm{Sz}(2^{n})$ . The cases G = PSL 2 ( q ) $G=\mathrm{PSL}_{2}(q)$ with q 5 ( mod 8 ) $q\equiv 5\pmod{8}$ are addressed in the second part.