Usenet.com

www.Usenet.com

Group Index

Sci Thread Archive from Usenet.com

<-- __Chronological__ --> <-- __Thread__ -->

identity involving symmetric group



Hi. Here's a puzzle.

*****************************

Let j>=1 be an integer. Let n_1,n_2,...,n_j be j positive integers with
the following two properties:

1) the average of the n_i is 2
2) none of the n_i are 2

[e.g. j=5 and the integers could be 1,1,1,1,6]

Consider the product

j(j-n_1)(j-n_1-n_2)(j-n_1-n_2-n_3)...(j-n_1-n_2-...-n_j)

(note that the last term in the product is just -j)

Well, this product is unfair because it relies on the order of the n_i.
So now sum this product over all j! permutations of the n's.

[i.e. form sum_{g in Symm(j)} j(j-n_{g1})(j-n_{g1}-n_{g2})...(-j) ]

Is this sum always zero?

***********************************

Remark 1): if one lets some of the n_i be 2 the sum sometimes isn't 0.

Remark 2): this is actually a *highly disguised* question about mod p
modular forms! [more precisely, about their expansions around supersingular
points of the modular curve] It's not an idle question at all. A grad student
of mine has run up against it and it's got to the stage where he can't
do it, I can't do it, and we both just want it out of the way.

Thanks for any help,

Kevin Buzzard




<-- __Chronological__ --> <-- __Thread__ -->


Usenet.com



Please check out one of the premium Usenet Newsgroup Service Providers below for access to Usenet.