We introduce a new formalism and a number of new results in the context of geometric computational vision. The classical scope of the research in geometric computer vision is essentially limited to static configurations of points and lines in $P^3$ . By using some well known material from algebraic geometry, we open new branches to computational vision. We introduce algebraic curves embedded in $P^3$ as the building blocks from which the tensor of a couple of cameras (projections) can be computed. In the process we address dimensional issues and as a result establish the minimal number of algebraic curves required for the tensor variety to be discrete as a function of their degree and genus. We then establish new results on the reconstruction of an algebraic curves in $P^3$ from multiple projections on projective planes embedded in $P^3$ . We address three different presentations of the curve: (i) definition by a set of equations, for which we show that for a generic configuration, two projections of a curve of degree d defines a curve in $P^3$ with two irreducible components, one of degree d and the other of degree $d(d - 1)$, (ii) the dual presentation in the dual space $P^{3*}$, for which we derive a lower bound for the number of projections necessary for linear reconstruction as a function of the degree and the genus, and (iii) the presentation as an hypersurface of $P^5$, defined by the set of lines in $P^3$ meeting the curve, for which we also derive lower bounds for the number of projections necessary for linear reconstruction as a function of the degree (of the curve). Moreover we show that the latter representation yields a new and efficient algorithm for dealing with mixed configurations of static and moving points in $P^3$.
We study a connection between two topics: Decoding of Goppa codes arising from an algebraic curve, and rank two extensions of certain line bundles on the curve.
For a family of K3 surfaces we implement a variation of a general construction of towers of algebraic curves over finite fields given in a previous paper. As a result we get a good tower over $k=\mathbb{F}_{p^2}$, that is optimal if $p=3$.
We discuss the principle tools and results and state a few open problems concerning the classification and topology of plane sextics and trigonal curves in ruled surfaces.
We study conchoids to algebraic curve from the perspective of algebraic geometry, analyzing their main algebraic properties. We introduce the formal definition of conchoid of an algebraic curve by means of incidence diagrams. We prove that, with the exception of a circle centered at the focus and taking $d$ as its radius, the conchoid is an algebraic curve having at most two irreducible components. In addition, we introduce the notions of special and simple components of a conchoid. Moreover we state that, with the exception of lines passing through the focus, the conchoid always has at least …
In this paper we prove the topological uniqueness of maximal arrangements of a real plane algebraic curve with respect to three lines. More generally, we prove the topological uniqueness of a maximally arranged algebraic curve on a real toric surface. We use the moment map as a tool for studying the topology of real algebraic curves and their complexifications.
We establish for smooth projective real curves the equivalent of the classical Clifford inequality known for complex curves. We also study the cases when equality holds.
Two sets of conditions are presented for the compactness of a real plane algebraic curve, one sufficient and one necessary, in terms of the Newton polygon of the defining polynomial.
We formulate a refined theory of linear systems, using the methods of a previous paper, "A Theory of Branches for Algebraic Curves", and use it to give a geometric interpretation of the genus of an algebraic curve. Using principles of duality, we prove generalisations of Plucker's formulae for algebraic curves. The results hold for arbitrary characteristic of the base field L, with some occasional exceptions when characteristic(L)=2, which we observe in the course of the paper.
Let X,Y be algebraic curves in P^n over C. We give an effective description of the join J(X,Y)\in P^n of X and Y in terms of local parametrizations of X and Y.
Let $\mathcal{X}$ be an algebraic curve of genus $g$ defined over an algebraically closed field $K$ of characteristic $p \geq 0$, and $q$ a prime dividing $|\mbox{Aut}(\mathcal{X})|$. We say that $\mathcal{X}$ is a $q$-curve. Homma proved that either $q \leq g+1$ or $q = 2g+1$, and classified $(2g+1)$-curves. In this note, we classify $(g+1)$-curves, and fully characterize the automorphism groups of $q$-curves for $q= 2g+1, g+1$. We also give some partial results on $q$-curves for $q = g, g-1$.
This article shows that on a generic principally polarized abelian variety of dimension five the $\mathbb{Q}$-vector space of algebraic equivalences among the 27 Abel-Prym curves has dimension 20.
Patchworking theorems serve as a basic element of the correspondence between tropical and algebraic curves, which is a core of the tropical enumerative geometry. We present a new version of a patchworking theorem which relates plane tropical curves with complex and real algebraic curves having prescribed multiple points. It can be used to compute Welschinger invariants of non-toric Del Pezzo surfaces.
Let $X \subset \mathbb{C}^{2n}$ be an $n$-dimensional algebraic variety. We define the algebraic version of the generic symmetry defect set (Wigner caustic) of $X$. Moreover, we compute its singularities for $X_d$ being a generic curve of degree $d$ in $\mathbb{C}^2$.
We study linear series on curves inducing injective morphisms to projective space, using zero-dimensional schemes and cohomological vanishings. Albeit projections of curves and their singularities are of central importance in algebraic geometry, basic problems still remain unsolved. In this note, we study cuspidal projections of space curves lying on irreducible quadrics (in arbitrary characteristic).
We apply numerical algebraic geometry to the invariant-theoretic problem of detecting symmetries between two plane algebraic curves. We describe an efficient equality test which determines, with "probability-one", whether or not two rational maps have the same image up to Zariski closure. The application to invariant theory is based on the construction of suitable signature maps associated to a group acting linearly on the respective curves. We consider two versions of this construction: differential and joint signature maps. In our examples and computational experiments, we focus on the compl…
A projective non-singular plane algebraic curve of degree d<=4 is called maximally symmetric if it attains the maximum order of the automorphism groups for complex non-singular plane algebraic curves of degree d. For d<=7, all such curves are known. Up to projectivities, they are the Fermat curve for d=5,7, see \cite{kmp1,kmp2}, the Klein quartic for d=4, see \cite{har}, and the Wiman sextic for d=6, see \cite{doi}. In this paper we work on projective plane curves defined over an algebraically closed field of characteristic zero, and we extend this result to every d>=8 showing that the Fermat …
In this paper, we introduce the notion of infinity branches as well as approaching curves. We present some properties which allow us to obtain an algorithm that compares the behavior of two implicitly defined algebraic plane curves at the infinity. As an important result, we prove that if two plane algebraic curves have the same asymptotic behavior, the Hausdorff distance between them is finite.
Elimination theory has many applications, in particular, it describes explicitly an image of a complex line under rational transformation and determines the number of common zeroes of two polynomials in one variable. We generalize classical elimination theory and create elimination theory along an algebraic curve using the notion of determinantal representation of algebraic curve. This new theory allows to describe explicitly an image of a plane algebraic curve under rational transformation and to determine the number of common zeroes of two polynomials in two variables on a plane algebraic cu…
We discuss selected topics on the topology of moduli spaces of curves and maps, emphasizing their relation with Gromov--Witten theory and integrable systems.
A criterion for the existence of a birational embedding into a projective plane with non-collinear Galois points for algebraic curves is presented. A new example of a plane curve with non-collinear Galois points as an application is described. Furthermore, a new characterization of the Fermat curve in terms of non-collinear Galois points is presented.
Nagoya University（名古屋大学）；Korea Institute for Advanced Study（韩国高等研究院）；The University of Tokyo（东京大学）
We discuss the geometry of rational maps from a projective space of an arbitrary dimension to the product of projective spaces of lower dimensions induced by linear projections. In particular, we give an algebro-geometric variant of the projective reconstruction theorem by Hartley and Schaffalitzky [HS09].
Given a real curve, we study special linear systems called "very special" for which the dimension does not satisfy a Clifford type inequality. We classify all these very special linear systems when the gonality of the curve is small.
We present a treatment of the algebraic description of the Jacobian of a generic genus two plane curve which exploits an SL2(k) equivariance and clarifes the structure of E.V.Flynn's 72 defining quadratic relations. The treatment is also applied to the Kummer variety.
We present relations between cycles with rational coefficients modulo algebraic equivalence on the Jacobian of a curve. These relations depend on the linear systems the curve admits. They are obtained in the tautological ring, the smallest subspace containing (an embedding of) the curve and closed under the basic operations of intersection, Pontryagin product and the pullback and pushdown induced by homotheties.
In this paper, we develop the theory of flashes of an algebraic curve. We show that the theory is birationally invariant in a sense which we will make more precise below. We also show how the theory provides a foundation for the method of asymptotic degenerations, a particular class of degenerations of plane projective algebraic curves. In particular, we consider the geometrical technique in relation to the Severi problem of degenerating nodal curves to lines in general position, and correct Severi's original proof of his conjecture.
The purpose of this paper is two-fold. We first prove a series of results, concerned with the notion of Zariski multiplicity, mainly for non-singular algebraic curves. These results are required in the paper "A Theory of Branches for Algebraic Curves",(*), where, following Severi, we introduced the notion of the "branch" of an algebraic curve. Secondly, we use results from the cited paper, (*), in order to develop a refined theory of g_{n}^{r} on an algebraic curve. The refinement depends critically on relacing the notion of a point with a branch. This allows us to construct a theory of diviso…
For a non-singular real algebraic projective curve, topological restrictions on a closed motion of a simple real divisor in its linear equivalence class are found.
We prove a Curve Selection Lemma valid in infinite-dimensional algebraic geometry and apply it, together with a structure theorem of Grinberg-Kahzdan and Drinfeld, to obtain a Curve Selection Lemma in arc spaces.
A generalization of the amoeba and the Ronkin function of a plane algebraic curve for a pair of harmonic functions on an algebraic curve with punctures is proposed. Extremal properties of $M$-curves are proved and connected with the spectral theory of difference operators with positive coefficients.
We show that a reduct of the Zariski structure of an algebraic curve which is not locally modular interprets a field, answering a question of Zilber's.
In a previous work of the authors, a result to algorithmically compute the topology types of the level curves of an algebraic surface, is given. From this result, here we derive applications based on level curves to determine some topological features of surfaces (reality, compactness, connectivity) and to the problem of plotting.
Motivated by Xing's method [7], we show that there exist [n,k,d] linear Hermitian codes over F_{q^2} with k+d>=n-3 for all sufficiently large q. This improves the asymptotic bound of Algebraic-Geometry codes from Hermitian curves given in [9,10].
The development of computational techniques in the last decade has made possible to attack some classical problems of algebraic geometry. In this survey, we briefly describe some open problems related to algebraic curves which can be approached from a computational viewpoint.
We present novel, deterministic, efficient algorithms to compute the symmetries of a planar algebraic curve, implicitly defined, and to check whether or not two given implicit planar algebraic curves are similar, i.e. equal up to a similarity transformation. Both algorithms are based on the fact, well-known in Harmonic Analysis, that the Laplacian operator commutes with orthogonal transformations, and on efficient algorithms to find the symmetriessimilarities of a harmonic algebraic curvetwo given harmonic algebraic curves. In fact, we show that in general the problem can be reduced to the har…
A criterion for the existence of a birational embedding of an algebraic curve into a projective plane with two Galois points is presented. Several novel examples of plane curves with two inner Galois points as an application are described.
A covariant functor from the category of generic complex algebraic curves to a category of the AF-algebras is constructed. The construction is based on a representation of the Teichmueller space of a curve by the measured foliations due to Douady, Hubbard, Masur and Thurston. The functor maps isomorphic algebraic curves to the stably isomorphic AF-algebras.
A criterion for the existence of a plane model of an algebraic curve such that the Galois closures of projections from two points are the same is presented. As an application, it is proved that the Hermitian curve in positive characteristic coincides with the Galois closures of projections of some plane curve from some two non-uniform points.
In his investigation on large $K$-automorphism groups of an algebraic curve, Stichtenoth obtained an upper bound on the order of the first ramification group of an algebraic curve $\cX$ defined over an algebraically closed field of characteristic $p$. Stichtenoth's bound has raised the problem of classifying all $\K$-automorphism groups $G$ of $\cX$ with the following property: There is a point $P\in \cX$ for which \begin{equation} |G_P^{(1)}|>\frac{p}{p-1}g. \end{equation} Such a classification is obtained here by proving Theorem 1.3
