Crystal Base Elements of an Extremal Weight Module Fixed by a Diagram Automorphism

In our previous work, we introduced a bijection between the elements of the crystal base of the negative (resp. positive) part of the quantized universal enveloping algebra of a Kac–Moody algebra that are fixed by a diagram automorphism and the elements of the crystal base of the negative (resp. positive) part of the quantized universal enveloping algebra of the orbit Lie algebra of . In this paper, we prove that this bijection commutes with the *-operation. As an application of this result we show that there exists a canonical bijection between the elements ℬ⁰(λ) of the crystal base ℬ(λ) of an extremal weight module of extremal weight λ over that are fixed by a diagram automorphism and the elements of the crystal base of an extremal weight module of extremal weight over , if the crystal graph of is connected. Presented by P. Littelmann Mathematics Subject Classifications (2000) Primary: 17B37, 17B10; secondary: 81R50.     

Representation Rings of Lie Superalgebras

Given a Lie superalgebra , we introduce several variants of the representation ring, built as subrings and quotients of the ring of virtual -supermodules, up to (even) isomorphisms. In particular, we consider the ideal of virtual -supermodules isomorphic to their own parity reversals, as well as an equivariant K-theoretic super representation ring on which the parity reversal operator takes the class of a virtual -supermodule to its negative. We also construct representation groups built from ungraded -modules, as well as degree-shifted representation groups using Clifford modules. The full super representation ring , including all degree shifts, is then a -graded ring in the complex case and a -graded ring in the real case. Our primary result is a six-term periodic exact sequence relating the rings , and . We first establish a version of it working over an arbitrary (not necessarily algebraically closed) field of characteristic 0. In the complex case, this six-term periodic long exact sequence splits into two three-term sequences, which gives us additional insight into the structure of the complex super representation ring . In the real case, we obtain the expected 24-term version, as well as a surprising six-term version, of this periodic exact sequence. (Received: October 2004)     

Fock Space Realizations of Imaginary Verma Modules

This work expands to the setting of the results of H. Jakobsen and V. Kac and independently D. Bernard and G. Felder on the realization of , in terms of infinite sums of partial differential operators. We note in the paper that, in the generic case, these geometric constructions are just realizations of the imaginary Verma modules studied by V. Futorny. Presented by A. VerschorenMathematics Subject Classifications (2000) Primary: 17B67, 81R10.     

Birkhoff coordinates for KdV on phase spaces of distributions

The purpose of this paper is to extend the construction of Birkhoff coordinates for the KdV equation from the phase space of square integrable 1-periodic functions with mean value zero to the phase space of mean value zero distributions from the Sobolev space endowed with the symplectic structure More precisely, we construct a globally defined real-analytic symplectomorphism where is a weighted Hilbert space of sequences supplied with the canonical Poisson structure so that the KdV Hamiltonian for potentials in is a function of the actions alone.     

A new bound for an extension of Mason’s theorem for functions of several variables

In this paper, using the generalized Wronskian, we obtain a new sharp bound for the generalized Masons theorem [1] for functions of several variables. We also show that the Diophantine equation (The generalized Fermat-Catalan equation) where , such that k out of the n-polynomials are constant, and under certain conditions for has no non-constant solution. Received: 20 March 2003     

Properties of Auto- and Antiautomorphisms of Maximal Chain Structures and their Relations to i-Perspectivities

Let E be a non empty set, let P : = E × E, := {x × E|x ∈ E}, := {E × x|x ∈ E}, and := {C ∈ 2 ^P |∀X ∈ : |C ∩ X| = 1} and let . Then the quadruple resp. is called chain structure resp. maximal chain structure. We consider the maximal chain structure as an envelope of the chain structure . Particular chain structures are webs, 2-structures, (coordinatized) affine planes, hyperbola structures or Minkowski planes. Here we study in detail the groups of automorphisms , , , related to a maximal chain structure . The set of all chains can be turned in a group such that the subgroup of generated by the left-, by the right-translations and by ι the inverse map of is isomorphic to (cf. (2.14)).     

The geometry of rational parameterized representations

We study the projective space of univariate rational parameterized equations of degree d or less in real projective space The parameterized equations of degree less than d form a special algebraic variety We investigate the subspaces on and their relation to rational curves in give a geometric characterization of the automorphism group of and outline applications of the theory to projective kinematics.     

Some Categorical Algebraic Properties: Counter-Examples for Functor Categories

This work is a complement to the authors earlier papers, where it is shown that a functor category inherits from such properties as amalgamation, transferability and congruence extension if has either products or certain pushouts. A general scheme is given for constructing counter-examples which show that the latter condition on is essential. In particular, it is shown that the functor categories , , ( resp.) do not satisfy the amalgamation (congruence extension resp.) property in general. Moreover, one class of categories is described, where the condition of the existence of certain pushouts is not only sufficient, but also necessary for to preserve the considered properties of .Mathematics Subject Classifications (2000) 18A25, 18A32, 18B99, 08B26.Dali Zangurashvili: The support rendered by INTAS Grant 97 31961 is gratefully acknowledged.     

{\left( {\mathfrak{V},\mathfrak{W}} \right)}{\text{-cotorsion pairs}}

Let R be a unital associative ring and two classes of left R-modules. In this paper we introduce the notion of a In analogy to classical cotorsion pairs as defined by Salce [10], a pair of subclasses and is called a if it is maximal with respect to the classes and the condition for all and Basic properties of are stated and several examples in the category of abelian groups are studied. Received: 17 March 2005     

Elements of Prescribed Order,Prescribed Traces and Systems of Rational Functions Over Finite Fields

Let k 1 and be a system of rational functions forming a strongly linearly independent set over a finite field . Let be arbitrarily prescribed elements. We prove that for all sufficiently large extensions , there is an element of prescribed order such that is the relative trace map from onto We give some applications to BCH codes, finite field arithmetic and ordered orthogonal arrays. We also solve a question of Helleseth et~al. (Hypercubic 4 and 5-designs from Double-Error-Correcting codes, Des. Codes. Cryptgr. 28(2003). pp. 265–282) completely.classification 11T30, 11G20, 05B15     

C*-Algebras of Integral Operators with Piecewise Slowly Oscillating Coefficients and Shifts Acting Freely

We establish a symbol calculus for the C*-subalgebra of generated by the operators of multiplication by slowly oscillating and piecewise continuous functions and the operators where is the Cauchy singular integral operator and The C*-algebra is invariant under the transformations

New results on the peak algebra

The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n−1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of . We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements for the peak algebra. We use these bases to describe the Jacobson radical of and to characterize the elements of in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals of , j = 0,..., , such that is the linear span of sums of permutations with a common set of interior peaks and is the peak algebra. We extend the above results to , generalizing results of Schocker (the case j = 0). Aguiar supported in part by NSF grant DMS-0302423 Orellana supported in part by the Wilson Foundation     

On higher order Bessel potentials

The solutions of the equation in , where are investigated, Bessel potentials of higher order are defined, and recurrence relations between these solutions and these Bessel potentials are obtained. It is also proved that these solutions and the solutions of , under certain conditions, are identical. Received: 6 November 2002     

<Emphasis Type="Italic">p</Emphasis>-Laplace Operator and Diameter of Manifolds

Let be a compact Riemannian manifold without boundary. In this paper, we consider the first nonzero eigenvalue of the p-Laplacian and we prove that the limit of when is 2/d(M), where d(M) is the diameter of M. Moreover, if is an oriented compact hypersurface of the Euclidean space or , we prove an upper bound of in terms of the largest principal curvature κ over M. As applications of these results, we obtain optimal lower bounds of d(M) in terms of the curvature. In particular, we prove that if M is a hypersurface of then: . Mathematics Subject Classifications (2000): 53A07, 53C21.     

Estimates on the Green’s Function and Existence of Positive Solutions of Nonlinear Singular Elliptic Equations in the Half Space

We establish a new 3G-Theorem for the Green’s function for the half space We exploit this result to introduce a new class of potentials that we characterize by means of the Gauss semigroup on . Next, we define a subclass of and we study it. In particular, we prove that properly contains the classical Kato class . Finally, we study the existence of positive continuous solutions in of the following nonlinear elliptic problem

Beckman-Quarles type theorems for mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{C}^n $$

Summary. Let We say that preserves the distance d 0 if for each implies Let A _n denote the set of all positive numbers d such that any map that preserves unit distance preserves also distance d. Let D _n denote the set of all positive numbers d with the property: if and then there exists a finite set S _xy with such that any map that preserves unit distance preserves also the distance between x and y. Obviously, We prove: (1) (2) for n 2 D _n is a dense subset of (2) implies that each mapping f from to (n 2) preserving unit distance preserves all distances, if f is continuous with respect to the product topologies on and      

On the Kashiwara–Vergne conjecture

Let G be a connected Lie group, with Lie algebra . In 1977, Duflo constructed a homomorphism of -modules , which restricts to an algebra isomorphism on invariants. Kashiwara and Vergne (1978) proposed a conjecture on the Campbell-Hausdorff series, which (among other things) extends the Duflo theorem to germs of bi-invariant distributions on the Lie group G. The main results of the present paper are as follows. (1) Using a recent result of Torossian (2002), we establish the Kashiwara–Vergne conjecture for any Lie group G. (2) We give a reformulation of the Kashiwara–Vergne property in terms of Lie algebra cohomology. As a direct corollary, one obtains the algebra isomorphism , as well as a more general statement for distributions.     

Non- (Quantum) Differentiable C 1-Functions in the Spaces with Trivial Boyd Indices

If E is a separable symmetric sequence space with trivial Boyd indices and is the corresponding ideal of compact operators, then there exists a C¹-function f_E, a self-adjoint element and a densely defined closed symmetric derivation δ on such that , but      

The twistor structure of the biquaternionic projective point

Souček [1, 2] discovered an intriguing connection between the standard twistor correspondence and the biquaternionic projective line The biquaternionic projective point, also has twistor structure corresponding to the collection of α- or β-planes passing through the origin in spacetime. The duality between α- or β-planes is shown to correspond to the choice of left vs. right scalar action. Moreover, we find that is homeomorphic to the scheme      

A Product Formula Related to Quantum Zeno Dynamics

We prove a product formula which involves the unitary group generated by a semibounded self-adjoint operator and an orthogonal projection P on a separable Hilbert space with the convergence in It gives a partial answer to the question about existence of the limit which describes quantum Zeno dynamics in the subspace Ran P. The convergence in is demonstrated in the case of a finite-dimensional P. The main result is illustrated in the example where the projection corresponds to a domain in and the unitary group is the free Schrödinger evolution.submitted 21/06/04, accepted 12/10/04