跳到主要内容
数学

标记为[群体同源性]的问题

提出问题

一种工具，用于使用同源理论中的方法计算组动作的不变量，例如不变量、共变量、扩展。。。与（同源上同调）一起使用。

1,050问题
最新 活动 弹跳 未答复
筛选依据
排序依据
标记为
1 投票
1 回答
21 意见

从连通紧李群到其最大环面的$\mathbb{Q}，\mathbb{R}，\tathbb{C}$-系数群上同调的回拉是内射的吗？

对于分类空间为$BG$的$G$李群（或拓扑群），对于$a$交换环，我们用$H_G^*（a）=H^*（BG；a）$表示系数为$a$。。。
I.A.S.Tambe的用户头像
I.A.S.坦贝
  • 2,719
5 投票
2 答案
213 意见

非贝拉有限单群的第二上同调消失。

$\声明MathOperator{Hom}{Hom{$$\声明MathOperator{Ext}{Ext}$给定一个非贝拉有限单群$G$，如何证明：$H_1（G）=H^1（G）=H^2（G）=0？我知道$H_1（G）=G/[G，G]$是。。。
熊江南用户头像
熊江南
  • 470
5 投票
0 答案
73 意见

高同伦群群作用的推广

给定一个拓扑空间$X$，其中包含一个组操作$\varphi:G\乘以X\到X$，我们可以用$\pi_1（X）$构造一个组扩展，如下所示：将通用封面$\pi:\tilde X\改为X$，然后。。。
FirstAid的用户头像
急救
  • 51
0 投票
1 回答
38 意见

练习6.6.3 Weibel——与$G$-模块结构兼容的诱导共轭作用

这是Weibel“同调代数”第6章关于群上同调的练习。供参考，见第183页。所以问题是要我们证明：假设$A$是$G$-模块，并且。。。
贾斯珀的用户头像
贾斯珀
  • 83
0 投票
0 答案
42 意见

分裂扩张的上同调群的分裂

设$G$是一个群，$0\rightarrowB\right箭头a\rightArrowC\rightARrow0$是交换平凡$G$-模的群分裂扩展。给定一个同态，我在下面加了一个星号表示。。。
Alex Doe的用户头像
亚历克斯·多伊
  • 634
2 投票
0 答案
24 意见

群上同调中的一个精确序列

设$H$和$G$是有限群。设$A$是一个具有$G$动作的阿贝尔群，并写出不动点阿贝尔群的$A^G$。是否有以下形状的确切顺序：$$0\...
JeCl的用户头像
JeCl公司
  • 541
0 投票
0 答案
15 意见

具有特定上同调性质的有限群

我想找到一个具有以下属性的有限群$G$的示例：让我写$N\substeq H^2（G；\mathbb{F} _2)$\mathbb的${F} _2$-由类$x$组成的子空间，其。。。
JeCl的用户头像
JeCl公司
  • 541
1 投票
0 答案
64 意见

群射影表示中的规范不变相位

我正在读一篇关于二维拓扑序对称分形的物理论文arXiv 1403.0575。它包括对称群$G$的投影表示的简要描述。对于。。。
郑元岳的用户头像
郑元岳
  • 351
0 投票
0 答案
31 意见

射影表示的提升

设$G$是有限群，$\sigma:G\to PGL（V）$是射影表示。在End（V）\mid\sigma_G（X）=X\\中为$的G\}$$中的所有G\定义定点子过程$$End（V）^G=\{X\。。。
卡沙亚尔的用户头像
卡沙亚尔
  • 2,417
2 投票
0 答案
35 意见

数域上SO（2,1）的有理同调

设$\mathrm｛SO｝（2，1）$是由$q（x，y，z）=x^2+y^2-z^2$的二次方定义的特殊正交群。这是一个连通非小连通代数群。现在，让$F$成为一个数字字段。。。
克劳迪奥·布拉沃的用户头像
克劳迪奥·布拉沃
  • 21
10 投票
1 回答
231 意见

李群上同调：条件的丛林

固定一个有限维李群$G$（这个关于维数的假设将贯穿整个问题）。首先，让我们忘掉所有平滑的结构，只把$G$当作一个。。。
ProphetX的用户头像
先知X
  • 498
0 投票
1 回答
47 意见

具有非平凡李代数上同调的非最小连通李群。

这个问题是由物理学引发的，试图找到一些例子，在这些例子中，人们可以推广巴格曼关于射影幺正表示的定理，该定理本质上声明射影。。。
ProphetX的用户头像
先知X
  • 498
1 投票
1 回答
111 意见

为什么连续同态群等于同态群？

关于西尔弗曼的第二版《椭圆曲线的算术》，我有以下问题。首先，让$K$是一个完美域，$G{上划线{K}/K}$是$K$的绝对Galois群，$M$。。。
user875280的用户头像
用户875280
  • 75
1 投票
0 答案
22 意见

与群自同构兼容的射影表示

我们知道，群$G$，$\rho（G）\rho（h）=e^{i\omega（G，h）}\rho[gh）$的投影表示是由第二个群上同调$h^2（G，U（1））$分类的。现在让我们指定一个组。。。
学习者的用户头像
学习者
  • 59
5 投票
1 回答
75 意见

为什么非阿贝尔4-余循环条件？

在一元类中，它根据定义（连同恒等式一致性）持有一个结合性一致性公理，说明五边形的可交换性现在，如果我们垂直分类，我们可以。。。
Nikio的用户头像
尼基奥
  • 1, 060

15 30 50 每页
1
2 三 4 5
…
70