Related papers: Examples of Type IV unprojection
We construct an irreducible embedded projective plane in $S^4$. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list. Moreover, we answer both Questions (i) and (ii) of Problem 4.37: (i)…
Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24…
We study the existence of deformations of all $14$ Gorenstein weighted projective spaces $\mathbf P$ of dimension $3$ by computing the number of times their general anticanonical divisors are extendable. In favorable cases (8 out of 14), we…
We seek to characterize homology classes of Lagrangian projective spaces embedded in irreducible holomorphic-symplectic manifolds, up to the action of the monodromy group. This paper addresses the case of manifolds deformation-equivalent to…
For a very general polarized $K3$ surface $S\subset \mathbb{P}^g$ of genus $g\ge 5$, we study the linear system on the Hilbert square $S^{[2]}$ parametrizing quadrics in $\mathbb{P}^g$ that contain $S$. We prove its very ampleness for…
The relationship between convex geometry and algebraic geometry has deep historical roots, tracing back to classical works in enumerative geometry. In this paper, we continue this theme by studying two interconnected problems regarding…
Let $H$ be an infinite dimensional Hilbert space. We show that there exist three orthogonal projections $X_1, X_2, X_3$ onto closed subspaces of $H$ such that for every $0\ne z_0\in H$ there exist $k_1, k_2,\dots \in \{1,2,3\}$ so that the…
Weighted projective spaces are natural generalizations of projective spaces with a rich structure. Projective Reed-Muller codes are error-correcting codes that played an important role in reliably transmitting information on digital…
We construct a 4-dimensional family of surfaces of general type with p_g=0 and K^2=3 and fundamental group Z/2xQ_8, where Q_8 is the quaternion group. The family constructed contains the Burniat surfaces with K^2=3. Additionally, we…
We use our new type of bounded locally homeomorphic quasiregular mappings in the unit 3-ball to address long standing problems for such mappings. The construction of such mappings comes from our construction of non-trivial compact…
The line geometric model of 3-D projective geometry has the nice property that the Lie algebra sl(4) of 3-D projective transformations is isomorphic to the bivector algebra of CL(3,3), and line geometry is closely related to the classical…
We classify the cohomology classes of Lagrangian 4-planes $\P^4$ in a smooth manifold $X$ deformation equivalent to a Hilbert scheme of 4 points on a $K3$ surface, up to the monodromy action. Classically, the cone of effective curves on a…
Let $\ell_1,\ell_2,\dots$ be a countable collection of lines in ${\mathbb R}^d$. For any $t \in [0,1]$ we construct a compact set $\Gamma\subset{\mathbb R}^d$ with Hausdorff dimension $d-1+t$ which projects injectively into each $\ell_i$,…
Complex supermanifold structures being deformations of the exterior algebra of a holomorphic vector bundle, have been parametrized by orbits of a group on non-abelian cohomology by P. Green. For the case of odd dimension $4$ and $5$ an…
We identify the finitely many arithmetic lattices $\Gamma$ in the orientation preserving isometry group of hyperbolic $3$-space $\mathbb{H}^3$ generated by an element of order $4$ and and element of order $p\geq 2$. Thus $\Gamma$ has a…
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford…
We address the problem of classification of hyper-K\"ahler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-K\"ahler $4$-folds numerically equivalent to the Hilbert scheme of two…
Let $X = \bigcup_k X_k$ be the ind-Grassmannian of codimension $n$ subspaces of an infinite-dimensional torus representation. If $\cE$ is a bundle on $X$, we expect that $\sum_j (-1)^j \Lambda^j(\cE)$ represents the $K$-theoretic…
It is known that characters of BPS representations of extended superconformal algebras do not have good modular properties due to extra singular vectors coming from the BPS condition. In order to improve their modular properties we apply…
Many classes of projective algebraic varieties can be studied in terms of graded rings. Gorenstein graded rings in small codimension have been studied recently from an algebraic point of view, but the geometric meaning of the resulting…