Skip to main content
added 76 characters in body
Source Link

This question was certainly discussed over past years, with no proven results though (as far as I am aware). I learned it from M. Gromov about 15 years ago (probably after he discussed it with G. Margulis). Here how I would formulate it:

Let us fix the signature $(r, n-r)$ (for example, $(3,0)$ for totaly real cubic fields -- the simplest non-trivial example which I researched numerically to some extend). Let $F_{(r,n-r)}$ be the set of all such number fields. For a field $K\in F_{(r,n-r)}$, consider the unit lattice $\mathcal{O}_K^*$, and its normalized (by the volume) logarithmic embedding $\hat{\Lambda}_K\subset \mathbb{R}^n$ as above.

Hence we obtain for each field of fixed signature, a unimodular lattice in $ \mathbb{R}^{n-1}$. We are interested in the type of such a lattice. It is reasonable to consider lattices up to isometries of the ambient $\mathbb{R}^{n-1}$.

Hence we obtain for each field $K\in F_{(r,n-r)}$, a point $x_K$ in the the moduli space of unimodilar lattices in $ \mathbb{R}^{n-1}$ up to an isometry. I call this the conformal type of the unit lattice of the field.

This moduli space is the familiar space $X_{n-1}=SL(n-1,\mathbb{Z})\setminus SL(n-1,\mathbb{R})/SO(n-1)$. For $n=3$ this is the modular curve. The space $X_{n-1}$ has a distinctive probability measure $\mu$ (coming from the right invariant measure on $SL(n-1,\mathbb{Z})\setminus SL(n-1,\mathbb{R})$; for $n=3$ this is the (volume one) hyperbolic measure on the modular curve).

The natural question would be what is the behavior of the set of points $x_K\in X_{n-1}$, $K\in F_{(r,n-r)}$ with respect to the measure $\mu$, or the geometry of $X_{n-1}$ (recall that the space $X_{n-1}$ is not compact, and there are cusps).

To formulate conjectures/questions, one need to introduce an order on the set of fields of fixed signature. I am aware of $3$ (probably inequivalent) natural orderings:

Arithmetic order: order the the set $F_{(r,n-r)}$ by the discriminant $d_K$ of the field.

Geometric order: order the the set $F_{(r,n-r)}$ by the regulator $R_K$ of the field.

Dynamical order: order the the set $F_{(r,n-r)}$ by the shortest unit $\epsilon_K$ of the field.

Numerical experiments (with tables provided by PARI) suggest the following conjecture:

Conjecture: The set of points $x_K$, $K\in F_{(r,n-r)}$ becomes equidistributed in $X_{n-1}$ with respect to $\mu$ when $F_{(r,n-r)}$ is ordered arithmetically.

As far as I understand, Margulis expects that when ordered dynamically, points in $F_{(r,n-r)}$ escape to infinity (i.e., to the cusp) with the probability $1$ (certainly some points may stay low, e.g., coming from Galois fields). Probably one should expect the same with respect to the geometric ordering (i.e., by the regulator). It is very difficult to have numerical data for these orderings.

The question about density of points $x_K$ in $X_{n-1}$ would follow from equidistribution, but of course is somewhat separate. In particular even if Margulis is right, this would not mean that $x_K$'s are not dense (its quite possible that this is still true). I do not know about (effective) approximation of a lattice by the unit lattice.

I also would like to mention that the additive analog of this question for totally real cubic fields (ordered by the discriminant) was solved by D. Terr (PhD, Berkeley, 1997, unpublished).

This question was certainly discussed over past years, with no proven results though (as far as I am aware). I learned it from M. Gromov about 15 years ago (probably after he discussed it with G. Margulis). Here how I would formulate it:

Let us fix the signature $(r, n-r)$ (for example, $(3,0)$ for totaly real cubic fields -- the simplest non-trivial example which I researched numerically to some extend). Let $F_{(r,n-r)}$ be the set of all such number fields. For a field $K\in F_{(r,n-r)}$, consider the unit lattice $\mathcal{O}_K^*$, and its normalized (by the volume) logarithmic embedding $\hat{\Lambda}_K\subset \mathbb{R}^n$ as above.

Hence we obtain for each field of fixed signature, a unimodular lattice in $ \mathbb{R}^{n-1}$. We are interested in the type of such a lattice. It is reasonable to consider lattices up to isometries of the ambient $\mathbb{R}^{n-1}$.

Hence we obtain for each field $K\in F_{(r,n-r)}$, a point $x_K$ in the the moduli space of unimodilar lattices in $ \mathbb{R}^{n-1}$ up to an isometry. I call this the conformal type of the unit lattice of the field.

This moduli space is the familiar space $X_{n-1}=SL(n-1,\mathbb{Z})\setminus SL(n-1,\mathbb{R})/SO(n-1)$. For $n=3$ this is the modular curve. The space $X_{n-1}$ has a distinctive probability measure $\mu$ (coming from the right invariant measure on $SL(n-1,\mathbb{Z})\setminus SL(n-1,\mathbb{R})$).

The natural question would be what is the behavior of the set of points $x_K\in X_{n-1}$, $K\in F_{(r,n-r)}$ with respect to the measure $\mu$, or the geometry of $X_{n-1}$ (recall that the space $X_{n-1}$ is not compact, and there are cusps).

To formulate conjectures/questions, one need to introduce an order on the set of fields of fixed signature. I am aware of $3$ (probably inequivalent) natural orderings:

Arithmetic order: order the the set $F_{(r,n-r)}$ by the discriminant $d_K$ of the field.

Geometric order: order the the set $F_{(r,n-r)}$ by the regulator $R_K$ of the field.

Dynamical order: order the the set $F_{(r,n-r)}$ by the shortest unit $\epsilon_K$ of the field.

Numerical experiments (with tables provided by PARI) suggest the following conjecture:

Conjecture: The set of points $x_K$, $K\in F_{(r,n-r)}$ becomes equidistributed in $X_{n-1}$ with respect to $\mu$ when $F_{(r,n-r)}$ is ordered arithmetically.

As far as I understand, Margulis expects that when ordered dynamically, points in $F_{(r,n-r)}$ escape to infinity (i.e., to the cusp) with the probability $1$ (certainly some points may stay low, e.g., coming from Galois fields). Probably one should expect the same with respect to the geometric ordering (i.e., by the regulator). It is very difficult to have numerical data for these orderings.

The question about density of points $x_K$ in $X_{n-1}$ would follow from equidistribution, but of course is somewhat separate. In particular even if Margulis is right, this would not mean that $x_K$'s are not dense (its quite possible that this is still true). I do not know about (effective) approximation of a lattice by the unit lattice.

I also would like to mention that the additive analog of this question for totally real cubic fields (ordered by the discriminant) was solved by D. Terr (PhD, Berkeley, 1997, unpublished).

This question was certainly discussed over past years, with no proven results though (as far as I am aware). I learned it from M. Gromov about 15 years ago (probably after he discussed it with G. Margulis). Here how I would formulate it:

Let us fix the signature $(r, n-r)$ (for example, $(3,0)$ for totaly real cubic fields -- the simplest non-trivial example which I researched numerically to some extend). Let $F_{(r,n-r)}$ be the set of all such number fields. For a field $K\in F_{(r,n-r)}$, consider the unit lattice $\mathcal{O}_K^*$, and its normalized (by the volume) logarithmic embedding $\hat{\Lambda}_K\subset \mathbb{R}^n$ as above.

Hence we obtain for each field of fixed signature, a unimodular lattice in $ \mathbb{R}^{n-1}$. We are interested in the type of such a lattice. It is reasonable to consider lattices up to isometries of the ambient $\mathbb{R}^{n-1}$.

Hence we obtain for each field $K\in F_{(r,n-r)}$, a point $x_K$ in the the moduli space of unimodilar lattices in $ \mathbb{R}^{n-1}$ up to an isometry. I call this the conformal type of the unit lattice of the field.

This moduli space is the familiar space $X_{n-1}=SL(n-1,\mathbb{Z})\setminus SL(n-1,\mathbb{R})/SO(n-1)$. For $n=3$ this is the modular curve. The space $X_{n-1}$ has a distinctive probability measure $\mu$ (coming from the right invariant measure on $SL(n-1,\mathbb{Z})\setminus SL(n-1,\mathbb{R})$; for $n=3$ this is the (volume one) hyperbolic measure on the modular curve).

The natural question would be what is the behavior of the set of points $x_K\in X_{n-1}$, $K\in F_{(r,n-r)}$ with respect to the measure $\mu$, or the geometry of $X_{n-1}$ (recall that the space $X_{n-1}$ is not compact, and there are cusps).

To formulate conjectures/questions, one need to introduce an order on the set of fields of fixed signature. I am aware of $3$ (probably inequivalent) natural orderings:

Arithmetic order: order the the set $F_{(r,n-r)}$ by the discriminant $d_K$ of the field.

Geometric order: order the the set $F_{(r,n-r)}$ by the regulator $R_K$ of the field.

Dynamical order: order the the set $F_{(r,n-r)}$ by the shortest unit $\epsilon_K$ of the field.

Numerical experiments (with tables provided by PARI) suggest the following conjecture:

Conjecture: The set of points $x_K$, $K\in F_{(r,n-r)}$ becomes equidistributed in $X_{n-1}$ with respect to $\mu$ when $F_{(r,n-r)}$ is ordered arithmetically.

As far as I understand, Margulis expects that when ordered dynamically, points in $F_{(r,n-r)}$ escape to infinity (i.e., to the cusp) with the probability $1$ (certainly some points may stay low, e.g., coming from Galois fields). Probably one should expect the same with respect to the geometric ordering (i.e., by the regulator). It is very difficult to have numerical data for these orderings.

The question about density of points $x_K$ in $X_{n-1}$ would follow from equidistribution, but of course is somewhat separate. In particular even if Margulis is right, this would not mean that $x_K$'s are not dense (its quite possible that this is still true). I do not know about (effective) approximation of a lattice by the unit lattice.

I also would like to mention that the additive analog of this question for totally real cubic fields (ordered by the discriminant) was solved by D. Terr (PhD, Berkeley, 1997, unpublished).

Source Link

This question was certainly discussed over past years, with no proven results though (as far as I am aware). I learned it from M. Gromov about 15 years ago (probably after he discussed it with G. Margulis). Here how I would formulate it:

Let us fix the signature $(r, n-r)$ (for example, $(3,0)$ for totaly real cubic fields -- the simplest non-trivial example which I researched numerically to some extend). Let $F_{(r,n-r)}$ be the set of all such number fields. For a field $K\in F_{(r,n-r)}$, consider the unit lattice $\mathcal{O}_K^*$, and its normalized (by the volume) logarithmic embedding $\hat{\Lambda}_K\subset \mathbb{R}^n$ as above.

Hence we obtain for each field of fixed signature, a unimodular lattice in $ \mathbb{R}^{n-1}$. We are interested in the type of such a lattice. It is reasonable to consider lattices up to isometries of the ambient $\mathbb{R}^{n-1}$.

Hence we obtain for each field $K\in F_{(r,n-r)}$, a point $x_K$ in the the moduli space of unimodilar lattices in $ \mathbb{R}^{n-1}$ up to an isometry. I call this the conformal type of the unit lattice of the field.

This moduli space is the familiar space $X_{n-1}=SL(n-1,\mathbb{Z})\setminus SL(n-1,\mathbb{R})/SO(n-1)$. For $n=3$ this is the modular curve. The space $X_{n-1}$ has a distinctive probability measure $\mu$ (coming from the right invariant measure on $SL(n-1,\mathbb{Z})\setminus SL(n-1,\mathbb{R})$).

The natural question would be what is the behavior of the set of points $x_K\in X_{n-1}$, $K\in F_{(r,n-r)}$ with respect to the measure $\mu$, or the geometry of $X_{n-1}$ (recall that the space $X_{n-1}$ is not compact, and there are cusps).

To formulate conjectures/questions, one need to introduce an order on the set of fields of fixed signature. I am aware of $3$ (probably inequivalent) natural orderings:

Arithmetic order: order the the set $F_{(r,n-r)}$ by the discriminant $d_K$ of the field.

Geometric order: order the the set $F_{(r,n-r)}$ by the regulator $R_K$ of the field.

Dynamical order: order the the set $F_{(r,n-r)}$ by the shortest unit $\epsilon_K$ of the field.

Numerical experiments (with tables provided by PARI) suggest the following conjecture:

Conjecture: The set of points $x_K$, $K\in F_{(r,n-r)}$ becomes equidistributed in $X_{n-1}$ with respect to $\mu$ when $F_{(r,n-r)}$ is ordered arithmetically.

As far as I understand, Margulis expects that when ordered dynamically, points in $F_{(r,n-r)}$ escape to infinity (i.e., to the cusp) with the probability $1$ (certainly some points may stay low, e.g., coming from Galois fields). Probably one should expect the same with respect to the geometric ordering (i.e., by the regulator). It is very difficult to have numerical data for these orderings.

The question about density of points $x_K$ in $X_{n-1}$ would follow from equidistribution, but of course is somewhat separate. In particular even if Margulis is right, this would not mean that $x_K$'s are not dense (its quite possible that this is still true). I do not know about (effective) approximation of a lattice by the unit lattice.

I also would like to mention that the additive analog of this question for totally real cubic fields (ordered by the discriminant) was solved by D. Terr (PhD, Berkeley, 1997, unpublished).