Search arXivSearch

arXiv · 2211.11249

Computing Tate-Shafarevich groups of multinorm one tori of Kummer type

Abstract

A multinorm one torus associated to a commutative étale algebra $L$ over a global field $k$ is of Kummer type if each factor of $L$ is a cyclic Kummer extension. In this paper we compute the Tate-Shafarevich group of such tori based on recent works of Bayer-Fluckiger, T.-Y. Lee and Parimala, and of T.-Y.~Lee. We also implement an effective algorithm using SAGE which computes the Tate-Shafarevich groups when each factor of $L$ is contained in a fixed concrete bicyclic extension of $k$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jun-Hao Huang, Fan-Yun Hung, Pei-Xin Liang, Chia-Fu Yu. 2022-11-21. Computing Tate-Shafarevich groups of multinorm one tori of Kummer type. https://arxiv.org/abs/2211.11249

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT

Transcendence Meets Normality: Construction of Transcendentally Normal Numbers

In this work, we study real numbers $x$ for which $p(x)$ is (absolutely) normal for every non-constant integer-valued polynomial $p$. We call such numbers transcendentally normal. We prove that almost every real number is transcendentally normal and provide an explicit construction of such a number, based on Sierpinski's covering method and novel ideas involving the so-called stretch function. In the next step, we transform this construction into an algorithm that computes the digits of a t-normal number recursively in all integer bases. Moreover, we extend our covering approach to construct and compute LIL-normal numbers whose discrepancies are of the order predicted by the law of the iterated logarithm. We also take the opportunity to discuss several interesting open problems.

math.NT