Wild double tangent ball embeddings of spheres in En

It has been known for years that a 2-sphere Σ in E³ must be flatly embedded if it has double tangent balls on opposite sides of Σ at each of its points. However, when the double tangent balls are not required to be on opposite sides of Σ, pathological embeddings exist. This paper details the allowable wild embeddings of spheres having these indiscrete double tangent balls and discusses the higher dimensional analogues.     

A Grothendieck-type theorem for the space of totally measurable functions

Let Σ be a σ-algebra of subsets of a non-empty set Ω. Let X be a real Banach space and let X^* stand for the Banach dual of X. Let B(Σ, X) be the Banach space of Σ-totally measurable functions f: Ω → X, and let B(Σ, X)^* and B(Σ, X)^** denote the Banach dual and the Banach bidual of B(Σ, X) respectively. Let bvca(Σ, X^*) denote the Banach space of all countably additive vector measures ν: Σ → X^* of bounded variation. We prove a form of generalized Vitali-Hahn-Saks theorem saying that relative σ(bvca(Σ, X^*), B(Σ, X))-sequential compactness in bvca(Σ, X^*) implies uniform countable additivity. We derive that if X reflexive, then every relatively σ(B(Σ, X)^*, B(Σ, X))-sequentially compact subset of B(Σ, X)_c^~ (= the σ-order continuous dual of B(Σ, X)) is relatively σ(B(Σ, X)^*, B(Σ, X)^**)-sequentially compact. As a consequence, we obtain a Grothendieck type theorem saying that σ(B(Σ, X)^*, B(Σ, X))-convergent sequences in B(Σ, X)_c^~ are σ(B(Σ, X)^*, B(Σ, X)^**)-convergent.     

Codimension one spheres in Rn with double tangent balls

In contrast to the situation in $\text{R}$³, where a 2-sphere with double tangent balls at each point must be tamely embedded in $\text{R}$³, there exist wild (n?1)-spheres in $\text{R}$ⁿ for n>3 with this same geometric property. However, if the sphere Σ is tame moduio a subset X that lies in a polyhedron P that is tame in Σ, the dimension of P is less than n?2, n>4, and Σ has double tangent balls over X, then Σ must be tame in $\text{R}$ⁿ. Also if the tangent balls extend over P and are pairwise congruent, the dimensional restriction on P can be dropped. Examples are given to support the necessity of the hypotheses of the included theorems.     

Geometric rigidity for analytic estimates of Müller–?verák

In the paper Müller–?verák (J Differ Geom 42(2):229–258, 1995) conformally immersed surfaces with finite total curvature were studied. In particular it was shown that surfaces with total curvature ${\int_{\Sigma} |A|^2 < 8 \pi}$ in dimension three were embedded and conformal to the plane with one end. Here, using techniques from Kuwert–Li (W ^2,2-conformal immersions of a closed Riemann surface into R ⁿ . arXiv:1007.3967v2 [math.DG], 2010), we will show that if the total curvature ${ \int_{\Sigma}|A|^2\leq8\pi}$ , then we are either embedded and conformal to the plane, isometric to a catenoid or isometric to Enneper’s minimal surface. In fact the technique of our proof shows that if we are conformal to the plane, then if n?≥ 3 and ${ \int_{\Sigma} | A|^{2}\leq 16 \pi }$ then Σ is embedded or Σ is the image of a generalized catenoid inverted at a point on the catenoid. In order to prove these theorems, we prove a Gauss–Bonnet theorem for surfaces with complete ends and isolated finite area singularities which extends a theorem of Jorge-Meeks (Topology 22(2):203–221, 1983). Using this theorem, we then prove an inversion formula for the Willmore energy.     

Real closures of models of weak arithmetic

D’Aquino et al. (J Symb Log 75(1):1–11, 2010) have recently shown that every real-closed field with an integer part satisfying the arithmetic theory IΣ₄ is recursively saturated, and that this theorem fails if IΣ₄ is replaced by IΔ₀. We prove that the theorem holds if IΣ₄ is replaced by weak subtheories of Buss’ bounded arithmetic: PV or ${\Sigma^b_1-IND^{|x|_k}}$ . It also holds for IΔ₀ (and even its subtheory IE ₂) under a rather mild assumption on cofinality. On the other hand, it fails for the extension of IOpen by an axiom expressing the Bézout property, even under the same assumption on cofinality.     

Maskit combinations of Poincaré-Einstein metrics

We establish a boundary connected sum theorem for asymptotically hyperbolic Einstein metrics, and also show that if the two metrics have scalar positive conformal infinities, then the same is true for this boundary join. This construction is also extended to spaces with a finite number of interior conic singularities, and as a result we show that any 3-manifold which is a finite connected sum of quotients of S³ and S²×S¹ bounds such a space (with conic singularities); putatively, any 3-manifold admitting a metric of positive scalar curvature is of this form.     

An intrinsic characterization of developable surfaces

We consider the classical theorem saying that if f: M → R³ is a Riemannian surface in R³ without planar points and with vanishing Gaussian curvature, then there is an open dense subset M′ of M such that around each point of M′ the surface f is a cylinder or a cone or a tangential developable. As we shall show below, the theorem, in fact, belongs to affine geometry. We give an affine proof of this theorem. The proof works in Riemannian geometry as well. We use the proof for solving the realization problem for a certain class of affine connections on 2-dimensional manifolds. In contrast with Riemannian geometry, in affine geometry, cylinders, cones as well as tangential developables can be characterized intrinsically, i.e. by means of properties of any nowhere flat induced connection. According to the characterization we distinguish three classes of affine connections on 2-dimensional manifolds, i.e. cylindric, conic and TD-connections.     

Characterization of Wishart-Laplace distributions via Jordan algebra homomorphisms

For a real, Hermitian, or quaternion normal random matrix Y with mean zero, necessary and sufficient conditions for a quadratic form Q(Y) to have a Wishart-Laplace distribution (the distribution of the difference of two independent central Wishart W_p(m_i,Σ) random matrices) are given in terms of a certain Jordan algebra homomorphism ρ. Further, it is shown that {Q_k(Y)} is independent Laplace-Wishart if and only if in addition to the aforementioned conditions, the images ρ_k(Σ⁺) of the Moore-Penrose inverse Σ⁺ of Σ are mutually orthogonal: ρ_k(Σ⁺)ρ_?(Σ⁺)=0 for k≠?.     

Geometric conditions for the existence of positive eigenvalues of matrices

Finite-dimensional theorems of Perron-Frobenius type are proved. For A∈$\text{C}$ⁿⁿ and a nonnegative integer k, we let w_k (A) be the cone generated by A^k, A^k+1,…in $\text{C}$ⁿⁿ. We show that A satisfies the Perron-Schaefer condition if and only if the closure $\text{W}$_k(A) of w_k(A) is a pointed cone. This theorem is closely related to several known results. If k?v₀(A), the index of the eigenvalue 0 in spec A, we prove that A has a positive eigenvalue if and only if w_k(A) is a pointed nonzero cone or, equivalently $\text{W}$_k(A) is not a real subspace of $\text{C}$ⁿⁿ. Our proofs are elementary and based on a method of Birkhoff's. We discuss the relation of this method to Pringsheim's theorem.     

Invariant fibrations of geodesic flows

Let (Σ,g) be a compact C² finslerian 3-manifold. If the geodesic flow of g is completely integrable, and the singular set is a tamely-embedded polyhedron, then π₁(Σ) is almost polycyclic. On the other hand, if Σ is a compact, irreducible 3-manifold and π₁(Σ) is infinite polycyclic while π₂(Σ) is trivial, then Σ admits an analytic riemannian metric whose geodesic flow is completely integrable and singular set is a real-analytic variety. Additional results in higher dimensions are proven.     

TAME TWO-POINT ALGEBRAS WITHOUT LOOPS

We determine the representation type of the algebras whose quiver has precisely two vertices and admits no loops by listing all minimal wild algebras of this form. It turns out that such an algebra A is tame if and only if A/rad³ A is tame, and in this case A degenerates to a special biserial algebra. Moreover, A is wild if and only if it is controlled wild.     

A removable isolated singularity theorem for the stationary Navier-Stokes equations

We show that an isolated singularity at the origin 0 of a smooth solution (u,p) of the stationary Navier-Stokes equations is removable if the velocity u satisfies u∈Lⁿ or |u(x)|=o(|x|^-1) as x→0. Here n?3 denotes the dimension. As a byproduct of the proof, we also obtain a new interior regularity theorem.     

Disjoint matchings of graphs

In this paper, we prove a generalization of the familiar marriage theorem. One way of stating the marriage theorem is: Let G be a bipartite graph, with parts S₁ and S₂. If A ? S₁ and F(A) ? S₂ is the set of neighbors of points in A, then a matching of G exists if and only if Σ_x∈S2 min(1, | F^?1(x) ∩ A |) ≥ | A | for each A ? S₁. Our theorem is that k disjoint matchings of G exist if and only Σ_x∈S2 min (k, | F^?1(x) ∩ A |) ≥ k | A | for each A ? S₁.     

Minimal kernels of weakly complete spaces

Let X be a weakly complete space i.e. X a complex space endowed with a C^k-smooth, k?0, plurisubharmonic exhaustion function. We give the notion of minimal kernelΣ¹=Σ¹(X) of X by the following property: x∈Σ¹ if no continuous plurisubharmonic exhaustion function is strictly plurisubharmonic near x. The study of the geometric properties of the minimal kernels is the aim of present paper. After stating that the minimal kernel Σ¹ of a weakly complete space can be defined by a single plurisubharmonic exhaustion function ?, called minimal, using the characterization in terms of Bremermann envelopes, we prove the following, crucial, result: if X is a weakly complete manifold and ? a minimal function for X, the nonempty level sets Σ_c¹=Σ¹∩{?=c} have the local maximum property. In the last section we discuss the special case of weakly complete surfaces. We prove that if dim_cX=2 and c is a regular value of a minimal function ? then the nonempty level sets Σ_c¹=Σ¹∩{?=c} are compact spaces foliated by holomorphic curves.     

Free and almost-free subsemigroups of a free semigroup

A subsemigroup S of a free semigroup F(Σ) is almost-free if there is a free subsemigroupT such that S?T?F(Σ) and T/S is finite. It is shown that it is decidable whether a subsemigroup generated by a regular subset of F(Σ) is almost-free. Sufficient- conditions are given such that if a family F of subsets of F(Σ) satisfies these conditions, then it is undecidable for L∈F whether the subsemigroup generated by L is free and also whether it is almost-free.     

A variation of Menger's theorem for long paths

In this paper we prove a Mengerian theorem for long paths, namely, that if in order to cut every uv-path of length at least n (n ≥ 2), in a diagraph D, we need to remove at least h points, then there exist {$\text{h}\text{(3n ? 5)}$} interior disjoint uv-paths in D of length at least n. Some variations and applications of this theorem are given as well.     

Local half Moufang quadrangles

In this article, we show that if every root of a finite generalized quadrangle containing a fixed point x is Moufang, then every dual root containing x in its interior is also Moufang. As a corollary, we obtain a new proof of the half Moufang theorem. This says that finite half Moufang quadrangles are Moufang.     

Characterizing omega-limit sets which are closed orbits

Let X be a vector field in a compact n-manifold M, n?2. Given Σ⊂M we say that q∈M satisfies (P)_Σ if the closure of the positive orbit of X through q does not intersect Σ, but, however, there is an open interval I with q as a boundary point such that every positive orbit through I intersects Σ. Among those q having saddle-type hyperbolic omega-limit set ω(q) the ones with ω(q) being a closed orbit satisfy (P)_Σ for some closed subset Σ. The converse is true for n=2 but not for n?4. Here we prove the converse for n=3. Moreover, we prove for n=3 that if ω(q) is a singular-hyperbolic set [C. Morales, M. Pacifico, E. Pujals, On C¹ robust singular transitive sets for three-dimensional flows, C. R. Acad. Sci. Paris Sér. I 26 (1998) 81-86], [C. Morales, M. Pacifico, E. Pujals, Robust transitive singular sets for 3-flows are partially hyperbolic attractors or repellers, Ann. of Math. (2) 160 (2) (2004) 375-432], then ω(q) is a closed orbit if and only if q satisfies (P)_Σ for some Σ closed. This result improves [S. Bautista, Sobre conjuntos hiperbólicos-singulares (On singular-hyperbolic sets), thesis Uiversidade Federal do Rio de Janeiro, 2005 (in Portuguese)] and [C. Morales, M. Pacifico, Mixing attractors for 3-flows, Nonlinearity 14 (2001) 359-378].     

Moufang loops of odd prime exponent p and a class of linear spaces of order p

In this paper it is shown that any finite Moufang loop M of odd prime exponent p gives rise to a linear space Σ(M) with a large number of affine desarguesian planes, and a theorem on the structure of Σ(M) is proved.     

On the existence of an arrow and a Bergson-Samuelson social welfare function

Let Σ be the set of all possible preferences over a given set of alternatives A. Let Ω be a proper subset of Σ and let P?Ωⁿ be a fixed profile of preferences. P is heterogeneous in Ω if for all a,b,c?A and Q?Ωⁿ, there exist three alternatives x,y,z?A such that Q(a,b,c)=P(x,y,z) where Q(B) denotes the subprofile over a set of alternatives B?A. An Arrow SWF ? is a function ?:Ωⁿ→Σ satisfying the conditions Pareto and IIA. A Bergson-Samuelson SWF is a function ?:P→Σ satisfying Pareto and Independence+Neutrality. The paper shows that (a) there exist a neutral nondictatorial Arrow SWF on Ω if and only if there exist a neutral nondictatorial Bergson-Samuelson SWF on P. (b) There exist a nondictatorial n person Bergson-Samuelson SWF on P if and only if there exists a 3 person Bergson-Samuelson SWF on P. (c) There exists a nondictatorial Arrow SWF on Ω if and only if there exists a nondictatorial Bergson-Samuelson SWF on P.