Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Just some remarks which might be of interest.

1) Functions on every conjugacy class are subrepresentation (highly reducible typically). For S_n both conjugacy class and irreps are parametrized by Young diagrams.

Lemma: functions on conjugacy class contain corresponding irrep. ("Corresponding" means conjugacy class and irrep parametrized by same diagram).

We come to it some time ago, but it might be known to experts. (See some motivation for this question below).

2) Quite an amazing claim was discovered by A.Frumkin and R. Adin: "The conjugacy character of $S_n$ tends to be regular". They prove that in certain sense:

the characters of regular and conjugacy representations are almost the same for large "n".

More precise quantitative results in this direction were obtained in:

Y. Roichman, Decomposition of the conjugacy representation of the symmetric groups, Israel J. Math. 97 (1997), 305–316.

and in recent paper (already quoted by OP):

DECOMPOSITION OF THE CONJUGACY REPRESENTATION FOR SYMMETRIC GROUPS AND SUBGROUP GROWTH Thomas W. Muller and Jan-Christoph Schlage-Puchta


Here is some speculative motivation for interest in such a question:

Conjugacy classes are known to be in bijection with irreps for all groups. Can we construct at least for some groups such bijection in some "good" waybijection in some "good" way ? It sounds like orbit method. (Where functions on orbit more or less give desired irrep). However in orbit method one takes COadjoint orbits, not the adjoint ones, while conjugacy classes can be seen as exponentials of adjoint orbits. So we need kind of metric to identify adjoint and coadjoint orbits - for reductive groups over C we have Killing form. $S_n$ is reductive group $GL(F_1)$ - "field with one element". So may be some "Killing form" also exists ? The lemma above fits to this picture.

Well, it is extremely speculative. There is orbit method for finite groups, but it works for nilpotent groups, not for groups like $GL(F_q)$, and, of course, $F_1$ is speculation by itself.

Just some remarks which might be of interest.

1) Functions on every conjugacy class are subrepresentation (highly reducible typically). For S_n both conjugacy class and irreps are parametrized by Young diagrams.

Lemma: functions on conjugacy class contain corresponding irrep. ("Corresponding" means conjugacy class and irrep parametrized by same diagram).

We come to it some time ago, but it might be known to experts. (See some motivation for this question below).

2) Quite an amazing claim was discovered by A.Frumkin and R. Adin: "The conjugacy character of $S_n$ tends to be regular". They prove that in certain sense:

the characters of regular and conjugacy representations are almost the same for large "n".

More precise quantitative results in this direction were obtained in:

Y. Roichman, Decomposition of the conjugacy representation of the symmetric groups, Israel J. Math. 97 (1997), 305–316.

and in recent paper (already quoted by OP):

DECOMPOSITION OF THE CONJUGACY REPRESENTATION FOR SYMMETRIC GROUPS AND SUBGROUP GROWTH Thomas W. Muller and Jan-Christoph Schlage-Puchta


Here is some speculative motivation for interest in such a question:

Conjugacy classes are known to be in bijection with irreps for all groups. Can we construct at least for some groups such bijection in some "good" way ? It sounds like orbit method. (Where functions on orbit more or less give desired irrep). However in orbit method one takes COadjoint orbits, not the adjoint ones, while conjugacy classes can be seen as exponentials of adjoint orbits. So we need kind of metric to identify adjoint and coadjoint orbits - for reductive groups over C we have Killing form. $S_n$ is reductive group $GL(F_1)$ - "field with one element". So may be some "Killing form" also exists ? The lemma above fits to this picture.

Well, it is extremely speculative. There is orbit method for finite groups, but it works for nilpotent groups, not for groups like $GL(F_q)$, and, of course, $F_1$ is speculation by itself.

Just some remarks which might be of interest.

1) Functions on every conjugacy class are subrepresentation (highly reducible typically). For S_n both conjugacy class and irreps are parametrized by Young diagrams.

Lemma: functions on conjugacy class contain corresponding irrep. ("Corresponding" means conjugacy class and irrep parametrized by same diagram).

We come to it some time ago, but it might be known to experts. (See some motivation for this question below).

2) Quite an amazing claim was discovered by A.Frumkin and R. Adin: "The conjugacy character of $S_n$ tends to be regular". They prove that in certain sense:

the characters of regular and conjugacy representations are almost the same for large "n".

More precise quantitative results in this direction were obtained in:

Y. Roichman, Decomposition of the conjugacy representation of the symmetric groups, Israel J. Math. 97 (1997), 305–316.

and in recent paper (already quoted by OP):

DECOMPOSITION OF THE CONJUGACY REPRESENTATION FOR SYMMETRIC GROUPS AND SUBGROUP GROWTH Thomas W. Muller and Jan-Christoph Schlage-Puchta


Here is some speculative motivation for interest in such a question:

Conjugacy classes are known to be in bijection with irreps for all groups. Can we construct at least for some groups such bijection in some "good" way ? It sounds like orbit method. (Where functions on orbit more or less give desired irrep). However in orbit method one takes COadjoint orbits, not the adjoint ones, while conjugacy classes can be seen as exponentials of adjoint orbits. So we need kind of metric to identify adjoint and coadjoint orbits - for reductive groups over C we have Killing form. $S_n$ is reductive group $GL(F_1)$ - "field with one element". So may be some "Killing form" also exists ? The lemma above fits to this picture.

Well, it is extremely speculative. There is orbit method for finite groups, but it works for nilpotent groups, not for groups like $GL(F_q)$, and, of course, $F_1$ is speculation by itself.

added 12 characters in body
Source Link
Alexander Chervov
  • 24.9k
  • 20
  • 102
  • 209

Just some remarks which might be of interest.

  1. Functions on every conjugacy class are subrepresentation (highly reducible typically). For S_n both conjugacy class and irreps are parametrized by Young diagrams.

1) Functions on every conjugacy class are subrepresentation (highly reducible typically). For S_n both conjugacy class and irreps are parametrized by Young diagrams.

Lemma:Lemma: functions on conjugacy class contain corresponding irrep. ("Corresponding" means conjugacy class and irrep parametrized by same diagram).

We come to it some time ago, but it might be known to experts. (See some motivation for this question below).

  1. Quite an amazing claim was discovered by A.Frumkin and R. Adin: "The conjugacy character of $S_n$ tends to be regular". They prove that in certain sense:

2) Quite an amazing claim was discovered by A.Frumkin and R. Adin: "The conjugacy character of $S_n$ tends to be regular". They prove that in certain sense:

the characters of regular and conjugacy representations are almost the same for large "n".

More precise quantitative results in this direction were obtained in:

Y. Roichman, Decomposition of the conjugacy representation of the symmetric groups, Israel J. Math. 97 (1997), 305–316.

and in recent paper (already quoted by OP):

DECOMPOSITION OF THE CONJUGACY REPRESENTATION FOR SYMMETRIC GROUPS AND SUBGROUP GROWTH Thomas W. Muller and Jan-Christoph Schlage-Puchta


Here is some speculative motivation for interest in such a question:

Conjugacy classes are known to be in bijection with irreps for all groups. Can we construct at least for some groups such bijection in some "good" way ? It sounds like orbit method. (Where functions on orbit more or less give desired irrep). However in orbit method one takes COadjoint orbits, not the adjoint ones, while conjugacy classes can be seen as exponentials of adjoint orbits. So we need kind of metric to identify adjoint and coadjoint orbits - for reductive groups over C we have Killing form. $S_n$ is reductive group $GL(F_1)$ - "field with one element". So may be some "Killing form" also exists ? The lemma above fits to this picture.

Well, it is extremely speculative. There is orbit method for finite groups, but it works for nilpotent groups, not for groups like $GL(F_q)$, and, of course, $F_1$ is speculation by itself.

Just some remarks which might be of interest.

  1. Functions on every conjugacy class are subrepresentation (highly reducible typically). For S_n both conjugacy class and irreps are parametrized by Young diagrams.

Lemma: functions on conjugacy class contain corresponding irrep. ("Corresponding" means conjugacy class and irrep parametrized by same diagram).

We come to it some time ago, but it might be known to experts. (See some motivation for this question below).

  1. Quite an amazing claim was discovered by A.Frumkin and R. Adin: "The conjugacy character of $S_n$ tends to be regular". They prove that in certain sense:

the characters of regular and conjugacy representations are almost the same for large "n".

More precise quantitative results in this direction were obtained in:

Y. Roichman, Decomposition of the conjugacy representation of the symmetric groups, Israel J. Math. 97 (1997), 305–316.

and in recent paper (already quoted by OP):

DECOMPOSITION OF THE CONJUGACY REPRESENTATION FOR SYMMETRIC GROUPS AND SUBGROUP GROWTH Thomas W. Muller and Jan-Christoph Schlage-Puchta


Here is some speculative motivation for interest in such a question:

Conjugacy classes are known to be in bijection with irreps for all groups. Can we construct at least for some groups such bijection in some "good" way ? It sounds like orbit method. (Where functions on orbit more or less give desired irrep). However in orbit method one takes COadjoint orbits, not the adjoint ones, while conjugacy classes can be seen as exponentials of adjoint orbits. So we need kind of metric to identify adjoint and coadjoint orbits - for reductive groups over C we have Killing form. $S_n$ is reductive group $GL(F_1)$ - "field with one element". So may be some "Killing form" also exists ? The lemma above fits to this picture.

Well, it is extremely speculative. There is orbit method for finite groups, but it works for nilpotent groups, not for groups like $GL(F_q)$, and, of course, $F_1$ is speculation by itself.

Just some remarks which might be of interest.

1) Functions on every conjugacy class are subrepresentation (highly reducible typically). For S_n both conjugacy class and irreps are parametrized by Young diagrams.

Lemma: functions on conjugacy class contain corresponding irrep. ("Corresponding" means conjugacy class and irrep parametrized by same diagram).

We come to it some time ago, but it might be known to experts. (See some motivation for this question below).

2) Quite an amazing claim was discovered by A.Frumkin and R. Adin: "The conjugacy character of $S_n$ tends to be regular". They prove that in certain sense:

the characters of regular and conjugacy representations are almost the same for large "n".

More precise quantitative results in this direction were obtained in:

Y. Roichman, Decomposition of the conjugacy representation of the symmetric groups, Israel J. Math. 97 (1997), 305–316.

and in recent paper (already quoted by OP):

DECOMPOSITION OF THE CONJUGACY REPRESENTATION FOR SYMMETRIC GROUPS AND SUBGROUP GROWTH Thomas W. Muller and Jan-Christoph Schlage-Puchta


Here is some speculative motivation for interest in such a question:

Conjugacy classes are known to be in bijection with irreps for all groups. Can we construct at least for some groups such bijection in some "good" way ? It sounds like orbit method. (Where functions on orbit more or less give desired irrep). However in orbit method one takes COadjoint orbits, not the adjoint ones, while conjugacy classes can be seen as exponentials of adjoint orbits. So we need kind of metric to identify adjoint and coadjoint orbits - for reductive groups over C we have Killing form. $S_n$ is reductive group $GL(F_1)$ - "field with one element". So may be some "Killing form" also exists ? The lemma above fits to this picture.

Well, it is extremely speculative. There is orbit method for finite groups, but it works for nilpotent groups, not for groups like $GL(F_q)$, and, of course, $F_1$ is speculation by itself.

Source Link
Alexander Chervov
  • 24.9k
  • 20
  • 102
  • 209

Just some remarks which might be of interest.

  1. Functions on every conjugacy class are subrepresentation (highly reducible typically). For S_n both conjugacy class and irreps are parametrized by Young diagrams.

Lemma: functions on conjugacy class contain corresponding irrep. ("Corresponding" means conjugacy class and irrep parametrized by same diagram).

We come to it some time ago, but it might be known to experts. (See some motivation for this question below).

  1. Quite an amazing claim was discovered by A.Frumkin and R. Adin: "The conjugacy character of $S_n$ tends to be regular". They prove that in certain sense:

the characters of regular and conjugacy representations are almost the same for large "n".

More precise quantitative results in this direction were obtained in:

Y. Roichman, Decomposition of the conjugacy representation of the symmetric groups, Israel J. Math. 97 (1997), 305–316.

and in recent paper (already quoted by OP):

DECOMPOSITION OF THE CONJUGACY REPRESENTATION FOR SYMMETRIC GROUPS AND SUBGROUP GROWTH Thomas W. Muller and Jan-Christoph Schlage-Puchta


Here is some speculative motivation for interest in such a question:

Conjugacy classes are known to be in bijection with irreps for all groups. Can we construct at least for some groups such bijection in some "good" way ? It sounds like orbit method. (Where functions on orbit more or less give desired irrep). However in orbit method one takes COadjoint orbits, not the adjoint ones, while conjugacy classes can be seen as exponentials of adjoint orbits. So we need kind of metric to identify adjoint and coadjoint orbits - for reductive groups over C we have Killing form. $S_n$ is reductive group $GL(F_1)$ - "field with one element". So may be some "Killing form" also exists ? The lemma above fits to this picture.

Well, it is extremely speculative. There is orbit method for finite groups, but it works for nilpotent groups, not for groups like $GL(F_q)$, and, of course, $F_1$ is speculation by itself.