相关论文: An arithmetic count of the lines meeting four line…

Given $mp$ different $p$-planes in general position in $(m+p)$-dimensional space, a classical problem is to ask how many $p$-planes intersect all of them. For example when $m = p = 2$, this is precisely the question of "lines meeting four…

We say that a line in $\mathbb P^{n+1}_k$ is osculating to a hypersurface $Y$ if they meet with contact order $n+1$. When $k=\mathbb C$, it is known that through a fixed point of $Y$, there are exactly $n!$ of such lines. Under some parity…

Over the complex numbers, there are 92 plane conics meeting 8 general lines in projective 3-space. Using the Euler class and local degree from motivic homotopy theory, we give an enriched version of this result over any perfect field. This…

Recent work of Kass--Wickelgren gives an enriched count of the $27$ lines on a smooth cubic surface over arbitrary fields. Their approach using $\mathbb{A}^1$-enumerative geometry suggests that other classical enumerative problems should…

We use three different methods to count the number of lines in the plane whose intersection with a fixed general quintic has fixed cross-ratios. We compare and contrast these methods, shedding light on some classical ideas which underly…

We give an arithmetic count of the lines on a smooth cubic surface over an arbitrary field $k$, generalizing the counts that over $\mathbb{C}$ there are $27$ lines, and over $\mathbb{R}$ the number of hyperbolic lines minus the number of…

Consider a set of $ n $ points on a plane. A line containing exactly $ 3 $ out of the $ n $ points is called a $ 3 $-rich line. The classical orchard problem asks for a configuration of the $ n $ points on the plane that maximizes the…

We first review some topics in the classical computational geometry of lines, in particular the O(n^{3+\epsilon}) bounds for the combinatorial complexity of the set of lines in R^3 interacting with $n$ objects of fixed description…

We compute an analogue of Pascal's triangle enriched in bilinear forms over a finite field. This gives an arithmetically meaningful count of the ways to choose $j$ ring homomorphisms into an algebraic closure from an \'etale extension of…

We use Macaulay2 for several enriched counts in GW(k). First, we compute the count of lines on a general cubic surface using Macaulay2 over Fp in GW(Fp) for p a prime number and over the rational numbers Q in GW(Q). This gives a new proof…

Let $C \subset \mathbb{P}^3$ be a canonical curve of genus $4$ over an algebraically closed field $k$ of characteristic zero. For a line $l \subset \mathbb{P}^3$, we consider the projection $\pi_l: C \to \mathbb{P}^1$ from $l$ and the…

We apply classical invariant theory of binary forms to explicitly characterize isomorphism classes of hyperelliptic curves of small genus and, conversely, propose algorithms for reconstructing hyperelliptic models from given invariants. We…

We enumerate plane complex algebraic curves of a given degree with one singularity of any given topological type. Our approach is to compute the homology classes of the corresponding equisingular strata in the parameter spaces of plane…

We combine classical Vinberg's algorithms with the lattice-theoretic/arithmetic approach from arXiv:1706.05734 [math.AG] to give a method of classifying large line configurations on complex quasi-polarized K3-surfaces. We apply our method…

In this methodological paper, we first review the classic cubic Diophantine equation $a^3 + b^3 + c^3 = d^3$, and consider the specific class of solutions $q_1^3 + q_2^3 + q_3^3 = q_4^3$ with each $q_i$ being a binary quadratic form. Next…

For an elliptic curve $E$ defined over the field $\mathbb{C}$ of complex numbers, we classify all translates of elliptic curves in $E^3$ such that the $x$-coordinates satisfy a linear equation. This classification enables us to establish a…

New bounds on the number of similar or directly similar copies of a pattern within a finite subset of the line or the plane are proved. The number of equilateral triangles whose vertices all lie within an $n$-point subset of the plane is…

For a finite field k and a triple of integers g \ge r \ge s \ge 0, we count the number of semilinear endomorphisms of a g-dimensional k-vector space which have rank r and stable rank s. Such endomorphisms show up naturally in the…

We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment…

We obtain a recursive formula for the number of rational degree $d$ curves in $\mathbb{P}^3$, whose image lies in a $\mathbb{P}^2$, passing through $r$ lines and $s$ points, where $r + 2s = 3d+2$. This can be viewed as a family version of…