Related papers: Tautological equations in genus 2 via invariance c…

We prove the Tate conjecture for divisor classes and the Mumford-Tate conjecture for the cohomology in degree 2 for varieties with $h^{2,0}=1$ over a finitely generated field of characteristic 0, under a mild assumption on their moduli. As…

It is shown that a natural notion of congruence permutability for quasivarieties already implies ``being a variety''. The result follows immediately from [3] and the sole aim of this note is to state it explicitly, together with a…

Integrability of the differential constraints arising from the singularity analysis of two (1+1)-dimensional second-order evolution equations is studied. Two nonlinear ordinary differential equations are obtained in this way, which are…

We give a proof of the Howe duality conjecture for the (almost) equal rank dual pairs in full generality. For arbitrary dual pairs, we prove the irreducibility of the (small) theta lifts for all tempered representations. Our proof works for…

We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution. For this purpose we…

We construct an invariant called guts for second homology classes in irreducible 3-manifolds with toral boundary and non-degenerate Thurston norm. We prove that the guts of second homology classes in each Thurston cone are invariant under a…

A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second…

We define and compare two bivariant generalizations of the topological $K$-group $K^\top(G)$ for a topological group $G$. We consider the Baum-Connes conjecture in this context and study its relation to the usual Baum-Connes conjecture.

We give an explicit expression of the Hitchin Hamiltonian system for rank two vector bundles with trivial determinant bundle over a curve of genus two.

We establish a general Liouville type theorem for conformally invariant fully nonlinear equations.

We outline an approach to prove the two dimensional Jacobian Conjecture using the theory of fractals.

A new codimension 2 relation among descendent strata in the moduli space of stable, 3-pointed, genus 2 curves is found. The space of pointed admissible double covers is used in the calculation. The resulting differential equations satisfied…

In this paper we will prove that Tate conjecture of abelian varieties over finite field is equivalent to the finiteness of isomorphism classes of abelian varieties with a fixed dimension. We give a different approach with Zarhin's result.

In this mostly expository note, we explain a proof of Tate's two conjectures [Tat65] for algebraic cycles of arbitrary codimension on certain products of elliptic curves and abelian surfaces over number fields.

Along the general framework of the gauge-invariant perturbation theory developed in the papers [K. Nakamura, Prog. Theor. Phys. {\bf 110} (2003), 723; {\it ibid}, {\bf 113} (2005), 481.], we re-derive the second-order Einstein equations on…

In this paper, we consider the complexity of propositional proofs of classical and intuitionistic tautologies. In fact, we describe a nondeterministic polynomial-time decision procedure for intuitionistic implicational tautologies. For this…

We give an algorithm to compute the conductor for curves of genus 2. It is based on the analysis of 3-torsion of the Jacobian for genus 2 curves over 2-adic fields.

In addition to the second-order Einstein equations on four-dimensional homogeneous isotropic background universe filled with the single perfect fluid, we also derived the second-order perturbations of the continuity equation and the Euler…

This is an introduction to the theory of disconjugacy for a second order linear differential equation. We give new proofs of some of basic results and obtain new sufficient conditions for disconjugacy (in particular, on the whole real…

The Tate conjecture has two parts: an assertion (S) about semisimplicity of Galois representations, and an assertion (T) which says that every Tate class is algebraic. We show that in characteristic 0, (T) implies (S). In characteristic p…