Related papers: Number Theory in OSCAR

Coalgebras generalize various kinds of dynamical systems occuring in mathematics and computer science. Examples of systems that can be modeled as coalgebras include automata and Markov chains. We will present a coalgebraic representation of…

Let $G$ be a finite group. Then there exists a first-order statement $S(G)$ in the language of rings without parameters and depending only on $G$ such that, for any field $K$, we have that $K\models S(G)$ if and only if $K$ has a Galois…

Elaborating on a method of Soul\'e, and using better estimates for the geometry of hermitian lattices, we improve the upper bounds for the torsion part of the K-theory of the rings of integers of number fields.

We develop geometry-of-numbers methods to count orbits in coregular vector spaces having bounded invariants over any global field. We apply these techniques to bound the average ranks and determine average Selmer group sizes of elliptic…

For a finite abelian 2-group $G$, we study the frequency with which quadratic imaginary number fields $K$ have 2-part of their class group $K$ isomorphic to $G$. A philosophy enunciated by Gerth extends the Cohen-Lenstra heuristics for…

We develop a calculus based on graph enumeration for $S_n$-equivariant motivic invariants of graphically stratified moduli spaces. We apply our theory to the Deligne--Mumford moduli space $\overline{\mathcal{M}}_{g, n}$ and to the space of…

This book is a rigorous and conceptually oriented introduction to ring theory. The emphasis is on structural understanding rather than encyclopedic coverage: rings are studied through ideals, homomorphisms, quotients, and universal…

We prove very general index formulae for integral Galois modules, specifically for units in rings of integers of number fields, for higher K-groups of rings of integers, and for Mordell-Weil groups of elliptic curves over number fields.…

We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…

In this talk the main features of the operator formalism for the $b-c$ systems on general algebraic curves developed in refs. [1-2] are reviewed. The first part of the talk is an introduction to the language of algebraic curves. Some…

We propose a general formulation of perturbative quantum field theory on (finitely generated) projective modules over noncommutative algebras. This is the analogue of scalar field theories with non-trivial topology in the noncommutative…

We give a new geometric description of when an element of the class group of a quadratic field, thought of as a quadratic form $q$, is $n$-torsion. We show that $q$ corresponds to an $n$-torsion element if and only if there exists a degree…

This article discusses deviations from the Cohen-Lenstra heuristics when roots of unity are present. In particular, we propose an explanation for the discrepancy between the observed number of cyclic cubic fields whose 2-class group is…

Let $R$ be a Cohen--Macaulay local $K$-algebra or a standard graded $K$-algebra over a field $K$ with a canonical module $\omega_R$. The trace of $\omega_R$ is the ideal $tr(\omega_R)$ of $R$ which is the sum of those ideals…

We consider a quantum theory based on a Galois field. In this approach infinities cannot exist, the cosmological constant problem does not arise, and one irreducible representation (IR) of the symmetry algebra splits into independent IRs…

Important characteristics of the loop approach to quantum gravity are a specific choice of the algebra A of observables and of a representation of A on a measure space over the space of generalized connections. This representation is…

In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…

Previous research on exceptional units has primarily focused on the ring of rational integers or abstract finite rings, often restricted to linear or quadratic constraints. In this paper, we extend the concept of polynomial-type exceptional…

For every odd integer $n \geq 3$, we prove that there exist infinitely many number fields of degree $n$ and associated Galois group $S_n$ whose class number is odd. To do so, we study the class groups of families of number fields of degree…

We compute the motivic homotopy groups of algebraic cobordism over number fields, the motivic homotopy groups of 2-complete algebraic cobordism over the real numbers and rings of $2$-integers and the motivic homotopy groups of mod 2 motivic…