Related papers: Log Adjunction: effectiveness and positivity

In this paper, we prove the generic overconvergence of relative rigid cohomology with coefficient, by using the semistable reduction conjecture for overconvergent $F$-isocrystals (which is recently shown by Kedlaya).

We give a new proof of the finiteness of B-representations. As a consequence of the finiteness of B-representations and Koll\'ar's gluing theory on lc centers, we prove that the (relative) abundance conjecture for slc pairs is implied by…

We review how some multianalytic inner functions of the Beurling type theorem are associated to row contractions following works of G.Popescu. Motivated by a result on weak Markov dilations, we define a notion of characteristic function for…

We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…

In arXiv:math/0311139, as evidence for his conjecture in birational log geometry, Kawamata constructed a family of derived equivalences between toric orbifolds. In arXiv:0911.4711, we showed that the derived category of a toric orbifold is…

In the article we investigate three classes of extended Boolean Connexive Logics. Two of them are extensions of Modal and non-Modal Boolean Connexive Logics with a property of closure under an arbitrary number of negations. The remaining…

We characterize the category of Sambin's positive topologies as a fibration over the category of locales Loc. The fibration is obtained by applying the Grothendieck construction to a doctrine over Loc. We then construct an adjunction…

Recent studies in Kubo-Ando theory make frequent use of the relationship between Kubo-Ando connections and positive operator monotone functions. This relationship is deeply connected to L\"owner's theorem and our aim is to provide a…

This expository paper presents elementary proofs of four basic results concerning derivatives of quasi-convex functions. They are combined into a fifth theorem which is simple to apply and adequate in many cases. Along the way we establish…

In the same way decomposition spaces, also known as unital 2-Segal spaces, have incidence (co)algebras, and certain relative decomposition spaces have incidence (co)modules, we identify the structures that have incidence bi(co)modules: they…

We reinterpret a conjecture of Breuil on the locally analytic $\mathrm{Ext}^1$ in a functorial way using $(\varphi,\Gamma)$-modules (possibly with $t$-torsion) over the Robba ring, making it more accurate. Then we prove several special or…

We show that the finite part of the adjoint $L$ function (including contributions from all nonarchimedean places, including ramified places) is holomorphic in $\Re(s) \ge 1/2$ for a cuspidal automorphic representation of $GL_3$ over a…

We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications…

This paper achieves, among other things, the following: 1)It frees the main result of [BFKM] from the hypothesis of determinant class and extends this result from unitary to arbitrary representations. 2)It extends (and at the same times…

We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig's interpolation property. As a…

We study the validity of the local theta correspondence over a non-archimedean local field in the context of modular representation theory \textit{i.e.} for representations with coefficient fields of positive characteristic. For a…

We extend the exponential formula by Bender and Canfield (1996), which relates log-concavity and the cycle index polynomials. The extension clarifies the log-convexity relation. The proof is by noticing the property of a compound Poisson…

The recently introduced model of representations has been defined and motivated somewhat ex-nihilo. In this document, I will show that representations are related to a more ''classical'' model through a 2-adjunction. The target model is…

We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations. We further extend this…

We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. This is a consequence of a structure theorem making clear the inter-relation between the…