Highly unlikely. I tried to find a possible issue with the AppImage on Issues · arduino/arduino-ide · GitHub but did not see one straight away; you can double check if there is a known issue.
Have you tried the zip from https://www.arduino.cc/en/software?