map(CpMackeyFunctor,CpMackeyFunctor,Matrix,Matrix) -- constructs a map between two Mackey functors

Function: map
Usage:

map(N,M,U,F)
Inputs:
- N, a C_p Mackey Functor,
- M, a C_p Mackey Functor,
- U, a matrix,
- F, a matrix,
Optional inputs:
- Degree => ..., default value null
- DegreeLift => ..., default value null
- DegreeMap => ..., default value null
Outputs:
- a Mackey Functor homomorphism, the morphism of Mackey functors which is F at the fixed point level and U at the underlying level.

Description

A morphisms of $C_p$-Mackey functors consists of a group homomorphism on the fixed and underlying levels which commutes with the transfer, restriction, and conjugation morphisms. If assertLevel is greater than 0, this method will check if the input data yields a well-defined homomorphism (and will throw an error if not).

i1 : map(makeComplexRepresentationMackeyFunctor 3, makeBurnsideMackeyFunctor 3, matrix {{1}}, matrix {{1,1},{0,1},{0,1}})

o1 =         fix : | 1 1 |
                   | 0 1 |
                   | 0 1 |
       3  <-----------------   2
     ZZ                      ZZ
     ^ |                     ^ | 
     | |                     | | 
     | v                     | v 
       1  <-----------------   1
     ZZ      und : | 1 |     ZZ
     ^ |                     ^ | 
     └-┘                     └-┘ 

o1 : MackeyFunctorHomomorphism

Ways to use this method:

map(CpMackeyFunctor,CpMackeyFunctor,Matrix,Matrix) -- constructs a map between two Mackey functors

The source of this document is in CpMackeyFunctors/Documentation/HomomorphismsDoc.m2:116:0.

map(CpMackeyFunctor,CpMackeyFunctor,Matrix,Matrix) -- constructs a map between two Mackey functors

Description

See also

Ways to use this method: