Related papers: Class fields and form class groups for solving cer…
In this thesis, we develop algorithms similar to the Gaussian elimination algorithm in symplectic and split orthogonal similitude groups. As an application to this algorithm, we compute the spinor norm for split orthogonal groups. Also, we…
Let $K$ be an imaginary biquadratic field and $K_1$, $K_2$ be its imaginary quadratic subfields. For integers $N>0$, $\mu\geq 0$ and an odd prime $p$ with $\gcd(N,p)=1$, let $K_{(Np^\mu)}$ and $(K_i)_{(Np^\mu)}$ for $i=1,2$ be the ray class…
Let $n$ be a squarefree positive odd integer. We will show that there exist infinitely many imaginary quadratic number fields with discriminant divisible by $n$ and-at the same time-having an element of order $n$ in the class group. We then…
We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…
You can invent striking and challenging problems with unique solution by building some symmetry into functional equations. Some are suitable for high school; others could generate college-level projects involving computer algebra. The…
Let $F$ be a totally real field with ring of integers $O_F$, and $D$ be a totally definite quaternion algebra over $F$. A well-known formula established by Eichler and then extended by K\"orner computes the class number of any $O_F$-order…
We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…
We introduce a generalisation of norm relations in the group algebra Q[G], where G is a finite group. We give some properties of these relations, and use them to obtain relations between the S-unit groups of different subfields of the same…
In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degree and nontrivial class group. Using the algorithm over…
We formulate the unitary rational orbifold conformal field theories in the algebraic quantum field theory framework. Under general conditions, we show that the orbifold of a given unitary rational conformal field theories generates a…
We introduce an algorithm that computes explicit class fields of an imaginary quadratic field $K$ for a given modulus $\mathfrak{f}\subset\mathcal{O}_K$ more efficiently than the use of their classical counterparts. Therein, we prove the…
As a continuation of the authors and Wakatsuki's previous paper [5], we study relations among Dirichlet series whose coefficients are class numbers of binary cubic forms. We show that for any integral models of the space of binary cubic…
We compute the spinor class field for a genus of orders, in a central simple algebra of higher dimension, that are intersections of two maximal orders. In particular, we compute the number of spinor genera in a genus of such orders, as the…
We functorially identify similarity classes of line-bundle-valued quadratic forms on rank two vector bundles with isomorphism classes of pairs consisting of the degree zero and the degree one parts of the associated generalized Clifford…
This is the second in a series of two papers presenting a solution to Hilbert's 12th problem for real quadratic function fields in positive characteristic, in the sense of proving an analog of the Theorem of Weber-Fueter. We also offer a…
Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves; for the first, we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group…
For a congruence subgroup $\Gamma$, we define the notion of $\Gamma$-equivalence on binary quadratic forms which is the same as proper equivalence if $\Gamma = \mathrm{SL}_2(\mathbb Z)$. We develop a theory on $\Gamma$-equivalence such as…
Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic…
Recently, we have endowed various categories of groups with topologies. The purpose of this paper is to introduce on these categories others topologies which are statistically more suitable to study well-known problems in groups theory. We…
We consider spaces of modular forms attached to definite orthogonal groups of low even rank and nontrivial level, equipped with Hecke operators defined by Kneser neighbours. After reviewing algorithms to compute with these spaces, we…