Degenerate orbits of adjoint representation of orthogonal and unitary groups regarded as algebraic submanifolds

We suggest a method for describing some types of degenerate orbits of orthogonal and unitary groups in the corresponding Lie algebras as level surfaces of a special collection of polynomial functions. This method allows one to describe orbits of the types SO(2n)/SO(2k)×SO(2) ^n?k , SO(2n+1)/SO(2k+1)×SO(2) ^n?k , and (S)U(n)/(S)(U(2k)×U(2) ^n?k ) in so(2n), so(2n+1), and (s)u(n), respectively. In addition, we show that the orbits of minimal dimensions of the groups under consideration can be described in the corresponding algebras as intersections of quadries. In particular, this approach is used for describing the orbit CP ^n?1?u(n).     

Complete description of invariant Einstein metrics on the generalized flag manifold SO(2n)/U(p)?× U(n ? p)

We find the precise number of non-K?hler SO(2n)-invariant Einstein metrics on the generalized flag manifold M = SO(2n)/U(p)×U(n−p) with n ≥ 4 and 2 ≤ p ≤ n−2. We use an analysis on parametric systems of polynomial equations and we give some insight towards the study of such systems. We also examine the isometric problem for these Einstein metrics.     

Singular Manakov flows and geodesic flows on homogeneous spaces of SO(N)

We prove complete integrability of the Manakov-type SO(n)-invariant geodesic flows on homogeneous spaces SO(n)/SO(k₁) ×⋯× SO(k _r ), for any choice of k ₁,…,k _r , k ₁ + ⋯ + k _r ⩽ n. In particular, a new proof of the integrability of a Manakov symmetric rigid body motion around a fixed point is presented. Also, the proof of integrability of the SO(n)-invariant Einstein metrics on SO(k ₁ + k ₂ + k ₃)/SO(k ₁) × SO(k ₂) × SO(k ₃) and on the Stiefel manifolds V (n, k) = SO(n)/SO(k) is given.     

Centralizers of generalized derivations on multilinear polynomials in prime rings

Let R be a prime ring of characteristic different from 2, with Utumi quotient ring U and extended centroid C, δ a nonzero derivation of R, G a nonzero generalized derivation of R, and f(x ₁, …, x _n ) a noncentral multilinear polynomial over C. If δ(G(f(r ₁, …, r _n ))f(r ₁, …, r _n )) = 0 for all r ₁, …, r _n ∈ R, then f(x ₁, …, x _n )² is central-valued on R. Moreover there exists a ∈ U such that G(x) = ax for all x ∈ R and δ is an inner derivation of R such that δ(a) = 0.     

Process convergence of self-normalized sums of i.i.d. random variables coming from domain of attraction of stable distributions

In this paper we show that the continuous version of the self-normalized process Y _n,p (t)?=?S _n (t)/V _n,p ?+?(nt???[nt])X _[nt]?+?1/V _n,p ,0?<?t?≤?1; p?>?0 where $S_n(t)=\sum_{i=1}^{[nt]} X_i$ and $V_{(n,p)}=(\sum_{i=1}^{n}|X_i|^p)^{1/p}$ and X _i i.i.d. random variables belong to DA(α), has a non-trivial distribution iff p?=?α?=?2. The case for 2?>?p?>?α and p?≤?α?<?2 is systematically eliminated by showing that either of tightness or finite dimensional convergence to a non-degenerate limiting distribution does not hold. This work is an extension of the work by Csörg? et al. who showed Donsker’s theorem for Y _n,2(·), i.e., for p?=?2, holds iff α?=?2 and identified the limiting process as a standard Brownian motion in sup norm.     

On squares in Lucas sequences

Let P and Q be non-zero integers. The Lucas sequence {Un(P,Q)} is defined by U₀=0, U₁=1, Un=PUn−1−QUn−2 (n?2). The question of when Un(P,Q) can be a perfect square has generated interest in the literature. We show that for n=2,…,7, Un is a square for infinitely many pairs (P,Q) with gcd(P,Q)=1; further, for n=8,…,12, the only non-degenerate sequences where gcd(P,Q)=1 and Un(P,Q)=□, are given by U₈(1,−4)=²¹², U₈(4,−17)=⁶²⁰², and U₁₂(1,−1)=¹²².     

A limiting absorption principle for Schrödinger operators with spherically symmetric exploding potentials

LetH=?Δ+V(r) be a Schrödinger operator with a spherically symmetric exploding potential, namely,V(r)=V _S(r)+V _L(r), whereV _S(r) is short-range and the exploding partV _L(r) satisfies the following assumptions: (a) Λ=lim sup _r→∞ V _L(r)<∞ (but Λ=?∞ is possible). Denote Λ⁺= max(Λ,0). (b)V _L(r)∈C ^2k (r ₀, ∞) and, with someδ>0 such that 2kδ>1: (d/dr) ^j V _L(r) · (Λ⁺?V _L(r))^?1=O(r ^jδ) asr → ∞,j=1, ..., 2k. (c) ∫ _r0 ^∞ dr|V _L(r|^1/2 dr|V _L(r)|^1/2=∞. (d) (d/dr)V _L(r)≦0. Under these assumptions a limiting absorption principle forR(z)=(H?z)^?1 is established. More specifically, ifK ?C ⁺={zImz≧0} is compact andK ∩ (?∞, Λ]=Ø thenR (z) can be extended as a continuous map ofK intoB (Y, Y*) (with the uniform operator topology), whereY ?L ²(R ⁿ) is a weighted-L ² space. To ensure uniqueness of solutions of (H?z)u=f, z ∈K, a suitable radiation condition is introduced.     

Reducibility of the families of 0-dimensional schemes on a variety

IfA is a regular local ring of dimensionr>2, over an algebraically closed fieldk, we show that the Hilbert scheme Hilb ⁿ A parametrizing ideals of colengthn inA(dim _k A/I=n) has dimension>cn ^2?2/r and is reducible, for alln>c′, wherec andc′ depend only onr. We conclude that ifV is a nonsingular projective variety of dimensionr>2, the Hilbert scheme Hilb ⁿ V parametrizing the 0-dimensional subschemes ofV having lengthn, is reducible for alln>c″(r). We may takec″(r) to be (1) $$102 ifr = 3,25 ifr = 4,35 ifr = 5,and\left( {1 + r} \right)\left( {{{1 + r} \mathord{\left/ {\vphantom {{1 + r} 4}} \right. \kern-\nulldelimiterspace} 4}} \right)ifr > 5.$$ The result answers in the negative a conjecture of Fogarty [1] but leaves open the question of the conjectured irreducibility of Hilb ⁿ A, whereA has dimension 2. Hilb ⁿ V is known to be irreducible ifV is a nonsingular surface (Hartshorne forP ₂, and Fogarty [1]). In all cases Hilb ⁿ V and Hilb ⁿ A are known to be connected (Hartshorne forP _r, and Fogarty [1]). The author is indebted to Hartshorne for suggesting that Hilb ⁿ A might be reducible ifr>2. The proof has 3 steps. We first show that ifV is a variety of dimensionr, then Hilb ⁿ V is irreducible only if it has dimensionr n. We then show that ifA is a regular local ring of dimensionr, Hilb ⁿ A can be irreducible only if it has dimension (r?1)(n?1). Finally in § 3 we construct a family of graded ideals of colengthn in the local ringA, and having dimensionc′ n^2?2/r. Since for largen this dimension is greater thanr n, and since Hilb ⁿ A?Hilb ⁿ V whenA is the local ring of a closed point onV, the proof is complete, except for (1), which follows from § 3, and the monotonicity of (dim Hilb ⁿ V?r n) (see (2)). In § 4, we comment on some related questions.     

Classifying Hilbert bundles. II

A Hilbert bundle (p, B, X) is a type of fibre space p: B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X, even when X is connected. We give two “homotopy” type classification theorems for Hilbert bundles having primarily finite dimensional fibres. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle over (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. As a special case, we show that if X is a compact metric space, C₊X the upper cone of the suspension SX, then the isomorphism classes of (m, n)-bundles over (SX, C₊X) are in one-to-one correspondence with the members of [X, V_m($\text{C}$ⁿ)] where V_m($\text{C}$ⁿ) is the Stiefel manifold. The results are all applicable to the classification of separable, continuous trace C¹-algebras, with specific results given to illustrate.     

Harmonic morphisms from the compact semisimple Lie groups and their non-compact duals

In this paper we prove the local existence of complex-valued harmonic morphisms from any compact semisimple Lie group and their non-compact duals. These include all Riemannian symmetric spaces of types II and IV. We produce a variety of concrete harmonic morphisms from the classical compact simple Lie groups SO(n), SU(n), Sp(n) and globally defined solutions on their non-compact duals SO(n,C)/SO(n), SLn(C)/SU(n) and Sp(n,C)/Sp(n).     

Lax Operator for the Quantised Orthosymplectic Superalgebra Uq[osp(m|n)]

Representations of quantum superalgebras provide a natural framework in which to model supersymmetric quantum systems. Each quantum superalgebra, belonging to the class of quasi-triangular Hopf superalgebras, contains a universal R-matrix which automatically satisfies the Yang–Baxter equation. Applying the vector representation π, which acts on the vector module V, to the left-hand side of a universal R-matrix gives a Lax operator. In this article a Lax operator is constructed for the quantised orthosymplectic superalgebras U _q [osp(m|n)] for all m > 2, n ≥ 0 where n is even. This can then be used to find a solution to the Yang–Baxter equation acting on V ⊗ V ⊗ W, where W is an arbitrary U _q [osp(m|n)] module. The case W = V is studied as an example. Presented by A. Verschoren.     

Elliptic equation with a singular potential in a domain with a conic point

This paper deals with the behavior of the nonnegative solutions of the problem $$- \Delta u = V(x)u, \left. u \right|\partial \Omega = \varphi (x)$$ in a conical domain Ω ? ? ⁿ , n ≥ 3, where 0 ≤ V (x) ∈ L₁(Ω), 0 ≤ ?(x) ∈ L₁(?Ω) and ?(x) is continuous on the boundary ?Ω. It is proved that there exists a constant C _*(n) = (n ? 2)²/4 such that if V ₀(x) = (c + λ ₁)|x|^?2, then, for 0 ≤ c ≤ C _*(n) and V(x) ≤ V ₀(x) in the domain Ω, this problem has a nonnegative solution for any nonnegative boundary function ?(x) ∈ L ₁(?Ω); for c > C _*(n) and V(x) ≥ V ₀(x) in Ω, this problem has no nonnegative solutions if ?(x) > 0.     

More coverings by rook domains

The set V_kⁿ of all n-tuples (x₁, x₂,…, x_n) with x_i?, $\text{Z}$_k is considered. The problem treated in this paper is determining σ(n, k), the minimum size of a set W ? V_kⁿ such that for each x in V_kⁿ, there is an element in W that differs from x in at most one coordinate. By using a new constructive method, it is shown that σ(n, p) ? (p ? t + 1)p^n?r, where p is a prime and $\text{n = 1 +}\text{t(p}{}^{\mathrm{r?1}}\text{? 1)}\text{(p ? 1)}$ for some integers t and r. The same method also gives σ(7, 3) ? 216. Another construction gives the inequality σ(n, kt) ? σ(n, k)t^n?1 which implies that σ(q + 1, qt) = q^q?1t^q when q is a prime power. By proving another inequality σ(np + 1, p) ? σ(n, p)p^n(p?1), σ(10, 3) ? 5 · 3⁶ and σ(16, 5) ? 13 · 5¹² are obtained.     

Some results on Hu's conjecture concerning binary trees

Given n weights, w₁, w₂,…, w_n, such that 0?w₁?w₂???w₁, we examine a property of permutation π¹, where π¹=(w₁, w_n, w₂, w_n?1,…), concerning alphabetical binary trees.For each permutation π of these n weights, there is an optimal alphabetical binary tree corresponding to π, we denote it's cost by V(π). There is also an optimal almost uniform alphabetical binary tree, corresponding to π, we denote it's cost by V_u(π).This paper asserts that V_u(π¹)?V_u(π)?V(π) for all π. This is a preliminary result concerning the conjecture of T.C. Hu. Hu's conjecture is V(π¹)?V(π) for all π.     

Balanced decomposition of a vertex-colored graph

A balanced vertex-coloring of a graph G is a function c from V(G) to {−1,0,1} such that ∑{c(v):v∈V(G)}=0. A subset U of V(G) is called a balanced set if U induces a connected subgraph and ∑{c(v):v∈U}=0. A decomposition V(G)=V₁∪?∪V_r is called a balanced decomposition if V_i is a balanced set for 1≤i≤r.In this paper, the balanced decomposition number f(G) of G is introduced; f(G) is the smallest integer s such that for any balanced vertex-coloring c of G, there exists a balanced decomposition V(G)=V₁∪?∪V_r with |V_i|≤s for 1≤i≤r. Balanced decomposition numbers of some basic families of graphs such as complete graphs, trees, complete bipartite graphs, cycles, 2-connected graphs are studied.     

Terseness: Minimal idempotent generating sets for K(n,r)

Let n and r be positive integers with 1 < r < n and let K(n,r) consist of all transformations on X _n = {1,...,n} having image size less than or equal to r. For 1 < r < n, there exist rank-r elements of K(n,r) which are not the product of two rank-r idempotents. With this limitation in mind, we prove that for fixed r, and for all n large enough relative to r, that there exists a minimal idempotent generating set U of K(n,r) such that all rank-r elements of K(n,r) are contained in U ³. Moreover, for all n > r > 1, there exists a minimal idempotent generating set W for K(n,r) such that not every rank-r element is contained in W ³.     

Generation of classical groups over finite fields

Let U_n(V) and Sp_n(V) denote the unitary group and the symplectic group of the n dimensional vector space V over a finite field of characteristic not 2, respectively. Assume that the hyperbolic rank of U_n(V) is at least one. Then U_n(V) is generated by 4 elements and Sp_n(V) by 3 elements. Further, U_2m+1(V) is generated by 3 elements and Sp_4m(V) by 2 elements.     

Lower bound inequalities for norms of symmetrized tensor powers

Let V be a complex inner product space of positive dimension m with inner product 〈·,·〉, and let T_n(V) denote the set of all n-linear complex-valued functions defined on V×V×?×V (n-copies). By S_n(V) we mean the set of all symmetric members of T_n(V). We extend the inner product, 〈·,·〉, on V to T_n(V) in the usual way, and we define multiple tensor products A₁⊗A₂⊗?⊗A_n and symmetric products A₁·A₂?A_n, where q₁,q₂,…,q_n are positive integers and A_i∈T_qi(V) for each i, as expected. If A∈S_n(V), then A^k denotes the symmetric product A·A?A where there are k copies of A. We are concerned with producing the best lower bounds for ‖A^k‖², particularly when n=2. In this case we are able to show that ‖A^k‖² is a symmetric polynomial in the eigenvalues of a positive semi-definite Hermitian matrix, M_A, that is closely related to A. From this we are able to obtain many lower bounds for ‖A^k‖². In particular, we are able to show that if ω denotes 1/r where r is the rank of M_A, and , then

     

Harmonic morphisms from the classical non-compact semisimple Lie groups

We construct the first known complex-valued harmonic morphisms from the non-compact Lie groups SLn(R), SU^∗(2n) and Sp(n,R) equipped with their standard Riemannian metrics. We then introduce the notion of a bi-eigenfamily and employ this to construct the first known solutions on the non-compact Riemannian SO^∗(2n), SO(p,q), SU(p,q) and Sp(p,q). Applying a duality principle we then show how to manufacture the first known complex-valued harmonic morphisms from the compact Lie groups SO(n), SU(n) and Sp(n) equipped with semi-Riemannian metrics.     

On the matrices of given rank in a large subspace

Let V be a linear subspace of M_n,p(K) with codimension lesser than n, where K is an arbitrary field and n?p. In a recent work of the author, it was proven that V is always spanned by its rank p matrices unless n=p=2 and K?F₂. Here, we give a sufficient condition on codim V for V to be spanned by its rank r matrices for a given r∈?1,p-1?. This involves a generalization of the Gerstenhaber theorem on linear subspaces of nilpotent matrices.