Related papers: Complete Linear Series on a Hyperelliptic Curve

Let $A$ be an abelian surface over an algebraically closed field $\overline{k}$ with an embedding $\overline{k}\hookrightarrow\mathbb{C}$. When $A$ is isogenous to a product of elliptic curves, we describe a large collection of pairwise…

In this paper, we construct some families of infinitely many hyperelliptic curves of genus $2$ with exactly two rational points. In the proof, we first show that the Mordell-Weil ranks of these hyperelliptic curves are $0$ and then…

Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map…

On a smooth complex projective variety $X$ of dimension $n$, consider an ample vector bundle $\mathcal{E}$ of rank $r \leq n-2$ and an ample line bundle $H$. A numerical character $m_2=m_2(X,\mathcal{E},H)$ of the triplet…

In this article we establish a version of Y. Miyaoka generic semi-positivity theorem in the context of log-canonical orbifold pairs. As an application, we show that the canonical bundle associated to a lc pair is big as soon as there exists…

In this paper, we study non-hyperelliptic curves of genus $3$ with cyclic automorphism group of order $6$. Over an algebraically closed field $K$ of characteristic $\neq 2,3$, such curves are written as plane quartics $C_r: x^3 z + y^4 + r…

Let be a general curve of genus g embedded via a general linear series of degree d in P^r. The well-known Maximal Rank Conjecture asserts that the restriction maps H^0(O_{P^r}(m)) \to H^0(O_C(m) are of maximal rank; if known, this…

We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and…

We consider the natural A-infinity structure on the Ext-algebra $Ext^*(G,G)$ associated with the coherent sheaf $G={\cal O}_C\oplus {\cal O}_{p_1}\oplus...\oplus {\cal O}_{p_n}$ on a smooth projective curve $C$, where $p_1,...,p_n\in C$ are…

We propose an approach to study logarithmic sheaves T(-log A) associated with a hyperplane arrangements A on the projective space, based on projective duality, direct image functors and vector bundles methods. We focus on freeness of line…

Let $\mathfrak{g}$ be a finite-dimensional complex Lie algebra and $\textrm{HLie}_{m}(\mathfrak{g})$ be the affine variety of all multiplicative Hom-Lie algebras on $\mathfrak{g}$. We use a method of computational ideal theory to describe…

Let C/Q be a curve of genus three, given as a double cover of a plane conic. Such a curve is hyperelliptic over the algebraic closure of Q, but may not have a hyperelliptic model of the usual form over Q. We describe an algorithm that…

Let $X$ be a smooth projective curve over the complex numbers. To every representation $\rho\colon \GL(r)\lra \GL(V)$ of the complex general linear group on the finite dimensional complex vector space $V$ which satisfies the assumption that…

We study families of superelliptic curves with fixed automorphism groups. Such families are parametrized with invariants expressed in terms of the coefficients of the curves. Algebraic relations among such invariants determine the lattice…

Let (M,L) be a polarized manifold and let G(M,L) be the graded algebra generated by H^0(M,iL) in degree i. The aim of this paper is to establish a connection between the generators of G(M,L) and the very ampleness of the line bundle rL.…

This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then…

We study topologically trivial $G$-Higgs bundles over an elliptic curve $X$ when the structure group $G$ is a connected real form of a complex semisimple Lie group $G^{\mathbb{C}}$. We achieve a description of their (reduced) moduli space,…

An $L(2,1)$-labeling of a graph $G=(V,E)$ is a function $f$ from the vertex set $V(G)$ to the set of nonnegative integers such that the labels on adjacent vertices differ by at least two, and the labels on vertices at distance two differ by…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

We outline a general algorithm for computing an explicit model over a number field of any curve of genus 2 whose (unpolarized) Jacobian is isomorphic to the product of two elliptic curves with CM by the same order in an imaginary quadratic…