On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure

We show that if M is a stable unsuperstable homogeneous structure, then for most κ ? |M|, the number of elementary submodels of M of power κ is 2^κ.     

Elementary submodels of parametrizable models

We introduce the notion of F-parametrizable model and prove some general results on elementary submodels of F-parametrizable models. Using this notion, we can uniformly characterize all elementary submodels for the field of real numbers and for the group of all permutations on natural numbers in the first order language as well as in the language of hereditarily finite superstructures. Assuming the constructibility axiom, we obtain a simpler characterization of elementary submodels of F-parametrizable models and prove some additional properties of the structure of their elementary submodels.     

Elementary submodels in infinite combinatorics

The use of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams’s theorem on cycle decomposition of graphs, and finally we improve a decomposition theorem of Laviolette concerning bond-faithful decompositions of graphs.     

On two theorems of I. M. Singer about homogenous spaces

A theorem of I. M. Singer [9] states that a Riemannian manifold is locally homogeneous if and only if the Riemannian curvature tensor and its covariant derivatives are the same at each point up to some orderk _M + 1.In the present paper we reprove this theorem by a more direct approach.By using the same approach we also prove, in addition, that a homogeneous Riemannian manifold is completely determined by the curvature and its covariant derivatives at some point up to orderk _M + 2. Moreover, we show how to reconstruct a homogeneous Riemannian manifold only from these curvature data. Finally, we formulate precisely and prove a statement which was announced without proof by Singer in [9].This work was partially supported by the M. P. I. fondi 40%.     

Categoricity in homogeneous complete metric spaces

We introduce a new approach to the model theory of metric structures by defining the notion of a metric abstract elementary class (MAEC) closely resembling the notion of an abstract elementary class. Further we define the framework of a homogeneous MAEC were we additionally assume the existence of arbitrarily large models, joint embedding, amalgamation, homogeneity and a property which we call the perturbation property. We also assume that the Löwenheim-Skolem number, which in this setting refers to the density character of the set instead of the cardinality, is ${\aleph_0}$ . In these settings we prove an analogue of Morley’s categoricity transfer theorem. We also give concrete examples of homogeneous MAECs.     

On Turner’s theorem and first-order theory

A theorem of E.C. Turner states that if F is a finitely generated free group, then the test words are precisely the elements not contained in any proper retract. In this paper, we examine some ideas in model theory and logic related to Turner’s characterization of test words and introduce Turner groups, a class of groups containing all finite groups and all stably hyperbolic groups satisfying this characterization. We show that Turner’s theorem is not first-order expressible. However, we prove that every finitely generated elementary free group is a Turner group.     

Model theoretic stability and categoricity for complete metric spaces

We deal with the systematic development of stability in the context of approximate elementary submodels of a monster metric space, which is not far, but still very different from first order model theory. In particular, we prove the analogue of Morley’s theorem for classes of complete metric spaces.     

Submodels of Kripke models

A Kripke model ? is a submodel of another Kripke model ℳ if ? is obtained by restricting the set of nodes of ℳ. In this paper we show that the class of formulas of Intuitionistic Predicate Logic that is preserved under taking submodels of Kripke models is precisely the class of semipositive formulas. This result is an analogue of the Łoś-Tarski theorem for the Classical Predicate Calculus. In Appendix A we prove that for theories with decidable identity we can take as the embeddings between domains in Kripke models of the theory, the identical embeddings. This is a well known fact, but we know of no correct proof in the literature. In Appendix B we answer, negatively, a question posed by Sam Buss: whether there is a classical theory T, such that ℋT is HA. Here ℋT is the theory of all Kripke models ℳ such that the structures assigned to the nodes of ℳ all satisfy T in the sense of classical model theory. Received: 4 February 1999 / Published online: 25 January 2001     

On the Cowen-Douglas Class for Banach Space Operators

In [3], M. J. Cowen and R. G. Douglas prove that the adjoint of a Hilbert space operator T is in the class if and only if T is unitarily equivalent with the operator M _z on a Hilbert space -valued analytic functions, where M _z denotes the operator of multiplication by the independent variable. The proof involves holomorphic vector bundles and Grauert’s theorem. In this paper we use a theorem by I. Gohberg and L. Rodman [4] to give a more elementary proof of this fact, which also works for Banach space operators.      

Metrically Universal Generic Structures in Free Amalgamation Classes

We prove that each ∀₁ free amalgamation class K over a finite relational language L admits a countable generic structure M isometrically embedding all countable structuresin K relative to a fixed metric. We expand L by infinitely many binary predicates expressingdistance, and prove that the resulting expansion of K has a model companion axiomatizedby the first‐order theory of M. The model companion is non‐finitely axiomatizable, evenover a strong form of the axiom scheme of infinity.     

Estimating a mean matrix: boosting efficiency by multiple affine shrinkage

The unknown matrix M is the mean of the observed response matrix in a multivariate linear model with independent random errors. This paper constructs regularized estimators of M that dominate, in asymptotic risk, least squares fits to the model and to specified nested submodels. In the first construction, the response matrix is expressed as the sum of orthogonal components determined by the submodels; each component is replaced by an adaptive total least squares fit of possibly lower rank; and these fits are then summed. The second, lower risk, construction differs only in the second step: each orthogonal component is replaced by a modified Efron-Morris fit before summation. Singular value decompositions yield computable formulae for the estimators and their asymptotic and estimated risks. In the asymptotics, the row dimension of M tends to infinity while the column dimension remains fixed. Convergences are uniform when signal-to-noise ratio is bounded. This research was supported in part by National Science Foundation Grant DMS 0404547.     

A finiteness theorem for transitive foliations and flat vector bundles

In this paper we prove a finiteness theorem for the spectral sequence (E _i(∇), (d _∇)_i) associated to a transitive foliation on a compact manifoldM, and to a flat vector bundleE overM with flat connection ∇. we also compute some examples of homogeneous Lie foliations on compact connected homogeneous spaces.     

Nonstandard models that are definable in models of Peano Arithmetic

In this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model N without parameters in a model M, we show that N is isomorphic to M if M is elementary extension of the standard model and N is elementarily equivalent to M. On the other hand, we show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M but N is not isomorphic to M. We also show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M, and N is isomorphic to M, but N is not definably isomorphic to M. And also, we give a generalization of Tennenbaum's theorem. At the end, we give a new method to construct a definable model by a refinement of Kotlarski's method. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Segal-Bargmann transform and Paley-Wiener theorems on <Emphasis Type="Italic">M</Emphasis>(2)

We study the Segal-Bargmann transform on M(2). The range of this transform is characterized as a weighted Bergman space. In a similar fashion Poisson integrals are investigated. Using a Gutzmer’s type formula we characterize the range as a class of functions extending holomorphically to an appropriate domain in the complexification of M(2). We also prove a Paley-Wiener theorem for the inverse Fourier transform.     

The homomorphismM*⊗N → Hom (M,N)

In this note we prove two theorems. In theorem 1 we prove that if M andN are two non-zero reflexive modules of finite projective dimensions over a Gorenstein local ring, such that Hom (M, N) is a third module of syzygies, then the natural homomorphismM* ⊗N → Hom (M, N) is an isomorphism. This extends the result in [7]. In theorem 2, we prove that projective dimension of a moduleM over a regular local ringR is less than or equal ton if and only if Ext_R ⁿ (M, R) ⊗M → Ext_R ⁿ (M, M) is surjective; in which case it is actually bijective. This extends the usual criterion for the projectivity of a module.     

On minor-minimally 3-connected binary matroids

A matroid M is called minor-minimally 3-connected if M is 3-connected and, for each e∈E(M), either M?e or M/e is not 3-connected. In this paper, we prove a chain theorem for the class of minor-minimally 3-connected binary matroids. As a consequence, we obtain a chain theorem for the class of minor-minimally 3-connected graphs.     

A notion of robustness and stability of manifolds

Starting from the notion of thickness of Parks we define a notion of robustness for arbitrary subsets of Rk and we investigate its relationship with the notion of positive reach of Federer. We prove that if a set M is robust, then its boundary ∂M is of positive reach and conversely (under very mild restrictions) if ∂M is of positive reach, then M is robust. We then prove that a closed non-empty robust set in Rk (different from Rk) is a codimension zero submanifold of class C¹ with boundary. As a partial converse we show that any compact codimension zero submanifold with boundary of class C² is robust. Using the notion of robustness we prove a kind of stability theorem for codimension zero compact submanifolds with boundary: two such submanifolds, whose boundaries are close enough (in the sense of Hausdorff distance), are diffeomorphic.     

Almost Schur lemma for manifolds with boundary

In this paper, we prove the almost Schur theorem, introduced by De Lellis and Topping, for the Riemannian manifold M of nonnegative Ricci curvature with totally geodesic boundary. Examples are given to show that it is optimal when the dimension of M is at least 5. We also prove that the almost Schur theorem is true when M is a 4-dimensional manifold of nonnegative scalar curvature with totally geodesic boundary. Finally we obtain a generalization of the almost Schur theorem in all dimensions only by assuming the Ricci curvature is bounded below.     

Deformations of trianalytic subvarieties of hyperkähler manifolds

Let M be a compact complex manifold equipped with a hyperk?hler metric, and X be a closed complex analytic subvariety of M. In alg-geom 9403006, we proved that X is trianalytic (i.e., complex analytic with respect to all complex structures induced by the hyperk?hler structure), provided that M is generic in its deformation class. Here we study the complex analytic deformations of trianalytic subvarieties. We prove that all deformations of X are trianalytic and naturally isomorphic to X as complex analytic varieties. We show that this isomorphism is compatible with the metric induced from M. Also, we prove that the Douady space of complex analytic deformations of X in M is equipped with a natural hyperk?hler structure.     

Index Theorem for Equivariant Dirac Operators on Noncompact Manifolds

Let D be a (generalized) Dirac operator on a noncompact complete Riemannian manifold M acted on by a compact Lie group G. Let v: M g = Lie G be an equivariant map, such that the corresponding vector field on M does not vanish outside of a compact subset. These data define an element of K-theory of the transversal cotangent bundle to M. Hence, by embedding of M into a compact manifold, one can define a topological index of the pair (D,v) as an element of the completed ring of characters of G. We define an analytic index of (D,v) as an index space of certain deformation of D and we prove that the analytic and topological indexes coincide. As a main step of the proof, we show that index is an invariant of a certain class of cobordisms, similar to the one considered by Ginzburg, Guillemin and Karshon. In particular, this means that the topological index of Atiyah is also invariant under this class of noncompact cobordisms. As an application, we extend the Atiyah–Segal–Singer equivariant index theorem to our noncompact setting. In particular, we obtain a new proof of this theorem for compact manifolds.