On the fundamental representation of Borcherds algebras with one imaginary simple root

Borcherds algebras represent a new class of Lie algebras which have almost all the properties that ordinary Kac-Moody algebras have, and the only major difference is that these generalized Kac-Moody algebras are allowed to have imaginary simple roots. The simplest nontrivial examples one can think of are those where one adds ``by hand'' one imaginary simple root to an ordinary Kac-Moody algebra. We study the fundamental representation of this class of examples and prove that an irreducible module is given by the full tensor algebra over some integrable highest weight module of the underlying Kac-Moody algebra. We also comment on possible realizations of these Lie algebras in physics as symmetry algebras in quantum field theory.Comment: 8 page

Integral Grothendieck-Riemann-Roch theorem

We show that, in characteristic zero, the obvious integral version of the Grothendieck-Riemann-Roch formula obtained by clearing the denominators of the Todd and Chern characters is true (without having to divide the Chow groups by their torsion subgroups). The proof introduces an alternative to Grothendieck's strategy: we use resolution of singularities and the weak factorization theorem for birational maps.Comment: 24 page

Conserved Helix-Flanking Prolines Modulate Intrinsically Disordered Protein:Target Affinity by Altering the Lifetime of the Bound Complex.

Appropriate integration of cellular signals requires a delicate balance of ligand-target binding affinities. Increasing the level of residual structure in intrinsically disordered proteins (IDPs), which are overrepresented in these cellular processes, has been shown previously to enhance binding affinities and alter cellular function. Conserved proline residues are commonly found flanking regions of IDPs that become helical upon interacting with a partner protein. Here, we mutate these helix-flanking prolines in p53 and MLL and find opposite effects on binding affinity upon an increase in free IDP helicity. In both cases, changes in affinity were due to alterations in dissociation, not association, rate constants, which is inconsistent with conformational selection mechanisms. We conclude that, contrary to previous suggestions, helix-flanking prolines do not regulate affinity by modulating the rate of complex formation. Instead, they influence binding affinities by controlling the lifetime of the bound complex

Explicit determination of a 727-dimensional root space of the hyperbolic Lie algebra E10E_{10}

The 727-dimensional root space associated with the level-2 root \bLambda_1 of the hyperbolic Kac--Moody algebra $E_{10}$ is determined using a recently developed string theoretic approach to hyperbolic algebras. The explicit form of the basis reveals a complicated structure with transversal as well as longitudinal string states present.Comment: 12 pages, LaTeX 2

Transformations among large c conformal field theories

We show that there is a set of transformations that relates all of the 24 dimensional even self-dual (Niemeier) lattices, and also leads to non-lattice objects that however cannot be interpreted as a basis for the construction of holomorphic conformal field theory. In the second part of this paper, we extend our observations to higher dimensional conformal field theories build on extremal partition functions, where we generate c=24k theories with spectra decomposable into the irreducible representations of the Fischer-Griess Monster. We observe interesting periodicities in the coefficients of extremal partition functions and characters of the extremal vertex operator algebras.Comment: 14 pages, minor corrections, new references adde

The Tate conjecture for K3 surfaces over finite fields

Artin's conjecture states that supersingular K3 surfaces over finite fields have Picard number 22. In this paper, we prove Artin's conjecture over fields of characteristic p>3. This implies Tate's conjecture for K3 surfaces over finite fields of characteristic p>3. Our results also yield the Tate conjecture for divisors on certain holomorphic symplectic varieties over finite fields, with some restrictions on the characteristic. As a consequence, we prove the Tate conjecture for cycles of codimension 2 on cubic fourfolds over finite fields of characteristic p>3.Comment: 20 pages, minor changes. Theorem 4 is stated in greater generality, but proofs don't change. Comments still welcom

Z-graded weak modules and regularity

It is proved that if any Z-graded weak module for vertex operator algebra V is completely reducible, then V is rational and C_2-cofinite. That is, V is regular. This gives a natural characterization of regular vertex operator algebras.Comment: 9 page

Counting BPS states on the Enriques Calabi-Yau

We study topological string amplitudes for the FHSV model using various techniques. This model has a type II realization involving a Calabi-Yau threefold with Enriques fibres, which we call the Enriques Calabi-Yau. By applying heterotic/type IIA duality, we compute the topological amplitudes in the fibre to all genera. It turns out that there are two different ways to do the computation that lead to topological couplings with different BPS content. One of them leads to the standard D0-D2 counting amplitudes, and from the other one we obtain information about bound states of D0-D4-D2 branes on the Enriques fibre. We also study the model using mirror symmetry and the holomorphic anomaly equations. We verify in this way the heterotic results for the D0-D2 generating functional for low genera and find closed expressions for the topological amplitudes on the total space in terms of modular forms, and up to genus four. This model turns out to be much simpler than the generic B-model and might be exactly solvable.Comment: 62 pages, v3: some results at genus 3 corrected, more typos correcte

The double Ringel-Hall algebra on a hereditary abelian finitary length category

In this paper, we study the category $\mathscr{H}^{(\rho)}$ of semi-stable coherent sheaves of a fixed slope $\rho$ over a weighted projective curve. This category has nice properties: it is a hereditary abelian finitary length category. We will define the Ringel-Hall algebra of $\mathscr{H}^{(\rho)}$ and relate it to generalized Kac-Moody Lie algebras. Finally we obtain the Kac type theorem to describe the indecomposable objects in this category, i.e. the indecomposable semi-stable sheaves.Comment: 29 page

The structure of parafermion vertex operator algebras

It is proved that the parafermion vertex operator algebra associated to the irreducible highest weight module for the affine Kac-Moody algebra A_1^{(1)} of level k coincides with a certain W-algebra. In particular, a set of generators for the parafermion vertex operator algebra is determined.Comment: 12 page