Generators of Simple Lie Algebras and the Lower Rank of Some Pro-P Groups

Abstract

Let  be a simple classical Lie algebra over a field F of characteristic p > 7. We show that > d () = 2, where d() is the number of generators of . Let G be a profinite group. We say that G has lower rank ≤ l, if there are {G _α} open subgroups which from a base for the topology at the identity and each G _α is generated (topologically) by no more than l elements. There is a standard way to associate a Lie algebra L(G) to a finitely generated (filtered) pro-p group G. Suppose L(G) ?  ? tF _p [t], where  is a simple Lie algebra over F _p , the field of p elements. We show that the lower rank of G is ≤ d () + 1. We also show that if  is simple classical of rank r and p > 7 or p 2r ² ? r, then the lower rank is actually 2.     

Optimal Systems and Group Classification of (1+2)-Dimensional Heat Equation

The optimal systems and symmetry breaking interactions for the (1+2)-dimensional heat equation are systematically studied. The equation is invariant under the nine-dimensional symmetry group H ₂. The details of the construction for an one-dimensional optimal system is presented. The optimality of one- and two-dimensional systems is established by finding some algebraic invariants under the adjoint actions of the group H ₂. A list of representatives of all Lie subalgebras of the Lie algebra h ₂ of the Lie group H ₂ is given in the form of tables and many of their properties are established. We derive the most general interactions F(t,x,y,u,u _x ,u _y ) such that the equation u _t =u _xx +u _yy +F(t,x,y,u,u _x ,u _y ) is invariant under each subgroup.     

Unique continuation for parabolic operators

It is shown that if a functionu satisfies a backward parabolic inequality in an open set Ω∉R ⁿ⁺¹ and vanishes to infinite order at a point (x ₀·t ₀) in Ω, thenu(x, t ₀)=0 for allx in the connected component ofx ₀ in Ω⌢(R ⁿ ×{t ₀}).     

The Evolution of the Weyl and Maxwell Fields in Curved Space—Times

The covariant Weyl (spin s = 1/2) and Maxwell (s = 1) equations in certain local charts (u, φ) of a space-time (M, g) are considered. It is shown that the condition g⁰⁰(x) > 0 for all x ε u is necessary and sufficient to rewrite them in a unified manner as evolution equations δ_tφ = L_(s)φ. Here L_(s) is a linear first order differential operator on the pre—Hilbert space (C (U_t, ^2s+1). (…)), where U_t ? IR³ is the image of the coordinate map of the spacelike hyper-surface t = const, and (φ, C) = ?U_t ? *Q d⁽³⁾x with a suitable Hermitian n × n- matrix Q = Q(t,x). The total energy of the spinor field ? with respect to U_t is then simply given by E = 〈?,?〉. In this way inequalities for the energy change rate with respect to time, δ_t|?|² = 2Re (?, L_(s)?) are obtained. As an application, the Kerr—Newman black hole is studied, yielding quantitative estimates for the energy change rate. These estimates especially confirm the energy conservation of the Weyl field and the well—known superradiance of electromagnetic waves.     

Some applications of Banach algebra techniques

We consider some functional Banach algebras with multiplications as the usual convolution product * and the so‐called Duhamel product ?. We study the structure of generators of the Banach algebras (C⁽ⁿ⁾[0, 1], *) and (C⁽ⁿ⁾[0, 1], ?). We also use the Banach algebra techniques in the calculation of spectral multiplicities and extended eigenvectors of some operators. Moreover, we give in terms of extended eigenvectors a new characterization of a special class of composition operators acting in the Lebesgue space L^p[0, 1] by the formula (C_φf)(x) = f(φ(x)).     

Ternary Derivations of Generalized Cayley–Dickson Algebras

Abstract

Ternary derivations, ternary Cayley derivations and ternary automorphisms are computed over fields of characteristic ≠ 2, 3 for the algebras A _t obtained by the Cayley–Dickson duplication process. While the derivation algebra of A _t stops growing after t = 3, the ternary derivation algebra significantly decreases in the step from the octonions A ₃ to the sedenions A ₄, revealing the symmetry lost on that stage.     

On Σ1-definable Functions Provably Total in I ∏

We prove the following theorem: Let φ(x) be a formula in the language of the theory PA^? of discretely ordered commutative rings with unit of the form ?yφ′(x,y) with φ′ and let ∈ Δ₀ and let fφ: ? → ? such that f_φ(x) = y iff φ′(x,y) & (?z < y) φ′(x,z). If I ∏ ∈(?x ≥ 0), φ then there exists a natural number K such that I ∏ ? ?y?x(x > y ? ?φ(x) < x^K). Here I ∏₁^? denotes the theory PA^? plus the scheme of induction for formulas φ(x) of the form ?yφ′(x,y) (with φ′) with φ′ ∈ Δ₀.     

Explicit Classifications of Orbits in Jordan Algebra and Freudenthal Vector Space Over the Exceptional Lie Groups

ABSTRACT

We give the explicit classifications of orbits in the Jordan algebra 𝔍 over the group E _6(?26) and the Freudenthal, R -vector space 𝔓 over the group E _7(?25).

Communicated by E. Zelmanov     

Nonlocal higher order evolution equations

In this article, we study the asymptotic behaviour of solutions to the nonlocal operator u _t (x, t) = (?1) ^n?1 (J * Id ? 1) ⁿ (u(x, t)), x ∈ ? ^N , which is the nonlocal analogous to the higher order local evolution equation v _t = (?1) ^n?1(Δ) ⁿ v. We prove that the solutions of the nonlocal problem converge to the solution of the higher order problem with the right-hand side given by powers of the Laplacian when the kernel J is rescaled in an appropriate way. Moreover, we prove that solutions to both equations have the same asymptotic decay rate as t goes to infinity.     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Small Data Scattering for the One-Dimensional Nonlinear Dirac Equation with Power Nonlinearity

We study scattering problems for the one-dimensional nonlinear Dirac equation (?_t + α?_x + iβ)Φ = λ|Φ|^p?1Φ. We prove that if p > 3 (resp. p > 3 + 1/6), then the wave operator (resp. the scattering operator) is well-defined on some 0-neighborhood of a weighted Sobolev space. In order to prove these results, we use linear operators D(t)xD(?t) and t?_x + x?_t ? α/2, where {D(t)}_t∈? is the free Dirac evolution group. For the reader's convenience, in an appendix we list and prove fundamental properties of D(t)xD(?t) and t?_x + x?_t ? α/2.     

A symmetry classification for a class of (2+1)-nonlinear wave equation

In this paper, a symmetry classification of a (2+1)-nonlinear wave equation u_tt−f(u)(u_xx+u_yy)=0 where f(u) is a smooth function on u, using Lie group method, is given. The basic infinitesimal method for calculating symmetry groups is presented, and used to determine the general symmetry group of this (2+1)-nonlinear wave equation.     

Words and Polynomial Invariants of Finite Groups in Non-Commutative Variables

Let V be a complex vector space with basis {x ₁, x ₂, . . . , x _n } and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x ₁, x ₂, . . . , x _n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions and the number of free generators of the algebras of invariants in terms of those words.     

EXCEPTIONAL SEQUENCES FOR QUIVERS OF DYNKIN TYPE

Let kQ be the path algebra of a quiver Q without oriented cycles with n vertices. An indecomposable kQ-module without self-extensions is called exceptional. The braid group B _n with n ? 1 generators acts naturally on the set of complete exceptional sequences. Crawley-Boevey (Proceedings of ICRA VI, Carleton-Ottawa, 1992) and Ringel (Contemp. Math. 1994, 171, 339–352) have pointed out that this action is transitive. The number of complete exceptional sequences for kQ representation finite will be computed here and it is shown to be independent of the orientation of the arrows of the quiver Q. The factor group of the braid group which acts freely on the set of complete exceptional sequences can be regarded as a subgroup of the symmetric group S _{? n} , where ? _n is the number of complete exceptional sequences of the algebra kQ. This group is known for certain special types of quivers. Some other interesting relations of the acting group will be given.     

Boundedness in nonlinear oscillations

In this paper, the boundedness of all solutions of the nonlinear differential equation (φ_p(x′))′ + αφ_p(x⁺) – βφ_p(x^–) + f(x) = e(t) is studied, where φ_p(u) = |u|^p–2 u, p ≥ 2, α, β are positive constants such that = 2w^–1 with w ∈ ?⁺\?, f is a bounded C⁵ function, e(t) ∈ C⁶ is 2π_p‐periodic, x⁺ = max{x, 0}, x^– = max{–x, 0}. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Subnormal weighted translation semigroups

A weighted translation semigroup {S_t} on L²($\text{R}$₊) is defined by $\text{(S}{}_{\mathrm{t}}\text{f)(x) =}\text{(φ(x)}\text{φ(x ? t)}\text{)f(x ? t)}$ for x ? t and 0 otherwise, where φ is a continuous nonzero scalar-valued function on $\text{R}$₊. It is shown that {S_t} is subnormal if and only if φ² is the product of an exponential function and the Laplace-Stieltjes transform of an increasing function of total variation one. A necessary and sufficient condition for similarity of weighted translation semigroups is developed.     

Parafermion vertex operator algebras

This paper reviews some recent results on the parafermion vertex operator algebra associated to the integrable highest weight module L(k, 0) of positive integer level k for any affine Kac-Moody Lie algebra ĝ, where g is a finite dimensional simple Lie algebra. In particular, the generators and the C ₂-cofiniteness of the parafermion vertex operator algebras are discussed. A proof of the well-known fact that the parafermion vertex operator algebra can be realized as the commutant of a lattice vertex operator algebra in L(k, 0) is also given.