All Questions
6,056 questions
1
vote
0
answers
168
views
Does the symmetric algebra functor preserve inclusions?
Theorem: For any compact abelian group $G$, the homogeneous component $%
H^{2}\left( B_{G};%
%TCIMACRO{\U{2124} }%
%BeginExpansion
\mathbb{Z}
%EndExpansion
\right) $ of degree $2$ is naturally ...
- 1,367
1
vote
0
answers
166
views
Reference request showing that a very general Abelian variety $ A $ of genus $ g>1 $ has cyclic class group with ample generator
In Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM I asked for an example of a Cohen Macaulay, normal, ...
- 912
1
vote
0
answers
104
views
Reference for a clear version of multigraded Serre-Grothendieck-Deligne correspondence local cohomology
The Grothendieck-Serre-Deligne correspondence states the following. Let $ R $ be a Noetherian, graded ring and let $ T $ be $ \operatorname{Proj}(R) $. If $ \mathcal{F} $ is a coherent sheaf on $ T $...
- 912
1
vote
0
answers
126
views
Is there any sufficient or equivalent condition for the invertibility of a regular map, i.e. a self map of $\mathbb{R}^m$ with polynomial components?
Let $P:\mathbb{R}^m\to \mathbb{R}^m$ be a regular map, i.e. a map whose components are polynomials. I was wondering whether we can say anything about the the component polynomials, their degrees or ...
- 1,467
1
vote
0
answers
127
views
A Weierstrass product theorem for invertible formal Laurent series over local Artinian rings?
Let $(A,\mathfrak{m},\kappa)$ denote a commutative local Artinian ring. Somewhat by accident, I've stumbled across the following interesting decomposition:
$$
A(\!(t)\!)^\times = t^\mathbb{Z} \cdot (1 ...
- 7,127
1
vote
0
answers
167
views
When do limits of $R$-modules commute with direct sum?
Let $R$ be a commutative ring. Is there any good special case in which I can say that a limit of $R$-modules commutes with direct sum? This is of course true for finite direct sums. Are there other ...
- 658
1
vote
0
answers
305
views
Presentation of Chevalley groups over Bezout domains
Let $\Phi$ be a root system of type $A_1$, $A_2$, $B_2$ or $G_2$. For a (commutative, unital) ring $R$, consider the group $G_{\Phi}(R)$ defined by Steinberg's presentation as in [1, Theorem 12.1.1 ...
- 563
1
vote
0
answers
67
views
The eventual number of generators of modules of which $M$ is a subquotient
Let $R$ be a (commutative) ring and let $M$ be an $R$-module. Say that $M$ is subfinitely generated if $M$ is a submodule of a finitely-generated module. Write
$$\mathcal F(M) = \{ M \rightarrowtail N ...
- 64k
1
vote
0
answers
106
views
Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM
Does anyone know an example of a $ \mathbb{Q} $-factorial, normal, Cohen Macaulay, projective, Mori dream space $ Z $ over a field $ k $ of arbitrary characteristic such that the Cox ring of $ Z $ is ...
- 912
1
vote
0
answers
112
views
Lengths and additive invariants which preserve positivity
The length of a module is well-known to be an additive invariant of finite-length modules. That is, if $R$ is a ring and $Art(R)$ its category of finite-length modules, then $length : Ob (Art(R)) \to \...
- 64k
1
vote
0
answers
132
views
Quotient of a polynomial ring with a prime ideal is Cohen$-$Macaulay
[Bruns-Herzog, Exercise 2.1.17] Let $k$ be a field and $R = k[x_1, . . . , x_n]$. Suppose $\mathfrak{p} \subset R$ is a prime ideal, $ht\mathfrak{p} \in \{0, 1, n − 1, n\}$. Show that $R/\mathfrak{p}$ ...
1
vote
0
answers
106
views
Uniqueness of indecomposable decomposition (Krull–Schmidt) for finitely generated modules over commutative Noetherian standard graded rings
Let $R_0=\mathbb C$ and $R=\bigoplus_{i\geq 0} R_i$ be a commutative Noetherian graded ring such that the grading is standard, i.e., $R=R_0[R_1]$. Let $M$ be a finitely generated $R$-module. Evidently,...
- 412
1
vote
0
answers
150
views
Invariant polynomials under a non-standard group action
There is a whole theory of finding the invariant polynomials for matrix groups $\Gamma$ acting on the polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$. I would be interested in finding invariant ...
1
vote
0
answers
159
views
Why N-1 and N-2 rings are called like that?
In the Stacks Project, Tag 032F, we find:
Definition. Let $R$ be a domain with field of fractions $K$.
We say $R$ is N-1 if the integral closure of $R$ in $K$
is a finite $R$-module.
We say $R$ is N-...
1
vote
0
answers
78
views
For a finite locally free $A\to B$ when does the different equal the Noether different?
(Cross-posted from MSE.)
All rings commutative with $1$. Let $A\to B$ be an $A$-algebra which is finite projective, meaning $B$ is finitely generated projective as an $A$-module, so there is the trace ...
- 215
1
vote
0
answers
104
views
Examples of compressed Gorenstein ring
Let $(R,\mathfrak{m},k)$ be a Gorenstein local Artinian ring of socle degree $s$ and embedding dimension $e>1$. We set
$$
\varepsilon_i=\min\left\{ \binom{e-1+s-i}{e-1}, \binom{e-1+i}{e-1}\right\} \...
- 81
1
vote
0
answers
159
views
On certain definition of arithmetical ring
The definition of an arithmetical ring states that
A ring $R$ is arithmetical if the ideal lattice is distributive or equivalently $R$ is locally a valuation ring.
I was reading a paper where ...
- 19
1
vote
0
answers
24
views
One-step vectorial recurrence into multi-step scalar recurrence on commutative rings with boundary conditions
Introduction over unbounded domain
Consider the forward time shift $\mathsf{z}$ acting on a discrete function of time (sequence) $f=(f^n)_{n\in\mathbb{N}}$ as $(\mathsf{z} f)^{n} = f^{n+1}$. Also ...
- 11
1
vote
0
answers
82
views
Relative 1 form of Frobenius morphism
Let $X$ be a connected smooth algebraic variety over a field $k$ of characteristic $p > 0$. We can consider the Frobenius morphism associated to $X \mapsto Spec(k)$. I'd like to show $\Omega^{1}_{X/...
- 73
1
vote
0
answers
87
views
Projective dimension and certain subideals
My question is related to this one. I thought mine could be very elementary but I'm not sure how to look into it.
Let $J$ be an ideal of $R=k[\mathbf{x}]$ where $\mathbf{x}=\{x_1,\dots,x_n\}$. Let $\{...
1
vote
0
answers
125
views
Confusion regarding change of variable and irreducibility
Let $\mathbb{K}$ be an algebraically closed field of characteristics zero. Let $X$ be an irreducible affine variety, with a rational action of a linearly reductive algebraic group $G$. Also, assume ...
- 839
1
vote
0
answers
83
views
Partial fraction decompositions for integral domains
I've recently been involved in a math conversation regarding partial fraction decompositions for rational numbers, but we seem to lack a formal definition and are unsure about whether there is some ...
- 2,858
1
vote
0
answers
116
views
List of automorphism groups of low-dimensional complex commutative algebras?
Let $\mathcal{A}$ be a finite-dimensional commutative associative unital $\mathbb{C}$-algebra. I am looking for a list (of further examples of) $\operatorname{Aut}_\mathbb{C}(\mathcal{A})$, the group ...
- 7,127
1
vote
0
answers
103
views
Does maximally incompleteness cause nonvanishing of the extension of maximal ideal of a valuation ring by rank 1 free module?
In B. Bhatt's lecture notes[1], Remark 4.2.5 says
... $\operatorname{Ext}_R^2(k,R)$ is non-zero if $K$ is not spherically complete.
which amounts to the following pure algebraic question.
Statement ...
- 441
1
vote
0
answers
72
views
Extending prime ideals that lie over the same prime ideal via monomials
Let $(R, \mathfrak{m})$ be a local (Noetherian) ring containing the rationals. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. ...
1
vote
0
answers
154
views
Software for computing invariant rings
I have an linearly reductive algebraic group $G$ acting regularly on an affine variety $X$(over an algebraically closed field of characteristic 0). I want to compute the invariant ring $\mathbb{K}[X]^{...
- 839
1
vote
0
answers
119
views
Germs of holomorphic functions and invariant functions
Consider a complex vector space $V \cong {\mathbb C}^n$. Consider the ring of germs of holomorphic functions ${\mathcal O}_0 (V)$ at $0\in V$. We know that this ring is Noetherian.
Now consider a ...
- 803
1
vote
0
answers
48
views
Neighborhoods of idempotents in topological inverse semigroups
In a topological group, for any neighborhood $U$ of the origin, there is another such neighborhood with the property that $V.V\subseteq U.$ I conjecture a similar property for topological inverse ...
- 1,093
1
vote
0
answers
109
views
On Serre's condition and singular locus of determinantal rings
Let $R$ be a Commutative Noetherian ring. Let $\mathbf X:=[X_{ij}]_{1\le i \le r, 1 \le s \le t}$ be a matrix of indeterminates. Let $t>1$ be an integer, and $I_t(\mathbf X)$ denote the ideal in $...
- 413
1
vote
0
answers
79
views
What is $\text{Hom}(\mathcal{F}\times\mathcal{G}, \mathbb{A}^1)$?
Let $S$ be an affine scheme and let $\text{Aff}(S)$ be the site of affine $S$-schemes. Let $\mathcal{F}$ and $\mathcal{G}$ be a pair of sheaves on $\text{Aff}(S)$, and let $\mathbb{A}^1_S$ be the ...
- 2,907
1
vote
0
answers
136
views
On Noetherianity and local ness of a completed tensor product
Let $R$ be a regular local complete (with respect to the maximal ideal) ring with field of fraction $K$. Let $S\cong R[[x_1,\cdots, x_n]]/J$ (this is a Noetherian local ring which is an $R$-algebra) ...
- 413
1
vote
0
answers
180
views
Questions about the article "A tour of the strong and weak Lefschetz properties"
I'm trying to learn a little about the Lefschetz properties and to start off have been reading Migliore and Nagel's survey article: https://arxiv.org/abs/1109.5718. I'm new to the area, and I have a ...
- 11
1
vote
0
answers
162
views
Difficulty understanding a step in the proof of multiset version of Cauchy-Davenport Theorem
In a paper "G. Kós, L. Rónyai, Alon’s Nullstellensatz for multisets, Combinatorica, 32(5) (2012) 589-605", the authors prove a multiset version of the Cauchy-Davenport Theorem (please see ...
- 167
1
vote
0
answers
95
views
Eventual stabilization for repeatedly adding multiplayer games
This question is an outgrowth of a couple previous questions of mine. In order: 1,2,3. This should be fully self-contained, but those questions may help motivate this one.
To keep things readable, I'...
- 20.5k
1
vote
0
answers
159
views
Cohomology of modular curve
(A follow-up on this). Consider the modular curve $X_0(N)$. I'm trying to make the jump from understanding the cohomology $H^1(X_0(N), \mathbb{Z})$ to understanding $H^1(X_0(N), \mathcal{O})_\mathfrak{...
- 223
1
vote
0
answers
116
views
Inclusion between rings after localization
Let $\phi:A \to B $ an injective finite ring map between two noetherian integral domains $A,B$. Let $ C \subset B$ a subring of $B$ and assume that there exist a prime ideal $\mathfrak{p} \subset A$ , ...
- 6,038
1
vote
0
answers
132
views
A question concerning cancellation of ideals
I am working on a number theory project, and at one stage, I encounter a commutative algebra problem. Vaguely speaking, my hope is to show that two ideals are equal. Now I shall explain the data I am ...
- 11
1
vote
0
answers
111
views
Kunneth formula for hypercohomology
Let $A_{\bullet}$ and $B_{\bullet}$ be two bounded complexes of sheaves over a variety $X$. Is there a Kunneth-like formula for the hypercohomology of the tensor product $A_{\bullet}\otimes B_{\bullet}...
- 494
1
vote
0
answers
55
views
Blow-ups of $ F $-regular varieties at points in general position and finite generation of the Cox ring
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
- 912
1
vote
0
answers
55
views
If $ n \in \mathbb{N} $, then does the Reynolds operator of $ \mathbb{G}_{m}^{n} $ commute with the Frobenius endomorphism?
If $ n \in \mathbb{N} $, then $ \mathbb{G}_{m}^{n} $ is linearly reductive. Let $ \beta: \mathbb{G}_{m}^{n} \to \operatorname{GL}(\mathbf{V}) $ where $ \mathbf{V} $ is a vector space over an ...
- 912
1
vote
0
answers
91
views
A term for a submonoid of a free abelian monoid?
Are there multiple ways of characterising which monoids are submonoids of free abelian monoids?
What free abelian monoids are:
A free abelian monoid $\mathbb N^d$ with $d$ generators (where $d$ is an ...
- 4,943
1
vote
0
answers
317
views
Extending automorphisms from $\mathbb{A}^1$ to $\mathbb{P}^1$ over general rings
Over an algebraically closed field any automorphism of the affine line will extend uniquely to an automorphism of the projective line. Will that still be true if we work over a general (potentially ...
- 834
1
vote
0
answers
138
views
Category whose morphisms are commutative monoids but not enriched
In a recent investigation, I constructed a category $\mathcal{C}$ with the following property. For objects $X,Y \in \mathcal{C}$, the morphism set $\text{Mor}(X,Y)$ is a commutative monoid with ...
- 161
1
vote
1
answer
97
views
Projectivity of the fundamental ideal of Witt groups
Suppose $k$ is a field. I wonder when the Witt ring of the quadratic forms $\textbf{W}(k)$ has a projective fundamental ideal, which is the kernel of the rank modulo 2 morphism. Here I want a ...
- 918
1
vote
0
answers
192
views
Smooth surjective morphism to integral scheme
Suppose that $f : X \rightarrow Y$ is a smooth (or even étale) surjective morphism over a field $k$ to a scheme $Y$ of finite type over $k$.
I want to show that $X$ is locally integral, i.e. (in the ...
- 635
1
vote
0
answers
275
views
Does analytic isomorphism imply local isomorphism?
If $ \mathfrak{p} $ is a (not necessarily closed) point of a variety $ \operatorname{Spec}(A) $, and $ \mathfrak{q} $ is a (not necessarily closed) point of a variety $ \operatorname{Spec}(B) $ such ...
- 912
1
vote
0
answers
66
views
Existence of a minimal ideal with a specific property
Suppose that $R$ is a super-commutative ring (i.e. it is a unital $\mathbb{Z}_2$-graded ring satisfying $xy=(-1)^{|x|\cdot |y|}yx$ where $|x|$ denotes the grading degree of a homogeneous element $x\in ...
- 329
1
vote
0
answers
121
views
Situations where extension of contraction is well-behaved?
It is known that one cannot expect the extension of the contraction of an ideal under a ring homomorphism $f:A\to B$ to be the original ideal, except in very special scenarios like surjections or ...
- 11
1
vote
0
answers
151
views
$K_1(k[x]/(x^2))$ for a field $k$
$\DeclareMathOperator\GL{GL}$The definition of $K_1$ is stated in "The K-book" by Charles Weibel as a quotient of $\GL(R)$, where $\GL(R)$ is the union of the sequence $R^{ \times} = \GL_1(R)...
- 167
1
vote
0
answers
70
views
Another matrices for a semigroup with intermediate growth
Nathanson showed that the Okninski's semigroup $S$ of $2×2$ matrices which is generated by the set $H=\{A,B\}$, where
$
A=\begin{bmatrix}
1&1\\
0&1\\
\end{bmatrix}
,
B=\begin{bmatrix}
1&0\\...
- 883