We introduce a characterization for affine equivalence of two surfaces of translation defined by either rational or meromorphic generators. In turn, this induces a similar characterization for minimal surfaces. In the rational case, our results provide algorithms for detecting affine equivalence of these surfaces, and therefore, in particular, the symmetries of a surface of translation or a minimal surface of the considered types. Additionally, we apply our results to designing surfaces of translation and minimal surfaces with symmetries, and to computing the symmetries of the higher-order Enneper surfaces.
We introduce various affine Grassmannians, study their geometric properties, and give some applications. We also discuss the geometric Satake equivalence. These are the expanded lecture notes for a mini-course in 2015 PCMI summer school. References updated and more details added.
I extend the ramified geometric Satake equivalence of Zhu from tamely ramified groups to include the case of general connected reductive groups. As a prerequisite I prove basic results on the geometry of affine flag varieties.
A smooth family $φ:\mathcal V\to S$ of surfaces will be called {\em completable} if there is a logarithmic deformation $(\bar {\mathcal V},{\mathcal D})$ over $S$ so that ${\mathcal V}=\bar{\mathcal V}\backslash {\mathcal D}$. Two smooth surfaces $V$ and $V'$ are said to be deformations of each other if there is a completable flat family ${\mathcal V}\to S$ of smooth surfaces over a connected base so that $V$ and $V'$ are fibers over suitable points $s,s'\in S$. This relation generates an equivalence relation called {\em deformation equivalence}. In this paper we give a complete combinatorial …
Any map of schemes $X\to Y$ defines an equivalence relation $R=X\times_Y X\to X\times X$, the relation of "being in the same fiber". We have shown elsewhere that not every equivalence relation has this form, even if it is assumed to be finite. By contrast, we prove here that every toric equivalence relation on an affine toric variety does come from a morphism and that quotients by finite toric equivalence relations always exist in the affine case. In special cases, this result is a consequence of the vanishing of the first cohomology group in the Amitsur complex associated to a toric map of to…
For a reductive group $G$ we equip the category of $G_\mathcal{O}$-equivariant polarizable pure Hodge modules on the affine Grassmannian $\mathrm{Gr}_G$ with a structure of neutral Tannakian category. We show that it is equivalent to a twisted tensor product of the category of representations of the Langlands dual group and the category of pure polarizable Hodge structures.
Highest-weight type representation theories of the affine sl(2) and N=2 superconformal algebras are shown to be equivalent modulo the respective spectral flows.
The k-Schur functions were first introduced by Lapointe, Lascoux and Morse (2003) in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono (2010) as the weighted generating function of starred strong tableaux which correspond with labeled saturated chains in the Bruhat order on the affine symmetric group modulo the symmetric group. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian of type A by Lam (2008), and, at t …
We study the connection between the category of modules over the affine Kac-Moody Lie algebra at the critical level, and the category of D-modules on the affine flag scheme G((t))/I, where I is the Iwahori subgroup. We prove a localization-type result, which establishes an equivalence between certain subcategories on both sides. We also establish an equivalence between a certain subcategory of Kac-Moody modules, and the category of quasi-coherent sheaves on the scheme of Miura opers for the Langlands dual group, thereby proving a conjecture of [FG2].
In math.RT/0201073 we constructed an equivalence between the derived category of equivariant coherent sheaves on the cotangent bundle to the flag variety of a simple algebraic group and a (quotient of) the category of constructible sheaves on the affine flag variety of the Langlands dual group. Below we prove certain properties of this equivalence; provide a similar ``Langlands dual'' description for the category of equivariant coherent sheaves on the nilpotent cone; and deduce some conjectures by Lusztig and Ostrik.
We study an example of a Teichmueller curve in the moduli space of algebraic curves of genus 2 coming from an origami S. It is particular in that its points admit the Klein four group as a subgroup of the automorphism group. We give an explicit description of its points in terms of affine plane curves, we show that the Teichmueller curve is a nonsingular, affine curve of genus 0 and we determine the number of cusps in the boundary of the moduli space.
A well-known cancellation problem asks when, for two algebraic varieties $V_1, V_2 \subseteq {\bf C}^n$, the isomorphism of the cylinders $V_1 \times {\bf C}$ and $V_2 \times {\bf C}$ implies the isomorphism of $V_1$ and $V_2$. In this paper, we address a related problem: when the equivalence (under an automorphism of ${\bf C}^{n+1}$) of two cylinders $V_1 \times {\bf C}$ and $V_2 \times {\bf C}$ implies the equivalence of their bases $V_1$ and $V_2$ under an automorphism of ${\bf C}^n$? We concentrate here on hypersurfaces and show that this problem establishes a strong connection between the…
We introduce and investigate an equivalence relation called "radical parallelism" on the projective line over a ring. It is closely related with the Jacobson radical of the underlying ring. As an application, we present a rather general approach to non-linear models of affine spaces and discuss some particular examples.
We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \rightarrow \text{Lie}(G, I) \rightarrow E \rightarrow G \rightarrow 1$ where G is an affine, smooth group scheme over k. Here k is an arbitrary commutative ring and $k[I] = k \oplus I$ with $I^2 = 0$. The equivalence is given by Weil restriction, and we provide a quasi-inverse which we call Weil extension. It is compatible with the exact structures and the $\mathbb{O}_k$-module stack structures on both categories. Our co…
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, …
In this paper we construct an equivariant embedding of the affine space $\mathbb{A}^n$ with the translation group action into a complete non-projective algebraic variety $X$ for all $n \geq 3$. The theory of toric varieties is used as the main tool for this construction. In the case of $n = 3$ we describe the orbit structure on the variety $X$.
Kirillov has described a McKay correspondence for finite subgroups of PSL_{2}(C) that associates to each `height' function an affine Dynkin quiver together with a derived equivalence between equivariant sheaves on the projective line P^1 and representations of this quiver. The equivalences for different height functions are then related by reflection functors for quiver representations. The main goal of this paper is to develop an analogous story for the cotangent bundle of P^1. We show that each height function gives rise to a derived equivalence between equivariant sheaves on the cotangent b…
Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are…
