All Questions
62
questions
17
votes
1
answer
722
views
Injective ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$
Is there an injective $\mathbb{Z}_p$-ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$?
- 2,113
3
votes
1
answer
139
views
Formal étaleness along Henselian thickenings
Assume that $f:X\to Y$ is an étale map between smooth varieties and $(S,I)$ is a Henselian pair. Let $\alpha\in X(S/I)$. Can we say that the lifts of $\alpha$ to $X(S)$ are in bijection with the lifts ...
- 65
1
vote
1
answer
202
views
Finitely generated $\mathbb{Z}$-algebra embeds into unramified $p$-adic ring
Let $R$ be a finitely generated ring, that is, a $\mathbb{Z}$-algebra of finite type. Assume that $\operatorname{char}(R) = 0$. It follows from Noether's normalization lemma that $R$ can be embedded ...
- 323
2
votes
0
answers
163
views
A direct proof that every projectivity between parallel lines is affine
Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms:
Any distinct points $x,y\...
- 41.1k
4
votes
2
answers
394
views
$p$-divisibility of Picard groups
Let $p$ be a prime number and let $k$ be a field with $char(k)\neq p$ such that all finite extensions have degree coprime to $p$. (For example, we can take $k=\mathbb{R}$ and $p\neq 2$ or let $k$ the ...
- 337
8
votes
1
answer
329
views
Alterations and smooth complete intersections
Let $k$ be an algebraically closed field, and $X$ a projective variety over $k$. Let $i : X\subset \mathbf{P}^d_k$ be a closed immersion into a projective space of high enough dimension.
Is there a ...
user501361
2
votes
1
answer
179
views
Cohen-Macaulay fiber products
Let $R$ be a regular local ring, $X$ and $Y$ smooth $R$-schemes, $T\to Y$ a regular closed immersion over $R$ with $T$ smooth over $R$, and $f: X\to Y$ an $R$-morphism.
Is the fiber product scheme $...
user501361
2
votes
1
answer
242
views
Images of smooth schemes under lci morphisms
Let $S$ be a Noetherian scheme, $f : X\to S$ a smooth quasi-projective morphism, $g : X\to Y$ a morphism of finite type, and $h : Y\to S$ a smooth projective morphism with $h\circ g =f$.
Can we say ...
user505967
3
votes
1
answer
319
views
Finite subschemes of projective bundles
$\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\Proj{\mathbf{Proj}}$Let $S$ be a Noetherian scheme and $X$ finite $S$-scheme. The finite morphism $X \to S$ is projective in the sense of the ...
user505967
2
votes
1
answer
257
views
Flat scheme-theoretic closure
Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$.
Let $C_R$ be a flat ...
user501361
8
votes
1
answer
329
views
On actions of finite groups on adic spaces
Let $K$ be an algebraically closed complete non-archimedean field and consider the unit ball $\mathbb{B}^{1}_{K}=Sp(K\langle t\rangle)$. We have an action of $\mathbb{Z}/2\mathbb{Z}$ on $\mathbb{B}^{1}...
5
votes
1
answer
351
views
On the noetherianess of some subalgebras of an affinoid algebra
$\DeclareMathOperator\Sp{Sp}$Let $X=\Sp(A)$ be a connected smooth affinoid rigid space over a discretely valued non-archimedean field $K$. Let $\mathcal{R}$ be a valuation ring of $K$, and fix a ...
3
votes
1
answer
144
views
Bounded torsion of quotients of affine formal models
$\DeclareMathOperator\Sp{Sp}$Let $X=\Sp(A)$ be a connected smooth affinoid rigid space over a discretely valued non-archimedean field $K$. Let $\mathcal{R}$ be a valuation ring of $K$, and fix a ...
6
votes
1
answer
374
views
On the Artin-Rees Lemma for non-commutative rings
Consider a commutative noetherian ring $A$ with an ideal $I\subset A$. The Artin-Rees lemma implies that for f.g. modules $N\subset M$, the $I$-adic topology on $N$ agrees with the subspace topology ...
2
votes
0
answers
161
views
Theorem on formal functions when the initial data is a proper map of formal schemes
Let $\pi: X \to S:=\mathrm{Spf}\text{ } A$ be a proper morphism of $\mathbb{Z}_p$-admissible formal schemes and $\mathcal{F}$ be a coherent sheaf on $X$.
Set $S_0=\{x\}$ be a closed point of $S$ and $...
- 1,046