Related papers: Projective linear configurations via non-reductive…
Theorem (uniformization). Let X be a compact Kahler manifold of dimension n with large, residually finite and nonamenable fundamental group. Then its universal covering is a bounded domain in the n-dimensional affine space.
Let $E_1,\ldots,E_k$ be a collection of linear series on an algebraic variety $X$ over $\mathbb{C}$. That is, $E_i\subset H^0(X, \mathcal{L}_i)$ is a finite dimensional subspace of the space of regular sections of line bundles $…
An induced additive action on a projective variety $X\subseteq\mathbb{P}^n$ is a regular action of the group $\mathbb{G}_a^n$ on $X$ with an open orbit that can be extended to a regular action on $\mathbb{P}^n$. Such actions are known to…
Consider a projective manifold X and suppose that some wedge power of the cotangent bundle contains a subsheaf whose determinant bundle has maximal Kodaira dimension. Then we prove that X is of general type. More generally we compute the…
Let $K$ be the function field of a smooth projective geometrically integral curve over a finite extension of $\mathbb{Q}_p$. Following the works of Harari, Scheiderer, Szamuely, Izquierdo, and Tian, we study the local-global and weak…
Let $A$ be a Hopf algebra over a field $K$ of characteristic 0 and suppose there is a coalgebra projection $\pi$ from $A$ to a sub-Hopf algebra $H$ that splits the inclusion. If the projection is $H$-bilinear, then $A$ is isomorphic to a…
We use operator algebras and operator theory to obtain new result concerning Berezin quantization of compact K\"ahler manifolds. Our main tool is the notion of subproduct systems of finite-dimensional Hilbert spaces, which enables all…
Let X be a right Hilbert C*-module over A. We study the geometry and the topology of the projective space P(X) of X, consisting of the orthocomplemented submodules of X which are generated by a single element. We also study the geometry of…
This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…
Let $X$ be a geometrically irreducible smooth projective curve, of genus at least three, defined over the field of real numbers. Let $G$ be a connected reductive affine algebraic group, defined over $\mathbb R$, such that $G$ is nonabelian…
The space of unitary local systems of rank one on the complement of an arbitrary divisor in a complex projective algebraic variety can be described in terms of parabolic line bundles. We show that multiplier ideals provide natural…
Let $X$ be a curve of genus $g\geq 2$ over a number field $F$ of degree $d = [F:Q]$. The conjectural existence of a uniform bound $N(g,d)$ on the number $\#X(F)$ of $F$-rational points of $X$ is an outstanding open problem in arithmetic…
Given a suitable action on a complex projective variety X of a non-reductive affine algebraic group H, this paper considers how to choose a reductive group G containing H and a projective completion of G x_H X which is a reductive envelope…
Recent results in geometric invariant theory (GIT) for non-reductive linear algebraic group actions allow us to stratify quotient stacks of the form [X/H], where X is a projective scheme and H is a linear algebraic group with internally…
We construct a presentation for the Cox ring of the projectivization $\mathbb{P}\mathcal{E}$ of any rank $n$ irreducible toric vector bundle on $\mathbb{P}^n$. We use this presentation to show that $\mathbb{P}\mathcal{E}$ always satisfies…
We begin the systematic study of cohomological Hecke operators of modifications of coherent sheaves on a smooth surface $X$, along a fixed proper curve $Z \subset X$. We develop the necessary geometric foundations in order to define the…
We study the representation theory of the nested instantons quiver presented in [1], which describes a particular class of surface defects in four-dimensional supersymmetric gauge theories. We show that the moduli space of its stable…
We compare the quantisation of linear systems of bosons and fermions. We recall the appearance of projectively flat connection and results on parallel transport in the quantisation of bosons. We then discuss pre-quantisation and…
We show that Hilbert schemes of planar curve singularities and their parabolic variants can be interpreted as certain generalized affine Springer fibers for $GL_n$, as defined by Goresky-Kottwitz-MacPherson. Using a generalization of affine…
We compute the cohomology spaces for the tautological bundle tensor the determinant bundle on the punctual Hilbert scheme H of subschemes of length n of a smooth projective surface X. We show that for L and A invertible vector bundles on X,…