On <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">1</Emphasis></Subscript> of a self-product of a curve

We present elements of H¹(C×C, ᵊ6₂) for certain specific curves C. The image of the element under the boundary map arising from the localization sequence of K-theory is the graph of frobenius endomorphism of the reduction of the curve modulo 3.     

Kernels and <Emphasis Type="Italic">p</Emphasis>-Kernels of <Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript>-ary 1-Perfect Codes

The rank of a q-ary code C is the dimension of the subspace spanned by C. The kernel of a q-ary code C of length n can be defined as the set of all translations leaving C invariant. Some relations between the rank and the dimension of the kernel of q-ary 1-perfect codes, over as well as over the prime field , are established. Q-ary 1-perfect codes of length n=(q^m − 1)/(q − 1) with different kernel dimensions using switching constructions are constructed and some upper and lower bounds for the dimension of the kernel, once the rank is given, are established.Communicated by: I.F. Blake     

A space <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">X</Emphasis>) is dominated by irrationals if and only if it is<Emphasis Type="Italic"> K</Emphasis>-analytic

Summary We prove that, for any Tychonoff X, the space C_p(X) is K-analytic if and only if it has a compact cover {K_p: p } such that K_p subset K_q whenever p,q and p q. Applying this result we show that if C_p(X) is K-analytic then C_p(X) is K-analytic as well. We also establish that a space C_p(X) is K-analytic and Baire if and only if X is countable and discrete.     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

Smooth noncompact operators from <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>), <Emphasis Type="Italic">K</Emphasis> scattered

Let X be a Banach space, K be a scattered compact and T: B _C(K) → X be a Fréchet smooth operator whose derivative is uniformly continuous. We introduce the smooth biconjugate T**: B _C(K)** → X** and prove that if T is noncompact, then the derivative of T** at some point is a noncompact linear operator. Using this we conclude, among other things, that either is compact or that ℓ₁ is a complemented subspace of X*. We also give some relevant examples of smooth functions and operators, in particular, a C ^1,u -smooth noncompact operator from B _{c O} which does not fix any (affine) basic sequence. P. Hájek was supported by grants A100190502, Institutional Research Plan AV0Z10190503.     

Numerical Ranges of <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(<Emphasis Type="Italic">N</Emphasis>) Contractions

A conjecture of Halmos proved by Choi and Li states that the closure of the numerical range of a contraction on a Hilbert space is the intersection of the closure of the numerical ranges of all its unitary dilations. We show that for C ₀(N) contractions one can restrict the intersection to a smaller family of dilations. This generalizes a finite dimensional result of Gau and Wu.     

Kostka-Foulkes Polynomials Cyclage Graphs and Charge Statistic for the Root System <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We establish a Morris type recurrence formula for the root system C_n. Next we introduce cyclage graphs for the corresponding Kashiwara-Nakashimas tableaux and use them to define a charge statistic. Finally we conjecture that this charge may be used to compute the Kostka-Foulkes polynomials for type C_n.     

On topologically finite-dimensional simple <Emphasis Type="Italic">C</Emphasis>*-algebras

We show that, if a simple C*-algebra A is topologically finite-dimensional in a suitable sense, then not only K₀(A) has certain good properties, but A is even accessible to Elliott’s classification program. More precisely, we prove the following results:If A is simple, separable and unital with finite decomposition rank and real rank zero, then K₀(A) is weakly unperforated.If A has finite decomposition rank, real rank zero and the space of extremal tracial states is compact and zero-dimensional, then A has stable rank one and tracial rank zero. As a consequence, if B is another such algebra, and if A and B have isomorphic Elliott invariants and satisfy the Universal coefficients theorem, then they are isomorphic.In the case where A has finite decomposition rank and the space of extremal tracial states is compact and zero-dimensional, we also give a criterion (in terms of the ordered K₀-group) for A to have real rank zero. As a byproduct, we show that there are examples of simple, stably finite and quasidiagonal C*-algebras with infinite decomposition rank.Supported by: EU-Network Quantum Spaces - Noncommutative Geometry (Contract No. HPRN-CT-2002-00280) and Deutsche Forschungsgemeinschaft (SFB 478).     

The -conjecture and equivariant <Emphasis Type="Italic">e</Emphasis><Subscript><Emphasis Type="Italic">C</Emphasis></Subscript>-invariants

Let X be a smooth closed oriented non-spin 4-manifold with even intersection form kE₈nH (n1). The -conjecture states that n is greater than or equal to |k|. In this paper we give a proof of the -conjecture. The strategy of this paper is to use the finite dimensional approximation of the map induced from the Seiberg-Witten equations and equivariant e_C-invariants as in the paper of M. Furuta and Y. Kametani.Mathematics Subject Classification (1991): 57R55This work was supported by Korea Research Foundation Grant (KRF–2002–003–C00011).     

<Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Subalgebras Generated by a Single Operator in <Emphasis Type="Italic">B</Emphasis>(<Emphasis Type="Italic">H</Emphasis>)

In this paper, we characterize a C ^*-subalgebra C ^*(x) of B(H), generated by a single operator x. We show that if x is polar-decomposed by aq, where a is the partial isometry part and q is the positive operator part of x, then C ^*(x) is *-isomorphic to the groupoid crossed product algebra A_q×_a\mathbbG_a\mathcal{A}_{q}\times_{\alpha }\mathbb{G}_{a} , where A_q=C^*(q)\mathcal{A}_{q}=C^{*}(q) and \mathbbG_a\mathbb{G}_{a} is the graph groupoid induced by a partial isometry part a of x.     

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.     

Continuous <Emphasis Type="Italic">l</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">p</Emphasis></Subscript>-symmetric distributions

For p > 0, the l _n,p -generalized surface measure on the l _n,p -unit sphere is studied and used for deriving a geometric measure representation for l _n,p -symmetric distributions having a density.     

Novikov superalgebras with <Emphasis Type="Italic">A</Emphasis><Subscript>0</Subscript> = <Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript><Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript>

Novikov superalgebras are related to quadratic conformal superalgebras which correspond to the Hamiltonian pairs and play a fundamental role in completely integrable systems. In this note we show that the Novikov superalgebras with A ₀ = A ₁ A ₁ and dim A ₁ = 2 are of type N and give a class of Novikov superalgebras of type S with A ₀ = A ₁ A ₁.     

<Emphasis Type="Italic">K</Emphasis>-homology of <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">*</Emphasis></Superscript>-categories and symmetric spectra representing <Emphasis Type="Italic">K</Emphasis>-homology

We define K-homology groups K _* () for small C ^* -categories in terms of Hilbert modules over the C ^* -category . We also define a functor A ^f from the category of small C ^* -categories into the category of C ^* -algebras and show that there is a natural isomorphism . In addition, we give an easy construction of a functor from the category of C ^* -algebras into the category of symmetric spectra which represents K-homology, i.e. we show that the functor comes with a natural isomorphism for C ^* -algebras A. It then follows that the composition A ^f provides a functor that can be used in the Davis-Lück approach for constructing the Baum-Connes map.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

On a new property of <Emphasis Type="Italic">n</Emphasis>-poised and <Emphasis Type="Italic">G</Emphasis><Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> sets

In this paper we consider n-poised planar node sets, as well as more special ones, called G C _n sets. For the latter sets each n-fundamental polynomial is a product of n linear factors as it always holds in the univariate case. A line ? is called k-node line for a node set \(\mathcal X\) if it passes through exactly k nodes. An (n + 1)-node line is called maximal line. In 1982 M. Gasca and J. I. Maeztu conjectured that every G C _n set possesses necessarily a maximal line. Till now the conjecture is confirmed to be true for n ≤ 5. It is well-known that any maximal line M of \(\mathcal X\) is used by each node in \(\mathcal X\setminus M, \)meaning that it is a factor of the fundamental polynomial. In this paper we prove, in particular, that if the Gasca-Maeztu conjecture is true then any n-node line of G C _n set \(\mathcal {X}\) is used either by exactly \(\binom {n}{2}\) nodes or by exactly \(\binom {n-1}{2}\) nodes. We prove also similar statements concerning n-node or (n ? 1)-node lines in more general n-poised sets. This is a new phenomenon in n-poised and G C _n sets. At the end we present a conjecture concerning any k-node line.     

On constant <Emphasis Type="Italic">Uq</Emphasis>(<Emphasis Type="Italic">sl</Emphasis><Subscript>2</Subscript>)-invariant <Emphasis Type="Italic">R</Emphasis>-matrices

We consider the spectral resolution of a Uq (sl ₂)-invariant solution R of the constant Yang–Baxter equation in the braid group form. It is shown that if the two highest coefficients in this resolution are not equal, then R is either the Drinfeld R-matrix or its inverse. Bibliography: 13 titles.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

Uniquely <Emphasis Type="Italic">C</Emphasis><Subscript>4</Subscript>-Saturated Graphs

For a fixed graph H, a graph G is uniquely H-saturated if G does not contain H, but the addition of any edge from [`(G)]{\overline{G}} to G completes exactly one copy of H. Using a combination of algebraic methods and counting arguments, we determine all the uniquely C ₄-saturated graphs; there are only ten of them.