Showing 1–7 of 7 results for author: Doležálek, M

Secant varieties of Segre-Veronese varieties $\mathbb{P}^m\times\mathbb{P}^n$ embedded by $\mathcal{O}(1,2)$ are non-defective for $n\gg m^3$, $m\geq3$

Authors: Matěj Doležálek, Nikhil Ken

Abstract: We prove that for any $m\geq3$, $n\gg m^3$, all secant varieties of the Segre-Veronese variety $\mathbb{P}^m\times\mathbb{P}^n$ have the expected dimension. This was already proved by Abo and Brambilla in the subabundant case, hence we focus on the superabundant case. We generalize an approach due to Brambilla and Ottaviani into a construction we call the inductant. With this, the proof of non-def… ▽ More We prove that for any $m\geq3$, $n\gg m^3$, all secant varieties of the Segre-Veronese variety $\mathbb{P}^m\times\mathbb{P}^n$ have the expected dimension. This was already proved by Abo and Brambilla in the subabundant case, hence we focus on the superabundant case. We generalize an approach due to Brambilla and Ottaviani into a construction we call the inductant. With this, the proof of non-defectivity reduces to checking a finite collection of base cases, which we verify using a computer-assisted proof. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Comments: 33 pages, 6 figures. Source code and computational data available at https://github.com/tatarkajenej/SegVer-O-1-2-

MSC Class: 14N07 (Primary) 14N20; 14Q15; 15A69 (Secondary)

Generalizing Hurwitz's quaternionic proof of Lagrange's and Jacobi's four-square theorems

Authors: Matěj Doležálek

Abstract: A proof of Lagrange's and Jacobi's four-square theorem due to Hurwitz utilizes orders in a quaternion algebra over the rationals. Seeking a generalization of this technique to orders over number fields, we identify two key components: an order with a good factorization theory and the condition that all orbits under the action of the group of elements of norm $1$ acting by multiplication intersect… ▽ More A proof of Lagrange's and Jacobi's four-square theorem due to Hurwitz utilizes orders in a quaternion algebra over the rationals. Seeking a generalization of this technique to orders over number fields, we identify two key components: an order with a good factorization theory and the condition that all orbits under the action of the group of elements of norm $1$ acting by multiplication intersect the suborder corresponding to the quadratic form to be studied. We use recent results on class numbers of quaternion orders and then find all suborders satisfying the orbit condition. Subsequently, we obtain universality and formulas for the number of representations by the corresponding quadratic forms. We also present a quaternionic proof of Götzky's four-square theorem. △ Less

Submitted 25 September, 2024; originally announced September 2024.

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

No proper generalized quadratic forms are universal over quadratic fields

Authors: Ondřej Chwiedziuk, Matěj Doležálek, Simona Hlavinková, Emma Pěchoučková, Zdeněk Pezlar, Om Prakash, Anna Růžičková, Mikuláš Zindulka

Abstract: We consider generalized quadratic forms over real quadratic number fields and prove, under a natural positive-definiteness condition, that a generalized quadratic form can only be universal if it contains a quadratic subform that is universal. We also construct an example illustrating that the positive-definiteness condition is necessary. We consider generalized quadratic forms over real quadratic number fields and prove, under a natural positive-definiteness condition, that a generalized quadratic form can only be universal if it contains a quadratic subform that is universal. We also construct an example illustrating that the positive-definiteness condition is necessary. △ Less

Submitted 12 September, 2024; originally announced September 2024.

MSC Class: 11E12 (Primary); 11E20; 11E25; 11R11; 11R27; 11R80 (Secondary)

Representing rational integers by generalized quadratic forms over quadratic fields

Authors: Ondřej Chwiedziuk, Matěj Doležálek, Emma Pěchoučková, Zdeněk Pezlar, Om Prakash, Giuliano Romeo, Anna Růžičková, Mikuláš Zindulka

Abstract: We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every positive integer. We also show that there are only finitely many such fields where a ternary generalized form with these properties exists. We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every positive integer. We also show that there are only finitely many such fields where a ternary generalized form with these properties exists. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 26 pages; comments are welcome!

MSC Class: Primary 11E12 Secondary 11E16; 11E20; 11E25; 11E39; 11R11; 11R80

Equivariant Tutte Polynomial

Authors: Mario Bauer, Matěj Doležálek, Magdaléna Mišinová, Semen Słobodianiuk, Julian Weigert

Abstract: We use the equivariant cohomology ring of the permutohedral variety to study matroids and their invariants. Investigating the pushforward of matroid Chern classes defined by A. Berget, C. Eur, H. Spink and D. Tseng to the product space $\mathbb{P}^n \times \mathbb{P}^n$, we establish an equivariant generalization of the Tutte polynomial of a matroid. This was suggested in a survey paper by M.Micha… ▽ More We use the equivariant cohomology ring of the permutohedral variety to study matroids and their invariants. Investigating the pushforward of matroid Chern classes defined by A. Berget, C. Eur, H. Spink and D. Tseng to the product space $\mathbb{P}^n \times \mathbb{P}^n$, we establish an equivariant generalization of the Tutte polynomial of a matroid. This was suggested in a survey paper by M.Michałek. We discuss how this polynomial encodes properties of the matroid by looking at special evaluations. We further introduce an equivariant generalization of the reduced characteristic polynomial of a matroid. △ Less

Submitted 29 December, 2023; v1 submitted 1 December, 2023; originally announced December 2023.

Comments: 31 pages, 2 tables

MSC Class: 14C15 (Primary) 05E14; 14C17 (Secondary)

The Six-Vertex Model with a Non-Standard Boundary Condition

Authors: Matěj Doležálek, Martin Raška, Ester Sgallová, Eric Nathan Stucky, Mikuláš Zindulka

Abstract: We consider the enumeration of states in the Brubaker-Bump-Friedberg six-vertex model, whose boundary conditions are determined by an integer partition. In general, we find the number of states is a polynomial in the largest part of the partition. By explicating this technique, we also enumerate the states completely for hook shapes and staircases. We consider the enumeration of states in the Brubaker-Bump-Friedberg six-vertex model, whose boundary conditions are determined by an integer partition. In general, we find the number of states is a polynomial in the largest part of the partition. By explicating this technique, we also enumerate the states completely for hook shapes and staircases. △ Less

Submitted 8 October, 2023; originally announced October 2023.

Comments: 11 pages, 9 figures, comments are welcome!

MSC Class: 05A15; 05A19; 15B35; 82B20; 82B23

Quaternions and universal quadratic forms over number fields

Authors: Matěj Doležálek

Abstract: We study quadratic forms over totally real number fields by using an associated ring of quaternions. We examine some properties of residue class rings of these quaternions and use geometry of numbers to prove that certain ideals of the ring of quaternions contain elements of a small norm. We prove that $x^2+y^2+z^2+w^2+xy+xz+xw$ is universal over $\mathbb{Q}(ζ_7+ζ_7^{-1})$ and that… ▽ More We study quadratic forms over totally real number fields by using an associated ring of quaternions. We examine some properties of residue class rings of these quaternions and use geometry of numbers to prove that certain ideals of the ring of quaternions contain elements of a small norm. We prove that $x^2+y^2+z^2+w^2+xy+xz+xw$ is universal over $\mathbb{Q}(ζ_7+ζ_7^{-1})$ and that $x^2+xy+y^2+z^2+zw+w^2$ represents all totally positive multiples of certain special elements. △ Less

Submitted 13 December, 2020; originally announced December 2020.

MSC Class: 11E12; 11H06; 11R52; 11R80; (11R16)