Related papers: On cubics and quartics through a canonical curve
We prove that, over a smooth quasi-projective curve, the set of non-isotrivial, smooth and projective families of polarized varieties with a fixed Hilbert polynomial and semi-ample canonical bundle is bounded. This extends the boundedness…
The quantum cohomology algebra of a projective manifold X is the cohomology H(X,Q) endowed with a different algebra structure, which takes into account the geometry of rational curves in X. We show that this algebra takes a remarkably…
It has recently been observed that, in contrast to the classical case, holomorphic structures on line bundles over the quantum projective line are not uniquely determined by degree. We formulate a fixed-point-theoretic framework for the…
The general construction of self-adjoint configuration space representations of the Heisenberg algebra over an arbitrary manifold is considered. All such inequivalent representations are parametrised in terms of the topology classes of flat…
In recent years, many useful applications of the polynomial method have emerged in finite geometry. Indeed, algebraic curves, especially those defined by R\'edei-type polynomials, are powerful in studying blocking sets. In this paper, we…
We construct Lie algebras of vector fields on universal bundles $\mathcal{E}^2_{N,0}$ of symmetric squares of hyperelliptic curves of genus $g=1,2,\dots$, where $g=\left[\frac{N-1}{2}\right], \ N=3,4,\ldots$. For each of these Lie algebras,…
We investigate space curves with large cohomology. To this end we introduce curves of subextremal type. This class includes all subextremal curves. Based on geometric and numerical characterizations of curves of subextremal type, we show…
Cubical type theory provides a constructive justification of homotopy type theory. A crucial ingredient of cubical type theory is a path lifting operation which is explained computationally by induction on the type involving several…
This paper investigates the representation-theoretic structure of the Koszul cohomology of a smooth projective variety $X$ over an algebraically closed field $k$, admitting an action of a finite group $G$ of order coprime to ${\rm…
Let $\text{M}_C( 2, \mathcal{O}_C) \cong \mathbb{P}^3$ denote the coarse moduli space of semistable vector bundles of rank $2$ with trivial determinant over a smooth projective curve $C$ of genus $2$ over $\mathbb{C}$. Let $\beta_C$ denote…
We show that every bundle gerbe on a supermanifold decomposes into a bundle gerbe over the underlying manifold and a 2-form on the supermanifold. This decomposition is not canonical, but is determined by the choice of a projection map to…
Given the implicit equation $F(x,y,t,s)$ of a family of algebraic plane curves depending on the parameters $t,s$, we provide an algorithm for studying the topology types arising in the family. For this purpose, the algorithm computes a…
This study aims on proposing a new structure for constructing Bernstein-like bases. The structure uses an auxiliary function and a shape parameter to construct a new family of bases from any family of blending functions. The new family of…
Genus 5 curves can be hyperelliptic, trigonal, or non-hyperelliptic non-trigonal, whose model is a complete intersection of three quadrics in $\mathbb{P}^4$. We present and explain algorithms we used to determine, up to isomorphism over…
Kontsevich's characteristic classes are invariants of framed smooth fiber bundles with homology sphere fibers. It was shown by Watanabe that they can be used to distinguish smooth $S^4$-bundles that are all trivial as topological fiber…
We compute the Chen-Ruan orbifold cohomology ring of the Batyrev mirror orbifold of a smooth quintic hypersurface in 4-dimensional projective space. We identify the obstruction bundle for this example by using the Riemann bilinear relations…
Let $C$ be a genus 2 curve and $\su$ the moduli space of semi-stable rank 2 vector bundles on $C$ with trivial determinant. In \cite{bol:wed} we described the parameter space of non stable extension classes (invariant with respect to the…
After recalling the notion of caustics of plane curves and basic equations, we first show the birationality of the caustic map for a general source point S in the plane. Then we prove more generally a theorem for curves D in the projective…
Let $\mathcal F$ be a holomorphic foliation with ample canonical bundle on a smooth projective surface $X$. We obtain an upper bound on the order of its automorphism group which depends only on $K_{\mathcal F}^2$ and $K_{\mathcal F}K_{X}$,…
Using recent results of Bayer-Macr\`i, we compute in many cases the pseudoeffective and nef cones of the projectivised cotangent bundle of a smooth projective K3 surface. We then use these results to construct explicit families of smooth…