On extensions of countable filterbases to ultrafilters and ultrafilter compactness

We show in the Zermelo-Fraenkel set theory ZF without the axiom of choice:

1. Given an infinite set X, the Stone space S(X) is ultrafilter compact.

2. For every infinite set X, every countable filterbase of X extends to an ultra-filter i? for every infinite set X, S(X) is countably compact.

3. ω has a free ultrafilter i? every countable, ultrafilter compact space is countably compact.

   We also show the following:

4. There are a permutation model 𝒩 and a set X ∈ 𝒩 such that X has no free ultrafilters and S(X) is not compact but S(X) is countably compact and every countable filterbase of X extends to an ultrafilter.

5. It is relatively consistent with ZF that every countable filterbase of ω extends to an ultrafilter but there exists a countable filterbase of ? which does not extend to an ultrafilter. Hence, it is relatively consistent with ZF that ? has free ultrafilters but there exists a countable filterbase of ? which does not extend to an ultrafilter.

     

Cardinal sequences of LCS spaces under GCH

Let C(α) denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put

C_λ(α)={f∈C(α):f(0)=λ=min[f(β):β<α]}.     

Minimal pseudocompact group topologies on free abelian groups

A Hausdorff topological group G is minimal if every continuous isomorphism f:G→H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence of cardinals such that

     

Relations between the $${\mathcal {}}$$-ultrafilters

Under CH we show the following results:

1. (1)
   There is a discrete ultrafilter which is not a \({\mathcal {Z}}_{0}\)-ultrafilter.
    
2. (2)
   There is a \(\sigma \)-compact ultrafilter which is not a \({\mathcal {Z}}_{0}\)-ultrafilter.
    
3. (3)
   There is a \({\mathcal {J}}_{\omega ^{3}}\)-ultrafilter which is not a \({\mathcal {Z}}_{0}\)-ultrafilter.
    

     

Semistability and Restrictions of tangent bundle to curves

We consider all complex projective manifolds X that satisfy at least one of the following three conditions:

1. (1)
   There exists a pair \({(C\,,\varphi)}\) , where C is a compact connected Riemann surface and

   $\varphi\,:\, C\,\longrightarrow\, X$

   a holomorphic map, such that the pull back \({\varphi^* {\it TX}}\) is not semistable.
    
2. (2)
   The variety X admits an étale covering by an abelian variety.
    
3. (3)
   The dimension dim X ≤ 1.
    

We prove that the following classes are among those that are of the above type.

• All X with a finite fundamental group.
• All X such that there is a nonconstant morphism from \({{\mathbb C}{\mathbb P}^1}\) to X.
• All X such that the canonical line bundle K _X is either positive or negative or \({c_1(K_X)\,\in\,H^2(X,\, {\mathbb Q})}\) vanishes.
• All X with \({{\rm dim}_{\mathbb C} X\, =\,2}\).

     

Remarks on ω-domination of discrete subspaces

Abstract

Given a space X, we will say that a class of subsets of X is dominated by a class ? if for any A ∈ , there exists a B ∈ ? such that A ? . In particular, all (closed) discrete subsets of X are countably dominated (which we frequently abbreviate as ω-dominated) if, for any (closed) discrete set D ? X, there exists a countable set B ? X such that D ? . In this paper, we investigate the topological properties of spaces in which (closed) discrete subspaces are dominated either by countable subsets or by Lindelöf subspaces.     

The Fréchet-Urysohn property of Pixley-Roy hyperspaces

Let F[X] be the Pixley-Roy hyperspace of a regular space X. In this paper, we prove the following theorem.

Theorem. For a space X, the following are equivalent:

(1)

F[X]is a k-space;

(2)

F[X]is sequential;

(3)

F[X]is Fréchet-Urysohn;

(4)

Every finite power of X is Fréchet-Urysohn for finite sets;

(5)

Every finite power ofF[X]is Fréchet-Urysohn for finite sets.

As an application, we improve a metrization theorem onF[X].     

On the numerical approximation of $$\infty $$-harmonic mappings

A map \(u : \Omega \subseteq \mathbb {R}^n \longrightarrow \mathbb {R}^N\), is said to be \(\infty \)-harmonic if it satisfies

Open image in new window

(1)

The system (1) is the model of vector-valued Calculus of Variations in \(L^\infty \) and arises as the “Euler-Lagrange” equation in relation to the supremal functional

$$\begin{aligned} E_\infty (u,\Omega )\, :=\, \Vert \text {D}u \Vert _{L^\infty (\Omega )}. \end{aligned}$$

(2)

In this work we provide numerical approximations of solutions to the Dirichlet problem when \(n=2\) and in the vector valued case of \(N=2,3\) for certain carefully selected boundary data on the unit square. Our experiments demonstrate interesting and unexpected phenomena occurring in the vector valued case and provide insights on the structure of general solutions and the natural separation to phases they present.

     

Different versions of a first countable space without choice

We show that two versions of a first countable topological space which are equivalent in ZFC set theory split in the absence of the Axiom of Choice AC. This answers in the negative a related question from Gutierres “What is a first countable space?”.     

$$L^{p}$$-theory of elliptic differential operators with unbounded coefficients

In this paper, we consider the generation of strongly continuous analytic semigroups on \(L^p((0,\omega ),\mu _{p}\, dx)\) and \(L^p((0,\omega ), dx), 1<p<\infty \), by a family of second order elliptic operators of the form

Open image in new window

As in [24], we shall prove the generation results on \(L^2\)-spaces using the sesquilinear forms. More general results are obtained by using interpolation procedure and Neuberger’s theorem.

     

Zero varieties for the Nevanlinna class in weakly pseudoconvex domains of maximal type F in $$\mathbb {C}^2$$

Let \(\Omega \) be a bounded, uniformly totally pseudoconvex domain in \(\mathbb {C}^2\) with smooth boundary \(b\Omega \). Assume that \(\Omega \) is a domain admitting a maximal type F. Here, the condition maximal type F generalizes the condition of finite type in the sense of Range (Pac J Math 78(1):173–189, 1978; Scoula Norm Sup Pisa, pp 247–267, 1978) and includes many cases of infinite type. Let \(\alpha \) be a d-closed (1, 1)-form in \(\Omega \). We study the Poincaré–Lelong equation

$$\begin{aligned} i\partial \bar{\partial }u=\alpha \quad \text {on}\, \Omega \end{aligned}$$

in \(L^1(b\Omega )\) norm by applying the \(L^1(b\Omega )\) estimates for \(\bar{\partial }_b\)-equations in [11]. Then, we also obtain a prescribing zero set of Nevanlinna holomorphic functions in \(\Omega \).

     

Multiplicity and bifurcation of positive solutions for nonhomogeneous semilinear elliptic problems

In this paper we consider the following problem

(?)     

Canonical subbase-compactness of topological products

For topological products the concept of canonical subbase-compactness is introduced, and the question analyzed under what conditions such products are canonically subbase-compact in ZF-set theory.Results: (1) Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds.(2) Products of n-element spaces are canonically subbase-compact iff AC(<n), the axiom of choice for sets with less than n elements, holds.(3) Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds.(4) All powers XI of a compact space X are canonically subbase compact iff X is a Loeb-space.These results imply that in ZF the implications

     

Extending compact topologies to compact Hausdorff topologies in ZF

Within the framework of Zermelo-Fraenkel set theory ZF, we investigate the set-theoretical strength of the following statements:

(1)

For every family(Ai)_i∈Iof sets there exists a family(Ti)_i∈Isuch that for everyi∈I(Ai,Ti)is a compactT₂space.

(2)

For every family(Ai)_i∈Iof sets there exists a family(Ti)_i∈Isuch that for everyi∈I(Ai,Ti)is a compact, scattered, T₂space.

(3)

For every set X, every compactR₁topology (itsT₀-reflection isT₂) on X can be enlarged to a compactT₂topology.

We show:

(a)

(1) implies every infinite set can be split into two infinite sets.

(b)

(2) iff AC.

(c)

(3) and “there exists a free ultrafilter” iff AC.

We also show that if the topology of certain compact T₁ spaces can be enlarged to a compact T₂ topology then (1) holds true. But in general, compact T₁ topologies do not extend to compact T₂ ones.