Arxiv:2101.07245V2 [Math.CO] 25 May 2021

Home , Stuck with U

arXiv:2101.07245v2 [math.CO] 25 May 2021 ihrsett eei riinrdcin n eei deg generic and reductions Artinian generic to respect with h ro eiso h atta h isdpiigproperti pairing biased the that fact the on relies proof The rpryalw o elcn h rbe fpoigteLef the proving of problem the replacing for allows property n[ In nstoyo tne-ese ig,asrne i h sen the (in stronger a rings, Stanley-Reisner of anisotropy 57Q15. opoetehr esht hoe o oooyshrsand spheres homology for theorem Lefschetz hard the prove to onaépiigde o eeeaeat degenerate not does pairing Poincaré nteKhe etn,wihw nwcno pl ognrlsp general to boundaries. apply polytope cannot of know we which setting, Kähler speaking, the in intuitively replace, They operators. Lefschetz eety aaai n ertu[ Petrotou and geometri Papadakis Recently, is proof the So manifolds, singularities. singular mild to beyond generalize objects to tricky somewhat r is is process and replacement th this However, as well variable. as a easier, as much system chosen be can which one, equivalent AI LXNE DPAIO TVO RYISPPDKS A PAPADAKIS, ARGYRIOS STAVROS ADIPRASITO, ALEXANDER KARIM NSTOY ISDPIIG,ADTELFCEZPOET FO PROPERTY LEFSCHETZ THE AND PAIRINGS, BIASED ANISOTROPY, 2010 Date e od n phrases. and words Key Adi18 a 6 2021. 26, May : ahmtc ujc Classification. Subject Mathematics eeaiei opedmnflsadcycles. and pseudomanifolds t to of it presentation generalize simplified a provide also We Stanley. to general due a solving complexes, Macaulay Cohen doubly for orem parti In gen characteristic. a arbitrary and to Papadakis-Petrotou theory pairing biased Adiprasito’s of combination n hrceitcwt epc oa prpit Artinian appropriate an to respect with characteristic any A BSTRACT ,Airst nrdcdteHl-aa eain n bias and relations Hall-Laman the introduced Adiprasito ], epoetehr esht rpryfrpedmnflsa pseudomanifolds for property Lefschetz hard the prove We . adLfcezterm suoaiod,smlca cycl simplicial pseudomanifolds, theorem, Lefschetz hard SUOAIOD N CYCLES AND PSEUDOMANIFOLDS .I 1. PP20 rmr 54,1F5 eodr 25,1M5 54,52B70 05E40, 14M25, 32S50, Secondary 13F55; 05E45, Primary NTRODUCTION aebito h aetoies n studied and ideas, two same the on built have ] eti ideals certain 1 pcfial ooiliel.This ideals. monomial specifically , ua,w rv h esht the- Lefschetz the prove we cular, ecaatrsi ae and case, 2 characteristic he h og-imn relations Hodge-Riemann the euto.Tepofi a is proof The reduction. rlzto fafruaof formula a of eralization eo oersrcie notion restrictive) more of se al oehtchallenging. somewhat cally zto fteg-conjecture the of ization te eiu geometrically, tedious ather e n lmnsatn as acting elements one ree n esmr eiu for tedious more gets and s h rpryta the that property the es, dao sn h linear the using of idea e cezpoet ihan with property schetz ee usd h realm the outside heres DVSLK PETROTOU VASILIKI ND oooymanifolds homology dpiigproperty pairing ed s aerings. face es, dcce in cycles nd R , 2 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU than the biased pairing property, demanding that the Poincaré pairing does not degenerate at any ideal. Clearly, for this, the field has to be rather special, and cannot be algebraically closed, for instance. Nevertheless, it implies a partial new proof of the Lefschetz property for spheres, though only in characteristic 2, by observing that in certain transcendental extensions, anisotropy is relatively easy to prove by linear algebra arguments using a formula they had found. Still, it is quite remarkable that both proofs of the generic Lefschetz property have their key ideas in common: ◦ Both proofs make use of the self-pairing in face rings. ◦ Both make use of infinitesimal deformations of the linear system. So it is natural to try to bring both together to compensate for each other’s weaknesses.

Our first main result is as follows. k Theorem I. Consider k any infinite field, µ a simplicial cycle of dimension d − 1 over , and

the associated graded commutative face ring k[|µ|] over its support |µ|. Then there exists an Artinian reduction A(µ), and an element ℓ in A1(µ), such that for every k ≤ d/2, we have the hard Lefschetz property: We have an isomorphism

ℓd−2k Bk(µ) −−−−→· Bd−k(µ).

Here, B denotes the Gorensteiniﬁcation of A, that is, the quotient of A by the annihilator of the fundamental class. This generalizes the generic Lefschetz theorem for spheres (in which case B∗(Σ) = A∗(Σ)) and manifolds in [Adi18] and the characteristic two case for spheres in [PP20]. An important special case concerns pseudomanifolds. An orientable pseudomanifold is a pseudomanifold with a nontrivial fundamental class, with respect to a ﬁxed characteristic. It is connected if that fundamental class is further- more unique.

Corollary II. Consider k any inﬁnite ﬁeld, Σ any (d−1)-dimensional orientable and connected k pseudomanifold over k, and the associated graded commutative face ring [Σ]. Then there exists an Artinian reduction A(Σ), and an element ℓ in A1(Σ), such that for every k ≤ d/2, we have the hard Lefschetz property: We have an isomorphism

ℓd−2k Bk(Σ) −−−−→· Bd−k(Σ).

The Lefschetz property has many applications, implying the Grünbaum-Kalai-Sarkaria conjecture, g-conjecture and many more, but we shall not discuss these here, and direct the interested reader to [Adi18] for a derivation of these implications. We will provide ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 3 some new applications, to doubly Cohen-Macaulay complexes. Note that orientability is automatic over characteristic two. Alas, more miracles happen in that characteristic. We have the following stronger result:

Theorem III. Consider k any ﬁeld of characteristic two, µ any (d − 1)-dimensional cycle over

′

k k k, and the associated graded commutative face ring [|µ|]. Then, for some ﬁeld extension

of k, we have an Artinian reduction A(µ) that is anisotropic, i.e. for every nonzero element k d u ∈ B (µ), k ≤ 2 , we have u2 6= 0.

That this is stronger than the Lefschetz theorem is a consequence of the characterization theorem of biased pairing theory, or alternatively the Kronecker/perturbation lemma, both of which we shall recall. In general characteristic, we are unable to prove such a statement. Instead, we prove that every u pairs with another that is sufﬁciently similar to u, essentially related by a change in coefﬁcients, so that they lie in the same monomial ideal.

2. BASIC NOTIONS

Face rings are the main object of the paper. Our treatment is standard except for the

relative case, in which we follow [AY20]. Fix a field k. Definition 2.1. Let ∆ be a simplicial complex of dimension d−1. Define the polynomial (0) ring k[xv | v ∈ ∆ ], with variables indexed by vertices of ∆. The non-face ideal I∆ of

∆ is the ideal generated by all elements of the form xv1 · xv2 · . . . · xvj where {v1,...,vj} is not a face of ∆. The face ring of ∆ is

(0) k k[∆] := [xv | v ∈ ∆ ]/I∆.

If Ψ = (∆, Γ) is a relative complex, the relative face module of Ψ is deﬁned by IΓ/I∆.

This is an ideal of k[∆].

To further out notational abilities, let us recall the deﬁnition of a star in a (relative) simplicial complex Ψ = (∆,Γ ): The star of a simplex τ within Ψ is

stτ Ψ = ({σ ∈ ∆ : σ ∪ τ ∈ ∆}, {σ ∈ Γ : σ ∪ τ ∈ Γ }). Similarly, the link is

lkτ Ψ = ({σ ∈ ∆ : σ ⊔ τ ∈ ∆}, {σ ∈ Γ : σ ⊔ τ ∈ Γ }).

∗ k Now, assume that k is inﬁnite. Consider an Artinian reduction A (∆) of a face ring [∆] with respect to a linear system of parameters Θ. It is instructive to think of A∗(∆) as a 4 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU

d geometric realization of ∆ in k , with the coefﬁcients of xi in Θ giving the coordinates

of the vertex i, recorded in a matrix V. k By deﬁnition, a simplicial cycle µ of ∆ over k is a nonzero element of Hd−1(∆; ). Eval-

uating at µ, we get a surjective k-linear map

d−1 ։ k H (∆; k) . Via the canonical isomorphism d−1 ∼ d H (∆; k) = A (∆),

see [Adi18, Section 3.9], [TW00], there is an induced surjective k-linear map ∨ d

µ : A (∆) ։ k.

Composing the multiplication map Ak(∆) × Ad−k(∆) → Ad(∆) with µ∨, we get a bilinear pairing k d−k A (∆) × A (∆) → k.

We denote by Lk the set of elements of Ak(∆) that have zero pairing with all elements d−k ∗ k ∗ of A (∆). The direct sum L = ⊕kL is a homogeneous ideal of A (∆), and we set ∗ ∗ ∗ Bµ(∆)= A (∆)/L . The algebra A∗(∆) has been Gorensteiniﬁed, for lack of a better word. This does not depend on the simplicial complex ∆. The following is immediate.

Proposition 2.2. Consider a simplicial complex ∆ as above, and a cycle µ in it. Then the restriction A∗(∆) −→→ A∗(|µ|) where |µ| denotes the support of µ, that is, the minimal simplicial complex containing µ, induces an isomorphism of Gorensteiniﬁcations. In particular, we have ∗ ∼ ∗ Bµ(∆) = Bµ(|µ|).

∗ ∗

For ease of notation, we shall abbreviate B (µ) := Bµ(|µ|). k

For simplicial complexes such that dimk Hd−1(∆; ) = 1, we set µ to be a ﬁxed nonzero

element of Hd−1(∆; k). This is, in particular, the case for connected orientable pseudomanifolds. Notice that B∗(µ) is a Poincaré duality algebra, with last nonzero graded component in degree d. ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 5

We will now use the simplicial cycle µ to deﬁne a natural k-linear isomorphism d

deg : B (µ) −→ k.

Convention. Note that the degree map is readily described by the coefficients of the simplicial cycle: It is enough to define it on cardinality d faces F , as face rings are generated by squarefree monomials [Lee96, Section 4.3] 1. And for a cardinality d face F , we have x µF deg( F ) = V , | |F | where µF is the oriented coefficient of µ in F , and we fix an order on the vertices of µ V and compute the sign with respect to the fundamental class, and the determinant | |F | V V of the minor |F of corresponding to F . For instance, if µ is the fundamental class of a pseudomanifold, we have canonically

x sgn(F ) deg( F ) = V . | |F |

Two perspectives. There are, of course, two perspectives that we shall make use of: We ∗ can consider A (∆) over k as functions in V, including the degree map in particular, ∗ or we consider A (∆) over k(V), the ﬁeld of rational functions associated to the tran-

scendental extension of k by the entries of V. It is useful to keep this dichotomy in mind.

3. APPLICATION: DOUBLY COHEN-MACAULAY COMPLEXES AND THE CYCLE FILTRATION

Let us sketch the main application of Theorem I: we show the Lefschetz theorem for doubly Cohen-Macaulay complexes.

Consider an m-dimensional subspace M of Hd−1(∆), or dually, a map ∨ d−1 m

M : H (∆) −→→ k . Then we have the quotient B∗(M) of A∗(∆) induced as before as the quotient by the annihilator under the pairing k d−k m

A (Σ) × A (Σ) −→ k .

1Although Lee proves this only in characteristic zero, the argument goes through in general. We shall use his ideas several times in this paper for general characteristic, provided they apply there. We note that all the ideas we use readily extend, and without any modiﬁcation of the arguments. 6 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU

Corollary 3.1. B∗(M) has the top-heavy Lefschetz property over every sufﬁciently large ﬁeld

extension of k with respect to a sufﬁciently general position of parameters, that is, there is an ℓ ∈ B1(M) so that ℓd−2k Bk(M) −−−−→· Bd−k(M) is injective.

Proof. Consider a generating system (µi)i∈I for M, Then we have an injection ∗ ∗ B (M) −→ B (µi), Mi∈I and hence d−2k Bk(M) ·ℓ Bd−k(M)

d−2k k ·ℓ d−k i∈I B (µi) i∈I B (µi) which implies injectivity onL the top if it is presentL on the bottom.

3.1. Doubly Cohen-Macaulay complexes. A simplicial complex is called s-Cohen-Macaulay if it is Cohen-Macaulay and after the removal of s vertices, the complex is still Cohen- Macaulay of the same dimension. For instance, a triangulated homology sphere is 2-Cohen-Macaulay, also called doubly Cohen-Macaulay [Sta96, Chapter III.3]. Stanley showed that doubly Cohen-Macaulay complexes are level, that is, for such a complex Σ of dimension d − 1, the socle is con- centrated in degree d. In other words, if M = Ad(Σ), we have B∗(M) = A∗(Σ). From the last result, we conclude

Corollary 3.2. Consider a doubly Cohen-Macaulay complex Σ of dimension d−1. Then A∗(Σ)

has the top-heavy Lefschetz property over any infinite field extension of k with respect to a 1 sufficiently general position of parameters, that is, there is an ℓ ∈ AM (Σ) so that ℓd−2k Ak(Σ) −−−−→· Ad−k(Σ) is injective.

In particular, the g-vector of a doubly Cohen-Macaulay complex is an M-vector [Mac27], since Ak(Σ) −→· Ak+1(Σ) d is injective for k ≤ 2 . ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 7

4. BIASED PAIRINGS AND HALL LAMAN RELATIONS

Let us recall the basics of biased pairing theory. More depth and breath is found in [Adi18, Section 5], but we repeat proofs where they are needed for our purposes.

4.1. Biased Poincaré pairings. Recall: Let µ be a d − 1-dimensional simplicial cycle, and B∗(µ) the associated Gorenstein ring. Then we have a pairing Bk(µ) × Bd−k(µ) −→ Bd(µ) =∼ R. d We say that µ has the biased pairing property in degree k ≤ 2 with respect to some proper subcomplex Γ of the support, if the pairing Kk(µ,Γ ) × Kd−k(µ,Γ ) −→ Kd(µ,Γ ) (1) is nondegenerate on the left. Here Kk(µ,Γ ) is the nonface ideal of Γ in B∗(µ). Notice:

Proposition 4.1. For an ideal I in B∗(µ) the following are equivalent: (1) The map ∗ I −→ B (µ) annB∗(µ)I is an injection in degree k. . (2) The map ∗ I −→ B (µ) annB∗(µ)I is a surjection in degree d − k. . (3) For every x ∈ Ik, there exists a y in Id−k such that x · y 6= 0. (4) I has the biased pairing property in degree k.

We obtain immediately an instrumental way to prove biased Poincaré duality for monomial ideals.

Corollary 4.2. K∗(µ,∆) has the biased pairing property in degree k if and only if k k K (µ,Γ ) −→ B (µ)|Γ ∗ k k is injective, where B (µ)|Γ is the Poincáre dual of K (µ,Γ ), that is, the quotient of B (µ) by elements that pair only trivially with elements of Kk(µ,Γ ).

Let us note separately a different condition.

Corollary 4.3. This is the case if and only if d−k d−k K (µ,Γ ) −→ B (µ)|Γ is surjective. 8 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU

Biased pairings as "rewriting an element in terms of an ideal": We have several cri- terions for the biased pairing property: other than the pairing question itself, Corol- lary 4.2 asks whether an element of Kk(µ,Γ ) survives rewriting it in its Poincaré dual. d−k Corollary 4.3 instead asks us to rewrite elements B (µ)|Γ by elements in the ideal Kd−k(µ,Γ ).

4.2. Invariance under subdivisions. An important tool is the invariance of biased pairing under subdivisions (and their inverses). We only need this for odd-dimensional cycles, but it holds regardless of that restriction, and with respect to the middle pairing, i.e., a manifold of dimension 2k − 1, and regarding the pairing in degree k. Recall that a map of simplicial complexes is simplicial if the image of every simplex lies in a simplex of the image. A simplicial map ϕ : µ′ → µ of simplicial cycles is a combinatorial subdivision (speak: µ′ is a subdivision of µ) if it is a facewise injective simplicial map of underlying complexes and maps the fundamental class to the fundamental class. We have the following result of Barnette:

Proposition 4.4 (Barnette, [Bar73]). Any simplicial d-cycle µ is a subdivision of the boundary

∆d of the (d + 1)-dimensional simplex. Moreover, if F is any facet of µ, and v one of its vertices, then we can assume the combinatorial subdivision maps F to a facet of ∆d, and the star of v to the star of some vertex.

For geometric simplicial complexes (that is, with respect to an Artinian reduction), we require a geometric subdivision to map the linear span of a simplex to the linear span of the simplex containing it, i.e. if σ′ is an element of µ′, and σ is the minimal face of σ containing ϕ(σ′) combinatorially, then in the geometric realization, we require that the linear spans are mapped to corresponding linear spans, i.e. span ϕ(σ′) ⊆ span σ. In particular, we do not require the image of a face to lie within the combinatorial target geometrically, only that they span the same space.

Lemma 4.5. A geometric subdivision ϕ : µ′ → µ of simplicial cycles of dimension at least (2k − 1) that restricts to the identity on a common subcomplex Γ preserves biased pairings, that is, K∗(µ,Γ ) has the biased pairing property (in degree k) if and only if K∗(µ′,Γ ) does (in degree k). ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 9

Proof. The map induces a pullback ,(|′ϕ∗ : A∗(|µ|) ֒−→ A∗(|µ that is compatible with the Poincaré pairing, so it induces a map .(′ϕ∗ : B∗(µ) ֒−→ B∗(µ Let us denote by G the orthogonal complement to the image in Bk(µ′), the image of the Gysin, so that the decomposition Bk(µ) ⊕ G = Bk(µ′) is orthogonal. Notice then that ϕ∗ is the identity on A∗(|µ|), and its image in B∗(µ), so Kk(µ,Γ ) ⊕ G = Kk(µ′,Γ ) Hence, it induces an isomorphism on the orthogonal complements of K∗(µ,Γ ) resp. K∗(µ′,Γ ).

Hence, if we do not subdivide Γ , then the biased pairing property is preserved. If one subdivides Γ , then only one direction holds. Proposition 4.6. Consider a geometric subdivision ϕ : µ′ → µ of simplicial cycles of dimension at least (2k − 1), and Γ a subcomplex that is subdivided to Γ ′. Then K∗(µ,Γ ) satisﬁes biased Poincaré duality (in degree k) if K∗(µ′,Γ ′) does (in degree k).

The other direction is no longer true, as is easy to see.

Proof. It is still true that Bk(µ) ⊕ G = Bk(µ′) in an orthogonal splitting under the Poincaré pairing. However, this is no longer so nice when restricting to the ideal, as we can only conclude that Kk(µ,Γ ) ⊕ G′ = Kk(µ′,Γ ′) where G′ is some subspace of G. However, as the pullback map is compatible with the pairing, the one direction we claimed still holds.

4.3. Hall-Laman relations and the suspension trick. Finally, biased Poincaré duality allows us to formulate a Lefschetz property at ideals. We say that B∗(µ), with socle d degree d, satisﬁes the Hall-Laman relations in degree k ≤ 2 and with respect to an ideal I∗ ⊂ B∗(µ) if there exists an ℓ in B1(µ), such that the pairing Ik × Ik −→ Id =∼ R (2) a b 7−−→ deg(abℓd−2k) 10 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU is nondegenerate. Note that the Hall-Laman relations coincide with the biased pairing d property if k = 2 . If we want to prove the Hall-Laman relations for a pair (µ,Γ ), where Γ is a subcomplex of |µ|, speciﬁcally the Hall-Laman relations for K∗(µ,Γ ) or its annihilator, we proceed using the following trick. Consider the suspension susp ∆ of a simplicial complex ∆. Label the two vertices of the suspension n and s (for north and south). Let π denote the projection along n, and let ϑ denote the height over that projection, and let A ∗ B denote the free join of two simplicial complexes A and B.

d+1 d Lemma 4.7 ([Adi18, Lemma 7.5]). Considering susp µ realized in R , and k < 2 , the following two are equivalent: (1) The Hall-Laman relations for Kk+1(susp µ, (susp Γ ) ∪ s ∗ |µ|)

with respect to xn. (2) The Hall-Laman relations for Kk(πµ, πΓ ) with respect to ϑ.

Proof. Set ϑ = xn − xs in B∗(susp|µ|). Consider then the diagram

d−2k Bk(πµ) ·ϑ Bd−k(πµ)

∼ ∼ d−2k−1 k+1 s ·xn d−k B (susp µ, ∗ |µ|) B (susp µ)|s∗|µ| An isomorphism on the top is then equivalent to an isomorphism of the bottom map, and the same holds when restricting to ideals and their Poincaré duals.

4.4. Lefschetz elements via the perturbation lemma. Let us note we can use another way to construct Lefschetz elements. For this, let us remember a Kronecker lemma of [Adi18], see also [Rin13] and of course Kronecker for the original formulation [Kro90]:

Lemma 4.8. Consider two linear maps α, β : X −→ Y of two vector spaces X and Y over R. Assume that β has image transversal to the image of α, that is, β(kerα) ∩ imα = 0 ⊂ Y. ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 11

Then a generic linear combination α “+” β of α and β has kernel ker(α “+” β) = kerα ∩ kerβ.

As observed in [Adi18, Section 6.6], this can be used to iteratively prove the existence of Lefschetz elements provided that B(Σ) satisﬁes the biased pairing property in the pullback to any vertex link. Let us consider for simplicity the case of µ a cycle of dimension 2k − 1. The connection is to the classical Hall matching theorem, which constructs stable match- ings in a discrete setting [Hal35]. This lemma is designed to do the same in the setting of linear maps. The idea is now to prove the following transversal prime property: for W a set of vertices in |µ| if

ker “ ” xv = ker xv vX∈W v\∈W Note: proving the transversal prime property for all vertices together is equivalent to the Lefschetz isomorphism ℓ X = Bk(µ) −−→· Y = Bk+1(µ) for ℓ the generic linear combination over all variables. This is because

ker xv = 0 v vertex\ of Σ because of Poincaré duality. Note further, to see how the biased pairing property implies the transversal property by induction on the size of the set W , that when we try to apply the criterion by multiplying with a new variable xv, adding a vertex v to the set W , then we are really pulling back to a principal ideal ideal hxvi in B(µ), and asked to prove that xvker “ v∈W ” and im “ v∈W ” ∩ hxvi intersect only in 0. P NoteP ﬁnally that both spaces are orthogonal complements. This is the case if and only if the Poincaré pairing is perfect when restricted to either (or equivalently both) of them.

5. SOMEUSEFULIDENTITIESONRESIDUESANDDEGREES

We now prove and recall some useful identities on the degree.

5.1. The square of a monomial. Now that we know that we can restrict to minimal cycles of odd dimension 2k − 1= d − 1, and biased pairings in them, we can go a little further. The trick is to consider the degree of an element in Bk(∆) of a pseudomanifold 12 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU of dimension d − 1 as a function of V, which we think of as independent variables. Let us start with a formula due to Lee that describes the coefﬁcients of the fundamental class:

Lemma 5.1 ([Lee96, Theorem 11]). We have

x2 V x −1 deg( τ )( ) = deg( F ) [F − i] · [F − i] !   F facet containingX τ iY∈τ i∈YF \τ   where [F − i] is the volume element of F − i.

To compute the volume element [F − i], we can ﬁx a general position vector v that is added as an element to the matrix V in the i-th column, and compute the determinant. 2 Now consider deg(xτ ) (V), for τ a face of cardinality k. We now want to compute the partial differential with respect to a (k − 1)-dimensional face σ of ∆. For this, we pick d a basis of k(V) by simply considering the vertices σ¯1, ..., σ¯k of σ and the faces for τ V τ1, ...,τk of τ. Denote the basis by Bσ , simply a labelling of |τ∪σ. Let us denote, for functions in V, the partial differential τ x x τ ∂σ := deg( σ τ )∂Bσ ,

τ V V V where ∂Bσ is the partial differential of σ1 in the directions of τ1 and σ1 , the partial V V V differential of σ2 in directions τ2 and σ2 and so on. In other words, we are inter- V V V ested in the behaviour of a function f( ) when varying σ1 in the directions of τ1 V V V V and σ1 , varying σ2 in directions τ2 and σ2 etc. We have:

Lemma 5.2. Assume σ and τ are disjoint, but lie in a common face of ∆. Then τ x2 V x x 2 ∂σdeg( τ ( )) = (deg( τ σ))

The normalization factor is added to achieve linearity in characteristic 2, but is not needed for the proof of anisotropy and Lefschetz property. Let us brieﬂy note that this formula follows also quite simply from the global residue formula [Gri76, CCD97], appropriately generalized to the setting of pseudomanifolds and face rings. This is not hard, but as Lee already provided a formula in the general setting, we shall work with him instead. The following easy derivation is due to Geva Yashfe:

Proof. Recall the generalized Leibniz formula ∂ ∂ ei ei ∂x fi fi = fi ei . ∂x fi ! Y Y X ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 13

Applying this to Lee’s formula, and differentiating σj in the direction of τj, every summand on the right vanishes except for a summand [F − σ ] (−1)k−1 j . [F − τj]

Differentiating in direction σj just multiplies everything with −1.

We need another, different version, that is similarly simple to prove:

Lemma 5.3. Assume σ and τ are any two faces, and consider a vertex v not in stτ∪σ∆. Then deg(xτ xσ)(V) = 0 is independent of of v.

Proof. This follows directly from Lee’s formula.

′

k k 5.2. The formula for a homogeneous element. Set now k := (V, V ), where is any ﬁeld, the ﬁeld of rational functions with variables V, as well as a copy V′ of the vertex k e coordinates. Consider now an element u of k(V) [∆] that is the linear combination of squarefree monomials. We say a face σ is compatible with u if

◦ stσ∆ intersects the support |u| of u in a unique face, denoted by τ(u, σ). The coefﬁ- cient of u at τ(u, σ) is 1. ◦ Consider a face τ ′ of |u| that is not τ(u, σ). Then the star of τ ′ intersects σ trivially, or ′ in a face στ ′ of σ. Moreover, the coefﬁcient uτ ′ of u in τ vanishes under differentiation in the direction of vertices of σ \ στ ′ . ′ ′ k ′ Consider an element u of k(V ) [∆]. We now differentiate deg(u·u ), using the formula of the previous section.

Lemma 5.4. For u compatible with respect to σ, we have τ(u,σ) ′ τ(u,σ) ′ x 2 ∂σ deg(u · u ) = deg((∂σ u) · u ) + (deg(xτ(u,σ) · σ)) (3)

The idea will be to cleverly associate u′ to u. Consider for instance the case when u′ is obtained from u by replacing every variable in V with the corresponding variable in V′. If we now substitute V′ → V on both sides of this equation, then we obtain Corollary 5.5.

τ(u,σ) ′ ′ τ(u,σ) x 2 ∂σ deg(u · u )u=u − deg((∂σ u) · u) = (deg(xτ(u,σ) · σ)) (4)

Key Observation: Note that if u lies in some monomial ideal, then so does u′ and τ(u,σ) ∂σ u, as we only changed the coefﬁcients of the monomials, and introduced no new monomial. This is rather marvellous, and informs us how we want to prove the biased pairing property. 14 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU

6. PROVINGANISOTROPYANDTHE LEFSCHETZPROPERTY

To ﬁnish the proof of the Lefschetz theorem, over k, we need to prove the biased pairing property in degree k for a pair (µ,∆), where µ is a cycle of odd dimension d−1 = 2k −1, e and ∆ is a codimension 0 subcomplex.

6.1. Characteristic 2, with a bonus of anisotropy. In characteristic 2, one can prove a stronger statement than just biased pairing: We can prove that elements in u ∈ Bk(µ) 2 over k(V), for µ a pseudomanifold of dimension 2k − 1, have deg(u ) 6= 0. It illustrates an important principle: normalization. k Consider u ∈ A (µ). Consider the pairing with xσ for some cardinality k face σ.

Normalization: We may now assume that, u is represented as λτ xτ so that only one τ of the sum lies in stσµ, and may further assume that this τ liesP in lkσ µ. This is because k k k B (stσµ) =∼ B (lkσ µ) =∼ (xσ)B (µ) is of dimension one. Finally observe that τ 2 τ x 2 ∂σ deg(u ) = ∂σdeg( (λτ τ ) ) 2 Xτ x2 = λτ ∂σ deg( τ ) X 2 x x 2 = λτ deg( τ σ) X 2 2 = deg( λτ xτ xσ) = deg(xσu) in characteristic 2. We conclude: X X

Proposition 6.1. We have τ 2 x 2 ∂σdeg(u ) = deg( σu)

Note that this holds regardless of the normalization, and in particular also of τ, by linearity of the differential in characteristic 2. On a low-brow level, this is a consequence of the vanishing of the diagonal terms in the Hessian in characteristic 2. This ﬁnishes the proof of the biased pairing property, as every u must pair with some xσ by Poincaré duality, so every element must pair with itself.

6.2. General characteristic, middle isomorphism. Let us consider the cycle µ′ of di- [2k−1] mension 2k − 2 in k , where [j] = {1, · · · , j}, and assume we want to prove the

e ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 15 middle isomorphism of the Lefschetz property. Following Lemma 4.7, we can equiv- ′ [2k] alently prove the biased pairing property in µ = susp µ in k with respect to the ′ ′ [2k] subcomplex Γ s ∗ |µ | after we lifted µ according to some height function into k . e This is less beautiful: we do not have a differential formula that is independente of the presentation of an element in the reduced face ring. Instead, we shall need to construct a special presentation, and argue that there is an element in the ideal that pairs with it. What is more, that element will depend on σ, where xσ pairs with the element in question (which again exists by Poincaré duality). Idea: There are several ways to achieve this (a previous version of this paper provided a different argument, for instance), but we will make use of a particular choice of idea here: McMullen’s idea of tracing the Lefschetz property along subdivisions and inverses, an inﬂuential idea that was previously thought to be difﬁcult to make work in this setting. However, the idea will come with a twist, in that, essentially, many incompatible subdivisions have to be taken care of simultaneously, and are nonlocal. Also, instead of showing that subdivisions can be used to preserve the Lefschetz property directly, we use the detour over biased pairings. Setup: Following Lemma 4.7, we are tasked to prove the biased pairing property for a pair K∗(µ,Γ ). Consider an element u generated by squarefree monomials supported

not in Γ , i.e., it is an element of k [µ,Γ ]. Such an element may not be compatible. Hence, the idea is to ﬁnd an equivalent representation of the class [u] of u in Kk(µ,Γ ), and use e the subdivision lemma and normalizations to replace it by an equivalent, but compatible element. Let us now consider a class [u] in Kk(µ,Γ ), represented by an element u in the ideal

hxni⊂ k [|µ|] as a sum u = λτ xτ , e where the sum is over faces τ with commonX vertex v. We want to prove that u pairs nontrivially with some other element Kk(µ,Γ ). Ifit does so with some element xσ, associated to a cardinality k face σ containing n, then we are

done. Notice further that we may assume that the coefficients λτ are from k(V), as the variables V′ are transcendental over that field. On the other hand, it has to pair with some face of µ by Poincaré duality. It has to be one of the faces σ of Σ′, as all other faces annihilate K∗(µ,Γ ). Three steps: We now proceed to find an element to pair u with. This procedure depends on σ. 16 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU

Step 1. Normalization: First, we use the following observation:

k k k Observation 6.2. The quotient K (stσµ, stσΓ ) = K (µ,Γ )/annxσ of K (µ,Γ ) is one- dimensional.

In particular, we can assume that the restriction of u to stσµ is supported in a single face τ of cardinality k. Note that we can also normalize u, so that the coefﬁcient of u in that face is 1. Step 2. Specialization and unsubdivision: Now, we shall do something counterintu- itive to our philosophy: We shall specialize the coordinates to a very special position. This is counter to our credo, that we have to be as generic as can be, but allows us to do a few interesting things. Why can we do this? A rational function that does not vanish under some specialization of its variables does not vanish. ′ [2k−1] We now specialize and require that all the vertices of |µ | lie in k . Moreover, we can use Barnette’s Proposition 4.4 to assume that |µ′| is geometrically the subdivision of e the boundary of a (2k − 1)-simplex, and that σ ∪ τ \ n is a facet of that simplex.

Remark 6.3 (Desingularize). There is one point we have to take care here: The specialization might singularize u. In such case, we can follow the discussion that follows, and

take care that everything works at poles by careful calculation. The other option is this: k We append another variable, say δ, to k, passing to the ﬁeld extension (δ). This addi- tional variable is then used to desingularize u, by perturbing it into a generic direction, e e so that we now have a function u(δ) with u(0) = u.

So now we are stuck with u in a subdivision of (n ∗ ∆2k−2, ∆2k−2). Consider its projection along the Gysin to an image under the pullback map, and call the preimage u. We observed already that if u pairs with an element in the ideal, then so is u; in fact we can simply pair u with the pullback of whatever form υ the form u pairs with, as deg(u, υ) = deg(u, υ)

Step 3. Normalization again: Consider now u, and assume that it pairs trivially with all cardinality k faces of µ that intersect σ and contain v. We claim that this can essentially only happen if u is compatible, though with a caveat. Consider ﬁrst a facet σ′ of σ. Note that since we are in the simplex, we can assume that there is a unique face A outside of τ that is in the star of σ′ and where the form is nontrivial. ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 17

Let us consider the coefﬁcient in that face. Without saying anything further, it is not restricted, but we may assume that u does not pair nontrivially with xσ′∗n (otherwise we are done, as xσ′∗n lies in A(n∗∆2k−2, ∆2k−2)). The pairing then only involves the newly constructed face A and the face τ(u, σ). It follows by Lemma 5.1 that the coefﬁcient in A vanishes under differentiation in the direction of vertices of σ. Now, we repeat the same process for all nontrivial faces σ′′ of σ, using pairing with the degree k element ′′ k−cardσ xσ′′ × xn . Hence, u can be assumed to be compatible and by Corollary 5.5 we have that one of the two terms, ′ τ(u,σ) deg(u · u ) or deg((∂σ u) · u) is nontrivial. Note that this extends to the desingularization, as the combination of both terms is a rational function that, as we set δ to 0, is a nontrivial function (after all, equalling to the degree of xτ xσ, squared). Which proves biased pairing for u, and hence for the original u.

Remark 6.4. Let us sketch another way that to construct the biased pair for u.

First, we can assume that u is supported in a unique face of stτ − τ (there may be more faces in the support outside of the star). We can then assume by renormalizing so that u does not become singular in the specialization, by multiplying with a scalar that only τ depends only on indeterminates we do not differentiate after by ∂σ. Issue that arrises: the coefficient may go to 0 on τ. ′′ ′ ′ However, we can choose u to be u + txτ , t sufficiently large so that (u + txτ )u has x2 ′′ τ(u,σ) coefficient 1 on τ . It again becomes clear that deg(u·u ) or deg((∂σ u) are nontrivial.

6.3. General characteristic, general isomorphism. In the case of general isomorphisms, say, the isomorphism ℓ B(µ)k −−→· B(µ)d−k we are, instead of considering the ﬁrst suspension, and ultimately the cone over a simplex, we are instead tasked with considering the d−2k −1-fold suspension of a simplex, and the cone over it. The rest of the argument remains the same.

7. OPEN PROBLEMS

Concerning problems surrounding the g-theorem, there is a stronger conjecture available: It has been conjectured that stronger, for s-Cohen-Macaulay complexes, we have d+s this injection for k ≤ 2 − 1, but the approach offers no clue how to do it. In particular, the combinatorial conjecture is: 18 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU

Conjecture 7.1. Consider an s-Cohen-Macaulay complex of dimension d − 1. Then the vector

(h0, h1 − h0, ..., h d+s − h d+s ) ⌈ 2 ⌉ ⌈ 2 ⌉−1 is an M-vector.

It is equally an open problem to extend the anisotropy to general characteristic. We

conjecture this is true, but have no good idea for an approach. k Conjecture 7.2. Consider k any ﬁeld, Σ any (d − 1)-dimensional pseudomanifold over , and

′

k k the associated graded commutative face ring k[Σ]. Then, for some ﬁeld extension of , we have an Artinian reduction A(Σ) that is totally anisotropic, i.e. for every nonzero element k d u ∈ A (Σ), k ≤ 2 , we have u2 6= 0.

Of course, special cases over characteristic 0, such as the anisotropy of integral ho-

mology spheres over k = Q can be established using standard mixed characteristic tricks and reduction to characteristic 2, but more seems difﬁcult. A generalization of the anisotropy to characteristic p that should be more immediate is the following:

Conjecture 7.3. Consider k any ﬁeld of characteristic p, Σ any (d − 1)-dimensional pseudo- k manifold over k, and the associated graded commutative face ring [Σ]. Then, for some ﬁeld

′ k extension k of , we have an Artinian reduction A(Σ) that is totally p-anisotropic, i.e. for k d every nonzero element u ∈ A (Σ), k ≤ p , we have up 6= 0.

Finally, both [Adi18] and the present work only prove the existence of Lefschetz elements on a generic linear system of parameters, and it would be interesting to have speciﬁc ones. One candidate is, in our opinion, the moment curve (t,t2,...,td).

Open Problem 7.4. Do distinct points on the moment curve provide a linear system with the Lefschetz property (on any (PL)-sphere, pseudomanifold or cycle)?

Acknowledgements. We thank Christos Athanasiadis, David Eisenbud, Gil Kalai, Eran Nevo, Richard Stanley, Geva Yashfe and Hailun Zheng for some enlightening conversa- tions, as well as helpful comments on the first version. K. A. was supported by the Eu- ropean Research Council under the European Union’s Seventh Framework Programme ERC Grant agreement ERC StG 716424 - CASe and the Israel Science Foundation under ISF Grant 1050/16. We benefited from experiments with the computer algebra program Macaulay2 [GS]. This work is part of the Univ. of Ioannina Ph.D. thesis of V. P., financially supported by the Special Account for Research Funding (E.L.K.E.) of the ANISOTROPY, BIASED PAIRINGS AND LEFSCHETZ FOR CYCLES 19

University of Ioannina under the program with code number 82561 and title Program of ﬁnancial support for Ph.D. students and postdoctoral researchers.

REFERENCES

[Adi18] Karim Adiprasito, Combinatorial Lefschetz theorems beyond positivity, 2018, arXiv:1812.10454. 1, 2, 4, 7, 10, 11, 18 [AY20] Karim Adiprasito and Geva Yashfe, The Partition Complex: an invitation to combinatorial commutative algebra , 2020, Surveys in Combinatorics, British Combinatorial Committee, arXiv:2008.01044. 3 [Bar73] David Barnette, Graph theorems for manifolds, Isr. J. Math. 16 (1973), 62–72 (English). 8 [CCD97] Eduardo Cattani, David Cox, and Alicia Dickenstein, Residues in toric varieties, Compos. Math. 108 (1997), no. 1, 35–76 (English). 12 [GS] Daniel R. Grayson and Michael E. Stillman, Macaulay2, a software system for research in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/. 18 [Gri76] Phillip A. Grifﬁths, Variations on a theorem of Abel, Invent. Math. 35 (1976), 321–390 (English). 12 [Hal35] Philip Hall, On representatives of subsets., J. Lond. Math. Soc. 10 (1935), 26–30. 11 [Kro90] Leopold Kronecker, Algebraische Reduction der Scharen bilinearer Formen, Berl. Ber. 1890 (1890), 1225–1237 (German). 10 [Lee96] CarlWilliamLee, P.L.-spheres, convex polytopes, and stress., Discrete Comput. Geom. 15 (1996), no. 4, 389–421. 5, 12 [Mac27] F. S. Macaulay, Some properties of enumeration in the theory of modular systems., Proc. Lond. Math. Soc. (2) 26 (1927), 531–555. 6 [PP20] Stavros Argyrios Papadakis and Vasiliki Petrotou, The characteristic 2 anisotropicity of simplicial spheres, 2020, arXiv:2012.09815. 1, 2 [Rin13] Claus Michael Ringel, Indecomposable representations of the Kronecker quivers., Proc. Am. Math. Soc. 141 (2013), no. 1, 115–121. 10 [Sta96] Richard Stanley, Combinatorics and commutative algebra, second ed., Progress in Mathematics, vol. 41, Birkhäuser Boston Inc., Boston, MA, 1996. 6 [TW00] Tiong-Seng Tay and Walter Whiteley, A homological interpretation of skeletal ridigity, Adv. in Appl. Math. 25 (2000), no. 1, 102–151. 4 20 KARIM ADIPRASITO, STAVROS A. PAPADAKIS, AND VASILIKI PETROTOU

KARIM ADIPRASITO,EINSTEIN INSTITUTE OF MATHEMATICS, HEBREW UNIVERSITY OF JERUSALEM,91904 JERUSALEM, ISRAEL and DEPARTMENT OF MATHEMATICAL SCIENCES, UNIVERSITY OF COPENHAGEN, 2100 COPENHAGEN,DENMARK

Email address: [email protected]

STAVROS ARGYRIOS PAPADAKIS, DEPARTMENT OF MATHEMATICS, UNIVERSITY OF IOANNINA, IOAN- NINA, 45110, GREECE

Email address: [email protected]

VASILIKI PETROTOU, DEPARTMENT OF MATHEMATICS, UNIVERSITY OF IOANNINA, IOANNINA, 45110, GREECE

Email address: [email protected]