arXiv:2011.08497v3 [math.AC] 19 Aug 2021 o h ls fbpriegah u oMtuaadMri 1] Th [17]. Murai, and Matsuda to due graphs bipartite of class the for where ioileg da sta h rcs xrsinfrteregularity the for stu expression to precise reason the Another that is graphs. trees, ideal of of edge class ideals binomial edge some binomial for of conjecture regularity this the for bounds improved sacnetdgaho [ on graph connected a is aiybnma deiel fgah sKheadKr¨usemann e conjec and article, to Kahle reasons this is the if In graphs of that of Kr¨usemann One [13]. conjectured ideals in ideals. edge edge graphs binomial binomial parity unicyclic parity and of trees regularity number interse the of Betti complete graded ideals are second edge the ideals binomial 16]. obtained edge We [6, binomial in intersections. parity plete studied whose were graphs number the Cohen-M Betti all of ed extremal ideals binomial regularity, edge of binomial as Cohen-Macaulayness of such properties the algebraic studied The al. graphs. et Bolognini [1], In et ubr regularity. number, Betti eayfil.Let field. any be K h aiybnma deielo graph a of ideal edge binomial parity The n ti endas defined is it and fagraph a of akvbss n aiaiyo aiybnma deielwr stud if were that proved ideal of 6.2] edge mesoprim ideal Corollary binomial [1, decomposition, parity al. of primary et radicality as and such bases, Markov properties algebraic Many [ h aiybnma deielo rp a nrdcdb al ta et Kahle by introduced was graph a of ideal edge binomial parity The M ujc lsicto 21) 30,31,05E40. 13D02,13C13, (2010): Classification Subject AMS phrases. and words Key x 1 x , . . . , ℓ h euaiyo aiybnma deiel fgah.W hnclass then whos We graphs resolution. classify We graphs. pure have 3. of regularity ideals have ideals ideals edge edge binomial binomial parity parity of regularity the da of ideal Abstract. ( G G stelnt falnetidcdpt in path induced longest a of length the is ) sesnilytesm stebnma deielof ideal edge binomial the as same the essentially is n EUAIYO AIYBNMA DEIDEALS EDGE BINOMIAL PARITY OF REGULARITY G y , G a nrdcdb ezge l n[]adidpnetyb haii [2 in Ohtani by independently and [3] in al. et Herzog by introduced was 1 y , . . . , nteplnma ring polynomial the in G Let easml rp ntevre set the on graph simple a be n G eteplnma igi 2 in ring polynomial the be ] J aiybnma deiel Lov´asz-Saks-Schrijver(LSS) Bin ideal, ideal, edge binomial Parity easml rp on graph simple a be G ( = n I ,then ], G x ( = i y G j x − i sacnetdgaho [ on graph connected a is x ℓ ( S x j 1. G j − RIDKUMAR ARVIND = y G ) Introduction i y K ≤ sabpriegah hnteprt ioiledge binomial parity the then graph, bipartite a is i : [ y x G j, < i j n reg( 1 x , . . . , : sdfie as defined is etcsand vertices 1 { ,j i, S/J { n ∈ } ,j i, y , G n ) 1 ∈ } y , . . . , E aibe ihdeg( with variables ≤ ( G I G V n E G hscnetr stiilytrue trivially is conjecture This . )) ( n − ( G eoe aiybnma edge binomial parity denotes ] n G . ⊂ ,then ], [ = ) eoti oe on for bound lower obtain We .Jynhne l obtained al. et Jayanthan 1. )) S. G yterglrt o parity for regularity the dy ⊂ h ioileg ideal edge binomial The . n aiybnma edge binomial parity e n rtSzg fparity of Syzygy first and S. n[3,w characterized we [13], In := ] f l rpswhose graphs all ify cua iatt graphs bipartite acaulay fprt ioiledge binomial parity of 7 ] eamt prove to aim We 8]. [7, ℓ poeterglrt of regularity the xplore ue n[] al and Kahle [9], In ture. ( toso lotcom- almost or ctions e n[0.Bolognini [10]. in ied G eiel fbipartite of ideals ge ypoe htif that proved ey { ) r decomposition, ary 1 x ≤ n , . . . , i eamt study to aim we .i 1] Let [10]. in l. deg( = ) reg( ma deideal, edge omial S/ } Let . I y G i ) 1. = ) ≤ S 0], n G K = , 2 ARVIND KUMAR

ideal is known only for some class of graphs, see [5, 6, 23]. We aim to classify graphs whose parity binomial edge ideals have regularity three. Another important binomial ideal associated to a graph is Lov´asz-Saks-Schrijver(LSS) ideal of a graph. The ideal L =(x x + y y : i, j E(G)) S G i j i j { } ∈ ⊂ is known as LSS ideal of the graph G. We refer the reader to [14, 15] for more information on LSS ideals of graphs. In [4], Herzog et al. proved that if char(K) = 2, then L is a 6 G radical ideal. Also, they computed the primary decomposition of LG when √ 1 / K and char(K) = 2. In [2], Conca and Welker studied the algebraic properties of L .− They∈ proved 6 G that LG is complete intersection if and only if G does not contain any claw or an even cycle ([2, Theorem 1.4]). In [13], we proved that βS (S/L )= βS (S/ ) for all i, j due to which i,j G i,j IG reg(S/LG) = reg(S/ G). In [4], Herzog et al.I introduced the notation of permanental edge ideals of graphs. The permanental edge ideal of a graph G is denoted by ΠG, and it is defined as Π =(x y + x y : i, j E(G)) S. G i j j i { } ∈ ⊂ Herzog et al. proved that permanental edge ideal of a graph is a radical ideal, in [4]. If char(K) = 2, then the permanental edge ideal of a graph is essentially the same as the 6 parity binomial edge ideal of that graph (see Remark 3.3) which implies that reg(S/ΠG)= reg(S/ G). Thus, the study of regularity of parity binomial edge ideals become more impor- tant. I The article is organized as follows. We collect the notation and related definitions in the second section. In Section 3, we obtain the regularity of parity binomial edge ideals of cycles. Then, we prove Kahle and Kr¨usemann conjecture for some non-bipartite graphs. We also get a regularity lower bound for parity binomial edge ideals of graphs. We then characterize all graphs whose parity binomial edge ideals have regularity 3. Also, we describe graphs whose parity binomial edge ideals have the pure resolution.

2. Preliminaries In this section, we collect all the notions that we will use in this paper. We first recall the necessary definitions from . Let G be a simple graph with the vertex set [n] and edge set E(G). A simple graph on the vertex set [n] is said to be a , if i, j E(G) for all i, j [n]. Complete { } ∈ ∈ graph on [n] is denoted by Kn. For A V (G), G[A] denotes the induced subgraph of G on the vertex set A, i.e., for i, j A, i,⊆ j E(G[A]) if and only if i, j E(G). For a vertex v, G v denotes the induced∈ subgraph{ } ∈ of G on the vertex set V{(G)} ∈ v . A vertex v V (G) is\ said to be a cut vertex if G v has more connected components\{ } than G. A subset∈ U of V (G) is said to be a clique if G\[U] is a complete graph. A vertex v of G is said to be a free vertex if v is contained in only one maximal clique. The neighbourhood of a vertex v in G is defined as NG(v) := u V (G): u, v E(G) . For a vertex v, Gv is the graph on the vertex set V (G) and{ edge∈ set E(G{ ) =}E ∈(G) } u,w : u,w N (v) . v ∪ {{ } ∈ G } The degree of a vertex v, denoted by degG(v), is NG(v) . For an edge e in G, G e is the graph on the vertex set V (G) and edge set E| (G) | e . Let u, v V (G) be\ such that e = u, v / E(G). Then, G denote a graph on\ the { } vertex set V (∈G) and edge set { } ∈ e E(Ge)= E(G) x, y : x, y NG(u) orx, y NG(v) . A connected graph G is called a cycle if deg (v)∪ = {{ 2 for} all v ∈V (G). A cycle on∈ n vertices} is denoted by C . A graph is G ∈ n PARITY BINOMIAL EDGE IDEALS 3 a tree if it does not contain a cycle. A graph is said to be a unicyclic graph if it contains exactly one cycle. The of a graph G is the length of a shortest cycle in G. A unicyclic graph with even girth is called an even unicyclic and with odd girth is called an odd unicyclic graph. A graph G is said to be bipartite if there is a bipartition of V (G)= V V such that 1 ⊔ 2 for each i =1, 2, no two of the vertices of Vi are adjacent. A graph is called a non-bipartite graph if it is not a bipartite graph. A maximal subgraph of G without a cut vertex is called a block of G. A graph G is said to be a if each block of G is a clique. A graph on 4 vertices with 5 edges is said to be a diamond graph. Now, we recall the necessary notation from commutative algebra. Let R = K[x1,...,xm] be a standard graded polynomial ring over an arbitrary field K and M be a finitely generated graded R-module. Let

βR M φp φ1 βR M φ0 0 R( j) p,j ( ) R( j) 0,j ( ) M 0, −→ − −→··· −→ − −→ −→ Mj∈Z Mj∈Z be the minimal graded free resolution of M, where R( j) is the free R-module of rank 1 R − generated in degree j. The number βi,j(M) is called the (i, j)-th graded Betti number of M. The regularity of M, denoted by reg(M), is defined as reg(M) := max j i : βR (M) =0, i 0 . { − i,j 6 ≥ } The following fundamental property of regularity is used repeatedly in this article. We refer the reader to the book [21, Chapter 18] for more properties of regularity. Lemma 2.1. Let M, N and P be finitely generated graded S-modules. If f g 0 M N P 0 → −→ −→ → is a short exact sequence with f,g graded homomorphisms of degree zero, then (1) reg(P ) max reg(N), reg(M) 1 . (2) reg(P )≤ = reg(N{ ), if reg(N) > reg(− M} ).

Let G be a graph on [n] and S = K[x1,...,xn,y1,...,yn]. For an edge e = i, j E(G) with i < j, we define f = f := x y x y , g = g := x x +y y andg ¯ =g ¯ {:= x}x ∈ y y . e i,j i j− j i e i,j i j i j e i,j i j− i j 3. Parity Binomial Edge Ideals In this section, we study some homological invariants associated with the minimal free resolution of S/ G. We classify graphs whose parity binomial edge ideals have regularity 3. We characterizeI graphs whose parity binomial edge ideals have the pure resolution. First, we recall a fact about bipartite graphs from [1].

Remark 3.1. [1, Corollary 6.2] Let G be a bipartite graph with bipartition [n] = V1 V2. We define Φ : S S as ⊔ → xi if i V1 yi if i V1 Φ(xi)= ∈ and Φ(yi)= ∈  yi if i V2  xi if i V2. ∈ ∈ It is clear that Φ is an isomorphism and Φ(J )= . G IG We give regularity upper bound for parity binomial edge ideals of bipartite graphs.

Theorem 3.2. Let G be a connected bipartite graph on [n] Then, reg(S/ G) = reg(S/JG) n 1. Moreover, reg(S/ )= n 1 if and only if G is a path graph. I ≤ − IG − 4 ARVIND KUMAR

Proof. The first assertion immediately follows from Remark 3.1 and [17, Theorem 1.1]. The second assertion follows from [12, Theorem 3.2].  Here we recall some facts about permanental edge ideals of graphs. Due to the following remark, if char(K) = 2, then Π and are essentially the same and if char(K) = 2, then 6 G IG ΠG = JG.

Remark 3.3. Let G be a graph on the vertex set [n]. If char(K) = 2, then G = LG and Π = J . Suppose char(K) = 2. We define η : S S as I G G 6 → η(x )= x + y and η(y )= x y for all i V (G). i i i i i − i ∈ It is clear that η is an isomorphism and Π = η( ). G IG Now, we move on to study regularity upper bound for parity binomial edge ideals of some non-bipartite graphs. First, we compute the regularity of parity binomial edge ideal of an odd cycle. Theorem 3.4. Let G = C , where n is odd. Then, reg(S/ )= n. n IG Proof. It follows from [13, Theorem 3.4] that G is a complete intersection with n generators of degree two. Therefore, reg(S/ )= n. I  IG To compute the regularity upper bound for parity binomial edge ideals of some non- bipartite graphs, we need the following lemma from [13]. Lemma 3.5. [13, Lemma 3.4] Let G be a non-bipartite graph on [n]. Assume that there exists e = u, v E(G) such that G e is a bipartite graph. Then, { } ∈ \ :g ¯ = +(f : i, j N (u) or i, j N (v)) = Φ(J ). IG\e e IG\e i,j ∈ G\e ∈ G\e (G\e)e Now, we give regularity upper bound for parity binomial edge ideals of some non-bipartite graphs. Theorem 3.6. Let G be a connected non-bipartite graph on [n] such that G e is a bipartite graph for some e = u, v E(G). If G is not an odd cycle, then reg(S/ )\ n 1. { } ∈ IG ≤ − Proof. Consider the short exact sequence

S ·g¯ S S 0 ( 2) e 0. (1) −→ :g ¯ − −→ −→ −→ IG\e e IG\e IG It follows from Lemma 2.1 and the above short exact sequence that reg(S/ ) max reg(S/ ), reg(S/ :g ¯ )+1 . IG ≤ { IG\e IG\e e } Since G is not an odd cycle, G e is not a path graph. Hence, by Theorem 3.2, we have reg(S/ ) n 2. Note that (G\ e) is not a path graph. Therefore, by [12, Theorem 3.2], IG\e ≤ − \ e we have reg(S/J(G\e)e ) n 2. Now, by Lemma 3.5, reg(S/ G\e :g ¯e) = reg(S/J(G\e)e ) n 2. Hence, the desired≤ result− follows. I ≤ − Now, we obtain a regularity lower bound for parity binomial edge ideals. Theorem 3.7. Let G be a graph and H be an induced subgraph of G. Then, βSH (S / ) i,j H IH ≤ βS (S/ ), for all i, j, where S = K[x ,y : k V (H)]. i,j IG H k k ∈ PARITY BINOMIAL EDGE IDEALS 5

Proof. First, we claim that = S , where is the parity binomial edge ideal of H IH IG ∩ H IH in SH . Since generators of H are contained in G, H G SH . Now, let g G SH be any element. Since g ,I we have I I ⊂ I ∩ ∈ I ∩ ∈ IG g = heg¯e, e∈XE(G) where h S. Now, set x = y = 0, for i / V (H) in g = h g¯ . As g S , the left- e ∈ i i ∈ e∈E(G) e e ∈ H hand side of the equation does not change. In right-handP side, if e = u, v E(G) E(H), then either u / V (H) or v / V (H). Therefore, we get g = { }h′ ∈g¯ , where\ h′ is ∈ ∈ e∈E(H) e e e obtained from he by putting xi = yi = 0 for i / V (H). Thus, gP H . Hence, SH / H is i ∈ π ∈ I I K-subalgebra of S/ . Consider, S / ֒ S/ S / , where π is an epimorphism IG H IH −→ IG → H IH induced by setting xi = yi = 0, for i / V (H). Note that π i is identity on SH / H . Thus, S / is algebra retract of S/ . Hence,∈ the result follows◦ from [19, Corollary 2.5].I  H IH IG Let oc(G) denote the length of a longest induced odd cycle in G, and ℓ(G) denote the length of a longest induced path in G. If G has no induced odd cycle, we assume that oc(G) = 0. Corollary 3.8. Let G be a connected graph on [n]. Then, reg(S/ ) max ℓ(G), oc(G) . IG ≥ { } Proof. Let H be a longest induced path in G and S = K[x ,y : j V (H)]. By Theorem H j j ∈ 3.2, reg(SH / H )= ℓ(G). Hence, by Theorem 3.7, reg(S/ G) reg(SH / H )= ℓ(G). Assume that G is a non-bipartiteI graph, then G has an inducedI odd≥ cycle. LetI H′ be an induced odd cycle such that oc(G) = V (H′) . Set S ′ = K[x ,y : j V (H′)]. Then, by Theorem | | H j j ∈ 3.4, reg(S ′ / ′ ) = oc(G). Hence, by Theorem 3.7, reg(S/ ) max ℓ(G), oc(G) .  H IH IG ≥ { } We now characterize the graphs whose parity binomial edge ideals have regularity three.

Theorem 3.9. Let G be a graph on [n] with no isolated vertex. Then, reg(S/ G)=2 if and only if either G = K K or G is a complete bipartite graph other than K .I 2 ⊔ 2 2 Proof. First assume that reg(S/ G)=2. If G is non-bipartite, then it follows from Corollary 3.8 that reg(S/ ) 3. Thus, GI is a bipartite graph with bipartition V V . Assume that IG ≥ 1 ⊔ 2 G is a disconnected graph with connected components H1,...,Hc. Since each component has at least one edge, by Corollary 3.8, reg(S / ) 1, where S = K[x ,y : j V (H )]. Hi IHi ≥ Hi j j ∈ i Therefore, c = 2 and reg(SHi / Hi ) = 1, for i = 1, 2. If Hi = K2, then ℓ(Hi) 2, which is not possible. Thus, G = K IK . Now, if G is a connected6 graph which is not≥ a complete 2 ⊔ 2 bipartite graph, then ℓ(G) 3. Therefore, by Theorem 3.8, reg(S/ G) 3 which is not possible. Hence, G is a complete≥ bipartite graph. I ≥ Conversely, if G = K K , then is a complete intersection ideal with two generators of 2 ⊔ 2 IG degree two. Thus, reg(S/ G) = 2. Now, if G is a complete bipartite graph, then by Remark 3.1 and [23, Theorem 1.1]I reg(S/ ) = 2.  IG Let I be a homogeneous ideal of S such that all generators have degree d. If for each S 1 i pd(S/I), there exist a unique di > 0 such that β (S/I) = 0, then we say that ≤ ≤ i,di 6 S/I has pure resolution. We start preparation for characterization of graphs whose parity binomial edge ideals have pure resolution. Theorem 3.10. Let G be a graph on [n]. Then, we have (1) β (S/ )=0. In particular, β (S/ )=0, for all i =1. 2,3 IG i,i+1 IG 6 6 ARVIND KUMAR

(2) β (S/ ) |E(G)| , if G = K . 2,4 IG ≥ 2 6 2 (3) βi,i(S/ G\e :g ¯e)=0, for i> 0. I (4) β3,6(S/ G) =0, if G is a non-bipartite graph. (5) If G isI an odd6 unicyclic graph, then β (S/ )=0, for j > 2i. i,j IG Proof. (1) Consider, the minimal free resolution of S/ G, ϕ I S|E(G)|( 2) S S/ 0. ··· −→ − −→ −→ IG −→ |E(G)| Let e{i,j} : i, j E(G) be a basis of S ( 2). Note that ϕ(e{i,j})=¯gi,j, for all i, j { { } ∈ } − n { } ∈ E(G). Let ǫi denote the i-th standard basis vector of Z . If, we set deg(xi) = deg(yi)= ǫi, n then G is Z -graded. Therefore, deg(e{i,j}) = deg(¯gi,j)= ǫi + ǫj. Let M1 be the first syzygy moduleI of . Let if possible, IG r = h e M , {i,j} {i,j} ∈ 1 {i,jX}∈E(G) n n be a relation of degree three in standard grading. Since G is Z -graded, M1 is also Z - n I graded. Therefore, M1 is generated by Z -graded homogeneous elements. We can assume that r is Zn-graded homogeneous element with deg(r) = a Zn and total degree a = 3, where a is sum of components of a. If h e = 0, then deg(∈ r)= a = deg(h )+| ǫ| +ǫ . | | {i,j} {i,j} 6 {i,j} i j Therefore, in standard grading, degree of h{i,j} is one, and hence, deg(h{i,j})= ǫk, for some k. If k = i or k = j, then r = h e , which is not possible. If k = i and k = j, then {i,j} {i,j} 6 6 r = h{i,j}e{i,j} + h{i,k}e{i,k} + h{j,k}e{j,k}. Thus, r is relation of ideal (¯gi,j, g¯i,k, g¯j,k). It follows from [13, Theorem 3.4] that (¯gi,j, g¯i,k, g¯j,k) is complete intersection. Consequently, there has no relation of degree three in the first syzygy of (¯gi,j, g¯i,k, g¯j,k), which is contradiction. Hence, the desired result follows. (2) Since G = K2, G has atleast two edges, say i, j , k,l . Therefore, r =g ¯k,le{i,j} g¯ e M is6 relation of degree four. Since β (S/{ )} ={ 0, r}is a minimal relation. Hence,− i,j {k,l} ∈ 1 2,3 IG β (S/ ) |E(G)| . 2,4 IG ≥ 2 (3) Consider the long exact sequence of Tor corresponding to the short exact sequence (1), S S S TorS , K TorS ( 2), K TorS , K . ···→ 2,3   → 1,3  :g ¯ −  → 1,3   →··· IG IG\e e IG\e Since β (S/ ) = 0, by part (1), β (S/ ) =0, and 1,3 IG\e 2,3 IG S S TorS ( 2), K TorS , K , 1,3  :g ¯ −  ≃ 1,1  :g ¯  IG\e e IG\e e β (S/ :g ¯ ) = 0. Hence, the desired result follows. 1,1 IG\e e (4) Since G is a non-bipartite graph, G has an induced odd cycle, say H = Ck. It follows from [13, Theorem 3.4] that is a complete intersection ideal. Therefore, βSH (S / )= IH 3,6 H IH k = 0, and hence, by Theorem 3.7, β (S/ ) = 0.  3 6 3,6 IG 6 To prove (5) we need the following theorem.

Theorem 3.11. Let G be a connected chordal graph on [n]. Then, βi,j(S/JG)=0, for j > 2i.

Proof. We make an induction on the number of vertices. If n = 2, then G = K2, and hence, the result follows. Assume that n > 2 and the assertion is true for any connected chordal graph H with V (H) n 1. Suppose that G has a free vertex, say v, such that | | ≤ − PARITY BINOMIAL EDGE IDEALS 7 degG(v)=1. Let u be the only neighbour of v, and e = v,u be the edge joining v and u. Consider, the short exact sequence { }

S ·fe S S 0 ( 2) 0. (2) −→ JG\e : fe − −→ JG\e −→ JG −→

It follows from [18, Theorem 3.4] that JG\e : fe = J(G\e)e . Observe that JG\e = JG\v and

J(G\e)e = J(G\v)u . Now, consider the long exact sequence of Tor corresponding to the short exact sequence (2),

S S K S S K S S K Tori,j , Tori,j , Tori−1,j ( 2), . (3) ···→ JG\e  → JG  → JG\e : fe −  →··· Notice that

S S K S S K S S K Tori−1,j ( 2), Tori−1,j−2 , = Tori−1,j−2 , . JG\e : fe −  ≃ JG\e : fe  J(G\e)e  Since v is an isolated vertex of G e and (G e) , by induction hypothesis, we have \ \ e βi,j(S/JG\e) = 0 and βi−1,j−2(S/J(G\e)e ) = 0, for j > 2i. Hence, the long exact sequence (3) yields that βi,j(S/JG)=0, for j > 2i. Suppose that all the free vertices of G have degree greater than one. Let v be a free vertex of G and v1,...,vt be all the neighbors of v, and e1,...,et be the edges joining v to v1,...,vt, respectively, where t 2. For each 1 k t 1, consider the following short exact sequences, ≥ ≤ ≤ −

S ·fek+1 S S 0 ( 2) 0. (4) −→ JG\{ek+1,...,et} : fek+1 − −→ JG\{ek+1,...,et} −→ JG\{ek+2,...,et} −→ Set H =(G v ,...,v , e ,...,e ) and S = K[x ,y : j V (H )], for 1 k t 1. k \{ 1 k k+1 t} vk+1 k j j ∈ k ≤ ≤ − Here, if k = t 1, then we assume that ek+2,...,et = . It follows from [18, Theorem 3.4] that − { } ∅ J : f =(x ,y :1 i k)+ J . G\{ek+1,...,et} ek+1 vi vi ≤ ≤ Hk

Note that for 1 k t 1, V (Hk) n 1. By induction hypothesis, βi,j(Sk/JHk ) = 0, for j > 2i. Since x≤ ,y≤ :1− i| k and| ≤ generators− of J are in disjoint variables, we have { vi vi ≤ ≤ } Hk i 2k β (S/J : f )= β (S /J ). i,j G\{ek+1,...,et} ek+1  l  i−l,j−l k Hk Xl=0

If j > 2i, then for each 0 l i, j l> 2(i l). Thus, βi,j(S/JG\{ek+1,...,et} : fek+1 )= 0, for j > 2i. The long exact sequence≤ ≤ of− Tor corresponding− to the short exact sequence (4) with j > 2i is

S S K S S K Tori,j , Tori,j , 0. ···→ JG\{ek+1,...,et}  → JG\{ek+2,...,et}  →

Therefore, for j > 2i, βi,j(S/JG\{ek+2,...,et}) = 0, if βi,j(S/JG\{ek+1,...,et}) = 0. Notice that v is free vertex of degree one in G e ,...,e . Consequently, β (S/J ) = 0, for j > 2i. \{ 2 t} i,j G\{e2,...,et} Hence, for j > 2i, βi,j(S/JG) = 0.  8 ARVIND KUMAR

Proof of Theorem 3.10(5): Let e = u, v be an edge of the cycle. Now, consider the short exact sequence (1). The long exact sequence{ } of Tor corresponding to (1) is S S S TorS , K TorS , K TorS ( 2), K (5) ···→ i,j   → i,j   → i−1,j  :g ¯ −  →··· IG\e IG IG\e e Observe that G e is a tree and (G e)e is a block graph on [n]. Since G e is a bipartite graph, by Remark\ 3.1 and Theorem 3.11,\ β (S/ )=0for j > 2i. It follows\ from Lemma i,j IG\e 3.5 that βi−1,j−2(S/ G\e :g ¯e) = βi−1,j−2(S/J(G\e)e ). Since (G e)e is a chordal graph, by Theorem 3.11, β I (S/ :g ¯ )=0 for j > 2i. Hence, β (S/\ )= 0, for j > 2i. i−1,j−2 IG\e e i,j IG Proposition 3.12. Let G be a graph on 4 vertices. Then, we have

(1) If G is a diamond graph, then S/ G has not pure resolution. (2) If G = K , then S/ has not pureI resolution. 4 IG (3) If G is obtained by attaching an edge to a vertex of K3, then S/ G has not pure resolution. I Proof. Note that in each case G is a non-bipartite graph. Therefore, by Theorem 3.10, β (S/ ) = 0. Now, we prove that β (S/ ) = 0 in each case. 3,6 IG 6 3,5 IG 6 (1) There is an edge e = u, v such that G e = C4. Consider the long exact sequence of Tor corresponding to short{ exact} sequence (1),\ S S S TorS , K TorS ( 2), K TorS , K . ···→ 3,5   → 2,5  :g ¯ −  → 2,5   →··· IG IG\e e IG\e Note that G e is complete bipartite graph. By Theorem 3.9, reg(S/ G\e) = 2, therefore, β (S/ ) =\ 0. Notice that I 2,5 IG\e S S TorS ( 2), K TorS , K . 2,5  :g ¯ −  ≃ 2,3  :g ¯  IG\e e IG\e e

By Lemma 3.5, β2,3(S/( G\e :g ¯e)) = β2,3(S/J(G\e)e ). Since (G e)e is a diamond graph, by [22, Theorem 2.2], βI (S/ :g ¯ ) = 4. The above long exact\ sequence yields that 2,3 IG\e e β3,5(S/ G) = 0. (2) LetI e6 E(G) be an edge. Then, G e is a diamond graph. It follows from Theorem 3.10 that β ∈(S/ :g ¯ ) = 0. Since \ 3,3 IG\e e S S TorS ( 2), K TorS , K , 3,5  :g ¯ −  ≃ 3,3  :g ¯  IG\e e IG\e e the long exact sequence of Tor corresponding to short exact sequence (1), S S 0 TorS , K TorS , K . ··· → 3,5   → 3,5   →··· IG\e IG Now, if β (S/ ) = 0, then β (S/ ) = 0, which is contradiction to part (1). Therefore, 3,5 IG 3,5 IG\e β3,5(S/ G) = 0. (3) LetI e6 E(G) such that G e is a claw. It follows from [23, Theorem 5.3] that β (S/ ) =∈ 0. By Theorem 3.10,\β (S/ :g ¯ ) = 0. Hence, β (S/ ) = 0.  3,5 IG\e 6 3,3 IG\e e 3,5 IG 6 We now move on to characterize graphs whose parity binomial edge ideals have the pure resolution. PARITY BINOMIAL EDGE IDEALS 9

Lemma 3.13. Let G be a graph on [n] and H be an induced subgraph of G. If S/ G has the pure resolution, then S / has pure resolution. I H IH Proof. The assertion immediately follows from Theorem 3.7. 

Theorem 3.14. Let G be a graph on [n]. Then, S/ G has pure resolution if and only if G is one of the following: I (1) G is a complete bipartite graph. (2) G is a disjoint union of some odd cycles and some paths. Proof. If G is a complete bipartite graph, then by [23, Theorem 5.3] and by Remark 3.1, S/ has pure resolution. If G is disjoint union of some odd cycles and some paths, then IG it follows from [13, Corollary 3.6] that G is a complete intersection. Therefore, the Koszul complex is a minimal free resolution ofIS/ . Hence, S/ has pure resolution. IG IG Conversely, we assume that G is a bipartite graph and S/ G has pure resolution. Then, it follows from Remark 3.1 and [11, Theorem 2.2] that G is eitherI a complete bipartite graph or a disjoint union of some path graphs. So, now we assume that G is a connected non-bipartite graph such that S/ has pure resolution. We claim that G is an odd cycle. If every vertex IG has degree two, then G is an odd cycle. If there is a vertex v such that degG(v) 3, then let u ,u ,u N (v). The induced subgraph G[A], where A = v,u ,u ,u , is either≥ a claw or 1 2 3 ∈ G { 1 2 3} a diamond graph or a complete graph K4 or it is obtained by attaching an edge to a vertex of K3. If G[A] is a claw, then by [23, Theorem 5.3], β3,5(S/ G[A]) = 0. Therefore, by Theorem 3.7, β (S/ ) = 0. Since G is a non-bipartite graph, byI Theorem6 3.10, β (S/ ) = 0, 3,5 IG 6 3,6 IG 6 which is a contradiction. Therefore, G[A] is not a claw. Now, by Proposition 3.12, S/ G[A] has not pure resolution. Thus, by Lemma 3.13, S/ has not pure resolution whichI is a IG contradiction. Therefore, for every vertex v, degG(v) = 2, and hence, G is an odd cycle. Let G ,...,G be connected components of G. By Lemma 3.13, S/ has pure resolution for all 1 k IGi i. Therefore, Gi is either a path graph or an odd cycle or a complete bipartite graph. Again by Lemma 3.13, for each pair of 1 i < j k, S/ has pure resolution. It follows ≤ ≤ IGi⊔Gj from [11, Lemma 2.5] and [23, Theorem 5.3] that Gi is either an odd cycle or a path. 

Acknowledgements: The author is grateful to his advisor A. V. Jayanthan for his constant support, valuable ideas, and suggestions. The author thanks the National Board for Higher Mathematics, India for the financial support. References [1] Davide Bolognini, Antonio Macchia, and Francesco Strazzanti. Binomial edge ideals of bipartite graphs. European J. Combin., 70:1–25, 2018. [2] Aldo Conca and Volkmar Welker. Lov´asz-Saks-Schrijver ideals and coordinate sections of determinantal varieties. Algebra Number Theory, 13(2):455–484, 2019. [3] J¨urgen Herzog, Takayuki Hibi, Freyja Hreinsd´ottir, Thomas Kahle, and Johannes Rauh. Binomial edge ideals and conditional independence statements. Adv. in Appl. Math., 45(3):317–333, 2010. [4] J¨urgen Herzog, Antonio Macchia, Sara Saeedi Madani, and Volkmar Welker. On the ideal of orthogonal representations of a graph in R2. Adv. in Appl. Math., 71:146–173, 2015. [5] Do Trong Hoang and Thomas Kahle. Hilbert-poincar´eseries of parity binomial edge ideals and perma- nental ideals of complete graphs. Collect. Math., 2020 (to appear). [6] A. V. Jayanthan and Arvind Kumar. Regularity of binomial edge ideals of Cohen-Macaulay bipartite graphs. Comm. Algebra, 47(11):4797–4805, 2019. [7] A. V. Jayanthan, N. Narayanan, and B. V. Raghavendra Rao. Regularity of binomial edge ideals of certain block graphs. Proc. Indian Acad. Sci. Math. Sci., 129(3):Art. 36, 10, 2019. 10 ARVIND KUMAR

[8] A. V. Jayanthan, N. Narayanan, and B. V. Raghavendra Rao. An upper bound for the regularity of binomial edge ideals of trees. J. Algebra Appl., 18(9):1950170, 7, 2019. [9] Thomas Kahle and Jonas Kr¨usemann. Binomial edge ideals of cographs. arXiv e-prints, page arXiv:1906.05510, Jun 2019. [10] Thomas Kahle, Camilo Sarmiento, and Tobias Windisch. Parity binomial edge ideals. J. Algebraic Combin., 44(1):99–117, 2016. [11] Dariush Kiani and Sara Saeedi Madani. Binomial edge ideals with pure resolutions. Collectanea Math- ematica, 65(3):331–340, Sep 2014. [12] Dariush Kiani and Sara Saeedi Madani. The Castelnuovo-Mumford regularity of binomial edge ideals. J. Combin. Theory Ser. A, 139:80–86, 2016. [13] Arvind Kumar. Lov´asz-saks-schrijver ideals and parity binomial edge ideals of graphs. European J. Combin., 93:103274, 2021. [14] L. Lov´asz, M. Saks, and A. Schrijver. Orthogonal representations and connectivity of graphs. Linear Algebra Appl., 114/115:439–454, 1989. [15] L´aszl´oLov´asz. On the Shannon capacity of a graph. IEEE Trans. Inform. Theory, 25(1):1–7, 1979. [16] Carla Mascia and Giancarlo Rinaldo. Krull dimension and regularity of binomial edge ideals of block graphs. J. Algebra Appl., 19(7):2050133, 17, 2020. [17] Kazunori Matsuda and Satoshi Murai. Regularity bounds for binomial edge ideals. J. Commut. Algebra, 5(1):141–149, 2013. [18] Fatemeh Mohammadi and Leila Sharifan. Hilbert function of binomial edge ideals. Comm. Algebra, 42(2):688–703, 2014. [19] Hidefumi Ohsugi, J¨urgen Herzog, and Takayuki Hibi. Combinatorial pure subrings. Osaka J. Math., 37(3):745–757, 2000. [20] Masahiro Ohtani. Graphs and ideals generated by some 2-minors. Comm. Algebra, 39(3):905–917, 2011. [21] Irena Peeva. Graded syzygies, volume 14 of Algebra and Applications. Springer-Verlag London, Ltd., London, 2011. [22] Sara Saeedi Madani and Dariush Kiani. Binomial edge ideals of graphs. Electron. J. Combin., 19(2):Pa- per 44, 6, 2012. [23] Peter Schenzel and Sohail Zafar. Algebraic properties of the binomial edge ideal of a complete bipartite graph. An. S¸tiint¸. Univ. “Ovidius” Constant¸a Ser. Mat., 22(2):217–237, 2014. Email address: [email protected] Department of Mathematics, Indian Institute of Technology Madras, Chennai, INDIA - 600036