Related papers: A variant of the effective adjunction conjecture w…
Contrary to the expected behavior, we show the existence of non-invertible deformations of Lie algebras which can generate invariants for the coadjoint representation, as well as delete cohomology with values in the trivial or adjoint…
We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional…
The Torsion Anomalous Conjecture (TAC) states that a subvariety V of an abelian variety A has only finitely many maximal torsion anomalous subvarieties. In this work we prove, with an effective method, some cases of the TAC when the ambient…
We give a reduction of the irregular case for the effective non-vanishing conjecture by virtue of the Fourier-Mukai transform. As a consequence, we reprove that the effective non-vanishing conjecture holds on algebraic surfaces.
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal…
We introduce and discuss a variant of Schanuel conjecture in the framework of the Carlitz exponential function over Tate algebras and allied functions. Another purpose of the present paper is to widen the horizons of possible investigations…
A review is given of some recently obtained results on analytic contractions of Lie algebras and Lie groups and their applications to special function theory.
We give evidence for a uniformization-type conjecture, that any algebraic variety can be altered into a variety endowed with a tower of smooth fibrations of relative dimension one.
We study the virial expansion of mixtures of countably many different types of particles. The main tool is the Lagrange-Good inversion formula, which has other applications such as counting coloured trees or studying probability generating…
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…
The conformal anomaly in curved spacetime with antisymmetric torsion is reconsidered, taking into account new important details. We formulate, for the first time, the covariant solution of the anomaly-induced effective action. The covariant…
In this paper, we give a form of refined Roth's theorem. As an application, we prove a special case of the $abc$-conjecture.
In this paper, we pose many challenging conjectures on congruences involving binomial coefficients and Ap\'ery-like numbers.
In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…
Let $F:\mathcal{A}\to \mathcal{B}$ be a left adjoint between abelian categories and let $Ch(F)$ be the induced left adjoint on chain complexes. If the abelian categories $\mathcal{A}$ and $\mathcal{B}$ are equipped with sufficiently nice…
The purpose of this paper is to develop and study recursive proofs of coinductive predicates. Such recursive proofs allow one to discover proof goals in the construction of a proof of a coinductive predicate, while still allowing the use of…
Latent fibrations are an adaptation, appropriate for categories of partial maps (as presented by restriction categories), of the usual notion of fibration. The paper initiates the development of the basic theory of latent fibrations and…
We obtain similar types of conclusions as that of Br\"{u}ck [1] for two differential polynomials which in turn radically improve and generalize several existing results. Moreover, a number of examples have been exhibited to justify the…
We put a new conjecture on primes from the point of view of its binary expansions and make a step towards justification.
Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering…