Related papers: On $q$-complete and $q$-concave with corners compl…
We prove two main results on Denjoy-Carleman classes: (1) a composite function theorem which asserts that a function f(x) in a quasianalytic Denjoy-Carleman class Q, which is formally composite with a generically submersive mapping y=h(x)…
Given a vector bundle $\mathcal E$ on a connected compact complex manifold $X$, [FLS] use a notion of completed Hochschild homology $\hat{\text{HH}}$ of $\text{Diff}(\mathcal E)$ such that $\hat{\text{HH}}_0(\text{Diff}(\mathcal E))$ is…
We prove the following result: For each closed $n$-dimensional manifold $M$ in a (finite or infinite-dimensional) Banach space $B$, and each positive real $m\leq n$ there exists a pseudomanifold $W^{n+1}\subset B$ such that $\partial…
We study some closely interrelated notions of Homological Algebra: (1) We define a topology on modules over a not-necessarily commutative ring $R$ that coincides with the $R$-topology defined by Matlis when $R$ is commutative. (2) We…
A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…
Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and…
Theorem (uniformization). Let X be a compact Kahler manifold of dimension n with large, residually finite and nonamenable fundamental group. Then its universal covering is a bounded domain in the n-dimensional affine space.
Given some integer $m \geq 3$, we find the first explicit collection of countably many intervals in $(1,2)$ such that for any $q$ in one of these intervals, the set of points with exactly $m$ base $q$ expansions is nonempty and moreover has…
Let $\mathfrak{a}$ be a proper ideal of a commutative noetherian ring $R$ and $d$ a positive integer. We answer Hartshorne's question on cofinite complexes completely in the cases $\mathrm{dim}R=d$ or $\mathrm{dim}R/\mathfrak{a}=d-1$ or…
We first notice in this article that if a compact K\"{a}hler manifold has the same integral cohomology ring and Pontrjagin classes as the complex projective space $\mathbb{C}P^n$, then it is biholomorphic to $\mathbb{C}P^n$ provided $n$ is…
In this note, we generalize Gromov's reduction \cite{Gro20} from the aspherical conjecture to the generalized filling radius conjecture to the smooth $\mathbb Q$-homology vanishing conjecture for hypersurface. In particular, we can show…
We study productive properties of gamma spaces, and their relation to other, classic and modern, selective covering properties. Among other things, we prove the following results: 1. Solving a problem of F. Jordan, we show that for every…
We prove the compactness of solutions to general fourth order elliptic equations which are L^1-perturbations of the Q-curvature equation on compact Riemannian 4-maniods. Consequently, we prove the global existence and convergence of the…
The main result of this paper is that, under PFA, for every {\em regular} space $X$ with $F(X) = \omega$ we have $|X| \le w(X)^\omega$; in particular, $w(X) \le \mathfrak{c}$ implies $|X| \le \mathfrak{c}$. This complements numerous prior…
Let $M$ be an $n$-dimensional compact connected manifold with boundary, $\kappa>0$ a constant and $1\leq q\leq n-1$ an integer. We prove that $M$ supports a Riemannian metric with the interior $q$-curvature $K_q\geq -q\kappa^2$ and the…
For an arithmetic surface X and a Weil divisor $D$, there are natural arithmetic cohomology groups $H_{\mathrm{ar}}^i(X, \mathcal O_X (D))$ $(i=0,1,2)$. Using ind-pro topology on adelic space $\mathbb A_{X, 012}^{\mathrm{ar}}$, we show that…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
In a previous work we constructed the $Q$-shaped derived category of any ring $A$ for any suitably nice category $Q$. The $Q$-shaped derived category of $A$, which is denoted by $\mathcal{D}_{Q}(A)$, is a generalization of the ordinary…
An infinite $(p,q)$-theorem, or an $(\aleph_0,q)$-theorem, involving two families $\mathcal{F}$ and $\mathcal{G}$ of sets, states that if in every infinite subset of $\mathcal{F}$, there are $q$ sets that are intersected by some set in…
We give a complete characterization of compact sets with positive reach (=proximally $C^1$ sets) in the plane and of one-dimensional sets with positive reach in ${\mathbb R}^d$. Further, we prove that if $\emptyset \neq A\subset{\mathbb…