Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

learn more… | top users | synonyms (1)

0
votes
0answers
17 views

Lower and upper bound of projective dimension

Let $R=K[x_1,x_2,\cdots , x_n]$ be a polynomial ring over field and $I$ square free monomial ideal of $R$. What is the lower and upper bound of $Pd^K(R/I)$? where $Pd^K(R/I)$ is projective dimension ...
1
vote
0answers
20 views

formally etale deformations of algebras

Let $A$ be a local artinian ring with residue field $k$, $S$ a $k$-algebra. Suppose there is a formally etale deformation $B$ of $S$ over $A$, i.e. a flat $A$-algebra $B$ such that $S\cong ...
3
votes
1answer
196 views

Are essentially smooth schemes noetherian?

Let $k$ be a field. I am unable to find a precise definition of essentially smooth $k$ schemes, but I will stick to this definition below, since this is exactly what I need: Definition: A $k$-scheme ...
1
vote
0answers
97 views

a problem about ideals of polynomial rings

Let $\{f_n\}_{n=1}^\infty\in \mathbb{C}[x,y]$ be a sequence of polynomials given by the following expressions $$ f_n(x,y)=\sum_{i=0}^{[\dfrac{n}{2}]}(-1)^{n-i}{{n-i}\choose i}x^{n-2i}y^i. $$ Let ...
1
vote
0answers
72 views

Chinese remainder theorem for discrete valuation rings in a field

Let $v_1,\dots,v_n:K\to \mathbb Z$ be different nontrivial additive discrete valuations on a field $K$ and $(R_i,m_i)$ the corresponding DVR for each $v_i$. 1- Does always there exist an element ...
2
votes
1answer
202 views

A generalization of miracle flatness theorem

I wonder if the miracle flatness theorem Generalizing miracle flatness (Matsumura 23.1) via finite Tor-dimension still works if the rings involved are not local (and the dimension condition is ...
-1
votes
0answers
41 views

Coefficients of the pull-backs of divisors by resolving morphism

Let $\varphi : X \dashrightarrow X$ be a rational map. By a theorem of Hironaka we can find a resolution of singularities $(\tilde{X}_\varphi,\pi)$ of $\varphi$, where $\tilde{X}_\varphi$ is a ...
1
vote
1answer
149 views

Dimension of Ext modules [on hold]

Let $(R,m)$ be a noetherian local ring, and $M$ and $N$ be two finitely generated $R$-module. Then is it true that $\dim \text{Ext}^k(M,N)\leq \dim M-k$? If not does the reversed inequality hold?
6
votes
0answers
238 views

What is an excellent algebraic space?

What does it mean to say that an algebraic space $S$ is excellent? One knows that excellence of a Noetherian ring is not a property that is etale local (that is, excellence cannot be checked over an ...
-1
votes
0answers
55 views

Degree of function field extension in several variables (degree of an endomorphism over an AV)

I just want to know which is the best way to calculate the degree of a function field extension like this $[\mathbb{F}_q(a,b,c):\mathbb{F}_q(x,y,z)]$ where $x\mapsto f(a,b,c)$ $y\mapsto g(a,b,c)$ ...
0
votes
0answers
89 views

Local-cohomology and Hom

Let $f:R\to S$ be a flat homomorphism of commutative Noetherian rings. "Flat Base Change Theorem", compares the local cohomology modules $H^i_a(M) \otimes_R S$ and $H^i_{aS} (M\otimes_R S)$ for $i ∈ ...
0
votes
0answers
178 views

Complete Intersection

Let $I$ be an ideal of the polynomial ring $P=K[x_{1},...,x_{n}]$ that is generated by degree two polynomials ${f_1,...,f_k}$. The zero set $\mathcal{Z}(I)$ is isomorphic to an affine space of ...
0
votes
0answers
31 views

Rees rings and a formula

Could someone help me to solve this question? Let $(R,\frak m)$ be a commutative, Noetherian, local, and complete domain. and let $R(I)=\bigoplus _{n ‎‎\geqslant 0} I^n t^n$ be be Rees ring of $R$ ...
2
votes
1answer
159 views

Automorphisms of complete local rings

Let $k$ be a field and $(A,m)$ be the completion of the local ring of a smooth point of a $k$-variety. Let $x_1,x_2\in m\backslash m^2$ be regular elements. I am interested in knowing if one can find ...
-4
votes
0answers
80 views

Showing two Rings are nor isomorphic [closed]

I have the two rings $R[x,y]/(x^2+y^2-1)$ and $R[x,y]/(x^2-y^2-1)$ and I am trying to show they are not isomorphic over the real numbers. I have been playing around and I got that each polynomial in ...
1
vote
0answers
34 views

Antisymmetrization of the Hochschild cocycle

Let $A$ be a commutative (unital, complex) algebra and let $\varphi$ be a $n+1$-linear functional on $A$ (we will call it cochain). Define ...
0
votes
0answers
62 views

Is there an explicit way to glue a stable map in projective space by writing down the family of maps explicitly in terms of polynomials?

Let $v_1:\mathbb{P}^1 \longrightarrow \mathbb{P}^2$ and $v_2:\mathbb{P}^1 \longrightarrow \mathbb{P}^2$ be two holomorphic maps of degree $d_1$ and $d_2$ respectively. Suppose they agree at some ...
1
vote
0answers
77 views

Condition for a finite group scheme to be étale [closed]

My question comes from the reading of Tate's paper $p$-divisible groups. In the last few pages there is an argument which gives as trivial the following fact. If we take a $p$-divisible group over a ...
0
votes
0answers
43 views

compute standard basis in local rings

Let$>'$ be the order in $k[t,x_1,\cdots,x_n]$ as follows: Each semigroup order > on monomial in the $x_i$ extends to a semigroup order >' on monomial in $t,x_1,\cdots,x_n$ in the following way. We ...
2
votes
3answers
167 views

ideals of polynomial ring with complex number coefficients

Let $\mathbb{C}[x,y]$ be the polynomial ring with variables $x,y$ and coefficient in $\mathbb{C}$. Let $f,g\in \mathbb{C}[x,y]$. Let $(f,g)$ be the ideal of $\mathbb{C}[x,y]$ generated by $f,g$. ...
4
votes
0answers
143 views

On a theorem of Hopkins-Neeman-Thomason on generators of thick subcategories of perfect complexes

Notations and background. Let $R$ be a commutative noetherian local ring and let $D(R)$ denote the derived category of the category of R-modules. A strictly perfect complex on $R$ is a bounded complex ...
0
votes
0answers
69 views

Length of quotients and relations between $\ell(\mathrm{coker}\varphi),\ell(R/\det\varphi)$

Let $R$ be domain(not necessary local) with maximal ideal $\mathfrak{p}$ and $d \in R, d \neq 0$. $(R/(d))_{\mathfrak{p}} = 0 \iff (d) \not\subset \mathfrak{p}$(?). And if $ (d) \subset \mathfrak{p}$ ...
2
votes
0answers
174 views

Algebraic closedness in field of fractions

If $A\subseteq B$ are affine domains over an algebraically closed field $k$ of characteristic zero, such that $Q(A)$ is algebraically closed in $Q(B)$, how can one show that $Q(A)$ is also ...
0
votes
1answer
128 views

irreducibility of general fiber

I would like to get a reference of the following fact. Let $A\subseteq B$ be affine domains over an algebraically closed field of characteristic zero. If $Q(A)$ is algebraically closed in $Q(B)$, ...
1
vote
0answers
77 views

Syzygies in integral domains

Let $f$ be a homogeneous irreducible element in a graded commutative Noetherian ring. What is the possible set of elements $f_1$ and $f_2$ such that $f=f_1g_1+ f_2g_2$? Even in very particular cases ...
-1
votes
0answers
38 views

Cohen-Macaulay rings and Normal rings [migrated]

is there an example that R is Cohen-Macaulay but not normal ring? what about the converse example?
0
votes
1answer
120 views

$\inf\{i\in \mathbb N \cup \{0\}\cup\infty\mid Ext^i_R(R/I,R)\neq 0\}=0 ?$

Let $R := k[x_1, \cdots, x_n, \cdots]/(x_1^1, \cdots , x^n_n, \cdots),$ where $k$ is a field. Set $I:=(x_1, \cdots, x_n, \cdots)$. the questions are: Is $\inf\{i\in \mathbb N \cup \{0\}\cup ...
3
votes
1answer
240 views

Can states on commutative Banach algebras be understood as probability measures?

Suppose $\mathcal{A}$ is a commutative Banach algebra (over $\mathbb{R}$) or commutative Banach *-algebra (over $\mathbb{C}$). Is there always a measurable space $(\Omega,\mathcal{F})$ such that there ...
2
votes
1answer
172 views

Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...
10
votes
1answer
737 views

What is the mathematical structure called if we replace commutative group by commutative monoid in the definition of linear space?

Could anyone tell me what the mathematical structure is called if we replace commutative group by commutative monoid in the definition of linear space? Also, are there any names for "commutative ...
1
vote
2answers
173 views

Surjectivity of trace map

Let $R$ be a closed integral domain with its fraction field $F$. Let $K$ be a finite separable extension field of $F$, and let $A$ be the integral closure of $R$ in $K$. It is well known that the ...
0
votes
0answers
76 views

$K_1(R)$ and splitting

Let $R$ be a commutative ring with unit. Under what conditions does the following exact sequence split? $1\to E(R)\to Gl(R)\to K_1(R)\to 1$.
1
vote
0answers
59 views

Why is the polynomial relating the invariants of a binary polyhedral group fixed by an overgroup?

Let $G$ be a finite subgroup of $\mathrm{SL}(2,\mathbb{C})$ and $N \triangleleft G$ a normal subgroup. Let $x, y, z$ be the fundamental invariants for the standard action of $N$ on $\mathbb{C}^2$, ...
0
votes
1answer
290 views

Reference for a lemma on étale maps

The Stacks Project has the following really nice Lemma concerning étale maps of rings: Let $A\rightarrow B$ be a finitely presented, étale morphism of rings. Then there exists a presentation $$ ...
1
vote
2answers
223 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
votes
0answers
23 views

Property of free submodules for a module over a PID [migrated]

This question was asked here and remains without solution. It's possible to produce an example of an integral domain $R$ and a free $R$-module $M$ with free submodules $L, L'$ such that $L+L'$ is ...
3
votes
2answers
285 views

Can there be a non-trivial epimorphism (of rings) from a field? [closed]

I apologize if this question is trivial, but I just cant figure it out. Let $K$ be a field and let $K\longrightarrow A$ be an epimorphism of rings. Is it necessary that $A=K$?
0
votes
0answers
77 views

Global dimension of graded Lie algebra

The rational global dimension of a graded algebra $A=(A_k)_{k\geq 0}$, with $A_0=\mathbb Q$, denoted here ${\rm gl}\dim A$ is defined to be the greatest integer $k$ (or $\infty$) such that ${\rm ...
1
vote
0answers
43 views

Minimal free resolution of sum of ideals

Let $S$ be the polynomial ring in $n$ variables, and let $I_1$ and $I_2$ be ideals in $S$. What can be said about the $\mathbb{Z}$-graded minimal free resolution of $I_1+ I_2$ in terms of the ...
2
votes
1answer
345 views

Does this $\mathbb{Z}_p$-algebra morphism induce a closed immersion on the generic fiber?

Let $R$ be a local and smooth $\mathbb{Z}_p$-algebra and $B$ an $R$-algebra of finite type which is an integral domain with $\operatorname{dim}B\leq \operatorname{dim}R$ such that $B/(p)$ is ...
-1
votes
1answer
99 views

behavior of multiplicity in exact sequences

Bruns-Herzog define multiplicity When the ring and module are not necessarily graded as $e(M)=e(gr_m(M))$, see B-H 4.6. I have two questions: Question1. Many concepts in commutative algebra have ...
2
votes
1answer
208 views

Are schemes which agree on open set and its complement equal? - w/ applications to initial ideals/tropical basis

I appreciate the comments so far and am modifying based on something closer to the problem I'm interested in. I started out with something far too general. This is probably easy, but I have been ...
4
votes
0answers
165 views

Does integral closure commute with pushforward

Suppose that $\pi : Y \to X$ is a proper birational morphism between normal varieties (schemes, whatever). Suppose that $I$ is an ideal sheaf on $Y$. One can form $\pi_* I$ and construct an ideal ...
0
votes
0answers
41 views

Projective dimension of modules over non-discrete valuation rings

Let $\mathbb{C}_p$ be $p$-adic completion of an algebraic closure of $\mathbb{Q}_p$, $\mathcal{O}_{\mathbb{C}_p}$ be its valuation ring and $\mathfrak{m}$ its maximal ideal. Does anyone know the ...
-4
votes
1answer
212 views

Integral closure of an ideal [closed]

Let $r^n+a_1r^{n-1}+\cdots+a_n=0$ be an equation of integral dependence of $r$ over an ideal $I$. Does exist a finitely generated ideal $J$, such that $J\subset I$ and $a_i\in J^i$ for all ...
2
votes
1answer
99 views

Families of ideals with a given initial ideal

Assume a fintie set of monomials is given. Is there a way to find the family of ideals whose initial ideal (say w.r.t revlex order) is generated by that finite set? I'll appreciate any partial answer, ...
4
votes
1answer
204 views

Reference request for division algebras, over $\mathbb{Q}_{p}((t))$

I was looking for a possible reference that would answer the following question, Let $\mathbb{Q}_{p}$ be the $p$-adic numbers and $\mathbb{Q}_{p}((t))$ be the field of Laurent polynomials over ...
3
votes
1answer
143 views

The complex of Kahler differentials and de Rham complex

Let $A$ be a unital commutative algebra (say over complex numbers). Consider the multiplication map $m:A \otimes A \to A$ and put $\Omega^1_u(A)=\ker m$ to be the space of universal differential ...
3
votes
0answers
73 views

Intersection numbers on blow ups of toric varieties

Suppose we have a smooth, complete toric varietiy $X_{\Sigma}$ of dimension $n$. Let $\sigma_k \in \Sigma(k)$ a smooth $k$-dimensional cone in $\Sigma$ and suppose we make the toric blow up at the ...
3
votes
1answer
88 views

A vector version of the Segre embedding: what is the kernel of the ring map?

TL;DR version. Given a commutative ring $\mathbf{k}$ and $n+m$ "generic" vectors $\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_n, \mathbf{y}_1, \mathbf{y}_2, \ldots, \mathbf{y}_m$ in $\mathbf{k}^k$ ...