相关论文: Homogeneously Souslin sets in small inner models

Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…

Let "ex" be the cardinality of the smallest independent family of subsets of omega (independent means that all nontrivial Boolean combinations are infinite) which cannot be extended to a homogeneous independent family. "Homogeneous" means…

Let K be an algebraically closed field of characteristic zero, endowed with a complete nonarchimedean norm. Let X be a K-rigid analytic variety and \Sigma a semianalytic subset of X. Then the closure of \Sigma in X with respect to the…

Given two homogeneous spaces of the form G_1/K and G_2/K, where G_1 and G_2 are compact simple Lie groups, we study the existence problem for G_1xG_2-invariant Einstein metrics on the homogeneous space M=G_1xG_2/K. For the large subclass C…

Cocompactness is a property of embeddings between two Banach spaces, similar to but weaker than compactness, defined relative to some non-compact group of bijective isometries. In presence of a cocompact embedding, bounded sequences (in the…

We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopenka's principle) is assumed true. It…

We consider the Sobolev type spaces $H^\sigma(K)$ with $\sigma\geq 0$, where $K$ is a post-critically finite self-similar set with the natural boundary. Firstly, we compare different classes of Sobolev spaces $H^\sigma_N(K),H^\sigma_D(K)$…

We study Einstein metrics on complex projective spaces that are invariant under cohomogeneity one actions of compact connected Lie groups, under the assumption that the singular orbits are totally geodesic. These actions were classified by…

We present a short complete proof of the existence of the normal cycle of a compact subanalytic set. The approach is inspired by some old ides of Joseph Fu, uses Morse theoretic techniques and $o$-minimal topology.

Let G be a locally compact group, and let U be its unitary representation on a Hilbert space H. Endow the space L(H) of linear bounded operators on H with weak operator topology. We prove that if U is a measurable map from G to L(H) then it…

We construct a connected, compact set $K \subset \mathbb{C}^2$ with the following property: there exist points $p \in \hat{K} \setminus K$ such that there does not exist a sequence $\{A_\nu\}$ of analytic sets $A_\nu \subset\subset…

We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of "every locally compact, perfectly normal space is paracompact".

We show that if a compact complex manifold admits a K\"ahler metric whose holomorphic sectional curvature is everywhere non positive and strictly negative in at least one point, then its canonical bundle is positive.

Let $L$ be a compact oriented Lagrangian surface in a K\"ahler surface endowed with a complete Riemannian metric (compatible with the symplectic structure and the complex structure) with bounded sectional curvatures and a positive lower…

For every ballean $X$ we introduce two cardinal characteristics $cov^\flat(X)$ and $cov^\sharp(X)$ describing the capacity of balls in $X$. We observe that these cardinal characteristics are invariant under coarse equivalence and prove that…

We construct a new class of scalar noncommutative multi-solitons on an arbitrary Kahler manifold by using Berezin's geometric approach to quantization and its generalization to deformation quantization. We analyze the stability condition…

We prove some properties of analytic multiplicative and sub-multiplicative cocycles. The results allow to construct natural invariant analytic sets associated to complex dynamical systems.

Let ${\mathcal S}(\R)$ be an o-minimal structure over $\R$, $T \subset \R^{k_1+k_2+\ell}$ a closed definable set, and $$ \displaylines{\pi_1: \R^{k_1+k_2+\ell}\to \R^{k_1 + k_2}, \pi_2: \R^{k_1+k_2+\ell}\to \R^{\ell}, \ \pi_3: \R^{k_1 +…

In this work we establish a connection between copositivity, that is, nonnegativity on the positive orthant, of sparse real Laurent polynomials and discriminants. Specifically, we consider Laurent polynomials in the positive orthant with…

The classification of compact homogeneous spaces of the form $M=G/K$, where $G$ is a non-simple Lie group, such that the standard metric is Einstein is still open. The only known examples are $4$ infinite families and $3$ isolated spaces…