LSpice's user avatar
LSpice's user avatar
LSpice's user avatar
LSpice
  • Member for 14 years, 3 months
  • Last seen this week
47 votes
5 answers
8k views

Proof assistants for mathematics

17 votes
6 answers
3k views

Does the linear automorphism group determine the vector space?

16 votes
2 answers
2k views

Witt-vector vectors

16 votes
2 answers
541 views

Typos in Bourbaki's root-system tables

12 votes
1 answer
856 views

Pointless groups III

11 votes
1 answer
1k views

Pointless groups

9 votes
0 answers
239 views

Is Landvogt's thesis "The functorial properties of the Bruhat–Tits building" available online?

9 votes
1 answer
445 views

Showing subgroups with equal Lie algebras are equal

9 votes
1 answer
535 views

Endoscopic group that is not a subgroup

8 votes
1 answer
1k views

Commutativity and Kostant sections

7 votes
1 answer
605 views

Pointless groups II

7 votes
1 answer
215 views

Why is the fundamental group of $\mathsf E_n$ cyclic of order $9 - n$?

5 votes
0 answers
102 views

Hochschild cohomology of reductive algebraic groups

5 votes
1 answer
190 views

Fields of definition of conjugates

5 votes
1 answer
372 views

Lifting $\mathfrak{sl}_2$-triples

4 votes
0 answers
91 views

Tangent coalgebras and hyperalgebras

4 votes
0 answers
421 views

Automorphisms of unipotent groups

4 votes
3 answers
746 views

Non-affine, projective vector field on $\mathbb{R}^n$

4 votes
0 answers
67 views

Conjugacy of cocharacters from conjugacy of labelled diagrams

4 votes
1 answer
208 views

Does the "building of parabolics" of a semisimple group have a simplex corresponding to the entire group?

4 votes
2 answers
260 views

Fixed points on spherical buildings

3 votes
1 answer
240 views

Embeddings of reductive groups over algebraically closed fields

3 votes
2 answers
272 views

Replacement for Lie-algebra complements

3 votes
1 answer
244 views

Jordan decomposition on the dual Lie algebra

3 votes
1 answer
206 views

Can non-geometrically reduced reduced subschemes happen for reductive groups?

3 votes
1 answer
128 views

Automorphisms of étale-by-torus groups

2 votes
1 answer
164 views

Finite, normal subgroups of reductive groups in positive characteristic

2 votes
1 answer
472 views

Decidable real arithmetic

2 votes
1 answer
406 views

Traces and projectors

2 votes
0 answers
161 views

How do characters of representations in cohomology depend on the (positive-characteristic) field?