相关论文: Trivial Jensen measures without regularity

We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $\Pi^1_2$ set of reals containing no ordinal-definable real.

A generalization of the Lebesgue number lemma is obtained. It is proved that, if each countably infinite locally finite open cover of a chainable metric space $X$ has a Lebesgue number, then $X$ is totally bounded. A property of metric…

Given a reduced local algebra $T$ over a suitable ring or field $k$ we study the question of whether there are nontrivial algebra surjections $R\to T$ which induce isomorphisms $\Omega_{R/k}\otimes T \to \Omega_{T/k}$. Such maps, called…

In the real-analytic setting, we show that all sub-Riemannian minimizers (parametrized by the arc-length) are real-analytic everywhere except an at most countable non-dense set. In particular, non-analyticity may occur only on a set of…

Let $p$ be a real number greater than one and let $X$ be a locally compact, noncompact metric measure space that satisfies certain conditions. The $p$-Royden and $p$-harmonic boundaries of $X$ are constructed by using the $p$-Royden algebra…

Let $S$ be the set of subsequences $(x_{n_k})$ of a given real sequence $(x_n)$ which preserve the set of statistical cluster points. It has been recently shown that $S$ is a set of full (Lebesgue) measure. Here, on the other hand, we prove…

For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…

Given $n\in\mathbb{N}$ any point on the closed unit disk $\overline{\mathbb{D}}$ can be written as the average of $n$ points on the unit circle $\mathbb{S}^1$. Here we discuss a non-commutative version of this result. We prove that for any…

Let $\mathfrak{g}$ be a compact, simple Lie algebra of dimension $d$. It is a classical result that the convolution of any $d$ non-trivial, $G$ -invariant, orbital measures is absolutely continuous with respect to Lebesgue measure on…

Regular algebraic surfaces isogenous to a higher product of curves can be obtained from finite groups with ramification structures. We find unmixed ramification structures for finite groups constructed as p-quotients of particular infinite…

Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…

In this article, we will characterize regular points respectively by the local vanishing, positivity of the Ricci curvature and $L^2$-solvability of the $\overline\partial$-equation together with Skoda's theorem for Nadel-Lebesgue…

In this paper, we shall study categorial properties of the hyperspace of all nontrivial convergent sequences $\mathcal{S}_c(X)$ of a Fre\'ech-Urysohn space $X$, this hyperspace is equipped with the Vietoris topology. We mainly prove that…

Building on work of Baldwin and Beaudoin, assuming Martin's Axiom, we construct a zero-dimensional separable metrizable space $X$ such that $X$ is countable dense homogeneous while $X^2$ is not. It follows from results of Hru\v{s}\'ak and…

Phenomena with a constrained sample space appear frequently in practice. This is the case e.g. with strictly positive data and with compositional data, like percentages and the like. If the natural measure of difference is not the absolute…

Let $X$ be a variety over $\mathbb Q$. We introduce a geometric non-degenerate criterion for $X$ using moduli spaces $M$ over $\mathbb Q$ of abelian varieties. If $X$ is non-degenerate, then we construct via $M$ an open dense moduli space…

We consider one dimensional maps with several neutral fixed points that do not admit any physical measures. We show that there is simplex of measures so that every measure in this simplex has a basin which has full Hausdorff dimension.

It is shown, under the assumption of Jensen's principle $\lozenge$, that if for a complex L with $[L] \geq [S^{4}]$ there exists a metrizable compactum whose extension dimension is L, then there exists a differentiable, countably compact,…

In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e.,…

We show that the $F$-jumping numbers of a pair $(X, \mathfrak a)$ in positive characteristic have no limit points whenever the symbolic Rees algebra of $-K_X$ is finitely generated outside an isolated collection of points. We also give a…