The braid group B4 is linear

We study a linear representation ρ:B _n ? GL _m (Z[q ^±1,t ^±1]) with m=n(n-1)/2. We will show that for n=4, this representation is faithful. We prove a relation with the new Charney length function. We formulate a conjecture implying that ρ is faithful for all n. Oblatum 15-VI-1999 & 24-II-2000?Published online: 18 September 2000     

The Stable Class of the Augmentation Ideal

In [F.E.A. Johnson, Stable Modules and the D(2)-Problem, LMS Lecture Notes In Mathematics, vol. 301, CUP (2003)], for finite groups G, we gave a parametrization of the stable class of the augmentation ideal of Z[G] in terms of stably free modules. Whilst the details of this parametrization break down immediately for infinite groups, nevertheless one may hope to find parallel arguments for restricted classes of infinite groups. Subject to the restriction that Ext¹(Z, Z[G]) = 0, we parametrize the minimal level in Ω₁(Z) by means of stably free modules and give a lower estimate for the size of Ω₁(Z).     

Finite group actions and étale cohomology

If a finite group G acts on a quasi-projective variety X, then H*_c(X,Z/n), the étale cohomology with compact support of X with coefficients inZ/n, has aZ/n[G]-module structure. It is well known that there is a finer invariant, an object RΓ_c(X,Z/n) of the derived category ofZ/n[G]-modules, whose cohomology is H*_c(X,Z/n). We show that there is a finer invariant still, a bounded complex Λ_c(X,Z/n) of direct summands of permutationZ/n[G]-modules, well-defined up to chain homotopy equivalence, which is isomorphic to RΓ_c(X,Z/n) in the derived category. This complex has many properties analogous to those of the simplicial chain complex of a simplicial complex with a group action. There are similar results forl-adic cohomology.     

On the stability of the uniform minimality of a set of exponentials

Some conditions on sequences (λ _n ) and (μ _n ) to be nearby are given in order that the corresponding systems of complex exponentials (exp(iλ _n t)) and (exp(iμ _n t)) be simultaneously uniformly minimal in L ^p (−π, π), 1 ≤ p < ∞, and in C[−π, π]. __________ Translated from Sovremennaya Matematika. Fundamental'nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 25, Theory of Functions, 2007.     

Analysis on discrete cocompact subgroups of the generic filiform Lie groups

Summary Let F_n, n≧ 1, denote the sequence of generic filiform (connected, simply connected) Lie groups. Here we study, for each F_n, the infinite dimensional simple quotients of the group C*-algebra of (the most obvious) one of its discrete cocompact subgroups D_n. For D_n, the most attractive concrete faithful representations are given in terms of Anzai flows, in analogy with the representations of the discrete Heisenberg group H₃ ⊆G₃ on L²(T) that result from the irrational rotation flows on T; the representations of D_n generate infinite-dimensional simple quotients A_n,θ of the group C*-algebra C*(D_n). For n>1, there are other infinite-dimensional simple quotients of C*(D_n) arising from non-faithful representations of D_n. Flows for these are determined, and they are also characterized and represented as matrix algebras over simple affine Furstenberg transformation group C*-algebras of the lower dimensional tori.     

Extremal probabilities for Gaussian quadratic forms

 Denote by Q an arbitrary positive semidefinite quadratic form in centered Gaussian random variables such that E(Q)=1. We prove that for an arbitrary x>0, inf _Q P(Q≤x)=P(χ² _n /n≤x), where χ _n ² is a chi-square distributed rv with n=n(x) degrees of freedom, n(x) is a non-increasing function of x, n=1 iff x>x(1)=1.5364…, n=2 iff x[x(2),x(1)], where x(2)=1.2989…, etc., n(x)≤rank(Q). A similar statement is not true for the supremum: if 1<x<2 and Z ₁ ,Z ₂ are independent standard Gaussian rv's, then sup_0≤λ≤1/2 P{λZ ₁ ² +(1−λ)Z ₂ ² ≤x} is taken not at λ=0 or at λ=1/2 but at 0<λ=λ(x)<1/2, where λ(x) is a continuous, increasing function from λ(1)=0 to λ(2)=1/2, e.g. λ(1.5)=.15…. Applications of our theorems include asymptotic quantiles of U and V-statistics, signal detection, and stochastic orderings of integrals of squared Gaussian processes. Received: 24 June 2002 / Revised version: 26 January 2003 Published online: 15 April 2003 Research supported by NSA Grant MDA904-02-1-0091 Mathematics Subject Classification (2000): Primary 60E15, 60G15; Secondary 62G10     

A bound for the topological entropy of homeomorphisms of a punctured two-dimensional disk

We consider homeomorphisms ƒ of a punctured 2-disk D ² \ P, where P is a finite set of interior points of D ², which leave the boundary points fixed. Any such homeomorphism induces an automorphism ƒ _* of the fundamental group of D ² \ P. Moreover, to each homeomorphism ƒ, a matrix B _ƒ (t) from GL(n, ℤ[t, t ⁻¹]) can be assigned by using the well-known Burau representation. The purpose of this paper is to find a nontrivial lower bound for the topological entropy of ƒ. First, we consider the lower bound for the entropy found by R. Bowen by using the growth rate of the induced automorphism ƒ _*. Then we analyze the argument of B. Kolev, who obtained a lower bound for the topological entropy by using the spectral radius of the matrix B _ƒ (t), where t ∈ ℂ, and slightly improve his result. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 5, pp. 47–55, 2005.     

A penalty method for nonparametric estimation of the logarithmic derivative of a density function

Summary Given a random sample of sizen from a densityf ₀ on the real line satisfying certain regularity conditions, we propose a nonparametric estimator forψ ₀=−f ₀ ^′ /f⁰. The estimate is the minimizer of a quadratic functional of the formλJ(ψ)+∫[ψ ²−2ψ′]dF_n where λ>0 is a smoothing parameter,J(·) is a roughness penalty, andF _n is the empirical c.d.f. of the sample. A characterization of the estimate (useful for computational purposes) is given which is related to spline functions. A more complete study of the caseJ(ψ)=∫[d ²ψ/dx²]² is given, since it has the desirable property of giving the maximum likelihood normal estimate in the infinite smoothness limit (λ→∞). Asymptotics under somewhat restrictive assumptions (periodicity) indicate that the estimator is asymptotically consistent and achieves the optimal rate of convergence. This type of estimator looks promising because the minimization problem is simple in comparison with the analogous penalized likelihood estimators. This research was supported by the Office of Naval Research under Grant Number N00014-82-C-0062.     

Distribution of values of bounded generalized polynomials

A generalized polynomial is a real-valued function which is obtained from conventional polynomials by the use of the operations of addition, multiplication, and taking the integer part; a generalized polynomial mapping is a vector-valued mapping whose coordinates are generalized polynomials. We show that any bounded generalized polynomial mapping u: Z ^d  → R ^l has a representation u(n) = f(ϕ(n)x), n ∈ Z ^d , where f is a piecewise polynomial function on a compact nilmanifold X, x ∈ X, and ϕ is an ergodic Z ^d -action by translations on X. This fact is used to show that the sequence u(n), n ∈ Z ^d , is well distributed on a piecewise polynomial surface (with respect to the Borel measure on that is the image of the Lebesgue measure under the piecewise polynomial function defining ). As corollaries we also obtain a von Neumann-type ergodic theorem along generalized polynomials and a result on Diophantine approximations extending the work of van der Corput and of Furstenberg–Weiss.     

Limit theorems for convolutions of probabilities on non abelian semigroups

Let S be a locally compact semigroup. We study the sequence (λⁿ) of the convolution powers of a probability measure λ on S and their shifts by a probability measure η on S. We shall give sufficient conditions for lim ‖λⁿ−η*λⁿ‖ = 0 (where ‖.‖ denotes the norm). In particular we consider the case the η is a point measure and we study the subsemigroup L_O(λ) = {x ∈ S : lim ‖λⁿ−δ_X*λⁿ‖ = 0}. We shall give necessary and sufficient conditions for L_o(λ)=S. In this case we want to treat the problem of the convergence of the sequence (λⁿ).     

Compactly Supported Distributional Solutions of Nonstationary Nonhomogeneous Refinement Equations

Let A be a matrix with the absolute values of all eigenvalues strictly larger than one, and let Z ₀ be a subset of Z such than n∈Z ₀ implies n + 1 ∈Z ₀. Denote the space of all compactly supported distributions by D′, and the usual convolution between two compactly supported distributions f and g by f*g. For any bounded sequence G _n and H _n , n∈Z ₀, in D′, define the corresponding nonstationary nonhomogeneous refinement equation Φ _n =H _n *Φ _n+1 (A·)+G _n for all n∈Z ₀ where Φ _n , n∈Z ₀, is in a bounded set of D′. The nonstationary nonhomogeneous refinement equation (*) arises in the construction of wavelets on bounded domain, multiwavelets, and of biorthogonal wavelets on nonuniform meshes. In this paper, we study the existence problem of compactly supported distributional solutions Φ _n , n∈Z ₀, of the equation (*). In fact, we reduce the existence problem to finding a bounded solution of the linear equations for all n∈Z ₀ where the matrices S _n and the vectors , n∈Z ₀, can be constructed explicitly from H _n and G _n respectively. The results above are still new even for stationary nonhomogeneous refinement equations. Received December 30, 1999, Accepted June 15, 2000     

On the growth of an entire dirichlet series

We establish the relation between the increase of the quantityM(σ,F) = ∣a ₀∣ + ∑ _n=1 ^∞ ∣a _n ∣ exp (σλ _n ) and the behavior of sequences (|a _n |) and (λ _n ), where (λ _n ) is a sequence of nonnegative numbers increasing to + ∞, andF(s) =a ₀ + ∑ _n=1 ^∞ a _n e ^sλn ,s=σ+it, is the Dirichlet entire series. Lviv University, Lviv. Translated from Ukrainskii Matematicheskii Zhurmal, Vol. 51, No. 8, pp. 1149–1153, August, 1999.     

Limit theorems for a recursive maximum process with location-dependent periodic intensity-parameter

We investigate the recursive sequence Z _n : =  max {Z _n − 1,λ(Z _n − 1)X _n } where X _n is a sequence of iid random variables with exponential distributions and λ is a periodic positive bounded measurable function. We prove that the Césaro mean of the sequence λ(Z _n ) converges toward the essential minimum of λ. Subsequently we apply this result and obtain a limit theorem for the distributions of the sequence Z _n . The resulting limit is a Gumbel distribution.     

Roots of the affine Cremona group

Let k ^[n] = k[x ₁,…, x _n ] be the polynomial algebra in n variables and let \mathbbAⁿ = \textSpec  \boldk^{[ n ]} {\mathbb{A}^n} = {\text{Spec}}\;{{\bold{k}}^{\left[ n \right]}} . In this note we show that the root vectors of \textAu\textt^*( \mathbbAⁿ ) {\text{Au}}{{\text{t}}^*}\left( {{\mathbb{A}^n}} \right) , the subgroup of volume preserving automorphisms in the affine Cremona group \textAut( \mathbbAⁿ ) {\text{Aut}}\left( {{\mathbb{A}^n}} \right) , with respect to the diagonal torus are exactly the locally nilpotent derivations x ^α (∂/∂x _i ), where x ^α is any monomial not depending on x _i . This answers a question posed by Popov.     

The cup product of Hilbert schemes for K3 surfaces

To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A ^[n] so that there is canonical isomorphism of rings (H ^*(X;ℚ)[2]) ^[n] ≅H ^*(X ^[n] ;ℚ)[2n] for the Hilbert scheme X ^[n] of generalised n-tuples of any smooth projective surface X with numerically trivial canonical bundle. Oblatum 25-I-2001 & 18-IX-2002?Published online: 24 February 2003     

Lie jets and symmetries of prolongations of geometric objects

The Lie jet L _θ λ of a field of geometric objects λ on a smooth manifold M with respect to a field θ of Weil A-velocities is a generalization of the Lie derivative L _v λ of a field λ with respect to a vector field v. In this paper, Lie jets L _θ λ are applied to the study of A-smooth diffeomorphisms on a Weil bundle T ^A M of a smooth manifold M, which are symmetries of prolongations of geometric objects from M to T ^A M. It is shown that vanishing of a Lie jet L _θ λ is a necessary and sufficient condition for the prolongation λ ^A of a field of geometric objects λ to be invariant with respect to the transformation of the Weil bundle T ^A M induced by the field θ. The case of symmetries of prolongations of fields of geometric objects to the second-order tangent bundle T ² M are considered in more detail.     

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

On some extensions of <Emphasis Type="Italic">p</Emphasis>-restricted completely splittable GL(<Emphasis Type="Italic">n</Emphasis>)-modules

In this paper, we calculate the space Ext _GL(n ¹ )(L _n (λ), L _n (μ)), where GL(n) is the general linear group of degree n over an algebraically closed field of positive characteristic, L _n (λ) and L _n (μ) are rational irreducible GL(n)-modules with highest weights λ and μ, respectively, the restriction of L _n (λ) to any Levi subgroup of GL(n) is semisimple, λ is a p-restricted weight, and μ does not strictly dominate λ. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 219–226, 2005.     

On the Iwasawa invariants of totally real number fields

We shall show two sufficient conditions under which the Iwasawa invariants λ _k and μ _k of a totally real fieldk vanish for an odd primel, based on the results obtained in [1], [3] and [4]. LetK _n be the composite ofk and thel ⁿ-th cyclotomic extension of the fieldQ of rational numbers. LetC _n be the factor group of thel-class group ofK _n by a subgroup generated by ideals whose prime factors divide the principal ideal (l). Let ϕ₁ be an idempotent of the group ringZ _l[Gal(K ₁/k)] defined in the below. We shall prove λ _k = μ _k =0 if there is a natural numbern such that ε₁ C _n vanishes, under additional conditions concerning ramifications inK _n/k.