English
Related papers

Related papers: Remarks on the non-vanishing conjecture

200 papers

We show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized polarized lc pair is equivalent to the existence of a generalized polarized log terminal model.

Algebraic Geometry · Mathematics 2019-01-29 Jingjun Han , Zhan Li

We study log canonical thresholds (also called global log canonical threshold or $\alpha$-invariant) of $\mathbb{R}$-linear systems. We prove existence of positive lower bounds in different settings, in particular, proving a conjecture of…

Algebraic Geometry · Mathematics 2020-12-02 Caucher Birkar

We give counterexamples to Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients.

Representation Theory · Mathematics 2007-05-23 Calin Chindris , Harm Derksen , Jerzy Weyman

We first announce our recent result on adjunction and inversion of adjunction. Then we clarify the relationship between our inversion of adjunction and Hacon's inversion of adjunction for log canonical centers of arbitrary codimension.

Algebraic Geometry · Mathematics 2021-07-13 Osamu Fujino , Kenta Hashizume

We prove a noncommutative variant of Saskin's classical theorem -- on the connection between Choquet boundaries for function spaces and Korovkin sets -- for operator systems generating separable Type I C*-algebras. The main result implies…

Operator Algebras · Mathematics 2015-05-22 Craig Kleski

We show some inductive statements for the index conjecture for log canonical Calabi-Yau pairs. Using it, we show that boundedness of log canonical index for log canonical Calabi Yau pairs with rational DCC coefficients in dimension 3. We…

Algebraic Geometry · Mathematics 2019-05-03 Yanning Xu

We reformulate base point free theorems. Our formulation is flexible and has some important applications. One of the main purposes of this paper is to prove a generalization of the base point free theorem in Fukuda's paper: On numerically…

Algebraic Geometry · Mathematics 2011-02-18 Osamu Fujino

In this paper, we study a general Syracuse problem. We give some necessary conditions concerning the existence of eventual non trivial cycles. Some properties based on linear logarithmic forms are established. New general conjectures are…

Number Theory · Mathematics 2021-09-01 Abderrahman Bouhamidi

Let $(X,\Delta)$ be a log canonical pair over $\mathbb{C}$ with $X$ a normal projective variety, $\Delta$ an effective $\mathbb{Q}$-divisor, and $K_X+\Delta$ nef. We give a non-vanishing criterion for $K_X+\Delta$ in dimension $n$ with $X$…

Algebraic Geometry · Mathematics 2019-08-02 Fanjun Meng

We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated…

Algebraic Geometry · Mathematics 2021-04-02 Yen-An Chen

We prove the Categorified Wrapping Number Conjecture for large classes of annular links, including alternating annular links and tangle closures exhibiting plumbed link phenomena. We do so by characterizing when a resolution is sufficient…

Geometric Topology · Mathematics 2025-01-07 Benjamin Daniels , Melissa Zhang

The notion of a non-deterministic logical matrix (where connectives are interpreted as multi-functions) extends the traditional semantics for propositional logics based on logical matrices (where connectives are interpreted as functions).…

Logic · Mathematics 2024-12-19 Carlos Caleiro , Pedro Filipe , Sérgio Marcelino

Let $G$ be a real reductive group, and let $\chi$ be a character of a reductive subgroup $H$ of $G$. We construct $\chi$-invariant linear functionals on certain cohomologically induced representations of $G$, and show that these linear…

Representation Theory · Mathematics 2019-09-10 Binyong Sun

The goal of this paper is a classification theorem of the singularities according to a new invariant, Mather discrepancy. On the other hand, we show some evidences convincing us that Mather discrepancy is a considerable invariant: By…

Algebraic Geometry · Mathematics 2012-04-23 Shihoko Ishii

A $\lambda$-calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographic constructions and adversaries for them, even when…

Programming Languages · Computer Science 2024-10-24 Ugo Dal Lago , Zeinab Galal , Giulia Giusti

Given a graded sequence of ideals (a_m) on a smooth variety $X$ having finite log canonical threshold, suppose that for every m we have a divisor E_m over X that computes the log canonical threshold of a_m, and such that the log…

Algebraic Geometry · Mathematics 2011-07-05 Mattias Jonsson , Mircea Mustata

We explicitly describe cohomology of the sheaf of differential forms with poles along a semiample divisor on a complete simplicial toric variety. As an application, we obtain a new vanishing theorem which is an analogue of the…

Algebraic Geometry · Mathematics 2007-05-23 Anvar Mavlyutov

Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound. Later on, Desharnais,…

Logic in Computer Science · Computer Science 2016-10-25 Marco Bernardo , Marino Miculan

We formulate a generalization of Vojta's conjecture in terms of log pairs and variants of multiplier ideals. In this generalization, a variety is allowed to have singularities. It turns out that the generalized conjecture for a log pair is…

Number Theory · Mathematics 2016-10-13 Takehiko Yasuda

We give a quick new approach to the main cases of the nonvanishing theorems of first and third authors concerning the asymptotic behavior of the syzygies of a projective variety as the positivity of the embedding line bundle grows.…

Algebraic Geometry · Mathematics 2018-04-30 Lawrence Ein , Daniel Erman , Robert Lazarsfeld