# REU Meeting - 2024-08-20

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

We chatted about the problem of determining intersections of two congruence varieties, specifically the types of quadratic congruence varieties that "cover" a tropical conic with the types of linear congruence varieties that "cover" a tropical line.

When focused on a specific example. We first took a tropical conic of type

This congruence looks like

Then we looked at a tropical line that did *not* intersect this congruence variety, namely the bend locus of

The two congruence varieties look like

Finally, following the idea in the classical case, we solved the linear congruence for

After some tropical algebra, this eventually simplified to the tropical equation

Geometrically, we know this equation has no solutions. We can also confirm this manually by converting to real operations and considering cases. However, what we would really like is a simple algebraic method to detect that this equation has no solutions, analogous to how the discriminant can detect the number of solutions to a classical quadratic equation.

# Tasks for next meeting

- Try moving the linear congruence around and repeating the above analysis.
- Can you find that last quadratic equation for the general linear congruence of the form
? - What conditions on
and correlate (geometrically) with there being no solutions? two solutions? a "segment" of solutions? - Try switching up the type of linear congruence, e.g., use the linear congruence variety "generated by the
term". - Try switching up the type of quadratic congruence, e.g., use the quadratic congruence variety "generated by the
term". - Is there a tropical analogue of the discriminant, that can detect when a tropical equation has no solutions, etc.?