All Questions
145 questions
10
votes
2
answers
1k
views
Algebraic independence of exponentials
First of all, a happy new year. Be it better than 2015,
healthy, wealthy, fruitful and cross-fertilizing
for you, familly and friends.
In order to cope with families of solutions of evolution ...
- 3,738
8
votes
1
answer
683
views
Is the strict henselization isomorphic to the filtered colimit of finite etale algebras?
Let $(A,\mathfrak{m})$ be a local ring, and let $A^{\mathrm{sh}}$ be the strict henselization of $A$ at $\mathfrak{m}$. Let me denote $A^{\mathrm{sh},\mathrm{fin}}$ for the filtered colimit of finite ...
- 2,017
8
votes
0
answers
548
views
Foundational Questions on Adic Spaces
There are some foundational questions on adic spaces that I can't find in the literature. It seems that these questions are pretty natural, so I guess that an answer should be known to the experts in ...
- 2,923
13
votes
1
answer
697
views
Commutative algebraic version of algebraic geometric object
In my work, I have to understand certain objects in commutative algebra (for example Gorenstein rings, Cohen–Macaulay rings e.t.c). I have a reasonable background in commutative algebra (I suppose!) ...
- 1,713
1
vote
1
answer
338
views
when a family of curve is an affine morphism
Let $f: X\to B$ be a family of curves, i.e. $f$ is flat, surjective and of relative dimension 1. If each fiber is an affine curve, can we conclude that $f$ is an affine morphism? If it is not true, ...
- 1,457
8
votes
1
answer
257
views
Minimal resolution of local cohomology module
Let $(R,\mathfrak m)$ be a Noetherian local ring of dimension $d\geq 1.$ Suppose $\lambda(H_{\mathfrak m}^i(R))<\infty$ for some $0\leq i\leq d-1.$
Question Can we say anything about Betti numbers ...
- 1,713
3
votes
1
answer
157
views
Projecting onto the span of a generic Veronese variety
Let $\sigma_d:\mathbb{P}^2\to\mathbb{P}^n$ be the d-th Veronese map and let $X=\sigma_d(\mathbb{P}^2)$. Let $W\subset\mathbb{P}^n$ be a 2-plane such that $W\cap X=\emptyset$. For a line $L\subset \...
- 41
0
votes
0
answers
448
views
Behavior of Ext under base change
Let $x$ be a nonzerodivisor on a local Noetherian ring $(R,m).$ Let $M,N$ be finitely generated $R/xR$-modules.
How to show the existence of the following exact sequence
$\cdots\longrightarrow ...
- 1,713
2
votes
0
answers
137
views
Weak Lefschetz property Jacobian ring smooth hypersurface
Let $A_{.}$ be a graded commutative ring. We say that $A_{.}$ satisfies the weak Lefschetz property if for generic $L \in A_1$ the multiplication maps $ \times L : A_i \longrightarrow A_{i+1}$ has ...
- 7,300
6
votes
1
answer
731
views
Thick subcategories
I hope this question is not too trivial for mathoverfolw.
Let $R$ be a commutative ring (with $0\neq 1$) and $D_{Perf}(R)$ the triangulated category of perfect complexes. Let $C$ be a thick ...
- 125
21
votes
1
answer
2k
views
Two conjectures by Gabber on Brauer and Picard groups
In a paper I need to make reference to two conjectures by Gabber, from
Ofer Gabber, On purity for the Brauer group, in: Arithmetic Algebraic Geometry, MFO Report No. 37/2004, doi:10.14760/OWR-2004-37
...
- 30.5k
8
votes
3
answers
921
views
Generic Noether normalisation
Suppose that $M$ is a finitely generated module over $A=k[X_1,\ldots,X_n]$ of Krull dimension $m$ with $k$ an infinite field. Then one version of Noether normalisation says there is an $m$-dimensional ...
- 3,545
1
vote
1
answer
436
views
Automorphisms of rings fixing all prime ideals
Let $f,g:A \to B$ be two ring homomorphisms of noetherian rings satisfying that for any prime ideal $\mathfrak{q} \subset B$, $f^{-1}(\mathfrak{q})=g^{-1}(\mathfrak{q})=:\mathfrak{p}$ and the induced ...
- 2,126
11
votes
3
answers
2k
views
When is a blow-up Cohen-Macaulay?
Let $X$ be a smooth projective variety and $Z$ a closed subscheme. Let $X'$ be the blow-up of $X$ with center $Z$.
Under what conditions on $Z$ is $X'$
Cohen-Macaulay?
In the case $Z$ is non-...
- 11.6k
1
vote
0
answers
180
views
Skew-symmetric multi-derivations of $k[x_1,…,x_n]/I$
Let $I = \langle f_1, \ldots f_r \rangle$ be an ideal in $R=k[x_1,\ldots,x_n]$ where $k$ is a field, and put $A = R/I$.
(If $I$ is prime then $A$ is the coordinate ring of an irreducible affine ...
- 832
7
votes
3
answers
1k
views
Higher dimensional Bezout via Hilbert polynomials: a reference
For the purposes of teaching my elementary course in algebraic geometry I am looking for a reference (or notes) that contains a complete proof of a higher-dimensional weak Bezout theorem. I only want ...
- 14.3k
8
votes
1
answer
549
views
Ring of invariants for the regular representation
The symmetric group $S_n$ acts on $\mathbb C^n$ by permuting the coordinates. In this case the ring of invariants is generated by elementary symmetric polynomials in n-variables. Now consider the ...
- 195
4
votes
0
answers
472
views
formal completion of smooth morphism
Let $f: X\to S$ be a smooth morphism of schemes. Let $p$ be a section. Let $\hat{\mathscr{O}}_{X, p(S)}$ be the completion $X$ along $p(S)$. Then I think for every point $s\in S$, there exists an ...
- 1,457
1
vote
2
answers
317
views
The algebra of regular functions of a quasi-affine toric variety
Let $k$ be an algebraically closed field of characteristic zero and let $X$
be a toric variety over $k$, i.e. $X$ is a normal, irreducible $k$-variety and it admits an algebraic action of a torus with ...
- 413
3
votes
1
answer
618
views
When is an almost geometric quotient flat?
All varieties here are over $\Bbb C$. Let $G$ be a reductive algebraic group acting algebraically on affine $n$-space $\Bbb A^n$. Let $R$ be the coordinate ring of $\Bbb A^n$. Assume that the natural ...
- 3,079
1
vote
1
answer
382
views
singular locus of semi-normal variety
Let X be a seminormal variety and S be the singular locus of X. Is Blow$_S X=$ the normalisation of X?
Is the singular locus given by the conductor ideal?
user111251
5
votes
3
answers
677
views
Spectrum and scheme of the commutative group-algebra of an abelian group.
The group-algebra of an abelian group is commutative, so we can consider the spectrum of this algebra. Are there any information about the abelian group that we can obtain from such considerations? ...
- 263
12
votes
1
answer
437
views
Is there a categorical notion of reduced commutative algebras?
A commutative ring $R$ is reduced if $r^2=0 \Rightarrow r=0$ holds for all $r \in R$. Commutative rings are precisely the commutative algebra objects in the symmetric monoidal category $(\mathsf{Ab},\...
- 5,482
4
votes
0
answers
213
views
Reference request: Formal Existence for stacks
Is there a formal existence Theorem for coherent sheaves on locally Noetherian Artin Stacks, in the spirit of Grothendieck's Formal GAGA?
Is it available for more general stacks?
user122630
3
votes
2
answers
488
views
Application of sheaves theory in ring theory
Is there any text that gives some applications of sheaves theory in commutative ring theory? In the other word, is any results in commutative ring theory that be verified by sheaves method?
- 49
4
votes
1
answer
512
views
Being Cohen-Macaulay open in Hilbert scheme?
Let $H$ be the Hilbert scheme of closed subschemes of $\mathbb{P}^n$ with a given Hilbert polynomial. I would like to have a reference (preferably from a published paper or book, not stacks project) ...
- 3,031
3
votes
1
answer
221
views
Alternating multisymmetric functions
I am looking for a reference on certain modules of invariants. I think that the question is quite natural so that I believe there should be some results already, but I am not able to find anything.
...
- 577
1
vote
1
answer
325
views
Sheaf Hom is flat
Let $T$ be a scheme (probably integral noetherian) and $X$ a smooth projective variety. Let $K,K',A,A'$ be locally free coherent sheaves on $X\times T$. There are exact sequences:
$0\rightarrow K\...
- 297
2
votes
1
answer
168
views
Approximating finite type algebras over a formal power series ring
Let $k$ be a ring, let $A := k[x_{1},\dotsc,x_{d}]$ be the polynomial ring and let $A^{\wedge} := k[[x_{1},\dotsc,x_{d}]]$ be the formal power series ring. For a $d$-tuple $\mathbf{e} = (e_{1},\dotsc,...
- 2,017
4
votes
2
answers
548
views
Irreducible algebraic sets via irreducible polynomials
There are many results about irreducible polynomials over finite fields:
we know a cardinality of all irreducible polynomials with given degree, we know explicit examples of irreducible polynomials, ...
- 2,576
3
votes
0
answers
432
views
When is every submodule of a module a direct sum of indecomposable submodules?
Is there any reference for modules over a commutative ring with identity such that every submodule of them is a direct sum of indecomposable submodules? Or is there any characterization of such ...
- 41
2
votes
1
answer
569
views
Field extension and nilpotent element
Let $k$ be an algebraically closed field of characteristic $p>0$, $A$ a regular local noetherian $k$-algebra, $B$ another local noetherian $k$-algebra, $f:A \to B$ an injective ring homomorphism of ...
- 2,126
10
votes
2
answers
1k
views
Formal completion of the normal bundle
Let me for simplicity start with affine case. If $X=\operatorname{Spec}(A)$ is an affine variety $Z \subset X$ is a closed affine subvariety $Z=\operatorname{Spec}(A/I)$. What conditions are ...
- 1,545
17
votes
1
answer
4k
views
A Relative Algebraic Hartogs Lemma
The Algebraic Hartogs Lemma states that in a Noetherian normal scheme, a rational function that is regular outside a closed subset of codimension at least two, is in fact regular everywhere.
In a ...
- 7,328
1
vote
1
answer
500
views
A question on Eisenbud-Green-Harris conjecture
Let $I$ be a homogeneous ideal in a polynomial ring $k[x_1,\ldots,x_n],$ $I$ contain a regular sequence $f_1,\ldots,f_n$ such that deg$(f_i)=a_i$ and $a_1\leq\ldots\leq a_n.$ Let $d$ be a non-negative ...
- 1,713
3
votes
0
answers
123
views
Frobenius stratification of imperfect fields
Suppose $k$ is a (non-perfect) field of characteristic $p$, and $Fr$, its Frobenius map. I’d appreciate comments and references on the structure of the fitration/stratification of $k$ given by the ...
user122285
0
votes
1
answer
380
views
Milnor numbers and mixed multiplicities
section 6 of the link
Teissier showed that Milnor numbers of a hypersurface $(X,0)$ with isolated singulraity at 0 is same as mixed multiplicities of the Hilbert polynomial of the filtration $\{m^rJ^s\...
- 1,713
15
votes
2
answers
870
views
A space of ideals
Definition: Let $R$ be a commutative ring with 1. Endow the power set $2^R$ with the product topology. The ideal space $\mathcal{I}(R)$ is defined to be subset of $2^R$ consisting of ideals, ...
- 25k
2
votes
0
answers
329
views
Endomorphism algebra of a coherent sheaf is locally free
What is an example of a Noetherian ring $A$ and a finitely generated $A$-module $M$ such that the endomorphism algebra $\mathrm{Hom}_{A}(M,M)$ is flat as an $A$-module but $M$ is not flat?
- 428
13
votes
3
answers
1k
views
Reference for combinatorics of cell decomposition of the Hilbert scheme of points in the plane
It is known from either Morse theory or Bialynicki-Birula decomposition that the fixed points of a ${\mathbb{C}}^*$ action on a smooth algebraic variety over $\mathbb{C}$ determine a cell ...
- 2,964
5
votes
0
answers
92
views
Question concerning the representation dimension of a special algebra
I would like to know, if the following problem is still open:
Let $k$ denote an algebraically closed field of characteristic 3.
Determine the representation dimension of $k(C_3\times C_3)$, where $...
- 1,755
5
votes
1
answer
208
views
Zariski openness of Newton non-degenerate polynomials
Suppose you are given a convex polyhedron $\Delta$ in $\mathbb{R}^n$ (i.e. a convex hull of finitely many points in $\mathbb{Z}^n$) and consider a finite dimensional vector space $V$ over $\mathbb{C}$ ...
- 53
2
votes
0
answers
221
views
Meaning of the statement "$a\in I$ is a general element of $I$"
Suppose $I$ is an ideal in a Noetherian local ring $(R,m)$. In some papers I have seen the following statement:
"$a\in I$ is a general element of $I$".
What is the definition of general element ...
- 1,713
2
votes
1
answer
302
views
Has this notion of powers of ideals already appeared in the literature?
My question is whether the below notion of powers of ideals, which may be regarded as a weakening of the notion of symbolic power, has been already defined in the literature and, in that case, I ask ...
7
votes
1
answer
875
views
Can one prove that toric varieties are Cohen-Macaulay by finding a regular sequence?
It's well-known that if $P$ is a finitely generated saturated submonoid of $\mathbb{Z}^n$, then the monoid algebra $k[P]$ is Cohen-Macaulay (at the maximal ideal $m = (P-0)k[P]$). However, all proofs ...
- 16.1k
6
votes
0
answers
671
views
Flat + locally of finite presentation + monomorphism = open immersion
It is known that the following are equivalent for an epimorphism $A \to B$ in $\mathbf{CRing}$:
Let $S$ be the set of elements $a \in A$ such that $A [a^{-1}] \to B [a^{-1}]$ is an isomorphism. Then $...
- 15.9k
1
vote
0
answers
75
views
Formula for the index of regularity of a generic Hilbert function
Is there an explicit formula for the index of regularity of a generic Hilbert function in two variables? (i.e., the Hilbert function of an ideal of $k[X,Y]$ generated by $r$ generic forms $f_{i}$ of ...
- 11
3
votes
0
answers
119
views
Finite generation of the module of invariant vector fields
Let $G$ be a linear algebraic group (not necessarily reductive) and let
$X$ be an affine variety with a regular $G$-action (everything defined over the field of complex numbers $\mathbb{C}$). Denote ...
- 413
1
vote
0
answers
113
views
Reference request. The adjunction $\hom_{CDGA}(\Omega^\bullet(A),B^\bullet)\cong\hom_{CA}(A,B^0)$
We have the adjunction
$$\hom_{CDGA}(\Omega^\bullet(A),B^\bullet)\cong\hom_{CA}(A,B^0)$$
where $CDGA$ is the category of commutative diffferential graded algebras and $CA$ is the category of ...
- 1,615
2
votes
1
answer
574
views
Equidimensionality of stalks of $\operatorname{Proj} S$ when $S$ is equidimensional.
I would like to know a reference of the following statement (or counter example).
Let $S$ be a (commutative) Noetherian standard graded ring over a local ring, i.e., $S = S_0[S_1]$, where $S_0$ is ...
- 672