-
On stationary Navier-Stokes equations in the upper-half plane
Authors:
Adrian D. Calderon,
Van Le,
Tuoc Phan
Abstract:
We study the incompressible stationary Navier-Stokes equations in the upper-half plane with homogeneous Dirichlet boundary condition and non-zero external forcing terms. Existence of weak solutions is proved under a suitable condition on the external forces. Weak-strong uniqueness criteria based on various growth conditions at the infinity of weak solutions are also given. This is done by employin…
▽ More
We study the incompressible stationary Navier-Stokes equations in the upper-half plane with homogeneous Dirichlet boundary condition and non-zero external forcing terms. Existence of weak solutions is proved under a suitable condition on the external forces. Weak-strong uniqueness criteria based on various growth conditions at the infinity of weak solutions are also given. This is done by employing an energy estimate and a Hardy's inequality. Several estimates of stream functions are carried out and two density lemmas with suitable weights for the homogeneous Sobolev space on 2 dimensional space are proved.
△ Less
Submitted 31 May, 2023;
originally announced June 2023.
-
Borel's conjecture and meager-additive sets
Authors:
Daniel Calderón
Abstract:
We prove that it is relatively consistent with $\mathrm{ZFC}$ that every strong measure zero subset of the real line is meager-additive while there are uncountable strong measure zero sets (i.e., Borel's conjecture fails). This answers a long-standing question due to Bartoszyński and Judah.
We prove that it is relatively consistent with $\mathrm{ZFC}$ that every strong measure zero subset of the real line is meager-additive while there are uncountable strong measure zero sets (i.e., Borel's conjecture fails). This answers a long-standing question due to Bartoszyński and Judah.
△ Less
Submitted 5 April, 2021; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Can you take Akemann--Weaver's $\diamondsuit_{\aleph_1}$ away?
Authors:
Daniel Calderón,
Ilijas Farah
Abstract:
By Glimm's dichotomy, a separable, simple $\textrm{C}^*$-algebra has continuum-many unitarily inequivalent irreducible representations if, and only if, it is non-type I while all of its irreducible representations are unitarily equivalent if, and only if, it is type I. Naimark asked whether the latter equivalence holds for all $\textrm{C}^*$-algebras.
In 2004, Akemann and Weaver gave a negative…
▽ More
By Glimm's dichotomy, a separable, simple $\textrm{C}^*$-algebra has continuum-many unitarily inequivalent irreducible representations if, and only if, it is non-type I while all of its irreducible representations are unitarily equivalent if, and only if, it is type I. Naimark asked whether the latter equivalence holds for all $\textrm{C}^*$-algebras.
In 2004, Akemann and Weaver gave a negative answer to Naimark's problem, using Jensen's diamond axiom $\diamondsuit_{\aleph_1}$, a powerful diagonalization principle that implies the Continuum Hypothesis ($\mathsf{CH}$). By a result of Rosenberg, a separably represented simple $\textrm{C}^*$-algebra with a unique irreducible representation is necessarily of type I. We show that this result is sharp by constructing an example of a separably represented, simple $\textrm{C}^*$-algebra that has exactly two inequivalent irreducible representations, and therefore does not satisfy the conclusion of Glimm's dichotomy. Our construction uses a weakening of Jensen's $\diamondsuit_{\aleph_1}$, denoted $\diamondsuit^\mathsf{Cohen}$, that holds in the original Cohen's model for the negation of $\mathsf{CH}$. We also prove that $\diamondsuit^\mathsf{Cohen}$ suffices to give a negative answer to Naimark's problem. Our main technical tool is a forcing notion that generically adds an automorphism of a given $\textrm{C}^*$-algebra with a prescribed action on its space of pure states.
△ Less
Submitted 13 November, 2022; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Ramsey subsets of the space of infinite block sequences of vectors
Authors:
Daniel Calderon,
Carlos Di Prisco,
Jose G. Mijares
Abstract:
We study families of infinite block sequences of elements of the space $\FIN_k$. In particular we study Ramsey properties of such families and Ramsey properties localized to a selective or semiselective coideal. We show how the stable ordered-union ultrafilters defined by Blass, and Matet-adequate families defined by Eisworth in the case $k=1$ fit in the theory of the Ramsey space of infinite bloc…
▽ More
We study families of infinite block sequences of elements of the space $\FIN_k$. In particular we study Ramsey properties of such families and Ramsey properties localized to a selective or semiselective coideal. We show how the stable ordered-union ultrafilters defined by Blass, and Matet-adequate families defined by Eisworth in the case $k=1$ fit in the theory of the Ramsey space of infinite block sequences of finite sets of natural numbers.
△ Less
Submitted 23 October, 2018;
originally announced October 2018.