共查询到20条相似文献,搜索用时 31 毫秒
1.
By using the concept of weight graph associated to nonsplit complex nilpotent Lie algebras \mathfrak g\mathfrak{g}, we find necessary and sufficient conditions for a semidirect product \mathfrak g? ? Ti\mathfrak{g}\overrightarrow{\oplus } T_{i} to be two-step solvable, where $T_{i} TT over \mathfrakg\mathfrak{g} which induces a decomposition of \mathfrakg\mathfrak{g} into one-dimensional weight spaces without zero weights. In particular we show that the semidirect product of such a Lie algebra with a maximal torus of derivations cannot be itself two-step solvable. We also obtain some applications to rigid Lie algebras, as a geometrical proof of the nonexistence of two-step nonsplit solvable rigid Lie algebras in dimensions n\geqslant 3n\geqslant 3. 相似文献
2.
We prove a formula for the twining characters of certain Demazure modules, over a Borel subalgebra
\mathfrak b\mathfrak{b} of a finite dimensional complex semisimple Lie algebra
\mathfrak g\mathfrak{g}. This formula describes the twining character of the Demazure module by the w\omega-Demazure operator associated to an element of the Weyl group that is fixed by the Dynkin diagram automorphism w\omega of
\mathfrak g\mathfrak{g}. Our result is a refinement of the twining character formula for the irreducible highest weight
\mathfrak g\mathfrak{g}-modules of symmetric dominant integral highest weights, and also of the ordinary Demazure character formula. 相似文献
3.
Let
\mathfrak g \mathfrak{g} be a reductive Lie algebra and
\mathfrak k ì \mathfrak g \mathfrak{k} \subset \mathfrak{g} be a reductive in
\mathfrak g \mathfrak{g} subalgebra. A (
\mathfrak g,\mathfrak k \mathfrak{g},\mathfrak{k} )-module M is a
\mathfrak g \mathfrak{g} -module for which any element m ∈ M is contained in a finite-dimensional
\mathfrak k \mathfrak{k} -submodule of M. We say that a (
\mathfrak g,\mathfrak k \mathfrak{g},\mathfrak{k} )-module M is bounded if there exists a constant C
M
such that the Jordan-H?lder multiplicities of any simple finite-dimensional
\mathfrak k \mathfrak{k} -module in every finite-dimensional
\mathfrak k \mathfrak{k} -submodule of M are bounded by C
M
. In the present paper we describe explicitly all reductive in
\mathfrak s\mathfrak ln \mathfrak{s}{\mathfrak{l}_n} subalgebras
\mathfrak k \mathfrak{k} which admit a bounded simple infinite-dimensional (
\mathfrak s\mathfrak ln,\mathfrak k \mathfrak{s}{\mathfrak{l}_n},\mathfrak{k} )-module. Our technique is based on symplectic geometry and the notion of spherical variety. We also characterize the irreducible
components of the associated varieties of simple bounded (
\mathfrak g,\mathfrak k \mathfrak{g},\mathfrak{k} )-modules. 相似文献
4.
The cohomology H
\mathfrakg\mathfrak{g}
) of the tangent Lie algebra
\mathfrakg\mathfrak{g}
of the group G with coefficients in the one-dimensional representation
\mathfrakg\mathfrak{g}
\mathbbK\mathbb{K}
defined by
[(W)\tilde] \mathfrakg \tilde \Omega _\mathfrak{g}
of H
1(G/
\mathfrakg\mathfrak{g}
. 相似文献
5.
Let
\mathfrak a \mathfrak{a} be an algebraic Lie subalgebra of a simple Lie algebra
\mathfrak g \mathfrak{g} with index
\mathfrak a \mathfrak{a} ≤ rank
\mathfrak g \mathfrak{g} . Let
Y( \mathfrak a ) Y\left( \mathfrak{a} \right) denote the algebra of
\mathfrak a \mathfrak{a} invariant polynomial functions on
\mathfrak a* {\mathfrak{a}^*} . An algebraic slice for
\mathfrak a \mathfrak{a} is an affine subspace η + V with
h ? \mathfrak a* \eta \in {\mathfrak{a}^*} and
V ì \mathfrak a* V \subset {\mathfrak{a}^*} subspace of dimension index
\mathfrak a \mathfrak{a} such that restriction of function induces an isomorphism of
Y( \mathfrak a ) Y\left( \mathfrak{a} \right) onto the algebra R[ η + V] of regular functions on η + V. Slices have been obtained in a number of cases through the construction of an adapted pair ( h, η) in which
h ? \mathfrak a h \in \mathfrak{a} is ad-semisimple, η is a regular element of
\mathfrak a* {\mathfrak{a}^*} which is an eigenvector for h of eigenvalue minus one and V is an h stable complement to
( \text ad \mathfrak a )h \left( {{\text{ad}}\;\mathfrak{a}} \right)\eta in
\mathfrak a* {\mathfrak{a}^*} . The classical case is for
\mathfrak g \mathfrak{g} semisimple [ 16], [ 17]. Yet rather recently many other cases have been provided; for example, if
\mathfrak g \mathfrak{g} is of type A and
\mathfrak a \mathfrak{a} is a “truncated biparabolic” [ 12] or a centralizer [ 13]. In some of these cases (in particular when the biparabolic is a Borel subalgebra) it was found [ 13], [ 14], that η could be taken to be the restriction of a regular nilpotent element in
\mathfrak g \mathfrak{g} . Moreover, this calculation suggested [ 13] how to construct slices outside type A when no adapted pair exists. This article makes a first step in taking these ideas further. Specifically, let
\mathfrak a \mathfrak{a} be a truncated biparabolic of index one. (This only arises if
\mathfrak g \mathfrak{g} is of type A and
\mathfrak a \mathfrak{a} is the derived algebra of a parabolic subalgebra whose Levi factor has just two blocks whose sizes are coprime.) In this
case it is shown that the second member of an adapted pair ( h, η) for
\mathfrak a \mathfrak{a} is the restriction of a particularly carefully chosen regular nilpotent element of
\mathfrak g \mathfrak{g} . A by-product of our analysis is the construction of a map from the set of pairs of coprime integers to the set of all finite
ordered sequences of ±1. 相似文献
6.
Let e be a nilpotent element of a complex simple Lie algebra $ \mathfrak{g} Let e be a nilpotent element of a complex simple Lie algebra
\mathfrakg \mathfrak{g} . The weighted Dynkin diagram of e, D(e) \mathcal{D}(e) , is said to be divisible if D(e) | / |
2 {{{\mathcal{D}(e)}} \left/ {2} \right.} is again a weighted Dynkin diagram. The corresponding pair of nilpotent orbits is said to be friendly. In this paper we classify
the friendly pairs and describe some of their properties. Any subalgebra
\mathfraks\mathfrakl3 \mathfrak{s}{\mathfrak{l}_3} in
\mathfrakg \mathfrak{g} gives rise to a friendly pair; such pairs are called A2-pairs. If Gx is the lower orbit in an A2-pair, then
x ? [ \mathfrakgx,\mathfrakgx ] x \in \left[ {{\mathfrak{g}^x},{\mathfrak{g}^x}} \right] , i.e., x is reachable. We also show that
\mathfrakgx {\mathfrak{g}^x} has other interesting properties. Let
\mathfrakgx = ?i \geqslant 0\mathfrakgx(i) {\mathfrak{g}^x} = { \oplus_{i \geqslant 0}}{\mathfrak{g}^x}(i) be the
\mathbbZ - \textgrading \mathbb{Z} - {\text{grading}} determined by a characteristic of x. We prove that
\mathfrakgx {\mathfrak{g}^x} is generated by the Levi subalgebra
\mathfrakgx(0) {\mathfrak{g}^x}(0) and two elements of
\mathfrakgx(1) {\mathfrak{g}^x}(1) . In particular, the nilpotent radical of
\mathfrakgx {\mathfrak{g}^x} is generated by the subspace
\mathfrakgx(1) {\mathfrak{g}^x}(1) . 相似文献
7.
Let G be a reductive algebraic group over an algebraically closed field K of characteristic zero. Let
p:\mathfrak gr ? X = \mathfrak gr// G \pi :{\mathfrak{g}^r} \to X = {\mathfrak{g}^r}//G be the categorical quotient where
\mathfrak g \mathfrak{g} is the adjoint representation of G and r is a suitably large integer (in general r ≥ 5, but for many cases r ≥ 3 or even r ≥ 2 suffices). We show that every automorphism φ of X lifts to a map
F:\mathfrak gr ? \mathfrak gr \Phi :{\mathfrak{g}^r} \to {\mathfrak{g}^r} commuting with π. As an application we consider the action of φ on the Luna stratification of X. 相似文献
8.
In this paper, it is shown that the dual
[(\text Qord)\tilde]\mathfrak A \widetilde{\text{Qord}}\mathfrak{A} of the quasiorder lattice of any algebra
\mathfrak A \mathfrak{A} is isomorphic to a sublattice of the topology lattice
á( \mathfrak A ) \Im \left( \mathfrak{A} \right) . Further, if
\mathfrak A \mathfrak{A} is a finite algebra, then
[(\text Qord)\tilde]\mathfrak A @ á( \mathfrak A ) \widetilde{\text{Qord}}\mathfrak{A} \cong \Im \left( \mathfrak{A} \right) . We give a sufficient condition for the lattices
[(\text Con)\tilde]\mathfrak A\text, [(\text Qord)\tilde]\mathfrak A \widetilde{\text{Con}}\mathfrak{A}{\text{,}} \widetilde{\text{Qord}}\mathfrak{A} , and
á( \mathfrak A ) \Im \left( \mathfrak{A} \right) . to be pairwise isomorphic. These results are applied to investigate topology lattices and quasiorder lattices of unary algebras. 相似文献
9.
We study a type of left-invariant structure on Lie groups or, equivalently, on Lie algebras. We introduce obstructions to
the existence of a hypo structure, namely the five-dimensional geometry of hypersurfaces in manifolds with holonomy SU(3).
The choice of a splitting
\mathfrak g* = V1 ? V2 {\mathfrak{g}^*} = {V_1} \oplus {V_2} , and the vanishing of certain associated cohomology groups, determine a first obstruction. We also construct necessary conditions
for the existence of a hypo structure with a fixed almost-contact form. For nonunimodular Lie algebras, we derive an obstruction
to the existence of a hypo structure, with no choice involved. We apply these methods to classify solvable Lie algebras that
admit a hypo structure. 相似文献
10.
We study the singular homology (with field coefficients) of the moduli stack
[`(\mathfrak M)] g, n{\overline{\mathfrak{M}}_{g, n}} of stable n-pointed complex curves of genus g. Each irreducible boundary component of
[`(\mathfrak M)] g, n{\overline{\mathfrak{M}}_{g, n}} determines via the Pontrjagin–Thom construction a map from
[`(\mathfrak M)] g, n{\overline{\mathfrak{M}}_{g, n}} to a certain infinite loop space whose homology is well understood. We show that these maps are surjective on homology in
a range of degrees proportional to the genus. This detects many new torsion classes in the homology of
[`(\mathfrak M)] g, n{\overline{\mathfrak{M}}_{g, n}}. 相似文献
11.
Let
U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) be the finite W-algebra associated with a nilpotent element e in a complex simple Lie algebra
\mathfrakg = \textLie(G) \mathfrak{g} = {\text{Lie}}(G) and let I be a primitive ideal of the enveloping algebra
U( \mathfrakg ) U\left( \mathfrak{g} \right) whose associated variety equals the Zariski closure of the nilpotent orbit (Ad G) e. Then it is known that
I = \textAn\textnU( \mathfrakg )( Qe ?U( \mathfrakg,e )V ) I = {\text{An}}{{\text{n}}_{U\left( \mathfrak{g} \right)}}\left( {{Q_e}{ \otimes_{U\left( {\mathfrak{g},e} \right)}}V} \right) for some finite dimensional irreducible
U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) -module V, where Q
e
stands for the generalised Gelfand–Graev
\mathfrakg \mathfrak{g} -module associated with e. The main goal of this paper is to prove that the Goldie rank of the primitive quotient
U( \mathfrakg ) | / |
I {{{U\left( \mathfrak{g} \right)}} \left/ {I} \right.} always divides dim V. For
\mathfrakg = \mathfraks\mathfrakln \mathfrak{g} = \mathfrak{s}{\mathfrak{l}_n} , we use a theorem of Joseph on Goldie fields of primitive quotients of
U( \mathfrakg ) U\left( \mathfrak{g} \right) to establish the equality
\textrk( U( \mathfrakg ) | / |
I ) = dimV {\text{rk}}\left( {{{{U\left( \mathfrak{g} \right)}} \left/ {I} \right.}} \right) = \dim V . We show that this equality continues to hold for
\mathfrakg \ncong \mathfraks\mathfrakln \mathfrak{g} \ncong \mathfrak{s}{\mathfrak{l}_n} provided that the Goldie field of
U( \mathfrakg ) | / |
I {{{U\left( \mathfrak{g} \right)}} \left/ {I} \right.} is isomorphic to a Weyl skew-field and use this result to disprove Joseph’s version of the Gelfand–Kirillov conjecture formulated
in the mid-1970s. 相似文献
12.
Let ${\mathfrak{g}}Let
\mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field
\mathbbK\mathbb{K} of characteristic 0. Let
\mathfrakg\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of
\mathfrakg{\mathfrak{g}} and
\mathfrakg\Bbbk=\mathfrakg\mathbbZ?\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where
\Bbbk\Bbbk is the algebraic closure of
\mathbbFp{\mathbb{F}}_{p}. Let
G\BbbkG_{\Bbbk} be a simple, simply connected algebraic
\Bbbk\Bbbk-group with
\operatornameLie(G\Bbbk)=\mathfrakg\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra
U(\mathfrakg\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for
\mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions
\Bbbk (\mathfrakg\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield
\Bbbk(\mathfrakg\Bbbk)G\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions
\mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield
\mathbbK(\mathfrakg)\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if
\mathfrakg{\mathfrak{g}} is of type B
n
, n≥3, D
n
, n≥4, E6, E7, E8 or F4. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the
above types. In other words, if
\mathfrakg{\mathfrak{g}} is of type B
n
, n≥3, D
n
, n≥4, E6, E7, E8 or F4, then the Lie field of
\mathfrakg{\mathfrak{g}} is more complicated than expected. 相似文献
13.
We propose a notion of algebra of twisted chiral differential operators over algebraic manifolds with vanishing 1st Pontrjagin class. We show that such algebras possess
families of modules depending on infinitely many complex parameters, which we classify in terms of the corresponding algebra
of twisted differential operators. If the underlying manifold is a flag manifold, our construction recovers modules over an
affine Lie algebra parameterized by opers over the Langlands dual Lie algebra. The spaces of global sections of “smallest”
such modules are irreducible
[^(\mathfrak g)]{{\hat{{\mathfrak{g}}}}} -modules, and all irreducible
\mathfrak g{{\mathfrak{g}}} -integrable
[^(\mathfrak g)]{{\hat{{\mathfrak{g}}}}} -modules at the critical level arise in this way. 相似文献
15.
For any complex 6-dimensional nilpotent Lie algebra
\mathfrak g,\mathfrak{g}, we compute the strain of all indecomposable 7-dimensional nilpotent Lie algebras which contain
\mathfrak g\mathfrak{g} by the adjoining a derivation method. We get a new determination of all 7-dimensional complex nilpotent Lie algebras, allowing
to check earlier results (some contain errors), along with a cross table intertwining nilpotent 6- and 7-dimensional Lie algebras. 相似文献
16.
We investigate splitting number and reaping number for the structure ( ω)
ω
of infinite partitions of ω. We prove that
\mathfrak rd £ non( M), non( N),\mathfrak d{\mathfrak{r}_{d}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N}),\mathfrak{d}} and
\mathfrak sd 3 \mathfrak b{\mathfrak{s}_{d}\geq\mathfrak{b}} . We also show the consistency results ${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and ${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})}${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})} . To prove the consistency
\mathfrak rd < add( M){\mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and
\mathfrak sd < cof( M){\mathfrak{s}_{d} < \mathsf{cof}(\mathcal{M})} we introduce new cardinal invariants
\mathfrak rpair{\mathfrak{r}_{pair}} and
\mathfrak spair{\mathfrak{s}_{pair}} . We also study the relation between
\mathfrak rpair, \mathfrak spair{\mathfrak{r}_{pair}, \mathfrak{s}_{pair}} and other cardinal invariants. We show that
cov( M), cov( N) £ \mathfrak rpair £ \mathfrak sd,\mathfrak r{\mathsf{cov}(\mathcal{M}),\mathsf{cov}(\mathcal{N})\leq\mathfrak{r}_{pair}\leq\mathfrak{s}_{d},\mathfrak{r}} and
\mathfrak s £ \mathfrak spair £ non( M), non( N){\mathfrak{s}\leq\mathfrak{s}_{pair}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N})} . 相似文献
17.
We generalize a result of Kostant and Wallach concerning the algebraic integrability of the Gelfand-Zeitlin vector fields
to the full set of strongly regular elements in
\mathfrak g\mathfrak l \mathfrak{g}\mathfrak{l} ( n, ℂ). We use decomposition classes to stratify the strongly regular set by subvarieties XD {X_\mathcal{D}} . We construct an étale cover
[^(\mathfrak g)] D {\hat{\mathfrak{g}}}_\mathcal{D} of XD {X_\mathcal{D}} and show that XD {X_\mathcal{D}} and
[^(\mathfrak g)] D {\hat{\mathfrak{g}}}_\mathcal{D} are smooth and irreducible. We then use Poisson geometry to lift the Gelfand-Zeitlin vector fields on XD {X_\mathcal{D}} to Hamiltonian vector fields on
[^(\mathfrak g)] D {\hat{\mathfrak{g}}}_\mathcal{D} and integrate these vector fields to an action of a connected, commutative algebraic group. 相似文献
18.
Let
\mathfrak a \mathfrak{a} be a finite-dimensional Lie algebra and
Y( \mathfrak a ) Y\left( \mathfrak{a} \right) the
\mathfrak a \mathfrak{a} invariant subalgebra of its symmetric algebra
S( \mathfrak a ) S\left( \mathfrak{a} \right) under adjoint action. Recently there has been considerable interest in studying situations when
Y( \mathfrak a ) Y\left( \mathfrak{a} \right) may be polynomial on index
\mathfrak a \mathfrak{a} generators, for example if
\mathfrak a \mathfrak{a} is a biparabolic or a centralizer
\mathfrak gx {\mathfrak{g}^x} in a semisimple Lie algebra
\mathfrak g \mathfrak{g} . 相似文献
19.
Let V be a 2 m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let
\mathfrakBn(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra
\mathfrakBn( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e
1
e
3⋯
e
2f-1 where 0 ≤ f ≤ [n/2]. Let HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V
⊗n
. In this paper we prove that dimHTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim
\textEn\textdK\textSp(V)( V ?n \mathord | / |
\vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) are both independent of K, and the natural homomorphism from
\mathfrakBn( - 2m ) \mathord | / |
\vphantom ( - 2m ) \mathfrakBn(f) \mathfrakBn(f) {\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{(f)}}}} \right.} {\mathfrak{B}_n^{(f)}}} to
\textEn\textdK\textSp(V)( V ?n \mathord | / |
\vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) is always surjective. We show that HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} has a Weyl filtration and is isomorphic to the dual of
V ?n\mathfrakBn(f) \mathord | / |
\vphantom V ?n\mathfrakBn(f) V V ?n\mathfrakBn( f + 1 ) {{{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} V}} \right.} V}^{ \otimes n}}\mathfrak{B}_n^{\left( {f + 1} \right)} as an
\textSp(V) - ( \mathfrakBn( - 2m ) \mathord | / |
\vphantom ( - 2m ) \mathfrakBn( f + 1 ) \mathfrakBn( f + 1 ) ) {\text{Sp}}(V) - \left( {{\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right.} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right) -bimodule. We obtain an
\textSp(V) - \mathfrakBn {\text{Sp}}(V) - {\mathfrak{B}_n} -bimodules filtration of V
⊗n
such that each successive quotient is isomorphic to some
?( l) ?zg,l\mathfrakBn \nabla \left( \lambda \right) \otimes {z_{g,\lambda }}{\mathfrak{B}_n} with λ ⊢ n 2g, ℓ(λ)≤m and 0 ≤ g ≤ [n/2], where ∇(λ) is the co-Weyl module associated to λ and z
g,λ is an explicitly constructed maximal vector of weight λ. As a byproduct, we show that each right
\mathfrakBn {\mathfrak{B}_n} -module
zg,l\mathfrakBn {z_{g,\lambda }}{\mathfrak{B}_n} is integrally defined and stable under base change. 相似文献
20.
Let
( R,\mathfrak m){(R,\mathfrak m)} be a noetherian, local ring with completion [^( R)]{\hat{R}} . We show that R ì [^( R)]{R \subset \hat{R}} satisfies the condition Going up if and only if there exists to every artinian R-module M with
Ann R( M) ì \mathfrak p{{\rm Ann}_R(M) \subset \mathfrak{p}} a submodule U ì M{U \subset M} with
Ann R( U)=\mathfrak p.{{\rm {Ann}}_R(U)=\mathfrak{p}.} This is further equivalent to R being formal catenary, to α( R) = 0 and to
Hd\mathfrakq/\mathfrakp( R/\mathfrak p)=0{H^d_{\mathfrak{q}/\mathfrak{p}}(R/\mathfrak{p})=0} for all prime ideals
\mathfrak p ì \mathfrak q \subsetneq \mathfrak m{\mathfrak{p} \subset \mathfrak{q} \subsetneq \mathfrak{m}} where
d = dim( R/\mathfrak p){d = {\rm {dim}}(R/\mathfrak{p})}. 相似文献
|