We construct algebraic families of exotic affine 3-spheres, that is, smooth affine threefolds diffeomorphic to a non-degenerate smooth complex affine quadric of dimension 3 but non algebraically isomorphic to it. We show in particular that for every smooth topologically contractible affine surface S with trivial automorphism group, there exists a canonical smooth family of pairwise non isomorphic exotic affine 3-spheres parametrized by the closed points of S.
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…
Let G be a simple simply-connected group scheme over a regular local scheme U. Let E be a principal G-bundle over A^1_U trivial away from a subscheme finite over U. We show that E is not necessarily trivial and give some criteria of triviality. To this end we define affine Grassmannians for group schemes and study their Bruhat decompositions for semi-simple group schemes. We also give examples of principal G-bundles over A^1_U with split G such that the bundles are not isomorphic to pull-backs from U.
In this paper we show that an affine space is determined by the abstract group structure of its group of regular automorphisms in the category of connected affine varieties. To prove this we study commutative subgroups of the group of automorphisms of affine varieties.
The main result of this article is to construct infinite families of non-equivalent equivariant real forms of linear C*-actions on affine four-space. We consider the real form of C* whose fixed point is a circle. In [F-MJ] one example of a non-linearizable circle action was constructed. Here, this result is generalized by developing a new approach which allows us to compare different real forms. The constructions of these forms are based on the structure of equivariant O2(C)-vector bundles.
We explain how quantum affine algebra actions can be used to systematically construct "exotic" t-structures. The main idea, roughly speaking, is to take advantage of the two different descriptions of quantum affine algebras, the Drinfeld--Jimbo and the Kac--Moody realizations. Our main application is to obtain exotic t-structures on certain convolution varieties defined using the Beilinson--Drinfeld and affine Grassmannians. These varieties play an important role in the geometric Langlands program, knot homology constructions, K-theoretic geometric Satake and the coherent Satake category. As a…
We construct a weak representation of the category of framed affine tangles on a disjoint union of triangulated categories ${\mathcal D}_{2n}$. The categories we use are that of coherent sheaves on Springer fibers over a nilpotent element of $sl_{2n}$ with two equal Jordan blocks. This representation allows us to enumerate the irreducible objects in the heart of the exotic $t$-structure on ${\mathcal D}_{2n}$ by crossingless matchings of $2n$ points on a circle. We also describe the algebra of endomorphisms of the direct sum of the irreducible objects.
Let $G$ be a reductive group. We prove that a family of polynomial actions of $G$ on $\mathbb{C}^2$, holomorphically parametrized by an open Riemann surface, is linearizable. As an application, we show that a particular class of reductive group actions on $\mathbb{C}^3$ is linearizable. The main step of our proof is to establish a certain restrictive Oka property for groups of equivariant algebraic automorphisms of $\mathbb{C}^2$.
We describe a method to construct completions of affine spaces into total spaces of $\mathbb{Q}$-factorial terminal Mori fiber spaces over the projective line. As an application we provide families of examples with non-rational, birationally rigid and non-stably rational general fibers.
We introduce two families of symmetric functions with an extra parameter t that specialize to Schubert representatives for cohomology and homology of the affine Grassmannian when t = 1. The families are defined by a statistic on combinatorial objects associated to the type-A affine Weyl group and their transition matrix with Hall-Littlewood polynomials is t-positive. We conjecture that one family is the set of k-atoms.
We construct Landau-Ginzburg models for numerically effective complete intersections in toric manifolds as partial compactifications of families of Laurent polynomials. We show a mirror statement saying that the quantum D-module of the ambient part of the cohomology of the submanifold is isomorphic to an intersection cohomology D-module defined from this partial compactification and we deduce Hodge properties of these differential systems.
We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that except for two exceptions, these surfaces $X \setminus B$ admit infinitely many families of $\mathbb{A}^1$-fibrations over the projective line with irreducible fibers and a unique singular fiber of arbitrarily large multiplicity. For $\mathbb{A}^1$-fibrations over the affine line, we give a new and essentially self-contained proof that the set of equivalence cla…
We classify closed curves isomorphic to the affine line in the complement of a smooth rational projective plane conic Q. Over a field of characteristic zero, we show that up to the action of the subgroup of the Cremona group of the plane consisting of birational endomorphisms restricting to biregular auto-morphisms outside Q, there are exactly two such lines: the restriction of a smooth conic osculating Q at a rational point and the restriction of the tangent line to Q at a rational point. In contrast, we give examples illustrating the fact that over fields of positive characteristic, there ex…
Let G be a complex connected reductive group. I. Losev has shown that a smooth affine spherical G-variety X is uniquely determined by its weight monoid, which is the set of irreducible representations of G that occur in the coordinate ring of X. In this paper we use a combinatorial characterization of the weight monoids of smooth affine spherical varieties to classify: (a) all such varieties when G is $\mathrm{SL}(2) \times \mathbb{C}^{\times}$ and (b) all such varieties for G simple which have a G-saturated weight monoid of full rank. We also use the characterization and F. Knop's classificat…
Families of Group Actions, Generic Isotriviality, and Linearization
我们证明了一个“类属等价定理"，它说的是，两个仿射态射$p: S \to Y$和$q: T \to Y$的变种同构（封闭）纤维成为同构下占主导地位的etale基地的变化$ϕ: U \to Y$。一个特殊的情况是下面的结果。如果$ϕ$是平坦的，并且所有纤维都（约化并）同构于$F$，则将态射$ϕ: X \to Y$称为“具有纤维$F$的纤维化“。然后仿射纤维化纤维$F$承认一个etale显性态射$μ: U \to Y$，使得拉回是一个平凡纤维丛：$U\times_Y X \simeq U\times F$。作为应用，我们给出了以下两个（已知）结果的简短证明：（a）正规簇上的仿射$\A^1$ -纤维化在Zuraki-拓扑中是局部平凡的;（b）光滑曲线上的仿射$\A^2$ -纤维化在Zuraki-拓扑中是局部平凡的。我们还研究了由曲线参数化的$\A^2$上的约化群作用族，并证明了非有限约化群在$Å^3$上的每一个忠实作用都是可线性化的，即$G$ -同构于$G$的一个表示。
We discuss a conjecture saying that derived equivalence of simply connected smooth projective varieties implies that the difference of their classes in the Grothendieck ring of varieties is annihilated by a power of the affine line class. We support the conjecture with a number of known examples, and one new example. We consider a smooth complete intersection $X$ of three quadrics in ${\mathbf P}^5$ and the corresponding double cover $Y \to {\mathbf P}^2$ branched over a sextic curve. We show that as soon as the natural Brauer class on $Y$ vanishes, so that $X$ and $Y$ are derived equivalent, …
We show that compactly generated t-structures in the derived category of a commutative ring $R$ are in a bijection with certain families of compactly generated t-structures over the local rings $R_\mathfrak{m}$ where $\mathfrak{m}$ runs through the maximal ideals in the Zariski spectrum $\mathrm{Spec}(R)$. The families are precisely those satisfying a gluing condition for the associated sequence of Thomason subsets of $\mathrm{Spec}(R)$. As one application, we show that the compact generation of a homotopically smashing t-structure can be checked locally over localizations at maximal ideals. I…
