Related papers: On isolated log canonical singularities with index…
We analyse the complexity of solving the discrete logarithm problem and of testing the principality of ideals in a certain class of number fields. We achieve the subexponential complexity in $O(L(1/3,O(1)))$ when both the discriminant and…
We give canonical resolutions of singularities of several cone varieties arising from invariant theory. We establish a connection between our resolutions and resolutions of singularities of closure of conjugacy classes in classical Lie…
We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the…
The aim of this paper is to study all the natural first steps of the minimal model program for the moduli space of stable pointed curves. We prove that they admit a modular interpretation and we study their geometric properties. As a…
We prove the isogeny property for special fibres of integral canonical models of compact Shimura varieties of $A_n$, $B_n$, $C_n$, and $D_n^{\dbR}$ type. The approach used also shows that many crystalline cycles on abelian varieties over…
We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated…
We study relations between two log minimal models of a fixed lc pair. For any two log minimal models of an lc pair constructed with log MMP, we prove that there are small birational models of the log minimal models which can be connected by…
The minimal degeneration singularities in the affine Grassmannians of simple simply-laced algebraic groups are determined to be either Kleinian singularities of type A, or closures of minimal orbits in nilpotent cones. The singularities for…
We introduce a notion of a homological index of a holomorphic 1-form on a germ of a complex analytic variety with an isolated singularity, inspired by X. G\'omez-Mont and G.-M. Greuel. For isolated complete intersection singularities it…
On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a…
We study certain modules over the algebra of a Cartier divisor on a scheme. Using these modules, we present an inductive method for studying finite generation properties of algebras and modules. In the context of the minimal model program,…
Mather and Yau showed that an isolated complex hypersurface singularity is completely determined by its moduli algebra. It is shown, for the simple elliptic singularities, how to construct continuous invariants from the moduli algebras and,…
We study the equivalence of approaching zero for two invariants of a singularity: the minimal log discrepancy and the log canonical threshold of the general hyperplane section.
We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…
We investigate the relation between the local variables of a discrete integrable lattice system and the corresponding separation variables, derived from the associated spectral curve. In particular, we have shown how the inverse…
We define a Hodge-theoretical refinement of the Lyubeznik numbers for local rings of complex algebraic varieties. We prove that these numbers are independent of the choices made in their definition and that, for the local ring of an…
The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can…
In this survey, we review recent developments in extending Hodge theory to differential forms with values in bundles equipped with singular metrics, based on joint work with Ya Deng, Christopher D. Hacon, and Mihai P\u{a}un.
Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first…
We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work…