Universal PI-algebras and algebras of generic matrices

Let Ω[ξ] denote the polynomial algebra (with 1) in commutative indeterminates {ie65-1}, 1 ≦i, j ≦n, 1 ≦k < ∞, over a commutative ring Ω. Thealgebra of generic matrices Ω [Y] is defined to be the Ω-subalgebra ofM _n (Ω[ξ]) generated by the matricesY _k=({ie65-2}), 1 ≦i, j ≦n, 1 ≦k < ∞. This algebra has been studied extensively by Amitsur and by Procesi in particular Amitsur has used it to construct a finite dimensional, central division algebra Ω (Y) which is not a crossed product. In this paper we shall prove, for Ω a domain, that Ω(Y) has exponentn in the Brauer group (Amitsur may already know this fact); consequently, for Ω an infinite field andn a multiple of 4, iff(X ₁, …,X _m) is a polynomial linear in all theX _i but one (similar to Formanek’s central polynomials for matrix rings) andf ² is central forM _n (Ω), thenf is central forM _n (Ω). (The existence of a polynomial not central forM _n (Ω), but whose square is central forM _n(Ω) is equivalent to every central division algebra of degreen containing a quadratic extension of its center; well-known theory immediately shows this is the case of 4‖n and 8χn.) Also, information is obtained about Ω(Y) for arbitary Ω, most notably that the Jacobson radical is the set of nilpotent elements. Partial support for this work was provided by National Science Foundation grant NSF-GP 33591.     

Semi-cosymplectic manifolds

SoitM(Ω, η, ξ,g) une variété à (2m+1)-dimensions presque cosymplectique (i. e. Ω∈Λ² M est de rang 2m et Ω ^m Λη≠0). On définitM comme étant une variété semi-cosymplectique si en termes ded ^ω-cohomologie la paire (Ω, η) satisfait àdη=0,d ^−cη Ω=Ψ∈Λ³ M,c=constant. Dans ce cas le champ vectoriel de structure ξ=b ⁻¹(η) est un champ conforme horizontal et siM est une forme-espace elle est nécessairement du type hyperbolique. Différentes propriétés de cette structure sont étudiés et le cas oùM est une variété para Sasakienne dans le sens large est discuté.     

On exact 2-para Sasakian manifolds

Paracontact and para Sasakian manifoldsM carryingr(1<r≤dimM) Reed vector filds ξ _r have been especially studied by A. Bucki [2], [3], [4]. In the present paper, we consider a (2m+2)-dimensional para Sasakian manifoldM(ϕ, ξ _r , η ^r g), whose Reed convectors η ^r =ξ _r ^b are exact 1-forms and the covariant derivatives of ξ _r are given by ∇ξ _r =f _r dp ^⊺, wheredp ^⊤ means the horizontal component of the soldering formdp andf _r∈C^∞M satisfydf _r =cη ^r ,c=constant. It is proved that such a manifold may be viewed as the local Riemannian productM=M ^⊥×M^⊤, where

Reflecting topological properties in continuous images

Given a topological property P, we study when it reflects in small continuous images, i.e., when for some infinite cardinal κ, a space X has P if and only if all its continuous images of weight less or equal to κ have P. We say that a cardinal invariant η reflects in continuous images of weight κ ⁺ if η(X) ≤ κ provided that η(Y) ≤ κ whenever Y is a continuous image of X of weight less or equal to κ ⁺. We establish that, for any infinite cardinal κ, the spread, character, pseudocharacter and Souslin number reflect in continuous images of weight κ ⁺ for arbitrary Tychonoff spaces. We also show that the tightness reflects in continuous images of weight κ ⁺ for compact spaces.     

A poisson formula for solvable Lie groups

Given a probability measure μ on a locally compact second countable groupG the space of bounded μ-harmonic functions can be identified withL ^∞(η, α) where (η, α) is a BorelG-space with a σ-finite quasiinvariant measure α. Our goal is to show that when μ is an arbitrary spread out probability measure on a connected solvable Lie groupG then the μ-boundary (η, α) is a contractive homogeneous space ofG. Our approach is based on a study of a class of strongly approximately transitive (SAT) actions ofG. A BorelG-space η with a σ-finite quasiinvariant measure α is called SAT if it admits a probability measurev≪α, such that for every Borel set A with α(A)≠0 and every ε>0 there existsg∈G with ν(gA)>1−ε. Every μ-boundary is a standard SATG-space. We show that for a connected solvable Lie group every standard SATG-space is transitive, characterize subgroupsH⊆G such that the homogeneous spaceG/H is SAT, and establish that the following conditions are equivalent forG/H: (a)G/H is SAT; (b)G/H is contractive; (c)G/H is an equivariant image of a μ-boundary.     

Asymptotic representations of solutions of nonautonomous ordinary differential equations with regularly varying nonlinearities

We obtain asymptotic representations as t ↑ ω, ω ≤ + ∞, for all possible types of P _ω(Y ₀, λ ₀)-solutions (where Y ₀ is zero or ±∞ and −∞ ≤ λ₀ ≤ +∞) of nonlinear differential equations y ⁽ⁿ⁾ = α ₀ p(t)φ(y), where α ₀ ∈ {−1, 1}, p: [a, ω[→]0,+∞[ is a continuous function, and φ is a continuous regularly varying function in a one-sided neighborhood of Y ₀.     

Characterization of Operators on the Dual of Hypergroups which Commute with Translations and Convolutions

For a locally compact group G, L^1 (G) is its group algebra and L^∞(G) is the dual of L^1 (G).Lau has studied the bounded linear operators T:L^∞(G)→L^∞(G) which commute with convolutions and translations. For a subspace H of L^∞(G), we know that M(L^∞(G),H), the Banach algebra of all bounded linear operators on L^∞(G) into H which commute with convolutions, has been studied by Pyre and Lau. In this paper, we generalize these problems to L(K)^*, the dual of a hypergroup algebra L(K) in a very general setting, i.e. we do not assume that K admits a Haar measure. It should be noted that these algebras include not only the group algebra L^1(G) but also most of the semigroup algebras.Compact hypergroups have a Haar measure, however, in general it is not known that every hypergroup has a Haar measure. The lack of the Haar measure and involution presents many difficulties; however,we succeed in getting some interesting results.     

Scale functions on $p$-adic Lie groups

Let G be a p-adic Lie group. Then G is a locally compact, totally disconnected group, to which Willis [14] associates its scale function G : G→ℕ. We show that s can be computed on the Lie algebra level. The image of s consists of powers of p. If G is a linear algebraic group over ℚ _p , s(x)=s(h) is determined by the semisimple part h of x∈G. For every finite extension K of ℚ _p , the scale functions of G and H:=G(K) are related by s _H ∣ _G =s _G ^{[ K :ℚ} _p ^]. More generally, we clarify the relations between the scale function of a p-adic Lie group and the scale functions of its closed subgroups and Hausdorff quotients. Received: 20 February 1997; Revised version: 18 May 1998     

The localization of 1-cohomology of transitive Lie algebroids

For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the adjoint algebra at x ∈ M. The main result in this paper is that if M is simply connected, or H (LX,FX) is trivial, then T is injective. This means that the Lie algebroid 1-cohomology is totally determined by the 1-cohomology of its adjoint Lie algebra in the above two cases.     

Lie group structures on groups of smooth and holomorphic maps on non-compact manifolds

We study Lie group structures on groups of the form C ^∞(M, K), where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra for which the evaluation map is smooth. We then prove the existence of such a structure if the universal cover of K is diffeomorphic to a locally convex space and if the image of the left logarithmic derivative in is a smooth submanifold, the latter being the case in particular if M is one-dimensional. We also obtain analogs of these results for the group of holomorphic maps on a complex manifold with values in a complex Lie group K. We further show that there exists a natural Lie group structure on if K is Banach and M is a non-compact complex curve with finitely generated fundamental group.      

An application of dominating families

In this paper, we prove that_χ(Seq_ξ)=d, when ξ is Frechet filter orP-point in ω^* withx(ξ,ω^*)≤d.     

Minimizers of a weighted maximum of the Gauss curvature

On a Riemann surface [`(S)]{\overline{\Sigma}} with smooth boundary, we consider Riemannian metrics conformal to a given background metric. Let κ be a smooth, positive function on [`(S)]{\overline{\Sigma}}. If K denotes the Gauss curvature, then the L ^∞-norm of K/κ gives rise to a functional on the space of all admissible metrics. We study minimizers subject to an area constraint. Under suitable conditions, we construct a minimizer with the property that |K|/κ is constant. The sign of K can change, but this happens only on the nodal set of the solution of a linear partial differential equation.     

Contractible Lie groups over local fields

Let G be a Lie group over a local field of characteristic p > 0 which admits a contractive automorphism α : G → G (i.e., α ⁿ (x) → 1 as n → ∞, for each x ∈ G). We show that G is a torsion group of finite exponent and nilpotent. We also obtain results concerning the interplay between contractive automorphisms of Lie groups over local fields, contractive automorphisms of their Lie algebras, and positive gradations thereon. Some of the results extend to Lie groups over arbitrary complete ultrametric fields. Supported by the German Research Foundation (DFG), grants GL 357/2-1 and GL 357/6-1.     

Gauge-Invariant Characterization of Yang–Mills–Higgs Equations

Let C → M be the bundle of connections of a principal G-bundle P → M over a pseudo-Riemannian manifold (M,g) of signature (n⁺, n⁻) and let E → M be the associated bundle with P under a linear representation of G on a finite-dimensional vector space. For an arbitrary Lie group G, the O(n⁺, n⁻) × G-invariant quadratic Lagrangians on J¹(C × _M E) are characterized. In particular, for a simple Lie group the Yang–Mills and Yang–Mills–Higgs Lagrangians are characterized, up to an scalar factor, to be the only O(n⁺, n⁻) × G-invariant quadratic Lagrangians. These results are also analyzed on several examples of interest in gauge theory. Submitted: May 19, 2005; Accepted: April 25, 2006     

Central extensions of groups of sections

If K is a Lie group and q : P → M is a principal K-bundle over the compact manifold M, then any invariant symmetric V-valued bilinear form on the Lie algebra \mathfrakk{\mathfrak{k}} of K defines a Lie algebra extension of the gauge algebra by a space of bundle-valued 1-forms modulo exact 1-forms. In this article, we analyze the integrability of this extension to a Lie group extension for non-connected, possibly infinite-dimensional Lie groups K. If K has finitely many connected components, we give a complete characterization of the integrable extensions. Our results on gauge groups are obtained by the specialization of more general results on extensions of Lie groups of smooth sections of Lie group bundles. In this more general context, we provide sufficient conditions for integrability in terms of data related only to the group K.     

Self-similar extremal processes

Given an extremal process X: [0,∞)→[0,∞)^d with lower curve C and associated point process N={(t_k, X_k):k≥0}, t_k distinct and X_k independent, given a sequence ζ _n =(τ _n , ξ _n ), n≥1, of time-space changes (max-automorphisms of [0,∞)^d+1), we study the limit behavior of the sequence of extremal processes Y_n(t)=ξ _n ^-1 ○ X ○ τ_n(t)=C_n(t) V max {ξ _n ^-1 ○ X_k: t_k ≤ τ_n(t){ ⇒ Y under a regularity condition on the norming sequence ζ_n and asymptotic negligibility of the max-increments of Y_n. The limit class consists of self-similar (with respect to a group η_α=(σ_α, L_α), α>0, of time-space changes) extremal processes. By self-similarity here we mean the property L_α ○ Y(t) ₌ ^d Y ○ α_α(t) for all α>0. The univariate marginals of Y are max-self-decomposable. If additionally the initial extremal process X is assumed to have homogeneous max-increments, then the limit process is max-stable with homogeneous max-increments. Supported by the Bulgarian Ministry of Education and Sciences (grant No. MM 234/1996). Proceedings of the Seminar on Stability Problems for Stochastic Models, Hajdúszoboszló, Hungary, 1997, Part I.     

On some special measures on βG

LetG be a discrete abelian group,Ĝ the character group ofG, andl ^∞(G)^* the conjugate ofl ^∞(G) equipped with an Arens product. In many cases, we can find unitary functionsf such that χf is almost convergent to zero for all χ∈Ĝ. Some of these functions are then used to produce elements μ∈l ^∞(G)^* such that γμ=0 whenever γ is an annihilator ofC ₀(G). Regarded as Borel measures on βG, these elements satisfyxμ=0 for allx∈βG/G. They belong to the radical ofl ^∞(G)^*, and each of them generates a left ideal ofl ^∞(G)^* that contains no minimal left ideal.     

The Cohomology of the Complex of G-Invariant Forms onG -Manifolds. II

The cohomology of G-manifolds of the type M=P× _K (G/H), where G is a reductive Lie group, H and N are its closed subgroups, H is a normal subgroup of N, K=N/H, and P is a smooth principal K-bundle, are considered. In the case when the Lie algebras of H and N are reductive, the differential graded algebra C(M) introduced in the previous paper with the same title and having the same minimal model as one of the algebra of G-invariant forms on M is investigated. Moreover, the main theorem on the cohomology algebra of C(M) is proved under weaker conditions than those of the previous paper.     

On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

Generalized Symplectic Action and Symplectomorphism Groups of Coadjoint Orbits

Let M be a quantizable symplectic manifold. If ψ_t is a loop in the group {Ham}(M) of Hamiltonian symplectomorphisms of M and A is a 2k-cycle in M, we define a symplectic action κ_A(ψ)∊ U(1) around ψ_t(A), which is invariant under deformations of ψ, and such that κ_A(ψ) depends only on the homology class of A. Using properties of κ_A( ) we determine a lower bound for ♯π₁(Ham(O)), where O is a quantizable coadjoint orbit of a compact Lie group. In particular we prove that ♯π₁(Ham(CPⁿ)) ≥ n+1. Mathematics Subject Classifications (2000): 53D05, 57S05, 57R17, 57T20.