English
Related papers

Related papers: Computing Arakelov class groups

200 papers

Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied…

Number Theory · Mathematics 2023-04-03 Daniel C. Mayer

In a recent work [Das et al., Bull. Sci. Math. 199 (2025), 103580], the structure of characterized subgroups corresponding to arithmetic-type sequences was investigated. Building upon this work, we further show that a characterized subgroup…

Number Theory · Mathematics 2025-06-19 Ayan Ghosh , Pratulananda Das

We give an explicit description of the category of central extensions of a group scheme by a sheaf of Abelian groups. Based on this, we describe a framework for computing with central extensions of finite commutative group schemes, torsors…

Algebraic Geometry · Mathematics 2022-07-26 Peter Bruin

In this paper we present an algorithm for computing Groebner bases of linear ideals in a difference polynomial ring over a ground difference field. The input difference polynomials generating the ideal are also assumed to be linear. The…

Mathematical Physics · Physics 2009-11-11 Vladimir P. Gerdt

Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible…

Commutative Algebra · Mathematics 2017-08-04 Christopher J. Hillar , Robert Krone , Anton Leykin

In this paper, we shall discuss possible theories of defining equivariant singular Bott-Chern classes and corresponding uniqueness property. By adding a natural axiomatic characterization to the usual ones of equivariant Bott-Chern…

Algebraic Geometry · Mathematics 2011-02-23 Shun Tang

We introduce a cohomology set for groups defined by algebraic difference equations and show that it classifies torsors under the group action. This allows us to compute all torsors for large classes of groups. We also develop some tools for…

Algebraic Geometry · Mathematics 2016-07-26 Annette Bachmayr , Michael Wibmer

In this paper we describe an efficient involutive algorithm for constructing Groebner bases of polynomial ideals. The algorithm is based on the concept of involutive monomial division which restricts the conventional division in a certain…

Commutative Algebra · Mathematics 2007-05-23 Vladimir P. Gerdt

We describe an algorithm for determining the algebraic subgroup of GL(n,C) that is defined as the closure of the group generated by a finite number of elements of GL(n,C). The algorithm avoids the use of Groebner bases and can be used on…

Group Theory · Mathematics 2026-01-12 Willem A. de Graaf

An overview of quantum computing and in particular the Hidden Subgroup Problem are presented from a mathematical viewpoint. Detailed proofs are supplied for many important results from the literature, and notation is unified, making it…

Quantum Physics · Physics 2007-05-23 Chris Lomont

In the present paper, we examine in detail the method of "graph compactifications" of topological groups. The graph and Ellis methods of constructing proper compactifications of topological groups are applied for the investigation of…

General Topology · Mathematics 2026-04-28 K. L. Kozlov , A. G. Leiderman

This paper studies the class group of graded integral domains. As an application, we state a decomposition theorem for class groups of semigroup rings. This recovers well-known results developed for the classic contexts of polynomial rings…

Commutative Algebra · Mathematics 2007-05-23 S. El Baghdadi , L. Izelgue , S. Kabbaj

Linear recurrent sequences are those whose elements are defined as linear combinations of preceding elements, and finding recurrence relations is a fundamental problem in computer algebra. In this paper, we focus on sequences whose elements…

Symbolic Computation · Computer Science 2021-06-10 Seung Gyu Hyun , Vincent Neiger , Éric Schost

We describe Universal Coefficient Theorems for the equivariant Kasparov theory for C*-algebras with an action of the group of integers or over a unique path space, using KK-valued invariants. We compare the resulting classification up to…

K-Theory and Homology · Mathematics 2020-11-04 Ralf Meyer

We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects specified as a Haskell type class. Our algorithms work on a {\em generic} representation that we illustrate on…

Mathematical Software · Computer Science 2019-09-17 Paul Tarau

We suggest a simple definition for categorification of modules over rings and illustrate it by categorifying integral Specht modules over the symmetric group and its Hecke algebra via the action of translation functors on some subcategories…

Representation Theory · Mathematics 2008-03-06 Mikhail Khovanov , Volodymyr Mazorchuk , Catharina Stroppel

As a kind of basic machine learning method, clustering algorithms group data points into different categories based on their similarity or distribution. We present a clustering algorithm by finding hyper-planes to distinguish the data…

Computer Vision and Pattern Recognition · Computer Science 2020-04-28 Luhong Diao , Jinying Gao1 , Manman Deng

We describe a ring whose category of Cohen-Macaulay modules provides an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of k-planes in n-space. More precisely, there is a…

Representation Theory · Mathematics 2017-05-17 Bernt Tore Jensen , Alastair King , Xiuping Su

Schubert polynomials are a basis for the polynomial ring that represent Schubert classes for the flag manifold. In this paper, we introduce and develop several new combinatorial models for Schubert polynomials that relate them to other…

Combinatorics · Mathematics 2020-03-05 Sami Assaf

Common experience suggests that many networks might possess community structure - division of vertices into groups, with a higher density of edges within groups than between them. Here we describe a new computer algorithm that detects…

Statistical Mechanics · Physics 2015-06-24 M. E. J. Newman , M. Girvan