q-analogs of harmonic oscillators and related rings

A ringH _q which is aq-analog of the universal enveloping algebra of the Heisenberg Lie algebraU(h) is constructed, and its ring theoretic properties are studied. It is shown thatH _q has a factor ringA _q which is a simple domain with properties that are compared to the Weyl algebra. A secondq-analogH _q ofU(h) is constructed, andH _q is shown to be a primitive ring.     

Ovoids and spreads of finite classical polar spaces

LetP be a finite classical polar space of rankr, r2. An ovoidO ofP is a pointset ofP, which has exactly one point in common with every totally isotropic subspace of rankr. It is proved that the polar spaceW _n (q) arising from a symplectic polarity ofPG(n, q), n odd andn > 3, that the polar spaceQ(2n, q) arising from a non-singular quadric inPG(2n, q), n > 2 andq even, that the polar space Q^–(2n + 1,q) arising from a non-singular elliptic quadric inPG(2n + 1,q), n > 1, and that the polar spaceH(n,q ²) arising from a non-singular Hermitian variety inPG(n, q ²)n even andn > 2, have no ovoids.LetS be a generalized hexagon of ordern (1). IfV is a pointset of order n³ + 1 ofS, such that every two points are at distance 6, thenV is called an ovoid ofS. IfH(q) is the classical generalized hexagon arising fromG ₂ (q), then it is proved thatH(q) has an ovoid iffQ(6, q) has an ovoid. There follows thatQ(6, q), q=3^2h+1, has an ovoid, and thatH(q), q even, has no ovoid.A regular system of orderm onH(3,q ²) is a subsetK of the lineset ofH(3,q ²), such that through every point ofH(3,q ²) there arem (> 0) lines ofK. B. Segre shows that, ifK exists, thenm=q + 1 or (q + l)/2.If m=(q + l)/2,K is called a hemisystem. The last part of the paper gives a very short proof of Segre's result. Finally it is shown how to construct the 4-(11, 5, 1) design out of the hemisystem with 56 lines (q=3).     

Multiplicative arithmetic of finite quadratic forms over Dedekind rings

Letq(X) be a quadratic form in an even numberm of variables with coefficients in a Dedekind ringK. Let us assume that the setsR(q,a) = {N∈K ^m ;q(N) = a} of representations of elementsa ofK by the formq are finite. Then certain multiplicative relations are obtained by elementary means between the setsR(q,a) andR(q,ab), whereb is a product of prime elementsρ ofK with finite coefficientsK/ρK. The relations imply similar multiplicative relations between the numbers of elements of the setsR(q,a), which formerly could be obtained only in some special cases like the case whenK = ℤ is the ring of rational integers and only by means of the theory of Hecke operators on the spaces of theta-series. As an application, an almost elementary proof of the Siegel theorem on the mean number of representations of integers by integral positive quadratic forms of determinant 1 is given. Dedicated to the memory of Professor K G Ramanathan     

P.I.G-rings and the contractability of primes

LetR=F{x ₁, …, x_k} be a prime affine p.i. ring andS a multiplicative closed set in the center ofR, Z(R). The structure ofG-rings of the formR _s is completely determined. In particular it is proved thatZ(R _s)—the normalization ofZ(R _s) —is a prüfer ring, 1≦k.d(R _s)≦p.i.d(R _s) and the inequalities can be strict. We also obtain a related result concerning the contractability ofq, a prime ideal ofZ(R) fromR. More precisely, letQ be a prime ideal ofR maximal to satisfyQϒZ(R)=q. Then k.dZ(R)/q=k.dR/Q, h(q)=h(Q) andh(q)+k.dZ(R)/q=k.dz(R). The last condition is a necessary butnot sufficient condition for contractability ofq fromR.     

Integral extensions of noncommutative rings

In this paper we study integral extensions of noncommutative rings. To begin, we prove that finite subnormalizing extensions are integral. This is done by proving a generalization of the Paré-Schelter result that a matrix ring is integral over the coefficient ring. Our methods are similar to those of Lorenz and Passman, who showed that finite normalizing extensions are integral. As corollaries we note that the (twisted) smash product over the restricted enveloping algebra of a finite dimensional restricted Lie algebra is integral over the coefficient ring and then prove a Going Up theorem for prime ideals in these ring extensions. Next we study automorphisms of rings. In particular, we prove an integrality theorem for algebraic automorphisms. Combining group gradings and actions, we show that if a ringR is graded by a finite groupG, andH is a finite group of automorphisms ofR that permute the homogeneous components, with the order ofH invertible inR, thenR is integral overR ₁ ^H , the fixed ring of the identity component. This, in turn, is used to prove our final result: Suppose that ifH is a finite dimensional semisimple cocommutative Hopf algebra over an algebraically closed field of positive characteristic. IfR is anH-module algebra, thenR is integral overR ^H , its subring of invariants.     

Explosive solutions of elliptic equations with absorption and nonlinear gradient term

Letf be a non-decreasing C¹-function such that andF(t)/f ² a(t)→ 0 ast → ∞, whereF(t)=∫ ₀ ^t f(s) ds anda ∈ (0, 2]. We prove the existence of positive large solutions to the equationΔu +q(x)|Δu| ^a =p(x)f(u) in a smooth bounded domain Ω ⊂R^N, provided thatp, q are non-negative continuous functions so that any zero ofp is surrounded by a surface strictly included in Ω on whichp is positive. Under additional hypotheses onp we deduce the existence of solutions if Ω is unbounded.     

Spectral invariance for algebras of pseudodifferential operators on besov-triebel-lizorkin spaces

The algebra of pseudodifferential operators with symbols inS _1,δ ⁰ , δ<1, is shown to be a spectrally invariant subalgebra of ℒ(b _p,q ^s ) and ℒ(F _p,q ^s ). The spectrum of each of these pseudodifferential operators acting onB _p,q ^s orF _p,q ^s is independent of the choice ofs, p, andq.     

Optimal Embeddings of Spaces of Generalized Smoothness in the Critical Case

We study necessary and sufficient conditions for embeddings of Besov and Triebel-Lizorkin spaces of generalized smoothness B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), respectively, into generalized H?lder spaces L_￥,r^m(·)( \mathbb Rⁿ)\Lambda_{\infty,r}^{\mu(\cdot)}(\ensuremath {\ensuremath {\mathbb {R}}^{n}}). In particular, we are able to characterize optimal embeddings for this class of spaces provided q>1. These results improve the embedding assertions given by the continuity envelopes of B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), which were obtained recently solving an open problem of D.D. Haroske in the classical setting.     

Existence of subgraph with orthogonal (g,f)-factorization

Simple graphs are considered. Let G be a graph andg(x) andf(x) integer-valued functions defined on V(G) withg(x)⩽f(x) for everyxɛV(G). For a subgraphH ofG and a factorizationF=|F ₁,F ₂,⃛,F ₁| ofG, if |E(H)∩E(F ₁)|=1,1⩽i⩽j, then we say thatF orthogonal toH. It is proved that for an (mg(x)+k,mf(x) -k)-graphG, there exists a subgraphR ofG such that for any subgraphH ofG with |E(H)|=k,R has a (g,f)-factorization orthogonal toH, where 1⩽k<m andg(x)⩾1 orf(x)⩾5 for everyxɛV(G). Project supported by the Chitia Postdoctoral Science Foundation and Chuang Xin Foundation of the Chinese Academy of Sciences.     

Specht modules and semisimplicity criteria for Brauer and Birman–Murakami–Wenzl algebras

A construction of bases for cell modules of the Birman–Murakami–Wenzl (or B–M–W) algebra B _n (q,r) by lifting bases for cell modules of B _n−1(q,r) is given. By iterating this procedure, we produce cellular bases for B–M–W algebras on which a large Abelian subalgebra, generated by elements which generalise the Jucys–Murphy elements from the representation theory of the Iwahori–Hecke algebra of the symmetric group, acts triangularly. The triangular action of this Abelian subalgebra is used to provide explicit criteria, in terms of the defining parameters q and r, for B–M–W algebras to be semisimple. The aforementioned constructions provide generalisations, to the algebras under consideration here, of certain results from the Specht module theory of the Iwahori–Hecke algebra of the symmetric group. Research supported by Japan Society for Promotion of Science.     

Spin invariants of multivectors

LetCl(p, q) be a real universal Clifford algebra which is isomorphic to a full matrix algebra ?(2m). In this paper we show that on the linear subspaceCl ^k(p, q) ofk-vectors the determinant can be written as a product of two polynomialsd _i of degreem and that on the subset ofdecomposable k-vectors we have det=±Q ^m for some quadratic formQ. The polynomialsd _i andQ are examples of a spin invariant, the latter being defined as a functionJ:Cl ^k (p,q) → ? for whichJ(sus^?1)=J(u) for allu ∈Cl ^k(p, q) ands ∈Spin(p, q). In the last section we identify the ‘fundamental’ spin invariants on the bivector spacesCl ²(p, p) forp=2 andp=3.     

X-inner automorphisms of crossed products and semi-invariants of Hopf algebras

LetR*G be a crossed product of the groupG over the prime ringR and assume thatR*G is also prime. In this paper we study unitsq in the Martindale ring of quotientsQ ₀(R*G) which normalize bothR and the group of trivial units ofR*G. We obtain quite detailed information on their structure. We then study the group ofX-inner automorphisms ofR*G induced by such elements. We show in fact that this group is fairly close to the group of automorphisms ofR*G induced by certain trivial units inQ ₀(R)*G. As an application we specialize to the case whereR=U(L) is the enveloping algebra of a Lie algebraL. Here we study the semi-invariants forL andG which are contained inQ ₀(R*G) and we obtain results which extend known properties ofU(L). Finally, every cocommutative Hopf algebraH over an algebraically closed field of characteristic 0 is of the formH=U(L)*G. Thus we also obtain information on the semi-invariants forH contained inQ ₀(H). Research supported in part by N.S.F. Grant Nos. MCS 83-01393 and MCS 82-19678.     

Minimum deformations of commutative algebra and linear groupGL(n)

In the algebra of formal seriesM _q (x ⁱ ), the relations of generalized commutativity that preserve the tensorI _q grading and depend on parametersq(i, k) are considered. A norm of the differential calculus onM _q consistent with theI _q grading is chosen. A new construction of a symmetrized tensor product of algebras of the typeM _q (x ⁱ ) and a corresponding definition of the minimally deformed linear groupQGL(n) and Lie algebraqgl(n) are proposed. A study is made of the connection ofQGL(n) andqgl(n) with the special matrix algebra Mat(n, Q), which consists of matrices with noncommuting elements. The deformed determinant in the algebra Mat(n, Q) is defined. The exponential mapping in the algebra Mat(n, Q) is considered on the basis of the Campbell-Hausdorff formula.Institute of Applied Physics, Tashkent State University. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 95, No. 3, pp. 403–417, June, 1993.     

First cohomology group of rank two Witt algebra to its Larsson modules

Let U = ℂ², Γ = ℤ², and let ℂ[x ₁^±1, x ₂^±1] be the ring of Laurent polynomials. The Witt algebra L is the Lie algebra of derivations over ℂ[x ₁^±1, x ₂^±1], which is spanned by elements of the form D(u, r) = x ^r (u ₁ d ₁ + u ₂ d ₂), u = (u ₁, u ₂) ∈ U, r ∈ Γ, where d ₁ and d ₂ are the degree derivations of ℂ[x ₁^±1, x ₂^±1]. The image of gl ₂-module V under Larsson functor F ^α , denoted by W = F ^α (V), gives a class of L-modules, often called the Larsson-modules of L. In this paper, we study the derivations from the Witt algebra L to its Larsson-modules W, and we determine the first cohomology group H ¹(L,W).     

The quantum mechanical virial theorem and the absence of positive energy bound states of Schrödinger operators

For a class of potentialsq which may become as singular asr ^?2 at the origin we show that the eigenfunctionsu of the Friedrichs extensionT _Fof (?Δ+q)?C ₀ ^∞ (R ⁿ /{0}) satisfy the virial theorem 2(?Δu,u)=(u,rq,u). Two proofs of this relation are given. One extends the Fock-Weidmann method of scale transformations, the other makes an argument by Finkelstein rigorous and can be viewed of as a substitute of the “commutator proof” of (*) employed in the physical literature. The virial theorem provides a convenient tool for proving the nonexistence of eigenvalues embedded in the continuum or the total absence of eigenvalues ofT _F.     

The Von Neumann Regular Radical and Jacobson Radical of Crossed Products

We construct the H-von Neumann regular radical for H-module algebras and show that it is an H-radical property. We obtain that the Jacobson radical of a twisted graded algebra is a graded ideal. For a twisted H-module algebra R, we also show that r _j (R# H) = r _Hj (R)# H and the Jacobson radical of R is stable, when k is an algebraically closed field or there exists an algebraic closure F of k such that r _j (RF) = r _j (R) F, where H is a finite-dimensional, semisimple, cosemisimple, commutative or cocommutative Hopf algebra over k. In particular, we answer two questions of J. R. Fisher.     

Codeterminants and <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We study codeterminants in the q-Schur algebra S _q (n,r) and prove that the standard ones form a basis of S _q (n,r), using a quantized version of the Désarménien matrix. We find elements of the form F _S 1_λ E _T in Lusztig’s modified enveloping algebra of gl(n), which, up to powers of q, map to the basis of standard codeterminants, where F _S ∈U ^– and E _T ∈U ⁺ are explicitly given products of root vectors, depending on Young tableaux S and T.     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

On the Hochschild cohomology of tame Hecke algebras

We explicitly calculate a projective bimodule resolution for a special biserial algebra giving rise to the Hecke algebra H_q(S₄){{\mathcal H}_q(S_4)} when q = −1. We then determine the dimensions of the Hochschild cohomology groups.     

The inverse Galois problem over formal power series fields

Consider a valuation ringR of a discrete Henselian field and a positive integerr. LetF be the quotient field of the ringR[[X ₁, …,X _r ]]. We prove that every finite group occurs as a Galois group overF. In particular, ifK ₀ is an arbitrary field andr≥2, then every finite group occurs as a Galois group overK ₀((X ₁, …,X _r )). The work on this paper started when the author was an organizer of a research group on the Arithmetic of Fields in the Institute for Advanced Studies at the Hebrew Univesity of Jerusalem in 1991–92. It was partially supported by a grant from the G.I.F., the German-Israeli Foundation for Scientific Research and Development.