Homological algebra studies homology in a general algebraic setting. The purpose is extraction of information about structures involved in terms of tangible objects like rings groups and modules.

learn more… | top users | synonyms

0
votes
0answers
9 views

Exemple about the difference between Morse and degree theory

i found this example but i don't understand how we applyed Morse theory and why we can't applyed degree theory. if the functional $f$ behaves like $<lu,u>$ at infinity where the symmetric ...
0
votes
0answers
6 views

how to do classification of topological space which a poset is a frame

is module in algebraic geometry for classification of topological space which a poset is a frame which invariant is for doing this classification of topological space? if want to do full combination ...
1
vote
0answers
19 views

Free objects in the category of dg modules

Suppose that $A$ is a dg algebra, does the category of dg modules over $A$ where morphisms are degree zero maps that commute with differential have a free object ( in general)? I have been reading a ...
3
votes
0answers
21 views

A variant of projective objects?

Let $\mathcal{C}$ be an additive category. Is there a common name for objects $P \in \mathcal{C}$ with the property that $\hom(P,-) : \mathcal{C} \to \mathsf{Ab}$ is right exact, i.e. preserves all ...
1
vote
0answers
47 views

Learning roadmap in Algebra

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas: a) Commutative Algebra b) Field Theory and Galois Theory c) Homological Algebra My question is ...
0
votes
1answer
22 views

Basic idea for finding critical point via Morse theory

Please what is the basic idea for finding critical point via Morse theory and critical groups? Thank you
3
votes
1answer
40 views

Exercise 1.1.3 in Charles Weibel’s book “An Introduction to Homological Algebra”

I am trying to teach myself some homological algebra and I got stuck right at the start with Exercise 1.1.3 from the book “An Introduction to Homological Algebra” by Charles Weibel. Exercise 1.1.3 ...
7
votes
2answers
108 views

The Freyd-Mitchell Embedding Theorem and projective (injective) objects

Given a small abelian category $\mathcal{A}$, the Freyd-Mitchell Embedding Theorem gives me a fully faithful exact functor $F:\mathcal{A}\rightarrow R$-$\mathsf{Mod}$, for some unital ring $R$, so ...
2
votes
0answers
38 views

Difference between two concepts of homotopy for simplicial maps?

I learn from Gelfand and Manin's Methods of Homological Algebra, Exercise 2 for I.4 that two maps $f,g\colon X\to Y$ between simplicial sets $X,Y$ are simply homotopic (maybe usually called simplicial ...
0
votes
2answers
58 views

About the definition of homology

can someone explaine me this definition of Homology: "The homology groups of $X$ measure "how-far" the chain complex associated to $X$ is from being exact." I know that homology measure the number ...
1
vote
2answers
69 views

Extensions of $\mathbb{Z}_p$ by $\mathbb{Z}$ (Hilton & Stammbach III.1.2)

Question is to compute $E(\mathbb{Z}_p,\mathbb{Z})$ i.e., equivalence classes of extensions of $\mathbb{Z}_p$ by $\mathbb{Z}$ By an extension of $A$ by $B$ i mean an $R$ module $E$ such that ...
5
votes
0answers
177 views

Morse theory Vs degree theory

I have this paragraph from K.C. Chang Infinite dimensional Morse theory In comparison with degree theory, which has proved very useful in nonlinear analysis in proving existence and in ...
1
vote
0answers
18 views

Is there an explicite description for injective sheaves?

I want to find a criterion for sheaves of modules to be injective. It would be great if one can such a criterion for sheaves of modules over a ringed space. But an answer for sheaves of abelian groups ...
2
votes
1answer
55 views

Commuting with kernels implies left exactness in Abelian category

I'm following Vakil's notes - chapter on category theory. One issue that is unclear in the notes is the conclusion that right adjoint functors are left exact. The notes define a left exact functor as ...
0
votes
2answers
50 views

Non-bijective isomorphism in a category of of sets.

I have been commanded on homework to find a non-bijective isomorphism in a category whose objects are sets, whose morphisms are set maps, and composition is the usual function composition. So our ...
2
votes
1answer
52 views

Do any 2 morphisms from objects $X$ to $Y$ define a chain homotopy equivalence?

I was curious about one thing: Let $A$ and $B$ be abelian categories with enough projectives, let $X$, $Y$ be objects in $A$ and let $P_{\bullet} \rightarrow X$, $P'_{\bullet} \rightarrow Y$ be ...
1
vote
0answers
35 views

Does base extension preserve exactness of s.e.s?

Let $k$ be a field. Say we have a s.e.s. of $k$-group schemes of finite type $1 \to G' \to G \to G'' \to 1$. Let $K \to k$ be a base extension. Is $1 \to G'_K \to G_K \to G''_K \to 1$ still ...
0
votes
1answer
66 views

Direct Sum on Homology

I have a big problem and i don't know how to solve it i have no idea So, let $i_2: X_2\rightarrow X$ an inclusion and $j_1: X\rightarrow (X,X_1)$ we have that $i_{2_*}: H_k(X_2)\rightarrow H_k(X)$ is ...
0
votes
0answers
73 views

Question about Property of Homology

I have this theorem, with the proof, but i dont understand, why they prove that $i_{1_*}, i_{2_*}$ are injective, we have that $i_{j_*},j=1,2$ are induced by an inclusion it is injective, so they are ...
1
vote
2answers
59 views

Relation between long exact sequences and Derived functors

I know that if i have a short exact sequence of chain complexes $$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$ then i can extend it to long exact sequence of homology groups as ...
5
votes
1answer
80 views

Definition of multiplication in Grothendieck ring

Let $X$ be a smooth variety over an algebraically closed field $k$ of dimension $n$. Consider the Grothendieck Group $K(X)$ of coherent sheaves on $X$, i.e. the free abelian group generated by ...
0
votes
1answer
19 views

If $R\rightarrow S$ is faithfully flat then show that it is pure, and reference for purity

I was reading about $F$-purity and $F$-splittings, when I came across then following statement which I can't proof: Definition: Let $R$ be a commutative ring with identity, and $M,N$ be $R$-modules. ...
1
vote
1answer
49 views

Is the constant sheaf $\mathbb{Q}$ injective?

Let $X$ be a topological space, and let $\mathbb{Q}$ be the constant sheaf of abelian groups on $X$ associated to the group of rational numbers under addition. Is $\mathbb{Q}$ an injective object in ...
2
votes
1answer
144 views

Homotopy invariance in homology

i have this from Hatcher's book "Algebric topology" And i don't understand why we have $i-1$ in $(-1)^{i-1}$ and strict inequality in $P\partial(\sigma)$ ? Please. Thank you.
2
votes
0answers
29 views

An exercise in homology computation / What is the geometric fixed points of an Eilenberg Maclane Spectrum?

The question I want to ask has a reasonably elementary formulation and I think there is a good chance it can be answered in this form (by someone more computationally skilled than me, or perhaps by ...
1
vote
1answer
44 views

Property of Homology: group isomorphism

I have this proposition, but I don't understand how they use the axiom 5, since in the axiom 5; $f,g: (X,A)\rightarrow (Y,B)$ and in the theorem we have $f:(X,A)\rightarrow (Y,B)$, $g:(Y,B)\rightarrow ...
0
votes
1answer
41 views

A short exact sequence

I have this proposition, and I don't understand how to do to obtain the short exact sequence: where axiom 4 is:
4
votes
2answers
121 views

Property of homology

I have this proposition, and I have two questions: 1) Why $H_k=\text{Im} i_*\oplus \ker r_*$ ? 2) Why $j_*: \ker r_*\rightarrow H_k(X,A)$ ? Edit: For the second, I try the 1th theorem of ...
2
votes
0answers
41 views

Category of Hilbert Spaces

Is it possible to triangulate the category of Hilbert spaces and bounded linear operators? I assume that one candidate for triangulation is the double dual space. What is a fact is that this ...
1
vote
0answers
30 views

finite group homology: $nH_k(G;M)=0$ for $n=|G|$?

Let $G$ be a finite group. Is there a simple proof (if any) that the order of $G$ annihilates the Eilenberg-MacLane homology $H_k(G;M)$ for all $k\geq1$? A simple proof of the statement for ...
1
vote
2answers
64 views

Property of excision of Homology

Please what is the difference between these two excision property: Let $X$ a topological space, $A$ a sub-space of $X$ and $U\subset A$ such that $\overline{U}\subset \stackrel{\circ}{A}$ . The ...
0
votes
1answer
36 views

A direct limit of pullbacks

Let an $R$-module $C$ be a direct limit of finitely presented $R$-modules $C_i$, and we have a short exact sequence as follows: $$0→A↪B\stackrel{\pi}→C→0.\qquad (S)$$ From each $C_i$ to the direct ...
0
votes
0answers
38 views

In an abelian category,every morphism can be written as composition of epi and mono.

Following Weibel's book on homological algebra, he states without proof that every morphism $f\colon A \to B$ can be written as composition of an epimorphism followed by a monomorphism. After many ...
0
votes
0answers
28 views

The injectivity of $f\mapsto f\circ v$ on $\hom(M'',N)$ implies that $v$ is surjective [duplicate]

I'm an undergrad getting familiar with some notions of commutative algebra by reading Atiyah-McDonald. On the exact sequences part, a part of the proof of (2.9) is proving that if ...
1
vote
1answer
14 views

When does homology commutes with arbitrary direct sums

Is it necessary to have the criteria that the direct sum of a collection of monics is a monic, to show that homology commutes with arbitrary direct sums? Because when I tried to prove the result, I ...
0
votes
0answers
62 views

Injective dimension and Krull dimension of a module

Let $R$ be a regular local ring and $M$ an $R$-module (not necessarily finite), then the injective dimension $\operatorname{id}_R(M)$ of $M$ is finite. When $M$ is finitely generated, we have ...
1
vote
1answer
58 views

Another description for the map $\text{Ext}^1_\mathbb{Z}(A,G)\to H^2(G,A)$

Group extensions of $G$ by $A$ $0\to A\to E\to G\to 0$ up to equivalence (where $G$ and $E$ may be nonabelian) are in bijection with the second group cohomology ...
1
vote
0answers
33 views

homology commutes with direct sum and product?

I'm looking at exercise 1.2.1 from Weibel's Intro to Homological Algebra. (I need to show that homology commutes with direct sum and direct product.) Is it possible to show that cokernels commute with ...
4
votes
0answers
51 views

On the definition of groups of multiplicative type

Let $k$ be a field of characteristic 0. The definition of a linear algebraic $k$-group of multiplicative type (m.t.) I've seen the most in the literature is that $G$ is of m.t. if it is a ...
1
vote
2answers
31 views

Basic computation of exact sequence

Given a long exact sequence of vector spaces: $$...\longrightarrow V_1 \overset{f}{\longrightarrow}V_2\overset{g}{\longrightarrow}V_3\longrightarrow...$$ Given another vector space $W$, is the ...
2
votes
1answer
123 views

Homology and topological propeties

i have this theorem with it's proof but i don't understand the last part They use this proposition: My question is Why $\varphi^c\cap U_i$ is closed and pairwise disjoint ? where ...
1
vote
0answers
21 views

Extension to rational and real chains

In the paper on stable commutator length, D. Calegari says that generalized $\operatorname{scl}$ function can be extended by linearity to rational group $1$-chains and by continuity to real chains ...
2
votes
2answers
72 views

Minimal injective resolution of a module

Let $R$ be a commutative Noetherian ring and $M$ an $R$-module. Let $0\rightarrow M \rightarrow E^{\bullet}$ be a minimal injective resolution of $M$ and $0\rightarrow M\rightarrow I^{\bullet}$ be an ...
1
vote
1answer
41 views

Additive, covariant functor commutes direct limits, then it commutes with direct sums?

Suppose $T:R-Mod \to R-Mod$ is an additive covariant functor that preserves direct limits. (R is commutative, unital. Noetherian if it suits you even). That is, if $(W_{\alpha})_{\alpha \in \Lambda}$ ...
0
votes
0answers
39 views

Question about a theorem from Chang's book: Methods in Nonlinear analysis

I have this this theorem from Chang's book: Methods in Nonlinear analysis, with it's proof, but i don't understand it, for example what it means $K(f_{\sigma_i})$ ? Please help me thank you
0
votes
0answers
84 views

Question about Homology from the Chang's book: Methods in Nonlinear analysis

In the K.C.Chang's book in page $336$ of the book this corollary without prove there is a theorem before it but I don't know if it is a corollary of this theorem, how I can prove this ...
0
votes
1answer
36 views

Question about Chains complexes

I have $\mathcal{U}=\lbrace X-U, A\rbrace$ such that $\overline{U}\subset \overset{º}{A}$ and $X=\overset{º}{(X-U)}\cup \overset{º}{A}$ where $X$ is a topological space, $A$ is a subset of $X$ and ...
1
vote
0answers
28 views

An example of short exact sequence which is not exact triangle.

Let $0 \to \mathbb Z/2\mathbb Z \to \mathbb Z/4\mathbb Z\to \mathbb Z/2\mathbb Z \to 0$ be a short exact sequence of complexes concentrated in degree $0$. How can I prove that it cannot be made into ...
2
votes
1answer
38 views

Derived Functors and nice Resolutions

Charles A. Weibel, like many other books I know, introduces the notion of (Left) dervied functros as following: "Let $\mathscr F:$$\mathscr A$$\rightarrow$$\mathscr B$ be a right exact functor ...
7
votes
1answer
141 views

Does the rank of homology and cohomology groups always coincide?

Let $(C_i)_{i \in \mathbb{Z}}$ be a chain complex of free abelian groups. Does the rank of the homology and cohomology groups of $(C_i)_{i \in \mathbb{Z}}$ always coincide, i.e. is ...