On Irregularities of Distribution II

Let a=(a₁, a₂, a₃, ...) be an arbitrary infinite sequence inU=[0, 1). Let Van der Corput [5] conjectured that d(a, n) (n=1, 2, ...) isunbounded, and this was proved in 1945 by van Aardenne-Ehrenfest[1]. Later she refined this [2], obtaining for infinitely many n. Here and later c₁, c₂, ... denote positiveabsolute constants. In 1954, Roth [8] showed that the quantity is closely related to the discrepancy of a suitable point setin U².     

On the Discreteness and Convergence in n-Dimensional Mobius Groups

Throughout this paper, we adopt the same notations as in [1,6, 8] such as the Möbius group M(Rⁿ), the Clifford algebraC_n–1, the Clifford matrix group SL(2, _n), the Cliffordnorm of ||A||=(|a|²+|b|²+|c|²+|d|²) (1) and the Clifford metric of SL(2, _n) or of the Möbius groupM(Rⁿ) d(A₁,A₂)=||A₁–A₂||(|a₁–a₂|²+|b₁–b₂|²+|c₁–c₂|²+|d₁–d₂|²)(2) where |·| is the norm of a Clifford number and represents f_i M(), i = 1,2, and so on. In addition, we adopt some notions in [6, 12]:the elementary group, the uniformly bounded torsion, and soon. For example, the definition of the uniformly bounded torsionis as follows.     

The Canonical Decomposition of the Poset of a Hammock

In the Auslander-Reiten quiver of a representation-directedalgebra several hammocks occur naturally; they begin at theprojective cover of a simple module E and end in the correspondinginjective hull. It is known that hammocks are Auslander-Reitenquivers of posets, so there is a poset corresponding to eachsimple module; it describes the set of modules having E as acomposition factor. In this paper we show that this poset Sdecomposes canonically into a coideal S⁺ and an ideal S^–which can easily be described by vectorspace-categories correspondingto a one-point extension or a one-point coextension, respectively.In addition, we describe the simple modules for which S⁺ andS^– are not comparable, and also those for which S⁺ S^–. We also show how to use the results in order to prove for certainposets that they do not occur as posets corresponding to simplemodules.     

Strong Weighted Mean Summability and Kuttner's Theorem

In this paper we study sequence spaces that arise from the conceptof strong weighted mean summability. Let q = (q_n) be a sequenceof positive terms and set Q_n = ⁿ_k=1q_k. Then the weighted meanmatrix M_q = (a_nk) is defined by if kn, a_nk=0 if k>n. It is well known that M_q defines a regular summability methodif and only if Q_n. Passing to strong summability, we let 0<p<.Then , are the spaces of all sequences that are strongly M_q-summablewith index p to 0, strongly M_q-summable with index p and stronglyM_q-bounded with index p, respectively. The most important specialcase is obtained by taking M_q = C₁, the Cesàro matrix,which leads to the familiar sequence spaces w₀(p), w(p) and w(p), respectively, see [4, 21]. We remark that strong summabilitywas first studied by Hardy and Littlewood [8] in 1913 when theyapplied strong Cesàro summability of index 1 and 2 toFourier series; orthogonal series have remained the main areaof application for strong summability. See [32, 6] for furtherreferences. When we abstract from the needs of summability theory certainfeatures of the above sequence spaces become irrelevant; forinstance, the q_k simply constitute a diagonal transform. Hence,from a sequence space theoretic point of view we are led tostudy the spaces     

Kahler Structures and Weighted Actions on the Complex Torus

Let T be the compact real torus, and T_C its complexification.Fix an integral weight , and consider the -weighted T-actionon T_C. If is a T-invariant Kähler form on T_C, it correspondsto a pre-quantum line bundle L over T_C. Let H be the square-integrableholomorphic sections of L. The weighted T-action lifts to aunitary T-representation on the Hilbert space H, and the multiplicityof its irreducible sub-representations is considered. It isshown that this is controlled by the image of the moment map,as well as the principle that ‘quantization commutes withreduction’.     

Base Sizes and Regular Orbits for Coprime Affine Permutation Groups

Let G be a permutation group on a finite set . A sequence B=(₁,..., _b) of points in is called a base if its pointwise stabilizerin G is the identity. Bases are of fundamental importance incomputational algorithms for permutation groups. For both practicaland theoretical reasons, one is interested in the minimal basesize for (G, ), For a nonredundant base B, the elementary inequality2^|B||G|||^|B| holds; in particular, |B|log|G|/log||. In the casewhen G is primitive on , Pyber [8, p. 207] has conjectured thatthe minimal base size is less than Clog|G|/log|| for some (large)universal constant C. It appears that the hardest case of Pyber's conjecture is thatof primitive affine groups. Let H=GV be a primitive affine group;here the point stabilizer G acts faithfully and irreduciblyon the elementary abelian regular normal subgroup V of H, andwe may assume that =V. For positive integers m, let mV denotethe direct sum of m copies of V. If (v₁, ..., v_m)mV belongsto a regular G-orbit, then (0, v₁, ..., v_m) is a base for theprimitive affine group H. Conversely, a base (₁, ..., _b) forH which contains 0V= gives rise to a regular G-orbit on (b–1)V. Thus Pyber's conjecture for affine groups can be viewed asa regular orbit problem for G-modules, and it is therefore aspecial case of an important problem in group representationtheory. For a related result on regular orbits for quasisimplegroups, see [4, Theorem 6].     

Hypersurface Singularities with 2-Dimensional Critical Locus

Consider an analytic germ f:(C^m, 0)(C, 0) (m3) whose criticallocus is a 2-dimensional complete intersection with an isolatedsingularity (icis). We prove that the homotopy type of the Milnorfiber of f is a bouquet of spheres, provided that the extendedcodimension of the germ f is finite. This result generalizesthe cases when the dimension of the critical locus is zero [8],respectively one [12]. Notice that if the critical locus isnot an icis, then the Milnor fiber, in general, is not homotopicallyequivalent to a wedge of spheres. For example, the Milnor fiberof the germ f:(C⁴, 0)(C, 0), defined by f(x₁, x₂, x₃, x₄) =x₁x₂x₃x₄ has the homotopy type of S¹xS¹xS¹. On the other hand,the finiteness of the extended codimension seems to be the rightgeneralization of the isolated singularity condition; see forexample [9–12, 17, 18]. In the last few years different types of ‘bouquet theorems’have appeared. Some of them deal with germs f:(X, x)(C, 0) wheref defines an isolated singularity. In some cases, similarlyto the Milnor case [8], F has the homotopy type of a bouquetof (dim X–1)-spheres, for example when X is an icis [2],or X is a complete intersection [5]. Moreover, in [13] Siersmaproved that F has a bouquet decomposition FF₀Sⁿ...Sⁿ (whereF₀ is the complex link of (X, x)), provided that both (X, x)and f have an isolated singularity. Actually, Siersma conjecturedand Tibr proved [16] a more general bouquet theorem for thecase when (X, x) is a stratified space and f defines an isolatedsingularity (in the sense of the stratified spaces). In thiscase F_iF_i, where the F_i are repeated suspensions of complexlinks of strata of X. (If (X, x) has the ‘Milnor property’,then the result has been proved by Lê; for details see[6].) In our situation, the space-germ (X, x) is smooth, but f hasbig singular locus. Surprisingly, for dim Sing f^–1(0)2,the Milnor fiber is again a bouquet (actually, a bouquet ofspheres, maybe of different dimensions). This result is in thespirit of Siersma's paper [12], where dim Sing f^–1(0)= 1. In that case, there is only a rather small topologicalobstruction for the Milnor fiber to be homotopically equivalentto a bouquet of spheres (as explained in Corollary 2.4). Inthe present paper, we attack the dim Sing f^–1(0) = 2 case.In our investigation some results of Zaharia are crucial [17,18].     

On Simultaneous Diagonal Inequalities

Let F₁, ..., F_t be diagonal forms of degree k with real coefficientsin s variables, and let be a positive real number. The solubilityof the system of inequalities |F₁(x)|<,...,|F_t(x)|< in integers x₁, ..., x_s has been considered by a number of authorsover the last quarter-century, starting with the work of Cook[9] and Pitman [13] on the case t = 2. More recently, Brüdernand Cook [8] have shown that the above system is soluble providedthat s is sufficiently large in terms of k and t and that theforms F₁, ..., F_t satisfy certain additional conditions. Whathas not yet been considered is the possibility of allowing theforms F₁, ..., F_t to have different degrees. However, with therecent work of Wooley [18,20] on the corresponding problem forequations, the study of such systems has become a feasible prospect.In this paper we take a first step in that direction by studyingthe analogue of the system considered in [18] and [20]. Let₁, ..., _s and µ₁, ..., µ_s be real numbers such thatfor each i either _i or µ_i is nonzero. We define the forms and consider the solubility of the system of inequalities in rational integers x₁, ..., x_s. Although the methods developedby Wooley [19] hold some promise for studying more general systems,we do not pursue this in the present paper. We devote most ofour effort to proving the following theorem.     

Metrical Theorems on Prime Values of the Integer Parts of Real Sequences II

Let [ ] denote the integer part. Among other results in [3]we gave a complete solution to the following problem. PROBLEM. Given an increasing sequence a_n R⁺, n = 1, 2, ...,where a_n as n , are there infinitely many primes in the sequence[a_n] for almost all ?     

A Criterion for the Existence of Transversals of Set Systems

Nash-Williams [6] formulated a condition that is necessary andsufficient for a countable family A=(A_i)_iI of sets to have atransversal. In [7] he proved that his criterion applies alsowhen we allow the set I to be arbitrary and require only that_iJA_i=Ø for any uncountable JI. In this paper, we formulateanother criterion of a similar nature, and prove that it isequivalent to the criterion of Nash-Williams for any familyu. We also present a self-contained proof that if _iJA_i=Øfor any uncountable JI, then our condition is necessary andsufficient for the family u to have a transversal.     

Barely Transitive and Heineken Mohamed Groups

A negative answer to the Kuro–ernikov Question 21 in [7],whether a group satisfying the normalizer condition is hypercentral,was given by Heineken and Mohamed in 1968 [6]. They constructedgroups G satisfying: (i) G is a locally finite p-group for a prime p, (ii) G/G'C_p and G' is countable elementary abelian, (iii) every proper subgroup of G is subnormal and nilpotent, (iv) Z(G)={1}, (v) the set of normal subgroups of G contained in G' is linearlyordered by set inclusion, see [3, p. 334], (vi) KG' is a proper subgroup in G for every proper subgroupK of G, see [6, Lemma 1(a)].     

Irregularities of Point Distribution Relative to Convex Polygons III

Suppose that P is a distribution of N points in the unit squareU=[0, 1]². For every x=(x₁, x₂)U, let B(x)=[0, x₁]x[0, x₂] denotethe aligned rectangle containing all points y=(y₁, y₂)U satisfying0y₁x₁ and 0y₂x₂. Denote by Z[P; B(x)] the number of points ofP that lie in B(x), and consider the discrepancy function D[P; B(x)]=Z[P; B(x)]–Nµ(B(x)), where µ denotes the usual area measure.     

Asymptotics for Fractional Nonlinear Heat Equations

The Cauchy problem is studied for the nonlinear equations withfractional power of the negative Laplacian where (0,2), with critical = /n and sub-critical (0,/n)powers of the nonlinearity. Let u₀ L^1,a L C, u₀(x) 0 in Rⁿ, = . The case of not small initial data is of interest. It is proved that the Cauchy problemhas a unique global solution u C([0,); L L^1,a C) and the largetime asymptotics are obtained.     

One Cubic Diophantine Inequality

Suppose that G(x) is a form, or homogeneous polynomial, of odddegree d in s variables, with real coefficients. Schmidt [15]has shown that there exists a positive integer s₀(d), whichdepends only on the degree d, so that if s s₀(d), then thereis an x Z^s\{0} satisfying the inequality |G(x)|<1. (1) In other words, if there are enough variables, in terms of thedegree only, then there is a nontrivial solution to (1). Lets₀(d) be the minimum integer with the above property. In thecourse of proving this important result, Schmidt did not explicitlygive upper bounds for s₀(d). His methods do indicate how todo so, although not very efficiently. However, in fact muchearlier, Pitman [13] provided explicit bounds in the case whenG is a cubic. We consider a general cubic form F(x) with realcoefficients, in s variables, and look at the inequality |F(x)|<1. (2) Specifically, Pitman showed that if s(1314)²⁵⁶–1, (3) then inequality (2) is non-trivially soluble in integers. Wepresent the following improvement of this bound.     

Limits Along Parallel Lines and the Classical Fine Topology

The fine topology on Rⁿ (n2) is the coarsest topology for whichall superharmonic functions on Rⁿ are continuous. We refer toDoob [11, 1.XI] for its basic properties and its relationshipto the notion of thinness. This paper presents several theoremsrelating the fine topology to limits of functions along parallellines. (Results of this nature for the minimal fine topologyhave been given by Doob – see [10, Theorem 3.1] or [11,1.XII.23] – and the second author [15].) In particular,we will establish improvements and generalizations of resultsof Lusin and Privalov [18], Evans [12], Rudin [20], Bagemihland Seidel [6], Schneider [21], Berman [7], and Armitage andNelson [4], and will also solve a problem posed by the latterauthors. An early version of our first result is due to Evans [12, p.234], who proved that, if u is a superharmonic function on R³,then there is a set ER²x{0}, of two-dimensional measure 0, suchthat u(x, y,·) is continuous on R whenever (x, y, 0)E.We denote a typical point of Rⁿ by X=(X' x), where X'R^n–1and xR. Let :RⁿR^n–1x{0} denote the projection map givenby (X', x) = (X', 0). For any function f:Rⁿ[–, +] andpoint X we define the vertical and fine cluster sets of f atX respectively by C_V(f;X)={l[–, +]: there is a sequence (t_m) of numbersin R\{x} such that t_mx and f(X', t_m)l}| and C_F(f;X)={l[–, +]: for each neighbourhood N of l in [–,+], the set f^–1(N) is non-thin at X}. Sets which are open in the fine topology will be called finelyopen, and functions which are continuous with respect to thefine topology will be called finely continuous. Corollary 1(ii)below is an improvement of Evans' result.     

Sandwiching C0-Semigroups

Let T = {T(t)}_t0 be a C₀-semigroup on a Banach space X. Thefollowing results are proved. (i) If X is separable, there exist separable Hilbert spacesX₀ and X₁, continuous dense embeddings j₀:X₀ X and j₁:X X₁,and C₀-semigroups T₀ and T₁ on X₀ and X₁ respectively, suchthat j₀ T₀(t) = T(t) j₀ and T₁(t) j₁ = j₁ T(t) for all t 0. (ii) If T is -reflexive, there exist reflexive Banach spacesX₀ and X₁ , continuous dense embeddings j:D(A²) X₀, j₀:X₀ X, j₁:X X₁, and C₀-semigroups T₀ and T₁ on X₀ and X₁ respectively,such that T₀(t) j = j T(t), j₀ T₀(t) = T(t) j₀ and T(t) j₁ = j₁ T(t) for all t 0, and such that (A₀) = (A) = (A₁),where A_k is the generator of T_k, k = 0, Ø, 1.     

Derangements and Eigenvalue-Free Elements in Finite Classical Groups

Permutations that have no fixed points have been known for avery long time as ‘derangements’. Under that headingRouse-Ball [10, p. 46] puts the matter in the following charmingway: ‘Suppose you have written a letter to each of n differentfriends, and addressed the n corresponding envelopes. In howmany ways can you make the regrettable mistake of putting everyletter into a wrong envelope?’ He traces this problemback to 1713 and since then it has occurred in one form or anotherin many elementary texts on probability theory (see for example[12, p. 57] and references cited by Rouse-Ball). Let p_n be theprobability that all the letters are put into the wrong envelope.It is well known that p_ne^–1 as n, and that, moreover,convergence is very fast. In fact, , so that . A derangement can be thought of as a fixed-point-free elementof the symmetric group Sym(n). In this paper we turn our attentionto eigenvalue-free elements of finite linear groups. Since aneigenvector of a linear transformation X in a vector space Vcorresponds to a fixed point of X in the projective space whosepoints are the 1-dimensional subspaces of V, eigenvalue-freeinvertible matrices correspond to derangements in projectivegroups.     

A Matrix Setting for the q-Schur Algebra

The Schur algebra S(n, r) has a basis (described in [6, 2.3])consisting of certain elements _i,j, where i, jI(n, r), the setof all ordered r-tuples of elements from the set n={1, 2, ...,n}. The multiplication of two such basis elements is given bya formula known as Schur's product rule. In recent years, aq-analogue S_q(n, r) of the Schur algebra has been investigatedby a number of authors, particularly Dipper and James [3, 4].The main result of the present paper, Theorem 3.6, shows howto embed the q-Schur algebra in the rth tensor power T^r(M_n)of the nxn matrix ring. This embedding allows products in theq-Schur algebra to be computed in a straightforward manner,and gives a method for generalising results on S(n, r) to S_q(n,r). In particular we shall make use of this embedding in subsequentwork to prove a straightening formula in S_q(n, r) which generalisesthe straightening formula for codeterminants due to Woodcock[12]. We shall be working mainly with three types of algebra: thequantized enveloping algebra U(gl_n) corresponding to the Liealgebra gl_n, the q-Schur algebra S_q(n, r), and the Hecke algebra,H(A_r–1). It is often convenient, in the case of the q-Schuralgebra and the Hecke algebra, to introduce a square root ofthe usual parameter q which will be denoted by v, as in [5].This corresponds to the parameter v in U(gl_n). We shall denotethis ‘extended’ version of the q-Schur algebra byS_v(n, r), and we shall usually refer to it as the v-Schur algebra.All three algebras are associative and have multiplicative identities,and the base field will be the field of rational functions,Q(v), unless otherwise stated. The symbols n and r shall bereserved for the integers given in the definitions of thesethree algebras.     

A Uniqueness Theorem in the Inverse Spectral Theory of a Certain Higher-Order Ordinary Differential Equation Using Paley-Wiener Methods

The paper examines a higher-order ordinary differential equationof the form where D = i(d/dx),and where the coefficients a_jk, j,k [0,m], with a_mm = 1, satisfycertain regularity conditions and are chosen so that the matrix(a_jk) is hermitean. It is also assumed that m > 1. More precisely,it is proved, using Paley–Wiener methods, that the correspondingspectral measure determines the equation up to conjugation bya function of modulus 1. The paper also discusses under whichadditional conditions the spectral measure uniquely determinesthe coefficients a_jk, j,k [0,m], j + k 2m, as well as b andthe boundary conditions at 0 and at b (if any).