Complex Banach spaces whose duals areL 1-spaces

We prove that for a complex Banach spaceA the following properties are equivalent:

1. A ^* is isometric to anL ₁(μ)-space;
2. every family of 4 balls inA with the weak intersection property has a non-empty intersection;
3. every family of 4 balls inA such that any 3 of them have a non-empty intersection, has a non-empty intersection.

     

On a certain type of commutators of operators

LetH be a separable infinite-dimensional Hilbert space and letC be a normal operator andG a compact operator onH. It is proved that the following four conditions are equivalent.

1. C +G is a commutatorAB-BA with self-adjointA.
2. There exists an infinite orthonormal sequencee _j inH such that |Σ _j ⁿ =1 (Ce _j, e_j)| is bounded.
3. C is not of the formC ₁ ⊕C ₂ whereC ₁ has finite dimensional domain andC ₂ satisfies inf {|(C ₂ x, x)|: ‖x‖=1}>0.
4. 0 is in the convex hull of the set of limit points of spC.

     

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.

     

Flat modules and rings finitely generated as modules over their center

A module is called distributive (is said to be a chain module) if the lattice of all its submodules is distributive (is a chain). Let a ringA be a finitely generated module over its unitary central subringR. We prove the equivalence of the following conditions:

1. A is a right or left distributive semiprime ring;
2. for any maximal idealM of a subringR central inA, the ring of quotientsA _M is a finite direct product of semihereditary Bézout domains whose quotient rings by the Jacobson radicals are finite direct products of skew fields;
3. all right ideals and all left ideals of the ringA are flat (right and left) modules over the ringA, andA is a distributive ring, without nonzero nilpotent elements, all of whose quotient rings by prime ideals are semihereditary orders in skew fields.

     

Finite Index Operators on Surfaces

We consider differential operators L acting on functions on a Riemannian surface, Σ, of the form $$L = \Delta+ V -a K,$$ where Δ is the Laplacian of Σ, K is the Gaussian curvature, a is a positive constant, and V∈C ^∞(Σ). Such operators L arise as the stability operator of Σ immersed in a Riemannian three-manifold with constant mean curvature (for particular choices of V and a). We assume L is nonpositive acting on functions compactly supported on Σ. If the potential, V:=c+P with c a nonnegative constant, verifies either an integrability condition, i.e., P∈L ¹(Σ) and P is nonpositive, or a decay condition with respect to a point p ₀∈Σ, i.e., |P(q)|≤M/d(p ₀,q) (where d is the distance function in Σ), we control the topology and conformal type of Σ. Moreover, we establish a Distance Lemma. We apply such results to complete oriented stable H-surfaces immersed in a Killing submersion. In particular, for stable H-surfaces in a simply-connected homogeneous space with 4-dimensional isometry group, we obtain:

• There are no complete stable H-surfaces Σ??²×?, H>1/2, so that either $K_{e}^{+}:=\max \left \{0,K_{e}\right \} \in L^{1} (\Sigma)$ or there exist a point p ₀∈Σ and a constant M so that |K _e (q)|≤M/d(p ₀,q); here K _e denotes the extrinsic curvature of Σ.
• Let $\Sigma\subset \mathbb{E}(\kappa, \tau)$ , τ≠0, be an oriented complete stable H-surface so that either ν ²∈L ¹(Σ) and 4H ²+κ≥0, or there exist a point p ₀∈Σ and a constant M so that |ν(q)|²≤M/d(p ₀,q) and 4H ²+κ>0. Then:
• In $\mathbb{S}^{3}_{\text{Berger}}$ , there are no such a stable H-surfaces.
• In Nil₃, H=0 and Σ is either a vertical plane (i.e., a vertical cylinder over a straight line in ?²) or an entire vertical graph.
• In $\widetilde{\mathrm{PSL}(2,\mathbb{R})}$ , $H=\sqrt{-\kappa }/2$ and Σ is either a vertical horocylinder (i.e., a vertical cylinder over a horocycle in ?²(κ)) or an entire graph.

     

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.     

On the completion of excellent rings in characteristicp>0

Si considera il seguente problema posto da Grothendieck (E.G.A.): SeA è un anello eccellente edm un ideale diA, (A, m) ^{^}=m-adico completamento diA è eccellente? Si mostra che la risposta è positiva nei seguenti casi:

1. A=algebra di tipo finito su un DVR completo di caratteristicap>0;
2. A=algebra di tipo finito su un DVRC contenente un corpok di caratteristicap>0 e finito suk [C ^p ] oppure tale che:

1. per ogni sottocampok′ dik contenentek ^p tale che [k:k′]<∞, il modulo universale finito dei differenzialiD _{k′ (C)} esiste;
2. il corpo residuoK diC soddisfa rank _KK ? _K/k <∞
3. C ha una Der-base.

     

Optimally conditioned optimization algorithms without line searches

New variable metric algorithms are presented with three distinguishing features:

1. They make no line searches and allow quite arbitrary step directions while maintaining quadratic termination and positive updates for the matrixH, whose inverse is the hessian matrix of second derivatives for a quadratic approximation to the objective function.
2. The updates fromH toH ₊ are optimally conditioned in the sense that they minimize the ratio of the largest to smallest eigenvalue ofH ^?1 H ₊.
3. Instead of working with the matrixH directly, these algorithms represent it asJJ ^T, and only store and update the Jacobian matrix J. A theoretical basis is laid for this family of algorithms and an example is given along with encouraging numerical results obtained with several standard test functions.

     

Algorithms for the vector maximization problem

We consider a convex setB inR ⁿ described as the intersection of halfspacesa _i ^T x ≦b _i (i ∈ I) and a set of linear objective functionsf _j =c _j ^T x (j ∈ J). The index setsI andJ are allowed to be infinite in one of the algorithms. We give the definition of theefficient points ofB (also called functionally efficient or Pareto optimal points) and present the mathematical theory which is needed in the algorithms. In the last section of the paper, we present algorithms that solve the following problems:

1. To decide if a given point inB is efficient.
2. To find an efficient point inB.
3. To decide if a given efficient point is the only one that exists, and if not, find other ones.
4. The solutions of the above problems do not depend on the absolute magnitudes of thec _j. They only describe the relative importance of the different activitiesx _i. Therefore we also consider $$\begin{gathered} \max G^T x \hfill \\ x efficient \hfill \\ \end{gathered} $$ for some vectorG.

     

Slightly triangulated graphs are perfect

A graph istriangulated if it has no chordless cycle with at least four vertices (?k ≥ 4,C _k ?G). These graphs Jhave been generalized by R. Hayward with theweakly triangulated graphs $(\forall k \geqslant 5,C_{k,} \bar C_k \nsubseteq G)$ . In this note we propose a new generalization of triangulated graphs. A graph G isslightly triangulated if it satisfies the two following conditions;

1. G contains no chordless cycle with at least 5 vertices.
2. For every induced subgraphH of G, there is a vertex inH the neighbourhood of which inH contains no chordless path of 4 vertices.

     

Indecomposable modules over right pure semisimple rings

The aim of this paper is to prove the following result. IfA is a right pure semisimple ring, then it satisfies one of the two following statements:

1. For any positive integern, there are at most finitely many indecomposable right modules of lengthn; or
2. There is an infinite number of integersd such that, for eachd, A has infinitely many indecomposable right modules of lengthd.

The result is derived with the aid of ultraproduct-technique.     

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.     

Endpoint bounds for an analytic family of maximal functions

In this paper,for the plane curve T=.we define an analytic family of maximal functions asso-ciated to T asM_2f(λ)=sup_n>oh~-1∫_R相似文献   

On the number of non-isomorphic subgraphs

Let $\mathcal{K}$ be the family of graphs on ω₁ without cliques or independent subsets of sizew ₁. We prove that

1. it is consistent with CH that everyGε $\mathcal{K}$ has 2^ω many pairwise non-isomorphic subgraphs,
2. the following proposition holds in L: (*)there is a Gε $\mathcal{K}$ such that for each partition (A, B) of ω₁ either G?G[A] orG?G[B],
3. the failure of (*) is consistent with ZFC.

     

On the exactness of certain inequalities in approximation theory

We prove the following: for every sequence {F_v}, F_v ? 0, F_v > 0 there exists a functionf such that

1. E_n(f)?F_n (n=0, 1, 2, ...) and
2. A_kn^?k? _v=1 ⁿ v^k?1 F_v?1?Ω_k (f, n^?1) (n=1, 2, ...).

     

Toeplitz operators on Bergman spaces

Let ? be an element in \(H^\infty (D) + C(\overline D )\) such that ?^* is locally sectorial. In this paper it is shown that the Toeplitz operator defined on the Bergman spaceA ² (D) is Fredholm. Also, it is proved that ifS is an operator onA ²(D) which commutes with the Toeplitz operatorT _? whose symbol ? is a finite Blaschke product, thenS H ^∞ (D) is contained inH ^∞ (D). Moreover, some spectral properties of Toeplitz operators are discussed, and it is shown that the spectrum of a class of Toeplitz operators defined on the Bergman spaceA ² (D), is not connected.     

Über Deformationen von analytischen Abbildungskeimen

The notion of deformations of germs of k-analytic mappings generalizes the one of deformations of germs of k-analytic spaces. Using algebraic terms, we prove:

1. The morphism f: A→B of analytic algebras is rigid, iff it is infinitesimally rigid. Moreover, this is equivalent to Ex_A (B,B)=0. This theorem generalizes a result of SCHUSTER [11].
2. Let A be a regular analytic algebra. Then f is rigid iff there exists a rigid analytic algebra B_o such that f is equivalent to the canonic injection A→A?B_o.
3. If f is “almost everywhere” rigid or smooth, then the injection Ext _B ^l (Ω_B|A, Bⁿ)→Ex_A(B, Bⁿ) is an isomorphism.

     

Two inverse results

Let A be a finite subset of a group G ₀ with |A ^?1 A|≤2|A?2. We show that there are an element α∈A and a non-null proper subgroup H of G such that one of the following holds:

• x ^?1 Hy?A ^?1 A, for all x,y∈A not both in Hα
• x Hy ^?1?AA ^?1, for all x,y∈A not both in αH

where G is the subgroup generated by A ^?1 A. Assuming that A ^?1 A≠G and that $\left| {A^{ - 1} A} \right| < \tfrac{{5|A|}} {3} $ , we show that there are a normal subgroup K of G and a subgroup H with K?H?A ^?1 A and 2|K|≥|H| such that $A^{ - 1} AK = KA^{ - 1} A = A^{ - 1} Aand6|K| \geqslant |A^{ - 1} A| = 3|H|$ .     

Thinning of point processes,revisited

ＴＨＩＮＮＩＮＧＯＦＰＯＩＮＴＰＲＯＣＥＳＳＥＳ,ＲＥＶＩＳＩＴＥＤＨＥＳＨＥＮＧＷＵ（何声武）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃａｌＳｔａｔｉｓｔｉｃｓ,ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙＳｈａｎｇｈａｉ２０００６２,Ｃ...     

Inverse Additive Problems for Minkowski Sumsets II

The Brunn–Minkowski Theorem asserts that μ _d (A+B)^1/d ≥μ _d (A)^1/d +μ _d (B)^1/d for convex bodies A,B?? ^d , where μ _d denotes the d-dimensional Lebesgue measure. It is well known that equality holds if and only if A and B are homothetic, but few characterizations of equality in other related bounds are known. Let H be a hyperplane. Bonnesen later strengthened this bound by showing $$\mu_d(A+B)\geq (M^{1/(d-1)}+N^{1/(d-1)} )^{d-1}\biggl(\frac{\mu_d(A)}{M}+\frac {\mu_d(B)}{N} \biggr),$$ where M=sup?{μ _d?1((x+H)∩A)∣x∈? ^d } and $N=\sup\{\mu_{d-1}((\mathbf{y}+H)\cap B)\mid \mathbf{y}\in \mathbb {R}^{d}\}$ . Standard compression arguments show that the above bound also holds when M=μ _d?1(π(A)) and N=μ _d?1(π(B)), where π denotes a projection of ? ^d onto H, which gives an alternative generalization of the Brunn–Minkowski bound. In this paper, we characterize the cases of equality in this latter bound, showing that equality holds if and only if A and B are obtained from a pair of homothetic convex bodies by ‘stretching’ along the direction of the projection, which is made formal in the paper. When d=2, we characterize the case of equality in the former bound as well.