A note on Ramsey multiplicity

If G₁ and G₂ are graphs and the Ramsey number r(G₁, G₂) = p, then the fewest number of G₁ in G and G₂ in ? (G complement) that occur in a graph G on p points is called the Ramsey multiplicity and denoted R(G₁, G₂). In [2, 3] the diagonal (i.e. G₁ = G₂) Ramsey multiplicities are derived for graphs on 3 and 4 points, with the exception of K₄. In this note an upper bound is established for R(K_s, K₁). Specifically, we show that R(K₄, K₄) ? 12.     

On the semiring of cone preserving maps

If K is a proper cone in Rⁿ, then the cone of all linear operators that preserve K, denoted by π(K), forms a semiring under usual operator addition and multiplication. Recently J.G. Horne examined the ideals of this semiring. He proved that if K₁, K₂ are polyhedral cones such that π(K₁) and π(K₂) are isomorphic as semirings, then K₁ and K₂ are linearly isomorphic. The study of this semiring is continued in this paper. In Sec. 3 ideals of π(K) which are also faces are characterized. In Sec. 4 it is shown that π(K) has a unique minimal two-sided ideal, namely, the dual cone of π(K¹), where K¹ is the dual cone of K. Extending Horne's result, it is also proved that the cone K is characterized by this unique minimal two-sided ideal of π(K). The set of all faces of π(K) inherits a quotient semiring structure from π(K). Properties of this face-semiring are given in Sec. 5. In particular, it is proved that this face-semiring admits no nontrivial congruence relation iff the duality operator of π(K) is injective. In Sec. 6 the maximal one-sided and two-sided ideals of π(K) are identified. In Sec. 8 it is shown that π(K) never satisfies the ascending-chain condition on principal one-sided ideals. Some partial results on the question of topological closedness of principal one-sided ideals of π(K) are also given.     

Torsion points of elliptic curves over large algebraic extensions of finitely generated fields

The following Theorem is proved:Let K be a finitely generated field over its prime field. Then, for almost all e-tuples (σ)=(σ ₁, …,σ _e)of elements of the abstract Galois group G(K)of K we have:

1. If e=1,then E _tor(K(σ))is infinite. Morover, there exist infinitely many primes l such that E(K(σ))contains points of order l.
2. If e≧2,then E _tor(K(σ))is finite.
3. If e≧1,then for every prime l, the group E(K(σ))contains only finitely many points of an l-power order.

HereK(σ) is the fixed field in the algebraic closureK ofK, ofσ ₁, …,σ _e, and “almost all” is meant in the sense of the Haar measure ofG(K).     

Bass’ NK groups and cdh-fibrant Hochschild homology

The K-theory of a polynomial ring R[t] contains the K-theory of R as a summand. For R commutative and containing ?, we describe K _*(R[t])/K _*(R) in terms of Hochschild homology and the cohomology of Kähler differentials for the cdh topology. We use this to address Bass’ question, whether K _n (R)=K _n (R[t]) implies K _n (R)=K _n (R[t ₁,t ₂]). The answer to this question is affirmative when R is essentially of finite type over the complex numbers, but negative in general.     

Henriksen?s contributions to residue class rings of analytic and entire functions

The author surveys, summarizes and generalizes results of Golasiński and Henriksen, and of others, concerning certain residue class rings.Let A(R) denote the ring of analytic functions over reals R and E(K) the ring of entire functions over R or complex numbers C. It is shown that if m is a maximal ideal of A(R), then A(R)/m is isomorphic either to the reals or a real-closed field that is η₁-set, while if m is a maximal ideal of E(K), then E(K)/m is isomorphic to one of these latter two fields or to complex numbers.     

Banach spaces with the Daugavet property, and the centralizer

We introduce representable Banach spaces, and prove that the class R of such spaces satisfies the following properties:

(1)

Every member of R has the Daugavet property.

(2)

It Y is a member of R, then, for every Banach space X, both the space L(X,Y) (of all bounded linear operators from X to Y) and the complete injective tensor product lie in R.

(3)

If K is a perfect compact Hausdorff topological space, then, for every Banach space Y, and for most vector space topologies τ on Y, the space C(K,(Y,τ)) (of all Y-valued τ-continuous functions on K) is a member of R.

(4)

If K is a perfect compact Hausdorff topological space, then, for every Banach space Y, most C(K,Y)-superspaces (in the sense of [V. Kadets, N. Kalton, D. Werner, Remarks on rich subspaces of Banach spaces, Studia Math. 159 (2003) 195-206]) are members of R.

(5)

All dual Banach spaces without minimal M-summands are members of R.

     

K0 of Purely Infinite Simple Regular Rings

We extend the notion of a purely infinite simple C ^*-algebra to the context of unital rings, and we study its basic properties, specially those related to K-theory. For instance, if R is a purely infinite simple ring, then K ₀(R)⁺ = K ₀(R), the monoid of isomorphism classes of finitely generated projective R-modules is isomorphic to the monoid obtained from K ₀(R) by adjoining a new zero element, and K ₁(R) is the Abelianization of the group of units of R. We develop techniques of construction, obtaining new examples in this class in the case of von Neumann regular rings, and we compute the Grothendieck groups of these examples. In particular, we prove that every countable Abelian group is isomorphic to K ₀ of some purely infinite simple regular ring. Finally, some known examples are analyzed within this framework.     

Integer valued polynomials and Lubin-Tate formal groups

If R is an integral domain and K is its field of fractions, we let Int(R) stand for the subring of K[x] which maps R into itself. We show that if R is the ring of integers of a p-adic field, then Int(R) is generated, as an R-algebra, by the coefficients of the endomorphisms of any Lubin-Tate group attached to R.     

Uppers to zero in R[x] and almost principal ideals

Let R be an integral domain with quotient field K and f(x) a polynomial of positive degree in K[x]. In this paper we develop a method for studying almost principal uppers to zero ideals. More precisely, we prove that uppers to zero divisorial ideals of the form I = f(x)K[x] ∩ R[x] are almost principal in the following two cases:

• J, the ideal generated by the leading coefficients of I, satisfies J ^?1 = R.
• I ^?1 as the R[x]-submodule of K(x) is of finite type.

Furthermore we prove that for I = f(x)K[x] ∩ R[x] we have:

• I ^?1 ∩ K[x] = (I: K(x) I).
• If there exists p/q ∈ I ^?1 ? K[x], then (q, f) ≠ 1 in K[x]. If in addition q is irreducible and I is almost principal, then I′ = q(x)K[x] ∩ R[x] is an almost principal upper to zero.

Finally we show that a Schreier domain R is a greatest common divisor domain if and only if every upper to zero in R[x] contains a primitive polynomial.     

An analogue of the thom isomorphism for crossed products of a C1 algebra by an action of R

In this paper we show the existence and uniqueness of a natural isomorphism ø^j_α of K_j(A) with K_j+1(A ?_α$\text{R}$), j ? $\text{Z}$/2 where (A, $\text{R}$, α) is a $\text{C1}$ dynamical $\text{R}$-system, K is the functor of topological K theory and A ?_α$\text{R}$ is the crossed product of A by the action of $\text{R}$. The Pimsner-Voiculescu exact sequence is obtained as a corollary. We show that given an α-invariant trace τ on A, with dual trace $\text{}\text{?}$gt, one has $\text{}\text{?}\text{gtø}{}^1{}_{\mathrm{\alpha }}\text{[u] = (}\text{1}\text{2}\text{iπ) τ(δ(u)u1)}$ for any unitary u in the domain of the derivation δ of A associated to the action α. Finally, we show that the crossed product of C(S³) (continuous functions on the 3 sphere) by a minimal diffeomorphism is a simple $\text{C1}$ algebra with no nontrivial idempotent.     

About the p-adic Yosida equation inside a disk

Let K be a complete ultrametric algebraically closed field and let ?(d(0, R^?)) be the field of meromorphic functions inside the disk d(0,R⁻) = {x ∈ K ∣ ∣x∣ < R}. Let ?_b(d(0, R^?)) be the subfield of bounded meromorphic functions inside d(0,R⁻) and let ?_u(d(0, R^?)) = ?(d(0, R^?)) ? ?_b(d(0, R^?)) be the subset of unbounded meromorphic functions inside d(0,R⁻). Initially, we consider the Yosida Equation: , where m ∈ ?^* and F(X) is a rational function of degree d with coefficients in ?_b(d(0, R^?)). We show that, if d ≥ 2m + 1, this equation has no solution in ?_u(d(0, R^?)).Next, we examine solutions of the above equation when F(X) is apolynomial with constant coefficients and show that it has no unbounded analytic functions in d(0,R⁻). Further, we list the only cases when the equation may eventually admit solutions in ?_u(d(0, R^?)). Particularly, the elliptic equation may not.     

<Emphasis Type="Bold">K</Emphasis><Subscript>0</Subscript> of Semiartinian Von Neumann Regular Rings. Direct Finiteness Versus Unit-Regularity

If R is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) R is unit-regular, (2) every factor ring of R is directly finite, (3) the abelian group K _O(R) is free and admits a basis which is in a canonical one to one correspondence with a set of representatives of simple right R-modules. For the class of semiartinian and unit-regular rings the canonical partial order of K _O(R) is investigated. Starting from any partially ordered set I, a special dimension group G(I) is built and a large class of semiartinian and unit-regular rings is shown to have the corresponding K _O(R) order isomorphic to G(P r i m _R ), where P r i m _R is the primitive spectrum of R. Conversely, if I is an artinian partially ordered set having a finite cofinal subset, it is proved that the dimension group G(I) is realizable as K _O(R) for a suitable semiartinian and unit-regular ring R.     

Irreducibility of associated matrices

For an n by n matrix A, let K(A) be the associated matrix corresponding to a permutation group (of degree m) and one of its characters. Let D_r(A) be the coefficient of x^m?r in K(A+xI). If A is reducible, then D_r(A) is reducible. If A is irreducible and the character is identically one, then D₁(A) is irreducible. If A is row stochastic and the character is identically one, then D_r(A) is essentially row stochastic. Finally, the results motivate the definition of group induced diagraphs.     

Complementation and decompositions in some weakly Lindelöf Banach spaces

Let Γ denote an uncountable set. We consider the questions if a Banach space X of the form C(K) of a given class (1) has a complemented copy of c₀(Γ) or (2) for every c₀(Γ)⊆X has a complemented c₀(E) for an uncountable E⊆Γ or (3) has a decomposition X=A⊕B where both A and B are nonseparable. The results concern a superclass of the class of nonmetrizable Eberlein compacts, namely Ks such that C(K) is Lindelöf in the weak topology and we restrict our attention to Ks scattered of countable height. We show that the answers to all these questions for these C(K)s depend on additional combinatorial axioms which are independent of ZFC ± CH. If we assume the P-ideal dichotomy, for every c₀(Γ)⊆C(K) there is a complemented c₀(E) for an uncountable E⊆Γ, which yields the positive answer to the remaining questions. If we assume ♣, then we construct a nonseparable weakly Lindelöf C(K) for K of height ω+1 where every operator is of the form cI+S for c∈R and S with separable range and conclude from this that there are no decompositions as above which yields the negative answer to all the above questions. Since, in the case of a scattered compact K, the weak topology on C(K) and the pointwise convergence topology coincide on bounded sets, and so the Lindelöf properties of these two topologies are equivalent, many results concern also the space Cp(K).     

Isomorphisms of Certain Locally Nilpotent Finitary Groups and Associated Rings

For any chain Γ the ring NT(Γ,K) of all finitary Γ-matrices ‖a _ij ‖ _i,jεΓ over an associative ring K with zeros on and above the main diagonal is locally nilpotent and hence radical. If R′=NT(Γ′,K′),R=NT(Γ,K) and either |Γ|<∞ or K is a ring with no zero-divisors, then isomorphisms between rings R and R′, their adjoint groups and associated Lie rings are described.     

Algebraic properties of codimension series of PI-algebras

Let c _n (R), n = 0, 1, 2, …, be the codimension sequence of the PI-algebra R over a field of characteristic 0 with T-ideal T(R) and let c(R, t) = c ₀(R) + c ₁(R)t + c ₂(R)t ² + … be the codimension series of R (i.e., the generating function of the codimension sequence of R). Let R ₁,R ₂ and R be PI-algebras such that T(R) = T(R1)T(R ₂). We show that if c(R ₁, t) and c(R ₂, t) are rational functions, then c(R, t) is also rational. If c(R ₁, t) is rational and c(R ₂, t) is algebraic, then c(R, t) is also algebraic. The proof is based on the fact that the product of two exponential generating functions behaves as the exponential generating function of the sequence of the degrees of the outer tensor products of two sequences of representations of the symmetric groups S _n .     

Convexity of Torsion Subgroups in K 0 Groups and Dimension Group Properties of K 0 of Pullbacks

Firstly, we characterize the partially ordered K ₀ groups of some rings. Secondly, let R be a ring, we discuss the problem when the pre-order on K ₀(R) is actually a partial order and when Tor(K ₀(R)) is a convex subgroup of K ₀(R). Finally, we examine the transfer of some ordering properties (such as partial order, unperforated, interpolation property) on K ₀ groups of rings to the K ₀ groups of pullbacks. Let R be a pullback of R ₁ and R ₂ over S, under some suitable conditions, we prove that if each K ₀(R _i ) (i = 1, 2) is a dimension group, then so is K ₀(R).     

Ramsey graphs and block designs

Symmetric (ν, κ, λ)-block designs admitting polarity maps are shown to be closely related to certain Ramsey numbers for bipartite graphs. In particular, if there exists a (ν, κ, λ)-difference set in an abelian group of order ν, then the Ramsey number R(K_2,λ+1, K_1,ν?k+1) is either 1 + ν or 2 + ν.     

Rationality problem of GL4 group actions

Let K be any field which may not be algebraically closed, V be a four-dimensional vector space over K, σ∈GL(V) where the order of σ may be finite or infinite, f(T)∈K[T] be the characteristic polynomial of σ. Let α, αβ₁, αβ₂, αβ₃ be the four roots of f(T)=0 in some extension field of K.Theorem 1.BothK(V)^〈σ〉andare rational (=purelytranscendental) overKif at least one of the following conditions is satisfied: (i) charK=2, (ii) f(T) is a reducible or inseparable polynomial inK[T], (iii) not all ofβ₁,β₂,β₃are roots of unity, (iv) iff(T) is separable irreducible, then the Galois group off(T) overKis not isomorphic to the dihedral group of order 8 or the Klein four group.Theorem 2.Suppose that allβ_iare roots of unity andf(T)∈K[T] is separable irreducible. (a) If the Galois group off(T) is isomorphic to the dihedral group of order 8, then bothK(V)^〈σ〉andare not stably rational overK. (b) When the Galois group off(T) is isomorphic to the Klein four group, then a necessary and sufficient condition for rationality ofK(V)^〈σ〉andis provided. (See Theorem 1.5. for details.)     

K2 and K3 of the circle

Let k be $\text{Z}\text{[}\text{1}\text{2}\text{]}$, $\text{Q}$ or $\text{R}$, and set $\text{A =}\text{k[x,y]}\text{(x}{}^2\text{+ y}{}^2\text{? 1)}$. We compute K₂(A) and K₃(A). Our method is to construct a map $\text{? : K}{}_1\text{(k[i])→K}{}_{\mathrm{1\; +\; 1}}\text{(A)}$ and compare this to a localization sequence.We give three applications. We show that ? accounts for the primitive elements in K₂(A), and compare our results to computations of Bloch [1] for group schemes. Secondly, we consider the problem of basepoint independence, and indicate the interplay of geometry upon the K-theory of affine schemes obtained by glueing points of Spec(A). Third, we can iterate the construction to compute the K-theory of the torus ring A ?_kA.