Related papers: Inversion of adjunction for higher rational singul…
In this paper we review a general proof for the irrationality property of numbers which take a certain form of infinite sums.
We give a one-sentence proof of McLaughlin and Rundell's inverse uniqueness theorem.
This is an introduction to the theory of disconjugacy for a second order linear differential equation. We give new proofs of some of basic results and obtain new sufficient conditions for disconjugacy (in particular, on the whole real…
We introduce and study conjugate reversibility (or $c$-reversibility) in the complex special linear group $\SL(n,\C)$ where an element is conjugate to the inverse of its complex conjugate. We prove that in $\SL(n, \C)$, every $c$-reversible…
We obtain similar types of conclusions as that of Br\"{u}ck [1] for two differential polynomials which in turn radically improve and generalize several existing results. Moreover, a number of examples have been exhibited to justify the…
We establish new results on weighted $L^2$ extension of holomorphic top forms with values in a holomorphic line bundle, from a smooth hypersurface cut out by a holomorphic function. The weights we use are determined by certain functions…
This is a first instalment of much larger work about relations between birational geometry and moduli of triples. The extraction of work is mainly related to Theorem 6. It is a weak version of Kawamata's Conjecture 1 and an important…
We present the theory of higher order invariants and higher order automorphic forms in the simplest case, that of a compact quotient. In this case many things simplify and we are thus able to prove a more precise structure theorem than in…
We formulate a second adjoint theorem in the context of tempered representations of real reductive groups, and prove it in the case of SL(2,R).
We define a multiplication on the surreal numbers as higher inductive-inductive types.
We prove a subadjunction theorem which relates the multi-adjoint linear system of the ambient space and the linear system of the restricted bundle on a subvariety.
Tikhomirov (2009) proved the irreducibility of the moduli space of mathematical instantons on the projective 3-space for all odd charges. The irreducibility for charges between 1 and 5 was known before. In the present paper, the rationality…
We apply a paraconsistent logic to reason about fractions.
We extend results from an earlier paper giving reconstruction results for the endomorphism monoid of the rational numbers under the strict and reflexive relations to the first order reducts of the rationals and the corresponding…
This paper explores goal-directed proof search in first-order multi-modal logic. The key issue is to design a proof system that respects the modularity and locality of assumptions of many modal logics. By forcing ambiguities to be…
Simple argument in favour of unitarity, to all orders, of space-like noncommutative theory is given.
This paper gives the recursion formula for mixed multiplicities of maximal degrees with respect to joint reductions of ideals, which is one of important results in the mixed multiplicity theory. Using this result, we give consequences on…
In prime characteristic there are important invariants that allow us to measure singularities. For certain cases, it is known that they are rational numbers. In this article, we show this property for Stanley-Reisner rings in several cases.
The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.
A short note on the reverse mathematical status of the totality of the relativised fast growing hierarchy.