[formula omitted]-graded identities of the Virasoro algebra.

The Virasoro algebra, defined by the basis elements { L n , c ˆ } n ∈ Z with commutation relations [ L m , L n ] = (m − n) L m + n + δ m + n , 0 ⋅ (C m c ˆ) and [ L m , c ˆ ] = 0 , is an infinite-dimensional Lie algebra with many applications in various areas of Mathematics and Theoretical Physics. Here the symbol δ i , j denotes the Kronecker delta and C m = (m (m 2 − 1)) / 12. This algebra admits a natural Z -grading. Over an infinite field of characteristic different from 2 and 3, we describe the graded identities of the Virasoro algebra for this grading. It turns out that all these Z -graded identities are consequences of a collection of polynomials of degree 2, 3 and 4 and that they do not admit a finite basis. [ABSTRACT FROM AUTHOR]