Related papers: Base point free theorems--saturation, b-divisors, …

The purpose of this paper is to give two supplements for vanishing theorems: One is a relative version of the Kawamata-Viehweg-Nadel type vanishing theorem, which is obtained from an observation for the variation of the numerical dimension…

The notion of acceptable bundles plays a fundamental role in the Simpson--Mochizuki theory. This paper presents a detailed study of acceptable bundles on a punctured disk. In addition to its expository aspects, we introduce a new invariant…

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

In 2012 Raghavan, Samuel, and Subrahmanyam showed that the Kazhdan--Lusztig basis for the Iwahori--Hecke algebra in type A provides a ``canonical'' basis for the centraliser algebra of the Schur algebra acting on tensor space. In 2022 the…

We show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient…

We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…

In [31,32,33] the Gauss-Bonnet formulas for coherent tangent bundles over compact oriented surfaces (without boundary) were proved. We establish the Gauss-Bonnet theorem for coherent tangent bundles over compact oriented surfaces with…

The LCS locus is an essential ingredient in the proof of fundamental results of Log Minimal Model Program, such as nonvanishing and base point freeness theorems. We prove in this paper that the LCS locus of a log canonical variety has…

Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms, for reasons both practical (we…

We study base points of the generalized Theta-divisor on the moduli space of vector bundles on a smooth algebraic curve X of genus g defined over an algebraically closed field. To do so, we use the derived categories D(Pic(X)), D(Jac(X)),…

In this paper, we introduce the notion of free-free-Boolean independence relation for triples of algebras. We define free-free-Boolean cumulants ans show that the vanishing of mixed cumulants is equivalent to free-free-Boolean independence.…

We develop techniques of mimicking the Frobenius action in the study of universal homeomorphisms in mixed characteristic. As a consequence, we show a mixed characteristic Keel's base point free theorem obtaining applications towards the…

We construct pairs of algebras with mixed independence relations by using truncations of reduced free products of algebras. For example, we construct free-Boolean pairs of algebras and free-monotone pairs of algebras. We also introduce…

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

The canonical transformation and its unitary counterpart which relate the rational Calogero-Moser system to the free one are constructed.

Flexible grid topology has become a key enabler of flexibility in modern power grids, particularly for congestion management. Studying the effects of combinatorial topological changes is therefore of significant interest, though it remains…

Known and new results on free Boolean topological groups are collected. An account of properties which these groups share with free or free Abelian topological groups and properties specific of free Boolean groups is given. Special emphasis…

We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…

In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…

We develop differential calculus and gauge theory on a finite set G. An elegant formulation is obtained when G is supplied with a group structure and in particular for a cyclic group. Connes' two-point model (which is an essential…