Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0707.0241

Singular points of real quartic curves via computer algebra

David A. Weinberg·Nicholas J. Willis
View original source ↗Read source document ↗Export metadata ↓

Abstract

There are thirteen types of singular points for irreducible real quartic curves and seventeen types of singular points for reducible real quartic curves. This classification is originally due to D.A. Gudkov. There are nine types of singular points for irreducible complex quartic curves and ten types of singular points for reducible complex quartic curves. We derive the complete classification with proof by using the computer algebra system Maple. We clarify that the classification is based on computing just enough of the Puiseux expansion to separate the branches. Thus, the proof consists of a sequence of large symbolic computations that can be done nicely using Maple.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David A. Weinberg, Nicholas J. Willis. 2007-07-02. Singular points of real quartic curves via computer algebra. https://arxiv.org/abs/0707.0241

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Improved effective estimates of Pólya's Theorem for quadratic forms

Following de Loera and Santos, the Pólya exponent of a $n$-ary real form (i.e. a homogeneous polynomial in $n$ variables with real coefficients) $f$ is the infimum of the upward closed set of nonnegative integers $m$ such that $(x_1 + \cdots + x_n)^m f$ strictly has positive coefficients. By a theorem of Pólya, a form assumes only positive values over the standard $(n - 1)$-simplex in Euclidean $n$-space if and only if its Pólya exponent is finite. In this note, we compute an upper bound of the Pólya exponent of a quadratic form $f$ that assumes only positive values over the standard simplex. Our bound improves a previous upper bound due to de Klerk, Laurent and Parrilo. For example, for the binary quadratic form $f_κ= λ^2 x_1^2 - 2 κλx_1 x_2 + x_2^2$, which assumes only positive values over the standard $1$-simplex whenever $0 \le κ< 1 < λ$, our upper bound of its Pólya's exponent is $O(1/λ)$ times that of de Klerk, Laurent and Parrilo's as $λ$ tends to infinity.

math.AG↗
arXiv2026

Crystalline Realizations of 1-Motives: Integral Structure and Classification via Linear Frobenius

We study morphisms and integral weight splittings in the contravariant Dieudonné realization of Deligne $1$-motives over a finite field. Combining the classical Tate theorem with a finite-level divisibility criterion, we prove integral full faithfulness after $p$-adic completion of morphism groups. We identify the geometric extension classes killed by the Barsotti--Tate realization and determine the exact common $p$-power denominator of the weight projectors from the extension maps of a $1$-motive and its Cartier dual. The same invariant measures the integral splitting defect. Frobenius resultants and reduced resultants give uniform bounds, whose sharpness is illustrated by explicit elliptic examples. Semilinear descent expresses crystalline morphisms through linear Frobenius intertwiners; eigenvalue ratios then determine morphism ranks over finite extensions and the minimal common field of definition. We characterize the rational essential image using cyclotomic factors and Honda--Tate multiplicities, and obtain derived realization equivalences for motives generated by curves after scalar extension and idempotent completion. Applications include quaternionic descent and divisor correspondences between smooth projective curves.

math.AG↗
arXiv2026

On logarithmic Donaldson-Thomas invariants for local Calabi-Yau $4$-folds

In this paper, we study logarithmic Donaldson-Thomas invariants for local log Calabi-Yau $4$-folds with simple normal crossing divisors. Using the family version of shifted Lagrangian classes announced by Khan-Kinjo-Park-Safronov, we construct relative and family logarithmic $\mathsf{DT}_4$-theories for logarithmic Hilbert schemes of curves, and prove a degeneration formula. For logarithmic Hilbert schemes of points, we construct virtual classes and prove a degeneration formula in Chow groups; in particular, it is independent of shifted Lagrangian classes. Finally, combining our degeneration formula with logarithmic cobordism, we explicitly compute the zero-dimensional logarithmic $\mathsf{DT}_4$-invariants for local surface snc pairs.

math.AG↗