On the local Artin conductor f<Subscript>Artin</Subscript> (Χ) of a character Χ of Gal(E/K) — II: Main results for the metabelian case

This paper which is a continuation of [2], is essentially expository in nature, although some new results are presented. LetK be a local field with finite residue class fieldK _k. We first define (cf. Definition 2.4) the conductorf(E/K) of an arbitrary finite Galois extensionE/K in the sense of non-abelian local class field theory as wheren _G is the break in the upper ramification filtration ofG = Gal(E/K) defined by . Next, we study the basic properties of the idealf(E/K) inO _k in caseE/K is a metabelian extension utilizing Koch-de Shalit metabelian local class field theory (cf. [8]). After reviewing the Artin charactera _G : G → ℂ ofG := Gal(E/K) and Artin representationsA _g G → G →GL(V) corresponding toa _G : G → ℂ, we prove that (Proposition 3.2 and Corollary 3.5) where Χ_gr : G → ℂ is the character associated to an irreducible representation ρ: G → GL(V) ofG (over ℂ). The first main result (Theorem 1.2) of the paper states that, if in particular,ρ : G → GL(V) is an irreducible representation ofG(over ℂ) with metabelian image, then where Gal(E^ker(ρ)/E^ker(ρ)•) is any maximal abelian normal subgroup of Gal(E^ker(ρ)/K) containing Gal(E^ker(ρ) /K)′, and the break n_G/ker(ρ) in the upper ramification filtration of G/ker(ρ) can be computed and located by metabelian local class field theory. The proof utilizes Basmaji’s theory on the structure of irreducible faithful representations of finite metabelian groups (cf. [1]) and on metabelian local class field theory (cf. [8]). We then discuss the application of Theorem 1.2 on a problem posed by Weil on the construction of a ‘natural’A _G ofG over ℂ (Problem 1.3). More precisely, we prove in Theorem 1.4 that ifE/K is a metabelian extension with Galois group G, then Kazim İlhan ikeda whereN runs over all normal subgroups of G, and for such anN, V _n denotes the collection of all ∼-equivalence classes [ω]∼, where ‘∼’ denotes the equivalence relation on the set of all representations ω : (G/N)^• → ℂ^Χ satisfying the conditions Inert(ω) = {δ ∈ G/N : ℂ_δ} = ω =(G/N) and where δ runs over R((G/N)^•/(G/N)), a fixed given complete system of representatives of (G/N)^•/(G/N), by declaring that ω₁ ∼ ω₂ if and only if ω₁ = ω _2,δ for some δ ∈ R((G/N)^•/(G/N)). Finally, we conclude our paper with certain remarks on Problem 1.1 and Problem 1.3.     

The asymptotic σ-algebra of a recurrent random walk on a locally compact group

Let μ be a probability measure on a locally compact second countable groupG defining a recurrent (but not necessarily Harris) random walk. Denote byG ^∞ the space of paths and byB ^(a)the asymptotic σ-algebra. Let the starting measure be equivalent to the Haar measure and writeQ for the corresponding Markov measure onG ^∞. We prove thatL ^∞(G^∞, B^(a), Q) is in a canonical way isomorphic toL ^∞(G/N) whereN is the smallest closed normal subgroup ofG such that μ(zN)=1 for somez∈G. The groupG/N is either a finite cyclic group with generatorzN or a compact abelian group having the cyclic group as a dense subgroup. As a corollary we obtain that the set of all φ∈L ¹(G) such that coincides with the kernel of the canonical mapping ofL ¹(G)ontoL ¹(G/N). In particular, when μ is aperiodic, i.e.,G=N, then the random walk is mixing: for every φ∈L ¹(G) with ∝ φ=0.     

On super vertex-graceful unicyclic graphs

A graph G with p vertices and q edges, vertex set V(G) and edge set E(G), is said to be super vertex-graceful (in short SVG), if there exists a function pair (f, f ⁺) where f is a bijection from V(G) onto P, f ⁺ is a bijection from E(G) onto Q, f ⁺((u, v)) = f(u) + f(v) for any (u, v) ∈ E(G),

Nonparametric estimation of an affinity measure between two absolutely continuous distributions with hypotheses testing applications

LetF andG denote two distribution functions defined on the same probability space and are absolutely continuous with respect to the Lebesgue measure with probability density functionsf andg, respectively. A measure of the closeness betweenF andG is defined by: . Based on two independent samples it is proposed to estimate λ by , whereF _n (x) andG _n (x) are the empirical distribution functions ofF(x) andG(x) respectively and and are taken to be the so-called kernel estimates off(x) andg(x) respectively, as defined by Parzen [16]. Large sample theory of is presented and a two sample goodness-of-fit test is presented based on . Also discussed are estimates of certain modifications of λ which allow us to propose some test statistics for the one sample case, i.e., wheng(x)=f ₀ (x), withf ₀ (x) completely known and for testing symmetry, i.e., testingH ₀:f(x)=f(−x).     

Ergodic Retraction Theorem and Weak Convergence Theorem for Reversible Semigroups of Non-Lipschitzian Mappings

Let G be a semitopological semigroup. Let C be a closed convex subset of a uniformly convex Banaeh space E with a Frechet differentiable norm, and T = {Tt ： t ∈ G} be a continuous representation of G as nearly asymptotically nonexpansive type mappings of C into itself such that the common fixed point set F（T） of T in C is nonempty. It is shown that if G is right reversible, then for each almost-orbit u（.） of T, ∩s∈G ^-CO{u（t） ： t ≥ s} ∩ F（T） consists of at most one point. Furthermore, ∩s∈G ^-CO{Ttx ： t ≥ s} ∩ F（T） is nonempty for each x ∈ C if and only if there exists a nonlinear ergodic retraction P of C onto F（T） such that PTs - TsP = P for all s ∈ G and Px ∈^-CO{Ttx ： s ∈ G} for each x ∈ C. This result is applied to study the problem of weak convergence of the net {u（t） ： t ∈ G} to a common fixed point of T.     

Maximal deviation theory of some estimators of prior distribution functions

Summary Let be a sequence of independent identically distributed random variables withθ ₁∼G and the conditional distribution ofx ₁ givenθ ₁=θ given by . HereG is unknown andF _θ(·) is known. This paper provides estimators ofG based onx ₁, …,x _n such that the random variable sup has an asymptotic distribution asn→∞ under certain on conditionsG and for certain choices ofF _θ. A simulation model has been discussed involving the uniform distribution on (0, θ) forF _θ and an exponential distribution forG. Research supported by the National Science Foundation under Grant #MCS77-26809.     

Weighted estimates of Calderon’s commutators on complex plane

Let V(z) be a complex-valued function on the complex plane ℂ satisfying the condition |V(z) − V(ζ)| ≤ w|z − ζ|, z, ζ ε ℂ; ω ≥ 0 be a Muckenhoupt A _p weight on ℂ; i.e., the inequality

Composition operators on the Lipschitz space in polydiscs

Let Un be the unit polydisc of Cn and φ= (φ1,...,φn? a holomorphic self-map of Un. Let 0≤α< 1. This paper shows that the composition operator Cφ, is bounded on the Lipschitz space Lipa(Un) if and only if there exists M > 0 such thatfor z∈Un. Moreover Cφ is compact on Lipa(Un) if and only if Cφ is bounded on Lipa(Un) and for every ε > 0, there exists a δ > 0 such that whenever dist(φ(z),σUn) <δ     

On the Similarity of Analytic Matrix Functions

Consider a domain , and two analytic matrix-valued functions functions . Consider also points and positive integers n ₁, n ₂, . . . , n _N . We are interested in the existence of an analytic function such that X(ω) is invertible, and G(ω) coincides with X(ω)F(ω)X(ω)⁻¹ up to order n _j at the point ω _j . We will see that such a function exists provided that F(ω _j ),G(ω _j ) have cyclic vectors, and the characteristic polynomials of F,G coincide up to order n _j at ω _j . This allows one to give a short proof to a result of Huang, Marcantognini and Young concerning spectral interpolation in the unit disk. The author was partially supported by a grant from the National Science Foundation. Received: September 8, 2006. Accepted: January 11, 2007.     

Isometric Group Actions on Banach Spaces and Representations Vanishing at Infinity

Our main result is that the simple Lie group G = Sp(n, 1) acts metrically properly isometrically on L ^p (G) if p > 4n + 2. To prove this, we introduce Property , with V being a Banach space: a locally compact group G has Property if every affine isometric action of G on V, such that the linear part is a C ₀-representation of G, either has a fixed point or is metrically proper. We prove that solvable groups, connected Lie groups, and linear algebraic groups over a local field of characteristic zero, have Property . As a consequence, for unitary representations, we characterize those groups in the latter classes for which the first cohomology with respect to the left regular representation on L ²(G) is nonzero; and we characterize uniform lattices in those groups for which the first L2-Betti number is nonzero.      

On thin-complete ideals of subsets of groups

Let F ì P_G \mathcal{F} \subset {\mathcal{P}_G} be a left-invariant lower family of subsets of a group G. A subset A ⊂ G is called F \mathcal{F} -thin if xA ?yA ? F xA \cap yA \in \mathcal{F} for any distinct elements x, y ∈ G. The family of all F \mathcal{F} -thin subsets of G is denoted by t( F ) \tau \left( \mathcal{F} \right) . If t( F ) = F \tau \left( \mathcal{F} \right) = \mathcal{F} , then F \mathcal{F} is called thin-complete. The thin-completion t^*( F ) {\tau^*}\left( \mathcal{F} \right) of F \mathcal{F} is the smallest thin-complete subfamily of P_G {\mathcal{P}_G} that contains F \mathcal{F} . Answering questions of Lutsenko and Protasov, we prove that a set A ⊂ G belongs to τ*(G) if and only if, for any sequence (g _n ) _n∈ω of nonzero elements of G, there is n ∈ ω such that

Packing measure functions of subordinators sample paths

X(t) (t∉[0,∞)) is a subordinator with its upper index β less than one, g(u) is the index function ofX(t), andX(t), andX[0,1]={xϕR:X(t)=x} for sometϕ[0,1]{. If φ(s)(sϕ(0,1)) is a measure function andh , then

Classification of quasifinite\mathcal{W}_\infty -modules-modules

It is proved that an irreducible quasifinite -module is a highest or lowest weight module or a module of the intermediate series; a uniformly bounded indecomposable weight -module is a module of the intermediate series. For a nondegenerate additive subgroup Λ ofF _n, whereF is a field of characteristic zero, there is a simple Lie or associative algebraW(Λ,n)⁽¹⁾ spanned by differential operatorsuD ₁ ^m …D ₁ ^m foru ∈F[Γ] (the group algebra), andm _i≥0 with , whereD _i are degree operators. It is also proved that an indecomposable quasifinite weightW(Λ,n)⁽¹⁾-module is a module of the intermediate series if Λ is not isomorphic to ℤ. Supported by NSF grant no. 10471091 of China and two grants “Excellent Young Teacher Program” and “Trans-Century Training Programme Foundation for the Talents” from the Ministry of Education of China.     

Distribution of lattice orbits on homogeneous varieties

Given a lattice Γ in a locally compact group G and a closed subgroup H of G, one has a natural action of Γ on the homogeneous space V = H\ G. For an increasing family of finite subsets {Γ _T : T > 0}, a dense orbit υ· Γ, υ∈V and compactly supported function φ on V, we consider the sums . Understanding the asymptotic behavior of S _φ,υ (T) is a delicate problem which has only been considered for certain very special choices of H,G and {Γ _T }. We develop a general abstract approach to the problem, and apply it to the case when G is a Lie group and either H or G is semisimple. When G is a group of matrices equipped with a norm, we have where G _T = {g ∈G: ||g|| < T} and Γ _T = G _T ∩ Γ. We also show that the asymptotics of S _{φ, υ} (T) is governed by where ν is an explicit limiting density depending on the choice of υ and || · ||. Submitted: March 2005 Revision: April 2006 Accepted: June 2006     

Lyapunov exponents for products of matrices and multifractal analysis. Part I: Positive matrices

Let (Σ,σ) be a full shift space on an alphabet consisting ofm symbols and letM: Σ→L ⁺(ℝ ^d , ℝ ^d ) be a continuous function taking values in the set ofd×d positive matrices. Denote by λ _M (x) the upper Lyapunov exponent ofM atx. The set of possible Lyapunov exponents is just an interval. For any possible Lyapunov exponentα, we prove the following variational formula, , where dim is the Hausdorff dimension or the packing dimension,P _M(q) is the pressure function ofM, μ is aσ-invariant Borel probability measure on Σ,h(μ) is the entropy ofμ, and . The author was partially supported by a HK RGC grant in Hong Kong and the Special Funds for Major State Basic Research Projects in China.     

Integral transforms of functions with the derivative in a halfplane

LetA be the class of normalized analytic functions in the unit disk Δ and define the class

On the equivalence of some conditions for weighted Hardy spaces

Let G ∈ H _σ ^p (ℂ₊), where H _σ ^p (ℂ₊) is the class of functions analytic in the half plane ℂ₊ = {z: Re z > 0} and such that

On the existence of multiple positive solutions of quasilinear elliptic eigenvalue problems

We study a quasilinear elliptic problem

Integral-type operators from a mixed norm space to a bloch-type space on the unit ball

Let $ \mathbb{B} $ \mathbb{B} be the unit ball in ℂ ⁿ and let H($ \mathbb{B} $ \mathbb{B} ) be the space of all holomorphic functions on $ \mathbb{B} $ \mathbb{B} . We introduce the following integral-type operator on H($ \mathbb{B} $ \mathbb{B} ):