The Walker Abel–Jacobi map descends

For a complex projective manifold, Walker has defined a regular homomorphism lifting Griffiths’ Abel–Jacobi map on algebraically trivial cycle classes to a complex abelian variety, which admits a finite homomorphism to the Griffiths intermediate Jacobian. Recently Suzuki gave an alternate, Hodge-theoretic, construction of this Walker Abel–Jacobi map. We provide a third construction based on a general lifting property for surjective regular homomorphisms, and prove that the Walker Abel–Jacobi map descends canonically to any field of definition of the complex projective manifold. In addition, we determine the image of the l-adic Bloch map restricted to algebraically trivial cycle classes in terms of the coniveau filtration.

Schur indices for reality-based algebras with two nonreal basis elements

This article discusses the representation theory of noncommutative algebras reality-based algebras with positive degree map over their field of definition. When the standard basis contains exactly two nonreal elements, the main result expresses the noncommutative simple component as a generalized quaternion algebra over its field of definition. The field of real numbers will always be a splitting field for this algebra, but there are noncommutative table algebras of dimension [Formula: see text] with rational field of definition for which it is a division algebra. The approach has other applications, one of which shows noncommutative association scheme of rank [Formula: see text] must have at least three symmetric relations.

The automorphisms and error orbits of Reed – Solomon codes

The purpose of this work with its results presented in the article was to develop and transfer to the class of Reed – Solomon codes (RS-codes) the basic provisions of the theory of syndrome norms (TNS), previously developed for the noise-resistant coding of the class of Bose – Chaudhuri – Hocquenghem codes (BCH-codes), which is actively used in theory and practice. To achieve this goal, a transition has been made in the interpretation of the theory of RS-codes from polynomial to matrix language. This approach allows you to fully use the capabilities of Galois field theory. The main difficulty of RS-codes is that they rely on a non-binary alphabet. The same factor is attractive for practical applications of RS-codes. The matrix language allows you to break the syndromes of errors into components that are elements of the Galois field – the field of definition of RS-codes. The TNS for BCH codes is based on the use of automorphisms of these codes – cyclic and cyclotomic substitutions. Automorphisms of RS-codes are studied in detail. The cyclic substitution belongs to the categories of automorphisms of RS-codes and generates a subgroup Г of order N (code length). The cyclotomic substitution does not belong to the class of automorphisms of RS-codes – the power of the alphabet greater than 2 prevents this. When expanding the concept of automorphism of a code beyond substitutions of coordinates of vectors to automorphisms of RS-codes, homotheties or affine substitutions can be attributed, since they also form a cyclic group A of order N. It is shown that cyclic and affine substitutions commute with each other, which, generally speaking, is not typical for linear operators and substitutions. The group Г of cyclic substitutions, the group A of affine substitutions, and the combined AГ group of order N2 generate 3 types of error orbits in RS-codes. The structure of the orbits of errors with respect to the action of groups A, Г and the combined group AГ is studied {231 words}.

A Class of Pseudo-Real Riemann Surfaces with Diagonal Automorphism Group

A Riemann surface [Formula: see text] having field of moduli ℝ, but not a field of definition, is called pseudo-real. This means that [Formula: see text] has anticonformal automorphisms, but none of them is an involution. A Riemann surface is said to be plane if it can be described by a smooth plane model of some degree d ≥ 4 in [Formula: see text]. We characterize pseudo-real-plane Riemann surfaces [Formula: see text], whose conformal automorphism group Aut+([Formula: see text]) is PGL3(ℂ)-conjugate to a finite non-trivial group that leaves invariant infinitely many points of [Formula: see text]. In particular, we show that such pseudo-real-plane Riemann surfaces exist only if Aut+([Formula: see text]) is cyclic of even order n dividing the degree d. Explicit families of pseudo-real-plane Riemann surfaces are given for any degree d = 2pm with m > 1 odd, p prime and n = d/p.

ON THE MONODROMY AND GALOIS GROUP OF CONICS LYING ON HEISENBERG INVARIANT QUARTIC K3 SURFACES

In [5], Eklund showed that a general (ℤ/2ℤ)4 -invariant quartic K3 surface contains at least 320 conics. In this paper, we analyse the field of definition of those conics as well as their Monodromy group. As a result, we prove that the moduli space of (ℤ/2ℤ)4-invariant quartic K3 surface with a certain marked conic has 10 irreducible components.

NORMAL FUNCTIONS FOR ALGEBRAICALLY TRIVIAL CYCLES ARE ALGEBRAIC FOR ARITHMETIC REASONS

For families of smooth complex projective varieties, we show that normal functions arising from algebraically trivial cycle classes are algebraic and defined over the field of definition of the family. In particular, the zero loci of those functions are algebraic and defined over such a field of definition. This proves a conjecture of Charles.

Fields of Definition for Representations of Associative Algebras

We examine situations, where representations of a finite-dimensionalF-algebraAdefined over a separable extension fieldK/F, have a unique minimal field of definition. Here the base fieldFis assumed to be a field of dimension ≼1. In particular,Fcould be a finite field ork(t) ork((t)), wherekis algebraically closed. We show that a unique minimal field of definition exists if (a)K/Fis an algebraic extension or (b)Ais of finite representation type. Moreover, in these situations the minimal field of definition is a finite extension ofF. This is not the case ifAis of infinite representation type orFfails to be of dimension ≼1. As a consequence, we compute the essential dimension of the functor of representations of a finite group, generalizing a theorem of Karpenko, Pevtsova and the second author.

Numerical irreducible decomposition over a number field

Let [Formula: see text] be a set of elements in the polynomial ring [Formula: see text], let [Formula: see text] denote the ideal generated by the elements of [Formula: see text], and let [Formula: see text] denote the radical of [Formula: see text]. There is a unique decomposition [Formula: see text] with each [Formula: see text] a prime ideal corresponding to a minimal associated prime of [Formula: see text] over [Formula: see text]. Let [Formula: see text] denote the reduced algebraic set corresponding to the common zeroes of the elements of [Formula: see text]. Techniques from numerical algebraic geometry can be used to determine the numerical irreducible decomposition of [Formula: see text] over [Formula: see text]. This corresponds to producing a witness set for [Formula: see text] for each [Formula: see text] together with the degree and dimension of [Formula: see text] (a point in a witness set for [Formula: see text] can be considered as a numerical approximation for a general point on [Formula: see text]). The purpose of this paper is to show how to extend these results taking into account the field of definition for the polynomial system. In particular, let [Formula: see text] be a number field (i.e. a finite field extension of [Formula: see text]) and let [Formula: see text] be a set of elements in [Formula: see text]. We show how to extend techniques from numerical algebraic geometry to determine the numerical irreducible decomposition of [Formula: see text] over [Formula: see text].

Counting Multiplicities in a Hypersurface over Number Fields

We fix a counting function of multiplicities of algebraic points in a projective hypersurface over a number field, and take the sum over all algebraic points of bounded height and fixed degree. An upper bound for the sum with respect to this counting function will be given in terms of the degree of the hypersurface, the dimension of the singular locus, the upper bounds of height, and the degree of the field of definition.