Si todo lo que está haciendo es enviar la señal atenuada a un puerto digital Arduino, simplemente use un divisor de potencial de resistencia: -
Supongamos que haces R2 = 1 kohm, entonces R1 tiene que ser 7/5 * 1 kohm = 1.4 kohm
Puedes elegir hacer R1 = 1.5 kohm (en caso de que el voltaje de 12 voltios suba un poco). Verifique los niveles altos de su lógica en el Arduino para ver qué tan alto puede ser R1 antes de que no pueda registrar uno lógico cuando hay 12 voltios en la entrada.
Por ejemplo, muchos IO son compatibles con TTL, lo que significa que 2 voltios es la lógica mínima 1, por lo tanto, haga un divisor de potencial de 12 voltios a 3 voltios. Esto haría que R1 = 1.8 kohm.
El uso de valores de resistencia bastante bajos significa que los tiempos de subida y caída no se verán afectados en gran medida en la salida (a diferencia de un amplificador operacional o un comparador que probablemente empeorará los tiempos de subida y agregará un retraso). Mantente simple si puedes.