English
Related papers

Related papers: Mitchell's Theorem Revisited

200 papers

Let M be a compact manifold with boundary. In this paper, we discuss some rigidity theorems of metrics in a same conformal class that fixes the boundary and satisfy certain integral conditions on the the scalar curvatures and the mean…

Differential Geometry · Mathematics 2014-11-26 Ezequiel Barbosa , Heudson Mirandola , Feliciano Vitorio

A classical theorem of Frankel for compact K\"ahler manifolds states that a K\"ahler S^1-action is Hamiltonian if and only if it has fixed points. We prove a metatheorem which says that when Hodge theory holds on non-compact manifolds, then…

Symplectic Geometry · Mathematics 2015-06-18 Rafe Mazzeo , Álvaro Pelayo , Tudor Ratiu

Answering questions raised in \cite{Leonetti, Uzcategui} we characterize ideals $\mathcal I\subseteq \mathcal P(\omega)$ such that $c_{0,\mathcal I}$ is complemented in $\ell_\infty$ as exactly those ideals for which the space $K_{\mathcal…

Functional Analysis · Mathematics 2025-12-02 Michael Hrušák , Luis Sáenz

It is a well-known result in pointfree topology that every locally compact frame is spatial. Whether this result extends to MT-algebras (McKinsey-Tarski algebras) was an open problem. We resolve it in the negative by constructing a locally…

General Topology · Mathematics 2025-08-05 G. Bezhanishvili , S. D. Melzer , R. Raviprakash , A. L. Suarez

We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the…

Logic · Mathematics 2025-06-17 Stefan Hoffelner , Paul Larson , Ralf Schindler , Liuzhen Wu

A topological space $Y$ is said to have (AEEP) if the following condition is fulfilled. Whenever $(X,\mathfrak{M})$ is a measurable space and $f, g: X \to Y$ are two measurable functions, then the set $\Delta(f,g) = \{x \in X:\ f(x) =…

General Topology · Mathematics 2014-11-03 Piotr Niemiec

A stationary subset $S$ of a regular uncountable cardinal $\kappa$ {\it reflects fully} at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an $\alpha \in T$…

Logic · Mathematics 2008-02-03 Thomas Jech , Jiří Witzany

Smallish large cardinals $\kappa$ are often characterized by the existence of a collection of filters on $\kappa$, each of which is an ultrafilter on the subsets of $\kappa$ of some transitive $\mathrm{ZFC}^-$-model of size $ \kappa$. We…

Logic · Mathematics 2021-05-14 Erin Carmody , Victoria Gitman , Miha E. Habič

The Mycielski ideal M_k is defined to consist of all sets A subseteq k^omega such that {f restriction X: f in A} not= k^X for all X in [omega]^{aleph_0}. It will be shown that the covering numbers for these ideals are all equal. However,…

Logic · Mathematics 2016-09-07 Saharon Shelah , Juris Steprāns

Given an anisotropic integrand $F:\text{Gr}_k(\mathbb R^n)\to(0,\infty)$, we can generalize the classical isotropic area by looking at the functional $$\mathcal{F}(\Sigma^k):=\int_\Sigma F(T_x\Sigma)\,d\mathcal{H}^k.$$ While a monotonicity…

Analysis of PDEs · Mathematics 2026-03-20 Guido De Philippis , Alessandro Pigati

We give a counterexample to a conjecture of S.E. Morris by showing that there is a compact plane set X such that R(X) has no non-zero, bounded point derivations but such that R(X) is not weakly amenable. We also give an example of a…

Functional Analysis · Mathematics 2007-05-23 J. F. Feinstein

We provide a counterexample to the Category Dichotomy in the framework of $\textsf{ZFC}$. That is, we prove the existence of an ideal on $\omega$ that is not Kat\v{e}tov below $\mathsf{nwd}$ and does not have restrictions above…

Logic · Mathematics 2026-01-09 Alan Dow , Raul Figueroa-Sierra , Osvaldo Guzmán , Michael Hrušák

Given an uncountable cardinal $\kappa$, we consider the question of whether subsets of the power set of $\kappa$ that are usually constructed with the help of the Axiom of Choice are definable by $\Sigma_1$-formulas that only use the…

Logic · Mathematics 2023-09-20 Philipp Lücke , Sandra Müller

We prove a number of results on the \'etale cohomology of rigid analytic varieties over $p$-adic non-archimedean local fields. Among other things, we establish bounds for Frobenius eigenvalues, show a strong version of Grothendieck's local…

Algebraic Geometry · Mathematics 2025-07-21 David Hansen , Bogdan Zavyalov

I show that it is consistent relative to the consistency of a Mahlo cardinal that Martin's axiom holds at $\omega_2$, but the weak Kurepa Hypothesis fails. This answers a question posed by Honzik, Lambie-Hanson and Stejskalov\'a. The…

Logic · Mathematics 2024-11-12 Rahman Mohammadpour

Suitable reachability conditions can make two different fixed point semantics of a transition system coincide. For instance, the total and partial expected reward semantics on Markov chains (MCs) coincide whenever the MC at hand is almost…

Logic in Computer Science · Computer Science 2025-09-08 Mayuko Kori , Kazuki Watanabe , Jurriaan Rot

Let I be an open interval, M be a real manifold, T*M its cotangent bundle and \Phi={\phi_t}, t in I, a homogeneous Hamiltonian isotopy of T*M defined outside the zero-section. Let \Lambda be the conic Lagrangian submanifold associated with…

Symplectic Geometry · Mathematics 2019-12-19 Stephane Guillermou , Masaki Kashiwara , Pierre Schapira

A topological space is said to be cardinality homogeneous if every nonempty open subset has the same cardinality as the space itself. Let $X$ and $Y$ be cardinality homogeneous metric spaces of the same cardinality. If there exists a…

Metric Geometry · Mathematics 2025-12-30 S. A. Bogatyi , E. A. Reznichenko , A. A. Tuzhilin

Let $\mathcal M_X$ denote the ideal of meager subsets of a topological space $X$. We prove that if $X$ is a completely metrizable space without isolated points, then the smallest cardinality of a non-meager subset of $X$, denoted…

General Topology · Mathematics 2023-11-20 Will Brian

For a large family of stationary continuous Gaussian fields $f$ on $\mathbb{R}^d$, including the Bargmann-Fock and Cauchy fields, we prove that there exists at most one unbounded connected component in the level set $\{f=\ell\}$ (as well as…

Probability · Mathematics 2023-08-29 Franco Severo