Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $K$ is a number field, $r=r_1+r_2-1$ (the rank of the unit group) and $u_1,\dots, u_r$ are a basis of fundamental units. Suppose this basis minimizes the max over $i=1,\dots, r$ of the largest archimedean absolute value of $u_i$, and this value is $M>0$. What is a good upper bound on $M$ in terms of standard invariants of the field $K$? (In fact, I know one exists which for fixed degree is exponential in the regulator.)

More precisely, I'd like a bound on this minimax (min over choices of basis of max over basis elements) of the product of all archimedean absolute values which are greater than $1$ (a.k.a. the "entropy") of the $u_i$. (This can of course be bounded by an $r-1$st power of the previous bound.)

Is there a better bound/standard reference for bounding these quantities?

share|improve this question
    
Clarify your "more precise" request: all arch. abs. values of all units in a basis or just one unit in a basis which has the largest product or something else? (Side comment: maybe the Mahler measure would be something to look at.) –  KConrad Aug 22 '10 at 0:26
    
I think that's what he means: $\min_{U} \max_{u_i \in U} {M(u_i)}$, where $U$ ranges over fundamental bases and $M(a)$ is the Mahler measure of $a$. In the real quadratic case, this is just $e^R$, and I guess this bound might be correct for all number fields. –  Dror Speiser Aug 22 '10 at 6:13
    
Yes, I mean basically what Dror said, namely $min_U max_{u_i\in U}H(u_i)$ (or exp of that), where $U$ ranges over fundamental bases and $H=M^{1/n}$ is the Weil height (with $n=deg(K)$). A bound close to $e^R$ would be nice -- the bound I know is on the order of $e^{n^n R}$. –  Dmitry Vaintrob Aug 22 '10 at 22:37
    
Correction to the previous comment: yes, I mean precisely the Mahler measure M (not the Weil height H and not its exp - the paper I looked up had renormalized valuations.) –  Dmitry Vaintrob Aug 22 '10 at 22:44
add comment

1 Answer

This is a comment, but I can't post any as such...

In case $r = 1$, there is only one fundamental unit, whence your minimax is exponential in the regulator. So something better is only possible in case $r > 1$.

share|improve this answer
    
You have enough points to make comments. Does your browser run javascript? –  S. Carnahan Jan 9 '11 at 12:13
    
I didn't had enough points back then :) –  felix Jan 14 '11 at 8:46
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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