Related papers: Log Adjunction: effectiveness and positivity
We introduce a new combinatorial object called tower diagrams and prove fundamental properties of these objects. We also introduce an algorithm that allows us to slide words to tower diagrams. We show that the algorithm is well-defined only…
A conference talk discussing the conjecture of Langlands and Rapoport concerning the structure of the points on a Shimura variety modulo a prime of good reduction.
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm…
We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that…
We construct new six-functor formalisms capturing cohomological invariants of varieties with potentials. Starting from any six-functor formalism $C$, encoded as a coefficient system, we associate a new six-functor formalism…
Two measures of how near an arbitrary function between groups is to being a homomorphism are considered. These have properties similar to conjugates and commutators. The authors show that there is a rich theory based on these structures,…
We give a combinatorial proof of a recent result of B\'ona by constructing a bijection from the set of all neighbors of leaves of increasing trees of size $n$ to the set of derangements of length $n$.
This paper is devoted to the study of the log-convexity of combinatorial sequences. We show that the log-convexity is preserved under componentwise sum, under binomial convolution, and by the linear transformations given by the matrices of…
We define an extension of predicate logic, called Binding Logic, where variables can be bound in terms and in propositions. We introduce a notion of model for this logic and prove a soundness and completeness theorem for it. This theorem is…
For a function algebra A we investigate relations between the following three topics: isomorphisms of singly generated A-modules, Morita equivalence bimodules, and `real harmonic functions' with respect to A. We also consider certain groups…
The aim of this work is to generalize Johnson's techniques in order to apply them to establish a bijective correspondence between $S$-derivations and continuous derivations on $M_a(S,\omega),$ where $S$ is a locally compact foundation…
The theory of regular variation, in its Karamata and Bojani\'c-Karamata/de Haan forms, is long established and makes essential use of homomorphisms. Both forms are subsumed within the recent theory of Beurling regular variation, developed…
We propose a subconjecture that implies the semiampleness conjecture for quasi-numerically positive log canonical divisors and prove the semiampleness in some elementary cases.
Suitable duals of multimodules are introduced and used to provide transposition contravariant right semi-adjunctions (and dualitites under reflexivity). Several additional notions on multimodules are discussed: generalized morphisms and…
In the present note, we give a short proof of Brennan's conjecture in the special case of continuous semigroups of holomorphic functions. We apply classical techniques of complex analysis in conjunction with recent results on…
Over function fields of p-adic curves, we construct stably rational varieties in the form of homogeneous spaces of SL_n with semisimple simply connected stabilizers and we show that strong approximation away from a non-empty set of places…
In group representations several inductions given by tensoring with appropriate bimodules may be reconstructed via homology of $G$-posets with $G$-equivariant coefficients. For this purpose, we need various local categories of a finite…
Several matrix/operator inequalies are given. Most of them are unexpected extensions of the Araki Log-majorization theorem, obtained thanks to a new log-majorization for positive linear maps and normal operators (Theorem 2.9). The main idea…
We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…
In this chapter, we present six different proofs of Craig interpolation for the modal logic K, each using a different set of techniques (model-theoretic, proof-theoretic, syntactic, automata-theoretic, using quasi-models, and algebraic). We…