PROJECTIVE GENERATION FOR EQUIVARIANT -MODULES

We investigate compact projective generators in the category of equivariant "Image missing"-modules on a smooth affine variety. For a reductive group G acting on a smooth affine variety X, there is a natural countable set of compact projective generators indexed by finite dimensional representations of G. We show that only finitely many of these objects are required to generate; thus the category has a single compact projective generator. The proof goes via an analogous statement about compact generators in the equivariant derived category, which holds in much greater generality and may be of independent interest.

On the topology of geometric and rational orbits for algebraic group actions over valued fields

In this note, we study the relationship between Zariski and relative closedness for actions of (smooth) algebraic groups defined over valued (mainly local) fields of any characteristic. In particular, we use some recent basic results regarding the completely reducible subgroups and cocharacter-closedness due to Bate–Herpel–Röhrle–Tange and Uchiyama to construct some actions of simple algebraic groups G of the types {D_{4}}, {E_{6}}, {E_{7}}, {E_{8}}, {G_{2}} on an affine variety defined over a local function field k, and {v\in V(k)} such that the geometric orbit {G.v} is Zariski closed although the corresponding relative orbit {G(k).v} is not closed in the topology induced from k. Besides, by using an interesting result due to Gabber, Gille and Moret-Bailly, we show that this phenomenon does not appear when we consider the action of either a smooth unipotent group or a smooth commutative algebraic group, defined over an admissible valued (e.g., local) field.

Commutative algebraic monoid structures on affine surfaces

We classify commutative algebraic monoid structures on normal affine surfaces over an algebraically closed field of characteristic zero. The answer is given in two languages: comultiplications and Cox coordinates. The result follows from a more general classification of commutative monoid structures of rank 0, n - 1 n-1 or 𝑛 on a normal affine variety of dimension 𝑛.

Homological mirror symmetry for higher-dimensional pairs of pants

Using Auroux’s description of Fukaya categories of symmetric products of punctured surfaces, we compute the partially wrapped Fukaya category of the complement of $k+1$ generic hyperplanes in $\mathbb{CP}^{n}$, for $k\geqslant n$, with respect to certain stops in terms of the endomorphism algebra of a generating set of objects. The stops are chosen so that the resulting algebra is formal. In the case of the complement of $n+2$ generic hyperplanes in $\mathbb{C}P^{n}$ ($n$-dimensional pair of pants), we show that our partial wrapped Fukaya category is equivalent to a certain categorical resolution of the derived category of the singular affine variety $x_{1}x_{2}\ldots x_{n+1}=0$. By localizing, we deduce that the (fully) wrapped Fukaya category of the $n$-dimensional pair of pants is equivalent to the derived category of $x_{1}x_{2}\ldots x_{n+1}=0$. We also prove similar equivalences for finite abelian covers of the $n$-dimensional pair of pants.

On Smooth Projective D-Affine Varieties

We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic 0 such D-affine varieties are also uniruled. We also show that (apart from a few small characteristics) a smooth projective surface is D-affine if and only if it is isomorphic to either ${{\mathbb{P}}}^2$ or ${{\mathbb{P}}}^1\times{{\mathbb{P}}}^1$. In positive characteristic, a basic tool in the proof is a new generalization of Miyaoka’s generic semipositivity theorem.

Classifying complete $$\mathbb {C}$$-subalgebras of $$\mathbb {C}[[t]]$$

We address the problem of classifying complete $$\mathbb {C}$$ C -subalgebras of $$\mathbb {C}[[t]]$$ C [ [ t ] ] . A discrete invariant for this classification problem is the semigroup of orders of the elements in a given $$\mathbb {C}$$ C -subalgebra. Hence we can define the space $$\mathcal {R}_{\Gamma }$$ R Γ of all $$\mathbb {C}$$ C -subalgebras of $$\mathbb {C}[[t]]$$ C [ [ t ] ] with semigroup $$\Gamma $$ Γ . After relating this space to the Zariski moduli space of curve singularities and to a moduli space of global singular curves, we prove that $$\mathcal {R}_{\Gamma }$$ R Γ is an affine variety by describing its defining equations in an ambient affine space in terms of an explicit algorithm. Moreover, we identify certain types of semigroups $$\Gamma $$ Γ for which $$\mathcal {R}_{\Gamma }$$ R Γ is always an affine space, and for general $$\Gamma $$ Γ we describe the stratification of $$\mathcal {R}_{\Gamma }$$ R Γ by embedding dimension. We also describe the natural map from $$\mathcal {R}_{\Gamma }$$ R Γ to the Zariski moduli space in some special cases. Explicit examples are provided throughout.

Resolutions With Conical Slices and Descent for the Brauer Group Classes of Certain Central Reductions of Differential Operators in Characteristic p

“Even more so is the word ‘crystalline’, a glacial and impersonal concept of his which disdains viewing existence from a single portion of time and space” Eileen Myles, “The Importance of Being Iceland” For a smooth variety $X$ over an algebraically closed field of characteristic $p$ to a differential 1-form $\alpha $ on the Frobenius twist $X^{\textrm{(1)}}$ one can associate an Azumaya algebra ${{\mathcal{D}}}_{X,\alpha }$, defined as a certain central reduction of the algebra ${{\mathcal{D}}}_X$ of “crystalline differential operators” on $X$. For a resolution of singularities $\pi :X\to Y$ of an affine variety $Y$, we study for which $\alpha $ the class $[{{\mathcal{D}}}_{X,\alpha }]$ in the Brauer group $\textrm{Br}(X^{\textrm{(1)}})$ descends to $Y^{\textrm{(1)}}$. In the case when $X$ is symplectic, this question is related to Fedosov quantizations in characteristic $p$ and the construction of noncommutative resolutions of $Y$. We prove that the classes $[{{\mathcal{D}}}_{X,\alpha }]$ descend étale locally for all $\alpha $ if ${{\mathcal{O}}}_Y\widetilde{\rightarrow }\pi _\ast{{\mathcal{O}}}_X$ and $R^{1}\pi _*\mathcal O_X = R^2\pi _*\mathcal O_X =0$. We also define a certain class of resolutions, which we call resolutions with conical slices, and prove that for a general reduction of a resolution with conical slices in characteristic $0$ to an algebraically closed field of characteristic $p$ classes $[{{\mathcal{D}}}_{X,\alpha }]$ descend to $Y^{\textrm{(1)}}$ globally for all $\alpha $. Finally we give some examples; in particular, we show that Slodowy slices, Nakajima quiver varieties, and hypertoric varieties are resolutions with conical slices.