Towards the multiplicative behavior of the K-theoretical McKay correspondence

When the quotient of a symplectic vector space by the action of a finite subgroup of symplectic automorphisms admits as a crepant projective resolution of singularities the Hilbert scheme of regular orbits of Nakamura, then there is a natural isomorphism between the Grothendieck group of this resolution and the representation ring of the group, given by the Bridgeland-King-Reid map. However, this isomorphism is not compatible with the ring structures. For the Hilbert scheme of points on the affine plane, we study the multiplicative behavior of this map.     

On the Cartan Map for Crossed Products and Hopf–Galois Extensions

We study certain aspects of the algebraic K-theory of Hopf–Galois extensions. We show that the Cartan map from K-theory to G-theory of such an extension is a rational isomorphism, provided the ring of coinvariants is regular, the Hopf algebra is finite dimensional and its Cartan map is injective in degree zero. This covers the case of a crossed product of a regular ring with a finite group and has an application to the study of Iwasawa modules.     

Opers and theta functions

We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of semistable vector bundles over an algebraic curve X to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli space of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low-dimensional parametrizations of Jacobians (in for generic curves), described by 2Θ functions or second logarithmic derivatives of theta.We interpret the Klein and Wirtinger maps in terms of opers on X. Opers are generalizations of projective structures, and can be considered as differential operators, kernel functions or special bundles with connection. The matrix opers (analogues of opers for matrix differential operators) combine the structures of flat vector bundle and projective connection, and map to opers via generalized Hitchin maps. For vector bundles off the theta divisor, the Szegö kernel gives a natural construction of matrix oper. The Wirtinger map from bundles off the theta divisor to the affine space of opers is then defined as the determinant of the Szegö kernel. This generalizes the Wirtinger projective connections associated to theta characteristics, and the associated Klein bidifferentials.     

Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms

We prove that every mapping torus of any free group endomorphism is residually finite. We show how to use a not yet published result of E. Hrushovski to extend our result to arbitrary linear groups. The proof uses algebraic self-maps of affine spaces over finite fields. In particular, we prove that when such a map is dominant, the set of its fixed closed scheme points is Zariski dense in the affine space.     

Toric fiber products versus Segre products

The toric fiber product is an operation that combines two ideals that are homogeneous with respect to a grading by an affine monoid. The Segre product is a related construction that combines two multigraded rings. The quotient ring by a toric fiber product of two ideals is a subring of the Segre product, but in general this inclusion is strict. We contrast the two constructions and show that any Segre product can be presented as a toric fiber product without changing the involved quotient rings. This allows to apply previous results about toric fiber products to the study of Segre products. We give criteria for the Segre product of two affine toric varieties to be dense in their toric fiber product, and for the map from the Segre product to the toric fiber product to be finite. We give an example that shows that the quotient ring of a toric fiber product of normal ideals need not be normal. In rings with Veronese type gradings, we find examples of toric fiber products that are always Segre products, and we show that iterated toric fiber products of Veronese ideals over Veronese rings are normal.     

On images of affine spaces

We prove that every non-degenerate toric variety, every homogeneous space of a connected linear algebraic group without non-constant invertible regular functions, and every variety covered by affine spaces admit a surjective morphism from an affine space.     

Regular sets for the affine and projective groups over the field of two elements

In this paper we show that collineation groups of affine and projective spaces over the field of two elements GF (2), except in low dimensions, have regular sets. As an application of this result, we prove that, apart from a finite number of exceptions, any collineation group of affine and projective spaces over GF (2), is geometric. In the exceptional dimensions, all primitive groups are examined.Lavoro eseguito nell'ambito dei finanziamenti del M.P.I. Italia (40%).     

On Knebusch’s Norm Principle for quadratic forms over semi-local rings

We prove Knebusch’s Norm Principle for finite extensions of semi-local regular rings containing a field of characteristic 0. As an application we prove the Grothendieck-Serre conjecture on principal homogeneous spaces for the case of spinor groups of regular quadratic forms over a field of characteristic 0.     

Galois ring extensions and localized modular rings of invariants of p-groups

We apply recent results on Galois-ring extensions and trace surjective algebras to analyze dehomogenized modular invariant rings of finite p-groups, as well as related localizations. We describe criteria for the dehomogenized invariant ring to be polynomial or at least regular and we show that for regular affine algebras with possibly non-linear action by a p-group, the singular locus of the invariant ring is contained in the variety of the transfer ideal. If V is the regular module of an arbitrary finite p-group, or V is any faithful representation of a cyclic p-group, we show that there is a suitable invariant linear form, inverting which renders the ring of invariants into a “localized polynomial ring” with dehomogenization being a polynomial ring. This is in surprising contrast to the fact that for a faithful representation of a cyclic group of order larger than p, the ring of invariants itself cannot be a polynomial ring by a result of Serre. Our results here generalize observations made by Richman [R] and by Campbell and Chuai [CCH].     

Embeddings in Artinian rings and Sylvester rank functions

Using Sylvester rank functions it is shown that a right Noetherian algebra, modulo the torsion ideal determined by elements regular modulo its nil radical, is embeddable in a simple Artinian ring. This is used to show that a right Noetherian algebra which is right Krull homogeneous embeds in a simple Artinian ring, and that a right Noetherian affine algebra satisfying a polynomial identity embeds in a simple Artinian ring. The research of the second author was supported in part by NSF Grant DMS-8317737.     

Kollineationen von Translationsstrukturen

Translationstructures are generalized affine spaces. They can be described algebraically by partitions of groups. For desarguesian affine spaces the group is a vectorspace and the partition is the set of all onedimensional subspaces. In this case each collineation fixing 0 is a regular semilinear mapping, i.e. an automorphism of the vectorspace. In the general case it is a mapping called equivalence. Each equivalence of a partition is an automorphism iff the set of translations of the group is a normal subgroup of the collineationgroup. The translations form a normal subgroup, if the group is finite or abelian. We prove some theorems for the infinite non abelian case.     

Champs affines

The purpose of this work is to introduce a notion of affine stacks, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and p-adic homotopy theory. This gives a first solution to A. Grothendieck’s schematization problem described in [18]. We also use affine stacks in order to introduce a notion of schematic homotopy types. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyond rational and p-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various co-homology theories (Betti, de Rham, l-adic, ...), extending the well known constructions of the various fundamental groups. Finally, just as algebraic stacks are obtained by gluing affine schemes we define $$ \infty $$-geometric stacks as a certain gluing of affine stacks. Examples of $$ \infty $$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.     

Regular Sets and Geometric Groups

If G is a permutation group acting on a set Ω, a subset Λ of Ω is called a regular set for G if the set-stabilizer of Λ in G is the identity subgroup. We show here that the projective and affine semi-linear groups acting in the natural way as permutation groups on their respective finite geometries, have, in general, for all finite dimensions and all finite fields, regular sets of points. The exceptions to this are found, and an extension of the results to infinite fields is discussed.     

Wavelet Frames on Groups and Hypergroups via Discretization of Calderón Formulas

Continuous wavelets are often studied in the general framework of representation theory of square-integrable representations, or by using convolution relations and Fourier transforms. We consider the well-known problem whether these continuous wavelets can be discretized to yield wavelet frames. In this paper we use Calderón-Zygmund singular integral operators and atomic decompositions on spaces of homogeneous type, endowed with families of general translations and dilations, to attack this problem, and obtain strong convergence results for wavelets expansions in a variety of classical functional spaces and smooth molecule spaces. This approach is powerful enough to yield, in a uniform way, for example, frames of smooth wavelets for matrix dilations in ⁿ, for an affine extension of the Heisenberg group, and on many commutative hypergroups.     

Algebraic properties of grids of projective lines

In this paper we compute the generators, the Hilbert function, and the Hilbert polynomial of the projective closure of affine lines which are parallel to the coordinate axes and pass through a lattice of points. We also consider the Cohen-Macaulay and seminormality property of their homogeneous coordinate ring. These lines are said to form a grid.     

Harbater-Mumford subvarieties of moduli spaces of covers

We define Harbater-Mumford subvarieties, which are special kinds of closed subvarieties of Hurwitz moduli spaces obtained by fixing some of the branch points. We show that, for many finite groups, finding geometrically irreducible HM-subvarieties defined over is always possible. This provides information on the arithmetic of Hurwitz spaces and applies in particular to the regular inverse Galois problem with (almost all) fixed branch points. Profinite versions of our results can also be stated, providing new tools to study the geometry of modular towers and the regular inverse Galois problem for profinite groups.     

On affine images of regular pentagons and pentagrams

In this paper we explore pentagons that are affine images of the regular pentagon and the regular pentagram. We obtain their characterizations in terms of two mild forms of regularity that deal with the notions of medians for a pentagon and the natural requirement that they are concurrent. Using these characterizations we show that there are various values involving the number 5 (thus related to the golden section) for which a careful selection of division points on appropriate segments determined by any pentagon will result in a pentagon that is the affine image of either a regular pentagon or a regular pentagram.