Related papers: Some results on separate and joint continuity

A function $f$ on a topological space is sequentially continuous at a point $u$ if, given a sequence $(x_{n})$, $\lim x_{n}=u$ implies that $\lim f(x_{n})=f(u)$. This definition was modified by Connor and Grosse-Erdmann for real functions…

In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet…

For a Tychonoff space $X$, we denote by $C_k(X)$ the space of all real-valued continuous functions on X with the compact-open topology. In this paper, we have gave characterization for $C_k(X)$ to satisfy $S_{fin}(S, S)$.

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if $\mathcal{C}$ is a category that satisfies the axioms then so too is the category $[ G, \mathcal{C}]$ of…

We prove two theorems about differentiable functions on the Banach space C(K), where K is compact. (i) If C(K) admits a non-trivial function of class C^m and of bounded support, then all continuous real-valued functions on C(K) may be…

We prove that Keimel and Lawson's K-completion Kc of the simple valuation monad Vs defines a monad Kc o Vs on each K-category A. We also characterize the Eilenberg-Moore algebras of Kc o Vs as the weakly locally convex K-cones, and its…

Generalizations of the theorems of Eberlein and Grothendieck on the precompactness of subsets of function spaces are considered: if $X$ is a countably compact space and $C_p(X)$ is a space of continuous functions in the pointwise topology…

We study the Jacobian conjecture for Keller maps $f:X_0:=\mathbf{A}^n\rightarrow Y_0:=\mathbf{A}^n$ in characteristic $0$ and attempt to prove it. We are quite aware of the fact that many people have tried to prove the Jacobian conjecture…

On $\mathbb R^N$ equipped with a root system $R$, multiplicity function $k \geq 0$, and the associated measure $dw(\mathbf{x})=\prod_{\alpha \in R}|\langle \mathbf{x},\alpha\rangle|^{k(\alpha)}\,d\mathbf{x}$, we consider a (non-radial)…

We compute the Galois group of the splitting field $F$ of any irreducible and separable polynomial $f(x)=x^6+ax^3+b$ with $a,b\in K$, a field with characteristic different from two. The proofs require to distinguish between two cases:…

We show that for any separably closed field $k$ of characteristic $p>0$, the canonical functor from nilpotent $p$-adic spaces to $\mathbb{E}_{\infty}$-coalgebras over $k$ (given by singular chains with coefficients in $k$) is fully…

This paper is inspired by the paper of Leonetti, Russo and Somaglia [\textit{Dense lineability and spaceability in certain subsets of $\ell_\infty$.} Bull. London Math. Soc., 55: 2283--2303 (2023)] and the lineability problems raised…

Let $K$ be a number field not containing a CM subfield. For any smooth projective curve $Y/K$ of genus $\geq2$, we prove that the image of the "Selmer" part of Grothendieck's section set inside the $K_v$-rational points $Y(K_v)$ is finite…

In this note, we continue to highlight some applications of Theorem 1 of [3]. Here is a sample: Let $X$ be an open set in ${\bf C}^n$, $\Omega$ an open convex set in ${\bf C}$ and $f, g : X\to {\bf C}$ two holomorphic functions such that…

The critical loci of a map $f:X\to Y$ between smooth schemes over a field $k$ are the locally closed subschemes $\Sigma^i(f)\subseteq X$ where the differential of $f$ has constant rank. We prove that if $f : X\to \mathbb A^r$ is the general…

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

We consider how the outputs of the Kadison transitivity theorem and Gelfand-Naimark-Segal construction may be obtained in families when the initial data are varied. More precisely, for the Kadison transitivity theorem, we prove that for any…

A recent result of Frantzikinakis establishes sufficient conditions for joint ergodicity in the setting of $\mathbb{Z}$-actions. We generalize this result for actions of second-countable locally compact abelian groups. We obtain two…

Let $X$ be a normal projective variety admitting a polarized endomorphism $f$, i.e., $f^*H\sim qH$ for some ample divisor $H$ and integer $q>1$. Then Broustet and Gongyo proposed the conjecture that $X$ is of Calabi-Yau type (CY for short),…