Combinatorics and real lifts of bitangents to tropical quartic curves

Smooth algebraic plane quartics over algebraically closed fields have 28 bitangent lines. Their tropical counterparts often have infinitely many bitangents. They are grouped into seven equivalence classes, one for each linear system associated to an effective tropical theta characteristic on the tropical quartic. We show such classes determine tropically convex sets and provide a complete combinatorial classification of such objects into 41 types (up to symmetry). The occurrence of a given class is determined by both the combinatorial type and the metric structure of the input tropical plane quartic. We use this result to provide explicit sign-rules to obtain real lifts for each tropical bitangent class, and confirm that each one has either zero or exactly four real lifts, as previously conjectured by Len and the second author. Furthermore, such real lifts are always totally-real.


Introduction
Superabundance phenomena in tropical geometry pose a challenge to addressing enumerative geometry questions by combinatorial means [4,30,37,38].For example, smooth tropical plane quartic curves can have infinitely many bitangent tropical lines, as opposed to the count of 28 bitangents to smooth algebraic plane quartic curves over algebraically closed fields of characteristic different than two [3].For an example with exactly seven tropical bitangents, we refer to [12,Figure 12b].
Basic duality between R 2 and the space of non-degenerate tropical lines in R 2 identifies each such line with (plus or minus) its unique vertex.This paper gives a combinatorial characterization of these infinite sets of points and sheds light on this question over real closed valued fields, such as the real Puiseux series R{{t}}, related to Plücker's famous count of real bitangents to real quartic curves [36].
The existence of infinitely many tropical bitangents was first shown by Baker et al. [3] using the theory of divisors on tropical curves and their linear equivalences, encoded by chip-firing moves [2].Combinatorially, tropical quartic curves correspond to metric graphs of genus three (depicted in Figure 2.) Out of all five graphs, only the first four can be realized as skeleta of smooth tropical plane curves dual to unimodular triangulations of the 4-dilated 2-simplex.The relevant length data of these graphs is also linearly restricted.
Even though the tropical count is infinite, the collection of tropical bitangent lines can be grouped together into seven equivalence classes, under perturbations that preserve the tangencies [3].These bitangent classes are polyhedral complexes in R 2 .To highlight the interactions between a given tropical quartic curve Γ and its bitangent classes, we can further refine the structure of each class using the subdivision of R 2 induced by Γ.We define the shape of a tropical bitangent class to be this refined combinatorial structure.
The symmetric group S 3 acts on bitangent classes and their shapes.Our first main result is a complete combinatorial classification of such objects up to S 3 -symmetry: Theorem 1.1.There are 41 shapes of bitangent classes to generic tropicalized plane quartics, up to symmetry (see Figure 6.)All of them are min-tropical convex sets.
This classification only relies on the duality between tropical smooth plane quartic curves and unimodular triangulations of the standard simplex of side length four.
Standard duality identifying a tropical line with the negative of its vertex seems more natural, since incidence relations would be preserved [5].With this convention, the associated bitangent classes would be max-tropical convex sets.We choose to avoid changing the sign of the vertex since the tangency points can be easily determined from it.
All shapes in Figure 6 are color-coded to highlight their refined combinatorial structure.Black and gray cells correspond to those missing the curve, whereas red ones lie on it.Unfilled vertices correspond to vertices of Γ.
The proof of this statement is given in Section 4. It involves a careful analysis of possible combinations of tangency points (up to symmetry) and the description of local moves of the vertex of the bitangent line Λ that preserve tangencies.A simple inspection shows that they are all min-tropical convex sets, most of which are not finitely generated.The latter contrasts with the construction of complete linear systems on abstract tropical curves done by Haase-Musiker-Yu [15].The difference arises precisely due to the choice of embedding.
Whenever superabundance is observed, lifting questions arise naturally.Len and the second author [27] proved that for generic choices, each class lifts to exactly four bitangents if the classical quartic curve is defined over a non-Archimedean algebraically closed field K.This fact was independently proven by Jensen and Len [21] (removing this mild genericity constraints) by exploiting the classical connection between bitangent lines and theta characteristics in the tropical setting [32,41], and by Chan and Jiradilok [8] in the special case where the underlying non-Archimedean skeleton of the tropical curve is the complete graph on four vertices.
Although each bitangent class has exactly four lifts [27,Theorem 4.1], their number can be realized in various ways and by more than one member of the given class.Figure 6 shows which members have non-trivial lifting multiplicities (with values one, two or four.) By definition, the tropical theta characteristics of a tropical quartic are extremely sensitive to the underlying metric structure on its skeleton [3,Appendix].The same is true for its bitangent classes.In particular, the seven shapes occurring can vary within a single chamber in the secondary fan of the standard simplex of side-length four.Nonetheless, the presence of a bitangent class of a fixed shape imposes restrictions on the Newton subdivision of the quartic curve with tropicalization Γ.Our findings are summarized in Corollary 4.12.Figure 19 shows the relevant cells associated to each representative shape.Edges are color-coded to emphasize the combinatorial tangency types.
Questions involving the realness of bitangent lines to plane quartics can be traced back to Plücker [36].As shown by Zeuthen [40], the answer depends on the topology of the underlying smooth real quartic curve viewed in the real projective plane [35, Table 1].The last two columns of Table 2 show these numbers in four of the six possible topological types.The missing three topological types (two nested ovals, one oval or an empty curve) admit exactly four real bitangent lines each.
The fact that the number of real bitangents of a real plane quartic and the number of complex lifts to any tropical bitangent class are always a multiple of four suggests the question whether real lifts to a given bitangent class also come in multiples of four.Using Tarski's Principle [20] we can count real bitangents by lifting tropical bitangents to a real closed filed K R , thus providing a positive answer to this question: Theorem 1.2.[27, Conjecture 5.1] Let Γ be a generic tropicalization of a smooth plane quartic defined over a real closed complete non-Archimedean valued field K R .Then, a bitangent class of a given shape has either zero or exactly four lifts to real bitangents to a quartic curve when its real locus is near the tropical limit.
Rather than venturing for a tropical analog between real theta characteristics and real bitangents to plane quartics [14,23,24], we choose an algorithmic approach which has the potential to be used in the arithmetic setting [25,29].Our proof of Theorem 1.2 builds on the lifting techniques developed in [27], which we review in Section 5. Table 11 provides precise necessary and sufficient conditions for the existence of real lifts to each bitangent class in terms of the signs of relevant vertices in the Newton subdivision.The positivity conditions in the table are due to the presence of radicands in the formulas for computing the initial terms of the coefficients of the classical line lifting a given tropical bitangent.
Once the realness of a given bitangent is established, it is natural to ask whether the tangency points are also real, i.e., if the bitangent to the real quartic curve is totally real or not.Corollary 7.3 shows that for generic plane curves defined over K R with smooth generic tropicalizations in R 2 , any real bitangent line to them is always totally real.Thus, new examples will only be captured by tropical geometry once the current methods are extended to non-smooth tropical plane quartics [26] or smooth ones embedded in higher dimensional tori.We leave this task to future work.
The rest of the paper is organized as follows.Section 2 reviews the construction of tropical bitangents to tropical plane curves and its connection to tropical theta characteristics.We provide a combinatorial classification of local tangencies and recall the main techniques for lifting tropical bitangents from [27] under mild genericity conditions.Both tools play a central role in the proofs of Theorems 1.1 and 1.2.
In Section 3 we define bitangent classes and introduce their combinatorial refinements, called shapes.An analysis of local moves for points on each bitangent class, discussed in Lemma 3.2, allows us to conclude each class is a connected polyhedral complex.Our last result characterizes unbounded cells in suitable classes.Section 4 contains the proof of Theorem 1.1.
Section 5 discusses local lifting multiplicities both over real closed valued fields and their algebraic closure for all bitangent classes.Theorem 5.1 determines all combinations of local tangency types that can arise from tropical bitangents under mild genericity conditions.Propositions 5.2, 5.4 and Lemma 5.7 provide necessary and sufficient local lifting conditions over K R for each tangency type with multiplicity two.Lifting formulas in the presence of multiplicity four tangencies are provided in Appendix A.
Section 6 contains the proof of Theorem 1.2.Section 7 confirms our lifting techniques only produces totally real bitangents, which manifest the geometry behind the genericity conditions imposed on the input smooth plane quartics.We conclude with some open questions and directions to pursue in the future.
1.1.How to use this paper.For any given quartic polynomial q(x, y) defined over the field of real Puiseux series R{{t}}, Theorem 1.2 and Table 11 provide an easy way to decide which of the seven bitangent classes of its tropicalization Γ = Trop V (q) lift to the reals: it suffices to check the positivity of appropriate products of its coefficients.
Building on [27], we can even determine which member of each bitangent class lifts to a classical bitangent line to V (q), and how many lifts does it have.Furthermore, since the signs of the coefficients in q determine the topology of the real quartic curve V R (q) close to the tropical limit by means of Viro's Patchworking method [17,39], our methods give a way of verifying Plücker's classical Theorem in concrete examples.We refer the reader to the Polymake extension TropicalQuarticCurves and the database entry QuarticCurves in polyDB recently developed by Geiger and Panizzut [13] to provide a tropical proof of Plücker and Zeuthen's count [12, Theorem 1].
We illustrate this ideas in the following example.The connection to tropical theta characteristics is discussed in Example 2.4.
Figure 1.From left to right: a tropical quartic curve Γ and its seven bitangent classes, together with its dual subdivision and the relevant dual cells responsible for each class.The color code matches the S 3 -orbit shape representative from Figure 6 (permutations are listed in Table 1).The unfilled dots on Γ match the locations of chips from Figure 3.
The tropical curve Γ = Trop V (q) and its seven tropical bitangent classes together with its dual Newton subdivision can be seen in Figure 1.The shape for classes (2), ( 3) and ( 4) is only revealed after applying a non-trivial permutation, described explicitly in Table 1.
The picture shows the relevant cells in the Newton subdivision for these non-standard bitangent classes.In this example, the shape of all seven bitangent classes is independent of the metric structure on Γ, hence it only depends on the Newton subdivision of q.Next, we discuss how the signs s ij of the coefficients a ij of q determine the existence of real lifts of the bitangent classes of Γ, as predicted by Table 11 (after suitable permutations).By construction, all lifts from shape (3) must be real, but realness for the remaining shapes does depend on the choice of signs.Table 1 summarizes our findings.
The parameters featuring in all formulas in Table 11 are determined by the vertices of the Newton subdivision in the neighborhood of each tangency points.In particular, for class (5) we use the parameters v = u = 2, i = j = 3, for (6) we have v = 2, i = 3, u = j = 0, whereas for (7) we take v = i = 0, u = 2 and j = 3. Replacing the values for each s ij coming from (1.1) we certify that the class (1) is the only one with real lifts.Thus, V (q) has a total of eight real bitangents.Furthermore, our results place the vertex of the corresponding tropical bitangents at the black vertices of (1) and (3).
Notice that three inequalities involving eight signs in Table 1 govern the realness of the algebraic lifts.Thus, we can study how the total number of real bitangents varies as we choose a different smooth plane quartic V (q) over R{{t}} with tropicalization Γ.If all inequalities hold, the quartic curve V (q) has 28 real bitangents.Violating any subset
The maps τ 0 and τ 1 are given in Table 3.  1 giving all possible number of real bitangents on the algebraic lift V (q).For each row, we indicate which bitangent classes have real lifts and the topology of the real curve V R (q) near the tropical limit.
of them will lead to different numbers of classes with real lifts, namely four, two or one.Using Theorem 1.2, we conclude that the number of real lifts are 28, 16, 8 or 4.
Table 2 shows sign choices realizing each of these four cases, together with the bitangent classes admitting real lifts and the topology of a real quartic curve close to the tropical limit.The latter was certified with the combinatorial patchworking online tool [11].⋄

Tropical curves, bitangent lines and their lifts
Throughout this paper we work with real closed, complete non-Archimedean valued fields K R with valuation ring (R, M) and their algebraic closures, denoted by K. We assume the valuation map is non-trivial and admits a splitting, which we denote by ω → t ω as in [28,Chapter 2].We set t 0 = 1.Our main examples will be the Puiseux series R{{t}} and C{{t}} in the uniformizer t.By the Tarski principle [20], R{{t}} is equivalent to the reals, so we can count real bitangents by lifting tropical bitangents to R{{t}}.This principle has been applied to other problems in tropical geometry, see e.g.[1,28].
Initial forms (defined below) will be central to this work: In the sequel, a bitangent line ℓ to V (q) will be determined by the fixed equation Its tropicalization Λ will always be a non-degenerate tropical line in R 2 , i.e., a tripod graph with ends of direction (−1, 0), (0, −1) and (1, 1).Tropical curves will be defined following the max convention (for more details, see e.g.[28].)The tropicalization of a plane curve V (q) with q ∈ K[x, y] will be determined by the Newton subdivision of q (for an example, see Figure 1.)In turn, the tropicalization of a curve embedded in (K * ) n by an ideal I in the Laurent polynomial ring is the (Euclidean) Figure 2. Possible skeletons for smooth plane quartics.Following the notation of [6], each graph is labeled by a triple (lbc) of single digit numbers, where l is the number of loops, b is the number of bi-edges (pairs of edges between adjacent vertices), and c is the number of bridges (or cut-edges.)The graph (303) cannot be realized via tropicalization in R 2 .closure in R n of the image of V (I) under the coordinatewise negative valuation map on K * .Our choice of I will be determined by tropical modifications or refinements of R 2 along tropical bitangent lines to tropical plane curves.For details, we refer to [31].
2.1.Tropical bitangents.Throughout this paper, we consider smooth plane quartics V (q) defined over either K or K R , where We assume the Newton polytope of q is the standard 2-simplex of side length four and we let Γ be the associated tropical plane quartic.We assume Γ is a tropical smooth plane quartic, that is, the Newton subdivision of q is a unimodular triangulation.The skeleton Σ(Γ) of Γ is the subgraph obtained by repeatedly contracting all the edges adjacent to leaves.As we mentioned in the introduction, only four out of all five planar genus three graphs in Figure 2 can arise as skeletons of Γ.The edge lengths are also linearly constrained, as shown in [6,Theorem 5.1].
Tropical bitangent lines to Γ were first studied by Baker et al. [3].They were defined using stable intersections between a tropical line Λ and Γ.We recall the construction: Definition 2.2.A tropical line Λ is bitangent to Γ if any of the following conditions holds: (i) Λ ∩ Γ has two connected components, each with stable intersection multiplicity 2; or (ii) Λ ∩ Γ is connected and its stable intersection multiplicity is 4.
Stable intersections in R 2 are determined by the fan displacement rule (see, e.g.[18]): A generic choice of vector v ensures that Γ and Λ + εv intersect properly in R 2 whenever ε is small enough.If two tropical curves C 1 and C 2 intersect property and where u 1 and u 2 are the weighted directions of the edges of C 1 and C 2 containing p in their relative interiors.Furthermore, |p whenever these curves intersect properly.
Remark 2.3.By construction, the symmetric group S 3 on three letters records automorphisms of P 2 fixing the tropical line.This action extends to Z 2 and the space of smooth tropical plane quartics and their bitangent lines.Table 3 shows the action of two generators of S 3 on both the classical and tropical worlds.
Using the theory of tropical divisors on curves (see e.g.[2]), bitangent lines to Γ with tangency points P and P ′ can be identified with tropical divisors on Γ that are linearly equivalent to 2P + 2P ′ .More precisely, given the stable intersection . Generators of S 3 as projective, polytopal and tropical isomorphisms.
Figure 3. Metric structure on the skeleton Γ of the tropical quartic, and its eight theta characteristics.The dashed cycles on the chip configuration of each effective theta characteristic indicate its associated non-zero element of H 1 (Γ, Z/2Z).Note that L 0 is the single non-effective theta characteristic.
The labeling matches that of Figure 1.
must find a piecewise linear function f on Γ that is linear outside D ∪ {P, P ′ } and such that D + div(f ) is effective and contains 2P + 2P ′ .These tropical divisors correspond to effective tropical theta characteristics [41] on the metric graph Σ(Γ), as the following example illustrates.
Example 2.4. Figure 3 shows the skeleton Σ(Γ) of the curve discussed in Example 1.3 with its metric structure and 12 relevant points (v ′ 0 through v ′ 3 ) used to describe its eight theta characteristics.The location of the points v ′′ 12 and v ′′′ 12 depends on the metric structure on Σ(Γ).The loops γ 1 , γ 2 and γ 3 in Σ(Γ) of lengths 17, 12 and 14, respectively, are dual to the lattice points (1, 2), (1, 1) and (2, 1) in the Newton subdivision.Using Zharkov's Algorithm [41], we write all theta characteristics of the metric graph: where γ I := i∈I γ i for each I.The seven effective theta characteristics L γ 1 , . . ., L γ 123 correspond to the seven bitangent classes of Γ.The location of the chips on each graph of Figure 3 indicates the pair of tangency points for some bitangent line to Γ. ⋄ In [27], Len and the second author provided a classification of all tangency types between the curves Γ and Λ into five types.Furthermore, the theta characteristics approach allowed them to determine the precise location of the tangency points within the stable intersection Γ∩ st Λ.For non-proper intersections, the tangencies are located in the midpoint of bounded edges where overlappings occur.Overlappings along ends of Γ reflect a tangency at the adjacent vertex of Γ.
To simplify our case analysis in Section 4, we provide a refined classification of local tangencies.Their S 3 -representatives are depicted to the right of Figure 4. Our combinatorial classification requires precise information of the edge directions in the link of a tropical tangency.Tangencies of types (6a) and (6b) show an overlap between a horizontal end of both Λ and Γ.The remaining two edge directions in the star of the tangency at Γ are fixed: they are (1, −1) and (0, 1) for type (6a), and (3, −1), (−2, 1) for type (6b).Table 4 shows all relevant directions involved in type ( 2) and ( 4) tangencies occurring at each end of Λ.For the bitangent lines depicted in (3b), the connected component of intersection with Γ contains both tangency points.In our local discussion here, we only refer to the tangency point in the interior of the horizontal bounded edge, as highlighted in the picture.
Proof.The min-and max-tropical lines with vertex v divide R 2 into six regions, as seen in the right-most picture in Figure 4. We prove the statement by a direct computation, analyzing the locations of the three ends in the star Star Γ (v) of v in Γ with respect to these six regions.First, assume Star Γ (v) is a min-tropical line.Then, the vertex v is a tangency point of local multiplicity two.Second, assume Star Γ (v) contains only one of the three ends of a min-tropical line.Up to S 3 -symmetry, we may assume it has direction (1, 0) and the remaining two ends are located in the relative interior of the following combined regions: (I,IV), (I,V), (I,VI) or (II,V).The latter case is not possible by the smoothness condition on Γ.In the first three cases, the same condition ensures that the bounded edge of Γ in I equals (−a, 1) with a = 2 or 3. Since v is a tangency, we conclude that a = 3 and the multiplicity is four.
Finally, we claim no tangency at v can occur if the star of Γ at v shares no end with a min-tropical line.Indeed, we exploit the S 3 -action to restrict the location of the three ends of Star Γ (v) to four triples: (I,I,IV), (I,II,IV), (I,III,V) or (I,III,VI).The last three cases are incompatible with the balancing condition and smoothness of Star Γ (v).In turn, smoothness and the requirement of having intersection multiplicity two or four at v reduces the possible (I,I,IV) configurations to three cases, with ends (0, 1), (−1, 0), (1, −1), (0, 1) (−1, 2) and (1, −3), or (−1, 0), (−2, 1) and (3, −1), violating either the transverse condition property or the restrictions on Star γ (v).This concludes our proof.□ Remark 2.6.The action of S 3 allows us to restrict the local configurations corresponding to a tangency point P of multiplicity 4. A simple computation of local multiplicities determines the directions of the relevant edges of Γ.For cases (1), ( 2), ( 4) and (5b), the point P is adjacent to or in the relative interior of an edge e with direction (−3, 1).For (6b), P is a vertex of Γ and its two adjacent bounded edges have directions (3, −1), (−2, 1).In these five cases, we assume P lies in the diagonal end of Λ.For (3b), we assume P lies in the horizontal end of Λ.In this situation, the multiplicity four can only occur where the vertex of Λ agrees with the right-most vertex of a bounded horizontal edge e of Γ and the stable intersection assigns weight three to v and one to the other endpoint of e. Linear equivalence identifies this situation with a multiplicity four point on the edge.There are two possibilities for Star Γ (v) that determine the location of the tropical tangency points via chip-firing.

2.2.
Lifting tropical bitangents.In [27], Len and the second author developed a novel effective technique for producing bitangent lines to generic smooth plane quartics from their tropical counterparts.In this section, we review their construction, setting up the notation and definitions for Sections 5 through 7, and Appendix A. Definition 2.7.Consider a degree four bivariant polynomial q over K and let V (q) be the associated plane quartic curve.We say (ℓ, p, p ′ ) is a bitangent triple to V (q) defined over K if ℓ is a bitangent line to V (q) with tangency points p and p ′ .We are interested in analyzing which tropical bitangents Λ to Γ with tropical tangency points P and P ′ arise as tropicalizations of bitangent triples, and, most importantly, how many such liftings exist.Definition 2.8.We say Λ lifts over K if there exists a bitangent triple (ℓ, p, p ′ ) defined over K (also called a K-bitangent triple) whose tropicalization is (Λ, P, P ′ ), i.e., Trop(ℓ) = Λ, Trop(p) = P and Trop(p ′ ) = P ′ .
The lifting multiplicity of Λ equals the number of such bitangent triples.
The results in [27, Section 3] highlight a central feature of studying bitangent lines to generic smooth plane curves and their lifting multiplicities through the tropical lens.Indeed, they show that liftings can be determined by local systems of equations relative to each tropical tangency.Furthermore, in the quartic case, each tropical tangency provides independent and complementary information regarding the coefficients of ℓ in (2.1).A tangency along the horizontal end of Λ will determine m.The maps τ 0 and τ 1 from Table 3 replace m with m/n and n when the point lies in the vertical and diagonal end of Λ, respectively.The situation is more delicate when the vertex of Λ is the tangency point, as it occurs for cases (4) and (5a) through (6b).We postpone their discussion to Section 5 (for multiplicity two tangencies) and Appendix A (for multiplicity four.) In what follows, we review the local lifting methods from [27] when the local tangency point P has multiplicity two and occurs in the relative interior of the horizontal end of Λ.After a translation and rescaling of Γ and q, we may assume that q ∈ R[x, y] ∖ MR[x, y] and P = (0, 0), so the vertex of Λ equals (λ, 0) for some λ > 0. In particular, val(m) = 0, val(n) = −λ and p ∈ R 2 .We write p = (x, ȳ) ∈ ( K * ) 2 for the point recording the coordinatewise initial forms of p.
The local equations for ℓ at P give a system of three equations in three unknowns (m, x, ȳ) over K determined by the vanishing of the initial forms (with respect to P ) of q, ℓ and the Wronskian W := det(J(q, ℓ; x, y)), that is, xi ȳj , ℓ := ȳ + m and W := det(J(q, ℓ; x, ȳ)).
Here, P ∨ denotes the cell in the Newton subdivision of q dual to P .Notice that since P = (0, 0) and val(n) < 0, these initial forms are nothing but the image of the three original polynomials in K[x, ȳ, m].Furthermore, the class of the Wronskian agrees with the Wronskian of q and ℓ.If the system above does not have a unique solution, tropical modifications can be used to solve for the initial forms and higher order terms (see [27,Lemma 3.7] and references therein.)The support of the local equations has to be increased accordingly.
Each solution (m, x, ȳ) ∈ ( K * ) 3 of the system from (2.3) produces a unique pair (m, p) in R 3 with the prescribed initial forms.Applying a similar method to the second tropical tangency point and combining the outputs will determined the bitangent triples lifting Λ. Uniqueness is essential to compute the lifting multiplicities of each (Λ, P, P ′ ) and it follows from the well-known multivariate analog of Hensel's Lemma (see [27,Theorem 2.2] and references therein.)Lemma 2.9 (Multivariate Hensel's Lemma).Consider f := (f 1 , . . ., f n ) with f i ∈ R[x 1 , . . ., x n ]∖MR[x 1 , . . ., x n ] and let J f be its Jacobian matrix.Fix a = (a 1 , . . ., a n ) ∈ K n satisfying J f (a) ̸ = 0 ∈ K and f i (a) = 0 for all i = 1, . . ., n.Then, there exists a unique b = (b 1 , . . ., b n ) ∈ R n with f i (b) = 0, val(b i ) = 0 and b i = a i for all i = 1, . . ., n.
In our case of interest, a = (m, x, ȳ) and b = (m, p).Furthermore, we can often certify the non-vanishing of the initial form of the Jacobian by computing J(q, ℓ, W ) instead.
Remark 2.10 (Genericity constraints).As we mentioned earlier, the tropical techniques for computing bitangents require some mild genericity conditions.In addition to the smoothness of Γ and the non-degeneracy of a tropical bitangent lines to it, we further assume the following conditions: (i) if Γ contains a vertex v adjacent to three bounded edges with directions (−1, 0), (0, −1) and (1, 1), then the shortest lengths of these three edges is unique; (ii) V (q) has no hyperflexes; (iii) the coefficients of q are generic enough to guarantee that if the tangencies occur in the relative interior of the same end of Λ, then the local systems defined by these two points are inconsistent.Condition (i) allows us to determine the position of the tropical tangencies for the line Λ with vertex v, thus ensuring the validity of the lifting methods for (5b) tangencies developed in [27,Proposition 3.12].Overall, these mild constraints determine which bitangent lines to Γ lift to bitangent triples over K among each bitangent class.
As a consequence of the genericity conditions imposed on Γ and q we have: Theorem 2.11.[27, Theorem 3.1] Assume Λ is a tropical bitangent to a generic tropical smooth plane quartic Γ, with two distinct tangencies.Suppose Γ∩Λ is disconnected.Then: Table 5. Local lifting multiplicities for each tangency type, assuming multiplicity two for all types except for the three right-most columns.
(i) If these points lie in the relative interior of two distinct ends of Λ, the lifting multiplicity of Λ is the products of the local lifting multiplicities of the two tangencies.(ii) If the tangency points lie in the same end of Λ, the lifting multiplicity of Λ is zero.
In Appendix A, we discuss lifting multiplicities in the presence of a multiplicity four tropical tangency.In particular, Theorem A.4 combined with the formulas in Table 12 allows us to conclude that multiplicity four tangencies of types (5b) and (6b) both lift with multiplicity one as seen in Figure 6.Since we assume V (q) has no hyperflexes, none of the other potential multiplicity four tropical tangencies will lift to a bitangent triple.
Table 5 provides a summary for each relevant type, combining the statements included in Appendix A with various results from [27], namely, Propositions 3.5 (for type (1)), 3.6 (for type (2)), 3.7 (for types (3a) and (3c)), 3.10 (for type (4)), 3.11 (for type (5a)) and Remark 3.8 (for type (3b) and (6a).) Recall that in our local discussion here, for case (3b) we only refer to the tangency point highlighted in the picture in Figure 4. Proposition A.7 shows that, globally, the bitangent line depicted in (3b) on the right does not lift if its multiplicity is four.This happens precisely when the second tangency point is the vertex of the tropical bitangent line.Proposition 6.4 studies the global lifting behavior of a bitangent line with two type (3b) tangencies, as seen in the left of the figure.In this situation, the two tangency points lie in the relative interior of two edges of the quartic curve.
The multiplicity formula for types (4) and (6a) involves two vectors.First, the edge e of Γ carrying the tangency, and, second, the end e ′ of Λ where the remaining tangency occurs.Possible combinations of (e, e ′ ) will be determined in Section 4 (see Remark 4.13).In Section 5 we refine these techniques to address real liftings of tropical bitangents with two tangencies.

Bitangent classes, shapes and their local properties
As was mentioned in Section 1 we are interested in determining all tropical bitangent lines Λ to generic tropical smooth plane quartics, denoted throughout by Γ.In particular, we assume that such lines are non-degenerate in TP 2 , i.e., they have a vertex v and three ends.Thus, we may identify Λ with the location of its vertex v in R 2 .Results in this section are purely combinatorial: they depend solely on the duality between Γ and unimodular triangulations of the standard 2-simplex of side length four.The metric structure on the skeleton of Γ plays no role, and Γ need not be generic in the sense of Remark 2.10.
By [3, Proposition 3.6, Definition 3.8], linear equivalence of effective tropical theta characteristics correspond to continuous translations of tropical bitangent lines that preserve the bitangency property.This leads us to the following definition: Definition 3.1.Given a tropical line Λ bitangent to a tropical smooth plane quartic Γ, we define its tropical bitangent class as the connected components of the subset of R 2 containing the vertices of all tropical bitangent lines linearly equivalent to Λ.The shape of a tropical bitangent class refines each class by coloring those points belonging to the tropical quartic Γ, and subdividing edges and rays of a class, accordingly.
By [3,Theorem 3.9] we know that each Γ admits seven bitangent classes.Shapes refine the combinatorial structure of bitangent classes using the subdivision of R 2 induced by Γ.By Remark 2.3, the symmetric group S 3 acts on bitangent classes and their shapes.We aim for a complete classification of all bitangent shapes, up to S 3 -symmetry.To achieve this, we must first discuss how to perturb a vertex while remaining in the same bitangent class.It suffices to focus on one tangency point at a time.A description of such local moves is the content of the next lemma: Lemma 3.2.Let Λ be a tropical bitangent to Γ and let P be a tangency point.The relative position of P within Λ and Γ restricts the directions in which to move the vertex v of Λ so that the corresponding translation of P remains a tangent point.They are depicted in Figure 5.
Proof.We proceed by a case-by-case analysis, depending on the nature of Γ ∩ Λ locally around P .Up to S 3 -symmetry, there are six cases to consider, as seen in Figure 4.The corresponding local moves for each case are depicted in Figure 5.It is important to remark that we are only concerned with ensuring the translation of P remains a tangency point as we move the pair (v, P ), even though the second tangency point may cease to be so along the way.We distinguish between transverse and non-transverse intersections.
First, assume that the local intersection is transverse and P is in the relative interior of an edge e of Γ and an end of Λ, as in the picture labeled (1) in Figure 5.Then, we can pick ε > 0 so that the tropical line with vertex v + w is tangent to Γ at a point in e for any w in the Minkowski sum D + R ≤0 (1,1), where D := D(0, ε) is an open disc.By construction, this local move is 2-dimensional and unbounded.
Second, assume that the intersection around P is again transverse but P satisfies one of the following conditions, corresponding to pictures ( 2) and ( 4) in the figure : (i) P is a vertex of Γ and lies in the relative interior of an end ρ of Λ; or (ii) P is the vertex of Λ and lies in the relative interior of a bounded edge e of Γ.
In both situations, we can find ε > 0 and an (open) half disc D centered at 0 of radius ε, so that the line Λ with vertex v + w is tangent to Γ at a point in either e or ρ for all w ∈ D + R ≤0 (1,1).The set D is obtained by intersecting D(v, ε) with a half-space determined by either ρ or e.This local move is also 2-dimensional and unbounded.
The remaining option for a transverse intersection locally around P corresponds to case (5), where P is also the vertex of Λ.If the local multiplicity is two, the configuration is the one in (5a).In this case, we can translate this point along the three bounded edges of Γ adjacent to P .The new tangency point will correspond to a type (3) local tangency, as in Figure 4.The local move is 1-dimensional and bounded.
On the contrary, if the local multiplicity is four, then P is adjacent to three bounded edges of Γ, with directions (1, 0), (−3, 1) and (2, −1), as seen in (5b).In this situation, we have two possible local moves: one bounded 1-dimensional move along the horizontal edge of Γ, and a second one corresponding to the Minkowksi sum of R ≤0 (1, 1) and a circular sector D bounded by the line with slope one through v and the slope −1/3 edge of Γ.This second move is 2-dimensional and unbounded.
It remains to address all non-transverse intersections.First, assume we have a type (3) local tangency along a horizontal end of Λ.In this situation, we can move (v, P ) along both directions (1, 0) and (−1, 0), as seen in the pictures (3a), (3b) and (3c).The movement is 1-dimensional and locally unbounded.
Finally, assume that P is a vertex of both Γ and Λ, and that locally around P , both curves intersect along a common horizontal end, as in (6a) and (6b) in the figure.The exact values of the remaining directions of the star of Γ at P depend on the intersection multiplicity of P .
In both cases, we can find ε > 0 and a bounded open circular sector D of D(0, ε) so that the line with vertex v + w is tangent to Γ along a bounded edge of Γ adjacent to P for each w ∈ D + R ≤0 (1,1).The sector D is bounded between the vector (−1, −1) and the vectors (1, −1) for (6a), respectively, (3, −1) for (6b), corresponding to the direction of the relevant edge of Γ adjacent to P .
In addition, (6a) allows for an extra move: we can translate (v, P ) along a bounded vertical segment with direction (0, 1).As it occured with type (5b), this local movement is not pure-dimensional.This concludes our proof.□ Local moves that preserve the two tangencies are obtained by combining the local moves determined by each tangency point separately.Lemma 3.2 has an important topological consequence.Each point of a bitangent class admits a local dimension, corresponding to the dimension of the local moves.Notice that whenever a local move is bounded, its boundary is determined by a line segment.Thus: Corollary 3.3.Bitangent classes to Γ are connected polyhedral complexes.
In order to combine local moves associated to tangency points lying in the same end of Λ, it will be useful to compare the position of vertices of Γ relative to this end.The following definition arises naturally: We end this section by discussing unboundedness of cells on bitangent shapes.To this end, we define: Definition 3.5.Let σ be an unbounded cell of a bitangent shape and pick ρ ∈ R 2 ∖ {0}.
The next lemma provides a sufficient condition for a cell to be unbounded.Lemma 3.6.Let Λ be a bitangent line to Γ with vertex v. Assume that the two tangency points are contained in the interior of the same end of Λ with direction ρ.Then, the set v +R ≥0 (−ρ) is contained in the bitangent class of Λ.In particular, this class is unbounded.
Proof.We let P and P ′ be the tropical tangency points of Γ and Λ.Without loss of generality, assume ρ = (−1, 0).Then, the connected component of R 2 \ Λ bounded by the diagonal and vertical ends does not intersect Γ.Thus, we can move the vertex of Λ horizontally to the right arbitrarily far and each new tropical line is tangent to Γ at P and P ′ .All these new tropical lines have the same bitangent class as Λ.The class is unbounded in the direction (1,0).□ Our next lemma identifies the unbounded directions for each bitangent shape with the ends of a min-tropical line.We use it in Section 4 to classify shapes with unbounded cells.Lemma 3.7.Assume that a bitangent shape has an unbounded component σ.Then, we conclude that the relative interior of σ lies in one of three unbounded components of R 2 ∖Γ, namely those dual to (0, 0), (4, 0) or (0, 4).Furthermore, each σ is unbounded in a single direction: it is (−1, −1) for (0, 0), (1, 0) for (4, 0) and (0, 1) for (0, 4).
Proof.By construction, σ • intersect at most a single connected component of R 2 ∖ Γ.First, assume σ • ⊂ Γ, so σ • lies in an end of Γ.A simple inspection show that for any v ∈ σ • with |v| ≫ 0, the tropical line with vertex v will have a multiplicity one intersection point with another end of Γ, which cannot happen since v ∈ σ.
Similarly, if σ • ̸ ⊂ Γ, we let (i, j) be the vertex dual to the unbounded two-dimensional component of R 2 ∖ Γ meeting σ and pick v ∈ σ • with |v| ≫ 0. If (i, j) ̸ = (0, 0), (4, 0) or (0, 4), then the tropical line with vertex v will have a multiplicity one intersection point with an end of Γ in the boundary of this connected component.This leads to a contradiction.
The second claim in the statement is a consequence of the previous claim.By S 3symmetry we need only analyze one case, say when (i, j) = (0, 0).In this situation, for all v in σ • , the tangency points between Γ and the line Λ with vertex v must occur along the diagonal end of Λ. Lemma 3.6 then implies that (−1, −1) is the unique unbounded direction for σ.For any other direction ρ ′ , a line with vertex in v + R ≥0 ρ ′ will meet an end of Γ at a point of multiplicity one.□

A combinatorial classification of bitangent classes
Our objective in this section is to classify the bitangent classes of Γ and their shapes.The results are purely combinatorial and rely heavily on those obtained in Section 3. The classification is organized by the minimal number of connected components of Γ ∩ Λ and the properness of this intersection where Λ is a given member of this class (see Table 6).Propositions 4.1, 4.2 and 4.4 determine the shapes corresponding to each combination.Our findings are summarized in Figure 6. Figure 19 contains the relevant information on the dual subdivision to Γ responsible for each bitangent shape.To simplify the exposition, the information for each subdivision can be found in the proofs of the propositions and lemmas classifying the corresponding shapes.min.conn.comp.proper shapes 1 yes (II) 1 no (C), (D),(L),(L'),(O),(P),(Q),(Q'),(R),(S) 2 yes/no rest Table 6.Classification of the 41 bitangent shapes by the minimal number of components for Γ∩Λ and the type of intersection (proper or no) for some Λ in the given bitangent class.The shape labels refer to those in Figure 6.
We start by discussing the shapes appearing in the first two rows of Table 6: Proof.Since the intersection is transverse, there is a unique tangency point of multiplicity four.By Remark 2.6 combined with the S 3 -symmetry, such tangency can only arise if Γ has a bounded edge e with direction (3, −1).We let v l and v r be the left and right endpoints of e as in Figure 7 .The smoothness and the degree of Γ determine its dual  subdivision locally around e ∨ : its endpoints are (0, 0) and (1,3).In turn, this fixes three triangles in the subdivision, as seen in the second picture from the left in the figure, those dual to the vertices v l , v r and a vertex v ′ adjacent to v r .This subdivision completely determines B by analyzing the local moves seen in the same figure, as we now explain.
We start by placing the vertex v of Λ at v l .This gives a multiplicity four tangency of type (6b).By Lemma 3.2, we can move v along e until we reach v r , as we see in the third picture in Figure 7.The vertices of all these lines will be multiplicity four tangency points.The closure in R 2 of the local moves along the relative interior of e described by the lemma yield the unbounded set e + R ≤0 (1,1).
The vertex v r corresponds to a vertex-on-vertex transverse local tangency of multiplicity 4, i.e., of type (5b).The possible local moves away from v r can be seen in the figure.Notice that the one-dimensional local move along the horizontal edge connecting v r with a vertex v ′′ of Γ is bounded by the location of the vertex v ′ connected to v r by the edge of Γ with direction (2, −1).Indeed, the vertex v ′′ appears to the right of v ′ by the information we have already gathered on the dual subdivision.Since there are no further moves to make, we conclude that B corresponds to shape (II).□ Proposition 4.2.Let B be a bitangent class of Γ associated to a tropical line Λ where Λ ∩ Γ has one connected component which is non-transverse.Then, B lies in the S 3 -orbit of a shape labeled by (C), (D), (L), (L'), (O), (P), (Q), (Q'), (R) or (S) in Figure 6.
Proof.By construction, the vertex v of Λ is also a vertex of Γ and the intersection Λ ∩ Γ is bounded (we have a type (3b) tangency).If Λ ∩ Γ consists of three edges, then Star Γ (v) = Star Λ (v), as see in Figure 4 (3b).The line cannot be moved while preserving the bitangency condition, so B = {v} and its shape is (C).Otherwise, Λ ∩ Γ is a bounded edge e of Γ, and the stable intersection equals the two endpoints of e.By exploiting the S 3 -symmetry, we may assume e is horizontal and its leftmost vertex v 0 has local multiplicity one.Furthermore, by Remark 2.6 we may further assume that the triangle dual to v has vertices (1, 0), (1, 1) and (2, 2).In turn, the edges e ′ and e ′′ of Γ adjacent to v must have directions (2, −1) and (−1, 1).We let v ′ and v ′′ be their second endpoints, respectively.By construction, the dual triangle to v 0 has vertices (1, 0), (1, 1) and (0, i) for i = 0, . . ., 4. This information can be seen in Figure 8.To determine B, we start by analyzing the local moves around the vertex v and how can we continue moving the vertex to generate B. The relevant information is recorded in Figure 9.In particular, there are only two possibilities for the triangle dual to v ′′ as shown in Figure 8.
The edge e restricts our moves around v to the horizontal direction.If we move v in the direction (1, 0), the first tangency point of the new line remains at the midpoint of e, but the second one lies in the edge e ′ with direction (2, −1).Our movement stops when the vertical end of the bitangent line meets the vertex v ′ of e ′ .
In turn, if we move v in the direction (−1, 0) the tangency points lie in e and e ′′ .Notice that this second tangency point belongs to the diagonal end of Λ.To decide when we stop and how we can continue moving beyond this point, we use the partial other ≺ d from Definition 3.4 to compare v 0 and v ′′ .In turn, this will impose certain restrictions on the dual subdivision to Γ.Each case is depicted in Figure 9.
First, assume v 0 ≺ d v ′′ .By convexity of the connected component of R 2 ∖Γ dual to (1, 1), the triangle dual to v ′′ has vertices (1, 1), (1, 2) and (2, 2) (see the top-left of Figure 8.)All values of i are possible.In this situation, the movement of v in the direction (−1, 0) stops at a point in the relative interior of e (seen in the top-left picture in Figure 9.)This corresponds to a new bitangent line where v ′′ is a tangency point of type (2).We cannot move past this point.This yields shape (D).
On the contrary, assume v ′′ ⪯ d v 0 .In this situation, we can move from from v along e until we reach v 0 .If v ′′ = d v 0 we can move beyond v 0 along a ray in the direction (−1, −1).This is due to the fact that both edges e and e ′′ have the same lattice length forcing i = 0 or 1 by the convexity of the component of R 2 ∖ Γ dual to (1,1).This is seen in the two pictures in the top-right of Figure 9.The resulting shapes are (L) and (L').
For the remaining cases, we assume v ′′ ≺ d v 0 .We let v ′ 0 be the other vertex of Γ joined to v 0 by a bounded edge whose outer-direction has a positive y-coordinate, as in the bottom-right of Figure 9.If v ′ 0 = v ′′ , then i = 1 and the triangle dual to v ′′ has vertices (1, 1), (0, 1) and (2, 2).Furthermore, we can move the bitangent line with vertex v 0 in two directions: an unbounded movement in the direction (−1, −1) and a bounded one along the vertical edge joining v 0 with v ′′ .Once we reach v ′′ , the new tropical bitangent has two tangency points: v ′′ and the midpoint P between v 0 and v ′′ .Next, we can continue moving in the same vertical direction: P will remain a tangency point, and the second tangency point will be traveling along the remaining edge adjacent to v ′′ , which we call e ′′′ (see the bottom-left of Figure 9).The movement stops once the second endpoint of e ′′′ (called v ′′′ ) lies in the horizontal end of the new line.We conclude from this analysis that B has shape (P).Finally, we suppose v ′′ ≺ d v 0 and v ′ 0 ̸ = v ′′ .This forces i = 0 or 1, as seen in the bottom row of Figure 8.We claim that B can have shapes (O), (Q), (Q'), (R) or (S), depending on the value of i, the dual triangle (v ′′ ) ∨ and the relative order between v ′′ and v ′ 0 with respect to ⪯ d .There are three possible scenarios.
Case 1: v ′ 0 ⪯ d v ′′ and i = 1.In this situation, the local movement at v 0 agrees with that of shape (P), as seen on the bottom-right of Figure 9. Indeed, we move along the ray with direction (−1, −1) and upwards along the vertical edge joining v 0 and v ′ 0 until the diagonal end of the tropical line contains v ′′ .Furthermore, since v ′ 0 ̸ = v ′′ , we get ℓ(e ′′ ) < 2ℓ(e), so v ′ 0 ≺ d v ′′ and (v ′′ ) ∨ is the triangle with vertices (1, 1), (1, 2) and (2, 2).Note that v ′′ is a type (2) tangency point of this new line, so the movement stops at a point in the relative interior of the edge v 0 v ′ 0 .This yields shape (O).Case 2: v ′ 0 ⪯ d v ′′ and i = 0.It follows that (v ′′ ) ∨ is the triangle with vertices (1, 1), (1, 2) and (2, 2).The local move at v 0 is seen at the bottom-center picture in Figure 9: we move along the edge joining v 0 and v ′ 0 allowing for an unbounded movement in the direction (−1, −1) from any point in this segment.The movement stops once the new line contains v ′′ in its diagonal end.If v ′ 0 ≺ d v ′′ , the stopping point in the interior of the edge v 0 v ′ 0 , and B has shape 0 .This forces i = 0 and (v ′ 0 ) ∨ to be the triangle with vertices (0, 0), (1, 1) and (0, 1).The vertex v 0 lies in B and can be moved along the edge v 0 v ′ 0 and along rays with direction (−1, −1) at each point in this segment until we reach v ′ 0 (as in the bottom-center of Figure 9).From v ′ 0 , we can further move along the vertical edge containing v ′ 0 until the diagonal end of the line meets v ′′ .If v ′ 0 is not adjacent to v ′′ in Γ, then (v ′′ ) ∨ is the triangle with vertices (1, 1), (1, 2) and (2, 2) and the movement stops at the interior point of the vertical edge of Γ containing v ′ 0 .Thus, B has shape (R).On the contrary, if v ′ 0 and v ′′ are adjacent in Γ, then (v ′′ ) ∨ is the triangle with vertices (1, 1), (2, 2) and (0, 1).The movement stops at v ′′ and continues as for shape (P), as we see on the bottom-left of Figure 9. Thus, B has shape (S).□ Remark 4.3.A key argument in the proof of Proposition 4.2 involves the comparison between the relative ⪯ d -order among various vertices in the bounded connected component of R 2 ∖ Γ dual to (1,1).In turn, this yields an order between the lattice lengths of certain bounded edges of Γ and partial knowledge of the dual subdivision to Γ.Following the notation of Figure 2, we conclude that shapes (P) and (S) can only arise when the skeleton of Γ is the graph (212) and we have ℓ 6 = len(e ′′ ), len(e) + len(e ′′ ) ≤ ℓ 1 = 2 len(e ′′ ).
For these bitangent classes described here, the associated divisor D places one chip on each side of the central loop.The tropical semimodule R(D) associated to the linear system |D| is a line segment [15].We can view it in the bounded cells of B that are either outside Γ or on the central loop of the graph.
To conclude our classification of bitangent classes, we focus on the last row of Table 6.All members of such classes have two distinct tangency points.In order to simplify the exposition, we break symmetry by considering the tangencies to be either in the diagonal or the horizontal end of Λ.This non-uniform convention will allow us to simplify the lifting obstructions in Section 5.Then, up to S 3 -symmetry, B has one of the following six shapes: (T), (T'), (T"), (U), (U') or (V), as depicted in Figure 6.
Proof.We let σ be an unbounded two-dimensional cell in B. Combining Lemma 3.7 with the action of S 3 , we may assume σ lies in the chamber of R 2 ∖ Γ dual to (0, 0).Any point v ∈ σ • yields a line Λ with two distinct type (1) tangency points along its diagonal end, called P and P ′ .Without loss of generality, we assume P ′ lies in between v and P in this end.
We let e and e ′ be the two bounded edges of Γ containing P and P ′ , respectively.Note that e and e ′ are boundary edges of the same connected component of R 2 ∖ Γ.Their dual edges e ∨ and (e ′ ) ∨ are adjacent to the same vertex (i, j) in the dual subdivision to Γ. Table 4 shows the three possible directions for e ∨ , namely, (1, 1), (3, −1) and (1, −3), whereas (e ′ ) ∨ must have direction (−1, 1).Thus, since the edge (e ′ ) ∨ contains (0, 0), we conclude that i = j = 1 and the second endpoint of e ∨ equals (k, 4 − k) for k = 0, 2 or 4. Both dual edges are marked by blue segments in the relevant partial subdivisions in the top-left of Figure 10.Since the position of e ∨ is uncertain, we use a dotted segment for it.
We let v l , v r , v ′ l , v ′ r , be the left and right vertices of e and e ′ , respectively.We use the convention, v l ≺ d v r to characterize left and right for the edge e since its slope is undetermined.The position of (e ′ ) ∨ yields two options for each of the triangles (v ′ l ) ∨ and (v ′ r ) ∨ (seen on the top-right of Figure 10.)The possible triangles (v ′ l ) ∨ are obtained from (v ′ r ) ∨ using the map τ 0 from Table 3.Our next objective is to classify the possible shapes of B. We start by focusing our attention on the cell σ.Since v ∈ σ • and P and P ′ are type (1) tangencies in the diagonal end of Γ, we can move v locally in the (1, 1) direction while remaining in σ • .The movement stops when we reach P ′ , which becomes a type (4) tangency of the new line.By Lemma 3.7, we conclude that B ∩ e ′ = σ ∩ e ′ .This set must be a segment by the description of local moves for type (4) tangencies.The possible shapes for σ will be completely characterized by the segment σ ∩ e ′ since σ = σ ∩ e ′ + R ≤0 (1,1).
The set σ ∩ e ′ is determined by the relative order of v l , v r , v ′ r and v ′ l with respect to the partial order ⪯ d from Definition 3.4.As we move v along e ′ towards v ′ l , the point P travels along e.The movement stops either when v reaches v ′ l (if v ′ l ⪯ d v l ) or when the , whichever happens first.The latter yields a stopping point in the relative interior of . By using the map τ 0 we reduce our analysis to three cases, namely There is only one possible movement beyond v ′ r , and it can only occur if v ′ r ≺ d v r .In this situation, can move along the horizontal edge v ′ r v ′′ r : one tangency point lies on this edge while the other one travels along the edge e towards v r .The movement stops when the second tangency point reaches v r or when the vertex of the new line reaches v ′′ r , whichever happens first.This will be determined by the relative order between v r and v ′′ r with respect to ⪯ d .
If v ′′ r ⪯ d v r , the partial information on the dual subdivision recorded so far forces either v ′′ r = v r or v ′′ r to be adjacent to v r along a slope one bounded edge of B. In both situations, the line with vertex v ′′ r will be a member of B which meets Γ in a single connected component.This cannot happen by our assumptions on B. We conclude that v r ≺ d v ′′ r so the movement along the horizontal edge v ′ r v ′′ r stops at a point in its relative interior, as seen on the right of Figure 11.
The above discussion confirms that we can attach a one-dimension horizontal cell to B at v ′ r if and only if v ′ r ≺ d v r .Symmetrically, we can attach a one-dimensional vertical cell to B at v ′ l if and only if v l ≺ d v ′ l .The above analysis on the three options for the two-cell σ combined with the restrictions to move past v ′ r or v ′ l whenever these vertices lie in B yields the six possible shapes in the statement (up to S 3 -symmetry.)This concludes our proof.□ Lemma 4.6.Let B be a two-dimensional bitangent class of Γ for which every member intersects Γ in two connected components.Assume all top-dimensional cells in B are bounded.Then, up to S 3 -symmetry, B has one of the following twelve shapes: (W) through (Z) and (AA) through (HH) (see Table 7.) Table 7. Classification of shapes of two-dimensional classes with no unbounded top-cells, following Figure 6.The map τ 1 is described in Table 3.
Proof.In order for all two-dimensional cells of B to be bounded, the tangency points for each member must occur in the relative interior of two different ends of the bitangent line.
Without loss of generality, we assume they belong to the horizontal and diagonal ones.We let e and e ′ be the two bounded edges of Γ where these two tangencies occur.By picking a point v in the relative interior of a two-cell σ, we conclude that these two points are of type (1), i.e. they lie in the relative interior of e and e ′ , respectively.As in the proof of Lemma 4.5, e and e ′ must lie in the boundary of the same unbounded connected component of R 2 ∖ Γ.Furthermore, the dual point corresponding to such component equals (i, 0) for i = 1, 2 or 3.The possible directions for the dual cells e ∨ and (e ′ ) ∨ are listed on Table 4.The fact that e lies to the left of e ′ , combined with the directions for e ∨ and e ′∨ forces i = 2.Moreover, only two of the three possible directions for e ∨ and (e ′ ) ∨ can occur, namely (−2, 1) and (−2, 3) for e ∨ and (1, 1) or (−1, 3) for (e ′ ) ∨ .All four combinations are possible.Using the map τ 1 from Table 3 we can further restrict our analysis to three of them, seen to the left of Figure 12.
We let v 1 , v 2 , v 3 and v 4 be the endpoints of e and e ′ , clockwise oriented.Figure 12 depicts the location of these vertices along four dotted lines: two horizontal ones containing v 1 or v 2 , and two slope one lines containing v 3 or v 4 .We let P be the parallelogram determined by these four lines.Note that the upper left corner of P must lie in the connected component of R 2 ∖ Γ dual to (2, 0) so the lines spanned by e and e ′ must intersect above this point.The intersection B ∩ P will yield a unique two-dimensional cell.This cell will be determined by the location of e and e ′ , relative to P.
There are up to five cases for the relative position of each edge, which we describe below.Since we may assume that the slanted side of P is at least as large as the horizontal size, the options for e ′ are reduced to three.The first three cases for each edge admit a common description.We accomplish this by writing these two edges as v j v j+1 for j = 1, 3. For Case (1), the slopes of e and e ′ are not further restricted.For all remaining cases, the edges e and e ′ have directions (1, 2) and (−1, 1), respectively.
(1): The edge v j v j+1 avoids P. For j = 1, this means the bottom and left edges of P belong to B. If j = 3, then the top and right edges of P lie in B.
(2): v j is a vertex of P. If so, v j ∈ B and it has a ray adjacent to v j in B. This ray includes a bounded edge of Γ adjacent to v j followed by an end with the same slope.For j = 1 this end and edge have direction (−1, −1), and the bottom and left edges of P lie in B. If j = 3, then the direction is (1, 0) and the top and left edges of P belong to B. (3): v j lies in the relative interior of an edge of P. If so, P ∩ v j v j+1 ⊆ B, and a ray preceded by a bounded edge of slope 2 (for j = 1) or −1 (for j = 3) adjacent to v j appears in B. The ray consists of a bounded edge of Γ followed by an end of the same direction as in Case (2).( 4): v 1 is a vertex of P and e ∩ P is a segment containing v 1 .The description of B around v 1 is the same as in (3).( 5): v 1 / ∈ P and e ∩ P is a segment, not containing v 1 .As with (3), the intersection P ∩ v 1 v 2 belongs to B, but the role of v 1 is now played by the lower endpoint of this segment.No bounded edge or rays are attached to this endpoint.
Table 8.Classification of one-dimensional shapes with an unbounded topcell by the types of local tangencies for v (the vertex) and P .
The above description shows that each of these 15 combinations yields a unique shape, which we indicate in Table 7.This concludes our proof.□ The next two lemmas discuss bitangent classes of dimension one.
Proof.We let σ be an unbounded one-dimensional cell of the shape refining B and let ρ be its unbounded direction, as in Definition 3.5.We let v be the unique vertex of σ and set Λ to be the associated bitangent line.By assumption, Λ has two multiplicity two tangency points, one of which is v.We let P be the second tangency point.By Lemma 3.7, it lies in the end of Λ with direction −ρ and the connected component of R 2 ∖ Γ containing σ • is determined by ρ.Furthermore, σ = v + R ≥0 ρ.Lemma 3.2 restricts the tangency types of v to three cases: (4), (3b) or (6a).In turn, P can only have tangency type (1), ( 2) or (3c).Since dim B = 1, out of the nine possible combinations, only six are possible.Thus, the local tangencies for the pair (v, P ) are reduced to six combinations.The shapes associated to each pair are listed in Table 8.They are determined by how we can move from v away from σ while remaining in B. Each case is explained in detail below.
Case 1: type (v, P ) = ((4), (3c)).Exploiting the S 3 -symmetry, we assume P lies in the horizontal end of Λ, as seen on the left of Figure 13.We let e and e ′ be the edges of Γ containing the tangencies P and v, respectively.Since v is of type (4), we conclude that B = σ, so B has shape (H).Next, we infer partial information about the dual subdivision to Γ, which we need for Corollary 4.12.Write v l and v r for the left and right vertices of the horizontal edge e.By Lemma 3.7, the edge e ′ of Γ containing v is in the boundary of the connected component of R 2 ∖ Γ dual to (4, 0).This information, combined with Table 4 ensures the remaining vertex of (e ′ ) ∨ is (2, 1).In turn, since v r and e ′ are in the boundary of the connected component of R 2 ∖ Γ dual to (2, 1), but e ∨ is not, it follows that e ∨ has vertices (1, i) and (1, i + 1) with i = 0, 1, 2, as we see in the left of Figure 13.This edge is joined to (2, 1) and a vertex of the form (0, w) to determine the dual triangles v ∨ l and v ∨ r , respectively.Case 2: type (v, P ) = ((6a), (3c)).This case is similar to Case 1.Since v has type (6a), exploiting the S 3 -symmetry we may assume P lies in the horizontal end of v and that v ∨ is the triangle with vertices (4, 0), (3, 0) and (2, 1), as we see in the right of Figure 13.We cannot move beyond v so the bitangent class B has shape (H').The data on e ∨ , v ∨ l and v ∨ r matches Case 1. Case 3: type (v, P ) = ((3b), ( 1)).In this situation, we assume P lies on the diagonal end of Γ, and we let v r and v l be the vertices of the edge e of Γ containing P , with v l ≺ d P ≺ d v r .By Lemma 3.7, v lies in the boundary of the connected component of R 2 ∖ Γ dual to (0, 0).We let e ′ be the diagonal edge of Γ containing v and let v ′ be its other endpoint.The dual triangle v ∨ must then have vertices (0, 0), (1, 0) and (0, 1).
We claim that out of the three possible dual triangles (v ′ ) ∨ depicted on the left of Figure 14, only one is feasible.Since the bottom two are related by the map τ 0 , it suffices to analyze the first two.
The second one (where v ′ is adjacent to a horizontal end of Γ) can be ruled out for dimension reasons.Indeed, since v ′ is a type (6a) tangency and P has type (1), we can move beyond v ′ while remaining in B if we restrict to a circular sector with center v ′ and bounded by edges with directions (1, 1) and (2, 1), as seen on the right of Figure 14.This cannot happen since dim(B) = 1.Thus, the star of v ′ at Γ must be a min-tropical line, as depicted in the center of the same figure.
Once Star Γ (v ′ ) is determined, we let v ′ t and v ′ r be the vertices of Γ connected to v by a vertical and horizontal edge, respectively.The combined tangency types of v ′ and P allow us to move past v ′ along these two bounded edges while remaining in B. The stopping point will be determined by the relative ⪯ d -order between v l and v ′ t , respectively v ′ r and v r .We claim that v ′ t ≺ d v l and v r ≺ d v ′ r .If so, the movement from v ′ along the vertical and horizontal edges stops once the diagonal end of the new bitangent lines reaches v l , respectively v r .These stopping points are in the relative interior of the edges v ′ v ′ t and v ′ v ′ r and are diagonally aligned with v l and v r , respectively.Thus, B has shape (N).Since the claims are symmetric, it suffices to show v r ≺ d v ′ r .We do so by analyzing the three possibilities for the triangle (v ′ r ) ∨ (seen in the picture.)The convexity of the connected component of R 2 ∖ Γ dual to (1, 1) ensures that for all three cases we have r and both vertices are adjacent in Γ.In both situations, v ′ r ∈ B and the corresponding bitangent line intersects Γ in a connected set.This cannot happen by our assumptions on B. Thus, in all three cases, we have v r ≺ d v ′ r , as we wanted.Case 4: type (v, P ) = ((3b), ( 2)).This situation is very similar to Case 3, with the exception that now P = v r or v l .The triangle v ∨ is fixed as in Figure 14.Since dim(B) ̸ = 2, there is only one option for the dual triangle to the vertex v ′ adjacent to v along a slope one edge of Γ.The partial dual subdivision to Γ is depicted in the center of the same figure, and the star of v ′ at Γ is a min-tropical line.By applying the map τ 0 if necessary, we may assume P = v l and we let v ′ l be the vertex of Γ adjacent to v ′ by a horizontal bounded edge.The same reasoning as in Case 3 confirms that we can move from v ′ along this edge while remaining in B but we must stop at a point in the relative interior of this edge since v r ≺ d v ′ r .Thus, B has shape (I).Case 5: type (v, P ) = ((3b), (3c)).We assume that P lies in the horizontal end of Γ, so the star of v at Γ is a tropical line because (4, 0) ∈ v ∨ by Lemma 3.7.We let v ′ be the vertex of Γ adjacent to v by a horizontal edge, and let v l and v r be the left and right vertices of the horizontal edge e of Γ containing P .By construction, we can move v along e until we reach v ′ while remaining in B, as in Figure 15.
It remains to analyze the local moves at v ′ .This will be determined by the dual triangle (v ′ ) ∨ .There are three possibilities for (v ′ ) ∨ , as seen on the left of Figure 15, but only two up to S 3 -symmetry.Each of them leads to either Shape (M) or (J), as we now explain.
If v ′ is adjacent to a vertical bounded end of Γ, then the line with vertex v ′ has a type (5a) tangency at v ′ (seen in the top of the figure.)We cannot move past v ′ while remaining in B by the tangency point P .Thus, B has shape (M).
On the contrary, if v ′ is adjacent to a vertical end of Γ, then v ′ becomes a type (6a) tangency and we can move v ′ in the direction (−1, 0) while remaining in B, since the second tangency point will lie in the slope -1 e ′ adjacent to v ′ .The movement stops once the diagonal end of the new line reaches the other endpoint of e ′ , called v ′′ in the figure.This is guaranteed because v r ≺ d v ′′ , and this follows since the connected component of R 2 ∖ Γ dual to (2, 0) is convex and contains both v r and v ′′ in its boundary.Thus, B has shape (J).Case 6: type (v, P ) = ((6a), (2)).We assume P lies in the diagonal end of Λ.By applying the map τ 0 if necessary, we may assume v ∨ has vertices (0, 0), (1, 1) and (1, 0) as in the left of Figure 16.We let e be the edge of Γ responsible for the tangency at the vertex P .We must decide if P is the left-or right-most vertex of e (recall that by our convention v l ≺ d v r .)The two options and the local movement at v within B are illustrated in the figure.Since dim B = 1, we must have P = v l and we can move v beyond σ along the horizontal edge of Γ containing it.We let v ′ r be the other endpoint of this edge.There are three options for the dual triangle (v ′ r ) ∨ , depicted to the right of the figure.As was argued for Case 3, our assumptions on B ensure that v r ≺ d v ′ r .This implies that the movement along this horizontal edge that started at v ′ stops at a point in its relative interior, so B has shape (K).□ Lemma 4.8.Let B be a bounded one-dimensional bitangent class of Γ where every member intersects Γ in two connected components.Then, up to S 3 -symmetry, B has shape (E), (F) or (G).
Proof.Let σ be a one-dimensional cell of B, pick a point v in its relative interior and let Λ be the tropical bitangent line to Γ with vertex v.We let P and P ′ be its two tangency points.Since B is bounded, Lemma 3.6 ensures that they lie in distinct ends of Λ.Furthermore, since v is not a vertex of Γ, v ∈ σ • and dim B = 1, one of the tangencies (say P ′ ) must be non-transverse of types (3a) or (3c).For the same reasons, the point P must be of tangency type (1).We follow the same notation from the proofs of previous lemmas in this section.We let e and e ′ be the edges of Γ containing P and P ′ , respectively, and let v l , v r , v ′ l , v ′ r be the endpoints of e and e ′ , with the conventions v l ≺ d v r and v ′ l ≺ d v ′ r .By S 3 -symmetry, we assume P and P ′ lie in the diagonal and horizontal ends of Λ, respectively.
There are three cases to consider, depending on the tangency type of P ′ and whether or not v r is above the horizontal line L : v + R(1, 0).Each yields a different shape.
Case 1: P has type (3c) and v r is above L.By construction, v lies in a connected component of R 2 ∖ Γ, unbounded in the direction (0, −1).The corresponding dual vertex (j, 0) must be an endpoint of e ∨ .The three options for the direction of e ∨ listed in Table 4, the boundedness of e ′ and the degree of Γ combined force j = 2.This reduces the possibilities for e ∨ and v ∨ r to two cases, as we see on the left of Figure 17.
The non-transverse tangency P ′ restricts the local movement around v to the horizontal direction.We can move both left and right from v while remaining bitangent.The tangency point P ′ is fixes throughout, while the second tangency point travels along e towards v l and v r , respectively.Since v r lies above the horizontal line L, we can move v in the direction (1, 0) until the diagonal end of the bitangent line meets v r .This is a type (2) tangency because v r / ∈ L, so we cannot move beyond this point.The movement is within the same chamber of R 2 ∖ Γ containing v, as seen in the center of Figure 17.
To decide the stopping point when moving from v in the (−1, 0)-direction, we compare the relative ⪯ d -order between v l and v ′ r .We claim v ′ r ≺ d v l by the restrictions on B. If so, B = σ ⊆ R 2 ∖ Γ and so its shape is (E).
To prove the claim, it suffices to analyze the three possibilities for the triangle However, in this situation, v ′ r and v l are adjacent in Γ, and the vertex v ′ r ∈ B. If so, the corresponding bitangent line intersects Γ in a connected set, contradicting our hypotheses on B. Thus, v ′ r ≺ d v l as we wanted to show.Case 2: P has type (3c) and v r is on or below L. We let P ′′ be the intersection point between L and e.The same reasoning from Case 1 yields the same partial dual subdivision to Γ and the claim v ′ r ≺ d v l .Thus, we can move from v in the direction (1, 0) until the diagonal end of the new line reaches v l .However, the movement in the direction (1, 0) stops at P ′′ .
We claim that P ′′ ̸ = v r , as seen on the right of Figure 17.If so, P ′′ becomes a type (4) tangency point and we cannot move past it.This confirms that B has shape (F).To prove our claim, we analyze the possibilities for v ∨ r .
Figure 18.From left to right: partial dual subdivision and bitangent class to Γ with a member having tangency points of types (3a) and ( 1) as in Lemma 4.8; potential local movements depending on the relative ⪯ dorder between v l and v ′ l .
The fact that v r lies on or below L forces e ′ to have direction (−1, 1) and v ∨ r to be the triangle with vertices (2, 0), (3, 0) and (3,1).Thus, if P ′′ = v r we can move beyond v r along a ray with direction (1, 0) while remaining in B because v r and P ′ will be tangency points on the horizontal end of a bitangent line.This cannot happen because B is bounded.We conclude that P ′′ ̸ = v r , as we wanted.Case 3: P has type (3a).In this situation, both e and e ′ are in the boundary of the same connected component of R 2 ∖Γ.In addition e and e ′ are also in the boundary of connected components of this complement, unbounded in the directions (1, 1) and (0, −1), respectively.This forces e ∨ and (e ′ ) ∨ to contain vertices of the form (k, 4 − k) and (j, 0), respectively, with k = 0, 2 or 4 and j = 1, 2 or 3.The restrictions on the directions of e ∨ and (e ′ ) ∨ combined with the fact that these two edges share a vertex, leaves only one option for j, namely j = 1 as we see on the left of Figure 18.In turn, this gives three possible locations for e ∨ (drawn as blue dotted segments.) We can move v horizontally (both left and right) while remaining in B. To decide the stopping points, we determine the relative ⪯ d -order of the vertices v l and v ′ l respectively, v r and v ′ r .We claim that v ′ l ≺ d v l and v r ≺ d v ′ r , so our movement away from v in both directions stops at points in the relative interior of e.Thus, B has shape (G) as seen in the center of Figure 18.
To prove the claims, we argue by contradiction.First, assume v ′ r ⪯ d v r , so v ′ r ∈ B. The convexity of the connected component of R 2 ∖ Γ dual to (1, 1) and the possible realizations of v ∨ r then force v ′ r and v r to be equal.If so, the bitangent line to Γ with vertex v ′ r intersects Γ in a connected set, contradicting our assumption on B.
Then, the same convexity argument used above forces the triangle (v ′ l ) ∨ to contain one the points (0, 0) or (0, 1) as a vertex.In both cases, we can move from v ′ l along a ray with direction (−1, −1) while remaining in B, as the figure shows.This cannot happen since B is bounded.□ Our final result classifies the shapes of the remaining zero-dimensional bitangent classes: Lemma 4.9.Let B be a zero-dimensional bitangent class for Γ whose unique member intersects Γ in two connected components.Then, B has either shape (A) or (B).
Proof.Our assumptions on B imply that the corresponding bitangent line Λ has two non-transverse tangency points of type (3) (called P and P ′ ), each on a different end of Λ.Without loss of generality, we assume them to be the horizontal and vertical ends, respectively, and let e and e ′ be the corresponding bounded edges of Γ realizing these two tangencies.By construction, P is of type (3c), while P ′ can have types (3a), (3b) or (3c).
There are three possibilities for the tangency type of P ′ .In turn, this depends on whether or not B ∩ Γ = ∅.In the first situation, B has shape (A), P ′ has type (3c), and B lies in an unbounded connected component of R 2 ∖ Γ containing v r and v ′ t in its boundary.Thus, such component must be dual to (2,2), and this vertex belongs to both v ∨ r and (v ′ t ) ∨ , as we see on Figure 19.In the second case, P ′ is either of type (3a) or (3b), in particular, B ∩ Γ ⊆ e ′ .First, assume its type is (3a).If so, then P lies in the relative interior of e ′ and B has shape (B).In turn, v r and e ′ lie in the boundary of the same connected component of R 2 ∖ Γ.The information on (e ′ ) ∨ and e ∨ forces this component to be dual to (2, 1), so j = 2.The value of i is unrestricted, but (2, 1) must be a vertex of the triangle v ∨ r , as Figure 19 shows.Finally, assume P ′ has type (3b), i.e., P ′ = v ′ t .We argue this cannot happen by exploiting the partial information on the dual subdivision to Γ we have collected so far.Indeed, suppose that ∨ , an analysis of the three possibilities for the dual triangle (v ′ t ) ∨ ensures that v r and e ′ lie in the same connected component of R 2 ∖ Γ, so j = 2 as before.This fixes (v ′ t ) ∨ and shows that Star Γ (v ′ t ) is a tropical line.This cannot happen by the horizontal alignment of v r and v ′ t .□ Our combinatorial classification of bitangent shapes yields the following convexity result for bitangent classes summarized in Theorem 1.1: Corollary 4.12.The presence of a bitangent shape for Γ partially determines the dual subdivision to Γ. Figure 19 summarizes our findings for chosen S 3 -representatives of each shape.Restrictions for non-representative shapes arise via the maps τ 0 and τ 1 from Table 3. Remark 4.13.Next, we explain the color coding in Figure 19 (which is available on the online version of this article.)Solid black edges must be part of the given subdivision but do not contain any tangency points.Dotted colored edges indicate potential edges, one of which must occur.The red, green and purple ones correspond to horizontal, vertical and diagonal type (3a), (3b) or (3c) tangencies, while blue edges come from type (1) or (2) tangencies.Pink edges are responsible for a combination of a non-proper tangency along a bounded edge, followed by in unbounded cell of B with the same direction.
Combinations of unordered pairs of distinct local tangencies that arise from tropical bitangents to generic smooth tropical plane quartics Γ.
The boxed ones are the only ones arising from classical bitangent triples.
Similarly, black vertices are always present, whereas colored vertices are either endpoints of the corresponding optional dotted edges or they form a triangle with an edge of the same color.Finally, colored circled black dots indicate a connected component of R 2 ∖ Γ that contains the endpoint of a type (3c) tangency (with the same color) in its closure.
Remark 4.14.The partial dual subdivision to Γ induced by a singleton bitangent shape {v} of type (C) as depicted in Figure 19 assumes Γ is generic in the following sense.The minimum length among the three edges adjacent to the vertex v with Star v (Γ) = Λ must be attained for exactly one edge.If this were not the case, the points (0, 0) and (4, 0) should also be colored in green, since they could form a triangle with the edge joining (1, 1) and (2, 1).

Lifting tropical bitangents
The techniques developed by Len and the second author in [27] produce concrete formulas for lifting tropical bitangents over the field K.We are interested in extending these results to real lifts, that is to compute the number of bitangent triples (ℓ, p, p ′ ) associated to a fixed tropical bitangent where ℓ is defined over K R .In this section, we determine the local lifting multiplicities over K R as in [27].These refined formulas will be used in Section 6 to prove Theorem 1.2.
We start by reviewing the lifting multiplicities over K for each tangency type.The combinatorial classification developed in Section 4 allows us determine all possible combinations of local tangencies that can occur within each class by imposing restrictions on the dual subdivision to Γ where a given shape can arise.Most notably, the proofs of Propositions 4.1, 4.2 and 4.4 combined with Table 5 provide extra information regarding which points of B admit lifting to a K-bitangent triple (ℓ, p, p ′ ).We record this data by assigning this lifting multiplicity as the weight of the point in B. Its value can be 0, 1, 2 or 4.
Here is the precise statement that justifies the weight assignment in Figure 6 under the genericity assumptions from Remark 2.10.Theorem 5.1.There are 24 combinations of distinct unordered pairs of local tangencies that arise from tropical bitangents to generic smooth tropical plane quartics (see Table 9.) Furthermore, only 14 of them lift to bitangent triples defined over K.
In turn, five out of the 24 pairs admit a multiplicity four tangency.Their types are (1), (3b), ( 4), (5b) and (6b).Assuming the plane quartic has no hyperflexes, only the last two lift to a K-bitangent triple.They are members of a bitangent class of shape (II).
The proof of the multiplicity four claim in the theorem is given in Appendix A. The statement regarding the multiplicity two tangencies follows from Table 5 and Theorem 2.11.As an example, we show why the unordered pair of tangency types ((2),(3b)) is never realizable over K under our genericity assumptions.The remaining non-liftable combinations can be argued by the same methods.Indeed, Corollary 4.12 and Remark 4.13 imply that a pair of (3b) and (2) local tangencies only occurs at certain vertices of shapes (X), (Z), (AA), and (FF) through (HH).The corresponding bitangent lines Λ have two properties: first, the set Γ ∩ Λ is disconnected and, second, the tangency points lie in the relative interior of the same end of Λ.Thus, by Theorem 2.11 (ii) we conclude that Λ does not lift to a K-bitangent triple.
In order to address liftings over K R , we start by reviewing the lifting formulas over K from [27].Recall that we assume our bitangent lines ℓ are given by an equation of the form y + m + nx = 0, as in (2.1).By Lemma 2.9, each bitangent lift (ℓ, p, p ′ ) is uniquely determined by the initial forms of m, n, and the coordinates of p and p ′ .In turn, the formulas for the initial forms of the coefficients m and n of ℓ are either rational functions of the local equations of q at the tangency points (giving local lifting multiplicity one), or they involve square roots in the coefficients of these local equations (and so the lifting multiplicity is two.)In the first case, the initial forms will automatically be real because q ∈ K R [x, y] and the resulting bitangent lift will be defined over K R .
Thus, in order to determine lifting multiplicities over K R , we need only study combinations of tropical bitangents corresponding to vertices of bitangent classes with weight 2 or 4. In this situation, the local lifting formulas will involve square roots of the local coefficients of q.This allows us to restrict our attention to local liftings formulas for five tangency types: (3a), (3c), (5a), ( 4) and (6a).Each of these cases will yield either 0 or 2 lifts over K R .Applying these results for the higher weight vertices of each shape will yield a total of zero or four real lifts for each bitangent class, as stated in Theorem 1.2.Type (3b) tangencies that lift over K only occur for shape (C).We discuss them in Proposition 6.4.
As discussed in Subsection 2.2 the local system defined by a multiplicity two tangency point determines either m, n or m/n depending on the end of Λ containing the tangency.Our formulas for certifying the realness of one of these quantities will depend on the positivity of the product of the initial forms of certain coefficients a ij of q and other coefficients of ℓ.We must consider eight different combinations of tangency types and ends carrying the given tangency.We list them in Table 10. Figure 20 shows the cells in the dual subdivision to Γ that are involved in each case, using the same color-coding as in Figure 19.These cells indicate the specific coefficients a ij 's that feature in each formula.
Throughout, we write s ij for the sign of the initial form a ij ∈ R. Our next results explain all the formulas in Table 10, starting with types (3a) and (3c): Proposition 5.2.Assume V (q) is defined over K R .Let Λ be a tropical bitangent to Γ with a local tangency P of type (3a) or (3c) along a horizontal (respectively, vertical) edge e of Γ.Then, there are either zero or two real solutions for m (respectively, m/n) for the local equations in (m, n, p) determined by the tropical tangency P := Trop p.
Necessary and sufficient conditions for the existence of a real solution are determined by the positivity of specific polynomials in the signs of n and the four coefficients a ij from (2.2) appearing in the dual triangles to the vertices of e (seen in Figure 20).The precise formulas are given in Table 10.Furthermore, whenever real solutions for m (respectively, m/n) exist, then the sign of its initial form equals s uv s u,v+1 (respectively, s uv s u+1,v ).Here, (u, v) is the left-most (respectively, bottom) vertex of e ∨ .
Proof.Without loss of generality we assume q ∈ R[x, y] ∖ M R[x, y].The statement and formulas when the edge e is vertical follow from those for the horizontal case by using the map τ 0 from Table 3.Thus, it suffices to prove the statement when e is horizontal.
As Figure 20 indicates, the dual edge e ∨ in the Newton subdivision of q has vertices (u, v) and (u, v + 1).The are connected to vertices (u − 1, w) and (u + 1, r).We argue for each local tangency type separately.Following the modification and re-embedding techniques from [27], we write m = m 1 + m 2 with val(m) = val(m 1 ) < val(m 2 ).We set Figure 20.Relevant cells in the Newton subdivision of q and their position in Z 2 , for each tangency type and end of Λ.For cases (4), (5a) and (6a), this data can be deduced from a single vertex, labeled by (u, v).[27,Proposition 3.7] and determine two solutions for the initial forms of m 2 using [27, Lemma 3.9].Each one will yield a unique m 2 by Lemma 2.9.
Thus, our proposed solutions m will have the form m = m 1 + m 2 with val(m) = val(m 1 ) = 0 and val(m 2 ) = λ.In particular, m = m 1 , so the sign of m agrees with that of m 1 , namely s uv s u,v+1 .In what follows, we explain how to compute the parameter m 2 .
In turn, [27, Lemma 3.9] implies that val(m 2 ) = λ and that there are two solutions for m 2 , each determined by its initial form.Their values are (5.2) We conclude that m 2 ∈ K R if, and only if, the radicand is positive.The expressions in (5.1) yield the formula for determining the positivity of this radicand as listed in Table 9.
Case (3a): After translation if necessary, we may assume that the leftmost vertex of e is (0, 0) and fix (N, 0) as the vertex of Λ with N > 0. For any bitangent triple (ℓ, p, p ′ ) lifting Λ we have val(m) = 0, val(n) = N and Trop p = (N/2, 0).Our assumption on q ensures that val(a u,v ) = val(a u,v+1 ) = val(a u−1,w ) = 0 and all other a ij lie in M. In addition, since the local (3a) tangency lies in the relative interior of the edge e, we have val(a u+1,r ) > N .Since any point (u + 1, j) with j ̸ = r lies outside the triangle dual to the right-most vertex of e we conclude that val(a u+1,j ) > val(a u+1,r ) for all j ̸ = r.
By Theorem 2.11 (ii), the second tangency point between Λ and Γ must be on a nonhorizontal end of Λ. Upon acting by S 3 , we may assume it is the diagonal one.In particular, the corresponding local equations will fix the input values for n, thus explaining the appearance of this parameter in the formulas for the (3a) entries of Table 10.
Table 10.Real local lifting conditions for m, n and m/n imposed by tangency types of lifting multiplicity two and ends of Λ producing the tangencies.For types ( 4) and (6a), the second tangency point lies in the end of Λ producing the first tangency.For type (5a), we indicate the end of Λ where the second tangency occurs.Here, s ij is the sign of the initial coefficient a ij of the monomial x i y j in q.The subindices correspond to vertices depicted in Figure 20.
We modify slightly the strategy for (3c) tangencies, picking m 1 = a u,v /a u,v+1 +m ′ 1 ∈ K R for some suitable m ′ 1 ∈ M to be determined later.This choice of m 1 satisfies m 1 = a u,v /a u,v+1 and it allows us to re-embed V (q) in (K * ) 3 via the ideal I = ⟨q, z−y−m 1 −n x⟩.
We study Trop V (I) through its projection to the xz-plane, i.e., by determining relevant cells in the Newton subdivision of q(x, z) = q(x, z −m 1 −n x).Our choice of m ′ 1 will ensure that the Newton subdivision of q satisfies the same two properties as it did for type (3c).In turn, this will give Trop p = (N/2, 0, −N/2).However, in this new setting, the parameter n contributes to the relevant four coefficients of q, namely ãu−1,0 , ãu,1 , ãu+1,0 and ãu,0 .
Our restrictions on the valuations of various a i,j 's given above allow us to determine the valuations of the first three coefficients by "cone feeding" using the monomials x u−1 y w , x u y v , x u y v+1 and x u+1 y r in q and the substitution y = z − m 1 − nx.A simple arithmetic computation reveals that val(ã u−1,0 ) = val(ã u,1 ) = 0 and val(ã u+1,0 ) = N .Furthermore, val(ã u−1,0 − a u−1,w (−m 1 ) w ) > 0, val(ã u,1 − a u,v+1 (−m 1 ) v ) > 0 and val(ã u+1,0 − a u,v+1 (−m 1 ) v (−n)) > N. (5.3)Notice that the parameter m ′ 1 is not needed to determine the initial forms of ãu−1,0 , ãu,1 and ãu+1,0 by the valuation constraints we imposed.However, it will be needed if we want to ensure (u, 0) is not a vertex of the Newton subdivision of q.To this end, it suffices to find m ′ 1 ∈ M for which val(ã u,0 ) ≥ N .We choose this particular bound because it is simpler to attain than the weaker sufficient condition val(ã u,0 ) > N/2.
By construction, the only monomials from q that can contribute terms to ãu,0 with valuation strictly smaller than N are those of the form x u y j with j arbitrary.This expression is the following univariate polynomial in R[m ′ 1 ]: (5.4) By Lemma 5.3 below and the genericity constraints on q, we know that f (m ′ 1 ) = 0 has a solution in M.This fact then yields the desired condition val(ã u,0 ) ≥ N .
Once the parameter m ′ 1 is fixed, we apply [27, Lemma 3.9] again to conclude that the values for m 2 agree with those in (5.2) since the triangle dual to the tropical tangency (N/2, −N/2) is the same as the one for (3c) tangencies.When this radicand is positive we will get (two) solutions m 2 ∈ K R .The expressions in (5.3) yield the desired formula in Table 10.Since the map τ 0 sends n to 1/n, the role of sign(n) does not change when moving from a horizontal (3a) tangency to a vertical one.□ Lemma 5.3.The univariate polynomial f (m ′ 1 ) ∈ R[m ′ 1 ] from (5.4) has a root in M if its constant coefficient is non-zero.
Proof.By the Fundamental Theorem of Tropical Algebraic Geometry (see [28,Theorem 3.2.3]), it is enough to show that the tropical hypersurface defined by the tropical polynomial trop(f ) ∈ R[m ′  1 ] has a point in R >0 .Simple algebraic manipulations of (5.4) In particular, we conclude that val(b k ) = 0 for 1 ≤ k ≤ v + 1 whereas val(b k ) > 0 for all other values of k.Thus, the tropicalization of f in the variable An easy computation reveals that M ′ 1 = − val(b 0 ) < 0 achieves this maximum twice, namely at k = 0, 1.Thus, f (m ′ 1 ) = 0 has a solution in K with val(m ′ 1 ) = val(b 0 ) > 0. By construction, its initial form is m 1 is unique and, furthermore, lies in K R .□ As seen in Table 5, lifting formulas for type (4) and ( 6) tangencies depend on the second tangency point of Λ.In particular, having lifting multiplicity two restricts the direction v of the bounded edge of Γ responsible for the tangency.In particular, since | det(u, v)| = 2 we know that the end of Λ (with direction v) containing the second tangency point is also responsible for the first tangency (associated to u).Such situations manifest themselves at vertices of shapes (H), (H'), (J), (K), (L'), (Q), (Q'), (T), (T'), (T"), (U) or (U').
Next, we discuss real lifts to these local tangencies of types ( 4) and (6a): Proposition 5.4.Assume V (q) is defined over K R and that the vertex of Λ produces a local tangency of type ( 4) or (6a) along the diagonal (respectively, horizontal) end of Λ. Assume its local lifting multiplicity is two.Then, the local system at this tangency determines two possible solutions for the coefficient m (respectively, n) over K.These solutions lie in K R if, and only if, an explicit monomial in the signs of āij and n (respectively, m) is positive.The precise formula is given in Table 10.
Proof.We prove the statement for the diagonal end of Λ.The result for the horizontal one will be deduced by applying the map τ 1 from Table 3.By construction, the second tangency point must be of type ( 2) or (3c) and will lie in the diagonal of Λ.In both situations, this data determines the value of n.We assume n to be in K R , since otherwise ℓ will not be defined over K R .As usual, we place the vertex of Λ at (0, 0) and take q ∈ R[x, y] ∖ MR[x, y].In particular, m, n ∈ R ∖ M for any lift.
Its solutions are ȳ = 1 a u+1,v+1 − δ a u+1,v ± −a u,v a u+1,v+1 n .Substituting these expressions in ℓ determines a unique solution in m for each one.This solution is real if, and only if, −a u,v a u+1,v+1 n > 0. Computing this sign yields the formula in Table 10.
A simple calculation shows that the initial form of the Jacobian of the local system with respect to (m, x, y) does not vanish at our solutions (m, x, ȳ) since it equals −2 x2u+1 ȳ2v n a u+1,v+1 2 .Lemma 2.9 guarantees a unique solution (m, x, y) for (q, ℓ, W ) for each (m, ȳ, x).Thus, the condition to ensure local solutions over R yields the same number of solutions over K R .□ Remark 5.5.Proposition 5.4 is enough to address almost all liftings where one of the tangency points is of type (6a).The only missing case corresponds to the top-left vertex in shape (T"), since its dual cell in the Newton subdivision of q is the triangle with vertices (0, 0), (0, 1) and (1,1).The formula to guarantee two real solutions in m/n becomes − sign(n)s 00 s 11 > 0. We derive it from the (diagonal) condition in Table 10 by applying the map τ 0 and noticing that (m, n) becomes (m/n, 1/n) under this transformation.
Remark 5.6.Local tangencies of type (5a) that are liftable over K occur for three representative shapes: (I), (L) and (M).In the first two cases, the second tangency point has type (2) and lies on the diagonal of Λ.For the latter, the second tangency is of type (3c) along a horizontal edge of Γ.The local lifting condition over K R for the diagonal (5a) tangency is given in Table 10 and can be obtained following the same arguments as in the proof of Proposition 5.4.The condition for the horizontal (5a) tangency is derived from the diagonal one by applying the map τ 1 .In this case, the roles of m and n are switched and the relevant signs are those associated to the vertices (u + 1, v) and (u + 1, v + 1) in Figure 20.
Almost all local conditions listed in Table 10 for determining solutions over K R for one coefficient of ℓ require us to know the sign of the initial form of the second coefficient of ℓ.This data is obtained from the second tangency of Λ, whose tangency type can be read off from Table 9.In particular, when this point has type (2) and lies in the diagonal or vertical ends of Λ, then it uniquely determines n or m/n in K R , respectively.Our last result in this section computes the sign of these expressions in terms of the coefficients of q ∈ K R [x, y]: Lemma 5.7.Assume that Λ has a type (2) tangency point along its diagonal (respectively, horizontal or vertical) end.Let e be the edge of Γ producing this multiplicity two tangency.Then, the sign of the unique solution n (respectively, m or m/n) to the local tangency equations equals −s v l s vr , where v l and v r are the vertices of the cell e ∨ in the Newton subdivision of q.
Proof.We prove the analogous statement when the type (2) tangency point P lies in the horizontal end of Λ, since the explicit local solutions for m computed in [27,Proposition 4.6] require this setting.Since the local lifting multiplicity of P is one by Table 5, we know that m ∈ K R .We show that the sign of m becomes −s v l s vr if e ∨ joins v l and v r .The statement for the diagonal and vertical ends follow by applying τ 0 and τ 1 since these turn m into m/n and n, respectively.
Substituting these values in (5.5) yields −s uv s rw = −s v l s vr as we wanted to show.□

Real liftings of tropical bitangents
Section 5 addresses local liftings over K R and provides the combinations of tangency types that can occur for members of all bitangent shapes.In this section we combine these results to prove Theorem 1.2.In particular, we provide explicit sign constraints that characterize when a given bitangent shape has exactly four real lifts.These conditions are stated in Table 11 and were obtained by analyzing each of the 41 S 3 -representatives of bitangent shapes from Figure 6.
Throughout we assume V (q) is generic as in Remark 2.10 and defined over K R .Members of bitangent classes with weight one will automatically lift over K R , so we need only look at vertices with weights two or four.For each such member, we combine the local sign conditions given in Table 10 arising for each tangency point and verify the system of two inequalities is either consistent or has no solution.This proves Theorem 1.2 for bitangent classes with a single higher weight member.When two members of a class have weight two, we show the local conditions on each vertex agree, thus giving a global affirmative answer for the class.Our first result involves shapes that always lift over K R : Proposition 6.1.Bitangent shapes (II), (W), (X), (Y), (Z) or (AA) through (HH) have four real lifts.
Proof.Since all weight one members lift over K R , we only need to show the statement holds for (II).We work with the S 3 -representative depicted in Figure 6 and show that its single weight two member has two bitangent lifts over K R .Combined with the two real lifts for the weight one vertices, we get four real lifts in total for shape (II).
We let Λ be the tropical bitangent associated to the weight two vertex for this shape.Its two tangency points have types (3a) and (2) along the horizontal and vertical ends of Λ, respectively, as we see in the right-most picture in Figure 7.The first point yields two solutions for m ∈ K with m ∈ R, whereas the second one determines a unique value for m/n ∈ K R .In particular, n ∈ R.
We use the notation from Figure 7 for the remaining of this proof.In order to check the validity of the local lifting conditions given in Table 10 for the horizontal tangency along the edge v r v ′′ of Γ we must determine the sign of both m and n and relevant vertices in the Newton subdivision of q seen in the figure.In particular, the three relevant parameters u, v, w are determined by v ∨ r , i.e. (u, v, w) = (1, 2, 0) for the horizontal type (3a) tangency.In turn, Proposition 5.2 provides the sign of m ∈ R: it is s 12 s 13 .
We will have two solutions in K R for m and thus two real bitangent lifts for Λ if and only if the formula in Table 10 for a horizontal type (3a) tangency holds.Replacing the values for (u, v, w) computed earlier and sign(n) given in (6.1) yields the positive expression (−1) 0+2+1 (s 12 s 13 ) 0+2 s 00 s 13 (−s 00 s 13 ) = s 00 s 12 (s 13 ) 2 2 = 1.□ The remaining 28 shapes in Figure 6 have four bitangent lifts over K, and it is possible for none of them to be defined over K R .To prove Theorem 1.2 for these cases, we group together shapes arising from partial dual subdivisions to Γ sharing similar combinatorial properties, as we did in Section 5.
Next, we address those shapes listed in the second row of Table 6 excluding (C).For all these shapes, the K-liftable bitangent members have a disconnected intersection with Γ.The relevant tangency pairs are listed in Table 9. Proposition 6.2.Bitangent shapes (D), (L), (L'), or (O) through (S) have either zero or four lifts over K R .Furthermore, the S 3 -representatives listed in Figure 6 have four lifts over K R if, and only if, (6.2) (−1) i (s 10 s 11 ) i s 0i s 22 > 0.
Here, (0, i) is the red marked vertex in the corresponding partial Newton subdivisions depicted in Figure 19.In particular, i = 0 for shapes (L'), (Q), (Q'), (R) and (S), whereas i = 1 for (L), (O) and (P).The value of i for shape (D) is not restricted.
Proof.We discuss the statement for the S 3 -representatives depicted in Figure 6.The proof of Proposition 4.2 ensures that each of the two members of each bitangent class with weight two have two distinct tangency points.For the rightmost vertex, the corresponding line Λ has local (3c) and (2) type tangencies, along its horizontal and vertical ends.By Proposition 5.2, the first point yields two values for m ∈ K with m ∈ R, whereas the second determines a unique m/n ∈ K R .
In the notation of Figure 20 we have (u, v, r, w) = (1, 0, 2, i) for the horizontal type (3c) tangency.We can read this information from the labeled dual triangles in the two possible partial dual subdivisions to Γ depicted in the top-left of Figure 8.Note that the value of w changes depending on the bitangent shape, as predicted by in the statement.By Proposition 5.2, the sign of m equals s 10 s 11 .Proposition 6.3.Bitangent shapes (A), (B), (E) through (K), (M), (N), (T), (T'), (T"), (U), (U') or (V) have either zero or four bitangent lifts over K R .The conditions for having real lifts are given in Table 11.
Proof.We use the S 3 -representative shapes and the associated partial Newton subdivisions to Γ summarized in Figure 19 to determine the parameters u, v, r, w used in the corresponding formulas from Table 10.In all cases, we have either one or two members for each class that lift over K, with a combined lifting multiplicity of 4. We prove the statement for each case, grouping shapes whenever the dual subdivisions to Γ share some common features.
(A): The unique member Λ of this bitangent class has two tangency points, both of type (3c) along the horizontal and vertical ends.The first point determines m, whereas the second determines m/n.We must determine the values of the parameters u (respectively, v) r and w needed to use the formulas in Table 10.For a concrete example, we refer to Figure 1.
In the notation of Figure 20, we have (u, r, w) = (1, 2, i) (v is unknown as the dotted vertical segment in the figure indicates) arising from the horizontal tangency.This gives the first of the two formulas in Table 11, ensuring that the coefficient m has two solutions in K R .
In turn, for the second point we have (v, r, w) = (1, 2, j) (u is unknown as seen in the dotted horizontal segment in the figure).Replacing these values in the formula from Table 10 yields the second formula in Table 11.If the condition is satisfied, we will have two values for m/n in K R .Thus, combining both positivity constraints ensures that the shape has four K R -bitangent lifts.If any of them fails, there are no K R -lifts.10 and eliminating factors with even exponents yield the two positivity conditions listed in Table 11.
(E), (F) and (J): Both weight-two vertices in each of these bitangent shapes have a horizontal (3c) tangency with (u, r, w) = (1, 0, i) and a diagonal tangency (of type (2), ( 4) or (6a)).The second tangency has local lifting multiplicity one and the local equations provide a unique value for n, therefore in K R .The parameter values for the (3c) tangency are the same for both members, and they are determined from Figures 17 and 15, respectively.The local equations yield two solutions for m ∈ K for each member.Thus, the condition to have bitangent lifts in K R is the same for both members of the bitangent shape, since the formula in Table 10 only depends on u, v, w and r.Eliminating factors with even exponents yields the expected inequality from Table 11.
(G): As we see from the first two pictures in Figure 18, members associated to a weight-two vertex of this shape have a horizontal (3a) tangency with (u, v, w) = (1, 0, i) combined with a diagonal type (2) tangency with v l = (1, 1) and v r = (k, 4−k), for some k = 0, 2 or 4. By Lemma 5.7, the unique value of n obtained from the type (2) tangency lies in K R and sign(n) = −s 11 s k,4−k .Thus, the condition for lifting each member over K R is the same and it is obtained directly from the formula in Table 10.
(H) and (H'): As we see in Figure 13, the weight-four member has two horizontal tangencies; one of type (3c) with (u, r, w) = (1, 1, i) and one of types ( 4) or (6a), respectively, with (u, v) = (2, 0).By Proposition 5.2, the first point yields two solutions for m ∈ K with m ∈ R of sign s 1v s 1,v+1 (v is unknown).The second tangency point produces two values for n ∈ K. Replacing the combinatorial data and the sign of m into the formulas provided in Table 10 yields the two positivity conditions in Table 11.To derive the statement we must show that this condition also arises for the other weight-two member of the class, labeled Λ ′ .We check this for each of the two shapes separately.
If the class has shape (I) (respectively, (N)) the tangency points of Λ ′ are of types ( 2) and (5a) (respectively, vertical (3a)).The former occurs along the diagonal end of Λ ′ with v l = (1, 1) and v r = (k, 4 − k) for k = 0, 2 or 4 (the same values as for Λ).Therefore, the sign of n ′ arising from Λ ′ agrees with the one for n from Λ.
For both shapes, the second tangency point of Λ ′ determines two solutions for m ′ and the required data for the corresponding lifting conditions in Table 10 is (u, v) = (0, 0) for shape (I) and (u, v, w) = (0, 1, 1) for shape (N).A simply substitution recovers the positivity constraint obtained earlier for Λ. (K): By Figure 16, the rightmost weight-two member Λ has tangencies of type (3a) and ( 2 Replacing this data on the corresponding lifting conditions on Table 10 for the first point yields s 00 s k,4−k > 0. We must check the other weight-two member of this class (called Λ ′ ) has the same constraint for lifting over K R .The tangency points of Λ ′ are of type (6a) with (u, v) = (0, 0) and of type (2).The latter occurs along the diagonal end of Λ ′ and has the same associated vertices v l and v r as Λ.In particular, the latter point determines a unique n ′ ∈ K R with initial form of the same sign as the one for Λ.Replacing this into the formula for diagonal type (6a) tangencies from Table 10 recovers s 00 s k,4−k > 0, as we wanted.
(M): In this case, the weight-four member has one horizontal (3c) tangency with (u, r, w) = (1, 1, i), which determines two solutions in m with m ∈ R of sign s 1v s 1,v+1 by Proposition 5.2.The value of r corresponds to the marked vertex in Figure 15 This second tangency has type (5a) with (u, v) = (2, 0) and yields two solutions for n.Replacing this information in the two relevant lifting formulas from Table 10 gives the two expressions in Table 11.
(T), (T') and (T"): The combinatorial information necessary to determine the constraints for this case can be recovered from Figures 10 and 11.We show that each weight-two vertex of these shapes yield the same constraint.We start with the two vertices of (T).They have diagonal tangencies of types (4) and (2).The latter contributes a unique value for n ∈ K R with sign(n) = −s 11 s k,4−k , where k = 0, 2 or 4. The other tangency point fixes two values for m and (u, v) = (0, 0) for both members.The lifting conditions for both vertices of (T) arising from the corresponding formula in Table 10 is the same, namely s 00 s k,4−k > 0.
Next, we look at the rightmost member of (T'), which has a diagonal (6a) tangency with (u, v) = (0, 0) and a diagonal type (2) tangency giving sign(n) = −s 11 s k,4−k .Replacing this information in the appropriate formula from the same table recovers s 00 s k,4−k > 0.
Finally, we look at the leftmost member of (T").Applying τ 0 turns this member into the rightmost member of a class with the same shape.By Remark 5.5, the lifting condition is invariant under τ 0 , thus, it is also valid for the leftmost vertex of shape (T").
(U), (U') and (V): As Figure 19 shows, the combinatorial data for the rightmost vertex with weight two agrees with the analogous member of shape (K).Thus, the lifting conditions over K R for this vertex is s 00 s k,4−k > 0. We must check the same inequality arises from the other weight-two member of each shape.
For shapes (U) and (U'), the tangencies occur along the diagonal end of the line and they match those corresponding to the left-most vertex of shapes (T) and (T"), respectively.Thus, the lifting conditions for this member are also s 00 s k,4−k > 0.
For shape (V), the tangencies are of type (2) along the diagonal end of a line and of type (3a) along the vertical end, with (u, v, w) = (0, 1, 0).The parameters are obtained from Figures10 and 11 after applying the map τ 0 .The first tangency gives a unique solution for n in K R with sign(n) = −s 11 s k,4−k .Substituting this the lifting formulas for m from the vertical (3a) tangency yields s 00 s k,4−k > 0. □ We conclude by discussing the real-lifting conditions for shape (C).Up to translation, we place this class at (0,0).The Newton subdivision of q ∈ K R [x, y] depicted in Figure 19 (C) has three colored marked vertices: (0, i), (j, 0), (k, 4 − k).They determine the endpoints of the three edges adjacent to (0, 0) in Γ.
In addition, val(a 0,p ) > λ 2 if p ̸ = i, val(a p,0 ) > λ 1 if p ̸ = j and val(a p,4−p ) > λ 3 if p ̸ = k.The coefficients of ℓ will have the form m = m 1 + m 2 and n = n 1 + n 2 with m 1 , n 1 ∈ K R satisfying val(m) = val(m 1 ) = 0 < val(m 2 ) and val(n) = val(n 1 ) = 0 < val(n 2 ).Lemma 6.5 below provides an explicit formula for m 1 and n 1 in K R with m 1 = a 11 and n 1 = a 21 .Once m 1 and n 1 are determined, there will be two independent solutions for m 2 , n 2 ∈ K.Each of them will be fixed by its initial form.
Following [27,Proposition 3.12], we use m 1 and n 1 to re-embed V (q) in K 3 via the ideal I := ⟨q, z − y − m 1 − n 1 x⟩ ⊂ K R [x, y, z].Our choice of m 1 and n 1 guarantees that independent and Lemma 2.9 applies to both K R and K, we conclude that ℓ is defined over K R if and only if the whole triple (ℓ, p, p ′ ) is. □ We provide an example to illustrate the close resemblance among the explicit solution formulas for all three unknowns of our local systems, complementing our discussion in the proof of Proposition 5.4.
Example 7.2.We fix a bitangent Λ to a tropical plane quartic Trop V (q) with q ∈ K R [x, y] generic, and let (ℓ, p, p ′ ) be a bitangent triple associated to Λ.We assume the vertex of Λ is the tangency point Trop p and has tangency type (5a) with (u, v) = (0, 0), following the notation of Figure 20.To fix ideas, we place the second tangency point Trop p ′ along the diagonal end of Λ, thus it determines n and p ′ .Our first tropical tangency point will fix m and p.Assuming both m, n ∈ K R , we will show that p ∈ (K * R ) 2 .By Lemma 2.9, it suffices to check p = (x, ȳ) ∈ R 2 .Our local system in (m, x, ȳ) becomes q = ℓ = W = 0 with: q := a 10 x + a 01 ȳ + a 11 x ȳ, ℓ := ȳ + m + n x and W := (a 10 + a 11 ȳ) − n(a 01 + a 11 x).
We view a 10 , a 01 , a 11 and n as parameters and use Singular [9] to compute elimination ideals of the ideal I = ⟨q, ℓ, W ⟩ in a polynomial ring in m, x and ȳ with coefficients in the quotient field R(a 10 , a 01 , a 11 , n).The sign of the radicand for both solutions is again s 10 s 01 sign(n).Finally, eliminating m and x yields the quadratic equation a 11 2 ȳ2 + 2 a 10 a 11 ȳ + (a 10 2 − a 01 a 10 n) = 0 in ȳ.The sign of the radicand for each solution ȳ is the same as before.From this it follows that if m ∈ R then x and ȳ are also in R, as we wanted.⋄ After passing to the tropical limit, we can use these methods to study totally real lifts of tropical bitangents to smooth plane quartics, that is real bitangents lines where the tangency points are also real.More precisely, Theorem 7.1 has the following consequence: Corollary 7.3.Real lifts of bitangents to generic smooth tropical plane quartics are also totally real.
An alternative proof of Corollary 7.3 can be given using Klein's formula from [22] relating the number I of real inflection points and the number B of real but not totally real bitangents of a curve of degree d: real inflection points.Thus, from Klein's formula (7.1) it follows that there are no real bitangents which are not totally real.This result gives rise to the following question: Question 7.4.What do tropicalizations of quartics with real, but not totally real bitangents look like?Can we determine their skeletons?
From Theorem 7.1 we can conclude that they cannot be smooth tropical quartics in R 2 .We suspect that they come from faithfully embeddings producing a tropical quartic on a tropical two-dimensional linear space of a higher-dimensional space R n .The study of tropical plane curves on these alternative tropical 2-dimensional linear spaces, their moduli spaces and their properties is an active topic of research in tropical geometry [16].
We believe that an answer to Question 7.4 will require us to extend the tropical lifting techniques beyond the smoothness and genericity constraints from Remark 2.10, in the spirit of [26].We leave this task for further research.12. Formulas for the initial forms of triples (ℓ, p, p ′ ) lifting Λ l and Λ r .
Proposition A.3.Assume V (q) has no hyperflexes.Then, the tropical bitangents Λ l and Λ r each lift uniquely to classical bitangent triples (ℓ, p, p ′ ) with p ̸ = p ′ .Table 12 gives explicit formulas for the tuple of initial forms m, n, p and p ′ in each case.
Proof.Lemmas A.1 and A.2 yield unique potential values for (m, n) where p ̸ = p ′ .We substitute each value in the three equations from (A.3), respectively (A.4), and solve for x, ȳ.We obtain two distinct solutions in (x, ȳ), each corresponding to p and p ′ .They can be seen in Table 12.
To conclude we use Lemma 2.9 to show that these initial forms lift uniquely to a triple (ℓ, p, p ′ ) with q(p) = ℓ(p) = W (p) = q(p ′ ) = ℓ(p ′ ) = W (p ′ ) = 0. We use q = q l or q r and W = W l or W r depending on the location of the tropical bitangent line.
A Sage [10] computation shows that the initial forms of the Jacobians (m, n, x, ȳ, r, s) for the local systems at v l and v r are Laurent monomials in the coefficients of (A.1), namely −9 √ 3 ā3 b2 /c and 128 √ 2 ā5 c/b ′ 2 .These expressions are units in K, so we have unique lifts from the six initial forms to the data (ℓ, p, p ′ ).□ Our next result shows that no bitangent lift (ℓ, p, p ′ ) of Λ l or Λ r has p = p ′ under the genericity conditions from Remark 2.10.This rules out the overlooked case in the proof of [27,Theorem 4.1].Even though this situation can be discarded using the classical count of bitangents to smooth plane quartics, we provide an independent combinatorial proof.

Figure 4 .
Figure 4. From left to right: six sectors of R 2 determined by max-and min-tropical lines, and six types of local tangencies at the marked point P .The numbers indicate the possible local intersection multiplicities for P .Cases (3a), (3b), (3c), (6a) and (6b) are non-transverse intersections.

Figure 5 .
Figure 5. Local moves on bitangents fixing one combinatorial type of tangency.The tangency point P is indicated by a circled black dot.

Proposition 4 . 1 .
Let B be a bitangent class of Γ associated to a tropical line Λ where Λ ∩ Γ has one connected component and the intersection is transverse.Then, B lies in the S 3 -orbit of shape (II).

Figure 6 .
Figure 6.Orbit representatives of all 41 shapes of bitangent classes to Γ, grouped by the dimension of its maximal cells.The numbers above each vertex indicate lifting multiplicities over the complex numbers (discussed in Section 5), whereas the red ones above edges indicate slopes.The black cells of each bitangent class miss Γ, whereas the red ones lie on it.The unfilled dots are vertices of Γ.

Figure 7 .
Figure 7. From left to right: shape (II), cells v ∨ l , v ∨ r and (v ′ ) ∨ in the dual subdivision to Γ and local moves determining this bitangent shape.The edges e and e ∨ are marked in blue.

Figure 8 .
Figure 8. Dual subdivisions and partial information on the tropical curve Γ from Proposition 4.2.The red dots on the top left figures are the possible points (0, i) that can be chosen to form the triangle (v 0 ) ∨ with the red edge joining (1, 0) and (1, 1).The (blue) triangle dual to v is labeled.

Figure 9 .
Figure 9. Relevant local moves for vertices of bitangent lines in a bitangent class from Proposition 4.2 with a shape other than (C) depending on the relative position of v ′′ , v ′ 0 and v 0 with respect to ⪯ d .The notation for the vertices is that of Figure 8.

Proposition 4 . 4 .
Let B be a bitangent class of Γ where every member intersects Γ in two connected components.Then, up to S 3 -symmetry, B has one of the following shapes:

Figure 10 .
Figure 10.Partial dual subdivisions to Γ relevant for Lemma 4.5.Here, the vertex v ′′ r is joined to v ′ r by a horizontal edge in Γ, which can only happen if (v ′ r ) ∨ is the first triangle in the top-right.

Figure 11 .
Figure 11.From left to right: possible realizations for the unbounded two-dimensional cell σ depending on the relative ⪯ d -order of the vertices v l , v r , v ′ l , v ′ r of Γ, and local movement at v ′ r when v ′ r ≺ d v r .The movement along the horizontal edge v ′ r v ′′ r of Γ is restricted by v r .
r .These are precisely the three options depicted in Figure11.The convexity of the connected component of R 2 ∖ Γ dual to(1,1) ensures that v ′ r ⪯ d v r if and only if (v ′ r )∨ is the triangle with vertices (0, 0), (1, 1) and (1, 0).Thus, v ′ r is adjacent to a vertex v ′′ r of Γ along a horizontal edge.The three possible triangles (v ′′ r ) ∨ are seen in the bottom-right of Figure10.Symmetric behavior is observed when comparing v l and v ′ l : v l ⪯ d v ′ l if and only if (v ′ l ) ∨ is the triangle with vertices (0, 0), (1, 1) and (0, 1).To finish the classification of shapes for the bitangent class B, we must analyze what happens if v ′ r ∈ B and/or v ′ l ∈ B. By symmetry, we restrict our attention to the case when v ′ r ∈ B.

Figure 12 .
Figure 12.From left to right: all possible partial dual subdivisions to Γ when all two-dimensional cells of B are bounded, and positions of the (red) edge e = v 1 v 2 (respectively, the (blue) edge e ′ = v 3 v 4 ) relative to P.

Figure 13 .
Figure 13.Cases 1 and 2 from Lemma 4.7, leading to shapes (H) and (H').The tangencies P and v are horizontally aligned (using a black dotted line.)The potential location of e ∨ is marked with a dotted blue line.One of the blue points (0, w) is a vertex of v ∨ l

Figure 14 .
Figure 14.Partial dual subdivisions and local moves for Case 3 from Lemma 4.7, leading to shape (N).Points joined by black dotted lines are diagonally aligned.The dotted blue edges in the center correspond to the potential locations of e ∨ , whereas the blue edge is (e ′ ) ∨ .Imposing the condition v l = d v ′ in the central picture will give shape (I) and Case 4.

Figure 15 .
Figure 15.From left to right and top to bottom: possible triangles (v ′ ) ∨ , partial dual subdivisions and local moves for Case 5 from Lemma 4.7, leading to shapes (M) and (J), respectively.

Figure 16 .
Figure 16.Relevant data for Case 6 from Lemma 4.7 leading to shape (K): partial dual subdivisions to Γ and local movement around selected members of the bitangent class, depending on the location of the tangency P with respect to the edge e.

Figure 17 .
Figure 17.From left to right: partial dual subdivision and bitangent classes with shapes (E) and (F) corresponding to two tangency points of types (3c) and (1) for a bounded one-dimensional class, as in Lemma 4.8.

Corollary 4 . 10 .
The bitangent classes associated to a smooth tropical plane quartic Γ are min-convex sets.Out of 41 possible S 3 -representatives of bitangent shapes, only eight of them are finitely generated tropical polytopes, namely (A) through (G) and (W).Remark 4.11.By [15, Theorem 14 and Proposition 15], the linear systems of all effective tropical theta characteristics on the skeleton of Γ are finitely generated tropical convex sets.Corollary 4.10 highlights a fundamental difference between complete linear systems on abstract and embedded tropical curves.The proof of Propositions 4.1 and 4.2, and Lemmas 4.5 through 4.9 yield the following combinatorial consequence which plays a crucial role in the lifting results discussed in Sections 5 and 6:

(
B): We have two tangency points; a horizontal (3c) one with (u, r, w) = (1, 1, i) (v is unknown) and a vertical (3a) one with (u, v, w) = (2, 1, j).By Proposition 5.2, the first point determines two values for m ∈ K with m ∈ R of sign s 1v s 1,v+1 .The second one determines two solutions for m/n ∈ K with m/n ∈ R of sign s 21 s 31 .Thus, n ∈ R and its sign is s 1v s 1,v+1 s 21 s 31 .Substituting these values in the conditions for real liftings in Table
) along the horizontal and diagonal ends.The first point determines two values for m and (u, v, w) = (1, 0, 0).The second point has associated vertices v l = (1, 1) and v r = (k, 4 − k) with k = 0, 2, 4 in the dual subdivision to Γ and yields a unique solution for n ∈ K R with sign(n) = −s 11 s k,4−k by Lemma 5.7.

11 2 m 2 −
Eliminating x and ȳ from I yields the quadratic equation in m a 2a 11 (a 10 + a 01 n)m + (a 10 2 − 2a 10 a 01 n + a 01 2 n2 ) = 0, which we use to solve for m.The radicand expression's sign for both solutions is s 10 s 01 sign(n).Similarly, eliminating m and ȳ from I produces a quadratic equation in x: a 11 2 n x2 + 2 a 01 a 11 n x + (a 01 2 n − a 01 a 10 ) = 0.

Table 2 .
Sample sign choices for the tropicalized quartic Γ in Figure