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.     

Weyl’s Theorem and Perturbations

In the present paper we examine the stability of Weyl’s theorem under perturbations. We show that if T is an isoloid operator on a Banach space, that satisfies Weyl’s theorem, and F is a bounded operator that commutes with T and for which there exists a positive integer n such that Fⁿ is finite rank, then T + F obeys Weyl’s theorem. Further, we establish that if T is finite-isoloid, then Weyl’s theorem is transmitted from T to T + R, for every Riesz operator R commuting with T. Also, we consider an important class of operators that satisfy Weyl’s theorem, and we give a more general perturbation results for this class.     

Sur la reéduction modulo p des polynoômes absolument irreéductibles

 On the reduction modulo p of absolutely irreducible polynomials. Let K be a number field and F(X,Y) be an absolutely irreducible polynomial of K[X,Y]. In this note, using an effective version of Riemann-Roch theorem and a version of the implicit functions theorem, we calculate a positive number A such that if ℘ is prime ideal of the ring of integers of K with norm , then the reduction of F(X,Y) modulo ℘ is an absolutely irreducible polynomial. (Réu le 1 Février 1999; en forme finale 21 Septembre 1999)     

Deciding finiteness for matrix groups over function fields

LetF be a field andt an indeterminate. In this paper we consider aspects of the problem of deciding if a finitely generated subgroup of GL(n,F(t)) is finite. WhenF is a number field, the analysis may be easily reduced to deciding finiteness for subgroups of GL(n,F), for which the results of [1] can be applied. WhenF is a finite field, the situation is more subtle. In this case our main results are a structure theorem generalizing a theorem of Weil and upper bounds on the size of a finite subgroup generated by a fixed number of generators with examples of constructions almost achieving the bounds. We use these results to then give exponential deterministic algorithms for deciding finiteness as well as some preliminary results towards more efficient randomized algorithms. Supported in part by NSF DMS Awards 9404275 and Presidential Faculty Fellowship.     

A New Proof of a Theorem of Suslin

In this paper we compute the group H₂(SL₂(F)), for F an infinite field. In particular, using some techniques from homological algebra developed by Hutchinson [Hutchinson, K: K-Theory 4 (1990), 181–200], we give a new proof of the following theorem obtained by [Su2]: The group H₂(SL₂, (F)) is the fiber product of λ_*:K₂(F)→ I²(F)/I³(F) and σ: I²(F) → I²(F)/I³(F) where λ_* and σ map onto I²(F)/I³(F). (Received: February 2003)     

On the Convergence of Newton’s Method for Polynomial Equations and Applications in Radiative Transfer

 Newton’s method is used to approximate a locally unique zero of a polynomial operator F of degree in Banach space. So far, convergence conditions have been found for Newton’s method based on the Newton-Kantorovich hypothesis that uses Lipschitz-type conditions and information only on the first Fréchet-derivative of F. Here we provide a new semilocal convergence theorem for Newton’s method that uses information on all Fréchet-derivatives of F except the first. This way, we obtain sufficient convergence conditions different from the Newton-Kantorovich hypothesis. Our results are extended to include the case when F is a nonlinear operator whose kth Fréchet-derivative satisfies a H?lder continuity condition. An example is provided to show that our conditions hold where all previous ones fail. Moreover, some applications of our results to the solution of polynomial systems and differential equations are suggested. Furthermore, our results apply to solve a nonlinear integral equation appearing in radiative transfer in connection with the problem of determination of the angular distribution of the radiant-flux emerging from a plane radiation field. Received 9 December 1997 in revised form 30 March 1998     

Symmetric units and group identities

In this paper we study rings R with an involution whose symmetric units satisfy a group identity. An important example is given by FG, the group algebra of a group G over a field F; in fact FG has a natural involution induced by setting g?g ⁻¹ for all group elements g∈G. In case of group algebras if F is infinite, charF≠ 2 and G is a torsion group we give a characterization by proving the following: the symmetric units satisfy a group identity if and only if either the group of units satisfies a group identity (and a characterization is known in this case) or char F=p >0 and 1) FG satisfies a polynomial identity, 2) the p-elements of G form a (normal) subgroup P of G and G/P is a Hamiltonian 2-group; 3) G is of bounded exponent 4p ^s for some s≥ 0. Received: 8 August 1997     

Galois theory over complete local domains

Complete local domains play an important role in commutative algebra and algebraic geometry, and their algebraic properties were already described by Cohen’s structure theorem in 1946. However, the Galois theoretic properties of their quotient fields only recently began to unfold. In 2005 Harbater and Stevenson considered the two dimensional case. They proved that the absolute Galois group of the field K((X, Y)) (where K is an arbitrary field) is semi-free. In this work we settle the general case, and prove that if R is a complete local domain of dimension exceeding 1, then the quotient field of R has a semi-free absolute Galois group.     

On a characterization of orthogonality with respect to particular sequences of random variables in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>

This note deals with the orthogonality between sequences of random variables. The main idea of the note is to apply the results on equidistant systems of points in a Hilbert space to the case of the space L ²(Ω, F, ℙ) of real square integrable random variables. The main result gives a necessary and sufficient condition for a particular sequence of random variables (elements of which are taken from sets of equidistant elements of L ²(Ω, F, ℙ) to be orthogonal to some other sequence in L ²(Ω, F, ℙ). The result obtained is interesting from the point of view of the time series analysis, since it can be applied to a class of sequences random variables that exhibit a monotonically increasing variance. An application to ergodic theorem is also provided.     

Absolutely continuous variational measures of Mawhin’s type

In this paper we study absolutely continuous and σ-finite variational measures corresponding to Mawhin, F- and BV -integrals. We obtain characterization of these σ-finite variational measures similar to those obtained in the case of standard variational measures. We also give a new proof of the Radon-Nikodym theorem for these measures.     

Random ergodic theorems and real cocycles

We study mean convergence of ergodic averages associated to a measure-preserving transformation or flow τ along the random sequence of times κ _n (ω) given by the Birkhoff sums of a measurable functionF for an ergodic measure-preserving transformationT. We prove that the sequence (k _n(ω)) is almost surely universally good for the mean ergodic theorem, i.e., that, for almost every, ω, the averages (*) converge for every choice of τ, if and only if the “cocycle”F satisfies a cohomological condition, equivalent to saying that the eigenvalue group of the “associated flow” ofF is countable. We show that this condition holds in many natural situations. When no assumption is made onF, the random sequence (k _n(ω)) is almost surely universally good for the mean ergodic theorem on the class of mildly mixing transformations τ. However, for any aperiodic transformationT, we are able to construct an integrable functionF for which the sequence (k _n(ω)) is not almost surely universally good for the class of weakly mixing transformations.     

The affine preservers of non-singular matrices

When \mathbbK{\mathbb{K}} is an arbitrary field, we study the affine automorphisms of M_n(\mathbbK){{\rm M}_n(\mathbb{K})} that stabilize GL_n(\mathbbK){{\rm GL}_n(\mathbb{K})}. Using a theorem of Dieudonné on maximal affine subspaces of singular matrices, this is easily reduced to the known case of linear preservers when n > 2 or # ${\mathbb{K} > 2}${\mathbb{K} > 2}. We include a short new proof of the more general Flanders theorem for affine subspaces of M_p,q(\mathbbK){{\rm M}_{p,q}(\mathbb{K})} with bounded rank. We also find that the group of affine transformations of M₂(\mathbbF₂){{\rm M}_2(\mathbb{F}_2)} that stabilize GL₂(\mathbbF₂){{\rm GL}_2(\mathbb{F}_2)} does not consist solely of linear maps. Using the theory of quadratic forms over \mathbbF₂{\mathbb{F}_2}, we construct explicit isomorphisms between it, the symplectic group Sp₄(\mathbbF₂){{\rm Sp}_4(\mathbb{F}_2)} and the symmetric group \mathfrakS₆{\mathfrak{S}_6}.     

Local conjugacy theorem, rank theorems in advanced calculus and a generalized principle for constructing Banach manifolds

Applications of locally fine property for operators are further developed. LetE andF be Banach spaces andF:U(x ₀)⊂E→F be C¹ nonlinear map, whereU (x ₀) is an open set containing pointx ₀∈E. With the locally fine property for Frechet derivativesf′(x) and generalized rank theorem forf′(x), a local conjugacy theorem, i. e. a characteristic condition forf being conjugate tof′(x ₀) near x₀,is proved. This theorem gives a complete answer to the local conjugacy problem. Consequently, several rank theorems in advanced calculus are established, including a theorem for C¹ Fredholm map which has been so far unknown. Also with this property the concept of regular value is extended, which gives rise to a generalized principle for constructing Banach submanifolds.     

Two theorems about maximal Cohen–Macaulay modules

This paper contains two theorems concerning the theory of maximal Cohen–Macaulay modules. The first theorem proves that certain Ext groups between maximal Cohen–Macaulay modules M and N must have finite length, provided only finitely many isomorphism classes of maximal Cohen–Macaulay modules exist having ranks up to the sum of the ranks of M and N. This has several corollaries. In particular it proves that a Cohen–Macaulay lo cal ring of finite Cohen–Macaulay type has an isolated singularity. A well-known theorem of Auslander gives the same conclusion but requires that the ring be Henselian. Other corollaries of our result include statements concerning when a ring is Gorenstein or a complete intersection on the punctured spectrum, and the recent theorem of Leuschke and Wiegand that the completion of an excellent Cohen–Macaulay local ring of finite Cohen–Macaulay type is again of finite Cohen–Macaulay type . The second theorem proves that a complete local Gorenstein domain of positive characteristic p and dimension d is F-rational if and only if the number of copies of R splitting out of divided by has a positive limit. This result relates to work of Smith and Van den Bergh. We call this limit the F-signature of the ring and give some of its properties. Received: 6 May 2001 / Published online: 6 August 2002 Both authors were partially supported by the National Science Foundation. The second author was also partially supported by the Clay Mathematics Institute.     

Euler–Poincaré formula in equal characteristic¶under ordinariness assumptions

Let X be an irreducible smooth projective curve over an algebraically closed field of characteristic p>0. Let ? be either a finite field of characteristic p or a local field of residue characteristic p. Let F be a constructible étale sheaf of $\BF$-vector spaces on X. Suppose that there exists a finite Galois covering π:Y→X such that the generic monodromy of π^* F is pro-p and Y is ordinary. Under these assumptions we derive an explicit formula for the Euler–Poincaré characteristic χ(X,F) in terms of easy local and global numerical invariants, much like the formula of Grothendieck–Ogg–Shafarevich in the case of different characteristic. Although the ordinariness assumption imposes severe restrictions on the local ramification of the covering π, it is satisfied in interesting cases such as Drinfeld modular curves. Received: 7 December 1999 / Revised version: 28 January 2000     

On trigonometric series and primitive functions

It is proved that any measurable, finite function f(x) has a smooth primitive F(x), i.e. there is a function F(x) such that F′(x) = f(x) almost everywhere, and particularly ω(δ; F) = o(δ ln δ). This is an improvement of N. N. Luzin’s theorem which states just the continuity of the primitive F(x).     

Functions Holomorphic along Holomorphic Vector Fields

The main result of the paper is the following generalization of Forelli’s theorem (Math. Scand. 41:358–364, 1977): Suppose F is a holomorphic vector field with singular point at p, such that F is linearizable at p and the matrix is diagonalizable with eigenvalues whose ratios are positive reals. Then any function φ that has an asymptotic Taylor expansion at p and is holomorphic along the complex integral curves of F is holomorphic in a neighborhood of p. We also present an example to show that the requirement for ratios of the eigenvalues to be positive reals is necessary. K.T. Kim and G. Schmalz were supported by the Scientific visits to Korea program of the AAS and KOSEF. E. Poletsky was supported by NSF Grant DMS-0500880. G. Schmalz gratefully acknowledges support and hospitality of the Max-Planck-Institut für Mathematik Bonn.     

Intersection Form, Laminations and Currents on Free Groups

Let F be a free group of rank N ≥ 2, let μ be a geodesic current on F and let T be an ${\mathbb{R}}Let F be a free group of rank N ≥ 2, let μ be a geodesic current on F and let T be an \mathbbR{\mathbb{R}}-tree with a very small isometric action of F. We prove that the geometric intersection number áT,m?{{\langle T,\mu \rangle}} is equal to zero if and only if the support of μ is contained in the dual algebraic lamination L ²(T) of T. Applying this result, we obtain a generalization of a theorem of Francaviglia regarding length spectrum compactness for currents with full support. We use the main result to obtain “unique ergodicity” type properties for the attracting and repelling fixed points of atoroidal iwip elements of Out(F) when acting both on the compactified outer Space and on the projectivized space of currents. We also show that the sum of the translation length functions of any two “sufficiently transverse” very small F-trees is bilipschitz equivalent to the translation length function of an interior point of the outer space. As another application, we define the notion of a filling element in F and prove that filling elements are “nearly generic” in F. We also apply our results to the notion of bounded translation equivalence in free groups.