Related papers: Simultaneously nonvanishing higher derived limits
We prove an integral inequality and two stability results for the ADM mass on AE K\"ahler manifolds of all complex dimensions. The inequality bounds the ADM mass from below by an integral of the scalar curvature and the Hessian of certain…
Heged\H{u}s's lemma is the following combinatorial statement regarding polynomials over finite fields. Over a field $\mathbb{F}$ of characteristic $p > 0$ and for $q$ a power of $p$, the lemma says that any multilinear polynomial $P\in…
We prove without any assumption on the ground field that higher Hochschild homology groups do not vanish for two large classes of algebras whose global dimension in not finite.
An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an…
For a closed densely defined operator $T$ from a Hilbert space $\mathfrak{H}$ to a Hilbert space $\mathfrak{K}$, necessary and sufficient conditions are established for the factorization of $T$ with a bounded nonnegative operator $X$ on…
This paper studies well-defindness and convergence of subdivision schemes which operate on Riemannian manifolds with nonpositive sectional curvature. These schemes are constructed from linear ones by replacing affine averages by the…
For a wide class of Dirichlet series associated to automorphic forms, we show that those without Euler products must have zeros within the region of absolute convergence. For instance, we prove that if f is a classical holomorphic modular…
An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…
We give a derivative version of the relative trace formula on PGL(2) studied in our previous work, and obtain a formula of an average of central values (derivatives) of automorphic $L$-functions for Hilbert cusp forms. As an application, we…
Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper…
We succeed in writing 2-dimensional conformally invariant non-linear elliptic PDE (harmonic map equation, prescribed mean curvature equations...etc) in divergence form. This divergence free quantities generalize to target manifolds without…
For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…
We study the higher derived functors of the inverse limit of a functor F: D --> Z_{(p)}-mod, where D is one of the standard categories which arise when studying the homotopy theory of the classifying space of a finite group G, e.g., the…
We study the symmetric subquotient decomposition of the associated graded algebras $A^*$ of a non-homogeneous commutative Artinian Gorenstein (AG) algebra $A$. This decomposition arises from the stratification of $A^*$ by a sequence of…
Let $\lambda$ denote the Liouville function. We show that for all sufficiently large integers $N$, the (non-trivial) convolution sum bound $$ \left|\sum_{1 \leq n < N} \lambda(n) \lambda(N-n)\right| < N-1 $$ holds. This (essentially)…
We produce longtime solutions to the K\"ahler-Ricci flow for complete K\"ahler metrics on $\Bbb C ^n$ without assuming the initial metric has bounded curvature, thus extending results in [3]. We prove the existence of a longtime bounded…
We prove a quantitative distortion theorem for iterated function systems that generate sets of continued fractions. As a consequence, we obtain upper and lower bounds on the Hausdorff dimension of any set of real or complex continued…
We prove that when Hodge theory survives on non-compact symplectic manifolds, a compact symplectic Lie group action having fixed points is necessarily Hamiltonian, provided the associated almost complex structure preserves the space of…
For a Serre subcategory $\mathscr L$ and a resolving subcategory $\mathscr A$ of an abelian category, we show that the derived equivalence $D^b(\overline{\mathscr A} \cap \mathscr L) \simeq D^b_{\mathscr L}(\mathscr A)$ holds under certain…
We consider vanishing properties of exponential sums of the Liouville function $\lambda$ of the form $$ \lim_{H\to\infty}\limsup_{X\to\infty}\frac{1}{\log X}\sum_{m\leq X}\frac{1}{m}\sup_{\alpha\in C}\bigg|\frac{1}{H}\sum_{h\leq…