## STRICTLY COMMUTATIVE MODELS FOR E ∞ QUASI-CATEGORIES

## DIMITAR KODJABACHEV AND STEFFEN SAGAVE

Abstract. In this short note we show that E ∞ quasi-categories can be replaced by strictly commutative objects in the larger category of diagrams of simplicial sets indexed by finite sets and injections. This complements earlier work on diagram spaces by Christian Schlichtkrull and the second author.

## 1. Introduction

An E ∞ space is a space with a multiplicative structure encoded by the action of an E ∞ operad, i.e., an operad consisting of contractible spaces with a free Σ n -action. It is shown in joint work by Christian Schlichtkrull and the second author [SS12] that E ∞ spaces can be rigidified to strictly commutative objects if one passes to a larger category of I -spaces: if I denotes the category of finite sets n = { 1 , . . . , n } and injective maps, then the functor category sSet I has a symmetric monoidal convolution product, and the category sSet I [ C ] of commutative monoid objects in sSet I admits a model structure making it Quillen equivalent to the category of E ∞ spaces.

The following construction, due to Mirjam Solberg [SS, Section 4.14], shows that symmetric monoidal categories give rise to commutative monoid objects in sSet I in a natural way.

Example 1.1. Let ( A ⊗ , ) be a symmetric monoidal category. We consider the functor Φ( A ): I → Cat with objects of Φ( A )( n ) the n -tuples ( a , . . . , a 1 n ) of objects in A and morphisms

$$\Phi ( \mathcal { A } ) ( \mathbf n ) ( ( a _ { 1 }, \dots, a _ { n } ), ( b _ { 1 }, \dots, b _ { n } ) ) = \mathcal { A } ( a _ { 1 } \otimes \dots \otimes a _ { n }, b _ { 1 } \otimes \dots \otimes b _ { n } ).$$

Functoriality in I is induced by permutation of entries and insertion of the unit object of A . Composing with the nerve functor N gives an I -simplicial set N Φ( A ), and the symmetric monoidal structure of A makes N Φ( A ) a commutative monoid object in sSet I , see [SS, Proposition 4.16].

Equipped with the (standard or Kan) model structure, the category of simplicial sets sSet is Quillen equivalent to the category of topological spaces. Therefore, weak homotopy types of spaces are represented by simplicial sets. But simplicial sets also model quasi-categories up to Joyal equivalence: there is a finer Joyal model structure on sSet whose fibrant objects are the quasi-categories and whose weak equivalences are called Joyal equivalences (see e.g. [Lur09a] or [DS11] for published references). Simplicial sets with E ∞ structures are also interesting from this perspective since they model symmetric monoidal ( ∞ , 1)-categories [Lur]. These play a prominent role in Lurie's work on the cobordism hypothesis [Lur09b].

In view of these two interpretations of simplicial sets, it is an obvious question if the above comparison of E ∞ objects in sSet and strictly commutative objects in sSet I still holds if we regard simplicial sets as models for quasi-categories. The aim of this note is to prove that this is indeed the case:

Date : October 27, 2014.

- Theorem 1.2. (i) The category sSet I [ C ] of commutative monoid objects in sSet I admits a left proper positive I -model structure where a map f is a weak equivalence if and only if hocolim I f is a Joyal equivalence.
- (ii) If D is an E ∞ operad, then there is a chain of Quillen equivalences relating sSet I [ C ] and the category sSet[ D ] of E ∞ simplicial sets with the model structure lifted from the Joyal model structure.

Here an E ∞ operad is an operad D in simplicial sets such that D ( n ) has a free Σ n -action and D ( n ) is contractible with respect to the Joyal model structure. Every E ∞ operad in this sense is an E ∞ operad in the classical sense since being contractible with respect to the Joyal model structure implies being contractible with respect to the Kan model structure. Moreover, every operad D with D ( n ) a Σ -free Kan complex such that n D ( n ) → ∗ is a weak homotopy equivalence is an E ∞ -operad in the sense of the theorem, for example the Barratt-Eccles operad whose n -th space is E Σ . n

By [SS, Lemma 4.15], the object N Φ( A ) in sSet I [ C ] considered in Example 1.1 is fibrant in the model structure of Theorem 1.2(i). It models the E ∞ quasi-category N A associated with the symmetric monoidal category A . Therefore Example 1.1 shows that the nerve of a symmetric monoidal category can be rigidified to a commutative monoid object in sSet I in a natural way.

More generally, it follows from Theorem 1.2 that for any E ∞ simplicial set X in the sense of the theorem, there is an A ∈ sSet I [ C ] and a chain of maps A ← B → const I X of E ∞ objects in sSet I that induces a chain of Joyal equivalences when applying hocolim I (compare [SS12, Corollary 3.7]). Hence the E ∞ object X can be replaced by the strictly commutative object A . Although this rigidification of a structure up to homotopy by a strict one is in contrast to the philosophy of quasi-categories, we think that it is valuable to observe that E ∞ quasi-categories can be expressed this way: when viewing simplicial sets as models for spaces, it is often easy to write down explicit objects in sSet I [ C ] that model E ∞ spaces. This applies for example to Q X ( ) if X is connected [SS12, Example 1.3] or to B GL ∞ ( R ) + [Sch04, Remark 2.2]. It is likely that besides Example 1.1 above, there are more instances where interesting E ∞ quasi-categories arise from commutative I -functors.

Theorem 1.2 and the corresponding statement about weak homotopy types of E ∞ spaces [SS12, Theorem 1.2] refer to different model structures on the same categories that have the same cofibrations. Nonetheless, several arguments from [SS12] do not apply here since [SS12, Theorem 1.2] was derived from a result about diagram spaces indexed by more general categories than I , and some of the more general arguments were based on special features of the Kan model structure. However, the Joyal model structure differs from the Kan model structure since it fails to be right proper and simplicial, and because it doesn't have an explicit set of generating acyclic cofibrations. In the proof of Theorem 1.2 presented here, we put emphasis on the points where new arguments are required and simply cite those parts of the proof of [SS12, Theorem 1.2] that also apply here.

This note is a condensed and revised version of the first author's master's thesis at the University of Bonn, supervised by the second author. We thank an anonymous referee for a quick and helpful report on an earlier version of this note.

## 2. Model structures on I -simplicial sets

The category of simplicial sets sSet admits a Joyal model structure with cofibrations the monomorphisms and fibrant objects the quasi-categories, i.e., the weak or inner Kan complexes. See [Lur09a, Theorem 2.2.5.1] or [DS11, Theorem 2.13]. The Joyal model structure is cofibrantly generated with generating cofibrations

I = { ∂ ∆ n → ∆ n | n ≥ 0 } . We let J be a set of generating acyclic cofibrations. (There is no known explicit description of such a set J .)

Let I be the category with objects the finite sets n = { 1 , . . . , n } for n ≥ 0 and morphisms the injections. Concatenation of ordered sets glyph[unionsq] makes I a symmetric monoidal category with unit 0 and symmetry isomorphism the obvious shuffle map. Let sSet I be the functor category of I -diagrams of simplicial sets. For every object n of I , there is a free/forgetful adjunction F I n : sSet glyph[arrowparrrightleft] sSet I : Ev n with F I n ( K ) = I ( n , - × ) K and Ev n ( X ) = X ( n ). For X and Y in sSet I , the left Kan extension of the I × I -diagram X ( - × ) Y ( -) along glyph[unionsq] : I × I → I defines an object X glyph[squaremultiply] Y in sSet I . This construction defines a symmetric monoidal product glyph[squaremultiply] : sSet I × sSet I → sSet I with unit F I 0 ( ∗ ).

We now start to consider model structures on sSet I . Let I + be the full subcategory of I on the objects n with | n | ≥ 1. We say that a map f : X → Y in sSet I is an absolute (resp. positive) level equivalence if f : X ( n ) → Y ( n ) is a Joyal equivalence for all n in I (resp. all n in I + ), and an absolute (resp. positive) level fibration if f : X ( n ) → Y ( n ) is a fibration in the Joyal model structure for all n in I (resp. all n in I + ). A map is an absolute (resp. positive) level cofibration if it has the left lifting property with respect to any map that is both an absolute (resp. positive) level fibration and level equivalence.

Lemma 2.1. These classes of maps define two cofibrantly generated left proper model structures on sSet I , called the absolute and the positive level model structures.

Proof of Lemma 2.1. The absolute case follows from [Hir03, Theorem 11.6.1], and the positive case works as in [SS12, Proposition 6.7]. The sets

$$( 2. 1 ) \quad \ I _ { \text{abs} } ^ { \text{level} } = \{ F _ { \text{n} } ^ { \mathcal { I } } ( i ) \, | \, i \in I, \mathbf n \in \mathcal { I } \} \text{ and } I _ { \text{pos} } ^ { \text{level} } = \{ F _ { \text{n} } ^ { \mathcal { I } } ( i ) \, | \, i \in I, \mathbf n \in \mathcal { I } _ { + } \}$$

provide the generating cofibrations. The generating acyclic cofibrations J level abs and J level pos are defined similarly with J in place of I . glyph[square]

Since the Joyal model structure fails to be simplicial, the usual Bousfield-Kan formula does not provide a homotopy invariant homotopy colimit functor. In the following, hocolim I : sSet I → sSet denotes the functor constructed in [Hir03, § 19] using cosimplicial frames. We recall from [Hir03, Example 19.2.10] that there is a natural map hocolim I X → colim I X .

Lemma 2.2. If X is absolute or positive level cofibrant in sSet I , then the map hocolim I X → colim I X is a Joyal equivalence.

Proof. This is analogous to [Hir03, Theorem 19.9.1], with the absolute level model structure replacing the Reedy model structure in that reference. glyph[square]

We say that a map f : X → Y in sSet I is an I -equivalence if hocolim I f is a Joyal equivalence of simplicial sets, and an absolute (resp. positive) I -cofibration if it is an absolute (resp. positive) level cofibration. A map is an absolute (resp. positive) I -fibration if it has the right lifting property with respect to any map that is both an absolute (resp. positive) I -cofibration and an I -equivalence.

Proposition 2.3. These classes of maps define two cofibrantly generated left proper model structures on sSet I , called the absolute and the positive I -model structures.

We write sSet I abs and sSet I pos for these model categories. These (Joyal) I -model structures have the same cofibrations as the corresponding (Kan) I -model structures constructed in [SS12, Proposition 6.16] by a different technique.

Proof. Since I has an initial object, its classifying space is contractible. Hence the existence of the absolute I -model structure follows from [Dug01, Theorem 5.2], and we recall from [Dug01] that it is constructed as the left Bousfield localization of the absolute level model structure at S = { α ∗ : F I n ( ∗ ) → F I m ( ∗ ) | α : m → n ∈ I} .

The positive I -model structure is defined to be the left Bousfield localization of the positive level model structure with respect to

$$T = \{ \alpha ^ { * } \colon F _ { \mathbf n } ^ { \mathcal { I } } ( * ) \to F _ { \mathbf m } ^ { \mathcal { I } } ( * ) \, | \, \alpha \colon \mathbf m \to \mathbf n \in \mathcal { I } _ { + } \}.$$

It exists and is left proper by [Hir03, Theorem 4.1.1]. Hence it remains to show that its weak equivalences, the T -local equivalences , are the I -equivalences. Since T ⊂ S , every T -local equivalence is an I -equivalence. Let f be an I -equivalence. Passing to fibrant replacements, we may assume that f is a map of T -local objects. Restricting f along the inclusion I + → I and applying [Dug01, Theorem 5.2] to sSet I + , it follows that hocolim I + f is a Joyal equivalence. Since I + → I is homotopy cofinal [SS12, Proof of Corollary 5.9], this implies the claim. glyph[square]

Corollary 2.4. There is a chain of Quillen equivalences

o

$$s \text{Set} _ { \text{pos} } ^ { \mathcal { I } } \overline { \underset { \text{id} } { \longleftarrow } } s \text{Set} _ { \text{abs} } ^ { \mathcal { I } } \overline { \underset { \text{const} } { \longleftarrow } } \overline { \underset { \text{const} } { \longleftarrow } } s \text{Set}$$

/

/

o

/

/

o

o

relating sSet I equipped with the positive and absolute I -model structures and sSet equipped with the Joyal model structure.

Proof. It is clear that (id , id) is a Quillen equivalence. The adjunction (colim I , const I ) is a Quillen equivalence by [Dug01, Theorem 5.2(b)]. glyph[square]

The next lemma and the subsequent proposition are analogous to [SS12, Proposition 7.1(iii)-(v) and Proposition 8.2]. The proofs given here avoid using features of the Bousfield-Kan formula for homotopy colimits.

Lemma 2.5. (i) The gluing lemma for levelwise monomorphisms and level equivalences holds.

- (ii) The gluing lemma for levelwise monomorphisms and I -equivalences holds.
- (iii) For any ordinal λ and any λ -sequence ( X α α&lt;λ ) of levelwise monomorphisms, the canonical map hocolim α&lt;λ X α → colim α&lt;λ X α is a level equivalence.

Proof. Part (i) follows from the gluing lemma in left proper model categories [Hir03, Proposition 13.5.4]. Using (i) and the absolute level cofibrant replacement, it is enough to show (ii) for a diagram of absolute cofibrant objects. This special case follows from the gluing lemma in the Joyal model structure by applying colim I . Part (iii) follows from [Hir03, Theorem 19.9.1]. glyph[square]

Proposition 2.6. If X is absolute cofibrant in sSet I , then X glyph[squaremultiply] -preserves I -equivalences between not necessarily cofibrant objects.

Proof. We first assume that X = F I k ( L ) with L ∈ sSet and k ∈ I . Let Y → Z be an I -equivalence. If Y and Z are absolute cofibrant, then the claim follows by applying the strong symmetric monoidal functor colim I and using Corollary 2.4 and the pushout-product axiom for the Joyal model structure [DS11, 2.15 Proposition]. If Y c → Y is an absolute level cofibrant replacement, then [SS12, Lemma 5.6] implies that ( X glyph[squaremultiply] ( Y c → Y ))( m ) is isomorphic to

$$( 2. 2 ) \quad \ \ L \times \text{colim} _ { k \sqcup 1 \to m } Y ^ { c } ( 1 ) \to L \times \text{colim} _ { k \sqcup 1 \to m } Y ( 1 ).$$

Since each connected component of the comma category k glyph[unionsq] - ↓ m has a terminal object [SS12, Corollary 5.9], the colimits in (2.2) are Joyal equivalent to the corresponding homotopy colimits and (2.2) is a level equivalence. It follows that

X glyph[squaremultiply] ( Y → Z ) is an I -equivalence since X glyph[squaremultiply] ( Y c → Z c ) is. With Lemma 2.5 replacing those parts of [SS12, Proposition 7.1] that involve weak equivalences, the case of general X follows as in the proof of [SS12, Proposition 8.2]. glyph[square]

Corollary 2.7. The absolute and positive I -model structures on sSet I satisfy the pushout-product axiom and the monoid axiom.

Proof. The part of the pushout-product axiom involving only cofibrations results from [SS12, Proposition 8.4]. As in [SS12, § 8], Proposition 2.6 implies the rest. glyph[square]

The following lemma is analogous to [SS12, Lemma 8.1].

Lemma 2.8. Let G be a finite group and let f : X → Y and Y → E be morphisms in (sSet I ) G such that hocolim I f is a Joyal equivalence. If G acts freely on E ( m ) for every object m in I , then f/G : X/G → Y/G is an I -equivalence.

Proof. Since there is a G -map Y → E , the G -action on Y ( m ) is also free. Hence hocolim G Y ( m ) → colim G Y ( m ) ∼ = ( Y/G )( m ) is a Joyal equivalence. Using the same argument for X , it follows that hocolim G hocolim I f glyph[similarequal] hocolim I hocolim G f glyph[similarequal] hocolim I ( f/G )

is a Joyal equivalence.

glyph[square]

The use of the positive model structure is motivated by the positive model structure for symmetric spectra discovered by Jeff Smith. The next lemma highlights one of its key features.

Lemma 2.9. If X is positive I -cofibrant, then the Σ n -action on the simplicial set ( X glyph[squaremultiply] n )( m ) is free for every object m of I .

Proof. Let f : U → V and U → Y be maps in sSet I . By a cell induction argument, it is enough to show that if f is a generating cofibration and Σ n acts freely on ( Y glyph[squaremultiply] n )( m ) for every m in I , then Z = Y ∐ U V has this property. By [SS12, Lemma A.8], Y glyph[squaremultiply] n → Z glyph[squaremultiply] n has a filtration by maps that are cobase changes of maps of the form Σ n × Σ n -i × Σ i Y glyph[squaremultiply] n -i glyph[squaremultiply] f glyph[square] i where f glyph[square] i is the i -fold iterated pushout product map in (sSet I , glyph[squaremultiply] ). Hence it suffices to show that ( Y glyph[squaremultiply] n -i glyph[squaremultiply] f glyph[square] i )( m ) is a (Σ n -i × Σ )-projective cofibration of simplicial sets with (Σ i n -i × Σ )-action. i Since f = F I k ( ∗ ) × g with g a generating cofibration for sSet and k ∈ I + , it follows from [SS12, Lemma 5.6] that there is an isomorphism

$$( 2. 3 ) \quad \ \ ( Y ^ { \Im n - i } \otimes f ^ { \Box i } ) ( \mathbf m ) \cong ( \text{colim} _ { \mathbf k ^ { \cup i } \cup 1 \to \mathbf m } Y ^ { \Box n - i } ( 1 ) ) \times g ^ { \Box i }$$

where g glyph[square] i is the i -fold iterated pushout-product map of g in (sSet , × ). By [SS12, Corollary 5.9], each connected component of the indexing category k glyph[unionsq] i glyph[unionsq] - ↓ m has a terminal object, and Σ i acts freely on the set of connected components. Hence colim k glyph[unionsq] i glyph[unionsq] l → m Y glyph[squaremultiply] n -i ( ) l is a (Σ n -i × Σ )-free i simplicial set, and (2.3) is a (Σ n -i × Σ )-projective cofibration. i glyph[square]

## 3. Model structures on structured diagrams of simplicial sets

In the following, an operad D denotes a sequence of simplicial sets D ( n ) with Σ n -action such that D (0) = ∗ , there is a unit map ∗ → D (1), and there are structure maps D ( n ) ×D ( i 1 ) ×···×D ( i n ) →D ( i 1 + · · · + i n ) satisfying the usual associativity, unit and equivariance relations. It is called Σ -free if Σ n acts freely on D ( n ) for all n .

Let sSet I [ D ] be the category of D -algebras in (sSet I , glyph[squaremultiply] ). We say that a model structure on sSet I lifts to sSet I [ D ] if sSet I [ D ] admits a model structure where a map is a weak equivalence or fibration if the underlying map in sSet I is.

Theorem 3.1. Let D be an operad. The positive I -model structure lifts to sSet I [ D ] , and the absolute I -model structure lifts to sSet I [ D ] if D is Σ -free.

Since the generating cofibrations coincide, these model structures have the same cofibrations as the corresponding Kan I -model structures [SS12, Proposition 9.3].

Proof. As in the analogous statement about the Kan I -model structure [SS12, Proposition 9.3], the claim reduces to showing that for a generating acyclic cofibration f : U → V in sSet I , the bottom map in a pushout square

/

/

GLYPH&lt;15&gt;

GLYPH&lt;15&gt;

GLYPH&lt;15&gt;

GLYPH&lt;15&gt;

/

$$\coprod _ { n \geq 0 } \mathcal { D } ( n ) \times _ { \Sigma _ { n } } U ^ { \varnothing n } \longrightarrow \coprod _ { n \geq 0 } \mathcal { D } ( n ) \times _ { \Sigma _ { n } } V ^ { \varnothing n } \\ \downarrow \quad \downarrow \quad \downarrow \quad Y$$

/

in sSet I [ D ] is an I -equivalence. Replacing [SS12, Propositions 8.4 and 8.6] by Corollary 2.7 and [SS12, Lemma 8.1] by Lemma 2.8, the argument given in the proof of [SS12, Lemma 9.5] applies verbatim with one exception: we need to show that for any n ≥ 0 and any m in I , the group Σ n acts freely on V glyph[squaremultiply] n ( m ). Using that the generating cofibrations have cofibrant domains and codomains, we may assume that this also holds for the generating acyclic cofibrations [Bar10, Corollaries 2.7 and 2.8]. Hence the last claim follows from Lemma 2.9. glyph[square]

We recall that a morphism of operads Φ: D → E induces an adjunction

$$\Phi _ { * } \colon s { \text{Set} } ^ { \mathcal { I } } [ \mathcal { D } ] \Rightarrow s { \text{Set} } ^ { \mathcal { I } } [ \mathcal { E } ] \colon \Phi ^ { * }.$$

Proposition 3.2. Let Φ: D → E be a morphism of operads with Φ : n D ( n ) →E ( n ) a Joyal equivalence for each n ≥ 0 . Then (Φ ∗ , Φ ) ∗ is a Quillen equivalence with respect to the positive I -model structures. If D and E are Σ -free, then it is also a Quillen equivalence with respect to the absolute I -model structures.

Proof. Again the proof of the analogous statement about the Kan I -model structure [SS12, Proposition 9.12] applies almost verbatim: in the key ingredient [SS12, Lemma 9.13], Lemma 2.5 replaces those parts of [SS12, Proposition 7.1] that involve weak equivalences, Corollary 2.7 replaces [SS12, Proposition 8.4], Proposition 2.6 replaces [SS12, Proposition 8.2], and Lemma 2.8 replaces [SS12, Lemma 8.1]. glyph[square]

Proof of Theorem 1.2. Part (i) follows from Theorem 3.1 applied to the commutativity operad C with C ( n ) = ∗ for every n . Left properness follows by the arguments from [SS12, Lemma 11.8 and Proposition 11.9], where again the results from Section 2 replace the corresponding statements in [SS12].

If D is an E ∞ operad, then there is a canonical morphism Φ: D → C , and we obtain a chain of Quillen adjunctions

o

$$\ s S e t _ { \text{pos} } ^ { \mathcal { I } } [ \mathcal { C } ] \xleftarrow { \Phi _ { * } } \ s S e t _ { \text{pos} } ^ { \mathcal { I } } [ \mathcal { D } ] \xleftarrow { \text{id} } \ s S e t _ { \text{abs} } ^ { \mathcal { I } } [ \mathcal { D } ] \xleftarrow { \text{optim} } \ s S e t [ \mathcal { D } ]$$

/

/

/

/

o

o

o

/

/

o

o

The first adjunction is a Quillen equivalence by Proposition 3.2. The last two adjunctions are Quillen equivalences by Corollary 2.4 and the fact that cofibrant objects in sSet I abs [ D ] are cofibrant in sSet I abs if D is Σ-free [SS12, Corollary 12.3]. glyph[square]

## References

[Bar10] C. Barwick, On left and right model categories and left and right Bousfield localizations , Homology, Homotopy Appl. 12 (2010), no. 2, 245-320.

[DS11] D. Dugger and D. I. Spivak, Mapping spaces in quasi-categories , Algebr. Geom. Topol. 11 (2011), no. 1, 263-325.

[Dug01] D. Dugger, Replacing model categories with simplicial ones , Trans. Amer. Math. Soc. 353 (2001), no. 12, 5003-5027 (electronic).

[Hir03] P. S. Hirschhorn, Model categories and their localizations , Mathematical Surveys and Monographs, vol. 99, American Mathematical Society, Providence, RI, 2003.

[Lur09a]

J. Lurie, Higher topos theory , Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009.

[Lur09b]

[Lur] [Sch04]

, On the classification of topological field theories , Current developments in mathematics, 2008, 2009, pp. 129-280.

, Higher algebra . Preprint, available at http://www.math.harvard.edu/ ~ lurie/ . C. Schlichtkrull, Units of ring spectra and their traces in algebraic K -theory , Geom. Topol. 8 (2004), 645-673 (electronic).

[SS12]

S. Sagave and C. Schlichtkrull, Diagram spaces and symmetric spectra , Adv. Math. 231 (2012), no. 3-4, 2116-2193.

[SS] C. Schlichtkrull and M. Solberg, Braided injections and double loop spaces . arXiv:1403.1101 .

School of Mathematics and Statistics, University of Sheffield, Hicks Building, Sheffield, S3 7RH, UK

E-mail address : DKKodjabachev1@shef.ac.uk

Department of Mathematics and Informatics, Bergische Universit¨t Wuppertal, Gaußa str. 20, 42119 Wuppertal, Germany

E-mail address : sagave@math.uni-wuppertal.de
Dimitar Kodjabachev Steffen Sagave
Strictly commutative models for E-infinity quasi-categories
In this short note we show that E-infinity quasi-categories can be replaced
by strictly commutative objects in the larger category of diagrams of
simplicial sets indexed by finite sets and injections. This complements earlier
work on diagram spaces by Christian Schlichtkrull and the second author.