Closed sanni85 closed 5 years ago
The first two points are fixed by pull request #1995 for representations of dimension 1 only (because for higher dimension, the determinant link should be to the Galois character, not the Dirichlet character, and I do not know how to do that)
What do you mean by the Galois character. Do you mean the corresponding 1-dimensional Artin representation?
@jwj61 : Yes, exactly.
As far as I can see, the current status is as follows: a higher-dimensional Artin representation now has a link to its determinant as a 1-dimensional Artin representation. Between 1-dimensional Artin representations, Dirichlet characters and L-functions, the following links exist:
The following links still seem to be missing (points 3 and 4 from the first comment on this page):
For example, a link to http://localhost:37777/ArtinRepresentation/1.7.3t1.1c1 should be added on both http://localhost:37777/Character/Dirichlet/7/2 and http://localhost:37777/L/Character/Dirichlet/7/2/.
Also, there's a link from the Artin representation to the number field in the friends but not vice versa, e.g. http://beta.lmfdb.org/ArtinRepresentation/3.229.4t5.1c1 has a friend link to http://beta.lmfdb.org/NumberField/4.0.229.1, but only at the bottom of the page are there Artin links. It's OK to have it in two places, but for consistency across pages I think the Artin L-functions should be solidly in the friends zone.
We should plan to address this in the Artin reps workshop in August 2019.
Fixed by #3258, which I will push to beta momentarily.
Looking at 1 - dimensional Artin representations we (@pjbruin, @nmascot and me) noticed that:
For higher dimensional Artin representations, the determinant should be linked to a 1-dimensional Artin representation first.