On Codimension Growth of Finitely Generated Associative Algebras

LetAbe a PI-algebra over a fieldF. We study the asymptotic behavior of the sequence of codimensionsc_n(A) ofA. We show that ifAis finitely generated overFthenInv(A)=lim_n→∞ always exists and is an integer. We also obtain the following characterization of simple algebras:Ais finite dimensional central simple overFif and only ifInv(A)=dim=A.     

Classification of the isomorphic types of martingale-H 1 spaces

LetF _n be an increasing sequence of finite fields on a probability space (Ω,F _n,P) whereF denotes the σ-algebra generated by ∪F _n. ThenF _n is isomorphic to one of the following spaces:H ¹(δ), ΣH _n ¹ ,l ^l.     

A regularity theorem for deformations of a compact complex surface

Let ƒ:M →D ⊑C ⁿ be a holomorphic family of compact, complex surfaces, which is locally trivial onD∖Z, for an analytic subsetZ. Conditions are found under which ƒ extends trivially toD, if the fibers of ƒ|_D∖Z are either Hirzebruch surfaces (projective bundles overP ₁), Hopf surfaces (elliptic bundles overP ₁), hyperelliptic bundles, or any compact complex surface having one of these as minimal model under blowing-down. The results of this paper are motivated by the existence of non-Hausdorff moduli spaces in the deformation of complex structure for certain complex manifolds.     

Geometric construction of association schemes from non-degenerate quadrics

LetF _q be a finite field withq elements, whereq is a power of an odd prime. In this paper, we assume that δ=0,1 or 2 and consider a projective spacePG(2ν+δ,F _q ), partitioned into an affine spaceAG(2ν+δ,F _q ) of dimension 2ν+δ and a hyperplaneℋ=PG(2ν+δ−1,F _q ) of dimension 2ν+δ−1 at infinity. The points of the hyperplaneℋ are next partitioned into three subsets. A pair of pointsa andb of the affine space is defined to belong to classi if the line meets the subseti of ℋ. Finally, we derive a family of three-class association schemes, and compute their parameters. This project is supported by the National Natural Science Foundation of China (No. 19571024).     

Potenzieren und Wurzelziehen in rationalen Quaternionenalgebren

LetF be a field not of characteristic 2 andQ =F +F i +F j +F k the quaternion algebra overF whereij = -ji =k andi ² = α andj ² = β with 0 ≠ α, β ∈F fixed. (IfF = ℝ and α = β = - 1 thenQ is the division algebra of the Hamilton quaternions.) IfF = ℚ and Q is a division algebra then by embedding certain quadratic number fields inQ we derive an efficient formula to compute the powers of any quaternion. This formula is even true in general and reads as follows. If a, a₁, a₂, a₃ ∈F andn ∈ ℕ then where ω ig a square root of αa₁ ² + βa ₂ ² - αβa ₃ ² in or overF and andA ₀ =na ^n-1. With the help of this formula and related ones we are able to solve the equationX ⁿ =q for arbitrary quaternionsq and positive integers n in case ofF = ℝ and hence in case ofF ⊂ ℝ as well. IfF = ℝ then the total number of all solutions equals 0, 1, 2, 4,n or ∞. (4 is possible even whenn < 4.) In case ofF = ℚ, which we are primarily interested in, there are always either at most six or infinitely many solutions. Further, for everyq ≠ 0 there is at most one solution provided thatn is odd and not divisible by 3. The questions when there are infinitely many solutions and when there are none can always be decided by checking simple conditions on the radicandq ifF = ℝ. ForF = ℚ the two questions are comprehensively investigatet in a natural connection with ternary and quaternary quadratic rational forms. Finally, by applying some of our theorems on powers and roots of quate-rions we also obtain several nice results in matrix theory. For example, for every k ∈ ℤ the mappingA ↦A ^k on the group of all nonsingular 2-by-2 matrices over ℚ is injective if and only ifk is odd and not divisible by 3.

     

A result on the composition of distributions

LetF be a distribution and letf be a locally summable function. The distributionF(f) is defined as the neutrix limit of the sequenceF _n (f), whereF _n (x) = F(x) * δ _n (x) andδ _n (x) is a certain sequence of infinitely differentiable functions converging to the Dirac delta-functionδ(x). The distribution (x^r)^−s is valuated forr, s = 1,2, ….     

On weakly null FDD'S in Banach spaces

In this paper we show that every sequence (F _n ) of finite dimensional subspaces of a real or complex Banach space with increasing dimensions can be “refined” to yield an F.D.D. (G _n ), still having increasing dimensions, so that either every bounded sequence (x _n ), withx _n ∈G _n forn∈ℕ, is weakly null, or every normalized sequence (x _n ),withx _n ∈G _n forn∈ℕ, is equivalent to the unit vector basis of ℓ₁. Crucial to the proof are two stabilization results concerning Lipschitz functions on finite dimensional normed spaces. These results also lead to other applications. We show, for example, that every infinite dimensional Banach spaceX contains an F.D.D. (F _n ),with lim _n→∞dim(F _n )=∞, so that all normalized sequences (x _n ),withx _n ∈F _n ,n∈∕, have the same spreading model overX. This spreading model must necessarily be 1-unconditional overX. Research partially supported by NSF DMS-8903197, DMS-9208482, and TARP 235. Research partially supported by NSF.     

Representability of Hom implies flatness

LetX be a projective scheme over a noetherian base schemeS, and letF be a coherent sheaf onX. For any coherent sheaf ε onX, consider the set-valued contravariant functor Hom(ε,F)S-schemes, defined by Hom(ε,F) (T)= Hom(ε _T ,F _T) where ε _T andF _T are the pull-backs of ε andF toX _T =X x _S T. A basic result of Grothendieck ([EGA], III 7.7.8, 7.7.9) says that ifF is flat over S then Kom_ε,F) is representable for all ε. We prove the converse of the above, in fact, we show that ifL is a relatively ample line bundle onX over S such that the functor Hom(L ^-n ,F) is representable for infinitely many positive integersn, thenF is flat overS. As a corollary, takingX =S, it follows that ifF is a coherent sheaf on S then the functorT ↦H°(T, F _t) on the category ofS-schemes is representable if and only ifF is locally free onS. This answers a question posed by Angelo Vistoli. The techniques we use involve the proof of flattening stratification, together with the methods used in proving the author’s earlier result (see [N1]) that the automorphism group functor of a coherent sheaf onS is representable if and only if the sheaf is locally free.     

Direct images of bundles under Frobenius morphism

Let X be a smooth projective variety of dimension n over an algebraically closed field k with char(k)=p>0 and F:X→X ₁ be the relative Frobenius morphism. For any vector bundle W on X, we prove that instability of F _* W is bounded by instability of W⊗T^ℓ(Ω¹ _X ) (0≤ℓ≤n(p-1)) (Corollary 4.9). When X is a smooth projective curve of genus g≥2, it implies F _* W being stable whenever W is stable. Dedicated to Professor Zhexian Wan on the occasion of his 80th birthday.     

Motivic equivalence of quadratic forms. II

Let F be a field of characteristic ≠2 and φ be a quadratic form over F. By X _φ we denote the projective variety given by the equation φ=0. For each positive even integer d≥8 (except for d=12) we construct a field F and a pair φ, ψ of anisotropic d-dimensional forms over F such that the Chow motives of X _φ and X _ψ coincide but . For a pair of anisotropic (2 ^{n -1})-dimensional quadrics X and Y, we prove that existence of a rational morphism Y→X is equivalent to existence of a rational morphism Y→X. Received: 27 September 1999 / Revised version: 27 December 1999     

Solvability of nonlocal elliptic problems in weight spaces

In this paper we consider elliptic equations of order 2m in a bounded domainQ є R ⁿ with boundaryδQ and nonlocal conditions relating the traces of the solution and its derivatives on (n − 1)-dimensional smooth manifolds Γ _i (∪ _i =∂δQ) to their values on some compact setF ⊂Q, whereF ∩δQ ≠ Φ. The Fredholm solvability of these problems in the weight spacesV _{p, a} ^/l+2m (Q) is proved for arbitrary 1<p <∞. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 882–898, June, 2000. This research was supported by the Russian Foundation for Basic Research under grant No. 99-01-00028.     

Class groups and Brauer groups

LetF be a global field,n a positive integer not divisible by the characteristic ofF. Then there exists a finite extensionE ofF whose class group has a cyclic direct summand of ordern. This theorem, in a slightly stronger form, is applied to determine completely, on the basis of the work of Fein and Schacher, the structure of the Brauer group Br(F()) of the rational function fieldF(t). As a consequence of this, an additional theorem of the above authors, together with a note at the end of the paper, imply that Br(F(t)) ≊ Br(F(t ₁, ···,t _n)), wheret ₁, ···,t _n are algebraically independent overF.     

Principal bundles whose restrictions to a curve are isomorphic

Let X be a normal projective variety defined over an algebraically closed field k. Let |O _X (1)| be a very ample invertible sheaf on X. Let G be an affine algebraic group defined over k. Let E _G and F _G be two principal G-bundles on X. Then there exists an integer n > > 0 (depending on E _G and F _G ) such that if the restrictions of E _G and F _G to a curve C ∈ |O _X (n)| are isomorphic, then they are isomorphic on all of X.     

On the corestriction ofp n -symbol

LetF be a field of characteristicp. Teichmüller proved that anyp-algebra overF of indexp ⁿ and exponentp ^e is similar to a tensor product with at mostp ⁿ !(p ⁿ !−1) factors of cyclicp-algebras overF of degreep ^e . In this note we improve Teichmüller bound for two particular types ofp-algebras. LetL be a finite separable extension ofF. IfA is a cyclicp-algebra overL of degreep ^e we show that Cor _L/F A, the corestriction ofA, is similar to a tensor product with at most [L :F] factors of cyclicp-algebras overF of degreep ^e . Moreover we prove that [L :F] is the best possible bound. From this we deduce that ifA is a cyclicp-algebra overF of degreep ⁿ and exponentp ^e thenA is similar to a tensor product with at mostp ^n−e factors of cyclicp-algebras overF of degreep ^e .     

The Newton polygon of a product of power series

Summary LetF be a field with a non-trivial valuation υ:F→ℝ∪{+∞}. To any power series in one variable overF one can associate a Newton polygon with respect to this valuation. LetN ₁ andN ₂ be polygons which arise as Newton polygons of power series overF. We determine the set of polygonsN with the property that there exist power seriesf _i with respective Newton polygonN _i ,i=1,2, such that the productf ₁ f ₂ has Newton polygonN. Supported by a grant from the DFG This article was processed by the author using the LATEX style filepljour1 from Springer-Verlag.     

Friabilité des valeurs d’un polynôme

Let F(X) be an absolutely irreducible polynomial in \mathbbZ [X₁,..., X_n]{\mathbb{Z} [X_{1},\dots, X_{n}]}, with degree d. We prove that, for any δ < 4/3, for any sufficiently large x, there exists a positive density of integral n-tuples m = (m ₁, . . . , m _n ) in the hypercube max |m _i | ≤ x such that every prime divisor of F(m) is smaller than x ^d–δ . This result is improved when F satisfies some geometrical hypotheses.     

Summability of Fourier-Laplace Series with the Method of Lacunary Arithmetical Means at Lebesgue Points

Let ∑ _{n −1} be the unit sphere in the n-dimensional Euclidean space ℝ ⁿ . For a funcion ƒ∈L(∑ _{n −1}) denote by σ^δ _N (ƒ) the Cesàro means of order δ of the Fourier-Laplace series of ƒ. The special value of δ is known as the critical index. In the case when n is even, this paper proves the existence of the ‘rare’ sequence {n _k } such that the summability takes place at each Lebesgue point satisfying some antipole conditions. Received June 28, 1999, Revised August 11, 1999, Accepted February 16, 2000     

The inverse Galois problem over formal power series fields

Consider a valuation ringR of a discrete Henselian field and a positive integerr. LetF be the quotient field of the ringR[[X ₁, …,X _r ]]. We prove that every finite group occurs as a Galois group overF. In particular, ifK ₀ is an arbitrary field andr≥2, then every finite group occurs as a Galois group overK ₀((X ₁, …,X _r )). The work on this paper started when the author was an organizer of a research group on the Arithmetic of Fields in the Institute for Advanced Studies at the Hebrew Univesity of Jerusalem in 1991–92. It was partially supported by a grant from the G.I.F., the German-Israeli Foundation for Scientific Research and Development.     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.     

The almost cyclicity of the fundamental groups of positively curved manifolds

 Recall that a pure F-structure is a kind of generalized torus action. The main result asserts that if a compact positively curved manifold M ⁿ admits an invariant pure F-structure such that each orbit has positive dimension, then the fundamental group has a finite cyclic subgroup with index less than w _n , a constant depending only on n. As an application, we conclude that for all 0<δ≦1, the fundamental group of a δ-pinched n-manifold either has a cyclic subgroup with index less than w _n or has order less than w(n,δ), a constant depending only on n and δ. In particular, this substantially improves the main result in[Ro1]. Oblatum 1-IX-1995 & 26-I-1996