Tagged Questions

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

learn more… | top users | synonyms (1)

0
votes
2answers
147 views

Computing the nonsingular projective model of a plane curve

Is there an implemented algorithm available in standard software systems (Sage, Magma, Macaulay, etc.) that will compute the nonsingular projective model of a plane curve over $\mathbb Q$?
1
vote
0answers
111 views

Questions on prime integral ideal congruences

Suppose that we are given a fixed pair $a_1, a_2$ of non-zero irrational algebraic integers in some number field $K$ which are independent over $\mathbb{Q}$. Suppose that $\mathcal{P}$ is a prime ...
0
votes
1answer
149 views

A condition on isolated singularity

Suppose $F: {\mathbb C}^N \to {\mathbb C}$ defines a singularity at the origin (for simplicity one can assume that $F$ is a quasi-homogeneous polynomial). Suppose it is nondegenerate, i.e., $dF(z) = ...
-2
votes
0answers
31 views

Associated primes of generic deformation [closed]

Let $I \subset S$ be a monomial ideal and $I_{\epsilon}$ it's generic deformation. Is it true that Ass $S/I$ = Ass $S/I_{\epsilon}$ ?
1
vote
0answers
68 views

Does this condition imply a polynomial is a product of linear factors

Let $\Lambda$ be a lattice (i.e. $\Lambda \simeq \mathbb{Z}^n$) with a positive subcone $\Lambda^+$. Let $H: \Lambda^+ \rightarrow \mathbb{C}$ be a function such that $\forall\mu \in \Lambda^+$, ...
4
votes
0answers
139 views

How to check whether a scheme of finite type over Spec Z is regular or not [duplicate]

Let $f_1, f_2, \ldots f_k$ be a set of polynomials in $n$ variables, with integer coefficients. These define an affine scheme $X$ of finite type over $Spec \mathbb{Z}$. (We could also consider ...
1
vote
0answers
42 views

Name for generalization of bivariate weighted-homogeneous polynomials

A polynomial $f = \sum_j c_j X^{\alpha_j}Y^{\beta_j}\in\mathbb K[X,Y]$ is said weighted-homogeneous if there exist $p$, $q$ and $d$ (where $p$ and $q$ are not both $0$) such that ...
1
vote
0answers
37 views

Bass' stable range for Bezout rings

As discussed in this MO topic, every principal ideal domain has stable rank at most 2. The proof in the accepted answer uses the fact that PID is a unique factorization domain, but there can be no ...
3
votes
0answers
63 views

Is there some algorithm for calculating the least number of generators of an ideal in a polynomial ring?

My question comes from the context of algebraic geometry. By Krull's principal ideal theorem, the number of generators of the defining ideal of a variety gives an upper bound of its codimension. ...
0
votes
0answers
52 views

Isomorphy of finite $R$-algebras under special conditions

Let $R=k[x_1, \ldots, x_n]$ be the polynomial ring over a field of characteristic zero. Let $R \subseteq S$ be a finite ring extension i.e. $S$ is finitely generated as $R$-module (free if that helps) ...
0
votes
0answers
97 views

Checking smoothness of complex schemes by reduction to characteristic prime

Let $X=V(F_1,\ldots,F_n)$ be a closed subscheme of the complex projective space $\mathbb{P}^N_{\mathbb{C}}$ defined by homogeneous polynomials $F_i\in\mathbb{Z}[x_0,\ldots,x_N]$ with integer ...
1
vote
0answers
108 views

Are there good properties of the divided power completion map?

Let $Y \to X$ be a closed immersion of smooth schemes over, say, the ${\rm Spec}(\mathbb{Z}_p)$. The completion map $$X_{/Y}\to X$$ is an ind-closed immersion (sometimes called pseudo-closed ...
0
votes
0answers
134 views

Is this essentially of finite type algebra actually of finite type?

Let $R$ be a discrete valuation ring with a uniformizer $\pi$ and $(A, \mathfrak{m}_A)$ a local $R$-algebra that is essentially of finite type (i.e., is a localization of a finite type $R$-algebra), ...
1
vote
3answers
208 views

Under the condition specified below, is $\mathcal{O}_X(X-V(I))=R$, where $X=\mathrm{Spec}R$?

Is it true that given a noetherian normal domain $R$ and an ideal $I$ of height $\geq 2$ we have $\mathcal{O}_X(X-V(I))=R$, where $X=\mathrm{Spec}R$?
3
votes
1answer
98 views

“Unramified” extension of DVRs and permanence of excellence

Recall that a discrete valuation ring $R$ is excellent if the extension $\widehat{K}/K$ is separable, where $\widehat{R}$ is the completion of $R$ (with respect to the maximal ideal), $K = ...
6
votes
3answers
473 views

Is this formally étale morphism of schemes an isomorphism?

In the last days I came to consider the following question which I'd be happy to see answered by the affirmative: if $f:X\to S$ is a morphism of schemes which is formally étale, quasicompact, ...
1
vote
1answer
86 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$, ...
0
votes
0answers
39 views

Subextensions of separable field extensions [migrated]

Let $F/L/K$ be a tower of (possibly nonalgebraic) field extensions. If $F/K$ is separable, does it follow that $F/L$ is also separable? I recall that a field extension $a/b$ is separable if for any ...
1
vote
1answer
166 views

Self-similarity for simple algebraic structures [closed]

I'm doing this thread because I have some ideas about how to define self-similarity in algebra, but I don't know if this is known at all. Any critics, comments and references are more than welcomed. ...
7
votes
1answer
449 views

Are there irreducible ideals that are not primary in $K[X_1,\dots,X_n,\dots]$?

I can give examples of non-noetherian rings having irreducible ideals that are not primary. Among them there are idealizations and valuation domains. But the first non-noetherian ring we are thinking ...
9
votes
1answer
233 views

How do I check that this is a Frobenius algebra?

Let $f_1,f_2,\ldots,f_n\in \mathbb C[z_1,\ldots, z_n]$ be such that the quotient ring $$A:=\mathbb C[z_1,\ldots, z_n]/(f_1,f_2,\ldots,f_n)$$ is finite dimensional (in other words, it's a ...
0
votes
0answers
45 views

Projective dimension of a sub-ideal

Let $\mathbf{k}$ be a field, and let $S=\mathbf{k}[x_1,x_2,\ldots,x_n]$. Let $I\subset J$ be finitely generated monomial ideals in $S$. Is it true that the projective dimension of $I$ is either ...
1
vote
1answer
171 views

Quotients and radicals

Let $I, J$ be ideals in a commutative ring with identity $R$. Define the quotient ideal $(I : J)$ by $$(I : J)=\{x\in R : xJ\subseteq I\}.$$ Define the radical $r(A)$, of an ideal $A$ of $R$ by ...
0
votes
0answers
33 views

question about Baer sum of extensions

Let $E_1$ and $E_2$ be extensions of $\mu_p$ by $\mathbb{Z}/{p\mathbb{Z}}$. Assume that $E$ contains $E_1$ and $E_2$ both, and $E_1 \cap E_2 = \mathbb{Z}/{p\mathbb{Z}}$. Then, does $E$ contain their ...
3
votes
0answers
108 views

Invariant Theory over finite adeles

Classical invariant theory, among the other things, classifies polynomial functions over a vector space $V$ endowed with a quadratic form $Q$ which are invariant under the action of $SO(V,Q)$. I am ...
6
votes
0answers
145 views

scheme of commuting matrices

Let $k$ be any field. Let $r$ and $n$ be two positive integers. Consider the functor $F$ from the category of $k$-schemes to the category of sets which sends a $k$-scheme $T$ to the set of matrices ...
1
vote
1answer
228 views

Is every polynomial ring over any field regular?

Is every polynomial ring over any field regular? For a field that is algebraically closed, it is true as any maximal ideal of $k[x_1,...,x_n]$ corresponds to a point $(t_1,...,t_n)$ in ...
7
votes
2answers
292 views

Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...
14
votes
1answer
360 views

Is the regularity of finitely generated rings decidable?

Q: Is there an algorithm to decide whether a given finitely generated (over $\mathbb{Z}$) commutative ring is regular? I mean by regular that the localization at every prime ideal is a regular local ...
3
votes
0answers
64 views

Integral group rings on which stably free modules are free

Let $G$ be a torsion-free group and $ZG$ the integral group rings. Recall that a projective module $P$ over $ZG$ is stably free if there is an isomorphism $P \oplus ZG^n \cong ZG^m$. Are there known ...
0
votes
1answer
138 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 ...
1
vote
1answer
124 views

Lifting a direct summand of a free module

[EDIT]: After getting a nice counter example provided by Steven Landsburg I realize that I forgot to impose an important condition...namely $R$ is supposed to be complete w.r.t. the $I$-adic topology. ...
7
votes
2answers
565 views

Does this construction yield the surreal numbers?

There are two simple constructions for creating arbitrarily large non-Archimedean ordered field extensions of the reals. First given such a field one may consider rational functions over that field ...
0
votes
1answer
101 views

Extending derivations to the superposition closure

Let $X$ be a set and $\mathcal{F}\subseteq {\mathbb{R}^X}$ an arbitrary family of functions. The superposition closure of $\mathcal{F}$ is defined as $$ \overline{\mathcal{F}}=\{ ...
1
vote
0answers
110 views

Thickness of the category of perfect complexes with finite length homology

Let $R$ be a commutative Noetherian local ring and let $D(R)$ be the derived category of $R$-modules. Recall that a chain complex $C_\bullet$ of modules over $R$ is called perfect if it is isomorphic ...
8
votes
1answer
348 views

Deligne's exterior power

In "Catégories Tannakiennes", Deligne defines the $n$th exterior power of an object $A$ of an abelian tensor category $\mathcal{C}$ as the image of the morphism $$p : A^{\otimes n} \to A^{\otimes n}, ...
6
votes
3answers
235 views

About the Dimension of a complete local ring

Let $k$ be a field, and let $A$ be a local, noetherian, complete k-algebra with residue field $k$. Suppose that there are elements $t_1,\dots,t_n$ in the maximal ideal of $A$ such that the map ...
3
votes
1answer
175 views

Flatness of Normalization of regular schemes

I have a followup to the following question: Flatness of normalization. Suppose that $X$ is a regular scheme (of finite type over a $\mathbb{C}$ if one wants) and $X'$ is the normalization of $X$ in ...
0
votes
0answers
70 views

Vanishing of the module of differentials of a extension of perfect fields

Let $L|F$ be a extension of perfect fields of characteristic $p$, $\phi_F:F \to F_{\phi}$, $\phi_L:L \to L_{\phi}$ the Frobenius isomorphisms ($F_{\phi}=F$ but considered as $F$-algebra via $\phi_F$). ...
4
votes
0answers
105 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 ...
15
votes
3answers
1k views

Classification of rings satisfying $a^4=a$

We have the famous classification of rings satisfying $a^2=a$ (for each element $a$) in terms of Stone spaces, via $X \mapsto C(X,\mathbb{F}_2)$. Similarly, rings satisfying $a^3=a$ are classified by ...
3
votes
1answer
188 views

Spec of an injective ring map contains minimal primes in its image?

Let $f\colon A \rightarrow B$ be an injective ring homomorphism. One knows (from EGA I, 1.2.7 or elsewhere) that the image of $\mathrm{Spec}(f)$ is dense. Does that image necessarily contain all the ...
1
vote
0answers
41 views

a generalization of the annihilator of cokernel ideal

Let $R$ be a (commutative, associative, unital) ring, consider a homomorphism of some (finitely generated) free $R$-modules $F\stackrel{A}{\rightarrow}G$. Its basic invariants are the Fitting ideals, ...
3
votes
0answers
51 views

survival of a prime ideal in its Nagata transform

Let $R$ be a Noetherian normal domain with fraction field $K$. Recall that for any ideal $I \subseteq R$, its Nagata transform $T(I)$ is defined as the set of elements $f\in K$ such that $I^n f ...
1
vote
0answers
227 views

Learning roadmap in Algebra [closed]

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas: a) Commutative Algebra b) Field Theory and Galois Theory c) Homological Algebra My question is ...
0
votes
0answers
70 views

F-splitting and F-purity from commutative algebra viewpoint

First I define two terms: Let $R$ be a commutative ring with identity,let char$R$ = $p$, let $F:R\rightarrow R$ be the Frobenius ring homomorphism. This makes $R$ into an $R$-module with respect to ...
2
votes
0answers
64 views

Explicit equations for conormal bundle to an affine toric variety

Let $L \subset \mathbb{Z}^n$ be a lattice and let $X_L$ be the closed toric subvariety of $\mathbb{C}^n$ cut out by the lattice ideal $I_L = \{x^{l_+} - x^{l_-} \,| \, l_+, l_- \in \mathbb{N}^n \text{ ...
1
vote
0answers
103 views

preservation of localness among certain Krull domains

The following question essentially appeared (http://math.stackexchange.com/questions/931801/preservation-of-localness-among-certain-krull-domains) on math.SE a while ago, but nobody has done anything ...
7
votes
0answers
275 views

Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end: Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ...
0
votes
0answers
113 views

Does exterior product commute functor Hom?

Let $M$ be an module over the commutative ring $R$. I'd like to ask do we have the following isomorphism? $$Hom_R(\wedge^n_RM,R)\simeq \wedge^n_R Hom_R(M,R)$$ We can obviously see it's true for the ...