Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2306.17764 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929375063048192 |
|---|---|
| author | Johnston, Henri Torzewski, Alex |
| author_facet | Johnston, Henri Torzewski, Alex |
| contents | Let $\mathcal{O}$ be a Dedekind domain whose field of fractions $K$ is a global field. Let $A$ be a finite-dimensional separable $K$-algebra and let $Λ$ be an $\mathcal{O}$-order in $A$. Let $n$ be a positive integer and suppose that $X$ is a $Λ$-lattice such that $K \otimes_{\mathcal{O}} X$ is free of rank $n$ over $A$. Then $X$ contains a (non-unique) free $Λ$-sublattice of rank $n$. The main result of the present article is to show there exists such a sublattice $Y$ such that the generalised module index $[X : Y]_{\mathcal{O}}$ has explicit upper bounds with respect to division that are independent of $X$ and can be chosen to satisfy certain conditions. We give examples of applications to the approximation of normal integral bases and strong Minkowski units, and to the Galois module structure of rational points over abelian varieties. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_17764 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | On the existence of free sublattices of bounded index and arithmetic applications Johnston, Henri Torzewski, Alex Number Theory Rings and Algebras 16H20, 11R33, 11R27, 11G05, 11G10 Let $\mathcal{O}$ be a Dedekind domain whose field of fractions $K$ is a global field. Let $A$ be a finite-dimensional separable $K$-algebra and let $Λ$ be an $\mathcal{O}$-order in $A$. Let $n$ be a positive integer and suppose that $X$ is a $Λ$-lattice such that $K \otimes_{\mathcal{O}} X$ is free of rank $n$ over $A$. Then $X$ contains a (non-unique) free $Λ$-sublattice of rank $n$. The main result of the present article is to show there exists such a sublattice $Y$ such that the generalised module index $[X : Y]_{\mathcal{O}}$ has explicit upper bounds with respect to division that are independent of $X$ and can be chosen to satisfy certain conditions. We give examples of applications to the approximation of normal integral bases and strong Minkowski units, and to the Galois module structure of rational points over abelian varieties. |
| title | On the existence of free sublattices of bounded index and arithmetic applications |
| topic | Number Theory Rings and Algebras 16H20, 11R33, 11R27, 11G05, 11G10 |
| url | https://arxiv.org/abs/2306.17764 |