If $K = \mathbb{Q}(\sqrt{d})$ is a real quadratic field, then any unit $u \in \mathcal{O}\_K^\times$ with $u > 1$ must not be too small: indeed, such a $u = u\_1 + u\_2 \sqrt{d}$ with $u\_1, u\_2 > 0$ must satisfy $u\_1^2 - d u\_2^2 = \pm 1$, so $u\_1 \gg \sqrt{d}$, say. Thus the gap between the smallest unit $u \in \mathcal{O}\_K^\times$ and $1$ must be quite large.


This seems a particular quirk of fields whose unit group is 1-generated. For real cubic fields, whose unit group is 2-generated, there seems to be substantial possibility for cancellation and even possible for the smallest unit $u > 1$ to be arbitrarily close to $1$ as the fields vary.


My question is this: let $K$ be a cyclic cubic field (in particular, necessarily totally real) having discriminant $d\_K = c\_K^2$. Let $u\_K \in \mathcal{O}\_K^\times$ be the smallest (in terms of usual archimedean valuation) element satisfying $u\_K > 1$. Write


$$\displaystyle u\_K = 1 + \kappa\_K.$$


Can one effectively bound $\kappa\_K$ in terms of $d\_K$ (or equivalently, $c\_K$)?



Size of a generator of the unit group in a cyclic cubic field
Asking about a smallest unit bigger than $1$ in a unit group of rank greater than $1$ feels like the wrong question, sort of like asking for a smallest algebraic integer of absolute value greater than $1$ in a number field (inside $\mathbf C$) of degree greater than $1$. The ring of integers is discrete when you use all Archimedean embeddings, but not fewer Archimedean embeddings (e.g., $\mathbf Z[\sqrt{2}]$ is dense in $\mathbf R$ but its image in $\mathbf R^2$ using the Euclidean embedding is a lattice). Likewise, the unit group of that ring is discrete using the logarithm mapping to a hyperplane in $\mathbf R^{r\_1+r\_2}$.


Use the regulator as a measure of the size of the unit group. For a unit group of rank $1$ with a real embedding, taking logarithms shows that comparing the size of the smallest unit greater than $1$ with a power of the absolute value of the discriminant is like comparing the regulator of that unit group with a multiple of the logarithm of the absolute value of discriminant. For cubic fields of rank $1$, Artin showed its regulator $R$ and (negative) discriminant $D$ satisfy $R > \log(|D|/4 - 6)$ except for the unique cubic field of discriminant $-23$. For totally real cubic fields, the unit rank is $2$ and Cusick showed the regulator $R$ and (positive) discriminant $D$ for such fields satisfy $R > (1/16)(\log(D/4))^2$. See Theorem 5.8 [here](https://kconrad.math.uconn.edu/blurbs/gradnumthy/unittheorem.pdf).


