A Locally Trivial Quantum Hopf Fibration

The irreducible *-representations of the polynomial algebra of the quantum3-sphere introduced by Calow and Matthes are classified. The K-groups of its universal C^*-algebra are shown to coincide with their classical counterparts. The U(1)-action on corresponding for p=1=q to the classical Hopf fibration is proven to be Galois (free). The thus obtained locally trivial Hopf–Galois extension is shown to be equivariantly projective (admitting a strong connection) and non-cleft. The latter is proven by determining an appropriate pairing of cyclic cohomology and K-theory. Presented by S. L. Woronowicz Mathematics Subject Classifications (2000) 16W30, 46L87.     

Banach Spaces of Solutions of the Helmholtz Equation in the Plane

The purpose of this article is to study the Hilbert space W²\mathcal{ W}^2 consisting of all solutions of the Helmholtz equation Du+u=0\Delta u+u=0 in \BbbR²\Bbb{R}^2 that are the image under the Fourier transform of L²L^2 densities in the unit circle. We characterize this space as a close subspace of the Hilbert space H²\mathcal{ H}^2 of all functions belonging to L²( | x | ^-3dx) L^2( | x | ^{-3}dx) jointly with their angular and radial derivatives, in the complement of the unit disk in \BbbR²\Bbb{R}^2. We calculate the reproducing kernel of W²\mathcal{ W}^2 and study its reproducing properties in the corresponding spaces H^p\mathcal{H}^p, for $p>1$p>1.     

Hopf Algebra Equivariant Cyclic Cohomology, K-theory and Index Formulas

For an algebra with an action of a Hopf algebra we establish the pairing between equivariant cyclic cohomology and equivariant K-theory for . We then extend this formalism to compact quantum group actions and show that equivariant cyclic cohomology is a target space for the equivariant Chern character of equivariant summable Fredholm modules. We prove an analogue of Julg's theorem relating equivariant K-theory to ordinary K-theory of the C^*-algebra crossed product, and characterize equivariant vector bundles on quantum homogeneous spaces.     

AW*-algebras Which are Enveloping C*-algebras of JC-algebras

In the given article, enveloping C*-algebras of AJW-algebras are considered. Conditions are given, when the enveloping C*-algebra of an AJW-algebra is an AW*-algebra, and corresponding theorems are proved. In particular, we proved that if $\mathcal{A}$ is a real AW*-algebra, $\mathcal{A}_{sa}$ is the JC-algebra of all self-adjoint elements of $\mathcal{A}$ , $\mathcal{A}+i\mathcal{A}$ is an AW*-algebra and $\mathcal{A}\cap i\mathcal{A} = \{0\}$ then the enveloping C*-algebra $C^*(\mathcal{A}_{sa})$ of the JC-algebra $\mathcal{A}_{sa}$ is an AW*-algebra. Moreover, if $\mathcal{A}+i\mathcal{A}$ does not have nonzero direct summands of type I₂, then $C^*(\mathcal{A}_{sa})$ coincides with the algebra $\mathcal{A}+i\mathcal{A}$ , i.e. $C^*(\mathcal{A}_{sa})= \mathcal{A}+i\mathcal{A}$ .     

A Hilbert theorem for vertex algebras

Given a simple vertex algebra A \mathcal{A} and a reductive group G of automorphisms of A \mathcal{A} , the invariant subalgebra A^G {\mathcal{A}^G} is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true of the classical limit of A^G {\mathcal{A}^G} , which often requires infinitely many generators and infinitely many relations to describe. Using tools from classical invariant theory, together with recent results on the structure of the W_{1 + ￥} {\mathcal{W}_{{1 + }\infty }} algebra, we establish the strong finite generation of a large family of invariant subalgebras of βγ-systems, bc-systems, and bcβγ-systems.     

Latin trades in groups defined on planar triangulations

For a finite triangulation of the plane with faces properly coloured white and black, let A_W\mathcal{A}_{W} be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A_W\mathcal{A}_{W} has free rank exactly two. Let A_W^*\mathcal{A}_{W}^{*} be the torsion subgroup of  A_W\mathcal{A}_{W} , and A_B^*\mathcal{A}_{B}^{*} the corresponding group for the black triangles. We show that A_W^*\mathcal{A}_{W}^{*} and A_B^*\mathcal{A}_{B}^{*} have the same order, and conjecture that they are isomorphic. For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in  A_W^*\mathcal{A}_{W}^{*} , thereby proving a conjecture due to Cavenagh and Drápal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith normal form of this matrix determines A_W^*\mathcal{A}_{W}^{*} , so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g≥1 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group.     

Exterior powers of the reflection representation in Springer theory

Let H^*( B_e ) {H^*}\left( {{\mathcal{B}_e}} \right) be the total Springer representation of W for the nilpotent element e in a simple Lie algebra \mathfrakg \mathfrak{g} . Let Λ ⁱ V denote the ith exterior power of the reflection representation V of W. The focus of this paper is on the algebra of W-invariants in

Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

Fourier-Feynman transforms of unbounded functionals on abstract Wiener space

Huffman, Park and Skoug established several results involving Fourier-Feynman transform and convolution for functionals in a Banach algebra S on the classical Wiener space. Chang, Kim and Yoo extended these results to abstract Wiener space for a more generalized Fresnel class $ \mathcal{F}_{\mathcal{A}_1 ,\mathcal{A}_2 } $ \mathcal{F}_{\mathcal{A}_1 ,\mathcal{A}_2 } _A1,A2 than the Fresnel class $ \mathcal{F} $ \mathcal{F} (B)which corresponds to the Banach algebra S. In this paper we study Fourier-Feynman transform, convolution and first variation of unbounded functionals on abstract Wiener space having the form

Averaging of directional derivatives in vertices of nonobtuse regular triangulations

For a shape-regular triangulation ${\mathcal{T}_h}For a shape-regular triangulation _h{\mathcal{T}_h} without obtuse angles of a bounded polygonal domain W ì ?²{\Omega\subset\Re^2} , let L_h{\mathcal L_h} be the space of continuous functions linear on the triangles from T_h{\mathcal{T}_h} and Π _h the interpolation operator from C([`(W)]){C(\overline\Omega)} to L<sub>h</sub>{\mathcal L_h} . This paper is devoted to the following classical problem: Find a second-order approximation of the derivative ?u/?z(a){\partial u/\partial z(a)} in a direction z of a function u ? C<sup>3</sup>([`(W)]){u\in C^3(\overline\Omega)} in a vertex a in the form of a linear combination of the constant directional derivatives ?P_h(u)/?z{\partial \Pi_h(u)/\partial z} on the triangles surrounding a. An effective procedure for such an approximation is presented, its error is proved to be of the size O(h ²), an operator W_h: L_h?L_h×L_h{\mbox{W}_h: \mathcal L_h\longrightarrow\mathcal L_h\times\mathcal L_h} relating a second-order approximation W _h [Π _h (u)] of ?u{\nabla u} to every u ? C³([`(W)]){u\in C^3(\overline\Omega)} is constructed and shown to be a so-called recovery operator. The accuracy of the presented approximation is compared with the accuracies of the local approximations by other known techniques numerically.     

(<Emphasis Type="Italic">o</Emphasis>)-Topology in *-algebras of locally measurable operators

We consider the topology t( M ) t\left( \mathcal{M} \right) of convergence locally in measure in the *-algebra LS( M ) LS\left( \mathcal{M} \right) of all locally measurable operators affiliated to the von Neumann algebra M \mathcal{M} . We prove that t( M ) t\left( \mathcal{M} \right) coincides with the (o)-topology in LS_h( M ) = { T ? LS( M ):T* = T } L{S_h}\left( \mathcal{M} \right) = \left\{ {T \in LS\left( \mathcal{M} \right):T* = T} \right\} if and only if the algebra M \mathcal{M} is σ-finite and is of finite type. We also establish relations between t( M ) t\left( \mathcal{M} \right) and various topologies generated by a faithful normal semifinite trace on M \mathcal{M} .     

The Brauer Group of Azumaya Corings and the Second Cohomology Group

Let R be a commutative ring. An Azumaya coring consists of a couple , with S a faithfully flat commutative R-algebra, and an S-coring satisfying certain properties. If S is faithfully projective, then the dual of is an Azumaya algebra. Equivalence classes of Azumaya corings form an abelian group, called the Brauer group of Azumaya corings. This group is canonically isomorphic to the second flat cohomology group. We also give algebraic interpretations of the second Amitsur cohomology group and the first Villamayor–Zelinsky cohomology group in terms of corings.     

Boundedness of the anisotropic maximal and anisotropic singular integral operators in generalized Morrey spaces

In this paper we give the conditions on the pair (ω ₁, ω ₂) which ensures the boundedness of the anisotropic maximal operator and anisotropic singular integral operators from one generalized Morrey space M_p,w1 \mathcal{M}_{p,\omega _1 } to another M_p,w2 \mathcal{M}_{p,\omega _2 }, 1 < p < g8, and from the space M_1,w1 \mathcal{M}_{1,\omega _1 } to the weak space WM_1,w2 W\mathcal{M}_{1,\omega _2 }.     

<Emphasis Type="Italic">X</Emphasis>-Trees and Weighted Quartet Systems

In this note, we consider a finite set X and maps W from the set $ \mathcal{S}_{2|2} (X) $ of all 2, 2- splits of X into $ \mathbb{R}_{\geq 0} $. We show that such a map W is induced, in a canonical way, by a binary X-tree for which a positive length $ \mathcal{l} (e) $ is associated to every inner edge e if and only if (i) exactly two of the three numbers W(ab|cd),W(ac|bd), and W(ad|cb) vanish, for any four distinct elements a, b, c, d in X, (ii) $ a \neq d \quad\mathrm{and}\quad W (ab|xc) + W(ax|cd) = W(ab|cd) $ holds for all a, b, c, d, x in X with #{a, b, c, x} = #{b, c, d, x} = 4 and $ W(ab|cx),W(ax|cd) $ > 0, and (iii) $ W (ab|uv) \geq \quad \mathrm{min} (W(ab|uw), W(ab|vw)) $ holds for any five distinct elements a, b, u, v, w in X. Possible generalizations regarding arbitrary $ \mathbb{R} $-trees and applications regarding tree-reconstruction algorithms are indicated.AMS Subject Classification: 05C05, 92D15, 92B05.     

The Product Formula in Unitary Deformation K-theory

For finitely generated groups G and H, we prove that there is a weak equivalence G H (G × H) of ku-algebra spectra, where denotes the “unitary deformation K-theory” functor. Additionally, we give spectral sequences for computing the homotopy groups of G and HG in terms of connective K-theory and homology of spaces of G-representations.     

Canonical State/Signal Shift Realizations of Passive Continuous Time Behaviors

This work is devoted to the construction of canonical passive and conservative state/signal shift realizations of arbitrary passive continuous time behaviors. By definition, a passive future continuous time behavior is a maximal nonnegative right-shift invariant subspace of the Kreĭn space L²([0,￥);W){L^2([0,\infty);\mathcal W)}, where W{\mathcal W} is a Kreĭn space, and the inner product in L²([0,￥);W){L^2([0,\infty);\mathcal W)} is the one inherited from W{\mathcal W}. A state/signal system S = (V;X,W){\Sigma=(V;\mathcal X,\mathcal W)}, with a Hilbert state space X{\mathcal X} and a Kreĭn signal space W{\mathcal W}, is a dynamical system whose classical trajectories (x, w) on [0, ∞) satisfy x ? C¹([0,￥);X){x\in C^1([0,\infty);\mathcal X)}, w ? C([0,￥);W){w \in C([0,\infty);\mathcal W)}, and

Reduced invariant sets

Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X){\mathcal{I}(X)} denote the ideal of X in \mathbbR[W]{\mathbb{R}[W]} and let I_K(X){\mathcal{I}_{K}(X)} be the ideal generated by I(X)^K{\mathcal{I}(X)^{K}} . We find necessary conditions and sufficient conditions for I(X) = I_K(X){{\mathcal{I}(X) = \mathcal{I}_{K}(X)}} and for ?{I_K(X)} = I(X){{\sqrt{\mathcal{I}_{K}(X)} = \mathcal{I}(X)}} . We consider analogous questions for actions of complex reductive groups.     

Representation theory of $\mathcal{W}$-algebras

We study the representation theory of the -algebra associated with a simple Lie algebra at level k. We show that the “-” reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k∈ℂ. Moreover, we show that the character of each irreducible highest weight representation of is completely determined by that of the corresponding irreducible highest weight representation of affine Lie algebra of . As a consequence we complete (for the “-” reduction) the proof of the conjecture of E. Frenkel, V. Kac and M. Wakimoto on the existence and the construction of the modular invariant representations of -algebras. Mathematics Subject Classification (1991)  17B68, 81R10     

INVARIANT HILBERT SCHEMES AND DESINGULARIZATIONS OF QUOTIENTS BY CLASSICAL GROUPS

Let W be a finite-dimensional representation of a reductive algebraic group G. The invariant Hilbert scheme $ \mathcal{H} $ is a moduli space that classifies the G-stable closed subschemes Z of W such that the affine algebra k[Z] is the direct sum of simple G-modules with prescribed multiplicities. In this article, we consider the case where G is a classical group acting on a classical representation W and k[Z] is isomorphic to the regular representation of G as a G-module. We obtain families of examples where $ \mathcal{H} $ is a smooth variety, and thus for which the Hilbert–Chow morphism $ \gamma :\mathcal{H}\to W//G $ is a canonical desingularization of the categorical quotient.     

On Linear Fractional Transformations Associated with Generalized J-Inner Matrix Functions

A class U_k1 (J){\mathcal{U}}_{\kappa 1} (J) of generalized J-inner mvf’s (matrix valued functions) W(λ) which appear as resolvent matrices for bitangential interpolation problems in the generalized Schur class of p ×q  mvf￠s S_k^{p ×q}p \times q \, {\rm mvf's}\, {\mathcal{S}}_{\kappa}^{p \times q} and some associated reproducing kernel Pontryagin spaces are studied. These spaces are used to describe the range of the linear fractional transformation T_W based on W and applied to S_k2^{p ×q}{\mathcal{S}}_{\kappa 2}^{p \times q}. Factorization formulas for mvf’s W in a subclass U^°_k1 (J) of U_k1(J){\mathcal{U}^{\circ}_{\kappa 1}} (J)\, {\rm of}\, {\mathcal{U}}_{\kappa 1}(J) found and then used to parametrize the set S_k1+k2^{p ×q} ?T_W [ S_k2^{p ×q} ]{\mathcal{S}}_{{\kappa 1}+{\kappa 2}}^{p \times q} \cap T_{W} \left[ {\mathcal{S}}_{\kappa 2}^{p \times q} \right]. Applications to bitangential interpolation problems in the class S_k1+k2^{p ×q}{\mathcal{S}}_{{\kappa 1}+{\kappa 2}}^{p \times q} will be presented elsewhere.