3
votes
2answers
173 views

Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...
6
votes
1answer
760 views

A naive algebraic geometry question

Suppose $X$ is a scheme over a ring $A$, $B$ is an $A$-algebra, and $X\times_AB$ is affine. I am looking for conditions on $A$ and $B$ (and perhaps the structure morphism of $X$ over $A$) that will ...
1
vote
1answer
80 views

Cohen-Macaulayness of the scheme of centralizer

Let $G$ be a simply connected group over an algebraically closed field $k$, and $I:=\{(g,\gamma)\in G\times G\vert~ g\gamma=\gamma g\}$ the scheme of centralizer. Is $I$ a Cohen-Macaulay scheme ...
5
votes
3answers
185 views

Subset of Spec(A) realized as inverse image of some Spec(B)

Let $A$ be a (commutative) ring and $U$ be an arbitrary subset of $\mathrm{Spec}(A)$. Do there exist a ring $B$ and a ring homomorphism $\varphi\colon A\to B$ such that ...
2
votes
0answers
64 views

semicontinuity of the conductor defined by Temkin

We say a principal pair $(X,\mathcal{I})$ where $X=Spec(A)$ is affine scheme and $\mathcal{I}=\tilde{I}$ where $I\subset A$ is a principal ideal generated by $\pi$ wich is a non zero divisor. For a ...
15
votes
2answers
527 views

Minimal number of generators for $A^n$

Let $A$ be a commutative ring and $n \in \mathbb{N}$. What is the minimal number $e_A(n)$ of generators of the $A$-algebra $A^n$? Here is what I already know (I can add proofs if necessary) from a ...
4
votes
0answers
538 views

Two definitions of smoothness?

This is confusing, there appear to be possibly two definitions of smoothness in algebraic geometry for a morphism $f: X \rightarrow Y$ of schemes of finite type over an arbitrary field $k$. ...
8
votes
1answer
405 views

Nonnegative additive functions on coherent sheaves

Let $(X,\mathcal{O}_X)$ be a Noetherian integral scheme and let $g$ be a (numerical) additive nonnegative function from coherent $\mathcal{O}_X$-modules to $[0,\infty)$. This question may be well ...
4
votes
1answer
279 views

Flat family of normal schemes over a normal base

Let $f \colon X \to Y$ be a flat morphism of schemes over $\mathbb{C}$. Suppose that $Y$ is normal and that the fibers over the closed points of $Y$ are all normal. Can I say something about the ...
9
votes
1answer
368 views

Extending properties of commutative rings to schemes

I'm trying to pin down the various ways we can extend a property of commutative rings to a corresponding property for schemes. Let $P$ be a property of commutative rings. We could define a scheme ...
20
votes
2answers
1k views

Ring-theoretic characterization of open affines?

Background Recall that, given two commutative rings $A$ and $B$, the set of morphisms of rings $A\to B$ is in bijection with the set of morphisms of schemes $\text{Spec}(B)\to\text{Spec}(A)$. ...