Let M be a metrizable group. Let G be a dense subgroup of $M^X$. We prove that if G is domain representable, then $G=M^X$. The following corollaries answer open questions. If X is completely regular and $C_p\left(X\right)$ is domain representable, then X is discrete. If X is zero-dimensional, T₂, and $C_p(X,)$ is subcompact, then X is discrete.

In this article we define the $m$-topology on some rings of quotients of $C\left(X\right)$. Using this, we equip the classical ring of quotients $q\left(X\right)$ of $C\left(X\right)$ with the $m$-topology and we show that $C\left(X\right)$ with the $r$-topology is in fact a subspace of $q\left(X\right)$ with the $m$-topology. Characterization of the components of rings of quotients of $C\left(X\right)$ is given and using this, it turns out that $q\left(X\right)$ with the $m$-topology is connected if and only if $X$ is a pseudocompact almost $P$-space, if and only if $C\left(X\right)$ with $r$-topology is connected. We also...

We study an adaptation to the logarithmic case of the Kobayashi-Eisenman pseudo-volume form, or rather an adaptation of its variant defined by Claire Voisin, for which she replaces holomorphic maps by holomorphic $K$-correspondences. We define an intrinsic logarithmic pseudo-volume form ${\Phi }_{X,D}$ for every pair $(X,D)$ consisting of a complex manifold $X$ and a normal crossing Weil divisor $D$ on $X$, the positive part of which is reduced. We then prove that ${\Phi }_{X,D}$ is generically non-degenerate when $X$ is projective...

The symbol ${\left(X_I\right)}_{\kappa }$ (with κ ≥ ω) denotes the space $X_I:={\prod }_{i\in I}{X}_i$ with the κ-box topology; this has as base all sets of the form $U={\prod }_{i\in I}{U}_i$ with $U_i$ open in $X_i$ and with $|i\in I:U_i\ne X_i|<\kappa$. The symbols w, d and S denote respectively the weight, density character and Suslin number. Generalizing familiar classical results, the authors show inter alia: Theorem 3.1.10(b). If κ ≤ α⁺, |I| = α and each $X_i$ contains the discrete space 0,1 and satisfies $w\left(X_i\right)\le \alpha$, then $w\left(X_{\kappa }\right)={\alpha }^{<\kappa }$. Theorem 4.3.2. If $\omega \le \kappa \le \left|I\right|\le 2^{\alpha }$ and $X={\left(D\left(\alpha \right)\right)}^I$ with D(α) discrete, |D(α)| = α, then $d\left({\left(X_I\right)}_{\kappa }\right)={\alpha }^{<\kappa }$. Corollaries 5.2.32(a)...

Let $D_j$ be a bounded hyperconvex domain in ${ℂ}^{n_j}$ and set $D=D₁\times \cdots \times D_s$, j=1,...,s, s ≥ 3. Also let ${\Omega }_{\pi }$ be the image of D under the proper holomorphic map π. We characterize those continuous functions $f:\partial {\Omega }_{\pi }\to ℝ$ that can be extended to a real-valued pluriharmonic function in ${\Omega }_{\pi }$.

Let X be a completely regular Hausdorff space, E and F be Banach spaces. Let $C_b(X,E)$ be the space of all E-valued bounded continuous functions on X, equipped with the strict topology β. We study topological properties of the space $L_{\beta }(C_b(X,E),F)$ of all $(\beta ,|\left|·\right|{|}_F)$-continuous linear operators from $C_b(X,E)$ to F, equipped with the topology ${\tau }_s$ of simple convergence. If X is a locally compact paracompact space (resp. a P-space), we characterize ${\tau }_s$-compact subsets of $L_{\beta }(C_b(X,E),F)$ in terms of properties of the corresponding sets of the representing...

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Consider the family uₜ = Δu + G(u), t > 0, $x\in {\Omega }_{\epsilon }$, ${\partial }_{{\nu }_{\epsilon }}u=0$, t > 0, $x\in \partial {\Omega }_{\epsilon }$, $\left(E_{\epsilon }\right)$ of semilinear Neumann boundary value problems, where, for ε > 0 small, the set ${\Omega }_{\epsilon }$ is a thin domain in ${ℝ}^l$, possibly with holes, which collapses, as ε → 0⁺, onto a (curved) k-dimensional submanifold of ${ℝ}^l$. If G is dissipative, then equation $\left(E_{\epsilon }\right)$ has a global attractor ${}_{\epsilon }$. We identify a “limit” equation for the family $\left(E_{\epsilon }\right)$, prove convergence of trajectories and establish an upper semicontinuity result for the family ${}_{\epsilon }$ as ε → 0⁺. ...

CONTENTSIntroduction................................................................................................................................................................................3I. General properties of k-to-one functions on locally compact spaces1. Multi-valued functions Ф and ψ......................................................................................................................................... 62. The proof of (I.11)..................................................................................................................................................................

Let X be a Riemann domain over ${ℂ}^k\times {ℂ}^{\ell }$. If X is a domain of holomorphy with respect to a family ℱ ⊂(X), then there exists a pluripolar set $P\subset {ℂ}^k$ such that every slice $X_a$ of X with a∉ P is a region of holomorphy with respect to the family ${f|}_{X_a}:f\in ℱ$.

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

For each n ≥ 1, let $v_{n,k},k\ge 1$ and $u_{n,k},k\ge 1$ be mutually independent sequences of nonnegative random variables and let each of them consist of mutually independent and identically distributed random variables with means v̅ₙ and u̅̅ₙ, respectively. Let $X{ₙ}^B\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(v_{n,j}-v̅ₙ)$, $X{ₙ}^A\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(u_{n,j}-u̅̅ₙ)$, t ≥ 0, and $Xₙ=X{ₙ}^B-X{ₙ}^A$. The main result gives conditions under which the weak convergence $Xₙ\stackrel{}{\to }X$, where X is a Lévy process, implies $X{ₙ}^B\stackrel{}{\to }{X}^B$ and $X{ₙ}^A\stackrel{}{\to }{X}^A$, where $X^B$ and $X^A$ are mutually independent Lévy processes and $X=X^B-X^A$.

CONTENTSIntroduction................................................................................................................................... 5 Notations.......................................................................................................................... 5§ 1. Preliminaries........................................................................................................................ 6 1. Right invertible operators.....................................................................................................

CONTENTS1. Introduction...................................................................................................... 52. Notation and basic terminology........................................................................... 73. Definition and basic properties of the $L_{p,q}$ spaces................................. 114. Integral representation of bounded linear functionals on $L_{p,q}\left(B\right)$........ 235. Examples in $L_{p,q}$ theory...................................................................................

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

We characterise the boundedness of the $H^{\infty }$ calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if $-A$ generates a bounded analytic $C_0$ semigroup $\left(T_t\right)$ on a UMD space, then the $H^{\infty }$ calculus of $A$ is bounded if and only if $\left(T_t\right)$ has a dilation to a bounded group on $L^2([0,1],X)$. This generalises a Hilbert space result of C.LeMerdy. If $X$ is an $L^p$ space we can choose another $L^p$ space in place of $L^2([0,1],X)$.

The aim of this paper is to show that for every Banach space $(X,\parallel ·\parallel )$ containing asymptotically isometric copy of the space $c_0$ there is a bounded, closed and convex set $C\subset X$ with the Chebyshev radius $r\left(C\right)=1$ such that for every $k\ge 1$ there exists a $k$-contractive mapping $T:C\to C$ with $\parallel x-Tx\parallel >1-1/k$ for any $x\in C$.

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

Let $k$ be a field of characteristic $p\&gt;0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

CONTENTSIntroduction.......................................................................................61. Definition of certain special forms...........................................62. Statement of results...................................................................83. Proof of Theorem 2.....................................................................94. Preliminaries for Theorem 1.....................................................105. Further preliminaries for Theorem...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${\left({\lambda }_j\right)}_{j=1}^{\infty }$ is a sequence of distinct positive numbers. Then $span1,x^{\lambda ₁},x^{\lambda ₂},...$ is dense in C[0,1] if and only if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)=\infty$. Moreover, if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)<\infty$, then every function from the C[0,1] closure of $span1,x^{\lambda ₁},x^{\lambda ₂},...$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...