Questions tagged [short-exact-sequences]

For questions about short exact sequences in various contexts, including questions on short exact sequences of groups or modules.

Filter by
Sorted by
Tagged with
1 vote
1 answer
100 views

Reference request regarding faithfully exact functors between abelian categories

I am looking for a reference for the following result (or any subresult) in any book or notes: Lemma. Let $F:\mathcal{A}\to\mathcal{B}$ be an exact functor between abelian categories. The following ...
Elías Guisado Villalgordo's user avatar
2 votes
2 answers
155 views

$String/CP^{\infty}=Spin$ or a correction to this quotient group relation

We know that there is a fiber sequence: $$ ... \to B^3 Z \to B String \to B Spin \to B^2 Z \to ... $$ Is this fiber sequence induced from a short exact sequence? If so, is that $$ 1 \to B^2 Z = B S^...
zeta's user avatar
  • 337
1 vote
0 answers
72 views

Inflation-restrction sequence for maximal $S$-ramified extension

Let $K$ be a number field. Let $G_K$ be an absolute Galois group of $K$. Let $M$ be a $G_K$-module and $L/K$ be a finite extension. There is a inflation-restriction exact sequence, $0\to H^1(Gak(L/K), ...
Duality's user avatar
  • 1,377
1 vote
1 answer
206 views

A short exact sequence regarding Kähler differentials and an invertible ideal on an algebraic curve

$\def\sO{\mathcal{O}} \def\sK{\mathcal{K}} \def\sC{\mathscr{C}}$I am trying to understand what the maps are on a certain s.e.s. of sheaves of modules on an algebraic curve. It is \eqref{ses} on Conrad'...
Elías Guisado Villalgordo's user avatar
10 votes
2 answers
700 views

Spectral sequences and short exact sequences

Suppose I take a short exact sequence of filtered chain complexes: $$0\to A\xrightarrow{p} B\xrightarrow{q} C\to 0$$ We assume that $p$ and $q$ are filtration-preserving, so that $p(F_rA)\subseteq ...
Richard Hepworth's user avatar
4 votes
1 answer
201 views

Quadratic refinements of a bilinear form on finite abelian groups

$\DeclareMathOperator\Hom{Hom}$Let $A$ be a finite abelian group and $\text{Sym}(A)$ the (abelian) group of symmetric bilinear forms over $A$ valued in $\mathbb{R}/\mathbb{Z}$. A quadratic function on ...
Andrea Antinucci's user avatar
7 votes
1 answer
310 views

Pontryagin dual of a group-cohomology class

Let $A, B, C$ be finite Abelian groups fitting in a short exact sequence $$ 1 \rightarrow A\overset{\iota}{\rightarrow} B\overset{\pi}{\rightarrow} C\rightarrow 1 $$ This determines a class $[\...
Andrea Antinucci's user avatar
2 votes
0 answers
75 views

Almost split sequences for symmetric algebras

Let $k$ be an algebraically closed field and $A$ be a symmetric algebra. I want to know how to compute almost split sequences ending at a non-projective indecomposable right $A$-module $X$. Question: ...
sola's user avatar
  • 21
3 votes
2 answers
617 views

Does the cohomology Bockstein homomorphism map to the homology Bockstein homomorphism under Poincarè duality?

Given a manifold $X$ and short exact sequence of abelian groups $$ 1\rightarrow A_1\overset{\iota}{\rightarrow} A_2\overset{\pi}{\rightarrow} A_3\rightarrow 1 $$ we get the Bockstein map in cohomology ...
Andrea Antinucci's user avatar
2 votes
1 answer
151 views

Lie algebras for which all one-dimensional extensions split

I was recently trying to prove the following "well-known" theorem for myself, given that I could not find a proof in the literature that I could understand. In what that follows, I will ...
Nikhil Sahoo's user avatar
  • 1,175
1 vote
0 answers
174 views

Exterior product of Euler Exact Sequence

Consider the Euler exact sequence: $ 0\longrightarrow \mathcal{O}_{\mathbb{P}^n} \longrightarrow \mathcal{O}_{\mathbb{P}^n}(1)^{n+1}\longrightarrow \mathcal{T}_{\mathbb{P}^n} \longrightarrow 0 $ This ...
BVquantization's user avatar
0 votes
2 answers
142 views

Essentially zero inverse system of abelian groups

I am learning local cohomology from Hartshorne’s Local Cohomology book. My question is about the notion of essentially zero inverse system of abelian groups, which is defined to be an inverse system ...
Boris's user avatar
  • 491
3 votes
0 answers
178 views

When is $BG \rightarrow BH \rightarrow BK$ a principal fibration?

Let $1 \rightarrow G \rightarrow H \rightarrow K \rightarrow 1$ be a short exact sequence of groups. Assume for simplicity that $G$ is finite, with the discrete topology (so $BG$ is a $K(G,1)$). ...
Tanny Sieben's user avatar
1 vote
1 answer
277 views

Short exact sequence of equivariant line bundles on $\mathbb P^1$

I have a two-dimensional vector space ${\mathbb C}^2$ with basis $e_m, f_1$ and action of ${\mathbb C}^*$ by $t \cdot e_m = t^m e_m$ and $t \cdot f_1 = f_1$ and I have the projective line ${\mathbb P}^...
IntegrableSystemsEnthusiast's user avatar
0 votes
0 answers
98 views

Identity component of $\mathrm{Ker}(E^n→E^m)$ in the advanced topics in the arithmetic of elliptic curves

$\DeclareMathOperator\Ker{Ker}$Silverman's "Advanced topics in the arithmetic of elliptic curves", p.115 reads $$0\to\mathfrak{a}^{-1}Λ\to\Bbb{C}\to\Ker(E^n\to E^m)\to Λ^n/A^tΛ^m\quad (1)$$ ...
Duality's user avatar
  • 1,377
20 votes
2 answers
807 views

Pair of short exact sequences of groups

Does there exist a pair of finite groups $G$ and $H$ satisfying both of the short exact sequences $1 \rightarrow G \rightarrow H \rightarrow A_4 \rightarrow 1$ and $1 \rightarrow G \rightarrow H \...
Daniel Sebald's user avatar
3 votes
1 answer
291 views

Derived Hom without injectives nor projectives

I am stuck with the following farce on derived Homs. I have an abelian category $A$ and I showed that, given any two objects $X$ and $Y$ of $A$, the group of $1$fold extensions $\operatorname{Ext}^1_{...
Stabilo's user avatar
  • 1,439
3 votes
0 answers
209 views

For a family of short exact sequences of coherent sheaves, can we define the splitting subscheme?

This question has been asked in SE. Let $k$ be an algebraically closed field of characteristic zero. Let $X$ be a projective scheme over $k$. We can talk about short exact sequences of coherent ...
Display Name's user avatar
1 vote
0 answers
80 views

A sufficient condition for automorphism of an exact sequence

I asked A sufficient condition for Automorphism of an exact sequence earlier on Math.StackExchange but did not get any response so am posting it here. I am given the following commutative diagram with ...
Subham Jaiswal's user avatar
0 votes
0 answers
158 views

Exactness of $I$-adic completion in a certain non-finitely generated case

I would like the functor $$(-\otimes_{\mathbb Z} F)\hat{}: \mathbb{Z}[x_1,\dots,x_r]\text{-Mod}_{\mathrm{f.g.}}\longrightarrow \mathbb{Z}[x_1,\dots,x_r]\text{-Mod}$$ to be exact, where completion is w....
user109300's user avatar
8 votes
1 answer
350 views

Analogue of Bockstein for crossed module extensions and higher Steenrod square

It is well known that in $\mathbb{Z}_2$-valued simplicial cohomology (and other cohomologies) $$ Sq^1 = \beta\;,$$ where $Sq^1$ is the first Steenrod square and $\beta$ is the Bockstein homomorphism ...
Andi Bauer's user avatar
  • 2,891
5 votes
0 answers
191 views

Outer and inner automorphism of $\mathrm{Pin}$ groups

$\DeclareMathOperator\Inn{Inn}\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Out{Out}\DeclareMathOperator\Pin{Pin}\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\SO{SO}\DeclareMathOperator\PSO{...
Марина Marina S's user avatar
1 vote
1 answer
228 views

Are there nonaffine schemes over which every exact sequence of vector bundles is split?

Is there an example of a non-affine scheme $X$ such that every short exact sequence of vector bundles over $X$ splits? If there are such examples then what if we ask it to be true of all (not ...
Arun Kumar's user avatar
4 votes
1 answer
284 views

A Kummer exact sequence involving $\mu_\infty$

Let $k$ be a number field. We have the well-known Kummer exact sequence of etale sheaves on $\mathrm{Spec}\, k$: $$1 \rightarrow \mu_n \rightarrow \mathbb{G}_m \rightarrow \mathbb{G}_m \rightarrow 1.$$...
oleout's user avatar
  • 855
4 votes
0 answers
58 views

Fundamental group of the complement of some quadric cones

cross-posting from MathSE Problem Consider the domain $$\Omega=\mathbb{C}^4\setminus\{z_0(z_1^2+z_2^2+z_3^2)=0\}$$ and the map $$F:\Omega\to\mathbb{CP}^1\qquad F(z_0,z_1,z_2,z_3)=[z_0^2:z_1^2+z_2^2+...
Samuele's user avatar
  • 1,185
4 votes
1 answer
136 views

Linearity of covariant and contravariant $Ext^1$ functors defined via short exact sequences

Let $R$ be a Commutative ring. Let $M,X,Y$ be $R$-modules. Let $f: X \to Y$ be an $R$-linear map. Then, given an exact sequence $\eta: 0\to X \to Z_{\eta} \to M \to 0$ in $Ext^1(M,X)$, the pushout of $...
sdey's user avatar
  • 642
4 votes
0 answers
112 views

How can one characterize categories of exact functors?

Does there exist any intrinsic characterization of additive categories equivalent to $\operatorname{Ex}(A,Ab)$, that is, of exact functors from a small abelian category $A$ into abelian groups? Any ...
Mikhail Bondarko's user avatar
2 votes
0 answers
79 views

What is the isomorphism from $\operatorname{Ext}^1_{T}(Y,X)$ to $\operatorname{Ext}_T(\mathbf{1},X\otimes Y^{\vee})$?

Let $T$ be an abelian rigid monoidal category and $\mathbf{1}$ be a unit object in $T$. For two objects $X$ and $Y$ in $T$, there is a natural group isomorphism $$n:\operatorname{Ext}^1_{T}(Y,X)\...
Stabilo's user avatar
  • 1,439
1 vote
1 answer
569 views

Computing Ext sheaves over complex projective plane

Let $X:=\mathbb{P}^2_K$ with $K$ algebraically closed field. Take $p\in X$ a point and $\mathcal{I}_p$ its ideal sheaf. One can prove (using Serre Duality and the exact sequence defining $\mathcal{I}...
John117's user avatar
  • 395
2 votes
1 answer
168 views

About nuclear-by-exact extensions

I know that in general exact-by-exact extensions of $C^*$-algebras need not be exact. Is it true that, if we have a short exact sequence of $C^*$-algebras $$0 \to I \to A \to B \to 0$$ such that $I$ ...
JBrude's user avatar
  • 105
2 votes
0 answers
115 views

Splitting of short exact sequence of strongly-semistable sheaves

Does short exact sequence of strongly semi-stable bundles (torsion-free sheaves) of the same slope split after applying few Frobenius pullbacks? Strongly semi-stable means that pullback under ...
user127776's user avatar
  • 5,811
2 votes
1 answer
615 views

The left exactness of conormal sequence when $X$ is singular

When $X$ is a nonsingular variety over a field $k$ and Z is a closed nonsingular subvariety, it is known that the conormal sequence $$ 0\to\mathscr{I}/\mathscr{I}^2\to \mathscr{O}_Z \otimes_{\mathscr{...
GeU's user avatar
  • 129
4 votes
1 answer
178 views

An explicit description of $\operatorname{Isom}(\widetilde{\operatorname{Sl}_2})$

$\DeclareMathOperator\Sl{Sl}\DeclareMathOperator\PSl{PSl}\DeclareMathOperator\Isom{Isom}$Let $\widetilde{\Sl_2}$ be the Thurson geometry that can either be described as the universal cover of $\PSl(2,\...
Dinisaur's user avatar
  • 213
1 vote
0 answers
99 views

Two questions regarding double short exact sequences

Two short exact sequences on the same objects is called double short exact sequence. The morphism of double short exact sequences is defined in the same way you'd expect, it is a morphism of the ...
user127776's user avatar
  • 5,811
1 vote
2 answers
327 views

When splitting of short exact sequence preserves the kernels

This is a problem that I thought at first was obvious but that became less clear the more I thought about it. Assume we have a finitely generated algebra $A$ over a field $k$, and a short exact ...
user127776's user avatar
  • 5,811
1 vote
0 answers
109 views

Extending automorphism from an affine

Given a projective variety $X$ and an open affine $U$ in $X$. Is there a way to decide whether a given automorphism of a vector bundle $E$ on $U$, is the restriction of automorphism of some coherent ...
user127776's user avatar
  • 5,811
3 votes
1 answer
298 views

Resolution of short exact sequences by the split ones

Given a short exact sequence of vector bundles on a projective variety, after tensoring with an $\mathcal{O}(n)$ with high $n$ that makes all terms globally generated (so that taking global sections ...
user127776's user avatar
  • 5,811
1 vote
1 answer
218 views

$M$ comodule if and only if $N$ and $L$ comodules

Let $k$ be a field, $C$ a $k$-coalgebra, and $M$ a left $C$-comodule. Then, for a short exact sequence $$ 0 \rightarrow N \rightarrow M \rightarrow L \rightarrow 0 $$ of vector spaces, we have that $N$...
bliipbluup's user avatar
5 votes
1 answer
217 views

Colimits of short exact sequences of C*-algebras

Assume I have an inductive system of short exact sequences of $C^{\ast}$-algebras (i.e., short exact sequences $0 \to A_n \to B_n \to C_n \to 0$ together with transformations from the $n$-th to the $(...
AlexE's user avatar
  • 2,926
-3 votes
1 answer
175 views

Exact sequence of sheaves that generates an exact sequence of Abelian groups [closed]

Let $X$ be a smooth manifold of dimension $n > 1$. Let us denote by $\underline{\mathbb{S}}^{1}$ the sheaf of the smooth functions over circle, $C^{\infty}$ the sheaf of the smooth functions over $\...
Joao Vitor's user avatar
2 votes
0 answers
74 views

On exactness of associating smooth representation-functor $(\,)^\infty$

Let $G$ be a locally profinite group, e.g. reductive group over $\mathbb{Q}_p$. For a (abstract) representation $(\pi,V)$ of $G$ and $K\subset G$ compact open subgroup denote by $V^K\subset V$ the $\...
KKD's user avatar
  • 463
1 vote
1 answer
190 views

Self-map of short exact sequences

Consider the commutative diagram of finite abelian groups $\require{AMScd}$ \begin{CD} 0@>>> A @>i>> B@>\pi>> C@>>> 0\\ \ @VV 0 V@VVfV@VV 0 V\\ 0@>>>A @&...
Igor Belegradek's user avatar
4 votes
1 answer
475 views

Short exact sequence $0\to \mathbb Z\to A \to \mathbb R \to 0$

Does every short exact sequence $0\to \mathbb Z\to A \to \mathbb R \to 0$ split in the category of Abelian groups?
Richard P.'s user avatar
4 votes
1 answer
254 views

Isomorphism of semidirect products of surface groups

Recall that the fundamental group of a closed Riemann surface of genus $h$ has the presentation $$\Pi_h= \langle a_1, \,b_1, \ldots, a_h,\, b_h \; | \; [a_1, \, b_1]\ldots [a_h, \, b_h]=1 \rangle.$$ ...
Francesco Polizzi's user avatar
4 votes
0 answers
170 views

additivity of trace with respect to short exact sequences

Let $\mathcal{C}$ be an abelian rigid symmetric monoidal category over a field $K$. Assume that the endomorphism ring of the tensor unit in $\mathcal{C}$ is $K$. If $X$ is an object in $\mathcal{C}$ ...
Ehud Meir's user avatar
  • 4,969
161 votes
38 answers
27k views

Short exact sequences every mathematician should know

I'd like to have a big-list of "great" short exact sequences that capture some vital phenomena. I'm learning module theory, so I'd like to get a good stock of examples to think about. An ...
6 votes
0 answers
232 views

How much does Ext tell me about isomorphisms?

So this was a question I sort of stumbled on and realised I was quite stumped. Suppose we have two finitely generated $R$-modules $M, N$ (I have the group ring $R=\mathbb{Z}[G]$ in mind) which appear ...
DJWilliams's user avatar
1 vote
1 answer
333 views

Splitting of short exact sequence in the category of finitely generated modules over a commutative Noetherian ring

In the category of finitely generated modules over a commutative Noetherian ring, the splitting of a short exact sequence can be checked locally at the maximal ideals of the ring. One reference for ...
sdey's user avatar
  • 642
1 vote
0 answers
99 views

Exactness of a certain sequence

Let $R$ be a commutative unitary ring and $I_1,..., I_n$ ideals in $R$. For each $p\in\{0,...,n-1\}$ consider the direct sums $\bigoplus_{i_0<...<i_p} I_{i_0}\cap...\cap I_{i_p}$ and define an $...
Rafael's user avatar
  • 183
0 votes
0 answers
104 views

Increasing the number of ideals in an exact sequence

In Broadmann and Sharp's book, Local Cohomology: An Algebraic Introduction with Geometric Applications, the exercise $3.2.4$ is about an exact sequence of the form $\DeclareMathOperator{\Hom}{Hom}$ $...
Rafael's user avatar
  • 183