Related papers: Semi log resolution
We prove some semipositivity theorems for singular varieties coming from graded polarizable admissible variations of mixed Hodge structure. As an application, we obtain that the moduli functor of stable varieties is semipositive in the…
In this paper we collect and improve the techniques for calculating the nuclei of a semifield and we use these tools to determine the order of the nuclei and of the center of some commutative presemifields of odd characteristic recently…
We introduce the class of weakly log canonical singularities, a natural generalization of semi-log canonical singularities. Toric varieties (associated to toric face rings, possibly non-normal or reducible) which have weakly (semi-) log…
We present the elementary properties of log canonical centers of log varieties.
In this review we discuss what is known about semiorthogonal decompositions of derived categories of algebraic varieties. We review existing constructions, especially the homological projective duality approach, and discuss some related…
Let $k$ be an $F$-finite field containing an infinite perfect field of positive characteristic. Let $(X, \Delta)$ be a projective log canonical pair over $k$. In this note we show that, for a semi-ample divisor $D$ on $X$, there exists an…
The goal of this paper is to provide some basic structure information on derivations in finite semirings.
Consensus is a well-studied problem in distributed sensing, computation and control, yet deriving useful and easily computable bounds on the rate of convergence to consensus remains a challenge. This paper discusses the use of seminorms for…
We show the existence of canonical heights of subvarieties for bounded sequences of morphisms and give some applications.
We prove the existence of a canonical form for semi-deterministic transducers with incomparable sets of output strings. Based on this, we develop an algorithm which learns semi-deterministic transducers given access to translation queries.…
The main goal of this paper is to give a unified description for the structure of the small quantum cohomology rings for all homogeneous spaces of SL_n(C).
The purpose of these notes is to collect in one place some facts on the category of finite totally ordered sets and some related categories. More specifically, we collect some results on them which will be useful for the study of iteratedly…
We prove that seminormality of cut polytopes is equivalent to normality. This settles two conjectures regarding seminormality of cut polytopes.
Recursive queries have been traditionally studied in the framework of datalog, a language that restricts recursion to monotone queries over sets, which is guaranteed to converge in polynomial time in the size of the input. But modern big…
If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.
In this note we provide an algorithm for computing the fractional integrals of orthogonal polynomials, which is more stable than that using the expression of the polynomials w.r.t. the canonical basis. This algorithm is aimed at solving…
Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in \cite{FHQS}. In this paper, we show a proof strategy…
The purpose of this note is to present a formulation of a given nonlinear ordinary differential equation into an equivalent system of linear ordinary differential equations. It is evident that the easiness of a such procedure would be able…
The purpose of this note is to revisit the proof of the Gearhardt-Pr\"uss-Hwang-Greiner theorem for a semigroup S(t), following the general idea of the proofs that we have seen in the literature and to get an explicit estimate on the norm…
We study semi-stable degenerations of toric varieties determined by certain partitions of their moment polytopes. Analyzing their defining equations we prove a property of uniqueness.