Related papers: A new parametrization for ideal classes in rings d…
We give an upper bound for the norm of the determinant of additively indecomposable, totally positive definite quadratic forms defined over the ring of integers of totally real number fields. We apply these results to find lower and upper…
We exhibit an explicit formula for the cardinality of solutions to a class of quadratic matrix equations over finite fields. We prove that the orbits of these solutions under the natural conjugation action of the general linear groups can…
Fixing a nontrivial automorphism of a number field K, we associate to ideals in K an invariant (with values in {0,1,-1}) that we call the "spin" and for which the associated L-function does not possess Euler products. We are nevertheless…
We give a complete classification of modular categories of dimension $p^3m$ where $p$ is prime and $m$ is a square-free integer. When $p$ is odd, all such categories are pointed. For $p=2$ one encounters modular categories with the same…
We show that the average size of the $2$-Selmer group of the family of Jacobians of non-hyperelliptic genus-$3$ curves with a marked rational hyperflex point, when ordered by a natural height, is bounded above by $3$. We achieve this by…
The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…
We study symmetries of bases and spanning sets in finite element exterior calculus, using representation theory. We want to know which vector-valued finite element spaces have bases invariant under permutation of vertex indices. The…
String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of…
Suppose $A$ is a graded associative algebra over a field, $I$ is its ideal generated by a set $\alpha$ of homogeneous elements, and B = A/I. In this note, some inequalities between Hilbert series of algebras $A,B$ and the number of elements…
We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism…
We study abelian varieties $A$ with multiplication by a totally indefinite quaternion algebra over a totally real number field and give a criterion for the existence of principal polarizations on them in pure arithmetic terms. Moreover, we…
This paper continues earlier work and is concerned with the inverse problem of parameter identification in variational inequalities of the second kind that does not only treat the parameter linked to a bilinear form, but importantly also…
The main result in this paper is to supply a recursive formula, on the number of minimal primes, for the colength of a fractional ideal in terms of the maximal points of the value set of the ideal itself. The fractional ideals are taken in…
A symmetric chain of ideals is a rule that assigns to each finite set $S$ an ideal $I_S$ in the polynomial ring $\mathbb{C}[x_i]_{i \in S}$ such that if $\phi \colon S \to T$ is an embedding of finite sets then the induced homomorphism…
We compute the invariant subspace of the rational group ring of a surface, truncated by powers of the augmentation ideal, under the action of the mapping class group. The surface is compact, oriented with one boundary component. This…
We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…
Using evaluation at appropriately chosen points, we propose a Gr\"obner basis free approach for calculating the secondary invariants of a finite permutation group. This approach allows for exploiting the symmetries to confine the…
We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world…
I compute the structure of the restricted 2-algebra associated to a group first described by Andrew Brunner, Said Sidki and Ana Cristina Vieira, acting on the binary rooted tree. I show that its width is unbounded, growing logarithmically,…
The classical theorems relating integral binary quadratic forms and ideal classes of quadratic orders have been of tremendous importance in mathematics, and many authors have given extensions of these theorems to rings other than the…