Related papers: Principalization of logarithmic class groups

We prove an inclusion result for graded dagger closure for primary ideals in symmetric section rings of abelian varieties over an algebraically closed field of arbitrary characteristic.

The aim of this paper is to extend our old results about Galois action on the torsion points of abelian varieties to the case of (finitely generated) fields of characteristic 2.

We count abelian number fields ordered by arbitrary height function whose generator of tame inertia is restricted to lie in a given subset of the Galois group, and find an explicit formula for the leading constant. We interpret our results…

We found a regularity of the behavior of primes that allows to represent both prime and natural numbers as infinite matrices with a common formation rule of their rows. This regularity determines a new class of infinite cyclic groups that…

We study the class of those linear relations that can be factorized as products of idempotent relations. We provide several characterizations of this class, extending known factorization results for operators to the more general setting of…

Let $U/L$ be a finite abelian extension of number fields. We first construct a universal primitive generator of $U$ over $L$ whose relative trace to any intermediate field $F$ becomes a generator of $F$ over $L$, too. We also develop a…

For any given finite abelian group, we give factorizations of the group determinant in the group algebra of any subgroup. The factorizations are an extension of Dedekind's theorem. The extension leads to a generalization of Dedekind's…

We describe gradings by finite abelian groups on the associative algebras of infinite matrices with finitely many nonzero entries, over an algebraically closed field of characteristic zero.

Let $p_1\equiv p_2\equiv -q\equiv1 \pmod4$ be different primes such that $\displaystyle\left(\frac{2}{p_1}\right)= \displaystyle\left(\frac{2}{p_2}\right)=\displaystyle\left(\frac{p_1}{q}\right)=\displaystyle\left(\frac{p_2}{q}\right)=-1$.…

This note discusses our formalisation in Lean of the classification of the groups of order $p q$ for (not necessarily distinct) prime numbers $p$ and $q$, together with various intermediate results such as the characterisation of internal…

The asymptotic behavior of graded Betti numbers of powers of homogeneous ideals in a polynomial ring over a field has recently been reviewed. We extend quasi polynomial behavior of graded Betti numbers of powers of homogenous ideals to…

We investigate two notions about descriptions of groups using first-order language: quasi-finite axiomatizability, concerning infinite groups, and polylogarithmic compressibility, concerning classes of finite groups.

The present note surveys my research related to generalizing notions of abelian group theory to non-commutative case and applying them particularly to investigate fundamental groups.

Let $R$ be an order in an algebraic number field. If $R$ is a principal order, then many explicit results on its arithmetic are available. Among others, $R$ is half-factorial if and only if the class group of $R$ has at most two elements.…

In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are…

We use knowledge of local fields to adapt Jonathan Lubin and Michael Rosen's proof of Mazur's Proposition 4.39. This changes the result about abelian varieties from only working over local fields with a finite residue field to working with…

We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended…

We present an algorithm for the computation of logarithmic l-class groups of number fields. Our principal motivation is the effective determination of the l-rank of the wild kernel in the K-theory of number fields.

A characterization of the maximal abelian sub-algebras of matrix algebras that are normalized by the canonical representation of a finite Heisenberg group is given. Examples are constructed using a classification result for finite…

We analyse some aspects of the notion of algebraic exponentiation introduced by the second author [16] and satisfied by the category of groups. We show how this notion provides a new approach to the categorical-algebraic question of the…