Related papers: Minimal model program for algebraically integrable…

Let $(X/Z,B+A)$ be a $\Q$-factorial dlt pair where $B,A\ge 0$ are $\Q$-divisors and $K_X+B+A\sim_\Q 0/Z$. We prove that any LMMP$/Z$ on $K_X+B$ with scaling of an ample$/Z$ divisor terminates with a good log minimal model or a Mori fibre…

In this paper we prove two theorems. The first one is a structure result that describes the extrinsic geometry of an embedded surface with constant mean curvature (possibly zero) in a homogeneously regular Riemannian three-manifold, in any…

We consider manifolds equipped with a foliation $\cal F$ of codimension $4q$, and an almost quaternionic structure $Q$ on the transversal bundle of ${\cal F}$. After discussing conditions of projectability and integrability of $Q$, we study…

We construct new examples of immersed minimal surfaces with catenoid ends and finite total curvature, of both genus zero and higher genus. In the genus zero case, we classify all such surfaces with at most $2n+1$ ends, and with symmetry…

This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic…

Any graded restricted simple Lie algebra of Cartan type contains a subalgebra isomorphic to the Witt algebra over a field of prime characteristic. As some analogue of study on branching rules for restricted non-classical Lie algebras, it is…

In this work, we construct some irreducible components of the space of two-dimensional holomorphic foliations on $\mathbb{P}^n$ associated to some algebraic representations of the affine Lie algebra $\mathfrak{aff}(\mathbb{C})$. We give a…

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 study the existence and the schematic structure of elementary components of the nested Hilbert scheme on a smooth quasi-projective variety. Precisely, we find a new lower bound for the existence of non-smoothable nestings of fat points…

We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…

We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…

This paper is an announcement of the minimal model theory for log surfaces in all characteristics and contains some related results including a simplified proof of the Artin-Keel contraction theorem in the surface case.

We study the algebraic entropy of continuous endomorphisms of compactly covered, locally compact, topologically quasihamiltonian groups. We provide a Limit-free formula which helps us to simplify the computations of this entropy. Moreover,…

We consider an interesting class of braidings defined by a combinatorial property in an earlier paper. We show that it consists exactly of those braidings that come from certain Yetter-Drinfeld module structures over pointed Hopf algebras…

Let $\mathcal{L}$ be a finite-dimensional semisimple Lie algebra of rank $N$ over an algebraically closed field of characteristic $0$. Associated to $\mathcal{L}$ is a family of polynomial folding maps…

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories with finite limits and colimits. As an…

Let U be a smooth quasi-projective variety over a field k that is finite, the algebraic closure of a finite field or algebraically closed of characteristic 0. Let X be a suitable projective compactification of U, and D an effective divisor…

We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…

This paper contains an elementary proof of the existence of the classical model structure on the category of unbounded DG-Lie algebras over a field of characteristic zero, with an emphasis on the properties of free and semifree extensions,…

To a special type of grope embedded in 4-space, that we call an admissible grope, we associate a length function for each real number q at least 1. This gives rise to a family of pseudo-metrics d^q, refining the slice genus metric, on the…