All Questions
39 questions
4
votes
0
answers
267
views
If $\mathbb{C}[a,b,c] \subsetneq \mathbb{C}[x]$, then there exist $f,g$ s.t. $\mathbb{C}[a,b,c] \subseteq \mathbb{C}[f,g] \subsetneq \mathbb{C}[x]$
I ran into this MSE question and would like to ask about its answer and plausible generalizations.
The quoted MSE question asks if the following claim is true or false and why:
Claim: Let $a,b,c \in \...
- 2,837
0
votes
0
answers
176
views
$\mathbb{C}(x,f,g)=\mathbb{C}(x,y)$, with each pair of $\{f,g,x\}$ not generating $\mathbb{C}(x,y)$
Let $f,g \in \mathbb{C}[x,y]$ with total degrees $\deg_{1,1}(f),\deg_{1,1}(g) \geq 1$.
Write,
$f=a_ny^n+a_{n-1}y^{n-1}+\cdots+a_1y^1+a_0$
and
$g=b_my^m+b_{m-1}y^{m-1}+\cdots+b_1y^1+b_0$,
for some $n,m ...
- 2,837
1
vote
1
answer
149
views
$F=\mathbb{C}(u,v)$ satisfying: For every $a,b \in \mathbb{C}[y],c,d \in \mathbb{C}[x]$: $\mathbb{C}(x,y)=F(ax+b)=F(cy+d)$
Let $u,v \in \mathbb{C}[x,y]$, where $u$ and $v$ are algebraically independent over $\mathbb{C}$ and $F=\mathbb{C}(u,v)$. Of course, $d:=[\mathbb{C}(x,y):F] < \infty$.
Denote the following ...
- 2,837
1
vote
0
answers
59
views
If $E \subseteq F=k(x_1,\ldots,x_r)$, satisfies $E(x_1^{i_1},\ldots,x_r^{i_r})=F$, for every $(i_1,\ldots,i_r) \neq (0,\ldots,0)$, then $[F:E] \leq 2$
For $r \geq 2$, let $A_r=\mathbb{C}[x_1,\ldots,x_r]$,
$F_r=\mathbb{C}(x_1,\ldots,x_r)$ the field of fractions of $A_r$, and $E_r \subseteq F_r$ an arbitrary subfield of $F_r$ with $[F_r:E_r] < \...
- 2,837
0
votes
0
answers
42
views
When $x=\frac{u(f_i,g_j)}{v(f_i,g_j)}$ implies $x=\frac{u(f_i(x,0),g_j(x,0))}{v(f_i(x,0),g_j(x,0))}$ ($x=\frac{xy}{y}$ does not imply $x=\frac{0}{0}$)
Let $f_i=f_i(x,y), g_j=g_j(x,y) \in \mathbb{C}[x,y]$,
$1 \leq i \leq n$, $1 \leq j \leq m$, be such that
$f_i(x,0) \neq 0$ and $g_j(x,0)=0$.
Assume that $\mathbb{C}(f_1,\ldots,f_n,g_1,\ldots,g_m)=\...
- 2,837
5
votes
2
answers
754
views
A version of Hilbert's Nullstellensatz for real zeros
$\newcommand\R{\Bbb R}$Let $Q(x_1,\dots,x_n)\in\R[x_1,\dots,x_n]$ be an irreducible polynomial such that the dimension of the set $Z:=\{(x_1,\dots,x_n)\in\R^n\colon Q(x_1,\dots,x_n)=0\}$ (defined, say,...
- 128k
-1
votes
1
answer
294
views
Must 'special' $u,v \in \mathbb{C}[x,y]$ be symmetric polynomials?
The idea for the following question came from Joachim König's last comment appearing
here, namely, the example with $u=x+y^3,v=x^3+y$.
Let $u,v \in \mathbb{C}[x,y]-\mathbb{C}$. Denote by $\alpha$ the ...
- 2,837
0
votes
1
answer
137
views
$k(F_i)_{i=1}^{n}=k(G_j)_{j=1}^{m}$ iff there exist $a_i,b_j \in k$ such that $\langle F_i-a_i \rangle_{i=1}^{n} = \langle G_j-b_j \rangle_{j=1}^{m}$
Let $k$ be an algebraically closed field of characteristic zero, for example $k=\mathbb{C}$ and let $F_1,\ldots,F_n,G_1,\ldots,G_m \in \mathbb{C}[x,y]$, $n,m \in \mathbb{N}-\{0\}$.
Claim:
$\mathbb{C}(...
- 2,837
0
votes
1
answer
162
views
$\mathbb{C}(u(x,y),v(x,y),f(x)+g(y))=\mathbb{C}(x,y)$ implies $\mathbb{C}(u(x,y),v(x,y))=\mathbb{C}(x,y)$?
The following question is a direct continuation of this question:
Let $u,v \in \mathbb{C}[x,y]$.
Assume that for every $f \in \mathbb{C}[x]$ and every $g \in \mathbb{C}[y]$ (excluding the cases where $...
- 2,837
4
votes
1
answer
278
views
If $\mathbb{C}(u(x,y),v(x,y),f(x))=\mathbb{C}(x,y)$, for every $f(x) \in \mathbb{C}[x]-\mathbb{C}$, then already $\mathbb{C}(u,v)=\mathbb{C}(x,y)$?
The following question is a direct continuation of this elaborate question; it is mentioned there at the end:
Let $u,v \in \mathbb{C}(x,y)$ or $u,v \in \mathbb{C}[x,y]$, if it is easier to answer in ...
- 2,837
3
votes
1
answer
254
views
How to determine the degree of a rational function field over a relatively algebraic subfield?
Let $K$ be a field and $K(x_1,\cdots,x_n)$ be the degree-$n$ purely transcendental extension of $K$. Given homogeneous polynomials $f_1,\cdots,f_n\in K[x_1,\cdots,x_n]\setminus K$ with $\deg f_i=d_i$,...
- 331
3
votes
0
answers
149
views
What direction does the derivation of an inseparable algebraic variable point in?
I've been thinking about the geometry of inseparable field extensions lately, since I'm studying smoothness in commutative rings in an advanced topics course this semester. I've generally come to the ...
- 1,969
1
vote
2
answers
311
views
A variation on Abhyankar–Moh–Suzuki theorem
The well-known theorem of Abhyankar–Moh–Suzuki says the following:
Let $f=f(t), g=g(t) \in k[t]$, $k$ is a field of characteristic zero.
If $k[f,g]=k[t]$, then $\deg(f) \mid \deg(g)$ or $\deg(g) \mid \...
- 2,837
1
vote
1
answer
248
views
A variation on $k(x^2,x^3)=k(x)$
Let $k$ be a field of characteristic zero, for example $k=\mathbb{R}$ or $k=\mathbb{C}$.
Of course, $k(x^2,x^3)=k(x)$, since $x=\frac{x^3}{x^2}$.
Let $f_1,\ldots,f_n,g_1,\ldots,g_m \in k[x]$, $n,m \...
- 2,837
2
votes
0
answers
227
views
Base change to algebraic closure commutes with quotient of polynomial ring by maximal ideal
Let $k$ be a field, $R:=k[x_1, \cdots , x_n]$ and $\mathfrak m$ be a maximal ideal such that $R/\mathfrak m$ is a finite separable field extension of $k$. Consider the algebraic closure $\overline k$ ...
- 81
1
vote
0
answers
359
views
A composition of a simple extension and a separable extension is simple
Let $K/L/M$ be a tower of finite field extensions with $K/L$ separable and $L/M$ simple (in the sense of being generated by a single element). How does one show that $K/M$ is also simple?
I know that ...
1
vote
0
answers
229
views
Ax theorem for separably closed fields
For the algebraically closed fields a theorem of Ax states that any injective polynomial map from $K^n$ to $K^n$ where $n\in \mathbb{N}$ and $K$ an algebraically closed field, is bijective.
Is there ...
- 11
0
votes
1
answer
132
views
Special elements of the Cremona group
After asking this MO question, I wish to ask about the following special case:
Let $f$ be a $\mathbb{C}$-algebra automorphism of $\mathbb{C}(x,y)$ and denote $u:=f(x),v:=f(y)$.
Is it possible to ...
- 2,837
1
vote
0
answers
246
views
Frobenius twist of a field
Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...
2
votes
1
answer
151
views
Geometric regularity for infinitely generated field extensions
Let $k$ be a field. Suppose that for a finite type $k$-algebra $A$, we define two following properties:
$A\otimes_k k'$ is a regular ring for all finitely generated field extensions $k\subset k'$.
$...
user140042
2
votes
1
answer
152
views
Transitivity of an invariant of finitely generated field extensions
For a finitely generated extension of fields $K/k$, let us define "$S_{K/k}$" to be the minimum of the degrees $[K:\ell]$ where $\ell/k$ ranges over the purely transcendental subextensions of $K$ with ...
- 2,017
3
votes
0
answers
235
views
Is there a converse of Abhyankar-Moh-Suzuki theorem?
The following question is the same as this question; I ask it here, since I have not got any comments there (I really apologize if I should have waited some more time before asking it here; it is just ...
- 2,837
1
vote
0
answers
153
views
Factorially closed, finitely generated $k$-sub-algebra of $k[X_1,X_2,X_3]$ , where $k$ is algebraically closed field of positive characteristic
Let $S$ be a sub-ring of a commutative ring with unity $R$. Then $S$ is called factorially closed in $R$ if $a,b \in R$ and $ab \in S\setminus \{0\} \implies a,b \in S$.
Let $k$ be an algebraically ...
user111524
2
votes
0
answers
447
views
Generalizations of Lüroth theorem
Let $k$ be an arbitrary field (I do not mind to take $k=\mathbb{C}$, if things are easier in this case).
A more general version of Lüroth theorem says that a field $L$, $k \subset L \subset k(x,y)$, ...
- 2,837
2
votes
0
answers
171
views
residue fields of smooth $\mathbf{Q}$-algebras
Let $A$ be a $\mathbf{Q}$-algebra. We say $A$ is "residually abelian", if there exists a maximal ideal $\mathfrak{m}$ of $A$ whose residue field $\kappa(\mathfrak{m})$ is a Kummer extension of an ...
user92332
2
votes
0
answers
256
views
Proof of this ‘lemme connu’
In the proof of Corollary 10.12 of Exposé I of SGA 1 something like the following is asserted as a ‘known lemma’:
Let $k$ be an infinite field and $B$ a finite $k$-algebra. If $B$ is not a product ...
- 1,217
3
votes
1
answer
3k
views
Tensor product of field extensions
Let $K$ be a field of characteristic 0 and $L$ a finite extension of $K$. Denote by $m$ the natural multiplication map from $L \otimes_K L$ to $L$. Denote by $I$ the kernel of the morphism $m$. Is $I$ ...
- 1,981
2
votes
1
answer
413
views
Involutions on $\mathbb{C}(x,y)$
How to find all involutions on $\mathbb{C}(x,y)$,
or at least all involutions $\delta$ on $\mathbb{C}(x,y)$ such that
$\delta(x)=x$?
Remarks:
(1) An involution on $\mathbb{C}[x,y]$ is either ...
- 2,837
5
votes
1
answer
923
views
Is a base-change of an integral domain by an extension of its base field without algebraic elements still a domain?
Let $K$ be a field, and let $L/K$ be an algebraically closed field extension (i.e. the only elements of $L$ that are algebraic over $K$ are already in $K$). Let $R$ be a $K$-algebra that is an ...
- 1,802
4
votes
0
answers
257
views
Formalism behind local characterizations of formal smoothness/unramifiedness/étaleness over algebraically closed fields
In synthetic differential geometry, one way to define formally étale morphisms is as follows.
Say $f:M\to N$ is formally étale if $TM\cong TN\times _N M$, in other words if the unique map from $TM$ ...
- 10.5k
2
votes
1
answer
569
views
Field extension and nilpotent element
Let $k$ be an algebraically closed field of characteristic $p>0$, $A$ a regular local noetherian $k$-algebra, $B$ another local noetherian $k$-algebra, $f:A \to B$ an injective ring homomorphism of ...
- 2,126
2
votes
2
answers
3k
views
Ideals generated by two elements in the polynomial ring of two variables over a field
Let $k$ be a field. For example, $k=\mathbb{Q}$ or $\mathbb{Z}/p$, $p$ prime.
Let $k[x,y]$ be the polynomial ring.
Let $f,g\in k[x,y]$.
Let the ideal $I=(f,g)$ be the ideal of $k[x,y]$ ...
- 1,990
6
votes
2
answers
893
views
Does regular field extension preserve regularity?
Let $k$ be an arbitrary field and suppose that $K/k$ is a regular field extension. Let $V$ be regular scheme of finite type over $\text{Spec }k$ (not necessarily smooth). Is it true that $\text{Spec }...
- 267
24
votes
2
answers
4k
views
To what extent can fields be classified?
The study of algebraic geometry usually begins with the choice of a base field $k$. In practice, this is usually one of the prime fields $\mathbb{Q}$ or $\mathbb{F}_p$, or topological completions and ...
- 3,761
20
votes
2
answers
683
views
non-isomorphic stably isomorphic fields
Q1: What is the simplest example of two non-isomorphic fields $L$ and $K$ of characteristic $0$ such that $L(x)\simeq K(x)$ (here $x$ is an indeterminate)?
Q2: Do we have a sufficient criterion for ...
- 7,609
2
votes
1
answer
186
views
Behaviour of Primes under Regular Coefficient Extensions
Let $K\hookrightarrow K'$ be a regular extension of fields, and $K[x_{1},\cdots,x_{n}]\hookrightarrow K'[x_{1},\cdots,x_{n}]$ the corresponding ring extension. Does every prime ideal of the first ring ...
- 125
14
votes
3
answers
2k
views
Intuition for Model Theoretic Proof of the Nullstellensatz
I recently read the model-theoretic proof of the Nullstellensatz using quantifier elimination (see www.msri.org/publications/books/Book39/files/marker.pdf). I'm convinced that the Nullstellensatz is ...
- 15.4k
46
votes
4
answers
8k
views
What does "linearly disjoint" mean for abstract field extensions?
All definitions I've seen for the statement "$E,F$ are linearly disjoint extensions of $k$" are only meaningful when $E,F$ are given as subfields of a larger field, say $K$. I am happy with the ...
- 11.2k
5
votes
3
answers
839
views
Is (relatively) algebraically closed stable under finite field extensions?
Let $F\subset F'$ be a field extension such that $F$ is algebraically closed inside $F'$, i.e. if $x\in F'$ is algebraic over $F$ then $x$ belongs to $F$ itself.
Let now $F\subset L$ be a finite field ...
- 51