Showing 1–7 of 7 results for author: Krásenský, J

Kitaoka's Conjecture for quadratic fields

Authors: Vitezslav Kala, Jakub Krásenský, Dayoon Park, Pavlo Yatsyna, Błażej Żmija

Abstract: We prove that there are at most 13 real quadratic fields that admit a ternary universal quadratic lattice, thus establishing a strong version of Kitaoka's Conjecture for quadratic fields. More generally, we obtain explicit upper bounds on the discriminants of real quadratic fields with a quadratic lattice of rank at most 7 that represents all totally positive multiples of a fixed integer. We prove that there are at most 13 real quadratic fields that admit a ternary universal quadratic lattice, thus establishing a strong version of Kitaoka's Conjecture for quadratic fields. More generally, we obtain explicit upper bounds on the discriminants of real quadratic fields with a quadratic lattice of rank at most 7 that represents all totally positive multiples of a fixed integer. △ Less

Submitted 31 January, 2025; originally announced January 2025.

Comments: 27 pages; comments are welcome!

MSC Class: 11E12; 11E20; 11E25; 11R04; 11R11; 11R80

Universality criterion sets for quadratic forms over number fields

Authors: Vitezslav Kala, Jakub Krásenský, Giuliano Romeo

Abstract: In analogy with the 290-Theorem of Bhargava-Hanke, a criterion set is a finite subset $C$ of the totally positive integers in a given totally real number field such that if a quadratic form represents all elements of $C$, then it necessarily represents all totally positive integers, i.e., is universal. We use a novel characterization of minimal criterion sets to show that they always exist and are… ▽ More In analogy with the 290-Theorem of Bhargava-Hanke, a criterion set is a finite subset $C$ of the totally positive integers in a given totally real number field such that if a quadratic form represents all elements of $C$, then it necessarily represents all totally positive integers, i.e., is universal. We use a novel characterization of minimal criterion sets to show that they always exist and are unique, and that they must contain certain explicit elements. We also extend the uniqueness result to the more general setting of representations of a given subset of the integers. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Comments: 19 pages, comments are welcome!

MSC Class: 11E12; 11E20; 11E25; 11R04; 11R80

Failures of integral Springer's Theorem

Authors: Nicolas Daans, Vítězslav Kala, Jakub Krásenský, Pavlo Yatsyna

Abstract: We discuss the phenomenon where an element in a number field is not integrally represented by a given positive definite quadratic form, but becomes integrally represented by this form over a totally real extension of odd degree. We prove that this phenomenon happens infinitely often, and, conversely, establish finiteness results about the situation when the quadratic form is fixed. We discuss the phenomenon where an element in a number field is not integrally represented by a given positive definite quadratic form, but becomes integrally represented by this form over a totally real extension of odd degree. We prove that this phenomenon happens infinitely often, and, conversely, establish finiteness results about the situation when the quadratic form is fixed. △ Less

Submitted 16 April, 2025; v1 submitted 19 April, 2024; originally announced April 2024.

Comments: 10 pages, author accepted manuscript

MSC Class: 11E12; 11H55; 11R80

Journal ref: In: Proceedings of the American Mathematical Society 153 (2025), pp. 2369-2379

On quadratic Waring's problem in totally real number fields

Authors: Jakub Krásenský, Pavlo Yatsyna

Abstract: We improve the bound of the $g$-invariant of the ring of integers of a totally real number field, where the $g$-invariant $g(r)$ is the smallest number of squares of linear forms in $r$ variables that is required to represent all the quadratic forms of rank $r$ that are representable by the sum of squares. Specifically, we prove that the $g_{\mathcal{O}_K}(r)$ of the ring of integers… ▽ More We improve the bound of the $g$-invariant of the ring of integers of a totally real number field, where the $g$-invariant $g(r)$ is the smallest number of squares of linear forms in $r$ variables that is required to represent all the quadratic forms of rank $r$ that are representable by the sum of squares. Specifically, we prove that the $g_{\mathcal{O}_K}(r)$ of the ring of integers $\mathcal{O}_K$ of a totally real number field $K$ is at most $g_{\mathbb{Z}}([K:\mathbb{Q}]r)$. Moreover, it can also be bounded by $g_{\mathcal{O}_F}([K:F]r+1)$ for any subfield $F$ of $K$. This yields a sub-exponential upper bound for $g(r)$ of each ring of integers (even if the class number is not $1$). Further, we obtain a more general inequality for the lattice version $G(r)$ of the invariant and apply it to determine the value of $G(2)$ for all but one real quadratic field. △ Less

Submitted 21 August, 2022; v1 submitted 30 December, 2021; originally announced December 2021.

Comments: 16 pages; accepted in Proc. Am. Math. Soc

MSC Class: 11E12; 11D85; 11E25; 11E39

Journal ref: Proc. Amer. Math. Soc. 151 (2023), 1471--1485

A cubic ring of integers with the smallest Pythagoras number

Authors: Jakub Krásenský

Abstract: We prove that the ring of integers in the totally real cubic subfield $K^{(49)}$ of the cyclotomic field $\mathbb{Q}(ζ_7)$ has Pythagoras number equal to $4$. This is the smallest possible value for a totally real number field of odd degree. Moreover, we determine which numbers are sums of integral squares in this field, and use this knowledge to construct a diagonal universal quadratic form in fi… ▽ More We prove that the ring of integers in the totally real cubic subfield $K^{(49)}$ of the cyclotomic field $\mathbb{Q}(ζ_7)$ has Pythagoras number equal to $4$. This is the smallest possible value for a totally real number field of odd degree. Moreover, we determine which numbers are sums of integral squares in this field, and use this knowledge to construct a diagonal universal quadratic form in five variables. △ Less

Submitted 25 July, 2021; originally announced July 2021.

Comments: 8 pages; comments are welcome

MSC Class: 11E25 (Primary); 11E12; 11R04; 11R16; 11R80 (Secondary)

Journal ref: Arch. Math. (Basel) 118, 39--48 (2022)

Pythagoras numbers of orders in biquadratic fields

Authors: Jakub Krásenský, Martin Raška, Ester Sgallová

Abstract: We examine the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ of the ring of integers $\mathcal{O}_K$ in a totally real biquadratic number field $K$. We show that the known upper bound $7$ is attained in a large and natural infinite family of such fields. In contrast, for almost all fields $\mathbb{Q}(\sqrt5, \sqrt{s})$ we prove $\mathcal{P}(\mathcal{O}_K)=5$. Further we show that $5$ is a lower b… ▽ More We examine the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ of the ring of integers $\mathcal{O}_K$ in a totally real biquadratic number field $K$. We show that the known upper bound $7$ is attained in a large and natural infinite family of such fields. In contrast, for almost all fields $\mathbb{Q}(\sqrt5, \sqrt{s})$ we prove $\mathcal{P}(\mathcal{O}_K)=5$. Further we show that $5$ is a lower bound for all but seven fields $K$ and $6$ is a lower bound in an asymptotic sense. △ Less

Submitted 7 December, 2022; v1 submitted 18 May, 2021; originally announced May 2021.

Comments: 44 pages. A minor correction: By mistake, we originally quoted another paper by M. Peters for the results on real quadratic fields

MSC Class: 11E25 (Primary); 11E12; 11R04; 11R80 (Secondary)

Journal ref: Expo. Math. 40, 1181--1228 (2022)

There are no universal ternary quadratic forms over biquadratic fields

Authors: Jakub Krásenský, Magdaléna Tinková, Kristýna Zemková

Abstract: We study totally positive definite quadratic forms over the ring of integers $\mathcal{O}_K$ of a totally real biquadratic field $K=\mathbb{Q}(\sqrt{m}, \sqrt{s})$. We restrict our attention to classical forms (i.e., those with all non-diagonal coefficients in $2\mathcal{O}_K$) and prove that no such forms in three variables are universal (i.e., represent all totally positive elements of… ▽ More We study totally positive definite quadratic forms over the ring of integers $\mathcal{O}_K$ of a totally real biquadratic field $K=\mathbb{Q}(\sqrt{m}, \sqrt{s})$. We restrict our attention to classical forms (i.e., those with all non-diagonal coefficients in $2\mathcal{O}_K$) and prove that no such forms in three variables are universal (i.e., represent all totally positive elements of $\mathcal{O}_K$). This provides further evidence towards Kitaoka's conjecture that there are only finitely many number fields over which such forms exist. One of our main tools are additively indecomposable elements of $\mathcal{O}_K$; we prove several new results about their properties. △ Less

Submitted 26 May, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: To appear in Proc. Edinburgh Math. Soc

MSC Class: 11E20; 11E12; 11R04; 11R80

Journal ref: Proceedings of the Edinburgh Mathematical Society 63 (2020) 861-912