Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

Zbl 0939.05016
Schmidt, Bernhard
Cyclotomic integers and finite geometry. (English)
[J] J. Am. Math. Soc. 12, No.4, 929-952 (1999). ISSN 0894-0347; ISSN 1088-6834/e

The author presents a new approach to the study of combinatorial structures via group ring equations. \par In a fundamental paper of {\it R. J. Turyn} [Character sums and difference sets, Pac. J. Math. 15, 319-346 (1965; Zbl 0135.05403)] it is shown that the character method for the study of group ring equations works nicely under the so-called self-conjugacy condition. Recall that an integer $n$ is called self-conjugate modulo $m$ if all prime ideals above $n$ in the $m$th cyclotomic field ${\bbfQ}(\xi_m)$ (with $\xi_m := e^{2\pi i/m}$) are invariant under complex conjugation. Under this condition all cyclotomic integers in ${\bbfQ}(\xi_m)$ of absolute value $n^{t/2}$ can be determined for any integer $t \ge 1$. The complete knowledge of the cyclotomic integers of prescribed absolute value is the key ingredient making the character method work so well under the self-conjugacy condition. However, self-conjugacy is a very severe restriction, i.e. the self-conjugacy method fails in almost all cases, because the `probability' that $n$ is self-conjugate modulo $m$ decreases exponentially fast in the number of distinct prime divisors of $n$ and $m$. Knowing the cyclotomic integers of prescribed absolute value completely would lead to an almost complete determination of the class group of the underlying cyclotomic field modulo the class group of its maximal real subfield. This, however, is a problem of algebraic number theory that appears to be far beyond the scope of the methods known today. This demonstrates the needs for more general results about cyclotomic integers of prescribed absolute value. \par The author presents a new approach to the absolute value problem. Exploiting the decomposition groups of prime ideals the following key result is proved, where $F(m,n)$ is an integral valued function the definition of which is too involved to be restated here. Theorem 3.5. Assume $X{\overline X} = n$ for $X \in {\bbfZ}[\xi_m]$ where $n$ and $m$ are positive integers. Then $X \xi_m^j \in {\bbfZ}[\xi_{F(m,n)}]$ for some $j$. \par This reduction to subfields is the key to obtain a general bound on the absolute value of cyclotomic integers, the upshot of which is Theorem 4.2. Let $X \in {\bbfZ}[\xi_m]$ be of the form $X = \sum_{i = 0}^{m-1} a_i \xi_m^i$ \ where $a_0,\dots,a_{m-1}$ are integers with $0 \le a_i \le C$ for some constant $C$. Furthermore, assume that $X {\overline X} = n$ is an integer. Then $n \le 2^{s-1} C^2 F(m,n)$ where $s$ is the number of distinct odd prime divisors of $m$. If the assumption on the coefficients $a_i$ is replaced by $|a_i|\le C$, then $n \le 2^t C^2 F(m,n)$ where $t$ is the number of distinct prime divisors of $m$. \par The preceeding theorems are applied to derive a new general exponent bound for difference sets in groups: Theorem 5.2. Assume the existence of a $(v,k,\lambda,n)$-difference set $D$ in a group $G$. If $U$ is a normal subgroup of $G$ such that $G/U$ is cyclic of order $e$, then $e \le v ( 2^{s-1} F(e,n)/n)^{1/2} $ where $s$ is the number of distinct odd prime divisors of $e$. This result is then applied to all parameter series corresponding to known difference sets with $\text{gcd}(v,n) > 1$, i.e. to Hadamard, McFarland, Spence and Chen/Davis/Jedwab parameters. The results obtained here have strong implications for the (non-)existence of circulant Hadamard matrices, which is outlined at the end of Section $6$. Section $7$ presents a general exponent bound for groups containing relative difference sets. With this at hand, the author derives strong necessary conditions for the existence of quasiregular projective planes which in turn lead to asymptotic exponent bounds for abelian groups admitting planar functions. Finally, in Section $8$, the methods developed in the paper are utilized for the study of group invariant weighing matrices.
[Wolfgang Lempken (Essen)]

MSC 2000:: *05B10 Difference sets
05B20 (0,1)-matrices (combinatorics)

Keywords: cyclotomic fields; absolute value problem; circulant Hadamard matrix; quasiregular projective plane; planar functions; group invariant weighing matrices

Citations: Zbl 0135.05403

Cited in: Zbl 1030.05018

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]