Modular <Emphasis Type="Italic">W</Emphasis> and <Emphasis Type="Italic">H</Emphasis> Type Lie Algebras

The modular Witt algebra W(p, n) and H(p, 2n) are defined on the polynomial rings Z_p[x₁,...,x_n] and Z_p[X₁,...,x_n, y₁,...,y_n] respectively. We generalize Z_p[x₁,...,xn] and Zp[x₁,...,xn, y₁,...,y_n], so we get the generalized W-type and H-type modular Lie algebras. We find all the derivations of W(p, 1).AMS Subject Classification: Primary 17B40, 17B56.     

<Emphasis Type="Italic">n</Emphasis>-Tuple algebras of associative type

We study properties of n-tuple algebras of associative type. We show that the nilpotency of an n-tuple algebra of associative type is determined by the nilpotency of each element. In addition, we characterize the nilpotency of an n-tuple algebra of associative type in terms of the trace function. In the final part of the paper, we show that a homogeneously semisimple n-tuple algebra of associative type is the direct sum of two-sided ideals each of which is a homogeneously simple n-tuple algebra of associative type.     

A new functor from <Emphasis Type="Italic">D</Emphasis><Subscript>5</Subscript>-Mod to <Emphasis Type="Italic">E</Emphasis><Subscript>6</Subscript>-Mod

We find a new representation of the simple Lie algebra of type E ₆ on the polynomial algebra in 16 variables, which gives a fractional representation of the corresponding Lie group on 16-dimensional space. Using this representation and Shen’s idea of mixed product, we construct a new functor from D ₅-Mod to E ₆-Mod. A condition for the functor to map a finite-dimensional irreducible D ₅-module to an infinite-dimensional irreducible E ₆-module is obtained. Our results yield explicit constructions of certain infinite-dimensional irreducible weight E6-modules with finite-dimensional weight subspaces. In our approach, the idea of Kostant’s characteristic identities plays a key role.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-singular dichotomy for orbital measures of classical simple Lie algebras

We prove that the G-invariant orbital measures supported on adjoint orbits in the Lie algebra of a classical, compact, connected, simple Lie group satisfy a smoothness dichotomy: Either μ ^k is singular to Lebesgue measure or μ ^k ∈ L ². The minimum k for which μ ^k ∈ L ² is specified and is also the minimum k such that the k-fold sum of the orbit has positive measure. S. K. Gupta appreciates the hospitality of the Department of Pure Mathematics at the University of Waterloo where some of this research was done. K. E. Hare was supported in part by NSERC.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

(<Emphasis Type="Italic">s</Emphasis>, <Emphasis Type="Italic">t</Emphasis>, <Emphasis Type="Italic">d</Emphasis>)-bi-Koszul algebras

The paper focuses on the 1-generated positively graded algebras with non-pure resolutions and mainly discusses a new kind of algebras called(s,t,d)-bi-Koszul algebras as the generalization of bi-Koszul algebras. An(s,t,d)-bi-Koszul algebra can be obtained from two periodic algebras with pure resolutions. The generation of the Koszul dual of an(s,t,d)-bi-Koszul algebra is discussed. Based on it,the notion of strongly(s,t,d)-bi-Koszul algebras is raised and their homological properties are further discussed.     

The centralizer of an element in a Lie algebra of type <Emphasis Type="Italic">L</Emphasis>

In this paper, we investigate the Lie algebra L(A,α,δ) of type L and obtain the respective sufficient conditions for L(A,α,δ δ to be semisimple, and for Z(ω) = Fω as well, where 0 ≠ ω Є L(A, α, δ, δ) and Z(ω) is the centralizer of ω.     

Properties of element orders in covers for L<Subscript>n</Subscript>(<Emphasis Type="Italic">q</Emphasis>) and U<Subscript>n</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

We show that if a finite simple group G, isomorphic to PSL_n(q) or PSU_n(q) where either n ≠ 4 or q is prime or even, acts on a vector space over a field of the defining characteristic of G; then the corresponding semidirect product contains an element whose order is distinct from every element order of G. We infer that the group PSL_n(q), n ≠ 4 or q prime or even, is recognizable by spectrum from its covers thus giving a partial positive answer to Problem 14.60 from the Kourovka Notebook.     

Triangulation of <Emphasis Type="Italic">n</Emphasis>-tuple solvable Lie algebras

We prove an analog of the Lie theorem for finite-dimensional n-tuple solvable Lie algebras over an algebraically closed field of characteristic 0.     

Compact composition operators on BMOA(<Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

The paper gives some characterization theorems for the compact composition operator on some function spaces over the unit ball B _n in ℂ ⁿ . Especially, it gives a characterization for compact composition operators on BMOA(B _n ), which generalizes a result proved by Bourdon, Cima and Matheson for the case n = 1.     

Selberg＇s Normal Density Theorem for Automorphic L-Functions for GLm

Let π be an irreducible unitary cuspidal representation of GLm（AQ） with m ≥ 2, and L（s, Tr） the L-function attached to π. Under the Generalized Riemann Hypothesis for L（s,π）, we estimate the normal density of primes in short intervals for the automorphic L-function L（s, π）. Our result generalizes the corresponding theorem of Selberg for the Riemann zeta-function.     

<Emphasis Type="Italic">p</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-sequences of algebras with one fundamental operation

We show that if (p₀, p₁, ...) is the p_n-sequence of a nontrivial algebra with one fundamental operation, then p₁ ≥ p₀. Moreover, if , then p₁ > 2p₀. Received April 21, 2003; accepted in final form November 28, 2005.     

The Combinatorial Quantum Cohomology Ring of <Emphasis Type="Italic">G</Emphasis>/<Emphasis Type="Italic">B</Emphasis>

A purely combinatorial construction of the quantum cohomology ring of the generalized flag manifold is presented. We show that the ring we construct is commutative, associative and satisfies the usual grading condition. By using results of our previous papers [12, 13], we obtain a presentation of this ring in terms of generators and relations, and formulas for quantum Giambelli polynomials. We show that these polynomials satisfy a certain orthogonality property, which—for G = SL_n( )—was proved previously in the paper [5].     

<Emphasis Type="Italic">n</Emphasis>-transitivity of bisection groups of a Lie groupoid

The notion of n-transitivity can be carried over from groups of diffeomorphisms on a manifold M to groups of bisections of a Lie groupoid over M. The main theorem states that the n-transitivity is fulfilled for all n ∈ N by an arbitrary group of C^r-bisections of a Lie groupoid Γ of class C^r, where 1 ≤ r ≤ ω, under mild conditions. For instance, the group of all bisections of any Lie groupoid and the group of all Lagrangian bisections of any symplectic groupoid are n-transitive in the sense of this theorem. In particular, if Γ is source connected for any arrow γ ∈ Γ, there is a bisection passing through γ.     

On a new property of <Emphasis Type="Italic">n</Emphasis>-poised and <Emphasis Type="Italic">G</Emphasis><Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> sets

In this paper we consider n-poised planar node sets, as well as more special ones, called G C _n sets. For the latter sets each n-fundamental polynomial is a product of n linear factors as it always holds in the univariate case. A line ? is called k-node line for a node set \(\mathcal X\) if it passes through exactly k nodes. An (n + 1)-node line is called maximal line. In 1982 M. Gasca and J. I. Maeztu conjectured that every G C _n set possesses necessarily a maximal line. Till now the conjecture is confirmed to be true for n ≤ 5. It is well-known that any maximal line M of \(\mathcal X\) is used by each node in \(\mathcal X\setminus M, \)meaning that it is a factor of the fundamental polynomial. In this paper we prove, in particular, that if the Gasca-Maeztu conjecture is true then any n-node line of G C _n set \(\mathcal {X}\) is used either by exactly \(\binom {n}{2}\) nodes or by exactly \(\binom {n-1}{2}\) nodes. We prove also similar statements concerning n-node or (n ? 1)-node lines in more general n-poised sets. This is a new phenomenon in n-poised and G C _n sets. At the end we present a conjecture concerning any k-node line.     

The classification of filiform Leibniz superalgebras of nilindex <Emphasis Type="Italic">n</Emphasis> + <Emphasis Type="Italic">m</Emphasis>

In this work the classification of filiform Leibniz superalgebras of nilindex n ＋ m, where n and m （m≠0） are dimensions of even and odd parts, respectively, is obtained.     

Automorphisms of Coxeter groups of type <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

A Coxeter system (W, S) is said to be of type K _n if the associated Coxeter graph Γ_S is complete on n vertices and has only odd edge labels. If W satisfies either of: (1) n = 3; (2) W is rigid; then the automorphism group of W is generated by the inner automorphisms of W and any automorphisms induced by Γ_S. Indeed, Aut(W) is the semidirect product of Inn(W) and the group of diagram automorphisms, and furthermore W is strongly rigid. We also show that if W is a Coxeter group of type K _n then W has exactly one conjugacy class of involutions and hence Aut(W) = Spec(W).     

Exponentially Many Monochromatic <Emphasis Type="Italic">n</Emphasis>-Matchings in <Emphasis Type="Italic">K</Emphasis><Subscript>3<Emphasis Type="Italic">n</Emphasis>-1</Subscript>

Erdös et al and Gerencsér et al had shown that in any 2-edge-coloring of K _3n-1, there is a n-matching containing edges with the same color(we call such matching monochromatic matching). In this paper we show that for any 2-edge-coloring of K _3n-1 there exists a monochromatic subgraph H of K _3n-1 which contains exponentially many monochromatic n-matchings.     

Stable equivalence classes of self-injective algebras of tree class <Emphasis Type="Italic">D</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

A classification up to stable equivalence of representation-finite self-injective algebras with associated Dynkin diagram D _n is suggested. In each stable equivalence class, a representative is chosen, and the representatives are partitioned into five families of algebras, which are described in terms of quivers with relations.     

Weierstrass Type Representation of Willmore Surfaces in <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we reformulate the Euler-Lagrange equations of Willmore surfaces in S^n as the flatness of a family of certain loop algebra-valued 1-forms. Therefore we can give the Weierstrass type representation of conformal Willmore surfaces. We also discuss the relations between conformal Willmore surfaces in S^n and minimal surfaces in constant curvature spaces S^n, R^n, H^n, and prove that some special Willmore surfaces can be derived from minimal surfaces in S^n, R^n, H^n.