Showing 1–10 of 10 results for author: Kirschmer, M

Virtually abelian symmetry groups of hyperbolic lattices

Authors: Simon Brandhorst, Markus Kirschmer, Giacomo Mezzedimi

Abstract: We give a classification of integral lattices with virtually abelian symmetry group. As a consequence, we complete the classification of K3 surfaces with virtually abelian automorphism group. In the appendix we formulate an algorithm for weak approximation in orthogonal groups and use it to determine if two indefinite lattices are isometric. We give a classification of integral lattices with virtually abelian symmetry group. As a consequence, we complete the classification of K3 surfaces with virtually abelian automorphism group. In the appendix we formulate an algorithm for weak approximation in orthogonal groups and use it to determine if two indefinite lattices are isometric. △ Less

Submitted 28 July, 2025; originally announced July 2025.

Comments: 14 pages; with an appendix by Simon Brandhorst and Markus Kirschmer

MSC Class: 11H56; 14J28

Enumerating orders in number fields

Authors: Markus Kirschmer, Jürgen Klüners

Abstract: We arrange the orders in an algebraic number field in a tree. This tree can be used to enumerate all orders of bounded index in the maximal order as well as the orders over some given order. We arrange the orders in an algebraic number field in a tree. This tree can be used to enumerate all orders of bounded index in the maximal order as well as the orders over some given order. △ Less

Submitted 13 November, 2024; originally announced November 2024.

MSC Class: 11R54; 11Y40

Chow groups of one-dimensional noetherian domains

Authors: Markus Kirschmer, Jürgen Klüners

Abstract: We discuss various connections between ideal classes, divisors, Picard and Chow groups of one-dimensional noetherian domains. As a result of these, we give a method to compute Chow groups of orders in global fields and show that there are infinitely many number fields which contain orders with trivial Chow groups. We discuss various connections between ideal classes, divisors, Picard and Chow groups of one-dimensional noetherian domains. As a result of these, we give a method to compute Chow groups of orders in global fields and show that there are infinitely many number fields which contain orders with trivial Chow groups. △ Less

Submitted 14 October, 2024; v1 submitted 31 August, 2022; originally announced August 2022.

Comments: minor changes

MSC Class: 11R54; 11Y40

Spanning the isogeny class of a power of an ordinary elliptic curve over a finite field. Application to the number of rational points of curves of genus $\leq 4$

Authors: Markus Kirschmer, Fabien Narbonne, Christophe Ritzenthaler, Damien Robert

Abstract: Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class of $E^g$. The varieties are first described as hermitian lattices over (not necessarily maximal) quadratic orders and then geometrically in terms of their algeb… ▽ More Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class of $E^g$. The varieties are first described as hermitian lattices over (not necessarily maximal) quadratic orders and then geometrically in terms of their algebraic theta null point. We also show how to algebraically compute Siegel modular forms of even weight given as polynomials in the theta constants by a careful choice of an affine lift of the theta null point. We then use these results to give an algebraic computation of Serre's obstruction for principally polarized abelian threefolds isogenous to $E^3$ and of the Igusa modular form in dimension $4$. We illustrate our algorithms with examples of curves with many rational points over finite fields. △ Less

Submitted 14 June, 2021; v1 submitted 17 April, 2020; originally announced April 2020.

MSC Class: 14H42; 14G15; 14H45; 16H20

Determinant groups of hermitian lattices over local fields

Authors: Markus Kirschmer

Abstract: We describe the determinants of the automorphism groups of hermitian lattices over local fields. Using a result of G. Shimura, this yields an explicit method to compute the special genera in a given genus of hermitian lattices over a number field. We describe the determinants of the automorphism groups of hermitian lattices over local fields. Using a result of G. Shimura, this yields an explicit method to compute the special genera in a given genus of hermitian lattices over a number field. △ Less

Submitted 9 April, 2019; originally announced April 2019.

MSC Class: 11E39 (Primary) 15A15; 15B57 (Secondary)

Quaternary quadratic lattices over number fields

Authors: Markus Kirschmer, Gabriele Nebe

Abstract: We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space (V,q) with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of (V,q). This yields a good algorithm to enumerate a system of representatives of proper isometry classes of lattices in genera of maximal lattices in (V,q). We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space (V,q) with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of (V,q). This yields a good algorithm to enumerate a system of representatives of proper isometry classes of lattices in genera of maximal lattices in (V,q). △ Less

Submitted 10 September, 2018; v1 submitted 18 May, 2017; originally announced May 2017.

MSC Class: 11E20; 11E41; 11E12; 11R52

One class genera of lattice chains over number fields

Authors: Markus Kirschmer, Gabriele Nebe

Abstract: We classify all one-class genera of admissible lattice chains of length at least 2 in hermitian spaces over number fields. We classify all one-class genera of admissible lattice chains of length at least 2 in hermitian spaces over number fields. △ Less

Submitted 20 December, 2016; originally announced December 2016.

Single-Class Genera of Positive Integral Lattices

Authors: David Lorch, Markus Kirschmer

Abstract: We give an enumeration of all positive definite primitive Z-lattices in dimension >= 3 whose genus consists of a single isometry class. This is achieved by using bounds obtained from the Smith-Minkowski-Siegel mass formula to computationally construct the square-free determinant lattices with this property, and then repeatedly calculating pre-images under a mapping first introduced by G. L. Watson… ▽ More We give an enumeration of all positive definite primitive Z-lattices in dimension >= 3 whose genus consists of a single isometry class. This is achieved by using bounds obtained from the Smith-Minkowski-Siegel mass formula to computationally construct the square-free determinant lattices with this property, and then repeatedly calculating pre-images under a mapping first introduced by G. L. Watson. We hereby complete the classification of single-class genera in dimensions 4 and 5 and correct some mistakes in Watson's classifications in other dimensions. A list of all single-class primitive Z-lattices has been compiled and incorporated into the Catalogue of Lattices. △ Less

Submitted 14 May, 2013; v1 submitted 28 August, 2012; originally announced August 2012.

Journal ref: LMS Journal of Computation and Mathematics / Volume 16 / 2013 / pp 172-186

Finite symplectic matrix groups

Authors: Markus Kirschmer

Abstract: This paper classifies the maximal finite subgroups of Sp(2n,Q) for 1 <= n <= 11 up to conjugacy in GL(2n,Q). This paper classifies the maximal finite subgroups of Sp(2n,Q) for 1 <= n <= 11 up to conjugacy in GL(2n,Q). △ Less

Submitted 22 September, 2009; originally announced September 2009.

MSC Class: 20H20;20C10

Algorithmic enumeration of ideal classes for quaternion orders

Authors: Markus Kirschmer, John Voight

Abstract: We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the run time of these algorithms and consider several related problems, including the computation of two-sided ideal classes, isomorphism classes of orders, connecting ideals for orders, and ideal principalization. We conclude… ▽ More We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the run time of these algorithms and consider several related problems, including the computation of two-sided ideal classes, isomorphism classes of orders, connecting ideals for orders, and ideal principalization. We conclude by giving the complete list of definite Eichler orders with class number at most 2. △ Less

Submitted 18 November, 2014; v1 submitted 28 August, 2008; originally announced August 2008.

Comments: 39 pages, includes 2 tables; corrections made to Table 8.3