In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co) chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializing to the formal parameter T^{2}= e^{-1} , our computation verifies the folklore that FOOO's obstruction (co) chains correspond to the Landau-Ginzburg superpotentials under the mirror symmetry correspondence, and also proves the prediction made by K. Hori about the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. The latter states that the Floer cohomology (for the parameter value T^{2}= e^{-1} ) of all the fibers vanish except at a finite number, the Euler characteristic of the toric manifold, of base points in the momentum polytope that are critical points of the superpotential of the Landau-Ginzburg mirror to the toric manifold. In the latter cases, we also prove that the Floer cohomology of the corresponding fiber is isomorphic to its singular cohomology.

No abstract uploaded!

No abstract uploaded!

Let X denote an equivariant embedding of a connected reductive group X over an algebraically closed field X . Let X denote a Borel subgroup of X and let X denote a X -orbit closure in X . When the characteristic of X is positive and X is projective we prove that X is globally X -regular. As a consequence, X is normal and Cohen-Macaulay for arbitrary X and arbitrary characteristics. Moreover, in characteristic zero it follows that X has rational singularities. This extends earlier results by the second author and M. Brion.

In this paper, we study the relation between the cocenter \overline {{ilde {\mathcal H}}} and the representations of an affine pro-\overline {{ilde {\mathcal H}}} Hecke algebra \overline {{ilde {\mathcal H}}} . As a consequence, we obtain a new criterion on supersingular representations: a (virtual) representation of \overline {{ilde {\mathcal H}}} is supersingular if and only if its character vanishes on the non-supersingular part of the cocenter \overline {{ilde {\mathcal H}}} .