Related papers: A remark on Whitehead's Lemma

We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…

We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat…

We explain a correct proof of the decomposition theorem for direct images of constant Hodge modules by proper K\"ahler morphisms of complex manifolds. We also give some examples showing certain difficulty in the non-constant Hodge module…

In this note, we explain that Ross-Thomas' result on the weighted Bergman kernels on orbifolds can be directly deduced from our previous result. This result plays an important role in the companion paper to prove an orbifold version of…

We show that the splitting-characterization of the Poisson point process is an immediate consequence of the Mecke-formula.

We provide a proof of Wilson's Theorem and Wolstenholme's Theorem based on a direct approach by Lagrange requiring only basic properties of the primes and the Binomial theorem. The goal is to show how similar the two theorems are by…

Haga's fold in paper folding is generalized. Recent generalization of Haga's theorems and problems in Wasan geometry involving Haga's fold are also generalized.

Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important…

We give a simple proof of a crucial lemma that is established in [1, Lemma 2.1] by induction, and plays important roles in that paper and [2].

Let $f$ and $g$ be two modular forms which are non-ordinary at $p$. The theory of Beilinson-Flach elements gives rise to four rank-one non-integral Euler systems for the Rankin-Selberg convolution $f \otimes g$, one for each choice of…

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

We compute $\delta$-derivations of simple Jordan algebras with values in irreducible bimodules. They turn out to be either ordinary derivations ($\delta = 1$), or scalar multiples of the identity map ($\delta = \frac 12$). This can be…

This paper extends some results on the S-Lemma proposed by Yakubovich and uses the improved results to investigate the asymptotic stability of a class of switched nonlinear systems. Firstly, the strict S-Lemma is extended from quadratic…

In this article, we derive many properties of \'etale stacks in various contexts, and prove that \'etale stacks may be characterized categorically as those stacks that arise as prolongations of stacks on a site of spaces and local…

This paper contains two remarks on Beilinson's adeles with values in the De Rham complex of a scheme. The first is an interpretation, in terms of adeles, of the decomposition of the De Rham complex on a scheme defined modulo $p^{2}$ (the…

Let $N$ be a smooth manifold and $f:N\to N$ be a $C^l$, $l\geq 2$ diffeomorphism. Let $M$ be a normally hyperbolic invariant manifold, not necessarily compact. We prove an analogue of the $\lambda$-lemma in this case.

This is a chapter of a forthcoming Lecture Notes in Mathematics "Modern Approaches to Discrete Curvature" edited by L. Najman and P. Romon. It provides a survey on geometric and spectral consequences of curvature bounds. The geometric…

We note an intimate connection between the Lefschetz Theorem for c-arrangements, and a theorem of Hironaka relating the complement of an arrangement to its boundary manifold. This results in a generalization of Hironaka's result.

The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the…

We prove a variation of Gronwall's lemma.