New symplectic 4–manifolds with <Emphasis Type="Italic">b</Emphasis><Subscript>+</Subscript>=1

In 1995 Dusa McDuff and Dietmar Salamon conjectured the existence of symplectic 4–manifolds (X,ω) which satisfy b₊=1, K²=0, K·ω>0, and which fail to be of Lefschetz type. This is equivalent to finding a symplectic, homology T²×S² manifold with nontorsion canonical class and a cohomology ring which is not isomorphic to the cohomology ring of T²×S². They needed such examples to complete a list of possible symplectic 4–manifolds with b₊=1. In that same year Tian-Jun Li and Ai-ko Liu, working from a different point of view, questioned whether there existed symplectic 4–manifolds with b₊=1 with Seiberg- Witten invariants that did not depend on the chamber structure of the moduli space. The purpose of this paper is to construct an infinite number of examples which satisfy both requirements. The author was partially supported by NSF grant DMS-0406021.     

Primitive permutation groups of simple diagonal type

LetG be a finite primitive group such that there is only one minimal normal subgroupM inG, thisM is nonabelian and nonsimple, and a maximal normal subgroup ofM is regular. Further, letH be a point stabilizer inG. ThenH∩M is a (nonabelian simple) common complement inM to all the maximal normal subgroups ofM, and there is a natural identification ofM with a direct powerT ^m of a nonabelian simple groupT in whichH∩M becomes the “diagonal” subgroup ofT ^m: this is the origin of the title. It is proved here that two abstractly isomorphic primitive groups of this type are permutationally isomorphic if (and obviously only if) their point stabilizers are abstractly isomorphic. GivenT ^m, consider first the set of all permutational isomorphism classes of those primitive groups of this type whose minimal normal subgroups are abstractly isomorphic toT ^m. Secondly, form the direct productS _m×OutT of the symmetric group of degreem and the outer automorphism group ofT (so OutT=AutT/InnT), and consider the set of the conjugacy classes of those subgroups inS _m×OutT whose projections inS _m are primitive. The second result of the paper is that there is a bijection between these two sets. The third issue discussed concerns the number of distinct permutational isomorphism classes of groups of this type, which can fall into a single abstract isomorphism class.     

Cantor-Bendixson degrees and convexity in ℝ2

We present an ordinal rank, δ³, which refines the standard classification of non-convexity among closed planar sets. The class of closed planar sets falls into a hierarchy of order type ω₁ + 1 when ordered by δ-rank. The rank δ³ (S) of a setS is defined by means of topological complexity of 3-cliques in the set. A 3-clique in a setS is a subset ofS all of whose unordered 3-tuples fail to have their convex hull inS. Similarly, δⁿ (S) is defined for alln>1. The classification cannot be done using δ², which considers only 2-cliques (known in the literature also as “visually independent subsets”), and in dimension 3 or higher the analogous classification is not valid.     

Mixing of Cartesian squares of positive operators

LetT be a power bounded positive operator inL ₁(X, Σ, m)of a probability space, given by a transition measureP (x, A). The Cartesian squareS is the operator onL ₁ (X × X, Σ × Σ, m × m) induced by the transition measure Q((x, y), A × B)=P(x, A)P(y, B).T iscompletely mixing if ∝u e dm=0 impliesT ⁿ u→0 weakly (where 0≦e ∈L _∞ withT ^* e=e).Theorem. IfT has no fixed points, thenT is completely mixing if and only ifS is completely mixing. Part of this research was done at The Hebrew University of Jerusalem.     

On the convex approximation property and the asymptotic behavior of nonlinear contractions in Banach spaces

We prove that ifC is a bounded closed convex subset of a uniformly convex Banach space,T:C→C is a nonlinear contraction, andS _n =(I+T+…+T ⁿ⁻¹ )/n, then lim _n ‖S _n (x)−TS _n (x)‖=0 uniformly inx inC. T also satisfies an inequality analogous to Zarantonello’s Hilbert space inequality. which permits the study of the structure of the weak ω-limit set of an orbit. These results are valid forB-convex spaces if some additional condition is imposed on the mapping. Partially supported by NSF Grant MCS-7802305A01.     

The closure of the smallest ideal of an ultrafilter semigroup

Let S be a discrete semigroup, let β S be the Stone-Čech compactification of S, and let T be a closed subsemigroup of β S. We characterize ultrafilters from the smallest ideal K(T) of T and from its closure c ℓ  K(T). We show that, for a large class of closed subsemigroups of β S, c ℓ  K(T) is not an ideal of T. This class includes the subsemigroups 0⁺⊂βℝ _d and ℍ _κ ⊂β(⊕ _κ ℤ₂).     

On F-almost split sequences

Let A be an Artinian algebra and F an additive subbifunctor of Ext,（-, -） having enough projectives and injectives. We prove that the dualizing subvarieties of mod A closed under F-extensions have F-almost split sequences. Let T be an F-cotilting module in mod A and S a cotilting module over F = End（T）. Then Horn（-, T） induces a duality between F-almost split sequences in ⊥FT and almost sl31it sequences in ⊥S, where addrS = Hom∧（f（F）, T）. Let A be an F-Gorenstein algebra, T a strong F-cotilting module and 0→A→B→C→0 and F-almost split sequence in ⊥FT.If the injective dimension of S as a Г-module is equal to d, then C≌（ΩCM^-dΩ^dDTrA^＊）^＊,where（-）^＊=Hom（g,T）.In addition, if the F-injective dimension of A is equal to d, then A≌ΩMF^-dDΩFop^-d TrC≌ΩCMF^-d ≌F^d DTrC.     

Existence d’un generateur suivant une sous-suite de densite superieure nulle

Ergodic theory: for every dynamical system (X,A,T, μ), totally ergodic and of finite entropy, there exist a sequenceS of integers, of upper density zero, and a partitionQ ofX, such that V _i∈S T ⁻ⁱ Q is the whole σ-algebraA. Furthermore, there is a “universal” sequenceS ⁰ for which this property is true if we restrict ourselves to the class of strongly mixing systems.      

On AdS/CFT correspondence of EYM fields

In the compactized Minkowski space, which is equivalent to the conformal spaceM ₄, we introduced a Lorentz metric d σ² and a Yang-Mills field θ. Later, we proved that dσ² and θ together satisfy the EYM (Einstein-Yang-Mills) equation. In this paper, it is proved that θ onM ₄ (which is the boundary of the anti-de-Sitter space AdS₅) can be extended to be a Yang-Mills field [^(q)]\hat \theta on AdS₅ such that Hua’s metric ds² on AdS₅, together with [^(q)]\hat \theta satisfies the EYM equation on AdS₅.     

On dualL 1-spaces and injective bidual Banach spaces

In a previous paper (Israel J. Math.28 (1977), 313–324), it was shown that for a certain class of cardinals τ,l ¹(τ) embeds in a Banach spaceX if and only ifL ¹([0, 1]^τ) embeds inX ^*. An extension (to a rather wider class of cardinals) of the basic lemma of that paper is here applied so as to yield an affirmative answer to a question posed by Rosenthal concerning dual ℒ₁-spaces. It is shown that ifZ ^* is a dual Banach space, isomorphic to a complemented subspace of anL ¹-space, and κ is the density character ofZ ^*, thenl ¹(κ) embeds inZ ^*. A corollary of this result is that every injective bidual Banach space is isomorphic tol ^∞(κ) for some κ. The second part of this article is devoted to an example, constructed using the continuum hypothesis, of a compact spaceS which carries a homogeneous measure of type ω₁, but which is such thatl ¹(ω₁) does not embed in ℰ(S). This shows that the main theorem of the already mentioned paper is not valid in the case τ = ω₁. The dual space ℰ(S)^* is isometric to , and is a member of a new isomorphism class of dualL ¹-spaces.     

Special relativity and theory of gravity via maximum symmetry and localization

Like Euclid,Riemann and Lobachevski geometries are on an almost equal footing,based on the principle of relativity of maximum symmetry proposed by Professor Lu Qikeng and the postulate on invariant universal constants c and R,the de Sitter/anti-de Sitter(dS/AdS)special relativity on dS/AdS-space with radius R can be set up on an almost equal footing with Einstein's special relativity on the Minkowski-space in the case of R→∞. Thus the dS-space is coin-like:a law of inertia in Beltrami atlas with Beltrami time simultaneity for the principle of relativity on one side,and the proper-time simultaneity and a Robertson-Walker-like dS-space with entropy and an accelerated expanding S~3 fitting the cosmological principle on another side. If our universe is asymptotic to the Robertson-Walker-like dS-space of R(?)(3/Λ)~(1/2),it should be slightly closed in O(A)with entropy bound S(?)3πc~3k_B/ΛGh.Contrarily,via its asymptotic behavior, it can fix on Beltrami inertial frames without‘an argument in a circle’and acts as the origin of inertia. There is a triality of conformal extensions of three kinds of special relativity and their null physics on the projective boundary of a 5-d AdS-space,a null cone modulo projective equivalence[N](?)_p(AdS~5). Thus there should be a dS-space on the boundary of S~5×AdS~5 as a vacuum of supergravity. In the light of Einstein's‘Galilean regions’,gravity should be based on the localized principle of relativity of full maximum symmetry with a gauge-like dynamics.Thus,this may lead to the theory of gravity of corresponding local symmetry.A simple model of dS-gravity characterized by a dimensionless constant g(?)(AGh/3c~3)~(1/2)～10~(-61)shows the features on umbilical manifolds of local dS-invariance. Some gravitational effects out of general relativity may play a role as dark matter. The dark universe and its asymptotic behavior may already indicate that the dS special relativity and dS-gravity be the foundation of large scale physics.     

Weights in the cohomology of toric varieties

We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain results concerning Koszul duality: nonequivariant intersection cohomology is equal to the cohomology of the Koszul complexIH _T ^* (X)⊗H*(T). We also describe the weight filtration inIH ^*(X). Supported by KBN 2P03A 00218 grant. I thank, Institute of Mathematics, Polish Academy of Science for hospitality.     

A nilpotent Roth theorem

Let T and S be invertible measure preserving transformations of a probability measure space (X, ℬ, μ). We prove that if the group generated by T and S is nilpotent, then exists in L ²-norm for any u, v∈L ^∞(X, ℬ, μ). We also show that for A∈ℬ with μ(A)>0 one has . By the way of contrast, we bring examples showing that if measure preserving transformations T, S generate a solvable group, then (i) the above limits do not have to exist; (ii) the double recurrence property fails, that is, for some A∈ℬ, μ(A)>0, one may have μ(A∩T _-n A∩S ^{- n} A)=0 for all n∈ℕ. Finally, we show that when T and S generate a nilpotent group of class ≤c, in L ²(X) for all u, v∈L ^∞(X) if and only if T×S is ergodic on X×X and the group generated by T ^-1 S, T ^-2 S ²,..., T ^-c S ^c acts ergodically on X. Oblatum 19-V-2000 & 5-VII-2001?Published online: 12 October 2001     

The mixed boundary value problem for degenerate quasilinear parabolic equations

Let Ω⊂R ⁿ (n≥2) be a bounded open set;Q _T =Ω×[0,T],S _T =δΩ×[0,T],S ₁,S ₂ be the partial boundaries of Ω andS ₁∪S ₂=δΩ,S ₁∩S ₂=Φ. We denote Γ_1.T =S ₁×[0,T], Γ_2.T =S ₂×[0,T], and consider the problem

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

Strong approximation ofGSBV functions by piecewise smooth functions

Let Ω be an open and bounded subset ofR ⁿ with locally Lipschitz boundary. We prove that the functionsv∈SBV(Ω,R ^m ) whose jump setS _vis essentially closed and polyhedral and which are of classW ^{k, ∞} (S _v,R ^m) for every integerk are strongly dense inGSBV ^p(Ω,R ^m ), in the sense that every functionu inGSBV ^p(Ω,R ^m ) is approximated inL ^p(Ω,R ^m ) by a sequence of functions {v _k{_j∈N with the described regularity such that the approximate gradients ∇v _jconverge inL ^p(Ω,R ^nm ) to the approximate gradient ∇u and the (n−1)-dimensional measure of the jump setsS _{v j} converges to the (n−1)-dimensional measure ofS _u. The structure ofS _v can be further improved in casep≤2.

---

Sunto Sia Ω un aperto limitato diR ⁿ con frontiera localmente Lipschitziana. In questo lavoro si dimostra che le funzioniv∈SBV(Ω,R ^m ) con insieme di saltoS _v essenzialmente chiuso e poliedrale che sono di classeW ^{k, ∞} (S _v,R ^m ) per ogni interok sono fortemente dense inGSBV ^p(Ω,R ^m ), nel senso che ogni funzioneu∈GSBV ^p(Ω,R ^m ) è approssimata inL ^p(Ω,R ^m ) da una successione di funzioni {v _j}_j∈N con la regolaritá descritta tali che i gradienti approssimati ∇v _jconvergono inL ^p(Ω,R ^nm ) al gradiente approssimato ∇u e la misura (n−1)-dimensionale degli insiemi di saltoS _{v j}converge alla misura (n−1)-dimensionale diS _u. La struttura diS _vpuó essere migliorata nel caso in cuip≤2.

     

Laminar currents in ℙ<Superscript>2</Superscript>

 In this paper we study laminar currents in ℙ². Given a sequence of irreducible algebraic curves (C _n ) converging in the sense of currents to T, we find geometric conditions on the curves ensuring that the limit current T is laminar. This criterion is then applied to meromorphic dynamical systems in ℙ², and laminarity of the dynamical ``Green' current is obtained for a wide class of meromorphic self maps of ℙ², as well as for all bimeromorphic maps of projective surfaces. Received: 24 September 2001 / Published online: 10 February 2003 Mathematics Subject Classification (2000): 32U40, 37Fxx, 32H50     

Topological realizations of families of ergodic automorphisms, multitowers and orbit equivalence

We study minimal topological realizations of families of ergodic measure preserving automorphisms (e.m.p.a.'s). Our main result is the following theorem. Theorem: Let {T_p:p∈I} be an arbitrary finite or countable collection of e.m.p.a.'s on nonatomic Lebesgue probability spaces (Y _p v _p ). Let S be a Cantor minimal system such that the cardinality of the set ε _S of all ergodic S-invariant Borel probability measures is at least the cardinality of I. Then for any collection {μ _p :pεI} of distinct measures from ε _S there is a Cantor minimal system S′ in the topological orbit equivalence class of S such that, as a measure preserving system, (S ¹,μ _p ) is isomorphic to T_p for every p∈I. Moreover, S′ can be chosen strongly orbit equivalent to S if and only if all finite topological factors of S are measure-theoretic factors of T_p for all p∈I. This result shows, in particular, that there are no restrictions at all for the topological realizations of countable families of e.m.p.a.'s in Cantor minimal systems. Namely, for any finite or countable collection {T ₁,T₂,…} of e.m.p.a.'s of nonatomic Lebesgue probability spaces, there is a Cantor minimal systemS, whose collection {μ1,μ2…} of ergodic Borel probability measures is in one-to-one correspondence with {T ₁,T₂,…}, and such that (S,μ _i ) is isomorphic toT _i for alli. Furthermore, since realizations are taking place within orbit equivalence classes of a given Cantor minimal system, our results generalize the strong orbit realization theorem and the orbit realization theorem of [18]. Those theorems are now special cases of our result where the collections {T _p}, {T _p }{μ _p } consist of just one element each. Research of I.K. was supported by NSF grant DMS 0140068.     

Theories of linear order

LetT be a complete theory of linear order; the language ofT may contain a finite or a countable set of unary predicates. We prove the following results. (i) The number of nonisomorphic countable models ofT is either finite or 2^ω. (ii) If the language ofT is finite then the number of nonisomorphic countable models ofT is either 1 or 2^ω. (iii) IfS ₁(T) is countable then so isS _n(T) for everyn. (iv) In caseS ₁(T) is countable we find a relation between the Cantor Bendixon rank ofS ₁(T) and the Cantor Bendixon rank ofS _n(T). (v) We define a class of modelsL, and show thatS ₁(T) is finite iff the models ofT belong toL. We conclude that ifS ₁(T) is finite thenT is finitely axiomatizable. (vi) We prove some theorems concerning the existence and the structure of saturated models. Most of the results in this paper appeared in the author’s Master of Science thesis which was prepared at the Hebrew University under the supervision of Professor H. Gaifman.     

New Algorithm for Ordered Tree-to-Tree Correction Problem

The ordered tree-to-tree correction problem is to compute the minimum edit cost of transforming one ordered tree to another one. This paper presents a new algorithm for this problem. Given two ordered trees S and T, our algorithm runs in O(|S| |T| + min { ²_S|T| + ^2.5_{S T}, ²_T|S| + ^2.5_{T S}) time, where _S denotes the number of leaves of S and _S denotes the depth of S. The previous best algorithms for this problem run in O(|S| |T| min { _S, _S} min { _T, _T}) time (K. Zhang and D. Shasha, SIAM J. Comput.18, No. 6 (1989), 1245–1262) and in O(min {|S|²|T| log₂ |T|, |T|²|S| log₂ |S|}) time (P. N. Klein, in “Algorithms—ESA'98, 6th Annual European Symposium” (G. Bilardi, G. F. Italiano, A. Pietracaprina, and G. Pucci, Eds.), Lecture Notes in Computer Science, Vol. 1461, pp. 91–102, Springer-Verlag, Berlin/New York, 1998). As a comparison, our algorithm is asymptotically faster for certain kind of trees.