Questions tagged [associated-graded]

Questions about graded algebraic structures associated to a filtration.

Filter by
Sorted by
Tagged with
2 votes
1 answer
114 views

Associated graded algebras and symmetric Frobenius algebras

Let $A$ be a filtered algebra and let $G$ be its associated graded algebra. As discussed in this question, if $G$ is Frobenius, then $A$ is also Frobenius. If $G$ is a symmetric Frobenius algebra, ...
Béla Fürdőház 's user avatar
3 votes
0 answers
138 views

Semi-direct products and associated graded Lie algebras

Let $G$ and $H$ be groups and $G\ltimes H$ their semi-direct product given by $f\colon G\to \operatorname{Aut}(H)$ satisfying $f(g)=\operatorname{id}_H$ in $H/[H,H]\,$ for all $g\in G$. In this ...
Qwert Otto's user avatar
2 votes
0 answers
102 views

Filtrations and Koszul algebras

I was looking at this question and asked my self the following: Let $A$ be graded algebra, which is also an $\mathbb{N}_0$-filtered algebra. If its associated graded algebra $\mathrm{gr}(A)$ is ...
Didier de Montblazon's user avatar
2 votes
0 answers
75 views

Is there a coalgebraic definition of filtered algebras?

If $M$ is a monoid, then an $M$-graded algebra over $k$ is the same thing as a $k[M]$ comodule algebra. To see this, if $\delta$ is a coaction of $k[M]$ on an algebra $A$, for each $m \in M$ define $$...
Chris's user avatar
  • 264
2 votes
0 answers
97 views

Is the associated algebra of a quadratic filtered algebra again quadratic

Let $A$ be a filtered quadratic algebra. Let $G(A)$ be the associated graded algebra. Will $G(A)$ again be a quadratic algebra or can higher relations appear when passing to the graded seeting? EDIT: ...
Didier de Montblazon's user avatar
7 votes
1 answer
250 views

Properties of a filtered algebra that can be concluded from properties of its associated graded algebra

Let $F$ be a filtered algebra and let $G$ be its associated graded algebra. Some examples of properties of $F$ that can be concluded from properties of $G$: (A) The dimension of $F$ is equal to the ...
Jake Wetlock's user avatar
  • 1,114
4 votes
1 answer
380 views

Quotients and associated graded

$\DeclareMathOperator\gr{gr}$Let $A = \cup_{i=0}^\infty F_i A$ be a filtered commutative ring, $I \subseteq A$ an ideal. Then we have a canonical surjection $$ \gr(A)/\gr(I) \to \gr(A/I).$$ Under what ...
Joshua Mundinger's user avatar
1 vote
0 answers
188 views

Surjection from finite rank free $R$-module to finitely generated $R$-module and basis associated to generator set

Suppose the we have an epimorphism $s\colon M\to N,$ where $M$ is a free $R$-module of rank $r$ and $N$ is a finitely generated $R$-module, such that there exists a basis $B:=\{m_{1},\dots, m_{r}\}$ ...
Hvjurthuk's user avatar
  • 573
5 votes
0 answers
334 views

Does the associated graded functor take products of filtered k-coalgebras to graded k-coalgebras?

Let's suppose we have two noncommutative graded k-coalgebras $C_1$ and $C_2$ with respective admissible filtrations (i.e $F_{0}C_i=0$ and $\mathrm{colim}_k F_kC_i=C_i$), I would like to know if there ...
Victor TC's user avatar
  • 795
8 votes
0 answers
178 views

Standard reference/name for "initial ideals $\Leftrightarrow$ associated graded rings"

Let $R$ be commutative ring with a $\mathbb Z$-grading $\deg$ and let $I\subset R$ be an ideal. On one hand, we may consider the initial ideal $\mathrm{in}_{\deg}(I)$. That is the space spanned by ...
Igor Makhlin's user avatar
  • 3,493
0 votes
1 answer
111 views

Adic filtration and integral closure

Let $(R,m)$ be a Noetherian local domain whose integral closure $S$ is too. Also assume that $S$ is module-finite over $R$. Let $x\in m^k\setminus m^{k+1}$ and $u\in S^\times$ such that $ux \in R$. ...
Avi Steiner's user avatar
  • 3,031
3 votes
0 answers
108 views

Gelfand Kirillov dimension and associated graded algebras

Given a filtered module $M$ over a Lie algebra $\mathfrak{g}$, can one describe the Gelfand Kirillov dimension of $M$ in terms of Gelfand Kirillov dimension of its associated graded $grM$? If so, ...
mkim17's user avatar
  • 31
3 votes
1 answer
204 views

Liftability of a submodule from an associated graded module

Let $k$ be a field, $A$ a $k$-algebra (probably noncommutative), and $M$ an $A$-module that's finite-dimensional as a vector space over $k$. Let $Gr(M;k)$ denote the set of all $k$-subspaces of $M$, ...
Allen Knutson's user avatar
9 votes
1 answer
2k views

Generators of associated graded algebra

Suppose that $A = \bigcup_{n=0}^{\infty} A_n$ is a filtered algebra over a field $k$. The associated graded algebra is $\mathrm{gr} A = \bigoplus_{n=0}^{\infty} A_n/A_{n-1}$, where we define $A_{-1} =...
MTS's user avatar
  • 8,409
5 votes
1 answer
592 views

Associated graded of filtered module-algebra over a Hopf algebra

I ran across the following statement in a paper, and it seems fishy to me: Lemma: If $A$ is any Hopf algebra, and if $U$ is an $\mathbb{N}_0$-filtered $A$-module algebra, then $U$ and $\mathrm{gr} (...
MTS's user avatar
  • 8,409
10 votes
2 answers
874 views

An explicit description of $\operatorname{gr}(k \cdot G)$ for the filtration induced by the augmentation ideal?

Let $A$ be any bialgebra (associative, unital, etc.) over a ring $k$. Then among other things it has a counit $\epsilon : A \to k$, and hence an augmentation ideal $I = \ker \epsilon$, which is a ...
Theo Johnson-Freyd's user avatar
9 votes
2 answers
1k views

Associated graded and flatness

Let $M$ be a filtered module over a filtered algebra $A$, and suppose $gr(M)$ is flat over $gr(A)$, where $gr$ means the associated graded module and algebra, respectively. What can one say in ...
David Jordan's user avatar
  • 6,053
9 votes
2 answers
901 views

If associated-graded of a filtered bialgebra is Hopf, does it follow that the original bialgebra was Hopf?

Warning: older texts use the word "Hopf algebra" for what's now commonly called "bialgebra", whereas now "Hopf" is an extra condition. So as to avoid any confusion, I'll ...
Theo Johnson-Freyd's user avatar
33 votes
4 answers
4k views

What is the universal property of associated graded?

Given a filtered vector space (or module over a ring) $0=V_{0}\subseteq V_{1}\subseteq\cdots\subseteq V$, you can construct the associated graded vector space $\mathrm{gr}\left(V\right)=\oplus_{i}V_{i+...
Anton Geraschenko's user avatar