Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 297

For questions related to teaching mathematics. For questions in Mathematics Education as a scientific discipline there is also the tag mathematics-education. Note you may also ask your question on http://matheducators.stackexchange.com/.

11 votes
3 answers
440 views

Easy proof that reflections generate $N(T)/T$ for connected compact group?

I'm teaching a course on Coxeter groups and I'd like to provide an overview of the connection to compact Lie groups. …
David E Speyer's user avatar
10 votes
4 answers
1k views

Reference for working with the implicit function theorem

I just had a student come to my office hours and ask me a ton of questions, the answer to all of which was "that's a slight variant to the implicit function theorem, which is proved by formal manipula …
David E Speyer's user avatar
13 votes
1 answer
605 views

A funny factorization of the Jacobian coming from the lines on the Fermat cubic

Here is something which came up in my algebraic geometry class, and I'm wondering if it has a deeper explanation. Let $F(w,x,y,z) = w^3+x^3+y^3+z^3$ and let $X$ be the cubic surface in $\mathbb{P}^3$ …
David E Speyer's user avatar
11 votes
0 answers
1k views

Total spaces of tangent/cotangent bundles in a course where all varieties are quasi-projective

$\def\PP{\mathbb{P}}$In a course where all varieties are quasi-projective (as in Shafarevich Volume I), I am trying to figure out whether I can justify talking about the total spaces of the tangent an …
David E Speyer's user avatar
24 votes
2 answers
2k views

Direct proof that the centralizer of $GL(V)$ acting on $V^{\otimes n}$ is spanned by $S_n$

Let $V$ be a finite dimensional vector space over a field of characteristic zero. Let $A$ be the space of maps in $\mathrm{End}(V^{\otimes n})$ which commute with the natural $GL(V)$ action. Clearly, …
David E Speyer's user avatar
8 votes
0 answers
546 views

Lower semicontinuity of naive fiber size

I would like to present the following result in my algebraic geometry class, but it is seeming much harder than I would expect. Since my class is working with closed points over an algebraically close …
David E Speyer's user avatar
35 votes
2 answers
2k views

Is it consistent with ZF that $V \to V^{\ast \ast}$ is always an isomorphism?

I ask because I'm teaching a rigorous undergrad analysis class. My students keep asking me whether they have to believe that $V \to V^{\ast \ast}$ can fail to be an isomorphism. …
David E Speyer's user avatar
27 votes
8 answers
5k views

Conceptual algebraic proof that Grassmannian is closed in Plücker embedding

I'm planning lectures for my intro algebraic geometry course, and I noted something awkward that is coming up. We're starting projective varieties soon. Of course, we'll prove that projective maps are …
David E Speyer's user avatar