Related papers: Remarks on the non-vanishing conjecture

The article demonstrates that logic is not necessarily singleton and does not always have the standard interpretation of negation. Appropriate generalizations of logic are suggested. Positive logic and multivalued negation operations are…

The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matrices (where connectives are interpreted as functions) whilst…

Green's conjecture is proved for smooth curves C lying on a rational surface S with an anticanonical pencil, under some mild hypotheses on the line bundle L defined by C. Constancy of Clifford dimension, Clifford index and gonality of…

We discuss arithmetic and Hodge-theoretic properties of the isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups. These properties underpin the application to the rationality questions by…

We define the principal divisor of a free noncommuatative function. We use these divisors to compare the determinantal singularity sets of free noncommutative functions. We show that the divisor of a noncommutative rational function is the…

We show that any Fano fivefold with canonical Gorenstein singularities has an effective anticanonical divisor. Moreover,if a general element of the anticanonical system is reduced, then it has canonical singularities. We also prove…

Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…

Proofs (sequent calculus, natural deduction) and imperative algorithms (pseudocodes) are two well-known coexisting concepts. Then what is their relationship? Our answer is that \[ imperative\ algorithms\ =\ proofs\ with\ cuts \] This…

Conjectures involving infinite families of restricted partition congruences can be difficult to verify for a number of individual cases, even with a computer. We demonstrate how the machinery of Radu's algorithm may be modified and employed…

We consider the quotient variety associated to a linear representation of the cyclic group of order p in characteristic p>0. We estimate the minimal discrepancy of exceptional divisors over the singular locus. In particular, we give…

We establish adjunction and inversion of adjunction for log canonical centers of arbitrary codimension in full generality.

A plurisubharmonic weight is log canonical if it is at the critical point of turning non-integrable. Given a log canonical plurisubharmonic weight, we show that locally there always exists a log canonical `holomorphic' weight having the…

Contrary to classical semantics, the disjunction of two experimental propositions relating to pure states of a quantum system ("quantum propositions" for short) can be true even in the case where neither disjunct is true. This suggests that…

We show that the group cohomology of torsion-free virtually polycyclic groups and the continuous cohomology of simply connected solvable Lie groups can be computed by the rational cohomology of algebraic groups. Our results are…

We propose a variant of the effective adjunction conjecture for lc-trivial fibrations. This variant is suitable for inductions and can be used to treat real coefficients.

We prove a few cases of a conjecture on the invariance of cohomological support loci under derived equivalence by establishing a concrete connection with the related problem of the invariance of Hodge numbers. We use the main case in order…

We show a comparison theorem between log prismatic cohomology and log crystalline cohomology for a $p$-adic formal scheme with semistable reduction. Combined with the prismatic-\'etale comparison theorem recently proved by Tian, this…

We present here some conjectures on the diagonalizability of uniform principal bundles on rational homogeneous spaces, that are natural extensions of classical theorems on uniform vector bundles on the projective space, and study the…

This paper is a gentle introduction to the theory of quasi-log varieties by Ambro. We explain the fundamental theorems for the log minimal model program for log canonical pairs. More precisely, we give a proof of the base point free theorem…

Given a p-form defined on the smooth locus of a normal variety, and a resolution of singularities, we study the problem of extending the pull-back of the p-form over the exceptional set of the desingularization. For log canonical pairs and…