Related papers: ACC for log canonical thresholds for complex analy…

We prove a formula of log canonical models for moduli space $\bar{M}_{g,n}$ of pointed stable curves which describes all Hassett's moduli spaces of weighted pointed stable curves in a single equation. This is a generalization of the…

We show that every boolean category satisfying AC provides a categorical semantic of the typed Epsilon calculus.

We prove a conjecture due to V.V. Shokurov on the boundedness of $\epsilon$-log canonical complements on surfaces. As an application we give a new proof to the boundedness of weak log Fano surfaces.

In this paper, we show the abundance theorem for log canonical surfaces over fields of positive characteristic.

We express the Segre class of a monomial scheme in projective space in terms of log canonical thresholds of associated ideals. Explicit instances of the relation amount to identities involving the classical polygamma functions.

In this note, we show how to apply the original $L^2$-extension theorem of Ohsawa and Takegoshi to the standard basis of a multiplier ideal sheaf associated with a plurisubharmonic function. In this way, we are able to reprove the strong…

We show that every finite-dimensional p-adic Lie group of class C^k admits a C^k-compatible analytic Lie group structure.

We prove that there exist weakly countably determined spaces of complexity higher than coanalytic. On the other hand, we also show that coanalytic sets can be characterized by the existence of a cofinal adequate family of closed sets.…

Using Koll\'ar's semipositivity results, we produce a number of nef and ample tautological divisors on Hassett's spaces of weighted stable pointed curves. As an application, we prove that Hassett's spaces are log canonical models of…

We generalize results from topological robotics on the topological complexity (TC) of aspherical spaces to sectional categories of fibrations inducing subgroup inclusions on the level of fundamental groups. In doing so, we establish new…

In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.

We prove that any complex analytic set in $\mathbb{C}^n$ which is Lipschitz normally embedded at infinity and has tangent cone at infinity that is a linear subspace of $\mathbb{C}^n$ must be an affine linear subspace of $\mathbb{C}^n$…

We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function.

In this paper, we study the singularities of a pair (X,Y) in arbitrary characteristic via jet schemes. For a smooth variety X in characteristic 0, Ein, Lazarsfeld and Mustata showed that there is a correspondence between irreducible closed…

We show that any proper Lie groupoid admits a compatible (real) analytic structure.

In this monograph, we study complexity classes that are defined using $O(\log n)$-space bounded non-deterministic Turing machines. We prove salient results of Computational Complexity in this topic such as the Immerman-Szelepcsenyi Theorem,…

This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…

In this article we prove the following boundedness result: Fix a DCC set $I\subset [0, 1]$. Let $\mathfrak{D}$ be the set of all log pairs $(X, \Delta)$ satisfying the following properties: (i) $X$ is a projective surface defined over an…

In this article we introduce a generalization of locally conformally Kaehler metrics from complex manifolds to complex analytic spaces with singularities and study which properties of locally conformally Kaehler manifolds still hold in this…

The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIME-complete in the presence of unrestricted axioms. Several fragments of ALC, notably logics in the FL, EL, and…