Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userComputing structure constants for rings of finite rank from minimal free resolutions
161
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We show how the minimal free resolution of a set of $n$ points in general position in projective space of dimension $n-2$ explicitly determines structure constants for a ring of rank $n$. This generalises previously known constructions of Levi-Delone-Faddeev and Bhargava in the cases $n=3,4,5$.
rate research
Read More
Let $R$ be a finite ring and define the hyperbola $H={(x,y) in R times R: xy=1 }$. Suppose that for a sequence of finite odd order rings of size tending to infinity, the following square root law bound holds with a constant $C>0$ for all non-trivial characters $chi$ on $R^2$: [ left| sum_{(x,y)in H}chi(x,y)right|leq Csqrt{|H|}. ] Then, with a finite number of exceptions, those rings are fields. For rings of even order we show that there are other infinite families given by Boolean rings and Boolean twists which satisfy this square-root law behavior. We classify the extremal rings, those for which the left hand side of the expression above satisfies the worst possible estimate. We also describe applications of our results to problems in graph theory and geometric combinatorics. These results provide a quantitative connection between the square root law in number theory, Salem sets, Kloosterman sums, geometric combinatorics, and the arithmetic structure of the underlying rings.
We develop algorithms to turn quotients of rings of rings of integers into effective Euclidean rings by giving polynomial algorithms for all fundamental ring operations. In addition, we study normal forms for modules over such rings and their behavior under certain quotients. We illustrate the power of our ideas in a new modular normal form algorithm for modules over rings of integers, vastly outperforming classical algorithms.
Under reasonable assumptions, a group action on a module extends to the minimal free resolutions of the module. Explicit descriptions of these actions can lead to a better understanding of free resolutions by providing, for example, convenient expressions for their differentials or alternative characterizations of their Betti numbers. This article introduces an algorithm for computing characters of finite groups acting on minimal free resolutions of finitely generated graded modules over polynomial rings.
Let $E$ be an elliptic curve over $Q$. It is well known that the ring of endomorphisms of $E_p$, the reduction of $E$ modulo a prime $p$ of ordinary reduction, is an order of the quadratic imaginary field $Q(pi_p)$ generated by the Frobenius element $pi_p$. When the curve has complex multiplication (CM), this is always a fixed field as the prime varies. However, when the curve has no CM, very little is known, not only about the order, but about the fields that might appear as algebra of endomorphisms varying the prime. The ring of endomorphisms is obviously related with the arithmetic of $a_p^2-4p$, the discriminant of the characteristic polynomial of the Frobenius element. In this paper, we are interested in the function $pi_{E,r,h}(x)$ counting the number of primes $p$ up to $x$ such that $a_p^2-4p$ is square-free and in the congruence class $r$ modulo $h$. We give in this paper the precise asymptotic for $pi_{E,r,h}(x)$ when averaging over elliptic curves defined over the rationals, and we discuss the relation of this result with the Lang-Trotter conjecture, and with some other problems related to the curve modulo $p$.
We construct a minimal free resolution of the semigroup ring k[C] in terms of minimal resolutions of k[A] and k[B] when <C> is a numerical semigroup obtained by gluing two numerical semigroups <A> and <B>. Using our explicit construction, we compute the Betti numbers, graded Betti numbers, regularity and Hilbert series of k[C], and prove that the minimal free resolution of k[C] has a differential graded algebra structure provided the resolutions of k[A] and k[B] possess them. We discuss the consequences of our results in small embedding dimensions. Finally, we give an extension of our main result to semigroups in N^n
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
