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

learn more… | top users | synonyms (1)

0
votes
1answer
159 views

Theorem 2.5 in “Castelnuovo-Mumford regularity of products of ideals” by Conca & Herzog

Theorem 2.5 in Conca and Herzog, Castelnuovo-Mumford regularity of products of ideals http://arxiv.org/abs/math/0210065, says that if $R$ is a polynomial ring over a field $k$, $I$ a homogeneous ideal ...
4
votes
1answer
159 views

computing the nonnegative part of a $\mathbb{Z}$-graded ring

Let $R = \bigoplus_{n \in \mathbb{Z}} R_n$ be a $\mathbb{Z}$-graded commutative ring with nonnegative part $R^+ = \bigoplus_{n \geq 0} R_n$ and nonpositive part $R^- = \bigoplus_{n \geq 0} R_{-n}$. By ...
1
vote
1answer
140 views

Commutator with a generator of a free group

Let $F$ be a free group $\langle x_1,...x_m\rangle$. If $a\in F_2$ and $[a,x_1] \in F_n$ then $a\in F_{n-1}$. Here, $F_n$ is the $n$-th lower central series term with $F_2=[F:F]$. How can I prove ...
4
votes
2answers
763 views

When does the conormal bundle sequence split?

Let $X\subset \mathbb{P}^n$ be a smooth projective variety with ideal sheaf $I_X$. The conormal sequence is given by $$ 0\to I_X/I_X^2\to \Omega_{\mathbb{P}^n}|_X\to \Omega_{X}\to 0. $$ For which ...
2
votes
1answer
828 views

Automorphism theorem

Help me please to find reference for the proof of the following theorem: Theorem. Let $\theta$ be a Leibniz cocycle on the Leibniz algebra L with values in $V,$ and assume $\theta^{\bot}\cap ...
0
votes
1answer
225 views

Projective Modules/Algebras: decomposition of linear functions, and the rank formula

Let $A$ be a ring, $B$ a finite projective $A$-algebra, and $C$ a finite projective $B$-algebra. We can show that $C$ is also finite and projective when regarded as an $A$-algebra (by, for instance, ...
0
votes
0answers
79 views

Extension of homomorphism to place in quotient field, or of local ring to valuation ring in quotient field

Let be given a domain $R$ (that can be supposed to be integrally closed if this can help), and $\varphi$ an homomorphism of $R$ into a field $F$. $\varphi$ extends uniquely to a homomorphism ...
0
votes
1answer
100 views

Connected curve

Assume we have a normal,connected quasi projective scheme $Y:=X\backslash D$ where $X$ is a quasi projective scheme over field $k$, not necessarily char zero and also $D$ is a simple divisor, not ...
17
votes
3answers
2k views

Krull dimension <= transcendence degree?

Let $k$ be a field, and $A$ a $k$-domain, so that the fraction field of $A$ has transcendence degree $n$ over $k$. If $A$ is finitely-generated over $k$, then $A$ has Krull dimension $n$ (Theorem A ...
2
votes
0answers
58 views

variants of ramification groups - need terminology and sources

I've asked this question in several more elementary forums, and haven't get any answer. So I presume this is not so an elementary question. Let $L/K$ be a Galois extension, and $w$ be a valuation of ...
1
vote
1answer
139 views

Bounded dg algebra vs unbounded dg algebras

1)Let $Cd_{\geq 0}ga$ be the category of non negatively commutative cochain dg algebra over a field $\Bbbk$ of charachteristic zero. Let $w\: : \: Cd_{\geq 0}ga\to dg_{\geq 0}Mod$ be the forgethfull ...
3
votes
3answers
214 views

Injective map between two schemes

Assuem we have a finite surjective map between two irreducible, separated schemes, $f:X \rightarrow Y$, and for a dense open $U \subset Y$ and for any $y \in U$, $|X_y| =1$, then can we say $f$ is ...
2
votes
1answer
79 views

Any two bivariate algebraically dependent polynomials are always in the same ring generated by some bivariate polynomial?

If $f(x,y)$ and $g(x,y)$ are two algebraically dependent polynomials over some field $k$, is it true that there exists a bivariate polynomial $p(x,y)$ such that both $f(x,y)$ and $g(x,y)$ are in the ...
1
vote
0answers
104 views

Criterion for normality of a schematic image

Consider a projective flat morphism $$ f\colon X\to Y $$ between normal varieties. Let's say over the complex numbers. The geometric fibers of $f$ are all irreducible. I would like a criterion to ...
1
vote
1answer
136 views

intuitive interpretation of analytic spread

I am studying analytic spreads from Bruns-Herzog's book. The definition is clear but calculation of the analytic spread of an ideal is hard for me in practice. I wonder if it is hard for you too. ...
2
votes
1answer
77 views

On transforming pair of bivariate polynomials to pair of univariate polynomials by applying polynomial map

We know that a polynomial map $f(x,y), g(x,y)$ is polynomial automorphism if there exists polynomials $p(x,y)$ and $q(x,y)$ such that $f(p,q)$=x and $g(p,q)=y$. Jacobian conjecture tries to ...
1
vote
0answers
261 views

Is evaluating limits with dual numbers sound?

Let $D$ be the ring $\mathbb{C}[\epsilon]/\langle \epsilon^2\rangle$. Define the functions $dual : \mathbb{C} \to D$ and $stdPart : D \to \mathbb{C}$ by $dual(x) := x+0\cdot \epsilon$ and ...
1
vote
0answers
127 views

On Prüfer domains

Is there any Prüfer domain $R$ that has a prime ideal $P$ that is not finitely generated but $xP$ is subset of a finitely generated ideal $I$,for some $x$ in $R-P$ and $I$⊂$P$?
0
votes
1answer
152 views

Uniform Artin-Rees

The Artin-Rees lemma states that if $R$ is a Noetherian ring, $I \subseteq R$ is an ideal and $N \subseteq M$ are finitely generated $R$-modules, then there exists an integer $k$ such that for every ...
6
votes
1answer
83 views

Injective dimension over enveloping algebra

Let $k$ be a field, and let $A$ be a commutative noetherian $k$-algebra. If a finitely generated $A$-module $M$ has finite injective dimension over $A$, does this imply that $M\otimes_k M$ has finite ...
2
votes
1answer
222 views

A perfect domain that is not integrally closed?

Does there exist an integral domain $R$ of characteristic $p > 0$ that is perfect (i.e., $x \mapsto x^p$ is bijective on $R$) but not integrally closed in its field of fractions?
9
votes
2answers
1k views
5
votes
1answer
173 views

Purely noncommutative algebra-Morita equivalence

Morita equivalence of algebras certainly don't preserve commutativity: even if $A$ is commutative there are plenty of noncommutative algebras which are Morita equivalent with $A$---for example all ...
1
vote
1answer
105 views

what are the possible approximations for ideals

(Fix some local ring $(R,\mathfrak{m})$ over a field of zero characteristic.) Suppose an ideal $J$ is defined by some complicated formula/procedure. And there is no hope of computing it/or writing ...
0
votes
1answer
144 views

Codimension in zero and positive characteristic

Let $F_0,\ldots,F_m\in\mathbb{Z}[x_0,\ldots,x_n]$ be polynomials with integer coefficients and let $p$ be a prime integer. Consider the two ideals: $$I_0:=(F_0,\ldots,F_m)\subset ...
1
vote
0answers
109 views

Geometric (or intuitive) interpretation of Almost Gorenstein and Cohen-Macaulay rings

This question is related to This one: Darius Math in his good answer added that Cohen-Macaulay ring's singularities is nice. So I'd like to complete that question and ask: Let R be a local ...
5
votes
3answers
405 views

How to prove that two univariate polynomials are always algebraically dependent?

How to prove that two univariate polynomials(over any field) are always algebraically dependent? Also, how to prove the generalization of this question i.e if number of polynomials are more than ...
4
votes
1answer
713 views

(geometric/intuitive) interpretation of ext

Hi folkz, In my current work I have to deal a lot with ext-groups (of modules). I feel kind of familar with the formalism, but I don't have a feeling about the meaning of ext. Is there a ...
7
votes
0answers
312 views

What is the etale fundamental group of Spec Z((x))?

I know the etale fundamental group of $\mathbb{Z}$ is trivial. For algebraically closed fields $K$, the etale fundamental group of $K((x))$ is $\hat{\mathbb{Z}}$, since all covers in this case are ...
7
votes
1answer
449 views

geometric interpretation and differences of Gorenstein rings, Complete intersections and regular rings

Let $R$ be a local Noetherian ring. What is the geometric interpretation of: 1- Gorenstein rings 2- Complete intersections 3- Regular rings? and how can I realize differences by geometric ...
0
votes
0answers
78 views

The Euler characteristic of Hilbert series

The Hilbert series of a graded vector space $V=\bigoplus_{n\mathbb Z}V_n$ is the (ordinary) generating function of the dimensions of its homogeneous components, $h_V(t)=\sum_{n\in\mathbb Z}t^n\dim ...
0
votes
1answer
59 views

Homologue of the Inertia group and of the Frobenius theorem for the group of values of a valuation

As I said previously, I have some problems in the theory of valuations and places. Let L/K be a finite (say) Galois extension, F a place of L, and v a valuation of L. I denote by l and k the residue ...
3
votes
1answer
179 views

for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?

Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital. Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...
24
votes
2answers
2k views

Ring-theoretic characterization of open affines?

Background Recall that, given two commutative rings $A$ and $B$, the set of morphisms of rings $A\to B$ is in bijection with the set of morphisms of schemes $\mathrm{Spec}(B)\to\mathrm{Spec}(A)$. ...
0
votes
1answer
118 views

Valuations and places - decomposition and inertia group

I feel very uncomfortable with some aspects of the theory of valuations, places, and valuation rings. Here is one of my problems : Assume that L/K is a finite Galois extension of fields, and that F is ...
4
votes
1answer
111 views

Minimal length of quotient by parameter ideals

Consider a commutative noetherian local ring $R$ of dimension $d$ and define $$c_R\colon=\min_{(x_1,\ldots,x_d)} \{\mathrm{length}\ R/(x_1,\ldots,x_d)R\mid (x_1,\ldots,x_d)\ \mathrm{is\ a\ system\ of ...
4
votes
1answer
181 views

Canonical presentation of pro-modules over pro-rings

Let $A = (\dotsc \twoheadrightarrow A_2 \twoheadrightarrow A_1 \twoheadrightarrow A_0)$ be a (commutative) pro-ring with surjective transition maps. Consider the category $\mathcal{M} := \varprojlim_i ...
7
votes
1answer
140 views

Is there a ring which is not Hermite but is coherent?

Call a commutative unital ring $R$ Hermite if for all $m, n\in \mathbb{N}$ with $m<n$, and all $f\in R^{m\times n}$ such that transpose($f$) is left invertible (with a matrix with entries from ...
4
votes
1answer
124 views

Compute adjugate matrix over commutative ring

Let $A$ be a $n\times n$ matrix over a commutative ring. I'm looking for a good method to compute its adjugate matrix. My current approach is to use the Cayley-Hamilton theorem: $$\text{adj}(A) = ...
2
votes
2answers
228 views

Irreducibility after substitution

I would like to show that when $f(x,y)$ is irreducible over $\mathbb{C}[x,y]$ then $f(x^2,y)$ is irreducible over $\mathbb{C}[x,y]$. I know that this is not true in general, for example, $f(x,y) = ...
2
votes
1answer
124 views

Extending descent data from the special fiber of an extension of DVR's

My question is about the proof of Lemma D.3 on p. 147 of the book "Neron models" by Bosch, Lutkebohmert, and Raynaud. Namely, towards the end of that proof there is the sentence "That $\varphi$ ...
5
votes
0answers
130 views

Link between abelian groups and endomorphisms

When teaching Algebra, I try to share my fascination about two apparently unrelated questions, which turn out to involve the same theory: classifying the finitely generated abelian groups, ...
0
votes
1answer
117 views

Does the going-up theorem hold between flat algebras?

Let $R$ be a commutative Noetherian ring with unit and $S$ a flat $R$-algebra. Does the going-up theorem hold between $R$ and $S$?
15
votes
5answers
2k views

Why does the (S2) property of a ring correspond to the Hartogs phenomenon?

Hartogs Theorem says every function whose undefined locus is of codim 2 can be extend to the whole domain. I saw people saying this corresponds to the (S2) property of a ring. But I can't see why this ...
3
votes
1answer
226 views

Base-change of schemes over number rings

Let $S$ be a finite set of maximal ideals in $ O_K$, where $O_K$ is the ring of integers of some number field $K$. Define $A= O_K[S^{-1}]$. Let $X$ be an arbitrary $A$-scheme. Consider the scheme ...
1
vote
1answer
108 views

Regular rings and formally smooth algebras

Let $A\rightarrow B$ be a commutative $A$-algebra. If $A$ is a field and $B$ Noetherian and formally smooth over $A$, then it is known that $B$ must be a regular ring. Is there a partial converse of ...
1
vote
1answer
107 views

Given a locally nilpotent derivation over a field of characteristic 0 and a local slice, how is the ring homomorphism below defined?

Let $K$ be a field of characteristic 0 and $A$ a $K$-domain. Let $D:A\longrightarrow A$ be a locally nilpotent K-derivation, that is, $D(k)=0$ for all $k\in K$, $D(ab)=(Da)b+a(Db)$ for all $a,b\in A$, ...
1
vote
0answers
218 views

Affine communication lemma and finite limits in the category of rings

Let $X$ be a scheme and $\mathrm{Spec}(B) = V \subseteq X$ be an open affine subset. When using the affine communication lemma (c.f. Theorem 6.3.2, Vakil's notes, Foundations of Algebraic Geometry), ...
3
votes
1answer
227 views

A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...
0
votes
1answer
224 views

When is a power of an indeterminate in an ideal with 2 generators?

If I have an ideal ${\frak a} \colon= (f(X,S), g(X,S))$ of height $2$ in ${\Bbb C}[X, S]$, is it easy to know what power of $S$ is contained in $\frak a$? For example, what is the minimal number $m$? ...