Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
363 views

Is the completed tensor product (over a complete dvr) of two reduced complete Noetherian local rings again reduced?

To be more specific, Let $\mathcal{O}$ be a finite extension of $\mathbb{Z}_{p}$. Let $A=\mathcal{O}[[X_{1},\ldots, X_{n}]]/\left( f_{1},\ldots,f_{r}\right) $ and $B=\mathcal{O}[[Y_{1},\ldots, Y_{m}]]/...
1 vote
0 answers
125 views

galois deformation ring with type is union of irreducible components

Notation: $K$ finite extension of $\mathbb{Q}_p$, $G_K$ absolute Galois group of $K$, $E$ is finite extension of $\mathbb{Q}_p$ (coefficient field), $O_E$ is ring of integer in $E$. In this paper of ...
0 votes
0 answers
82 views

How geometry changes up to Hermitian inner product on Line bundle (Kodaira embedding)

Riemann metric $g \colon= \Sigma g_{ij} dx_i \otimes dx_j$ on a Kähler manifold $M$ will define the length of a line on $M$, i.e. intrinsic geometry. The line bundle $L$ on $M$ is equipped with a ...
0 votes
1 answer
149 views

Power series rings and the formal generic fibre

Let $S = K[[S_1,\ldots,S_n]]$ and consider $d$ elements \begin{equation*} f_1,\ldots,f_d \in S[[X_1,\ldots,X_d]] \end{equation*} and the prime ideal ${\frak P} \colon\!= (f_1,\ldots,f_d)$ generated ...
1 vote
0 answers
138 views

Power series ring $R[[X_1,\ldots,X_d]]$ over a domain $R$

Let $R$ be a domain and \begin{align*} T \,\colon= R[[X_1,\ldots,X_d]]. \end{align*} Suppose that we have $d$ elements $f_1,\ldots,f_d \in T$ and let us consider an ideal $J$ of $T$ such that $(f_1,\...
0 votes
0 answers
116 views

Gauss lemma for a complete Noetherian domain

Suppose that $R$ is a Noetherian complete domain over a field $K$. Suppose that a monic polynomial $f(X) \in R[X]$ (i.e., the highest degree $X^e$ in $f$ has the coefficient $1$), satisfies the ...
1 vote
0 answers
119 views

On the exponent of a certain matrix $A$ in characteristic $p > 0$

Let $A$ be a square matrix in characteristic $p > 0$ with both column and row having length $(1 + p^0 + p + \cdots + p^i)$, where $i \geq 0$. Suppose that further the $(m,n)$-component $a_{m,n}$ ...
2 votes
0 answers
281 views

Galois cohomology of cyclotomic extension

Let $K$ be a complete discrete valuation ring with algebraically closed residue field $F$ of characteristic $p > 0$. Suppose ${\Bbb Q}_p \subset K$ and the absolute ramification index v$_{\pi_K}(p) ...