Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In Milne's Étale Cohomology (both the book and the online notes), he sometimes says a diagram of the form

$$0 \rightarrow A \rightarrow B \rightrightarrows C$$

is an exact sequence if $A \to B$ is the equaliser of $B \rightrightarrows C$. My lecturer also said the same thing, so I suspect this standard usage at least in some circles. I'm wondering if this is ad-hoc, or if this is a special case of a more general definition of exact sequence I'm unaware of; for instance, what might an exact sequence of the form

$$A \rightarrow B \rightrightarrows C \mathrel{\hbox{$\begin{matrix} \smash{\to} \newline \smash{\to} \newline \smash{\to} \end{matrix}$}} D$$

actually be?

share|improve this question
    
I've seen the dual situation in Tim van der Linden's thesis and his subsequent work, where the dual diagram of $A \rightrightarrows B \to C$ is called a fork (see page 29). Exactness notions are considered in non-additive settings for developing "nonabelian" homology theories. –  t.b. Dec 2 '11 at 20:31
add comment

1 Answer

up vote 2 down vote accepted

A definition of ‘exact’ for an augmented (semi)simplicial object can be found in Tierney and Vogel (1969), Simplicial resolutions and derived functors (MR, DOI 10.1007/BF01110914):

Definition. For a projective class $\mathcal{P}$, an object $A$ and a (semi)simplicial object $X_\bullet$, we say $\partial^0 : X_0 \to A$ is $\mathcal{P}$-exact if $\partial^0$ is a $\mathcal{P}$-epimorphism and, for every $n$, the comparison morphism $X_{n+1} \to K_{n+1}$ is a $\mathcal{P}$-epimorphism, where $K_{n+1}$ is the simplicial kernel of $$X_n \mathrel{\mbox{$\begin{matrix} \smash{\to} \newline \smash{\scriptstyle\vdots} \newline \smash{\to} \end{matrix}$}} X_{n-1}$$ i.e. we have morphisms $k^{n+1}_{0}, \ldots, k^{n+1}_{n+1} : K_{n+1} \to X_n$ which are universal with respect to the property that $$\partial^n_i \circ k^{n+1}_i = \partial^n_i \circ k^{n+1}_{i+1}$$ (Recall that, by the simplicial identities, $\partial^n_i \circ \partial^{n+1}_i = \partial^n_i \circ \partial^{n+1}_{i+1}$, so there is a comparison morphism $X_{n+1} \to K_{n+1}$ by universality.)

In particular, in a regular category, if $\mathcal{P}$ is the class of regular projectives, and $X_0 \to A$ is $\mathcal{P}$-exact, we have a kernel pair diagram $$K_1 \rightrightarrows X_0 \to A$$ which is also a coequaliser diagram (by unique image factorisation), so we have an exact fork.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.