On the Irreducibility of Commuting Varieties Associated with Involutions of Simple Lie Algebras

Let be a reductive Lie algebra over an algebraically closed field of characteristic zero and an arbitrary -grading. We consider the variety , which is called the commuting variety associated with the -grading. Earlier it was proved by the author that is irreducible, if the -grading is of maximal rank. Now we show that is irreducible for and (E₆,F₄). In the case of symmetric pairs of rank one, we show that the number of irreducible components of is equal to that of nonzero non--regular nilpotent G ₀-orbits in . We also discuss a general problem of the irreducibility of commuting varieties.     

Sur la cohomologie à supports compacts des variétés de Shimura pour GSp(4)_\mathbb{Q}

In this paper we compute the cohomology with compact supports of a Siegelthreefold as a virtual module over the product of the Galois group of over and the Hecke algebra. We use a method which has been developed by Ihara, Langlands and Kottwitz: comparison of the Grothendieck--Lefschetz formula and the Arthur--Selberg trace formula.     

Systèmes dynamiques non archimédiens et corps des norms (Non-Archimedean Dynamic Systems and Fields of Norms)

Let _k be the ring of integers of a finite extension k of the field _p of p-adic numbers. The endomorphisms of a formal group law defined over _k provide nontrivial examples of commuting formal series with coefficients in _k . This article deals with the inverse problem formulated by Jonathan Lubin within the context of non-Archimedean dynamical systems. We present a large family of series, with coefficients in _p , which satisfy Lubin's conjecture. These series are constructed with the help of Lubin–Tate formal group laws over _p . We introduce the notion of minimally ramified series which turn out to be modulo p reductions of some series of this family. The commutant monoids of these minimally ramified series are determined by using the Fontaine–Wintenberger theory of the field of norms which allows an interpretation of them as automorphisms of _p -extensions of local fields of characteristic zero. A particularly effective example illustrating the paper is given by a family of series generalizing ebyev polynomials     

On microfunctions at the boundary along CR manifolds

Let X be a complex analytic manifold, a C ² submanifold, an openset with C ² boundary .Denote by (resp. ) the microlocalization along M (resp. ) of the sheaf of holomorphic functions.In the literature (cf. [A-G], [K-S 1,2])one encounters two classical results concerning the vanishing of the cohomology groups .The most general gives the vanishing outside a range of indices j whose length is equal to (with being the number of respectively positive, negative and null eigenvalues for themicrolocal Levi form ).The sharpest result gives the concentration in a single degree, provided that the difference is locally constant for near p (with for z the base point of p).The first result was restated for the complex in [D'A-Z 2], in the case codim We extend it here to any codimension and moreover we also restate for the second vanishing theorem.We also point out that the principle of our proof, related to a criterion for constancy of sheaves due to [K-S 1], is a quite new one.     

Image inverse d'un D-module and Newton Polygon)

We show that, under conditions about the microcharacteristic variety of a coherent -module, the Cauchy problem is well-posed in the spaces of formal power series with Gevrey growth. We deduce that the filtration of the Irregularity Sheaf of a holonomic -module, which we defined in a previous work, is preserved under inverse image if some rather general geometric conditions are fullfilled.     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

A Question in the Theory of Totally Local Formations of Finite Groups

It is proved that all proper totally local subformations of a non one-generated totally local formation of finite groups are one-generated iff coincides with a formation of all soluble -groups, where ||=2.     

Moduli Spaces of Stable Polygons and Symplectic Structures on\overline {\mathcal{M}} _{0,n}

In this paper, certain natural and elementary polygonal objects in Euclidean space, the stable polygons, are introduced, and the novel moduli spaces of stable polygons are constructed as complex analytic spaces. Quite unexpectedly, these new moduli spaces are shown to be projective and isomorphic to the moduli space of the Deligne–Mumford stable curves of genus 0. Further, built into the structures of stable polygons are some natural data giving rise to a family of (classes of) symplectic (Kähler) forms. This, via the link to , brings up a new tool to study the Kähler topology of . A wild but precise conjecture on the shape of the Kähler cone of is given in the end.     

On Complete Arcs Arising from Plane Curves

We point out an interplay between -Frobenius non-classical plane curves and complete -arcs in . A typical example that shows how this works is the one concerning an Hermitian curve. We present some other examples here which give rise to the existence of new complete -arcs with parameters and being a power of the characteristic. In addition, for q a square, new complete -arcs with either and or and are constructed by using certain reducible plane curves.     

Quotient Groups of Groups of Certain Classes

For an arbitrary variety of groups and an arbitrary class of groups that is closed on quotient groups, we prove that a quotient group G/N of the group G possesses an invariant system with - and -factors (respectively, is a residually -group) if G possesses an invariant system with - and -factors (respectively, is a residually -group) and N (respectively, N is a maximal invariant -subgroup of the group G).     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

Lp Contraction Semigroups for Vector Valued Functions

Let be a contraction semigroup on the space of vector valued functions ( is a Hilbert space). In order to study the extension of to a contaction semigroup on , Shigekawa [Sh] studied recently the domination property where is a symmetric sub-Markovian semigroup on . He gives in the setting of square field operators sufficient conditions for the above inequality. The aim of the present paper is to show that the methods of [12] and [13] can be applied in the present setting and provide two ways for the extension of to We give necessary and sufficient conditions in terms of sesquilinear forms for the contractivity property as well as for the above domination property in a more general situation.     

The property of having independent basis in semigroup varieties

There exist independently based semigroup varieties and , , such that has no cover in the interval [ ; ].Translated from Algebra i Logika, Vol. 44, No. 1, pp. 81–96, January–February, 2005.     

Ore Extensions of Hopf Algebras

In this paper, Ore extensions in the class of Hopf algebras are studied. The classification theorem enables one to describe the Hopf--Ore extensions for the group algebras, for the algebras and , and for the quantum ax + b group.     

Canonical Heights on Elliptic Curves in Characteristic p

Let be the rational function field with finite constant field and characteristic , and let K/k be a finite separable extension. For a fixed place v of k and an elliptic curve E/K which has ordinary reduction at all places of K extending v, we consider a canonical height pairing which is symmetric, bilinear and Galois equivariant. The pairing for the infinite place of k is a natural extension of the classical Néron–Tate height. For v finite, the pairing plays the role of global analytic p-adic heights. We further determine some hypotheses for the nondegeneracy of these pairings.     

Trajectory and Global Attractors of Three-Dimensional Navier--Stokes Systems

We construct the trajectory attractor of a three-dimensional Navier--Stokes system with exciting force . The set consists of a class of solutions to this system which are bounded in , defined on the positive semi-infinite interval of the time axis, and can be extended to the entire time axis so that they still remain bounded-in- solutions of the Navier--Stokes system. In this case any family of bounded-in- solutions of this system comes arbitrary close to the trajectory attractor . We prove that the solutions are continuous in t if they are treated in the space of functions ranging in . The restriction of the trajectory attractor to , , is called the global attractor of the Navier--Stokes system. We prove that the global attractor thus defined possesses properties typical of well-known global attractors of evolution equations. We also prove that as the trajectory attractors and the global attractors of the -order Galerkin approximations of the Navier--Stokes system converge to the trajectory and global attractors and , respectively. Similar problems are studied for the cases of an exciting force of the form depending on time and of an external force rapidly oscillating with respect to the spatial variables or with respect to time .     

Formulas for Lagranigian and orthogonal degeneracy loci; \widetilde Q-polynomial approach

The main goal of the paper is to give explicit formulas for the fundamental classes of Schubert subschemes in Lagrangian and orthogonal Grassmannians of maximal isotropic subbundles as well as some globalizations of them. The used geometric tools overlap appropriate desingularizations of such Schubert subschemes and Gysin maps for such Grassmannian bundles. The main algebraic tools are provided by the families of and -polynomials introduced and investigated in the present paper. The key technical result of the paper is the computation of the class of the (relative) diagonal in isotropic Grassmannian bundles based on the orthogonality property of and polynomials. Some relationships with quaternionic Schubert varieties and Schubert polynomials for classical groups are also discussed.