it's got two (Galois-conjugate) faithful 2D irreps over C:https://people.maths.bris.ac.uk/~matyd/GroupNames/1/SD16.html. A generic orbit there contains 16 points, so will give you a shape, but I have no idea what it is.
A subgroup of order 2 acts as -I on those reps, so each orbit consists of 8 points and their antipodes.
The reps seem to genuinely be complex (bc the characters include sqrt(-2)), so you probably really have to think of it as 16 points in C^2, which might be harder to visualize than R^2.
Joshua Grochow
npub1nf…ng3kl
2025-03-25 18:43:40 UTC
in reply to nevent1q…ma8f
Author Public Key
npub1nf0sjfdvmx76z2dy28d6ky8kfnypfj5ey79uvflh6dm20egszsns0ng3klSeen on
wss://relay.momostr.pinkPublished at
2025-03-25 18:43:40 UTCEvent JSON
{
"id": "ee04a11cd61d099ea67a71413e25c0ee237947b171a82a642189ed810637d46c",
"pubkey": "9a5f0925acd9bda129a451dbab10f64cc814ca99278bc627f7d376a7e5101427",
"created_at": 1742928220,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@joshuagrochow/114224543825803686",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"7e243db284346c5afe51994c3e116ac2c74f68708e503080eb250ae63502f64a",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"45ab1cf9d053fa346d81459c35b76aa975b96ecb7465e390276310ddafdc60be",
"",
"reply",
"75c7d1f69389e4c76276bb851aea7f54265d145c7a39678589cfd62ce26ae9b3"
],
[
"p",
"75c7d1f69389e4c76276bb851aea7f54265d145c7a39678589cfd62ce26ae9b3"
],
[
"p",
"920836d45c3d9b8a98392001ea5d3f9a7cce05db058db85a385c159076d99618"
],
[
"proxy",
"https://mathstodon.xyz/users/joshuagrochow/statuses/114224543825803686",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/joshuagrochow/statuses/114224543825803686",
"pink.momostr"
],
[
"-"
]
],
"content": "it's got two (Galois-conjugate) faithful 2D irreps over C:https://people.maths.bris.ac.uk/~matyd/GroupNames/1/SD16.html. A generic orbit there contains 16 points, so will give you a shape, but I have no idea what it is.\n\nA subgroup of order 2 acts as -I on those reps, so each orbit consists of 8 points and their antipodes.\n\nThe reps seem to genuinely be complex (bc the characters include sqrt(-2)), so you probably really have to think of it as 16 points in C^2, which might be harder to visualize than R^2.",
"sig": "044c600544d596a4d4b4870fd0b7953480fc4dcbf1354b41f2a12616a6c993cf656b9f43e56b5f5a02e8daa6ac5fe937091215fe480bc978796902512c370496"
}