The Geography of Non-formal Manifolds

We show that there exist non-formal compact oriented manifolds of dimension $n$ and with first Betti number $b_1=b\geq 0$ if and only if $n\geq 3$ and $b\geq 2$, or $n\geq (7-2b)$ and $0\leq b\leq 2$. Moreover, we present explicit examples for each one of these cases.Comment: 8 pages, one reference update

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

Monoids, Embedding Functors and Quantum Groups

We show that the left regular representation \pi_l of a discrete quantum group (A,\Delta) has the absorbing property and forms a monoid (\pi_l,\tilde{m},\tilde{\eta}) in the representation category Rep(A,\Delta). Next we show that an absorbing monoid in an abstract tensor *-category C gives rise to an embedding functor E:C->Vect_C, and we identify conditions on the monoid, satisfied by (\pi_l,\tilde{m},\tilde{\eta}), implying that E is *-preserving. As is well-known, from an embedding functor E: C->\mathrm{Hilb} the generalized Tannaka theorem produces a discrete quantum group (A,\Delta) such that C is equivalent to Rep_f(A,\Delta). Thus, for a C^*-tensor category C with conjugates and irreducible unit the following are equivalent: (1) C is equivalent to the representation category of a discrete quantum group (A,\Delta), (2) C admits an absorbing monoid, (3) there exists a *-preserving embedding functor E: C->\mathrm{Hilb}.Comment: Final version, to appear in Int. Journ. Math. (Added some references and Subsection 1.2.) Latex2e, 21 page

Development of a unified tensor calculus for the exceptional Lie algebras

The uniformity of the decomposition law, for a family F of Lie algebras which includes the exceptional Lie algebras, of the tensor powers ad^n of their adjoint representations ad is now well-known. This paper uses it to embark on the development of a unified tensor calculus for the exceptional Lie algebras. It deals explicitly with all the tensors that arise at the n=2 stage, obtaining a large body of systematic information about their properties and identities satisfied by them. Some results at the n=3 level are obtained, including a simple derivation of the the dimension and Casimir eigenvalue data for all the constituents of ad^3. This is vital input data for treating the set of all tensors that enter the picture at the n=3 level, following a path already known to be viable for a_1. The special way in which the Lie algebra d_4 conforms to its place in the family F alongside the exceptional Lie algebras is described.Comment: 27 pages, LaTeX 2

Hirzebruch-Milnor classes and Steenbrink spectra of certain projective hypersurfaces

We show that the Hirzebruch-Milnor class of a projective hypersurface, which gives the difference between the Hirzebruch class and the virtual one, can be calculated by using the Steenbrink spectra of local defining functions of the hypersurface if certain good conditions are satisfied, e.g. in the case of projective hyperplane arrangements, where we can give a more explicit formula. This is a natural continuation of our previous paper on the Hirzebruch-Milnor classes of complete intersections.Comment: 15 pages, Introduction is modifie

Representations of the exceptional and other Lie algebras with integral eigenvalues of the Casimir operator

The uniformity, for the family of exceptional Lie algebras g, of the decompositions of the powers of their adjoint representations is well-known now for powers up to the fourth. The paper describes an extension of this uniformity for the totally antisymmetrised n-th powers up to n=9, identifying (see Tables 3 and 6) families of representations with integer eigenvalues 5,...,9 for the quadratic Casimir operator, in each case providing a formula (see eq. (11) to (15)) for the dimensions of the representations in the family as a function of D=dim g. This generalises previous results for powers j and Casimir eigenvalues j, j<=4. Many intriguing, perhaps puzzling, features of the dimension formulas are discussed and the possibility that they may be valid for a wider class of not necessarily simple Lie algebras is considered.Comment: 16 pages, LaTeX, 1 figure, 9 tables; v2: presentation improved, typos correcte

Restricted sum formula of alternating Euler sums

a

Stacky Abelianization of an Algebraic Group

Let G be a connected algebraic group and let [G,G] be its commutator subgroup. We prove a conjecture of Drinfeld about the existence of a connected etale group cover H of [G,G], characterized by the following properties: every central extension of G, by a finite etale group scheme, splits over H, and the commutator map of G lifts to H. We prove, moreover, that the quotient stack of G by the natural action of H is the universal Deligne-Mumford Picard stack to which G maps.Comment: 22 Page

Surface Operators in N=2 Abelian Gauge Theory

We generalise the analysis in [arXiv:0904.1744] to superspace, and explicitly prove that for any embedding of surface operators in a general, twisted N=2 pure abelian theory on an arbitrary four-manifold, the parameters transform naturally under the SL(2,Z) duality of the theory. However, for nontrivially-embedded surface operators, exact S-duality holds if and only if the "quantum" parameter effectively vanishes, while the overall SL(2,Z) duality holds up to a c-number at most, regardless. Nevertheless, this observation sets the stage for a physical proof of a remarkable mathematical result by Kronheimer and Mrowka--that expresses a "ramified" analog of the Donaldson invariants solely in terms of the ordinary Donaldson invariants--which, will appear, among other things, in forthcoming work. As a prelude to that, the effective interaction on the corresponding u-plane will be computed. In addition, the dependence on second Stiefel-Whitney classes and the appearance of a Spin^c structure in the associated low-energy Seiberg-Witten theory with surface operators, will also be demonstrated. In the process, we will stumble upon an interesting phase factor that is otherwise absent in the "unramified" case.Comment: 46 pages. Minor refinemen

Direct Detection of Electroweak-Interacting Dark Matter

Assuming that the lightest neutral component in an SU(2)L gauge multiplet is the main ingredient of dark matter in the universe, we calculate the elastic scattering cross section of the dark matter with nucleon, which is an important quantity for the direct detection experiments. When the dark matter is a real scalar or a Majorana fermion which has only electroweak gauge interactions, the scattering with quarks and gluon are induced through one- and two-loop quantum processes, respectively, and both of them give rise to comparable contributions to the elastic scattering cross section. We evaluate all of the contributions at the leading order and find that there is an accidental cancellation among them. As a result, the spin-independent cross section is found to be O(10^-(46-48)) cm^2, which is far below the current experimental bounds.Comment: 19 pages, 7 figures, published versio