We give a two step method to study certain questions regarding associated graded module of a Cohen-Macaulay (CM) module $M$ w.r.t an $mathfrak{m}$-primary ideal $mathfrak{a}$ in a complete Noetherian local ring $(A,mathfrak{m})$. The first step, we call it complete intersection approximation, enables us to reduce to the case when both $A$, $ G_mathfrak{a}(A) = bigoplus_{n geq 0} mathfrak{a}^n/mathfrak{a}^{n+1} $ are complete intersections and $M$ is a maximal CM $A$-module. The second step consists of analyzing the classical filtration ${Hom_A(M,mathfrak{a}^n) }_{mathbb{Z}}$ of the dual $Hom_A(M,A)$. We give many applications of this point of view. For instance let $(A,mathfrak{m})$ be equicharacteristic and CM. Let $a(G_mathfrak{a}(A))$ be the $a$-invariant of $G_mathfrak{a}(A)$. We prove: 1. $a(G_mathfrak{a}(A)) = -dim A$ iff $mathfrak{a}$ is generated by a regular sequence. 2. If $mathfrak{a}$ is integrally closed and $a(G_mathfrak{a}(A)) = -dim A + 1$ then $mathfrak{a}$ has minimal multiplicity. We extend to modules a result of Ooishi relating symmetry of $h$-vectors. As another application we prove a conjecture of Itoh, if $A$ is a CM local ring and $mathfrak{a}$ is a normal ideal with $e_3^mathfrak{a}(A) = 0$ then $G_mathfrak{a}(A)$ is CM.
We describe the maximal torus and maximal unipotent subgroup of the Picard variety of a proper scheme over a perfect field.
The purpose of this article is to show that the Castelnuovo theory for abelian varieties, developed by G. Pareschi and M. Popa, can be infinitesimalized. More precisely, we prove that an irreducible principally polarized abelian variety has a finite scheme in extremal position, in the sense of Castelnuovo theory for abelian varieties, if, and only if, it is a Jacobian and the scheme is contained in a unique Abel-Jacobi curve.
A relatively fast algorithm for evaluating Weil-Petersson volumes of moduli spaces of complex algebraic curves is proposed. On the basis of numerical data, a conjectural large genus asymptotics of the Weil-Petersson volumes is computed. Asymptotic formulas for the intersection numbers involving $psi$-classes are conjectured as well. The accuracy of the formulas is high enough to believe that they are exact.
These are notes of my lectures at the summer school Higher-dimensional geometry over finite fields in Goettingen, June--July 2007. We present a proof of Tates theorem on homomorphisms of abelian varieties over finite fields (including the $ell=p$ case) that is based on a quaternion trick. In fact, a a slightly stronger version of those theorems with finite coefficients is proven.
Our goal is to settle a fading problem, the Jacobian Conjecture $(JC_n)$~: If $f_1, cdots, f_n$ are elements in a polynomial ring $k[X_1, cdots, X_n]$ over a field $k$ of characteristic zero such that $ det(partial f_i/ partial X_j) $ is a nonzero constant, then $k[f_1, cdots, f_n] = k[X_1, cdots, X_n]$. Practically, what we deal with is the generalized one, oindent The Generalized Jacobian Conjecture$(GJC)$ :{it Let $S hookrightarrow T$ be an unramified homomorphism of Noetherian domains. Assume that $S$ is a simply connected UFD ({sl i.e.,} ${rm Spec}(S)$ is simply connected and $S$ is a unique factorization domain) and that $T^times cap S = S^times$. Then $T = S$.} In addition, for consistency of the discussion, we raise some serious (or idiot) questions and some comments about the examples appeared in the papers published by the certain excellent mathematicians (though we are not willing to deal with them). However, the existence of such examples would be against our Main Result above, so that we have to dispute in Appendix B their arguments about the existence of their respective (so called) counter-examples. Our conclusion is that they are not perfect counter-examples which is shown explicitly.
We prove the existence of good smooth integral models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we provide a smooth solution (answer) to a conjecture (question) of Langlands for Shimura varieties of Hodge type. As a second application we prove the existence in arbitrary unramified mixed characteristic $(0,p)$ of integral canonical models of projective Shimura varieties of Hodge type with respect to h--hyperspecial subgroups as pro-etale covers of Neron models; this forms progress towards the proof of conjectures of Milne and Reimann. Though the second application was known before in some cases, its proof is new and more of a principle.
In a recent preprint, Y. Namikawa proposed a conjecture on Q-factorial terminalizations and their birational geometry of nilpotent orbits. He proved his conjecture for classical simple Lie algebras. In this note, we prove his conjecture for exceptional simple Lie algebras. For the birational geometry, contrary to the classical case, two new types of Mukai flops appear.
Let X be a smooth projective curve over an algebraically closed field of characteristic >2. Consider the dual pair H=GSO_{2m}, G=GSp_{2n} over X, where H splits over an etale two-sheeted covering of X. Write Bun_G and Bun_H for the stacks of G-torsors and H-torsors on X. We show that for mle n (respectively, for m>n) the theta-lifting functor from D(Bun_H) to D(Bun_G) (respectively, from D(Bun_G) to D(Bun_H)) commutes with Hecke functors with respect to a morphism of the corresponding L-groups involving the SL_2 of Arthur. So, they realize the geometric Langlands functoriality for the corresponding morphisms of L-groups. As an application, we prove a particular case of the geometric Langlands conjectures for GSp_4. Namely, we construct the automorphic Hecke eigensheaves on Bun_{GSp_4} corresponding to the endoscopic local systems on X.
For a nonsingular projective 3-fold $X$, we define integer invariants virtually enumerating pairs $(C,D)$ where $Csubset X$ is an embedded curve and $Dsubset C$ is a divisor. A virtual class is constructed on the associated moduli space by viewing a pair as an object in the derived category of $X$. The resulting invariants are conjecturally equivalent, after universal transformations, to both the Gromov-Witten and DT theories of $X$. For Calabi-Yau 3-folds, the latter equivalence should be viewed as a wall-crossing formula in the derived category. Several calculations of the new invariants are carried out. In the Fano case, the local contributions of nonsingular embedded curves are found. In the local toric Calabi-Yau case, a completely new form of the topological vertex is described. The virtual enumeration of pairs is closely related to the geometry underlying the BPS state counts of Gopakumar and Vafa. We prove that our integrality predictions for Gromov-Witten invariants agree with the BPS integrality. Conversely, the BPS geometry imposes strong conditions on the enumeration of pairs.
