Related papers: When does $\aleph_1$-categoricity imply $\omega$-s…

In this paper, by introducing a wider class of one-parameter group actions for test configurations, we have a stronger form of the definition of K-stability. This allows us to obtain some key step of my preceding work in proving that…

Let $\mathcal{H}_0$ denote the set of all sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\ID$, normalized with $h(0)=g(0)=g'(0)=0$ and $h'(0)=1$. In this paper, we investigate some properties of certain subclasses…

We prove the existence and uniqueness of geometric models of local isometry classes of locally homogeneous spaces with sectional curvature $|\operatorname{sec}|\leq 1$. Moreover, we show that the set of geometric models is compact in the…

We consider the category of presheaves of Gamma-spaces, or equivalently, of Gamma-objects in simplicial presheaves. Our main result is the construction of stable model structures on this category parametrised by local model structures on…

We study relationships between certain algebraic properties of groups and rings definable in a first order structure or $*$-closed in a compact $G$-space. As a consequence, we obtain a few structural results about $\omega$-categorical rings…

A new case of Shelah's eventual categoricity conjecture is established: $\mathbf{Theorem}$ Let $K$ be an AEC with amalgamation. Write $H_2 := \beth_{\left(2^{\beth_{\left(2^{\text{LS} (K)}\right)^+}}\right)^+}$. Assume that $K$ is…

In the original version of this paper, we assume a theory $T$ that the logic $\mathbb L_{\kappa, \aleph_{0}}$ is categorical in a cardinal $\lambda > \kappa$, and $\kappa$ is a measurable cardinal. There we prove that the class of model of…

We apply a general formalism for the improved effective potential with several mass scales to compute the scale M of new physics which is needed to stabilize the Standard Model potential in the presence of a light Higgs. We find, by…

Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…

The stability of the minisuperspace model of the early universe is studied by solving the Wheeler-DeWitt equation numerically. We consider a system of Einstein gravity with a scalar field. When we solve the Wheeler-DeWitt equation, we pick…

I present a proof of Kirchberg's classification theorem: two separable, nuclear, $\mathcal O_\infty$-stable $C^\ast$-algebras are stably isomorphic if and only if they are ideal-related $KK$-equivalent. In particular, this provides a more…

This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a…

We show that any extremal contraction from a smooth projective variety with dimension less than or equal to three appears as a moduli space of (semi)stable objects in the derived category of coherent sheaves.

We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…

We discuss an instability in a large class of models where dark energy is coupled to matter. In these models the mass of the scalar field is much larger than the expansion rate of the Universe. We find models in which this instability is…

In this paper we study expansions of infinite dimensional Hilbert spaces with a unitary representation of a discrete countable group. When the group is finite, we prove the theory of the corresponding expansion, regardless if it is…

Inspired by the classical category theorems of Halmos and Rohlin for the discrete measure preserving transformations, we prove analogous results in the abstract setting of unitary and isometric C_0-semigroups on a separable Hilbert space.…

lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…

We show that, under the assumption of the existence of $M_1^{\#}$, there exists a model on which the restricted nonstationary ideal $\hbox{NS} \upharpoonright A$ is $\aleph_2$-saturated, for $A$ a stationary co-stationary subset of…

We study the notions generic stability, regularity, homogeneous pregeometries, quasiminimality, and their mutual relations, in an arbitrary first order theory T. We prove that "infinite-dimensional homogeneous pregeometries" coincide with…