Hereditary order convexity inL(X,Y)

LetX be a topological vector space,Y an ordered topological vector space andL(X,Y) the space of all linear and continuous mappings fromX intoY. The hereditary order-convex cover [K] ^h of a subsetK ofL(X,Y) is defined by [K] ^h ={A∈L(X,Y):Ax∈[Kx] for allx∈X}, where[Kx] is the order-convex ofKx. In this paper we study the hereditary order-convex cover of a subset ofL(X,Y). We show how this cover can be constructed in specific cases and investigate its structural and topological properties. Our results extend to the spaceL(X,Y) some of the known properties of the convex hull of subsets ofX ^*.     

A non-archimedean Dugundji extension theorem

We prove a non-archimedean Dugundji extension theorem for the spaces C*(X, C* (X, K) of continuous bounded functions on an ultranormal space X with values in a non-archimedean non-trivially valued complete field K. Assuming that K is discretely valued and Y is a closed subspace of X we show that there exists an isometric linear extender T: C* (Y, K) → K* (X, K) if X is collectionwise normal or Y is Lindelöf or K is separable. We provide also a self contained proof of the known fact that any metrizable compact subspace Y of an ultraregular space X is a retract of X.     

Expansion of open sets and decomposition of continuous mappings

The notion of expansionA of open sets is introduced. ThenA-expansion continuous mappingf:X→Y is defined. The main result of this note is that a mappingf is continuous if and only if it is bothA-expansion continuous andB-expansion continuous, whereA-expansion,B-expansion are two mutually dual expansions.     

Isometric factorization of weakly compact operators and the approximation property

Using an isometric version of the Davis, Figiel, Johnson, and Pe?czyński factorization of weakly compact operators, we prove that a Banach spaceX has the approximation property if and only if, for every Banach spaceY, the finite rank operators of norm ≤1 are dense in the unit ball ofW(Y,X), the space of weakly compact operators fromY toX, in the strong operator topology. We also show that, for every finite dimensional subspaceF ofW(Y,X), there are a reflexive spaceZ, a norm one operatorJ:Y→Z, and an isometry Φ :F →W(Y,X) which preserves finite rank and compact operators so thatT=Φ(T) oJ for allT∈F. This enables us to prove thatX has the approximation property if and only if the finite rank operators form an ideal inW(Y,X) for all Banach spacesY.     

Simple algebras of Weyl type

Over a fieldF of arbitrary characteristic, we define the associative and the Lie algebras of Weyl type on the same vector spaceA[D] =A?F[D] from any pair of a commutative associative algebra,A with an identity element and the polynomial algebraF[D] of a commutative derivation subalgebraD ofA We prove thatA[D], as a Lie algebra (modulo its center) or as an associative algebra, is simple if and only ifA isD-simple andA[D] acts faithfully onA. Thus we obtain a lot of simple algebras.     

Index formulae for subspaces of Kreîn spaces

For a subspaceS of a Kreîn spaceK and an arbitrary fundamental decompositionK=K ^?[+]K ⁺ ofK, we prove the index formula $$\kappa ^ - \left( \mathcal{S} \right) + \dim \left( {\mathcal{S}^ \bot \cap \mathcal{K}^ + } \right) = \kappa ^ + \left( {\mathcal{S}^ \bot } \right) + \dim \left( {\mathcal{S} \cap \mathcal{K}^ - } \right)$$ where κ^±(S) stands for the positive/negative signature ofS. The difference dim(S∩K ^?)?dim(S ^⊥∩K ⁺), provided it is well defined, is called the index ofS. The formula turns out to unify other known index formulac for operators or subspaces in a Kreîn space.     

Narrowness implies uniformity

This paper is about varietiesV of universal algebras which satisfy the following numerical condition on the spectrum: there are only finitely many prime integersp such thatp is a divisor of the cardinality of some finite algebra inV. Such varieties are callednarrow. The variety (or equational class) generated by a classK of similar algebras is denoted by V(K)=HSPK. We define Pr (K) as the set of prime integers which divide the cardinality of a (some) finite member ofK. We callK narrow if Pr (K) is finite. The key result proved here states that for any finite setK of finite algebras of the same type, the following are equivalent: (1) SPK is a narrow class. (2) V(K) has uniform congruence relations. (3) SK has uniform congruences and (3) SK has permuting congruences. (4) Pr (V(K))= Pr(SK). A varietyV is calleddirectly representable if there is a finite setK of finite algebras such thatV= V(K) and such that all finite algebras inV belong to PK. An equivalent definition states thatV is finitely generated and, up to isomorphism,V has only finitely many finite directly indecomposable algebras. Directly representable varieties are narrow and hence congruence modular. The machinery of modular commutators is applied in this paper to derive the following results for any directly representable varietyV. Each finite, directly indecomposable algebra inV is either simple or abelian.V satisfies the commutator identity [x,y]=x·y·[1,1] holding for congruencesx andy over any member ofV. The problem of characterizing finite algebras which generate directly representable varieties is reduced to a problem of ring theory on which there exists an extensive literature: to characterize those finite ringsR with identity element for which the variety of all unitary leftR-modules is directly representable. (In the terminology of [7], the condition is thatR has finite representation type.) We show that the directly representable varieties of groups are precisely the finitely generated abelian varieties, and that a finite, subdirectly irreducible, ring generates a directly representable variety iff the ring is a field or a zero ring.     

Eine explizite Einbettung für Möbius-Geometrien endlicher Dimension

A new and explicit embedding is given for geometries ?(R,L) of Möbius type (i.e.L any extension field ofR) and finite dimension n = (L:R). The image of a chain is an algebraic curve. Till now explicit embeddings of Möbius geometries have been known only in the case n = 2.     

A note on compact Kähler manifolds with nef tangent bundles

In this paper, we study the compact Kähler manifolds whose tangent bundles are numerically effective and whose anti-Kodaira dimensions are equal to one. LetX be a compact Kähler manifold with nef tangent bundle and semiample anti-canonical bundle. We prove that κ(?K _X )=1 if and only if there exists a finite étale coverY→X such thatY??¹×A, whereA is a complex torus. As a consequence, we are able to improve upon a result of T. Fujiwara [3, 4].     

An efficient compact quadratic convex reformulation for general integer quadratic programs

We address the exact solution of general integer quadratic programs with linear constraints. These programs constitute a particular case of mixed-integer quadratic programs for which we introduce in Billionnet et al. (Math. Program., 2010) a general solution method based on quadratic convex reformulation, that we called MIQCR. This reformulation consists in designing an equivalent quadratic program with a convex objective function. The problem reformulated by MIQCR has a relatively important size that penalizes its solution time. In this paper, we propose a convex reformulation less general than MIQCR because it is limited to the general integer case, but that has a significantly smaller size. We call this approach Compact Quadratic Convex Reformulation (CQCR). We evaluate CQCR from the computational point of view. We perform our experiments on instances of general integer quadratic programs with one equality constraint. We show that CQCR is much faster than MIQCR and than the general non-linear solver BARON (Sahinidis and Tawarmalani, User??s manual, 2010) to solve these instances. Then, we consider the particular class of binary quadratic programs. We compare MIQCR and CQCR on instances of the Constrained Task Assignment Problem. These experiments show that CQCR can solve instances that MIQCR and other existing methods fail to solve.     

On cleavability overT i,ρ spaces

Si danno risposte, per le principali classiP di spazi topologici separati, al seguente problema: “SiaX uno spazio topologico spezzabile sulla classeP. È vero o no cheX∈P?”. In particolare si studia il problema per le classiP of spaziT _i,ρ (i=2,3,4,5), sotto particolari tipi di spezzabilità.     

Sulle foliazioni misurate arazionali parte II

In this sequel to our previous paper [2] we show that on a surfacesS of genusg>1, the arational measured foliations are generic inM F. We also show that ergodic measured foliations are necessarily non-rational (i.e. without closed leaves).     

On σ-algebras related to the measurability of compositions

Given a measurable space (T, F), a set X, and a map ?: T → X, the σ-algebras N _Ф = ?_?∈Φ N _?, and M _Φ = ?_?∈Φ N _?, where G _?(t) = (t, ?(t)) and Φ ? X ^T , are considered. These σ-algebras are used to characterize the (F, B, ?)-measurability of the compositions g ○ ? and f о G _?, where g: X → Y, f: T × X → Y, and (Y, ?) is a measurable space. Their elements are described without using the operations ? ^?1 and G _? ^?1 .     

Points of finite order on elliptic curves with complex multiplication

Let E be an elliptic curve defined overQ. The group ofQ- rational points of finite order on E is a finite group T(E). In this article T(E) is computed for all elliptic curves defined overQ admitting complex multiplication. The only possible values for the order t of T(E) are 1, 2, 3, 4, or 6 in these cases. A standard form for an affine equation describing an elliptic curve with a given j-invariant is obtained. This is used to show that if j ≠ 0, 2⁶ 3³, then the number ofQ- rational points of order 2 on E depends only on j. The results are summarized in the accompanying table.     

On information functions and their polars

LetP be a closed convex cone. Information functions, i.e., nonnegative functions onP which are positively homogeneous and concave, are shown to be in a one-to-one correspondence with certain convex subsets ofP. Information functions are always isotone with respect to the vector ordering induced byP, and this order-preserving property distinguishes them from their convex analogues, gauge functions. A polarity concept for information functions is proposed which slightly deviates from the well-known polarity correspondence for gauge functions. Finally, those functions are characterized which differ from information functions only by some nondecreasing concave transformation.     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Two results for monocompact measures

For every finite measure space (Ω,A, P) whereA is K₁-generated we prove the equivalence of compactness and monocompactness for P . Moreover, we prove the existence of a perfect, not monocompaot probability, thus answering an open question in [6]. Let P be a charge on the algebraA andK ?A be a monocompact class. We show that P is o-additive ifK ^S P-approximatesK ^S, the family of finite unions inK , needs not to be monocompact.     

Directed graphs over topological spaces: Some set theoretical aspects

In this paper we shall consider problems of the following type. SupposeG is some set,U is some family of subsests ofG (e.g.G could be the Euclidean plane andU might be the family of all sets of Lebesgue measure zero), andG is any directed graph overG (i.e. any collection of ordered pairs of members ofG) such that for eachg∈G the set {h:<g,h>∈G} belongs to the familyU. How large a setSυG must there exist with the property that (S×S) ∩G=, i.e. such that it is totally disconnected? In many of the cases we shall consider (including the particular example above), the answer will turn out to be independent of the axioms of set theory and will remain so even after adjoining the negation of the continuum hypothesis.