On eight-dimensional unital division algebras over finite fields

The purpose of this paper is to investigate the eight-dimensional non-associative unital division algebras {0}≠A over finite fields, admitting elementary abelian 2-group of automorphisms E≤Aut(A), of order 8, using tools from algebraic geometry.     

Algebraic geometry over the residue field of the infinite place

Nikolai Durov introduced the theory of generalized rings and schemes to study Arakelov geometry in an alternative algebraic framework, and introduced the residue field at the infinite place, 𝔽_∞. We show an elementary algebraic approach to modules and algebras over this object, define prime congruences, show that the polynomial ring of n variables is of Krull dimension n, and derive a prime decomposition theorem for these primes.     

Integral closures and weight functions over finite fields

Curves and surfaces of type I are generalized to integral towers of rank r. Weight functions with values in N^r and the corresponding weighted total-degree monomial orderings lift naturally from one domain R_j−1 in the tower to the next, R_j, the integral closure of R_j−1[x_j]/φ(x_j). The qth power algorithm is reworked in this more general setting to produce this integral closure over finite fields, though the application is primarily that of calculating the normalizations of curves related to one-point AG codes arising from towers of function fields. Every attempt has been made to couch all the theory in terms of multivariate polynomial rings and ideals instead of the terminology from algebraic geometry or function field theory, and to avoid the use of any type of series expansion.     

Orderings of higher level on noetherian rings

The noncommutative algebraic geometry has found fruitful applications in quantum geometry. Similar applications are expected to be found for its younger sister the noncommutative real algebraic geometry

One of the basic results in real algebraic geometry is the Positivestellensatz. The original results of Dubois and Risler (see section 3.3 of [13]) have been extended in many directions. We refer to [14], [1], [2], [3] for commutative rings and [9], [4] for associative rings. The aim of this paper is to prove the higher level Posit ivstellensatz for noncommutative Noetherian rings. Our proof depends on the intersection theorem for orderings of higher level on skew fields ([11], Theorem 3.13). The general case of orderings of higher level on associative rings remains open.     

Moduli Spaces of Coherent Systems of Small Slope on Algebraic Curves

Let C be an algebraic curve of genus g ≥ 2. A coherent system on C consists of a pair (E, V), where E is an algebraic vector bundle over C of rank n and degree d and V is a subspace of dimension k of the space of sections of E. The stability of the coherent system depends on a parameter α. We study the geometry of the moduli space of coherent systems for 0 < d ≤ 2n. We show that these spaces are irreducible whenever they are nonempty and obtain necessary and sufficient conditions for nonemptiness.     

Sums of units in function fields

Let R be the ring of S-integers of an algebraic function field (in one variable) over a perfect field, where S is finite and not empty. It is shown that for every positive integer N there exist elements of R that can not be written as a sum of at most N units. Moreover, all quadratic global function fields whose rings of integers are generated by their units are determined.     

Constacyclic codes over finite commutative semi-simple rings

Finite commutative semi-simple rings are direct sum of finite fields. In this study, we investigate the algebraic structure of λ-constacyclic codes over such finite semi-simple rings. Among others, necessary and sufficient conditions for the existence of self-dual, LCD, and Hermitian dual-containing λ-constacyclic codes over finite semi-simple rings are provided. Using the CSS and Hermitian constructions, quantum MDS codes over finite semi-simple rings are constructed.     

Topological K-Theory of Algebraic K-Theory Spectra

Let KX denote the algebraic K-theory spectrum of a regular Noetherian scheme X. Under mild additional hypotheses on X, we construct a spectral sequence converging to the topological K-theory of KX. The spectral sequence starts from the étale homology of X with coefficients in a certain copresheaf constructed from roots of unity. As examples we consider number rings, number fields, local fields, smooth curves over a finite field, and smooth varieties over the complex numbers.     

On basic concepts of tropical geometry

We introduce a binary operation over complex numbers that is a tropical analog of addition. This operation, together with the ordinary multiplication of complex numbers, satisfies axioms that generalize the standard field axioms. The algebraic geometry over a complex tropical hyperfield thus defined occupies an intermediate position between the classical complex algebraic geometry and tropical geometry. A deformation similar to the Litvinov-Maslov dequantization of real numbers leads to the degeneration of complex algebraic varieties into complex tropical varieties, whereas the amoeba of a complex tropical variety turns out to be the corresponding tropical variety. Similar tropical modifications with multivalued additions are constructed for other fields as well: for real numbers, p-adic numbers, and quaternions.     

On free p-superalgebras

In this article we consider several aspects of algebraic combinatorics and combinatorial algebra over fields of prime characteristics. P-super-Radford theorem gives the structure of the free associative algebra over a field of prime characteristic with the new multiplication given by the super shuffle product, we show that this algebra is isomorphic to the reduced free super commutative algebra on s-regular words. We prove the elimination theorem for free partially commutative color Lie p-superalgebras and obtain a Schreier type formula for free Lie p-superalgebras using formal power series techniques.     

Prime Ideals in Birational Extensions of Two-Dimensional Power Series Rings

In this article we consider simple birational extensions of power series rings in one variable over one-dimensional Noetherian domains having infinitely many maximal ideals. For these rings we describe the partially ordered sets that arise as prime spectra. We characterize the prime spectra in the case that the coefficient rings are countable Dedekind domains. The prime spectra over Dedekind domains are the same as the prime spectra that arise for simple birational extensions of power series rings over the integers and the same as the prime spectra of simple birational extensions of k[[x]][z], where k is a countable field and x and z are indeterminates.     

The wedderburn-malcev theorem for comodule algebras

Let H be a Hopf algebra over a field k. Under some assumptions on H we state and prove a generalization of the Wedderburn-Malcev theorem for i7-comodule algebras. We show that our version of this theorem holds for a large enough class of Hopf algebras, such as coordinate rings of completely reducible affine algebraic groups, finite dimensional Hopf algebras over fields of characteristic 0 and group algebras. Some dual results are also included.     

Equidistribution over function fields

We prove equidistribution of a generic net of small points in a projective variety X over a function field K. For an algebraic dynamical system over K, we generalize this equidistribution theorem to a small generic net of subvarieties. For number fields, these results were proved by Yuan and we transfer here his methods to function fields. If X is a closed subvariety of an abelian variety, then we can describe the equidistribution measure explicitly in terms of convex geometry.     

Modularity of CM elliptic curves over division fields

Let E be a CM elliptic curve defined over an algebraic number field F. In general E will not be modular over F. In this paper, we determine extensions of F, contained in suitable division fields of E, over which E is modular. Under some weak assumptions on E, we construct a minimal subfield of division fields over which E is modular.     

On 2-von Neumann Regular Rings #

In this article, we consider 2-von Neumann regular rings, that is, rings R with the property that, if F ₂ → F ₁ → F ₀ → E → 0 is an exact sequence of R-modules with F ₀, F ₁, and F ₂ finitely generated free modules, then the module E is projective. For each positive integer m, as well as for m = ∞, we exhibit a class of 2-von Neumann regular rings with Krull dimension m. For this purpose, we study trivial extensions of local rings by infinite-dimensional vector spaces over their residue fields. The article includes a brief discussion of the scope and precision of our results.     

Baer and Quasi-Baer Properties of Skew Generalized Power Series Rings

Let R be a ring, (S, ≤) a strictly ordered monoid and ω: S → End(R) a monoid homomorphism. The skew generalized power series ring R[[S, ω]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal'cev–Neumann Laurent series rings. In this article, we study relations between the (quasi-) Baer, principally quasi-Baer and principally projective properties of a ring R, and its skew generalized power series extension R[[S, ω]]. As particular cases of our general results, we obtain new theorems on (skew) group rings, Mal'cev–Neumann Laurent series rings, and the ring of generalized power series.     

Semiprimeness,quasi-Baerness and prime radical of skew generalized power series rings

Let R be a ring, (S,≤) a strictly ordered monoid and ω:S→End(R) a monoid homomorphism. The skew generalized power series ring R[[S,ω]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal’cev-Neumann Laurent series rings. In this paper we obtain necessary and sufficient conditions for the skew generalized power series ring R[[S,ω]] to be a semiprime, prime, quasi-Baer, or Baer ring. Furthermore, we study the prime radical of a skew generalized power series ring R[[S,ω]]. Our results extend and unify many existing results. In particular, we obtain new theorems on (skew) group rings, Mal’cev-Neumann Laurent series rings and the ring of generalized power series.     

*-Regular Leavitt path algebras of arbitrary graphs

If K is a field with involution and E an arbitrary graph, the involution from K naturally induces an involution of the Leavitt path algebra L _K (E). We show that the involution on L _K (E) is proper if the involution on K is positive-definite, even in the case when the graph E is not necessarily finite or row-finite. It has been shown that the Leavitt path algebra L _K (E) is regular if and only if E is acyclic. We give necessary and sufficient conditions for L _K (E) to be *-regular (i.e., regular with proper involution). This characterization of *-regularity of a Leavitt path algebra is given in terms of an algebraic property of K, not just a graph-theoretic property of E. This differs from the known characterizations of various other algebraic properties of a Leavitt path algebra in terms of graphtheoretic properties of E alone. As a corollary, we show that Handelman’s conjecture (stating that every *-regular ring is unit-regular) holds for Leavitt path algebras. Moreover, its generalized version for rings with local units also continues to hold for Leavitt path algebras over arbitrary graphs.     

Einheiten in Z[D2m]

The unit of the group rings of the dihedral groups D_2m (m square free odd) over the rational integer ring are represented by matrices over algebraic number fields. Thereby their multiplicative structure is revealed.     

Mahler measures in a cubic field

We prove that every cyclic cubic extension E of the field of rational numbers contains algebraic numbers which are Mahler measures but not the Mahler measures of algebraic numbers lying in E. This extends the result of Schinzel who proved the same statement for every real quadratic field E. A corresponding conjecture is made for an arbitrary non-totally complex field E and some numerical examples are given. We also show that every natural power of a Mahler measure is a Mahler measure.