This note is a supplement to the papers: R. V. Gurjar, K. Masuda, M. Miyanishi and P. Russell, Affine lines on affine surfaces and the Makar-Limanov invariant, preprint, 2005, 42p. and T. Kishimoto and H. Kojima, Affine lines on {\bf Q}-homology planes with logarithmic Kodaira dimension $-\infty$, Transform. Groups 11 (2006), no. 4 (to appear). We show the role of group actions in classification of affine lines on {\bf Q}-homology planes.
In this paper we deal with compactifications of affine homology $3$-cells into quadric fibrations such that the boundary divisors contain fibers. We show that all such affine homology $3$-cells are isomorphic to the affine $3$-space $\mathbb{A}^{3}$. Moreover, we show that all such compactifications can be connected by explicit elementary links preserving $\mathbb{A}^{3}$ to the projective $3$-space $\mathbb{P}^{3}$.
In this paper we classify all the compactifications of affine homology $3$-cells into the blow-ups of the projective $3$-space along smooth curves such that the log canonical divisors are linearly trivial. As a result, we prove that each embedded affine $3$-fold is isomorphic to the affine $3$-space except one example.
We generalize the property of small-torus equivariant K-homology of the affine Grassmannian to general oriented (co)homology theory in the sense of Levine and Morel. The main tool we use is the formal affine Demazure algebra associated to the affine root system. More precisely, we prove that the small-torus equivariant oriented cohomology of the affine Grassmannian satisfies the GKM condition. We also show that its dual, the small-torus equivariant homology, is isomorphic to the centralizer of the equivariant oriented cohomology of a point in the the formal affine Demazure algebra.
The Schubert bases of the torus-equivariant homology and cohomology rings of the affine Grassmannian of the special linear group are realized by new families of symmetric functions called k-double Schur functions and affine double Schur functions.
We will show that the cotangent bundle of a manifold whose free loopspace homology grows exponentially is not symplectomorphic to any smooth affine variety. We will also show that the unit cotangent bundle of such a manifold is not Stein fillable by a Stein domain whose completion is symplectomorphic to a smooth affine variety. For instance, these results hold for end connect sums of simply connected manifolds whose cohomology with coefficients in some field has at least two generators. We use an invariant called the growth rate of symplectic homology to prove this result.
Let G be a simple and simply-connected complex algebraic group, P \subset G a parabolic subgroup. We prove an unpublished result of D. Peterson which states that the quantum cohomology QH^*(G/P) of a flag variety is, up to localization, a quotient of the homology H_*(Gr_G) of the affine Grassmannian \Gr_G of G. As a consequence, all three-point genus zero Gromov-Witten invariants of $G/P$ are identified with homology Schubert structure constants of H_*(Gr_G), establishing the equivalence of the quantum and homology affine Schubert calculi. For the case G = B, we use the Mihalcea's equivariant …
We categorify all the Reshetikhin-Turaev tangle invariants of type A. Our main tool is a categorification of the generalized Jones-Wenzl projectors (a.k.a. clasps) as infinite twists. Applying this to certain convolution product varieties on the affine Grassmannian we extend our earlier work with Kamnitzer from standard to arbitrary representations.
Let $Γ$ be a finite subgroup of $\SL_2(\C)$. We consider $Γ$-fixed point sets in Hilbert schemes of points on the affine plane $\C^2$. The direct sum of homology groups of components has a structure of a representation of the affine Lie algebra $\ag$ corresponding to $Γ$. If we replace homology groups by equivariant $K$-homology groups, we get a representation of the quantum toroidal algebra $\Ut$. We also discuss a higher rank generalization and character formulas in terms of intersection homology groups.
This paper is the $K$-theoretic analogue of a recent new proof, given by the first named author, of Peterson-Lam-Shimozono's theorem via Savelyev's generalization of Seidel representations. The outcome is a new proof of Lam-Li-Mihalcea-Shimozono's conjecture, including its extension to the parabolic case, which was first verified by Kato.
We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case G = SL_n, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, called K-k-Schur functions, whose highest degree term is a k-Schur function. The dual basis in K-cohomology is given …
We prove the existence of an affine paving for the three-step flag Hilbert scheme $$ \text{Hilb}^{n, n+1, n+2}(0) := \left\{\mathbb{C}[[x,y]]\supset I_n\supset I_{n+1}\supset I_{n+2}: I_i \,\,\text{ ideals with } \text{dim}_{\mathbb{C}} {\mathbb{C}[x,y]}/{I_i} = i \right\} $$ of 0-dimensional subschemes that are supported at the origin of $\mathbb{C}^2$. This is done by showing that the space stratifies in smooth subvarieties, the Hilbert-Samuel's strata, each of which has an affine paving with cells of known dimension, indexed by marked Young diagrams. The affine pavings of the Hilbert-Samuel…
We introduce a cap product pairing for homology and cohomology of tropical cycles on integral affine manifolds with singularities. We show the pairing is perfect over $\mathbb{Q}$ in degree one when the manifold has at worst symple singularities. By joint work with Siebert, the pairing computes period integrals and its perfectness implies the versality of canonical Calabi-Yau degenerations. We also give an intersection theoretic application for Strominger-Yau-Zaslow fibrations. The treatment of the cap product and Poincaré-Lefschetz by simplicial methods for constructible sheaves might be of i…
This paper describes a paving by affines for regular nilpotent Hessenberg varieties in all Lie types, namely a kind of cell decomposition that can be used to compute homology despite its weak closure conditions. Precup recently proved a stronger result; we include ours because we use different methods. We then use this paving to prove that the homology of the Peterson variety injects into the homology of the full flag variety. The proof uses intersection theory and expands the class of the Peterson variety in the homology of the flag variety in terms of the basis of Schubert classes. We explic…
We study the topological group structure (coming from loop multiplication) on an affine Grassmannian. In particular, we study finite-dimensional subvarieties that generate the homology ring. We show that there is a canonical family of generating Schubert varieties, namely those defined by the negative of the coroot associated to the highest root. These not only generate the homology, but generate the affine Grassmannian itself in a precise sense.
Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in particular, to homology planes arising from arrangements of lines. This permits to determine the infinitude of the fundamental group of homology planes of log-general type that may be the first examples of this type.
A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We obtain a structure theorem for Q-homology planes with smooth locus of non-general type. We show that if a Q-homology plane contains a non-quotient singularity then it is a quotient of an affine cone over a projective curve by an action of a finite group respecting the set of lines through the vertex. In particular, it is contractible, has negative Kodaira dimension and only one singular point. We describe minimal normal completions of such planes.
Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the k-Schur functions in homology and affine Schur functions in cohomology. Our results rely on Kostant and Kumar's nilHecke ring, work of Peterson on the homology of based loops on a compact group, and earlier work of ours on non-commutative k-Schur functions.
A pair $(S,C)$ is called a singular $\mathbb{Q}$-homology plane pair if $S$ is a singular projective surface with only quotient singularities having the same rational homology as $\mathbb{p}^2$ and $C \subset S$ has the same rational homology as $\mathbb{p}^1$. We will prove results concerning smooth rational curves on $S$ and the singularities of $S$ such that $\overline κ(S^0)=1$ and $\overline κ(S-C) \neq -\infty$. We end with an example of such pairs.
We show that a homology plane of general type has at worst a single cyclic quotient singular point. An example of such a surface with a singular point does exist. We also show that the automorphism group of a smooth contractible surface of general type is cyclic.
We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under suitable assumptions. We also provide examples which demonstrate sharpness of the results. The ambient surface is singular in these examples.
For any connected reductive group $G$ over $\mathbb{C}$, we revisit Goresky-Kottwitz-MacPherson's description of the torus equivariant Borel-Moore homology of affine Springer fibers $\mathrm{Sp}_γ\subset \mathrm{Gr}_G$, where $γ=at^d$, and $a$ is a regular semisimple element in the Lie algebra of $G$. In the case $G = GL_n$, we relate the equivariant cohomology of $\mathrm{Sp}_γ$ to Haiman's work on the isospectral Hilbert scheme of points on the plane. We also explain the connection to the HOMFLY homology of $(n, dn)$-torus links, and formulate a conjecture describing the homology of the Hilb…
We characterize the tempered part of the automorphic Langlands category D-mod(Bun_G) using the geometry of the big cell in the affine Grassmannian. We deduce that, for $G$ non-abelian, tempered D-modules have no de Rham cohomology with compact supports. The latter fact boils down to a concrete statement, which we prove using the Ran space and some explicit t-structure estimates: for $G$ non-abelian and $Σ$ a smooth affine curve, the Borel-Moore homology of the indscheme $Maps(Σ,G)$ vanishes.
A normal projective complex surface is called a rational homology projective plane if it has the same Betti numbers with the complex projective plane $\mathbb{C}\mathbb{P}^2$. It is known that a rational homology projective plane with quotient singularities has at most 5 singular points. So far all known examples have at most 4 singular points. In this paper, we prove that a rational homology projective plane $S$ with quotient singularities such that $K_S$ is nef has at most 4 singular points except one case. The exceptional case comes from Enriques surfaces with a configuration of 9 smooth ra…
We give a complete classification of complex Q-homology projective planes with isolated rational double point singularities and numerically trivial canonical bundle. There are 31 types, and each has one-dimensional moduli. In fact, all moduli curves are rational and defined over Q, and we determine all families explicitly using extremal rational elliptic surfaces and Enriques involutions of base change type.
We compute the Hodge numbers of the moduli space of semi-stable sheaves on the complex projective plane supported on quintic curves and having Euler characteristic 3. For this purpose we study the fixed-point set for a certain torus action on the moduli space.
Using the Bialynicki-Birula method, we determine the additive structure of the integral homology groups of the moduli spaces of semi-stable sheaves on the projective plane having rank and Chern classes (5, 1, 4), (7, 2, 6), respectively, (0, 5, 19). We compute the Hodge numbers of these moduli spaces.
We present the complete list of all singularity types on Gorenstein $\mathbb{Q}$-homology projective planes, i.e., normal projective surfaces of second Betti number one with at worst rational double points. The list consists of $58$ possible singularity types, each except two types supported by an example.
We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type C Stanley symmetric functions. A homology Pieri rule is also given for the product of a special Schubert class with an arbitrary one.
Following Goresky, Kottwitz and MacPherson, we compute the homology of truncated affine Springer fibers in the unramified case but under a purity assumption. We prove this assumption in the equivalued case. The truncation parameter is viewed as a divisor on an l-adic toric variety. For each fiber, we introduce a graded quasi-coherent sheaf on the toric variety whose space of global sections is precisely the l-adic homology of the truncated affine Springer fiber. Moreover, for some families of endoscopic groups, these sheaves show up in an exact sequence. As a consequence we prove Arthur's weig…
In this article, we consider an infinite family of normal surface singularities with an integral homology sphere link which is related to the family of space monomial curves with a plane semigroup. These monomial curves appear as the special fibers of equisingular families of curves whose generic fibers are a complex plane branch, and the related surface singularities appear in a proof of the monodromy conjecture for these curves. To investigate whether the link of a normal surface singularity is an integral homology sphere, one can use a characterization that depends on the determinant of the…
Given a family of complex affine planes, we show that it is trivial over a Zariski open subset of the base. The proof relies upon a relative version of the contraction theorem.
We consider singular Q-acyclic surfaces with smooth locus of non-general type. We prove that if the singularities are topologically rational then the smooth locus is C^1- or C*-ruled or the surface is up to isomorphism one of two exceptional surfaces of Kodaira dimension zero. For both exceptional surfaces the Kodaira dimension of the smooth locus is zero and the singular locus consists of a unique point of type A1 and A2 respectively. These surfaces can be constructed starting from two classical configurations of lines on the projective plane: the dual Hesse configuration and the complete qua…
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
We show that although the fundamental group of the complement of an algebraic affine plane curve is not easy to compute, it possesses a more accessible quotient, which we call the Orevkov invariant.
This paper is dedicated to the problem of infinite transitivity for algebraically generated automorphism groups of the affine plane. We provide a necessary and sufficient condition of infinite transitivity for a large family of subgroups generated by one-parameter additive groups.
Nonsingular plane curves over a finite field $\mathbb{F}_q$ of degree $q+2$ passing through all the $\mathbb{F}_q$-points of the plane admita representation by $3\times 3$ matrices over $\mathbb{F}_q$. We classify their degenerations by means of the matrix representation, and also discuss the similar problem for the affine-plane filling curves of degree $q+1$.
A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We classify singular Q-homology planes which are C^1- or C*-ruled. We analyze their completions, the number of different rulings, the number of affine lines on it and we give constructions. Together with previously known results this completes the classification of Q-homology planes with smooth locus of non-general type. We show also that the dimension of a family of homeomorphic but non-isomorphic singular Q-homology planes having the same weighted boundary, singularities and Kodaira dimension can be ar…
The Hilbert scheme of $n$ points in the affine plane contains the open subscheme parametrizing $n$ distinct points in the affine plane, and the closed subscheme parametrizing ideals of codimension $n$ supported at the origin of the affine plane. Both schemes admit Białynicki-Birula decompositions into moduli spaces of ideals with prescribed lexicographic Gröbner deformations. We show that both decompositions are stratifications in the sense that the closure of each stratum is a union of certain other strata. We show that the corresponding two partial orderings on the set of of monomial ideals …
We characterize in terms of characteristic sequences the semigroups corresponding to branches at infinity of plane affine curves $Γ$ for which there exists a polynomial automorphism mapping $Γ$ onto the axis $x=0$.
We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective plane $\mathbb{R}\mathbb{P}^2$ is well known: up to birational diffeomorphisms, there is only one model. A fake real plane is a nonsingular affine surface defined over the reals with homologically trivial complex locus and real locus diffeomorphic to $\mathbb{R}^2$ but which is not isomorphic to the real affine plane. We prove that fake planes exist by givin…
We prove that the intersection homology Poincare' polynomial P(X) of an affine toric variety X is bounded below by the product P(Y)P(X/Y), where Y is the closure of any orbit in X and X/Y is a slice transverse to the orbit. This proves a combinatorial conjecture of Kalai for rational polytopes.
We calculate the Borel-Moore homology of affine Springer fibers of type $A$ associated to some regular semisimple nil elliptic elements. As a result, we obtain bigraded $\mf{S}_{n}$-modules whose bigraded Frobenius series are generalization of the symmetric functions introduced by Haglund, Haiman, Loehr, Remmel, and Ulyanov.
The Peterson isomorphism relates the homology of the affine Grassmannian to the quantum cohomology of any flag variety. In the case of a partial flag, Peterson's map is only a surjection, and one needs to quotient by a suitable ideal on the affine side to map isomorphically onto the quantum cohomology. We provide a detailed exposition of this parabolic Peterson isomorphism in the case of the Grassmannian of m-planes in complex n-space, including an explicit recipe for doing quantum Schubert calculus in terms of the appropriate subset of non-commutative k-Schur functions. As an application, we …
We continue the program of classification of normal Q-acyclic surfaces defined over the field of complex numbers, so-called 'Q-homology planes'. Here we show that if a Q-homology plane has negative Kodaira dimension then its smooth locus is not of general type. This generalizes an earlier result of Koras-Russell for contractible surfaces.
The quotient of a finite-dimensional vector space by the action of a finite subgroup of automorphisms is usually a singular variety. Under appropriate assumptions, the McKay correspondence relates the geometry of nice resolutions of singularities and the representations of the group. For the Hilbert scheme of points on the affine plane, we study how different correspondences (McKay, dual McKay and multiplicative McKay) are related to each other.
In this article, we give the classification of normal del Pezzo surfaces of rank one with at most log canonical singularities containing the affine plane defined over an algebraically non-closed field of characteristic zero. As an application, we have a criterion for del Pezzo fibrations with canonical singularities whose generic fibers are not smooth to contain vertical $\mathbb{A}^2$-cylinders.
