Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact firstname.lastname@example.org with any questions.
Given a finite subgroup we define an additive -category whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of on derived categories of coherent sheaves on Hilbert schemes of points on the minimal resolutions .
We consider several ways to measure the “geometric complexity” of an embedding from a simplicial complex into Euclidean space. One of these is a version of “thickness,” based on a paper of Kolmogorov and Barzdin. We prove inequalities relating the thickness and the number of simplices in the simplicial complex, generalizing an estimate that Kolmogorov and Barzdin proved for graphs. We also consider the distortion of knots. We give an alternate proof of a theorem of Pardon that there are isotopy classes of knots requiring arbitrarily large distortion. This proof is based on the expander-like properties of arithmetic hyperbolic manifolds.
Let be a field finitely generated over , and let be a smooth, separated, and geometrically connected curve over . Fix a prime . A representation is said to be geometrically Lie perfect if the Lie algebra of is perfect. Typical examples of such representations are those arising from the action of on the generic -adic Tate module of an abelian scheme over or, more generally, from the action of on the -adic étale cohomology groups , , of the geometric generic fiber of a smooth proper scheme over . Let denote the image of . Any -rational point on induces a splitting of the canonical restriction epimorphism so one can define the closed subgroup . The main result of this paper is the following uniform open image theorem. Under the above assumptions, for every geometrically Lie perfect representation , the set of all such that is not open in is finite and there exists an integer such that for every .
We show that any nonabelian free group is strongly -homogeneous, that is, that finite tuples of elements which satisfy the same first-order properties are in the same orbit under . We give a characterization of elements in finitely generated groups which have the same first-order properties as a primitive element of the free group. We deduce as a consequence that most hyperbolic surface groups are not strongly -homogeneous.