Borel-Weil-Bott theory on the moduli stack of G-bundles over a curve

Let G be a semi-simple group and M the moduli stack of G-bundles over a smooth, complex, projective curve. Using representation-theoretic methods, I prove the pure-dimensionality of sheaf cohomology for certain “evaluation vector bundles” over M, twisted by powers of the fundamental line bundle. This result is used to prove a Borel-Weil-Bott theorem, conjectured by G. Segal, for certain generalized flag varieties of loop groups. Along the way, the homotopy type of the group of algebraic maps from an affine curve to G, and the homotopy type, the Hodge theory and the Picard group of M are described. One auxiliary result, in Appendix A, is the Alexander cohomology theorem conjectured in [Gro2]. A self-contained account of the “uniformization theorem” of [LS] for the stack M is given, including a proof of a key result of Drinfeld and Simpson (in characteristic 0). A basic survey of the simplicial theory of stacks is outlined in Appendix B. Oblatum 17-XII-1996 & 26 VI-1997     

Bundles on non-proper schemes: representability

Let X be a proper scheme over a field k which satisfies Serre’s condition S ₂ and G a reductive group over k. We prove that the functor of principal G-bundles, defined away from a non-fixed closed subset in X of codimension at least 3, is an algebraic stack in the sense of Artin.     

Association Schemes and Fusion Algebras (An Introduction)

We introduce the concept of fusion algebras at algebraic level, as a purely algebraic concept for the fusion algebras which appear in conformal field theory in mathematical physics. We first discuss the connection between fusion algebras at algebraic level and character algebras, a purely algebraic concept for Bose-Mesner algebras of association schemes. Through this correspondence, we establish the condition when the matrix S of a fusion algebra at algebraic level is unitary or symmetric. We construct integral fusion algebras at algebraic level, from association schemes, in particular from group association schemes, whose matrix S is unitary and symmetric. Finally, we consider whether the modular invariance property is satisfied or not, namely whether there exists a diagonal matrix T satisfying the condition (ST)³ = S ². We prove that this property does not hold for some integral fusion algebras at algebraic level coming from the group association scheme of certain groups of order 64, and we also prove that the (nonintegral) fusion algebra at algebraic level obtained from the Hamming association scheme H(d, q) has the modular invariance property.     

Spectral norms on valued fields

Let be a perfect valued field, be an algebraic closure of be an extension of to and be the G-spectral norm on Let be an algebraic extension of K and be the completion of L relative to We associate to any element a real number and prove that if for all x in , then and is a zero-dimensional regular ring. We show that and prove that is algebraic over (with some additional conditions on K and L). We give a Galois type correspondence between the set of all closed K-subalgebras of and the subfields of L. We prove that is an algebraic closed and zero-dimensional regular ring. Received: 3 March 1999; in final form: 21 February 2000 / Published online: 4 May 2001     

Geometricity for derived categories of algebraic stacks

We prove that the dg category of perfect complexes on a smooth, proper Deligne–Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated categories, this means that the derived category of perfect complexes embeds as an admissible subcategory into the bounded derived category of coherent sheaves on a smooth, projective variety. The same holds for a smooth, projective, tame Artin stack over an arbitrary field.     

Failure of the Hasse principle for Enriques surfaces

We construct an Enriques surface X over Q with empty étale-Brauer set (and hence no rational points) for which there is no algebraic Brauer–Manin obstruction to the Hasse principle. In addition, if there is a transcendental obstruction on X, then we obtain a K3 surface that has a transcendental obstruction to the Hasse principle.     

The motive of the moduli stack of <Emphasis Type="Italic">G</Emphasis>-bundles over the universal curve

We define relative motives in the sense of André. After associating a complex in the derived category of motives to an algebraic stack we study this complex in the case of the moduli of G-bundles varying over the moduli of curves.     

Boundary value problems on manifolds with fibered boundary

We define a class of boundary value problems on manifolds with fibered boundary. This class is in a certain sense a deformation between the classical boundary value problems and the Atiyah–Patodi–Singer problems in subspaces (it contains both as special cases). The boundary conditions in this theory are taken as elements of the C *‐algebra generated by pseudodifferential operators and families of pseudodifferential operators in the fibers. We prove the Fredholm property for elliptic boundary value problems and compute a topological obstruction (similar to Atiyah–Bott obstruction) to the existence of elliptic boundary conditions for a given elliptic operator. Geometric operators with trivial and nontrivial obstruction are given. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Torsion algebraic cycles and étale cobordism

We prove that the classical integral cycle class map from algebraic cycles to étale cohomology factors through a quotient of ?-adic étale cobordism over an algebraically closed field of positive characteristic. This shows that there is a strong topological obstruction for cohomology classes to be algebraic and that examples of Atiyah, Hirzebruch and Totaro also work in positive characteristic.     

An algebraic characterization of holomorphic nondegeneracy for real algebraic hypersurfaces and its application to CR mappings

We give a new algebraic characterization of holomorphic nondegeneracy for embedded real algebraic hypersurfaces in , . We then use this criterion to prove the following result about real analyticity of smooth CR mappings: any smooth CR mapping H between a real analytic hypersurface and a rigid polynomial holomorphically nondegenerate hypersurface is real analytic, provided the map H is not totally degenerate in the sense of Baouendi and Rothschild. Received September 19, 1997     

Finiteness theorems for the Picard objects of an algebraic stack

We prove some finiteness theorems for the Picard functor of an algebraic stack, in the spirit of SGA 6, exp. XII and XIII. In particular, we give a stacky version of Raynaud?s relative representability theorem, we give sufficient conditions for the existence of the torsion component of the Picard functor, and for the finite generation of the Néron–Severi groups or of the Picard group itself. We give some examples and applications. In Appendix A, we prove the semicontinuity theorem for a (non-necessarily tame) algebraic stack.     

Syzygies of Multi-Variable Higher Spin Dirac Operators on $$\mathbb{R}^{3}$$

This paper is a short report on the generalization of some results of our previous paper [12] to the case of spin j/2 Dirac operators in real dimension three for arbitrary odd integer j. We use an explicit formula for the local expression of such operators to study their algebraic properties, construct the compatibility conditions of the overdetermined system associated to the operator in several spatial variables, and we prove that its associated algebraic complex, dual do the BGG sequence coming from representation theory, has substantially the same pattern as the Cauchy-Fueter complex. The author is a member of the Eduard Čech Center and his research is supported by the relative grants.     

Stacky abelianization of algebraic groups

We prove a conjecture of Drinfeld regarding restriction of central extensions of an algebraic group G to the commutator subgroup. As an application, we construct the “true commutator” of G. The quotient of G by the action of the true commutator is the universal commutative group stack to which G maps.     

Effective invariants of braid monodromy

In this paper we construct new invariants of algebraic curves based on (not necessarily generic) braid monodromies. Such invariants are effective in the sense that their computation allows for the study of Zariski pairs of plane curves. Moreover, the Zariski pairs found in this work correspond to curves having conjugate equations in a number field, and hence are not distinguishable by means of computing algebraic coverings. We prove that the embeddings of the curves in the plane are not homeomorphic. We also apply these results to the classification problem of elliptic surfaces.

     

Higher Intersection Theory on Algebraic Stacks: II

This is the second part of our work on the intersection theory of algebraic stacks. The main results here are the following. We provide an intersection pairing for all smooth Artin stacks (locally of finite type over a field) which we show reduces to the known intersection pairing on the Chow groups of smooth Deligne–Mumford stacks of finite type over a field as well as on the Chow groups of quotient stacks associated to actions of linear algebraic groups on smooth quasi-projective schemes modulo torsion. The former involves also showing the existence of Adams operations on the rational étale K-theory of all smooth Deligne–Mumford stacks of finite type over a field. In addition, we show that our definition of the higher Chow groups is intrinsic to the stack for all smooth stacks and also stacks of finite type over the given field. Next we establish the existence of Chern classes and Chern character for Artin stacks with values in our Chow groups and extend these to higher Chern classes and a higher Chern character for perfect complexes on an algebraic stack, taking values in cohomology theories of algebraic stacks that are defined with respect to complexes of sheaves on a big smooth site. As a by-product of our techniques we also provide an extension of higher intersection theory to all schemes locally of finite type over a field. As the higher cycle complex, by itself, is a bit difficult to handle, the stronger results like contravariance for arbitrary maps between smooth stacks and the intersection pairing for smooth stacks are established by comparison with motivic cohomology.     

Algebraicity of Global Real Analytic Hypersurfaces

Let X be an algebraic manifold without compact component and let V be a compact coherent analytic hypersurface in X, with finite singular set. We prove that V is diffeotopic (in X) to an algebraic hypersurface in X if and only if the homology class represented by V is algebraic and singularities are locally analytically equivalent to Nash singularities. This allows us to construct algebraic hypersurfaces in X with prescribed Nash singularities.     

Approximation of nonnegative functions by means of exponentiated trigonometric polynomials

We consider the problem of approximating a nonnegative function from the knowledge of its first Fourier coefficients. Here, we analyze a method introduced heuristically in a paper by Borwein and Huang (SIAM J. Opt. 5 (1995) 68–99), where it is shown how to construct cheaply a trigonometric or algebraic polynomial whose exponential is close in some sense to the considered function. In this note, we prove that approximations given by Borwein and Huang's method, in the trigonometric case, can be related to a nonlinear constrained optimization problem, and their convergence can be easily proved under mild hypotheses as a consequence of known results in approximation theory and spectral properties of Toeplitz matrices. Moreover, they allow to obtain an improved convergence theorem for best entropy approximations.     

The weak conjecture on spherical classes

Let be the mod 2 Steenrod algebra. We construct a chain-level representation of the dual of Singer's algebraic transfer, which maps Singer's invariant-theoretic model of the dual of the Lambda algebra, , to and is the inclusion of the Dickson algebra, , into . This chain-level representation allows us to confirm the weak conjecture on spherical classes (see [9]), assuming the truth of (1) either the conjecture that the Dickson invariants of at least k = 3 variables are homologically zero in }, (2) or a conjecture on ${\mathcal{A}}$ -decomposability of the Dickson algebra in $\Gamma_k^{\wedge}$. We prove the conjecture in item (1) for k = 3 and also show a weak form of the conjecture in item (2). Received November 27, 1996; in final form March 6, 1998     

Combinatorial obstructions to the lifting of weaving diagrams

This paper deals with various connections of oriented matroids [3] and weaving diagrams of lines in space [9], [16], [27]. We encode the litability problem of a particular weaving diagramD onn lines by the realizability problem of a partial oriented matroid χ _D with2n elements in rank 4. We prove that the occurrence of a certain substructure inD implies that χD is noneuclidean in the sense of Edmonds, Fukuda, and Mandel [12], [14]. Using this criterion we construct an infinite class of minor-minimal noneuclidean oriented matroids in rank 4. Finally, we give an easy algebraic proof for the nonliftability of the alternating weaving diagram on a bipartite grid of 4×4 lines [16].