@article{55554, 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.}}, author = {{Kirschmer, Markus and Klüners, Jürgen}}, issn = {{2522-0160}}, journal = {{Research in Number Theory}}, number = {{4}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Chow groups of one-dimensional noetherian domains}}}, doi = {{10.1007/s40993-024-00579-6}}, volume = {{10}}, year = {{2024}}, } @article{45854, abstract = {{In a previous paper the authors developed an algorithm to classify certain quaternary quadratic lattices over totally real fields. The present article applies this algorithm to the classification of binary Hermitian lattices over totally imaginary fields. We use it in particular to classify the 48-dimensional extremal even unimodular lattices over the integers that admit a semilarge automorphism.}}, author = {{Kirschmer, Markus and Nebe, Gabriele}}, issn = {{1058-6458}}, journal = {{Experimental Mathematics}}, keywords = {{General Mathematics}}, number = {{1}}, pages = {{280--301}}, publisher = {{Informa UK Limited}}, title = {{{Binary Hermitian Lattices over Number Fields}}}, doi = {{10.1080/10586458.2019.1618756}}, volume = {{31}}, year = {{2022}}, } @article{34912, 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⁹ . 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³ and of the Igusa modular form in dimension 4. We illustrate our algorithms with examples of curves with many rational points over finite fields. }}, author = {{Kirschmer, Markus and Narbonne, Fabien and Ritzenthaler, Christophe and Robert, Damien}}, issn = {{0025-5718}}, journal = {{Mathematics of Computation}}, keywords = {{Applied Mathematics, Computational Mathematics, Algebra and Number Theory}}, number = {{333}}, pages = {{401--449}}, publisher = {{American Mathematical Society (AMS)}}, title = {{{Spanning the isogeny class of a power of an elliptic curve}}}, doi = {{10.1090/mcom/3672}}, volume = {{91}}, year = {{2021}}, } @article{34917, 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).}}, author = {{Kirschmer, Markus and Nebe, Gabriele}}, issn = {{1793-0421}}, journal = {{International Journal of Number Theory}}, keywords = {{Algebra and Number Theory}}, number = {{02}}, pages = {{309--325}}, publisher = {{World Scientific Pub Co Pte Lt}}, title = {{{Quaternary quadratic lattices over number fields}}}, doi = {{10.1142/s1793042119500131}}, volume = {{15}}, year = {{2019}}, } @article{34916, abstract = {{We describe the powers of irreducible polynomials occurring as characteristic polynomials of automorphisms of even unimodular lattices over number fields. This generalizes results of Gross & McMullen and Bayer-Fluckiger & Taelman.}}, author = {{Kirschmer, Markus}}, issn = {{0022-314X}}, journal = {{Journal of Number Theory}}, keywords = {{Algebra and Number Theory}}, pages = {{121--134}}, publisher = {{Elsevier BV}}, title = {{{Automorphisms of even unimodular lattices over number fields}}}, doi = {{10.1016/j.jnt.2018.08.004}}, volume = {{197}}, year = {{2019}}, } @article{34915, 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.}}, author = {{Kirschmer, Markus}}, issn = {{0003-889X}}, journal = {{Archiv der Mathematik}}, keywords = {{General Mathematics}}, number = {{4}}, pages = {{337--347}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Determinant groups of Hermitian lattices over local fields}}}, doi = {{10.1007/s00013-019-01348-z}}, volume = {{113}}, year = {{2019}}, } @inbook{42788, abstract = {{We classify all one-class genera of admissible lattice chains of length at least 2 in hermitian spaces over number fields. If L is a lattice in the chain and p the prime ideal dividing the index of the lattices in the chain, then the {p}-arithmetic group Aut(L{p}) acts chamber transitively on the corresponding Bruhat-Tits building. So our classification provides a step forward to a complete classification of these chamber transitive groups which has been announced 1987 (without a detailed proof) by Kantor, Liebler and Tits. In fact we find all their groups over number fields and one additional building with a discrete chamber transitive group.}}, author = {{Kirschmer, Markus and Nebe, Gabriele}}, booktitle = {{Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory}}, isbn = {{9783319705651}}, publisher = {{Springer International Publishing}}, title = {{{One Class Genera of Lattice Chains Over Number Fields}}}, doi = {{10.1007/978-3-319-70566-8_22}}, year = {{2018}}, } @article{42790, abstract = {{We show that exceptional algebraic groups over number fields do not admit one-class genera of parahoric groups, except in the case G₂ . For the group G₂, we enumerate all such one-class genera for the usual seven-dimensional representation.}}, author = {{Kirschmer, Markus}}, issn = {{1246-7405}}, journal = {{Journal de Théorie des Nombres de Bordeaux}}, keywords = {{Algebra and Number Theory}}, number = {{3}}, pages = {{847--857}}, publisher = {{Cellule MathDoc/CEDRAM}}, title = {{{One-class genera of exceptional groups over number fields}}}, doi = {{10.5802/jtnb.1052}}, volume = {{30}}, year = {{2018}}, } @article{42791, abstract = {{We describe a practical algorithm to solve the constructive membership problem for discrete two-generator subgroups of SL₂(R) or PSL₂(R). This algorithm has been implemented in Magma for groups defined over real algebraic number fields.}}, author = {{Kirschmer, Markus and Rüther, Marion G.}}, issn = {{0021-8693}}, journal = {{Journal of Algebra}}, keywords = {{Algebra and Number Theory}}, pages = {{519--548}}, publisher = {{Elsevier BV}}, title = {{{The constructive membership problem for discrete two-generator subgroups of SL(2,R)}}}, doi = {{10.1016/j.jalgebra.2017.02.029}}, volume = {{480}}, year = {{2017}}, } @article{42792, abstract = {{We enumerate all positive definite ternary quadratic forms over number fields with class number at most 2. This is done by constructing all definite quaternion orders of type number at most 2 over number fields. Finally, we list all definite quaternion orders of ideal class number 1 or 2.}}, author = {{Kirschmer, Markus and Lorch, David}}, issn = {{0022-314X}}, journal = {{Journal of Number Theory}}, keywords = {{Algebra and Number Theory}}, pages = {{343--361}}, publisher = {{Elsevier BV}}, title = {{{Ternary quadratic forms over number fields with small class number}}}, doi = {{10.1016/j.jnt.2014.11.001}}, volume = {{161}}, year = {{2016}}, } @misc{43454, abstract = {{Die Gitter von Klassenzahl eins oder zwei sind hier verfügbar: http://www.math.rwth-aachen.de/~Markus.Kirschmer/forms/}}, author = {{Kirschmer, Markus}}, pages = {{166}}, title = {{{Definite quadratic and hermitian forms with small class number (Habilitation)}}}, year = {{2016}}, } @article{42793, abstract = {{Suppose Q is a definite quadratic form on a vector space V over some totally real field K ≠ Q. Then the maximal integral Zₖ-lattices in (V,Q) are locally isometric everywhere and hence form a single genus. We enumerate all orthogonal spaces (V,Q) of dimension at least 3, where the corresponding genus of maximal integral lattices consists of a single isometry class. It turns out, there are 471 such genera. Moreover, the dimension of V and the degree of K are bounded by 6 and 5 respectively. This classification also yields all maximal quaternion orders of type number one.}}, author = {{Kirschmer, Markus}}, issn = {{0022-314X}}, journal = {{Journal of Number Theory}}, keywords = {{Algebra and Number Theory}}, pages = {{375--393}}, publisher = {{Elsevier BV}}, title = {{{One-class genera of maximal integral quadratic forms}}}, doi = {{10.1016/j.jnt.2013.10.007}}, volume = {{136}}, year = {{2014}}, } @article{42801, abstract = {{We exhibit a practical algorithm for solving the constructive membership problem for discrete free subgroups of rank 2 in PSL₂(R) or SL₂(R). This algorithm, together with methods for checking whether a two-generator subgroup of PSL₂(R) or SL₂(R) is discrete and free, have been implemented in Magma for groups defined over real algebraic number fields.}}, author = {{Kirschmer, Markus and LEEDHAM-GREEN, CHARLES}}, issn = {{0017-0895}}, journal = {{Glasgow Mathematical Journal}}, keywords = {{General Mathematics}}, number = {{1}}, pages = {{173--180}}, publisher = {{Cambridge University Press (CUP)}}, title = {{{Computing with subgroups of the modular group }}}, doi = {{10.1017/s0017089514000202}}, volume = {{57}}, year = {{2014}}, } @article{42794, abstract = {{We exhibit a practical algorithm for solving the constructive membership problem for discrete free subgroups of rank 2 in PSL₂(R) or SL₂(R). This algorithm, together with methods for checking whether a two-generator subgroup of PSL₂(R) or SL₂(R) is discrete and free, have been implemented in Magma for groups defined over real algebraic number fields.}}, author = {{Eick, B. and Kirschmer, Markus and Leedham-Green, C.}}, issn = {{1461-1570}}, journal = {{LMS Journal of Computation and Mathematics}}, keywords = {{Computational Theory and Mathematics, General Mathematics}}, number = {{1}}, pages = {{345--359}}, publisher = {{Wiley}}, title = {{{The constructive membership problem for discrete free subgroups of rank 2 of SL₂(R)}}}, doi = {{10.1112/s1461157014000047}}, volume = {{17}}, year = {{2014}}, } @inbook{42805, abstract = {{Following an idea of B. H. Gross, who presented an elliptic curve test for Mersenneprimes Mₚ=2ᵖ−1, we propose a similar test with elliptic curves for generalizedThabit primesK(h, n) := h·2ⁿ−1 for any positive odd number h and any integer n> log₂(h)+2.}}, author = {{Kirschmer, Markus and Mertens, Michael H.}}, booktitle = {{Integers}}, isbn = {{9783110298116}}, publisher = {{DE GRUYTER}}, title = {{{On an analogue to the Lucas-Lehmer-Riesel test using elliptic curves}}}, doi = {{10.1515/9783110298161.212}}, year = {{2013}}, } @article{42796, abstract = {{We give an enumeration of all positive definite primitive Z-lattices in dimension n ≥ 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.}}, author = {{Lorch, David and Kirschmer, Markus}}, issn = {{1461-1570}}, journal = {{LMS Journal of Computation and Mathematics}}, keywords = {{Computational Theory and Mathematics, General Mathematics}}, pages = {{172--186}}, publisher = {{Wiley}}, title = {{{Single-class genera of positive integral lattices}}}, doi = {{10.1112/s1461157013000107}}, volume = {{16}}, year = {{2013}}, } @article{42797, abstract = {{An efficient algorithm to compute automorphism groups and isometries of definite Fq[t]-lattices for odd q is presented. The algorithm requires several square root computations in Fq₂ but no enumeration of orbits having more than eight elements. }}, author = {{Kirschmer, Markus}}, issn = {{0025-5718}}, journal = {{Mathematics of Computation}}, keywords = {{Applied Mathematics, Computational Mathematics, Algebra and Number Theory}}, number = {{279}}, pages = {{1619--1634}}, publisher = {{American Mathematical Society (AMS)}}, title = {{{A normal form for definite quadratic forms over $\mathbb{F}_{q}[t]$}}}, doi = {{10.1090/s0025-5718-2011-02570-6}}, volume = {{81}}, year = {{2012}}, } @article{42798, abstract = {{This paper classifies the maximal finite subgroups of SP₂ₙ(Q) for 1⩽n⩽11 up to GL₂ₙ(Q) conjugacy in .}}, author = {{Kirschmer, Markus}}, issn = {{1058-6458}}, journal = {{Experimental Mathematics}}, keywords = {{General Mathematics}}, number = {{2}}, pages = {{217--228}}, publisher = {{Informa UK Limited}}, title = {{{Finite Symplectic Matrix Groups}}}, doi = {{10.1080/10586458.2011.564964}}, volume = {{20}}, year = {{2011}}, } @article{42803, 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 by giving the complete list of definite Eichler orders with class number at most 2.}}, author = {{Kirschmer, Markus and Voight, John}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, keywords = {{General Mathematics, General Computer Science}}, number = {{5}}, pages = {{1714--1747}}, publisher = {{Society for Industrial & Applied Mathematics (SIAM)}}, title = {{{Algorithmic Enumeration of Ideal Classes for Quaternion Orders}}}, doi = {{10.1137/080734467}}, volume = {{39}}, year = {{2010}}, } @phdthesis{43453, abstract = {{Die invarianten Formen aus dem Anhang sind hier verfügbar:http://www.math.rwth-aachen.de/homes/Markus.Kirschmer/symplectic/}}, author = {{Kirschmer, Markus}}, pages = {{149}}, title = {{{Finite symplectic matrix groups (Dissertation)}}}, year = {{2009}}, }