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

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

Exponential sums with coefficients of certain Dirichlet series

Under the generalized Lindel\"of Hypothesis in the t- and q-aspects, we bound exponential sums with coefficients of Dirichlet series belonging to a certain class. We use these estimates to establish a conditional result on squares of Hecke eigenvalues at Piatetski-Shapiro primes.Comment: 13 page

The Neron-Severi group of a proper seminormal complex variety

We prove a Lefschetz (1,1)-Theorem for proper seminormal varieties over the complex numbers. The proof is a non-trivial geometric argument applied to the isogeny class of the Lefschetz 1-motive associated to the mixed Hodge structure on H^2.Comment: 16 pages; Mathematische Zeitschrift (2008

Incomplete Quadratic Exponential Sums in Several Variables

We consider incomplete exponential sums in several variables of the form S(f,n,m) = \frac{1}{2^n} \sum_{x_1 \in \{-1,1\}} ... \sum_{x_n \in \{-1,1\}} x_1 ... x_n e^{2\pi i f(x)/p}, where m>1 is odd and f is a polynomial of degree d with coefficients in Z/mZ. We investigate the conjecture, originating in a problem in computational complexity, that for each fixed d and m the maximum norm of S(f,n,m) converges exponentially fast to 0 as n grows to infinity. The conjecture is known to hold in the case when m=3 and d=2, but existing methods for studying incomplete exponential sums appear to be insufficient to resolve the question for an arbitrary odd modulus m, even when d=2. In the present paper we develop three separate techniques for studying the problem in the case of quadratic f, each of which establishes a different special case of the conjecture. We show that a bound of the required sort holds for almost all quadratic polynomials, a stronger form of the conjecture holds for all quadratic polynomials with no more than 10 variables, and for arbitrarily many variables the conjecture is true for a class of quadratic polynomials having a special form.Comment: 31 pages (minor corrections from original draft, references to new results in the subject, publication information

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

Report on potential sampling biases in the LaMEVE database of global volcanism

Abstract We investigate whether the disproportionate contribution of individual volcanoes in the Large Magnitude Explosive Volcanic Eruption database (LaMEVE) potentially compromises the treatment of LaMEVE as a globally representative database of volcanic activity. We find that 41% of volcanoes which contribute at least one eruption to LaMEVE only contribute one eruption (10% of all eruptions), and the six most prolific volcanoes contribute 11% of eruptions. However, there is no systematic bias with respect to the eruption magnitude or date for volcanoes contributing one eruption. Also, no bias can be discerned for when the smallest or largest eruption at a volcano occurs in its eruptive record. Half of the volcanoes contributing one or more eruptions to the LaMEVE database had their first eruption prior to 36.4 ka. We find LaMEVE is representative – while there are well-known issues of eruption under-reporting, LaMEVE is not overly biased by the activity of a few volcanoes

Report on potential sampling biases in the LaMEVE database of global volcanism

Abstract We investigate whether the disproportionate contribution of individual volcanoes in the Large Magnitude Explosive Volcanic Eruption database (LaMEVE) potentially compromises the treatment of LaMEVE as a globally representative database of volcanic activity. We find that 41% of volcanoes which contribute at least one eruption to LaMEVE only contribute one eruption (10% of all eruptions), and the six most prolific volcanoes contribute 11% of eruptions. However, there is no systematic bias with respect to the eruption magnitude or date for volcanoes contributing one eruption. Also, no bias can be discerned for when the smallest or largest eruption at a volcano occurs in its eruptive record. Half of the volcanoes contributing one or more eruptions to the LaMEVE database had their first eruption prior to 36.4 ka. We find LaMEVE is representative – while there are well-known issues of eruption under-reporting, LaMEVE is not overly biased by the activity of a few volcanoes

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

On Motives Associated to Graph Polynomials

The appearance of multiple zeta values in anomalous dimensions and $\beta$-functions of renormalizable quantum field theories has given evidence towards a motivic interpretation of these renormalization group functions. In this paper we start to hunt the motive, restricting our attention to a subclass of graphs in four dimensional scalar field theory which give scheme independent contributions to the above functions.Comment: 54