Related papers: On Lenagan's Theorem for finite length bimodules
We prove the Cone Theorem for algebraically integrable foliations. As a consequence, we show that termination of flips implies the b-nefness of the moduli part of a log canonical pair with respect to a contraction, generalising the case of…
For modules over a finite-dimensional algebra, there is a canonical one-to-one correspondence between the projective indecomposable modules and the simple modules. In this purely expository note, we take a straight-line path from the…
In this paper, for any Shimura datum $(G,\mathcal{D})$ satisfying reasonable conditions so that many interesting cases satisfy, we prove some finiteness theorems for any graded vector space consisting of automorphic forms on $\mathcal{D}$…
We prove an analogue of the Lindemann-Weierstrass theorem (that the exponentials of Q-linearly independent algebraic numbers are algebraically independent) for commutative algebraic groups G without unipotent quotients, over function…
We present various constructions of sequences of polynomials satisfying the Binomial Theorem in finite characteristic based on the theory of additive polynomials. Various actions on these constructions are also presented. It is an open…
We use the Gromov-Witten invariants and a nonsqueezing theorem by the author to affirm a conjecture by P.Biran on the Lagrangian barriers.
This is the second of two papers that describe a compactness theorem for sequences of solutions of certain SL(2;C) analogs of the anti-self dual equations on oriented, 4-dimensional Riemannian manifolds. This paper proves theorems that…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
We give a purely combinatorial proof for the infinitary van der Waerden's theorem.
On compact Riemannian manifolds, we prove a decomposition theorem for arbitrarily bounded energy sequence of solutions of a singular elliptic equation.
We consider degenerations of all simple Lie algebras of exceptional type obtained by embedding into affine Lie algebras. We give a filtration to consider this as an abelianisation of the original Lie algebra. We then show that the…
It is discussed that Zeeman's theorem can be directly obtained from Liouville's theorem if we assume sufficient differentiability.
On a complex symplectic manifold we prove a finiteness result for the global sections of solutions of holonomic DQ-modules in two cases: (a) by assuming that there exists a Poisson compactification (b) in the algebraic case. This extends…
We give a proof of the Thom-Sebastiani theorem for mixed Hodge modules using a compatibility with Verdier specialization.
We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of…
We introduce a concept of formal local homology modules which is in some sense dual to P. Schenzel's concept of formal local cohomology modules. The dual theorem and the non-vanishing theorem of formal local homology modules will be shown.…
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…
We observe that Whitehead's lemma is an immediate consequence of Stallings folds.
In this paper we first prove a version of $L^{2}$ existence theorem for line bundles equipped a singular Hermitian metrics. Aa an application, we establish a vanishing theorem which generalizes the classical Nadel vanishing theorem.
We prove that every finite semigroup embeds in a finitely presented congruence-free monoid, and pose some questions around the Boone-Higman Conjecture.