Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Strange character parameter restrictions #36

Open
fingolfin opened this issue Mar 5, 2024 · 1 comment
Open

Strange character parameter restrictions #36

fingolfin opened this issue Mar 5, 2024 · 1 comment
Labels
question Further information is requested

Comments

@fingolfin
Copy link
Member

julia> T = genchartab("SL3.n1");

julia> printcharparam(T)
1
2
3
4	n ∈ {1,…, q - 1} except 1//(q - 1)*n ∈ ℤ
5	n ∈ {1,…, q - 1} except 1//(q - 1)*n ∈ ℤ
6	n ∈ {1,…, q - 1}, m ∈ {1,…, q - 1} except 1//(q - 1)*m - 1//(q - 1)*n ∈ ℤ
7	n ∈ {1,…, q^2 - 1} except 1//(q + 1)*n ∈ ℤ
8	n ∈ {1,…, q^2 + q + 1} except 1//(q^2 + q + 1)*n ∈ ℤ
9
10

So for character 4, the value of $n$ must satisfy $1\leq n\leq q-1$ and $(q-1) \nmid n$ -- that seems like a convoluted way of saying $1\leq n\leq q-2$.

Am I missing something? Perhaps there are deeper theoretical or algorithmic reasons why it is being expressed like this? Or maybe it's just an artifact of how the data was generated? Or...?

@SoongNoonien
Copy link
Member

I think the reason for this is that these parameters are only unique up to congruence. The character obtained by setting n equal to for example 3 is the same as the one obtained by setting n equal to 3+q-1. So the parameter ranges are specified in this way that one is still able to see the original modulus.

In this case it would even be functionally equivalent to write n ∈ {0,…, q - 2} except 1//(q - 1)*n ∈ ℤ. Frank Lübeck (and me as well) would prefer this because this would be more in line with charsums and classsums. Ideally these sum functions can be automated by using the parameter ranges sometime.

@SoongNoonien SoongNoonien added the question Further information is requested label Apr 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
question Further information is requested
Projects
None yet
Development

No branches or pull requests

2 participants