# REU Meeting - 2024-08-13

This following is a brief summary of our research meeting on 2024-08-13.

We briefly chatted about the derivation of the equation for the dual conic in the classical case. Here's a super short summary of that derivation:

Suppose the plane conic is given by the equation

Let

To find the points of intersection of this line with the given conic, we can solve the linear equation for one variable (say,

As we chatted about in our meeting today, it's not clear how directly applicable this strategy is to the tropical case. In our case, finding where two tropical bend loci intersect is not the same as finding where a single tropical polynomial vanishes. So what we need to do is to try to adapt the general *strategy* of the classical case to the tropical setting.

As a first approach, I suggested the following strategy:

- We cannot use the "equation" for our tropical line to solve for one variable in terms of the other, since our tropical line is a bend locus (not a congruence variety).
- On the other hand, our tropical line is the union of three congruence varieties. For example, the tropical line given by the bend locus of
is covered by the three congruence varieties given by the equations , , and . (If we used homogeneous coordinates, then each of these three equations would essentially give us one variable in terms of the other two.) - Perhaps we can first investigate algebraic conditions for detecting when each of these three simple congruence varieties intersect a given tropical conic.
- It should theoretically then be possible to derive an algebraic condition for when the original tropical line intersects the conic in only one point.

# Tasks for next meeting

- Investigate some specific examples of a fixed tropic conic (say of Type
) and various tropical lines. - Choose some lines that are "definitely secant", some that are "definitely tangent", and some that are "sorta tangent"
- For each of those lines, cover the line with the three congruence varieties as above. Look for an algebraic method that can determine where those congruence varieties each intersect the conic. (Note that every point on the bend locus is covered by two of the congruence varieties, so each intersection point should be detected twice).
- Try to find an algebraic condition (on the coefficients of the tropical linear polynomial giving the tropical line) that detect the "tangency level" of that tropical line.