Related papers: Inversion of adjunction for higher rational singul…

It is known that the numbers which occur in Apery's proof of the irrationality of zeta(2) have many interesting congruence properties while the associated generating function satisfies a second order differential equation. We prove…

We generalise our still-wide-open $q$-rious positivity conjecture from 2011 to a $q$-rious unimodality conjecture.

We provide a proof of a variant of the Landau-Siegel Zeros conjecture.

We prove the positivity conjecture for all skew-symmetric cluster algebras.

In this paper the algebra of invariants for the adjoint action of the unitriangular group in the nilradical of a parabolic subalgebra is studied. We prove that the algebra of invariants is finitely generated.

We note an inversion property of the fusion map associated to many semibialgebras.

We verify the conjecture of [10] and use it to prove that the semisimple parts of the rational Jordan-Kac-Vinberg decompositions of a rational vector all lie in a single rational orbit.

We discuss adjunction formulas for fiber spaces and embeddings, extending the known results along the lines of the Adjunction Conjecture, independently proposed by Y. Kawamata and V.V. Shokurov. As an application, we simplify Koll\'ar's…

A particular case of the level increasing conjecture for type A fusion coefficientes is proved for when one the weights is a multiple of the first fundamental weight.

In this paper, we generalize the notion of rational singularities for any reflexive sheaf of rank $1$, link our notion of rational singularities with the notion of rational singularities in [Kov11], and prove generalizations of standard…

We present a simple inductive proof of the Lagrange Inversion Formula.

The purpose of this paper is to lay the foundations for the theory of higher rank b-divisorial algebras of Shokurov type. We develop techniques to deal with such objects and propose two natural conjectures regarding Shokurov algebras and…

We develop the basic properties of the higher commutator for congruence modular varieties.

We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling the proof of a linearity result at the syntactic level.

This article is written with the hope to draw attention to a method that uses integral transforms to find exact values for a large class of convergent series (and, in particular, series of rational terms). We apply the method to some series…

We show a short proof of Higman's lemma using Friedman's adjacent Ramsey theorem for pairs. This provides an alternative proof of the known upper bound for the reverse mathematical status of Higman's lemma and that of its miniaturised…

Inversion theorems of Wiener type are essential tools in analysis and number theory. We derive a weighted version of an inversion theorem of Wiener type for general Dirichlet series from that of Edwards from 1957, and we outline an…

New (infinitely many) rational approximants to \zeta(3) proving its irrationality are given. The recurrence relations for the numerator and denominator of these approximants as well as their continued fraction expansions are obtained. A…

We prove a certain duality relation for orthogonal polynomials defined on a finite set. The result is used in a direct proof of the equivalence of two different ways of computing the correlation functions of a discrete orthogonal polynomial…

We prove Simon's conjecture for 3-manifolds.