Related papers: The minimal model program for b-log canonical divi…

Let $\mathcal B(\delta)$ be the Brauer category over the complex field $\mathbb C$ with the parameter $\delta$. In non-semisimple case, $\delta$ is an integer, and each weight space of $(\frac{\delta}2-1)$th semi-infinite wedge space…

Semi-log canonical varieties are a higher-dimensional analogue of stable curves. They are the varieties appearing as the boundary $\Delta$ of a log canonical pair $(X,\Delta)$, and also appear as limits of canonically polarized varieties in…

We investigate splitting-type variational problems with some linear growth conditions. For balanced solutions of the associated Euler-Lagrange equation we receive a result analogous to Bernstein's theorem on non-parametric minimal surfaces.…

We use multiplication maps to give a characteristic-free approach to vanishing theorems on toric varieties. Our approach is very elementary but is enough powerful to prove vanishing theorems.

We prove that the existence of log minimal models in dimension $d$ essentially implies the LMMP with scaling in dimension $d$. As a consequence we prove that a weak nonvanishing conjecture in dimension $d$ implies the minimal model…

We develop a wide general theory of bilinear bi-parameter singular integrals $T$. First, we prove a dyadic representation theorem starting from $T1$ assumptions and apply it to show many estimates, including $L^p \times L^q \to L^r$…

We show that there is a minimal pair in the nonuniform generic degrees, and hence also in the uniform generic degrees. This fact contrasts with Igusa's result that there are no minimal pairs for relative generic computability, and answers a…

We study the problem of uniformizing quasi-projective varieties with logcanonical compactifications. More precisely, given a complex projective variety X with log-canonical singularities, we give criteria for X to be isomorphic to a…

We prove that every slightly degenerate braided fusion category admits a minimal nondegenerate extension, and hence that every pseudo-unitary super modular tensor category admits a minimal modular extension. This completes the program of…

We investigate questions related to the minimal degree of invariants of finitely generated diagonalizable groups. These questions were raised in connection to security of a public key cryptosystem based on invariants of diagonalizable…

We extend the decomposition theorem for numerically $K$-trivial varieties with log terminal singularities to the K\"ahler setting. Along the way we prove that all such varieties admit a strong locally trivial algebraic approximation, thus…

We prove that the Brauer group of TMF is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Then, we compute the local Brauer group, i.e., the subgroup of the Brauer group of elements trivialized by some \'etale…

A GBDT version of the B\"acklund-Darboux transformation for a non-isospectral canonical system is considered. Applications to multiplicative integrals and their limit values, to characteristic matrix functions and to linear similarity…

Let X be a smooth projective rational variety carrying a regular action of a finite abelian group G. We give examples of effective computation of the Brauer group of the quotient stack [X/G] in dimensions 2 and 3 using residues in Galois…

We describe the set of minimal log discrepancies of toric log varities, and study its accumulation points.

Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…

A step-by-step presentation of the code for a small theorem prover introduces theorem-proving techniques. The programming language used is Standard ML. The prover operates on a sequent calculus formulation of first-order logic, which is…

We provide a relation between Brauer-Manin obstruction and descent obstruction for torsors over open varieties under a connected linear algebraic group or a group of multiplicative type is given. Such a relation is further refined for…

We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points. To compute (with) the 0-dimensional projection and the…

In this paper, for a smooth variety equiped with an action of a connected algebraic group (not necessary linear), we introduce the notion of invariant Brauer sub-group and the notion of invariant \'etale Brauer-Manin obstruction. Then we…