Related papers: The Adjunction Conjecture and its applications
Using various results from extremal set theory (interpreted in the language of additive combinatorics), we prove an asyptotically sharp version of Freiman's theorem in F_2^n: if A in F_2^n is a set for which |A + A| <= K|A| then A is…
Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of abstracting the structural properties of logical systems: the…
We show that after stabilizations of opposite parity and braid isotopy, any two braids in the same topological link type cobound embedded annuli. We use this to prove the generalized Jones conjecture relating the braid index and algebraic…
We study the interaction between two structures on the group of polynomial automorphisms of the affine plane: its structure as an amalgamated free product and as an infinite-dimensional algebraic variety. We introduce a new conjecture, and…
For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…
We establish an effective version of the Andr\'e-Oort conjecture for linear subspaces of $Y(1)^n_{\mathbb{C}} \approx \mathbb{A}_{\mathbb{C}}^n$. Apart from the trivial examples provided by weakly special subvarieties, this yields the first…
Theorems and explicit examples are used to show how transformations between self-similar sets (general sense) may be continuous almost everywhere with respect to stationary measures on the sets and may be used to carry well known flows and…
We prove that Seshadri constants of some ample divisors are bigger than 1 on smooth threefolds whose anticanonical bundle is nef or on Fano varieties of small coindice. The main tools are (some known cases of) the Kawamata's effective…
One relates factorization of bivariate polynomials to singularities of projective plane curves. One proves that adjoint polynomials permit to solve the recombinations of the modular factors induced by the absolute and rational…
Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in…
We give a self-contained presentation of the basic results on jet schemes of singular varieties. Applications are given to invariants of singularities, such as minimal log discrepancies. We simplify our older approach to Inversion of…
We establish a form of 2-adjunction (tentatively termed the *fundamental 2-adjunction*), building on the fundamental adjunction proposed by Olivia Caramello and Riccardo Zanfa, which provides a constructive method for the associated stack…
We recall the history of the proof of Seifert fibre space conjecture, as well as it motivations and its several generalisations.
We prove new adjunction inequalities for embedded surfaces in four-manifolds with non-negative self-intersection number by using the Donaldson invariants. These formulas are completely analogous to the ones obtained by Ozsv\'ath and Szab\'o…
Fujita's conjecture is known to be false in positive characteristic. We conjecture and give an approach to a new variant of Fujita's conjecture for the basepoint-freeness, very ampleness, and jet ampleness of linear systems of the form…
We address the conjectures left by the recent article by Ferreira et al. titled ``Commuting maps and identities with inverses on alternative division rings.'' We also present an example showing the necessity of the conditions of the results…
In this paper we show the equivalence of the conjectures of Giuga and Agoh in a direct way which leads to a combined conjecture. This conjecture is described by a sum of fractions from which all conditions can be derived easily.
Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test…
In this note we establish a new Fujita-type effective bound for the base point freeness of adjoint line bundles on a compact complex projective manifold of complex dimension $n$. The bound we obtain (approximately) differs from the linear…