Tag: algebraic-geometry

algebraic geometry – Pullback and Pushforward Isomorphism of Sheaves

The Question : 108 people think this question is useful Suppose we have two schemes $X, Y$ and a map $f\colon X\to Y$. Then we know that $\operatorname{Hom}_X(f^*\mathcal{G}, \mathcal{F})\simeq \operatorname{Hom}_Y(\mathcal{G}, f_*\mathcal{F})$, where $\mathcal{F}$ is an $\mathcal{O}_X$-module and $\mathcal{G}$ an $\mathcal{O}_Y$-module (and the Homs are in the category of $\mathcal{O}_X$-modules etc). This gives a natural map

algebraic geometry – Application of Hilbert’s basis theorem in representation theory

The Question : 130 people think this question is useful In Smalø: Degenerations of Representations of Associative Algebras, Milan J. Math., 2008 there is an application of Hilbert’s basis theorem that I don’t understand: Two orders are defined on the set of $d$-dimensional modules over an algebra $\Lambda$ that is finite dimensional over a field.

abstract algebra – “The Egg:” Bizarre behavior of the roots of a family of polynomials.

The Question : 464 people think this question is useful In this MO post, I ran into the following family of polynomials: $$f_n(x)=\sum_{m=0}^{n}\prod_{k=0}^{m-1}\frac{x^n-x^k}{x^m-x^k}.$$ In the context of the post, $x$ was a prime number, and $f_n(x)$ counted the number of subspaces of an $n$-dimensional vector space over $GF(x)$ (which I was using to determine the