Conway’s Question: The Chase for Completeness

We study various degrees of completeness for a Tychonoff space X. One of them plays a central role, namely X is called a Conway space if X is sequentially closed in its Stone–?ech compactification β X (a prominent example of Conway spaces is provided by Dieudonné complete spaces). The Conway spaces constitute a bireflective subcategory Conw of the category Tych of Tychonoff spaces. Replacing sequential closure by the general notion of a closure operator C, we introduce analogously the subcategory Conw _C of C-Conway spaces, that turns out to be again a bireflective subcategory of Tych. We show that every bireflective subcategory of Tych can be presented in this way by building a Galois connection between bireflective subcategories of Tych and closure operators of Top finer than the Kuratowski closure. Other levels of completeness are considered for the (underlying topological spaces of) topological groups. A topological group G is sequentially complete if it is sequentially closed in its Ra?kov completion ${ \ifmmode\expandafter\tilde\else\expandafter\~\fi{G}}$ . The sequential completeness for topological groups is stronger than Conway’s property, although they coincide in some classes of topological groups, for example: free (Abelian) topological groups, pseudocompact groups, etc.     

Difference Sets in {\mathbb{Z}}_4^m and {\mathbb{F}}_2^{2m}

Let R=GR(4,m) be the Galois ring of cardinality 4^m and let T be the Teichmüller system of R. For every map λ of T into { -1,+1} and for every permutation Π of T, we define a map φ _λ ^Π of Rinto { -1,+1} as follows: if x∈R and if x=a+2b is the 2-adic representation of x with x∈T and b∈T, then φ _λ ^Π (x)=λ(a)+2Tr(Π(a)b), where Tr is the trace function of R . For i=1 or i=-1, define D _i as the set of x in R such thatφ _λ ^Π =i. We prove the following results: 1) D _i is a Hadamard difference set of (R,+). 2) If φ is the Gray map of R into ${\mathbb{F}}_2^{2m}$ , then (D _i) is a difference set of ${\mathbb{F}}_2^{2m}$ . 3) The set of D _i and the set of φ(D _i) obtained for all maps λ and Π, both are one-to-one image of the set of binary Maiorana-McFarland difference sets in a simple way. We also prove that special multiplicative subgroups of R are difference sets of kind D _i in the additive group of R. Examples are given by means of morphisms and norm in R.     

Operators in Krein Space

We study self-adjoint operators in Krein space. Our goal is to show that there is a relationship between the following classes of operators: operators with a compact “corner,” definitizable operators, operators of classes (H) and K(H), and operators of class D _κ ⁺.     

Reproducing kernels of Sobolev spaces via a green kernel approach with differential operators and boundary operators

We introduce a vector differential operator P and a vector boundary operator B to derive a reproducing kernel along with its associated Hilbert space which is shown to be embedded in a classical Sobolev space. This reproducing kernel is a Green kernel of differential operator L:?=?P ^???T P with homogeneous or nonhomogeneous boundary conditions given by B, where we ensure that the distributional adjoint operator P ^??? of P is well-defined in the distributional sense. We represent the inner product of the reproducing-kernel Hilbert space in terms of the operators P and B. In addition, we find relationships for the eigenfunctions and eigenvalues of the reproducing kernel and the operators with homogeneous or nonhomogeneous boundary conditions. These eigenfunctions and eigenvalues are used to compute a series expansion of the reproducing kernel and an orthonormal basis of the reproducing-kernel Hilbert space. Our theoretical results provide perhaps a more intuitive way of understanding what kind of functions are well approximated by the reproducing kernel-based interpolant to a given multivariate data sample.     

Quotient-reflective and bireflective subcategories of the category of preordered sets

In previous papers, the notions of “closedness” and “strong closedness” in set-based topological categories were introduced. In this paper, we give the characterization of closed and strongly closed subobjects of an object in the category Prord of preordered sets and show that they form appropriate closure operators which enjoy the basic properties like idempotency (weak) hereditariness, and productivity.We investigate the relationships between these closure operators and the well-known ones, the up- and down-closures. As a consequence, we characterize each of T₀, T₁, and T₂ preordered sets and show that each of the full subcategories of each of T₀, T₁, T₂ preordered sets is quotient-reflective in Prord. Furthermore, we give the characterization of each of pre-Hausdorff preordered sets and zero-dimensional preordered sets, and show that there is an isomorphism of the full subcategory of zero-dimensional preordered sets and the full subcategory of pre-Hausdorff preordered sets. Finally, we show that both of these subcategories are bireflective in Prord.     

A note on invariant sets of iterated function systems

We prove that the family of all invariant sets of iterated systems of contractions R ^N → R ^N is a nowhere dense F _σ type subset in the space of the nonempty compact subsets of R ^N equipped with the Hausdorff metric.     

Interiors of sets of vector fields with shadowing corresponding to certain classes of reparameterizations

The structure of the C ¹-interiors of sets of vector fields with various forms of the shadowing property is studied. The fundamental difference between the problem under consideration and its counterpart for discrete dynamical systems generated by diffeomorphisms is the reparameterization of shadowing orbits. Depending on the type of reparameterization, Lipschitz and oriented shadowing properties are distinguished. As is known, structurally stable vector fields have the Lipschitz shadowing property. Let X be a vector field, and let p and q be its points of rest or closed orbits. Suppose that the stable manifold of p and the unstable manifold of q have a nontransversal intersection point. It is shown that, in this case, the vector field X does not have the Lipschitz shadowing property. If one of the orbits p and q is closed, then X does not have the oriented shadowing property. These assertions imply that the C ¹-interior of the set of vector fields with the Lipschitz shadowing property coincides with the set of structurally stable vector fields. If the dimension of the manifold under consideration is at most 3, then a similar result is valid for the oriented shadowing property. We study the structure of the C ¹-interiors of sets of vector fields with various forms of the shadowing property. It is shown that, in the case of the Lipschitz shadowing property, it coincides with the set of structurally stable systems. For manifolds of dimension at most 3, a similar result is valid for the oriented shadowing property.     

Einbettung von topologischen Raumgeometrien auf R3 in den reellen affinen Raum

Betten [1] had defined topological spatial geometries on R ³: In R ³ a system L of closed subsets homeomorphic to R (the lines) and a system ? of closed subsets homeomorphic to R ² (the planes) are given such that through any two different points passes exactly one line and through any three non-collinear points passes exactly one plane. Furthermore, ? and ? carry topologies such that the operations of joining and intersection are continuous. It is proved that any topological spatial geometry on R ³ can be imbedded into R ³ as an open convex subset K such that the lines in ? (planes in ?) are mapped onto intersections of lines (planes) of R ³ with K. The collineation group of the geometry is isomorphic to the subgroup of the colineation group of real projective space consisting of the automorphisms that map K into itself. In particular, it is a Lie group of dimension ?12.     

Propagation des singularités des courants positifs fermés

Given a closed positive currentT on a bounded Runge open subset Ω ofC ⁿ , we study sufficient conditions for the existence of a global extension ofT toC ⁿ . WhenT has a sufficiently low density, we show that the extension is possible and that there is no propagation of singularities, i.e.T may be extended by a closed positiveC ^∞-form outside \(\bar \Omega \) . Conversely, using recent results ofH. Skoda andH. El Mir, we give examples of non extendable currents showing that the above sufficient conditions are optimal in bidegree (1, 1).     

The limits of determinacy in second order arithmetic: consistency and complexity strength

We prove that determinacy for all Boolean combinations of \({F_{\sigma \delta }}\) (Π ₃ ⁰ ) sets implies the consistency of second-order arithmetic and more. Indeed, it is equivalent to the statement saying that for every set X and every number n, there exists a β-model of Π _n ¹ -comprehension containing X. We prove this result by providing a careful level-by-level analysis of determinacy at the finite level of the difference hierarchy on \({F_{\sigma \delta }}\) (Π ₃ ⁰ ) sets in terms of both reverse mathematics, complexity and consistency strength. We show that, for n ≥ 1, determinacy for sets at the nth level in this difference hierarchy lies strictly between (in the reverse mathematical sense of logical implication) the existence of β-models of Π _n+2 ¹ -comprehension containing any given set X, and the existence of β-models of Δ _n+2 ¹ -comprehension containing any given set X. Thus the nth of these determinacy axioms lies strictly between Π _n+2 ¹ -comprehension and Δ _n+2 ¹ -comprehension in terms of consistency strength. The major new technical result on which these proof theoretic ones are based is a complexity theoretic one. The nth determinacy axiom implies closure under the operation taking a set X to the least Σ _n+1 admissible containing X (for n = 1; this is due to Welch [9]).     

Real quadrics in C n , complex manifolds and convex polytopes

In this paper, we investigate the topology of a class of non-Kähler compact complex manifolds generalizing that of Hopf and Calabi-Eckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics C ⁿ which are invariant with respect to the natural action of the real torus (S ¹) ⁿ onto C ⁿ . The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wall-crossing problem by introducing holomorphic equivariant elementary surgeries related to some transformations of the simple convex polytope. Finally, as a nice consequence, we obtain that affine non-Kähler compact complex manifolds can have arbitrary amount of torsion in their homology groups, contrasting with the Kähler situation.     

Canonical Extensions and Profinite Completions of Semilattices and Lattices

Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class \({{\boldsymbol{\mathcal{S}}}}_{\wedge}\) of (unital) meet semilattices. Any \({\mathbf S}\in {{\boldsymbol{\mathcal{S}}}}_{\wedge}\) embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt²(S), is a compact and \({\textstyle{\bigvee}\,}{\textstyle{\bigwedge}\,}\) -dense extension of S. The complete meet-subsemilattice S ^δ of Filt²(S) consisting of those elements which satisfy the condition of \({\textstyle{\bigwedge}\,}{\textstyle{\bigvee}\,}\) -density is shown to provide a realisation of the canonical extension of S. The easy validation of the construction is independent of the theory of Galois connections. Canonical extensions of bounded lattices are brought within this framework by considering semilattice reducts. Any S in \({{\boldsymbol{\mathcal{S}}}}_{\wedge}\) has a profinite completion, \({\rm Pro}_{{{\boldsymbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})\) . Via the duality theory available for semilattices, \({\rm Pro}_{{{\boldsymbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})\) can be identified with Filt²(S), or, if an abstract approach is adopted, with \({\mathbb F_{\sqcup}}({\mathbb F_{\sqcap}}({\mathbf S}))\) , the free join completion of the free meet completion of S. Lifting of semilattice morphisms can be considered in any of these settings. This leads, inter alia, to a very transparent proof that a homomorphism between bounded lattices lifts to a complete lattice homomorphism between the canonical extensions. Finally, we demonstrate, with examples, that the profinite completion of S, for \({\mathbf S} \in {{\boldsymbol{\mathcal{S}}}}_{\wedge}\) , need not be a canonical extension. This contrasts with the situation for the variety of bounded distributive lattices, within which profinite completion and canonical extension coincide.     

Supports of fourier transforms of refinable frame functions and their applications to FMRA

Let M be a d × d expansive matrix, and FL ²(??) be a reducing subspace of L ²(? ^d ). This paper characterizes bounded measurable sets in ? ^d which are the supports of Fourier transforms of M-refinable frame functions. As applications, we derive the characterization of bounded measurable sets as the supports of Fourier transforms of FMRA (W-type FMRA) frame scaling functions and MRA (W-type MRA) scaling functions for FL ²(??), respectively. Some examples are also provided.     

Descent for Discrete (Co)fibrations

We characterize the (effective) E-descent morphisms in the category Cat of small categories, when E is the class of discrete fibrations or the one of discrete cofibrations, and prove that every effective global-descent morphism is an effective E-descent morphism while its converse fails.     

On diversity and stability of unit bases for the Euclidean metric

We prove the existence of a family Ω(n) of 2 ^c (where c is the cardinality of the continuum) subgraphs of the unit distance graph (E ⁿ , 1) of the Euclidean space E ⁿ , n ≥ 2, such that (a) for each graph G ? Ω(n), any homomorphism of G to (E ⁿ , 1) is an isometry of E ⁿ ; moreover, for each subgraph G ₀ of the graph G obtained from G by deleting less than c vertices, less than c stars, and less than c edges (we call such a subgraph reduced), any homomorphism of G ₀ to (E ⁿ , 1) is an isometry (of the set of the vertices of G ₀); (b) each graph G ? Ω(n) cannot be homomorphically mapped to any other graph of the family Ω(n), and the same is true for each reduced subgraph of G.     

On the classification of conditionally integrable evolution systems in (1 + 1) dimensions

We generalize earlier results of Fokas and Liu and find all locally analytic (1 + 1)-dimensional evolution equations of order n that admit an N-shock-type solution with N ≤ n + 1. For this, we develop a refinement of the technique from our earlier work, where we completely characterized all (1+1)-dimensional evolution systems u _t = F (x, t, u, ?u/?x,..., ?ⁿ u/? x ⁿ) that are conditionally invariant under a given generalized (Lie-Bäcklund) vector field Q(x, t, u, ?u/?x,..., ?^k u/?x ^k)?/?u under the assumption that the system of ODEs Q = 0 is totally nondegenerate. Every such conditionally invariant evolution system admits a reduction to a system of ODEs in t, thus being a nonlinear counterpart to quasi-exactly solvable models in quantum mechanics.     

Hankel operators on planar domains

Let Ω be a bounded domain in the plane whose boundary consists of a finite number of disjoint analytic simple closed curves LetA denote the space of analytic functions on Ω which are square integrable over Ω with respect to area measure and letP denote the orthogonal projection ofL ²(Ω,dA) ontoA. A functionb inA induces a Hankel operator (densely defined) onA by the ruleH _b (g)=(I?P)bg. This paper continues earlier investigations of the authors and others by determining conditions under whichH _b is bounded, compact, or lies in the Schatten-von Neumann idealS _p , 1<p<∞     

Torsion and Abelianization in Equivariant Cohomology

Let X be a topological space upon which a compact connected Lie group G acts. It is well known that the equivariant cohomology H ^* _G (X; Q) is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology H ^* _T (X; Q), where T is a maximal torus of G. This relationship breaks down for coefficient rings k other than Q. Instead, we prove that under a mild condition on k the algebra H ^* _G (X; k) is isomorphic to the subalgebra of H ^* _T (X; k) annihilated by the divided difference operators.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.