I aim to study the binary forms $ax^2 + bxy + cy^2 = (a,b,c)$ where $a,b,c \in {F_q}[T]$, in particular those such that the discriminant $D = b^2 - 4ac \in F_q[T]$ has even degree and sign ${D} \in {F_q^*}^2$ – in other words its principal coefficient is a square.
This case is interesting because $\sqrt{D}$ exists as a Laurent series, and you can even consider its expression as a continued fraction (with polinomial coefficients), which has may interesting properties such as its periodicity. In our definition of reduced forms, we say $(a,b,c)$ with discriminant $D$ is reduced if $$|\sqrt{D} - b| < |a| < |\sqrt{D}|$$ and the sign of $a$ is either $1$ or a fixed square, although this property is just for unicity and has no importance. The inequality is the important part.
I would like to follow the plot normally used with the usual binary forms with integers coefficients: For the indefinite case with discriminant $D >0$ not a square, the reduced forms of one equivalence class can be arranged into cycles, these cycles have an even number forms, and the most important part, two reduced forms are equivalent iff they belong to the same cycle. The last point is the problem I would like to share with you:
Do you know how I could achieve this result?
I can give more details: in the usual case in $\mathbb{Z}$, what you normally do (for example is Buell's book) is to provide yourself with the following results:
Every cycle has an even number of reduced forms.
Let $x,y \in \mathbb{R}$. If there exist integers $a,b,c,d$ so that $ad - bc = 1$ and $$y = \frac{a x + b }{c x + d},$$ then we can express $y$ as $$y = [u; a_1, \cdots a_{2r}, v, x],$$ where $a_1, \cdots a_{2r}$ are positive integers and $u,v$ are integers.
If a continued fraction contains only a limited number of negative or zero partial quotients, then it is possible, by a finite number of steps, to convert it into a scf. During this process, almost all coefficients are shitfed an even numer of positions.
However I haven't found their "equivalent propositions" for the present case. For example, regarding the parity of the cycle, in the case in $\mathbb{Z}$ you just consider the alternance of sign positive-negative when you move to the adjacent form in the cycle, hence if you return to the initial one it means you did an even number of steps. In ${F_q}[T]$ the degree is not enough to prove it and I don't find any other invariant.
If someone could give me any advide my nightmares will be over :D I don't find this matter anywhere in the bibliography (I guess this field of binary forms is not the most popular) so all suggestions are welcome. Thanks in advance!