<p>Let <i>A</i> be an abelian group, not necessarily finite. The main objective of this paper is to provide two constructions for an <i>A</i>-fibered biset functor. The first is the lower plus construction, and the other is the upper plus construction. These constructions coincide with the lower plus and upper plus constructions for biset functors (see [<CitationRef CitationID="CR2">2</CitationRef>]) when the fiber is the trivial group <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lbrace \cdot \rbrace \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mo>·</mo> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. To generate these constructions, it is necessary to have a family <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> of finite groups and a function <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {S}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">S</mi> </math></EquationSource> </InlineEquation> such that, for all <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(G, H \in \mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>,</mo> <mi>H</mi> <mo>∈</mo> <mi mathvariant="script">G</mi> </mrow> </math></EquationSource> </InlineEquation>, we relate them to a subset <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {S}(G, H)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">S</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <Equation ID="Equ6"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_Equ6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="479" /> </MediaObject> <EquationSource Format="TEX">\(\mathcal {M}^A (G, H)= \mathcal {M}(G,H):=\lbrace (L,\varphi ) \mid L\le G\times H, \ \varphi \in \operatorname {Hom}(L,A)\rbrace \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mi>A</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi mathvariant="script">M</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mrow> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> <mo>∣</mo> <mi>L</mi> <mo>≤</mo> <mi>G</mi> <mo>×</mo> <mi>H</mi> <mo>,</mo> <mspace width="4pt" /> <mi>φ</mi> <mo>∈</mo> <mo>Hom</mo> <mrow> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </Equation>The pair <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {(G,S)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo>,</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> satisfies certain axioms outlined in Definition &#xa0;<InternalRef RefID="FPar4">3.1</InternalRef>. These axioms are essential for enabling the pair <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {(G, S)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo>,</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to generate the subcategory <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> of the category of <i>A</i>-fibered bisets, denoted as <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}^A.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mi>A</mi> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation>. In Sect.&#xa0;<InternalRef RefID="Sec2">2</InternalRef>, we recall and extend the basic definitions and results for fibered bisets and fibered biset functors. In Sect. &#xa0;<InternalRef RefID="Sec3">3</InternalRef>, the upper and lower constructions are defined. For this purpose, the pair <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {(G, S)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo>,</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is associated with <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {(G, S_+ )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo>,</mo> <msub> <mi mathvariant="script">S</mi> <mo>+</mo> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {(G, S^+ )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo>,</mo> <msup> <mi mathvariant="script">S</mi> <mo>+</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, with which we can construct the subcategories <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}^A\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mi>A</mi> </msup> </math></EquationSource> </InlineEquation>. In Sects.&#xa0;<InternalRef RefID="Sec4">4</InternalRef> and&#xa0;<InternalRef RefID="Sec7">5</InternalRef>, the constructions <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq16.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(F^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>F</mi> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation> are described for an <i>A</i>-fibered biset functor <i>F</i> over <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation>, which are fibered biset functors over <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq19.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D_+}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq20.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D^+}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="script">D</mi> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation> respectively. In Sect.&#xa0;<InternalRef RefID="Sec9">6</InternalRef>, the mark morphism <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq21.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_+ \longrightarrow F^+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>F</mi> <mo>+</mo> </msub> <mo stretchy="false">⟶</mo> <msup> <mi>F</mi> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> is defined, which is a natural transformation. Necessary conditions on the ring <i>R</i> are also provided for the mark morphism to be injective or even bijective. In Sect.&#xa0;<InternalRef RefID="Sec10">7</InternalRef> the additional condition that <i>F</i> has a multiplicative structure is added, more precisely, that <i>F</i> is a fibered Green functor over <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation>. Then it can be shown that <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq16.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(F^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>F</mi> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation> inherit the structure of fibered Green functors over <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq19.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D_+}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq26.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D^+ }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="script">D</mi> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation>, respectively, and the mark morphism is multiplicative. In Sect.&#xa0;<InternalRef RefID="Sec11">8</InternalRef>, the ring of characters is defined as a fibered biset functor, and its construction <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq27.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(-_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mo>-</mo> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation>, which is the global functor of fibered representations, is calculated. Finally, in Sect.&#xa0;<InternalRef RefID="Sec15">9</InternalRef>, it is proved that the functor related to the lower construction, denoted by <InlineEquation ID="IEq28"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_738_Article_IEq27.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(-_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mo>-</mo> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation>, is the left adjoint for a restriction functor.</p>

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

The lower plus and upper plus constructions for fibered biset functors

  • J. Miguel Calderón

摘要

Let A be an abelian group, not necessarily finite. The main objective of this paper is to provide two constructions for an A-fibered biset functor. The first is the lower plus construction, and the other is the upper plus construction. These constructions coincide with the lower plus and upper plus constructions for biset functors (see [2]) when the fiber is the trivial group \(\lbrace \cdot \rbrace \) { · } . To generate these constructions, it is necessary to have a family \(\mathcal {G}\) G of finite groups and a function \(\mathcal {S}\) S such that, for all \(G, H \in \mathcal {G}\) G , H G , we relate them to a subset \(\mathcal {S}(G, H)\) S ( G , H ) of \(\mathcal {M}^A (G, H)= \mathcal {M}(G,H):=\lbrace (L,\varphi ) \mid L\le G\times H, \ \varphi \in \operatorname {Hom}(L,A)\rbrace \) M A ( G , H ) = M ( G , H ) : = { ( L , φ ) L G × H , φ Hom ( L , A ) } The pair \(\mathcal {(G,S)}\) ( G , S ) satisfies certain axioms outlined in Definition  3.1. These axioms are essential for enabling the pair \(\mathcal {(G, S)}\) ( G , S ) to generate the subcategory \(\mathcal {D}\) D of the category of A-fibered bisets, denoted as \(\mathcal {C}^A.\) C A . . In Sect. 2, we recall and extend the basic definitions and results for fibered bisets and fibered biset functors. In Sect.  3, the upper and lower constructions are defined. For this purpose, the pair \(\mathcal {(G, S)}\) ( G , S ) is associated with \(\mathcal {(G, S_+ )}\) ( G , S + ) and \(\mathcal {(G, S^+ )}\) ( G , S + ) , with which we can construct the subcategories \(\mathcal {D}_+\) D + and \(\mathcal {D}^+\) D + of \(\mathcal {C}^A\) C A . In Sects. 4 and 5, the constructions \(F_+\) F + and \(F^+\) F + are described for an A-fibered biset functor F over \(\mathcal {D}\) D , which are fibered biset functors over \(\mathcal {D_+}\) D + and \(\mathcal {D^+}\) D + respectively. In Sect. 6, the mark morphism \(F_+ \longrightarrow F^+\) F + F + is defined, which is a natural transformation. Necessary conditions on the ring R are also provided for the mark morphism to be injective or even bijective. In Sect. 7 the additional condition that F has a multiplicative structure is added, more precisely, that F is a fibered Green functor over \(\mathcal {D}\) D . Then it can be shown that \(F_+\) F + and \(F^+\) F + inherit the structure of fibered Green functors over \(\mathcal {D_+}\) D + and \(\mathcal {D^+ }\) D + , respectively, and the mark morphism is multiplicative. In Sect. 8, the ring of characters is defined as a fibered biset functor, and its construction \(-_+\) - + , which is the global functor of fibered representations, is calculated. Finally, in Sect. 9, it is proved that the functor related to the lower construction, denoted by \(-_+\) - + , is the left adjoint for a restriction functor.