相关论文: Effective base point free theorem for log canonica…

An elementary proof that certain pairs of $2\times 2$ matrices with nonnegative real coordinates generate free monoids.

We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…

We prove that a pointed one dimensional family of varieties $\mathcal{X}\to {b\in B}$ in positive characteristics is locally stable iff the log pair $(\mathcal{X'}, \mathcal{X}'_{b'})$ arising from its base change to the perfectoid base…

Motivated by Shokurov's ACC Conjecture for log canonical thresholds, we propose an inductive point of view on singularities of pairs, in the case when the ambient variety is smooth. Our main result characterizes the log canonicity of a pair…

We give a simple proof of Voisin's Theorem for general canonical curves of even genus. This completely determines the terms of the minimal free resolution of the coordinate ring of such curves.

We prove that the non-vanishing conjecture and the log minimal model conjecture for projective log canonical pairs can be reduced to the non-vanishing conjecture for smooth projective varieties such that the boundary divisor is zero.

The purpose of this paper is to give two applications of Fourier transforms and generic vanishing theorems: - we give a cohomological characterization of principal polarizations - we prove that if $X$ an abelian variety and $\Theta $ a…

Let $f: X \to Z$ be a fibration from a normal projective variety $X$ of dimension $n$ onto a normal curve $Z$ over a perfect field of characteristic $p>2$. Let $(X, B)$ be a dlt pair such that the induced pair on a general fibre is log…

We show that generalized log canonical thresholds for complex analytic spaces satisfy the ACC and we characterize the accumulation points.

Canonical is a solver for type inhabitation in dependent type theory, that is, the problem of producing a term of a given type. We present a Lean tactic which invokes Canonical to generate proof terms and synthesize programs. The tactic…

By means of a canonical transformation it is shown how it is possible to recast the equations for molecular nonlinear optics to completely eliminate ground-state static dipole coupling terms. Such dipoles can certainly play a highly…

Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and…

The main purpose of this paper is to establish some useful partial resolutions of singularities for pairs from the minimal model theoretic viewpoint. We first establish the existence of log canonical modifications of normal pairs under some…

Let $f:X\to U$ be a projective morphism of normal varieties and $(X,\Delta)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,\Delta)\times_U U^0$ has a good minimal model over $U^0$ and the images of all the…

In this paper, we proved that a log smooth family of log general type klt pairs with a special (in the sense of Campana) quasi-projective base is isotrivial. As a consequence, we proved the generalized Kebekus-Kov\'acs conjecture…

We introduce the notion of quasi-log complex analytic spaces and establish various fundamental properties. Moreover, we prove that a semi-log canonical pair naturally has a quasi-log complex analytic space structure. This paper is part of…

We prove a fixed point theorem for a family of Banach spaces, notably L^1 and its non-commutative analogues. Several applications are given, e.g. the optimal solution to the "derivation problem" studied since the 1960s.

We examine canonical bases for weakly holomorphic modular forms of weight $0$ and level $p = 2, 3, 5, 7, 13$ with poles only at the cusp at $\infty$. We show that many of the Fourier coefficients for elements of these canonical bases are…

In this paper, we prove the cone theorem and the contraction theorem for pairs $(X, B)$, where $X$ is a normal variety and $B$ is an effective $\mathbb R$-divisor on $X$ such that $K_X+B$ is $\mathbb R$-Cartier.

Let $(X,B)$ be a projective log canonical pair such that $B$ is a $\Q$-divisor, and that there is a surjective morphism $f\colon X\to Z$ onto a normal variety $Z$ satisfying: $K_X+B\sim_\Q f^*M$ for some $\Q$-divisor $M$, and the augmented…