All Questions
Tagged with galois-representations ac.commutative-algebra
45 questions
4
votes
0
answers
116
views
The criterion for dimensional conjecture for universal Galois deformation rings
I’m writing to ask a question about Mazur’s dimensional conjecture in Lemma 7.5 of the paper [Galatius S, Venkatesh A. Derived Galois deformation rings. Advances in Mathematics. 2018 Mar 17;327:470-...
- 863
3
votes
1
answer
206
views
Discrepancy between $\dim H^2(G, \mathrm{ad}(\bar \rho))$ and the number of relations in a minimal presentation of the universal deformation ring $R$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\ad{ad}\DeclareMathOperator\gen{gen}$Let $p$ be a prime and $G$ be a profinite group such that the pro-$p$ completion of every open subgroup is ...
- 863
3
votes
0
answers
156
views
Taylor-Wiles systems for higher dimensional deformation rings
Let $R$ be a deformation ring and $M$ be a finitely generated $R$-module.
A strategy for proving the theorems $R=T$ is to associate with $(R,M)$ a Taylor-Wiles system denoted $(R_{Q},M_{Q})$. Here I'm ...
- 1,270
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}]]/...
- 21
4
votes
1
answer
202
views
On presentations of universal rings of deformations
Let $k$ be a finite field of characteristic $p$, and $R$ a complete local noetherian algebra with residue field $k$. It is well known that $R$ has a natural structure of an algebra over the ring Witt ...
- 541
5
votes
0
answers
197
views
On the pro-category of finite local artinian algebras
Let $\mathbb{F}$ be a finite field, and $W(\mathbb{F})$ its associated ring of Witt's vectors. On page 6 of the following lecture notes Deformations of Galois Representations, the category $\mathfrak{...
- 541
3
votes
0
answers
309
views
Eichler orders in a certain quaternion algebra
Let us consider a totally real number field $K$ such that $[K \colon {\Bbb Q}] = {\mathrm{odd}}$. We shall consider the quaternion algebra $D$ over $K$ such that $D$ splits everywhere at finite places ...
- 781
9
votes
0
answers
441
views
Commutative algebra details on patching when proving $R = \mathbb{T}$ theorem (Calegari-Geraghty Paper)
I have originally posted this on math.SE and been suggested to post this here. I'm merely an undergraduate student and it is the first time for me to ask questions here. I'm sincerely sorry if these ...
- 639
0
votes
0
answers
154
views
Determinant of a special matrix in characteristic $p$
Let $K$ be a field of characteristic $p > 0$. Choose $p^i$ numbers of elements $c_1,\ldots,c_{p^i} \in K$ and consider the determinant $D$ of the following matrix$\colon$
\begin{pmatrix}\label{...
- 563
3
votes
2
answers
338
views
Isomorphism between finite algebras over ${\Bbb Z}_p$
Let $\pi \colon R \twoheadrightarrow {\Bbb T}$ be a surjective ring homomorphism between finite algebras over ${\Bbb Z}_p$. Further, we suppose the following three conditions$\colon$
$R$ is a ...
- 563
2
votes
0
answers
100
views
On a certain radical of the formal power series ring $K[[X_1,X_2,\ldots,X_{\infty}]]$
Let $K$ be a field of characteristic $p > 2$ and $A_{\infty} \colon= K[[X_1,X_2,\ldots,X_{\infty}]]$ be an infinitely-many-variable formal power series ring over $K$ (the symbol $X_{\infty}$ is to ...
- 563
1
vote
1
answer
94
views
Intersection of a certain linear ideals of $K[[X_1,\ldots,X_{np}]]$ for ${\mathrm{ch}}(K) = p > 0$
Suppose ${\mathrm{ch}}(K) = p > 0$ and we consider the formal power series ring $K[[X_1,\ldots,X_{np}]]$ over $K$ in $np$ variables $X_1,\ldots, X_{np}$. Let $\Lambda$ be the set defined as follows$...
- 563
1
vote
1
answer
224
views
Power series ring $\Theta[[X_1,\ldots,X_d]]$ and prime ideals
Let $\Theta$ be a domain. We shall choose $d$ elements $\theta_1,\ldots,\theta_d \in \Theta$ such that any chosen $j$ elements $\theta_{i_1},\ldots,\theta_{i_j}$ form a prime ideal $(\theta_{i_1},\...
- 563
0
votes
0
answers
287
views
On the product in the power series ring
Let $A_n \colon= K[[X_1,\ldots,X_n,Y_1,\ldots,Y_n]]$ be a power series ring over a field $K$ in $2n$ variables and ${\frak m}_{A_n}$ be the unique maximal ideal of $A_n$.
Suppose we have two ...
- 563
0
votes
1
answer
178
views
Ideal in ring of power series
Let $K$ be a field of characteristic $p$ and $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring over $K$ such that $n, p \geq 3$.
Consider the ideal $I$ defined by
\begin{...
- 563
0
votes
2
answers
244
views
Power series ring and monomials
Let $A_n \colon= K[[X_1,\ldots,X_n]]$ be a formal power series ring over a field $K$ of characterisc $p > 0$ in $n$ variables.
For a given positive number $\epsilon > 0$ we call a monomial $X_{...
- 563
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 ...
- 563
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,\...
- 563
2
votes
1
answer
251
views
Étale fibration for $K[[X_1,...,X_n]]$
Let us consider a formal power series ring $A_n \colon= K[[X_1,\ldots,X_n]]$ with $0 \ll n < \infty$ and we shall consider a prime ideal ${\frak P}$ of $A_n$ such that $1 < {\mathrm{ht}}({\frak ...
- 563
1
vote
0
answers
309
views
Primes of the power series rings
Let $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring. By setting $X_n \mapsto 0$, we obtain a natural surjection
\begin{equation*}
\psi_{n,n-1} \colon A_n \...
- 563
2
votes
1
answer
158
views
Steinberg components of local deformation rings
Let $F=\mathbb Q_l$ and $E$ be a finite extension of $\mathbb Q_p$ with residue field $k \cong O_E/m_E$ ($p \neq l$). Let $\bar r: \Gamma_F=Gal(\bar F/F) \to GL_2(k)$ be a continuous representation. ...
- 453
2
votes
0
answers
163
views
Prime ideals being finitely-generated implies coherence?
Let $R$ be a non-noetherian local domain. Suppose that the following two conditions hold for $R$$\colon$
$(*)$$~\quad$An arbitrary prime ideal ${\frak P}$ of $R$ such that ${\mathrm{ht}}({\frak P}) &...
- 563
2
votes
1
answer
329
views
Heights of contracted ideals
Let $R$ be a non-noetherian domain. $S$ be a multiplicatively closed subset of $R$. Let $S^{-1}R$ be a localisation of $R$, where all element of $S$ is invertible. Suppose we have an ideal $I$ of $R$. ...
- 563
12
votes
3
answers
790
views
$K[[X_1,...]]$ is a UFD (Nishimura's Theorem)
Let us define the infinitely-many-variable formal power series ring
$$
K[[X_1,\ldots]] \colon= \underset{m \geq 1}{\varprojlim}\,K[[X_1,\ldots,X_m]].
$$
$K[[X_1,\ldots]]$ is known to be a UFD by a ...
- 563
0
votes
1
answer
343
views
Relative Bertini Theorem
Let
$A \colon= {\Bbb C}[S_1,\ldots,S_n]$ with $1 \leq n < \infty$
$B \colon= A[X_1,\ldots,X_d]$ with $2 \leq d < \infty$.
$O \colon= (0,\ldots,0)$ be the origin of ${\mathrm{Spec}}\,B$.
...
- 563
0
votes
1
answer
353
views
Strange subscheme in ${\mathrm{Spec}} R \times {\Bbb A}^1_{\Bbb C}$
Let ${\Bbb C}[X_1,\ldots,X_n]$ be a $n$-variable polynomial ring over a complex number field ${\Bbb C}$. For its maximal ideal $(X_1,\ldots,X_n)$, we define the geometric regular local ring as
$R \...
- 563
3
votes
1
answer
776
views
On the coherence of a Néron-ring
Let $A:= \underset{\lambda \in \Lambda}{\varinjlim} \,A_{\lambda}$ be an inductive limit of geometric regular local ring $(A_{\lambda}, {\frak m}_{\lambda})$, whose transition map $\phi_{\mu\lambda} \...
- 563
0
votes
0
answers
100
views
Solutions of the linear equation from K[[X_1,X_2,X_3]] to K[[X_1,X_2]]
Let $A_3 := K[[X_1,X_2,X_3]]$ be a three-variable formal power series ring over a field $K$. We consider a linear equation
$(\sharp) \phantom{aa} a_1(X_1,X_2,X_3)Y_1 + \ldots + a_n(X_1,X_2,X_3)Y_n = ...
- 563
1
vote
0
answers
550
views
An infinitely-many-variable formal power series ring ${\Bbb F}_p[[X_1,\ldots]]$
We shall define a infinitely-many-variable formal power series ring ${\Bbb F}_p[[X_1,\ldots]]$ as follows$\colon$
${\Bbb F}_p[[X_1,\ldots]]\colon= \underset{n \geq 1}{\varprojlim}\, {\Bbb F}_p[[X_1,\...
- 563
1
vote
0
answers
215
views
Non-noetherian coherent local rings
Let $A$ be a non-neotherian UFD such that $A$ satisfies the following condition $(\sharp)$$\colon$
$(\sharp)$ For any prime ideal ${\frak P}$ of $A$ such that ${\mathrm{ht}}({\frak P}) < \infty$, ...
- 781
-3
votes
1
answer
963
views
On the maximal ideal m of the formal power series ring [closed]
Let $A \colon= K[[X_1,X_2,\ldots,X_{\infty}]]$ be the formal power series ring with infinitely many variables over a field $K$. We can represent it also by the following manner$\colon$
\begin{equation*...
- 781
3
votes
0
answers
297
views
Flatness of R[X]/I over R
In the famous paper Simple flat extensions, Journal of Algebra Volume 16, Issue 1, September 1970, p. 105-107, Wolmer V. Vasconcelos proves the following
Theorem (Vasconcelos). For a noetherian ...
- 781
0
votes
1
answer
131
views
Radical of modules [closed]
Let $R$ be a local ring with the unique maximal ideal ${\frak m}_R$ and $M$ be a $R$-module. Define
$I(M) \colon= \cap ~({\mathrm{all~ proper~ maximal ~submodules~ of}}~M)$,
where proper means ...
- 781
0
votes
2
answers
2k
views
Tensor products of two domains
Let $R$ be an integral noetherian regular local ring. Let $S$ be a noetherian integral domain such that $S/R$ is finite.
That is, $R \subset S$ and the surjection $R^{\oplus n} \twoheadrightarrow S$ ...
- 781
1
vote
2
answers
471
views
Prime ideal of $A[X_1,...,X_d]$
Let $A$ be a UFD domain, i.e. integral and for any height one prime
${\frak p}$ of $A$, we have ${\frak p} = (u_{\frak p})$ for some $u_{\frak p} \in A$.
Once and for all, we fix the algebraic ...
- 781
3
votes
0
answers
213
views
Galois action on local deformation ring
Let ${\Bbb Q}_p$ be a local field. For a prime $q \not= p$, we consider an irreducible residual Galois representation
$\overline{\rho} \colon {\mathrm{Gal}}(\overline{{\Bbb Q}}_p/{{\Bbb Q}_p}) \to \...
- 781
1
vote
0
answers
179
views
Spivakovski-Popescu-Neron desingularisation
For $A \colon= {\Bbb F}_p[[X_1,...,X_d]]$, by generalising Popescu-Neron's method, Spivakovski proved that $A$ is written by smooth sub-algebras. That is,
$A \cong \underset{\lambda \in \Lambda}{\...
- 781
2
votes
0
answers
658
views
Inverse limit of Noetherian rings
Let $R_i$ be a noetherian regular local ring of Krull dimension being finite. Suppose we are given a surjective homomorphism $\phi_{i,j} \colon R_{j} \twoheadrightarrow R_i$ for each $i,j$ with $j >...
- 781
1
vote
1
answer
196
views
Complete subring of F_p[[X]]
Pointed out on famous disbelief, I know now that there is an embedding
$\iota_n \colon {\Bbb F}_p[[T_1,...,T_n]] \hookrightarrow {\Bbb F}_p[[X,Y]]$
for any $n \leq \infty$. Then I would like to ask ...
- 781
1
vote
0
answers
166
views
Popescu-Neron Desingularization for K[[T_1,...,T_∞]]
Let $K[[T_1,...,T_n]]$ be a finitely many variables formal power series ring over a field $K$.
Dorin Popescu proved that there are smooth algebras $A_{\lambda}$'s which are of finite type over $K$ ...
- 781
1
vote
0
answers
76
views
Coherence of subrings of K[[X,Y]]
Let $K[[X,Y]]$ be a two-variables formal power series ring over a field $K$. Consider a sub-ring $\iota \colon A \subset K[[X,Y]]$.
Q. Is A coherent? $\quad$ Or is it automatic that $\iota$ is ...
- 781
1
vote
0
answers
485
views
On the coherence of formal power series ring
Let $A = {\Bbb F}_p[[X_1,X_2,...]]$
be the ring of formal power series with infinitely many variables over the finite field ${\Bbb F}_p.$
$A$ consists of such formal sum elements as $\sum c_{e_1,.....
- 781
3
votes
0
answers
391
views
Are prime ideals of finite height in the powers series ring in infinitely variables finitely generated?
Let $A:= {\mathbb F}_p[[X_1,...,X_∞]]$ be the infinitely many variables formal power series ring over ${\mathbb F}_p$, which is UFD.
Consider an arbitrary prime ideal $P$ of $A$ such that the height ...
- 781
1
vote
0
answers
201
views
Number of minimal primes for UFD
Let $R$ be a UFD which is NOT noetherian. It is well-known that $R$
is a Krull ring. Let $I$ be an ideal of $R$ such that the height of $I$
is $d$ which is finite.
Question. Is the number of minimal ...
- 781
1
vote
0
answers
148
views
Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$
Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$.
Definition(Super-Gorenstein ideal): $...
- 87