Related papers: Log Adjunction: effectiveness and positivity
We show that in Weil's converse theorem the functional equations of multiplicative twists for at least the first $\sqrt{\frac{p-24}{3}}$ moduli are needed in order to prove the modularity for $\Gamma_0(p)$.
We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka…
An equivalence relation can be constructed from a given (homogeneous, binary) relation in two steps: first, construct the smallest reflexive and transitive relation containing the given relation (the "star" of the relation) and, second,…
We collect some isomorphisms of categories and bijections of structures using the Kleisli and Eilenberg-Moore 2-adjunctions.
Let $F$ be a totally real field and $K$ a finite abelian CM extension of $F$. Using class field theory, we show that our previous result giving a strong form of the Brumer-Stark conjecture implies the minus part of the equivariant Tamagawa…
We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue…
This paper is a sequel to "Logical systems I: Lambda calculi through discreteness". It provides a general 2-categorical setting for extensional calculi and shows how intensional and extensional calculi can be related in logical systems. We…
Some quantitative results obtained by proof mining take the form of Herbrand disjunctions that may depend on additional parameters. We attempt to elucidate this fact through an extension to first-order arithmetic of the proof of Herbrand's…
For a Calabi-Yau manifold $X$, the Kawamata - Morrison movable cone conjecture connects the convex geometry of the movable cone $\overline{\mathrm{Mov}}(X)$ to the birational automorphism group. Using the theory of Coxeter groups, Cantat…
We introduce a relation of block conjugacy for irreducible toral automorphism, and prove that block conjugacy is equivalent to weak equivalence of the ideals associated to the automorphisms. We characterize when block conjugate…
We show that techniques inspired by Koll\'ar and Viehweg's study of weak positivity, combined with vanishing theorems for log-canonical pairs, lead to new consequences regarding generation and vanishing properties for direct images of…
We introduce certain linear positive operators and study some approximation properties of these operators in the space of functions, continuous on a compact set, of two variables. We also find the order of this approximation by using…
We prove a companion forms theorem for mod l Hilbert modular forms. This work generalises results of Gross and Coleman--Voloch for modular forms over Q, and gives a new proof of their results in many cases. The methods used are completely…
Form methods are most efficient to prove generation theorems for semigroups but also for proving selfadjointness. So far those theorems are based on a coercivity notion which allows the use of the Lax-Milgram Lemma. Here we consider weaker…
In the study of the real projective plane, harmonic conjugates have an essential role, with applications to projectivities, involutions, and polarity. The construction of a harmonic conjugate requires the selection of auxiliary elements; it…
We examine a condition on a simply connected 2-complex X ensuring that groups acting properly on X are coherent. This extends earlier work on 2-complexes with negative sectional curvature which covers the case that G acts freely. Our…
We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since…
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…
We prove some semipositivity theorems for singular varieties coming from graded polarizable admissible variations of mixed Hodge structure. As an application, we obtain that the moduli functor of stable varieties is semipositive in the…
Recently (in 2011) several new theorems concerning this conjecture were proved by Bourgain and Kontorovich. The easiest of them states that the set of numbers satisfying Zaremba's conjecture with A=50 has positive proportion in $\N.$ The…