Related papers: Log Adjunction: effectiveness and positivity
In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative…
This is a survey of vanishing and positivity theorems for Hodge modules, and their recent applications to birational and complex geometry, expanding on my lecture at the 2015 AMS Summer Institute.
We survey our recent papers (some being joint ones) about the relation between the geometry of a compact K\"ahler manifold and the existence of automorphisms of positive entropy on it. We also use the language of log minimal model program…
We extend the relation between quasi-modular forms and modular forms to a wider class of functions. We then relate both forms to vector-valued modular forms with symmetric power representations, and prove a general structure theorem for…
In this paper we show examples for applications of the Bombieri-Lang conjecture in additive combinatorics, giving bounds on the cardinality of sumsets of squares and higher powers of integers. Using similar methods we give bounds on the…
We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…
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…
This paper presents four theorems that connect continuity postulates in mathematical economics to solvability axioms in mathematical psychology, and ranks them under alternative supplementary assumptions. Theorem 1 connects notions of…
The paper presents several combinatorial properties of the boolean cumulants. A corollary is a new proof of the multiplicative property of the boolean cumulant series that can be easily adapted for the case of boolean independence with…
We show that the description of Deligne--Beilinson cohomology is improved by using log Hodge theory. We consider the log relative version of it, and also present a fundamental conjecture in log Hodge theory.
Eigenvalues inequalities involving (log) convex/concav functions and Hermitian matrices, positive unital maps are considered. Simple proofs of Bhatia-Kittaneh inequality and Naimark dilation theorem are given.
We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that…
We will prove several congruences modulo a power of a prime such as $$ \sum_{0<k_1<...<k_{n}<p}\leg{p-k_{n}}{3} {(-1)^{k_{n}}\over k_1... k_{n}}\equiv {lll} -{2^{n+1}+2\over 6^{n+1}} p B_{p-n-1}({1\over 3}) &\pmod{p^2} &{if $n$ is odd}…
The theory of two binary relations has the strong amalgamation property when the first relation is assumed to be coarser than the second relation, and each relation satisfies a chosen set of properties from the following list: transitivity,…
We introduce an asymptotic notion of positivity in algebraic geometry that turns out to be related to some high-dimensional convex sets. The dimension of the convex sets grows with the number of birational operations. In the case of complex…
We prove a gluing lemma for sections of line bundles on a rigid analytic variety. We apply the lemma, in conjunction with a result of Buzzard's, to give a proof of (a generalization) of Coleman's theorem which states that overconvergent…
We consider some conditions under which a smooth projective variety X is actually the projective space. We also extend to the case of positive characteristic some results in the theory of vector bundle adjunction. We use methods and…
A different proof to a known criterion of derived equivalence implying birationality is given. Derived equivalent smooth projective curves over an algebraically closed field are proved to be isomorphic. A different proof of derived…
We introduce the three-Catalan triangle, highlighting the three-Catalan numbers along with their recurrence relation and combinatorial interpretation, which allows us to establish their log-convexity. Additionally, we prove that the rows of…
We introduce a new logic that combines Adjoint Logic with Graded Necessity Modalities. This results in a very expressive system capable of controlling when and how structural rules are used. We give a sequent calculus, natural deduction,…