8
$\begingroup$

Let $q \geq 2$. What does the expression $(q^n-1)(q^n-q)(q^n-q^2)(q^n-q^3)\ldots(q^n-q^{n-1})/n!$ count? If $q$ is a prime power, then this is the number of bases of an $n$-dimensional vector space over a field with $q$ elements.

$\endgroup$
10
  • 2
    $\begingroup$ @Darji, the "fact" (that the expression in question counts the number of bases of an $n$-dimensional vector space over a field with $q$ elements) only holds when $q$ is a prime power. I believe the OP wants a more general fact that works for all integer $q \geq 2$. $\endgroup$ Jun 26, 2010 at 15:24
  • 1
    $\begingroup$ @rdchat: if you follow carefully Darji's comment, you'll find that this is exactly what Darji is interested in. Yes, the intrigue is to give a counting interpretation for $q$ an arbitrary integer $>1$. A preliminary exercise: prove that the number is an integer. (Only elementary number theory is required!) $\endgroup$ Jun 26, 2010 at 15:58
  • 2
    $\begingroup$ @Wadim: I think this is a perfectly respectable question to ask, and it is likely to lead to some interesting combinatorics. For example, the polynomial 1/n sum_{d | n} mu(d) q^{n/d} counts, when q is a prime power, the number of irreducible polynomials over F_q. If one asks what this polynomial counts for general q, one gets several interesting answers, e.g. the number of Lyndon words of length n over an alphabet of q letters, the dimension of the nth graded part of the free Lie algebra on q generators... $\endgroup$ Jun 26, 2010 at 15:59
  • 1
    $\begingroup$ @Martin: probably you already know this, but (1+q)(1+q+q^2)...(1+q+...+q^{n-1}) is the generating function for permutations with respect to inversion number. Unfortunately I can't think of an obvious way to get a free action of S_n on any combinatorial quantity related to this. $\endgroup$ Jun 26, 2010 at 16:36
  • 1
    $\begingroup$ Hi, Wadim, see tea.mathoverflow.net/discussion/474 $\endgroup$
    – Will Jagy
    Jun 27, 2010 at 1:49

1 Answer 1

4
$\begingroup$

This is a partial answer...perhaps someone will improve on it!

Historically, most of the $q$-analog formulae (beginning from Euler) were derived based on the assumption that $|q|< 1$ (to ensure series convergence) or $q=p^k$ for a prime $p$. John Baez in one of his weekly finds (week184) discusses the geometric interpretation of $q=1$ (counting over $\mathbb CP^n$), $q=-1$ (counting over $\mathbb RP^n$) and $q=$a prime power (counting over PG($\mathbb F_q$)). There is no discussion for other values of $q$.

However, in Gasper and Rahman's Basic Hypergeometric Series, there is an inversion identity on page 4 which can be used when $|q| > 1$:

$(a; q)_n = (a^{-1}; p)_n (-a)^n p^{-n(n-1)/2} $ where $p=1/q$.

This returns a new expression in base $|1/q| < 1$. You can see some examples of the identity being applied in Gasper's Lecture Notes on q-series (Exercise 1.1, Exercise 2.3, pg 14)

I have no idea how to interpret the result geometrically. Could it be relevant to Buildings, Buekenhout geometry or $p$-adic geometry?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.