Related papers: Log Adjunction: effectiveness and positivity

We prove the precise inversion of adjunction formula for quotient singularities. As an application, we prove the semi-continuity of minimal log discrepancies for hyperquotient singularities. This paper is a continuation of arXiv:2011.07300,…

We describe (in a representation theoretic setting) a simple comparison of trace formulas, which implies that the conjugate of a Hilbert modular form $f$ by an automorphism of ${\Bbb C}$ again is a Hilbert modular form of the same level and…

The purpose of this paper is to show that the reflex fields of a given CM-field is equipped with a certain combinatorial structure that has not been exploited yet. We prove three theorems using this structure; the first theorem is on the…

This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…

In this paper we give simple proofs for the bounds (some of them sharp) of the difference of the moduli of the second and the first logarithmic coefficient for the general class of univalent functions and for the class of convex univalent…

Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (\emph{coinduction functor}) which is right adjoint to the hom-functor represented by this comodule. Using the…

In this paper, we investigate higher direct images of log canonical divisors. After we reformulate Koll\'ar's torsion-free theorem, we treat the relationship between higher direct images of log canonical divisors and the canonical…

A complete proof is given of relative interpretability of Adjunctive Set Theory with Extensionality in an elementary concatenation theory.

We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using…

We prove a biadjoint triangle theorem and its strict version, which are $2$-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the $1$-dimensional case, we demonstrate how we can apply our results to get the…

We study the amalgamation property in positive logic. We give some connections between the amalgamation property and Robinson theories, model-complete theories and the Hausdorff property.

We use categorical method and birational geometry to study moduli spaces of quiver representations. From certain "representable" functor, we construct a birational transformation from the moduli space of representations of one quiver to…

We prove the boundedness of complements modulo two conjectures: Borisov-Alexeev conjecture and effective adjunction for fibre spaces. We discuss the last conjecture and prove it in two particular cases.

In this paper we give two theorems from the Propositional Calculus of the Boolean Logic with their consequences and applications and we prove them axiomatically.

We prove the murmuration phenomenon, which is a correlation between signs of functional equations and Fourier coefficients, in the case of modular forms in the weight aspect. We in particular improve the range of visibility of murmurations…

We give a complete proof for the implication from the Manin-Mumford conjecture to the Mordell-Lang conjecture in positive characteristic, using integral models of semi-abelian varieties over a ring of formal power series, and the machinery…

Exploiting particular features of classical groups, simple constructions are given for the irreducible constituents of the tensor square of the adjoint modules and the leading terms in higher tensor powers. This provides an independent…

Let $f$ be a newform of weight $k\geq 2$, level $N$ with coefficients in a number field $K$, and $A$ the adjoint motive of the motive $M$ associated to $f$. We carefully discuss the construction of the realisations of $M$ and $A$, as well…

Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…

We will explain how elementary concepts of relative homological algebra yield the Taylor tower for functors from pointed categories to abelian groups recovering the constructions of Johnson and McCarthy.