Related papers: Canonical key formula for projective abelian schem…

In this article, we give a proof for a geometric presentation theorem for any irreducible scheme $X$ smooth projective over a discrete valuation ring $R$. As a consequence, for any reductive $R$-group scheme $\mathbf{G}$, we prove that any…

Let $V$ be a complex nonsingular projective 3-fold of general type with $\chi(\omega_V)\geq 0$ (resp. $>0$). We prove that the m-canonical map $\Phi_{|mK_V|}$ is birational onto its image for all $m\ge 14$ (resp. $\geq 8$). Known examples…

Let $X$ be a complex analytic manifold, $D\subset X$ a free divisor with jacobian ideal of linear type (e.g. a locally quasi-homogeneous free divisor), $j: U=X-D \to X$ the corresponding open inclusion, $E$ an integrable logarithmic…

We introduce the notion of a projectively simple ring, which is an infinite-dimensional graded k-algebra A such that every 2-sided ideal has finite codimension in A (over the base field k). Under some (relatively mild) additional…

In this paper we define tensor modules(sheaves) of Schur type,or of generalized Schur type associated with the give module(sheaf), using the so-called Schur functors. Then using global method we construct canonical homomorphisms between…

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

As the first main result of this article, we prove that if $e$ and $e'$ are idempotents of a commutative ring $A$, then there is a canonical isomorphism of $A$-modules: $$Ae\oplus Ae'\simeq Ae/Ae(1-e')\oplus Ae'/Ae'(1-e)\oplus…

We extend the Serre-Tate theory of canonical lifts of ordinary abelian varieties to arbitrary unpolarised families of ordinary abelian varieties parameterised by a $p$-adic formal scheme $S$. We show that the canonical lift is the unique…

We classify singular fibres of a projective Lagrangian fibration over codimension one points. As an application, we obtain a canonical bundle formula for a projective Lagrangian fibration over a smooth manifold.

In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral…

We reformulate Hrushovski's definability patterns from the setting of first order logic to the setting of positive logic. Given an h-universal theory T we put two structures on the type spaces of models of T in two languages, \mathcal{L}…

We associate to each automorphism of the plane, a geometric construction with some properties, it is the {\it{canonical resolution}}. We study the geometry of the canonical resolution, we deduce from it an upper bound for a geometric…

This is the first in a series of papers by the authors on the arborealization program. The main goal of the paper is the proof of uniqueness of arboreal models, defined as the closure of the class of smooth germs of Lagrangian submanifolds…

It has been conjectured by Prokhorov and Shokurov that the moduli part in the canonical bundle formula is effectively b-semiample. In this work we reduce this conjecture to the case where the base of the fibration has dimension one.…

Let $I$ be an ideal of the polynomial ring $A[x]=A[x_1,...,x_n]$ over the commutative, noetherian ring $A$. Geometrically $I$ defines a family of affine schemes over $\Spec(A)$: For $\p\in\Spec(A)$, the fibre over $\p$ is the closed…

We present a formalization of constructive affine schemes in the Cubical Agda proof assistant. This development is not only fully constructive and predicative, it also makes crucial use of univalence. By now schemes have been formalized in…

We consider codes defined over an affine algebra $\mathcal A=R[X_1,\dots,X_r]/\left\langle t_1(X_1),\dots,t_r(X_r)\right\rangle$, where $t_i(X_i)$ is a monic univariate polynomial over a finite commutative chain ring $R$. Namely, we study…

Let $f:X\to Y$ be a Cohen-Macaulay map of finite type between Noetherian schemes, and $:Y'\to Y$ a base change map, with $Y'$ Noetherian. Let $f'$ be the base change of $f$ under $g$ and $g'$ the base change of $g$ under $f$. We show that…

This paper extends an algorithm and canonical embedding by Cauchon to a large class of quantum algebras. It applies to iterated Ore extensions over a field satisfying some suitable assumptions which cover those of Cauchon's original setting…

We give an example of geometric construction (via Hecke correspondences) of certain representations of the affine Lie algebra $\hat{gl}_n$. The construction is similar to the one of [FK] for the Lie algebra $sl_n$. Given a surface with a…