Search Results
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 |
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
0
votes
What is the coordinate ring of symmetric product of affine plane?
I may be making a very trivial mistake [Edit: yes, indeed], but isn't it just that:
$(\mathbb{A}^k)^{(n)}=(\mathbb{A}^k)^n/S_n\cong(\mathbb{A}^n)^k/S_n\cong(\mathbb{A}^n/S_n)^k\cong(\mathbb{A}^n)^k$
…
1
vote
Accepted
Map between localizations induces map on underlying modules for Zariski covering
This* follows immediately from the fact that the presheaf $\mathcal{Hom}(\tilde{M},\tilde{N})$ (Hartshorne's notation) on $\mathrm{Spec}(A)$ given by
$$U\mapsto Hom(\tilde{M}|_U,\tilde{N}|_U)$$
is a …
2
votes
1
answer
522
views
Geometric interpretation of a (standard) commutative algebra fact
Which is your geometric interpretation (if any) of the following commutative algebra proposition?
Proposition. Let $M$ be a finitely generated $A$-module, $I\subseteq A$ an ideal, and $\phi\in \ma …
31
votes
How to memorise (understand) Nakayama's lemma and its corollaries?
For me the Nakayama lemma (even though maybe not in its strongest form) simply says that:
If $\mathcal{F}$ is a coherent sheaf over the (locally noetherian) scheme $X$, then the dimension of the f …
1
vote
1
answer
466
views
Expressing fiber product of affines via an ideal
Let $X$ (resp. $Y$) be the affine $k$-scheme defined by the ideal $I$ (resp. $J$) in the polynomial ring $k[x_1,...x_n]$ (resp. $k[y_1,...,y_m]$).
Let $Z$ be the affine scheme defined by the ideal $L …
5
votes
1
answer
646
views
How to compute this $\mathrm{Ext}^1$?
Let $A$ be a regular local $\mathbb{C}$-algebra of dimension $2$, such as the localization of $\mathbb{C}[x,y]$ at $(x,y)$, and let $\nu=(\nu_1\geq\nu_2\geq\cdots\geq\nu_{\ell}\geq0)$, $\mu=(\mu_1\geq …
4
votes
An example of a non-geometric $C^\infty(M)$-module
What about $\Gamma(M,\mathcal{C}_{M}^{\infty}/\mathcal{I}_{x}^{2})$ where $\mathcal{I}_x$ is the ideal sheaf of a point $x\in M$?
4
votes
Is there a preferable convention for defining the wedge product?
Each one of the two conventions has it's own advantage: the one with the normalizing coefficient makes the exterior algebra sit inside the tensor algebra (as the subspace of alternating tensors) and t …