Related papers: Number Theory in OSCAR
In this series of lectures directed towards a mainly mathematically oriented audience I try to motivate the use of operator algebra methods in quantum field theory. Therefore a title as ``why mathematicians are/should be interested in…
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions,…
Modular categories are important algebraic structures in a variety of subjects in mathematics and physics. We provide an explicit, motivated and elementary definition of a modular category over a field of characteristic 0 as an equivalence…
Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebraic theories for languages for inference, and their…
Theory of representations of F-algebra is a natural development of the theory of F-algebra. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. In the book I considered the…
Oscillation theory locates the spectrum of a differential equation by counting the zeros of its solutions. We present a version of this theory for canonical systems $Ju'=-zHu$ and then use it to discuss semibounded operators from this point…
We propose a modification to the Cohen--Lenstra prediction for the distribution of class groups of number fields, which should also apply when the base field contains non-trivial roots of unity. The underlying heuristic derives from the…
In this paper, we apply ideas of Dijkgraaf and Witten on 2+1 dimensional topological quantum field theory to arithmetic curves, that is, the spectra of rings of integers in algebraic number fields. In the first three sections, we define…
In this paper we study the distribution of orders of bounded discriminants in number fields. We give an asymptotic formula for the number of orders contained in the ring of integers of a quintic number field.
We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…
The modern quantum theory is based on the assumption that quantum states are represented by elements of a complex Hilbert space. It is expected that in future quantum theory the number field will be not postulated but derived from more…
In this exposition we discuss the theory of algebraic extensions of valued fields. Our approach is mostly through Galois theory. Most of the results are well-known, but some are new. No previous knowledge on the theory of valuations is…
We study the K-theory of ring C*-algebras associated to rings of integers in global function fields with only one single infinite place. First, we compute the torsion-free part of the K-groups of these ring C*-algebras. Secondly, we show…
Hurwitz spaces which parametrize branched covers of the line play a prominent role in inverse Galois theory. This paper surveys fifty years of works in this direction with emphasis on recent advances. Based on the Riemann-Hurwitz theory of…
Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a…
We present here some results of applying the Cayley-Dickson process to certain alternative algebras (notably built upon Galois fields and congruence rings), in a manner which might yield new building blocks for cryptographic systems. We…
The fundamental concepts in the Galois Theory are separable, normal and Galois field extensions. These concepts are central in proofs of the Galois Theory. In the paper, we introduce a new approach, a ring theoretic approach, to the Galois…
A theory of monoids in the category of bicomodules of a coalgebra $C$ or $C$-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is…
Given a random real quadratic field from $\{ \mathbb{Q}(\sqrt{p}\,) ~|~ p \text{ primes} \}$, the conjectural probability $\mathbb{P}(h=q)$ that it has class number $q$ is given for all positive odd integers $q$. Some related conjectures of…
We propose a type-theoretic framework for describing and proving properties of quantum computations, in particular those presented as quantum circuits. Our proposal is based on an observation that, in the polymorphic type system of Coq,…