An L p -L q analog of miyachi’s theorem for nilpotent lie groups and sharpness problems

The purpose of this paper is to formulate and prove an L ^p -L ^q analog of Miyachi’s theorem for connected nilpotent Lie groups with noncompact center for 2 ≤ p, q ≤ +∞. This allows us to solve the sharpness problem in both Hardy’s and Cowling-Price’s uncertainty principles. When G is of compact center, we show that the aforementioned uncertainty principles fail to hold. Our results extend those of [1], where G is further assumed to be simply connected, p = 2, and q = +∞. When G is more generally exponential solvable, such a principle also holds provided that the center of G is not trivial. Representation theory and a localized Plancherel formula play an important role in the proofs.     

Newton’s method on Lie groups

The purpose of this paper is to study the strong convergence of fixed points for a family of demi-continuous pseudo-contractions by hybrid projection algorithms in the framework of Hilbert spaces. Our results improve and extend the corresponding results announced by many others.     

The Erd?s-Ginzburg-Ziv theorem for finite solvable groups

Let G be a non-cyclic finite solvable group of order n, and let S=(g₁,…,g_k) be a sequence of k elements (repetition allowed) in G. In this paper we prove that if , then there exist some distinct indices i₁,i₂,…,i_n such that the product g_i1g_i2?g_in=1. This result substantially improves the Erd?s-Ginzburg-Ziv theorem and other existing results.     

Invariant complex structures on solvable¶real Lie groups

In this paper, we classify the invariant complex structures on four-dimensional, solvable, simply-connected real Lie groups with commutator of dimension three. The resulting complex surfaces corresponding to these structures are also determined. The classification is based on the determination of certain complex subalgebras of the complexifications of the corresponding real Lie algebras. Received: 17 December 1999 / Revised version: 1 May 2000     

Uniform Zariski’s theorem on fundamental groups

The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of the fundamental groups of the complements to the hypersurface in the plane and in the space. If a family of hypersurfaces depends algebraically on parameters then it is not true in general that there exists a plane such that the natural embedding generates an isomorphism of the fundamental groups of the complements to each hypersurface from this family in the plane and in the space. But we show that in the affine case such a plane exists after a polynomial coordinate substitution. The research was partially supported by an NSA grant.     

Gauge functions,Eikonal equations and Bôcher’s theorem on stratified Lie groups

Let \({\mathcal{L} = \sum_{i=1}^m X_i^2}\) be a real sub-Laplacian on a Carnot group \({\mathbb{G}}\) and denote by \({\nabla_\mathcal{L} = (X_1,\ldots,X_m)}\) the intrinsic gradient related to \({\mathcal{L}}\). Our aim in this present paper is to analyze some features of the \({\mathcal{L}}\)-gauge functions on \({\mathbb{G}}\), i.e., the homogeneous functions d such that \({\mathcal{L}(d^\gamma) = 0}\) in \({\mathbb{G} \setminus \{0\}}\) , for some \({\gamma \in \mathbb{R} \setminus \{0\}}\). We consider the relation of \({\mathcal{L}}\)-gauge functions with: the \({\mathcal{L}}\)-Eikonal equation \({|\nabla_\mathcal{L} u| = 1}\) in \({\mathbb{G}}\); the Mean Value Formulas for the \({\mathcal{L}}\)-harmonic functions; the fundamental solution for \({\mathcal{L}}\); the Bôcher-type theorems for nonnegative \({\mathcal{L}}\)-harmonic functions in “punctured” open sets \({\dot \Omega:= \Omega \setminus \{x_0\}}\).     

The converse of Schur’s theorem

Schur’s theorem states that for a group G finiteness of G/Z(G) implies the finiteness of G′. In this paper, we show the converse is true provided that G/Z(G) is finitely generated and in such case, we have |G/Z(G)| ≤ |G′| ^d(G/Z(G)). In the special case of G being nilpotent, we prove |G/Z(G)| divides |G′| ^d(G/Z(G)).     

Thompson’s conjecture for Lie type groups E 7(q)

In this article, we prove a conjecture of Thompson for an infinite class of simple groups of Lie type E ₇(q). More precisely, we show that every finite group G with the properties Z(G) = 1 and cs(G) = cs(E ₇(q)) is necessarily isomorphic to E ₇(q), where cs(G) and Z(G) are the set of lengths of conjugacy classes of G and the center of G respectively.     

The existence of optimal control on the basis of Weierstrass’s theorem

The problem of existence of an optimal control is solved on the basis of Weierstrass’s classical theorem if the set of admissible controls belongs to the class of piecewise continuous functions. In the process of describing admissible controls, the main assumption is that the number of switchings (points of discontinuity) is uniformly bounded and not just finite, as in the main problem of optimal control theory. On the one hand, this assumption does not restrict the spectrum of optimal control applications. On the other hand, it fits the Weierstrass’s theorem owing to the convenience in characterizing the sequential compactness. The formulation of Weierstrass’s theorem, which asserts the existence of continuous function extrema on sequentially compact sets, is customary, and its proof complies with the traditional scheme, whereas the concepts (convergent sequences and some others) are adapted to the peculiarity of optimal problems.     

The matrix version of Hamburger’s theorem

Mathematical Notes - Necessary and sufficient conditions for the Stieltjes moment problem to have a unique solution and for the Hamburger moment problem with the same moments to have infinitely...     

An analog of Smale’s theorem for homeomorphisms with regular dynamics

Mathematical Notes -     

An analog of shemetkov’s conjecture for fischer classes of finite groups

We describe some methods for constructing Fischer classes of finite groups by means of the operators defined by given properties of Hall π-subgroups. It is in particular proved that, for a Fischer class $\mathfrak{F}$ and a set of primes π, the class of all finite π-soluble $C_\pi \mathfrak{F}$ -groups, i.e., of all groups whose Hall π-subgroups belong to $\mathfrak{F}$ , is a Fischer class.     

A theorem of Piccard’s type in abelian Polish groups

In the paper we prove a theorem of Piccard’s type which generalizes [9, Theorem 2]. More precisely, we show that in an abelian Polish group X the set \(\left\{ {\left( {{x_{1, \ldots ,\;}}{x_N}} \right) \in \;{X^N}\;:\;A\; \cap \;\bigcap\limits_{i = 1}^N {\left( {A + {x_i}} \right)} \;is\;not\;Haar\;meager\;in\;X} \right\}\) is a neighbourhood of 0 for every N ∈ N and every Borel non-Haar meager set A ? X. The paper refers to the paper [3].     

The degenerate analogue of Ariki’s categorification theorem

We explain how to deduce the degenerate analogue of Ariki’s categorification theorem over the ground field \mathbbC{\mathbb{C}} as an application of Schur–Weyl duality for higher levels and the Kazhdan–Lusztig conjecture in finite type A. We also discuss some supplementary topics, including Young modules, tensoring with sign, tilting modules and Ringel duality.     

A theorem,like f⊘lner’s theorem on amenability,concerning residual properties of free groups

Let PL(F _q) denote the projective line over a Galois field F _q. Consider PSL (2, Z ) as a free product of two cyclic groups <x> and <y> of orders 2 and 3. We have shown that any homomorphism from PSL(2,Z) into PGL(2,q) can be extended to a homomorphism from PGL(2Z) into PGL(2q) except in the case where the order of the image of xyis 6 but the images of xand ydo not commute in PGL(2q). It has been shown also that every element in PGL(2,q), not of order 1,2 , or 6, is the image of xyunder some non-degenerate homomorphism. We have parametrized the conjugacy classes of non-degenerate homomorphisms α with the non-trivial elements of F _q. Due to this parametrization we have developed a useful mechanism by which one can construct.

a unique coset diagram (attributed to G. Higman) for each conjugacy class, depicting the action of PGL(2Z) on PL( F _q).     

The polarized Ramsey’s theorem

We study the effective and proof-theoretic content of the polarized Ramsey’s theorem, a variant of Ramsey’s theorem obtained by relaxing the definition of homogeneous set. Our investigation yields a new characterization of Ramsey’s theorem in all exponents, and produces several combinatorial principles which, modulo bounding for formulas, lie (possibly not strictly) between Ramsey’s theorem for pairs and the stable Ramsey’s theorem for pairs. We are grateful to D. Hirschfeldt, A. Montalbán, and R. Soare for making our collaboration possible and for helpful comments and suggestions. We thank J. Schmerl for first bringing the subject of polarized partitions to our attention and J. Mileti for his generous insights. We also thank one anonymous referee for valuable observations and corrections. The first author was partially supported by an NSF Graduate Research Fellowship.