Strong NMV-algebras, commutative basic algebras and naBL-algebras

The aim of the paper is to investigate the relationship among NMV-algebras, commutative basic algebras and naBL-algebras (i.e., non-associative BL-algebras). First, we introduce the notion of strong NMV-algebra and prove that

1. a strong NMV-algebra is a residuated l-groupoid (i.e., a bounded integral commutative residuated lattice-ordered groupoid)
2. a residuated l-groupoid is commutative basic algebra if and only if it is a strong NMV-algebra.

Secondly, we introduce the notion of NMV-filter and prove that a residuated l-groupoid is a strong NMV-algebra (commutative basic algebra) if and only if its every filter is an NMV-filter. Finally, we introduce the notion of weak naBL-algebra, and show that any strong NMV-algebra (commutative basic algebra) is weak naBL-algebra and give some counterexamples.     

On an Ulam's problem

The existence and the uniqueness (with respect to a filtration-equivalence) of a vector flowX on ? ⁿ ,n≥3, such that:

1. X has not any stationary points on ? ⁿ ;
2. all orbits ofX are bounded;
3. there exists a filtration forX are proved in the present note.

     

On HCO spaces. An uncountable compactT 2 space,different from ℵ1+1, which is homeomorphic to each of its uncountable closed subspaces,which is homeomorphic to each of its uncountable closed subspaces

LetX be an Hausdorff space. We say thatX is a CO space, ifX is compact and every closed subspace ofX is homeomorphic to a clopen subspace ofX, andX is a hereditarily CO space (HCO space), if every closed subspace is a CO space. It is well-known that every well-ordered chain with a last element, endowed with the interval topology, is an HCO space, and every HCO space is scattered. In this paper, we show the following theorems: Theorem (R. Bonnet):

1. Every HCO space which is a continuous image of a compact totally disconnected interval space is homeomorphic to β+1 for some ordinal β.
2. Every HCO space of countable Cantor-Bendixson rank is homeomorphic to α+1 for some countable ordinal α.

Theorem (S. Shelah):Assume \(\diamondsuit _{\aleph _1 } \) . Then there is a HCO compact space X of Cantor-Bendixson rankω ₁} and of cardinality ?₁ such that:

1. X has only countably many isolated points,
2. Every closed subset of X is countable or co-countable,
3. Every countable closed subspace of X is homeomorphic to a clopen subspace, and every uncountable closed subspace of X is homeomorphic to X, and
4. X is retractive.

In particularX is a thin-tall compact space of countable spread, and is not a continuous image of a compact totally disconnected interval space. The question whether it is consistent with ZFC, that every HCO space is homeomorphic to an ordinal, is open.     

Compactness and the axiom of choice

In the absence of the axiom of choice four versions of compactness (A-, B-, C-, and D-compactness) are investigated. Typical results:

1. C-compact spaces form the epireflective hull in Haus of A-compact completely regular spaces.
2. Equivalent are:
3. the axiom of choice,
4. A-compactness = D-compactness,
5. B-compactness = D-compactness,
6. C-compactness = D-compactness and complete regularity,
7. products of spaces with finite topologies are A-compact,
8. products of A-compact spaces are A-compact,
9. products of D-compact spaces are D-compact,
10. powers X ^k of 2-point discrete spaces are D-compact,
11. finite products of D-compact spaces are D-compact,
12. finite coproducts of D-compact spaces are D-compact,
13. D-compact Hausdorff spaces form an epireflective subcategory of Haus,
14. spaces with finite topologies are D-compact.

1. Equivalent are:
2. the Boolean prime ideal theorem,
3. A-compactness = B-compactness,
4. A-compactness and complete regularity = C-compactness,
5. products of spaces with finite underlying sets are A-compact,
6. products of A-compact Hausdorff spaces are A-compact,
7. powers X ^k of 2-point discrete spaces are A-compact,
8. A-compact Hausdorff spaces form an epireflective subcategory of Haus.

1. Equivalent are:
2. either the axiom of choice holds or every ultrafilter is fixed,
3. products of B-compact spaces are B-compact.

1. Equivalent are:
2. Dedekind-finite sets are finite,
3. every set carries some D-compact Hausdorff topology,
4. every T ₁-space has a T ₁-D-compactification,
5. Alexandroff-compactifications of discrete spaces and D-compact.

     

Coherence classes of ideals of normal lattices with applications to C(X)

Given a topological space X, Jenkins and McKnight have shown how ideals of the ring C(X) are partitioned into equivalence classes — called coherence classes — defined by declaring ideals to be equivalent if their pure parts are identical. In this paper we consider a similar partitioning of the lattice of ideals of a normal bounded distributive lattice. We then apply results obtained herein to augment some of those of Jenkins and McKnight. In particular, for Tychonoff spaces, new results include the following:

1. all members of any coherence class have the same annihilator
2. every ideal is alone in its coherence class if and only if the space is a P-space.

     

über die Striktionslinien von einparametrigen Scharen linearer Räume

A generalisation of a ruled surface in n-dimensional euclidean space may be generated by euclidean motion of a s-plane A_s. For this one-parametric family {A_s} the curve of striction is defined and the following theorems are proved:

1. The generators A_s are parallel along the curve of striction, i.e. the multivectors representing A_s form a parallel vector field along the curve of striction.
2. If the curve of striction is geodesic on {A_s}, it is also an isogonal trajectory of the family of generators {A_s}.

     

Bounding the vertex cover number of a hypergraph

For a hypergraphH, we denote by

1. τ(H) the minimumk such that some set ofk vertices meets all the edges,
2. ν(H) the maximumk such that somek edges are pairwise disjoint, and
3. λ(H) the maximumk≥2 such that the incidence matrix ofH has as a submatrix the transpose of the incidence matrix of the complete graphK _k .

We show that τ(H) is bounded above by a function of ν(H) and λ(H), and indeed that if λ(H) is bounded by a constant then τ(H) is at most a polynomial function of ν(H).     

Threefolds in ℙ5 with a 3-dimensional family of plane curveswith a 3-dimensional family of plane curves

A classification theorem is given of smooth threefolds of ?⁵ covered by a family of dimension at least three of plane integral curves of degreed≧2. It is shown that for such a threefoldX there are two possibilities:

1. X is any threefold contained in a hyperquadric;
2. d≦3 andX is either the Bordiga or the Palatini scroll.

     

A note on pseudocompactifications

There exists a countable spaceV _ω such that:

1. V _ω has a single non-isolated point,
2. V _ω has no pseudocompactificationX witht(X)=ω.

     

Multidimensional symmetric stable processes

This paper surveys recent remarkable progress in the study of potential theory for symmetric stable processes. It also contains new results on the two-sided estimates for Green functions, Poisson kernels and Martin kernels of discontinuous symmetric α-stable process in boundedC ^1,1 open sets. The new results give explicit information on how the comparing constants depend on parameter α and consequently recover the Green function and Poisson kernel estimates for Brownian motion by passing α ↑ 2. In addition to these new estimates, this paper surveys recent progress in the study of notions of harmonicity, integral representation of harmonic functions, boundary Harnack inequality, conditional gauge and intrinsic ultracontractivity for symmetric stable processes. Here is a table of contents.

1. Introduction
2. Green function and Poisson kernel estimates

1. Estimates on balls
2. Estimates on boundedC ^1,1 domains
3. Estimates on boundedC ^1,1 open sets

1. Harmonic functions and integral representation
2. Two notions of harmonicity
3. Martin kernel and Martin boundary
4. Integral representation and uniqueness
5. Boundary Harnack principle
6. Conditional process and its limiting behavior
7. Conditional gauge and intrinsic ultracontractivity

     

Characterization of joint ergodicity for non-commuting transformations

The study of jointly ergodic transformations, begun in [2] and [1], is continued. The main result is that, ifT ₁,T ₂, …,T _s are arbitrary measure preserving transformations of a probability space (X, ?,μ), then , if and only if the following conditions are satisfied:

1. T ₁×T ₂×…×T _s is ergodic.
2. .

     

On Gibson functions with connected graphs

A function f: X → Y between topological spaces is said to be a weakly Gibson function if $f(\bar G) \subseteq \overline {f(G)} $ for any open connected set G ? X. We call a function f: X → Y segmentary connected if X is topological vector space and f([a, b]) is connected for every segment [a, b] ? X. We show that if X is a hereditarily Baire space, Y is a metric space, f: X → Y is a Baire-one function and one of the following conditions holds:

1. X is a connected and locally connected space and f is a weakly Gibson function
2. X is an arcwise connected space and f is a Darboux function
3. X is a topological vector space and f is a segmentary connected function, then f has a connected graph.

     

Some non-existence results on divisible difference sets

In this paper, we shall prove several non-existence results for divisible difference sets, using three approaches:

1. character sum arguments similar to the work of Turyn [25] for ordinary difference sets,
2. involution arguments and
3. multipliers in conjunction with results on ordinary difference sets.

Among other results, we show that an abelian affine difference set of odd orders (s not a perfect square) inG can exist only if the Sylow 2-subgroup ofG is cyclic. We also obtain a non-existence result for non-cyclic (n, n, n, 1) relative difference sets of odd ordern.     

Nonabelian Jacobian of smooth projective surfaces-a survey

The nonabelian Jacobian J(X;L,d) of a smooth projective surface X is inspired by the classical theory of Jacobian of curves.It is built as a natural scheme interpolating between the Hilbert scheme X [d] of subschemes of length d of X and the stack M X(2,L,d) of torsion free sheaves of rank 2 on X having the determinant OX(L) and the second Chern class(= number) d.It relates to such influential ideas as variations of Hodge structures,period maps,nonabelian Hodge theory,Homological mirror symmetry,perverse sheaves,geometric Langlands program.These relations manifest themselves by the appearance of the following structures on J(X;L,d):1) a sheaf of reductive Lie algebras;2)(singular) Fano toric varieties whose hyperplane sections are(singular) Calabi-Yau varieties;3) trivalent graphs.This is an expository paper giving an account of most of the main properties of J(X;L,d) uncovered in Reider 2006 and ArXiv:1103.4794v1.     

A Note on Comaximal Graph of Non-commutative Rings

Let R be a ring with unity. The graph Γ(R) is a graph with vertices as elements of R, where two distinct vertices a and b are adjacent if and only if Ra?+?Rb?=?R. Let Γ₂(R) be the subgraph of Γ(R) induced by the non-unit elements of R. Let R be a commutative ring with unity and let J(R) denote the Jacobson radical of R. If R is not a local ring, then it was proved that:

1. If $\Gamma_2(R)\backslash J(R)$ is a complete n-partite graph, then n?=?2.
2. If there exists a vertex of $\Gamma_2(R)\backslash J(R)$ which is adjacent to every vertex, then R????₂×F, where F is a field.

In this note we generalize the above results to non-commutative rings and characterize all non-local ring R (not necessarily commutative) whose $\Gamma_2(R)\backslash J(R)$ is a complete n-partite graph.     

The subvariety of commutative residuated lattices represented by twist-products

Given an integral commutative residuated lattice L, the product L × L can be endowed with the structure of a commutative residuated lattice with involution that we call a twist-product. In the present paper, we study the subvariety ${\mathbb{K}}$ of commutative residuated lattices that can be represented by twist-products. We give an equational characterization of ${\mathbb{K}}$ , a categorical interpretation of the relation among the algebraic categories of commutative integral residuated lattices and the elements in ${\mathbb{K}}$ , and we analyze the subvariety of representable algebras in ${\mathbb{K}}$ . Finally, we consider some specific class of bounded integral commutative residuated lattices ${\mathbb{G}}$ , and for each fixed element ${{\bf L} \in \mathbb{G}}$ , we characterize the subalgebras of the twist-product whose negative cone is L in terms of some lattice filters of L, generalizing a result by Odintsov for generalized Heyting algebras.     

On two conjectures in the fixed membrane eigenvalue problem

In this paper we give conditions sufficient to insure that the following two results hold for eigenfunctions of the fixed membrane problem defined over a bounded region of the plane:

1. The first eigenfunction has only one interior critical point.
2. The second eigenfunction has no closed interior nodal curve.

     

Sur les Suites Presque Echangeables DansL q , 1≦q<2

Let 1≦q<p<2. We construct a bounded sequence (X _n ) _n∈N inL _q which defines a typeσ onL _q , such that:

1. (X _n ) _n∈N is equivalent to the unit vector basis ofl _p .
2. The l-conic classK ₁(σ) generated byσ is not relatively compact for the topology of uniform convergence on bounded sets ofL _q .
3. (X _n ) _n∈N has no almost exchangeable subsequence after any change of density.

This sequence does not verify the two natural conditions inL _q -spaces that ensure the existence of an almost symmetric subsequence.     

Homogeneity in infinite permutation groups

It is shown that ifG is a permutation group on an infinite setX, andG is (k?1)-transitive but notk-transitive (wherek ≥ 5), then the following hold:

1. G is not (k + 3)-homogeneous.
2. IfG is (k + 2)-homogeneous, then the group induced byG on ak-subset ofX is the alternating groupA _k .

     

Ramanujan graphs

A large family of explicitk-regular Cayley graphsX is presented. These graphs satisfy a number of extremal combinatorial properties.

1. For eigenvaluesλ ofX eitherλ=±k or ¦λ¦≦2 √k?1. This property is optimal and leads to the best known explicit expander graphs.
2. The girth ofX is asymptotically ≧4/3 log _k?1 ¦X¦ which gives larger girth than was previously known by explicit or non-explicit constructions.