Related papers: Inversion of adjunction on log canonicity
In this paper, we give a simple counter example to the famous Hodge conjecture.
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…
The normalization of a quasi-log canonical pair is a quasi-log canonical pair.
We give a new proof of the finiteness of B-representations. As a consequence of the finiteness of B-representations and Koll\'ar's gluing theory on lc centers, we prove that the (relative) abundance conjecture for slc pairs is implied by…
We prove that a Kawamata log terminal pair has the canonical model.
We give a counterexample to a recently conjectured variant of the Penrose inequality.
We apply a paraconsistent logic to reason about fractions.
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…
We give a survey of the Lagrange inversion formula, including different versions and proofs, with applications to combinatorial and formal power series identities.
We prove that the construction of our previous paper math.QA/0103190 yields an invariant of tangle cobordisms.
We give a one-sentence proof of McLaughlin and Rundell's inverse uniqueness theorem.
We give a simple proof of the Fourier Inversion Theorem, using the methods of nonstandard analysis.
Building on results of Koll\'ar, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.
This paper summarizes the results at the present moment about singularities with respect to the Mather-Jacobian log discrepancies over algebraically closed field of arbitrary characteristic. The basic point is the Inversion of Adjunction…
Watson proved Kirkman's hypothesis (partially solved by Cayley). Using Lagrange Inversion, we drastically shorten Watson's computations and generalize his results at the same time.
We prove the Invariant Subspace Conjecture for separable Hilbert spaces.
Using calculus we show how to prove some combinatorial inequalities of the type log-concavity or log-convexity. It is shown by this method that binomial coefficients and Stirling numbers of the first and second kinds are log-concave, and…
Using techniques of projective geometry, we give elementary proofs of two theorems concerning Hagge configurations.
Error in proof of theorem 10.
We provide a proof and a counterexample to two conjectures made by N. Kuznetsov.