On the volume of a tilting module

We consider a finite dimensional k-algebraA and associate to each tilting module a cone in the Grothendieck groupK ₀ of finitely generated A-modules. We prove that the set of cones associated to tilting modules of projective dimension at most one defines a, not necessarily finite, fan Σ(A). IfA is of finite global dimension, the fan Σ(A) is smooth. Moreover, using the cone of a tilting module, we can associate a volume to each tilting module. Using the fan and the volume, we obtain new proofs for several classical results; we obtain certain convergent sums naturally associated to the algebraA and obtain criteria for the completeness of a list of tilting modules. Finally, we consider several examples. Dedicated to O. Riemenschneider on the occasion of his 65th birthday     

Genus formula for modular curves of {\mathcal{D}}-elliptic sheaves

We prove a genus formula for modular curves of -elliptic sheaves. We use this formula to show that the reductions of modular curves of -elliptic sheaves attain the Drinfeld-Vladut bound as the degree of the discriminant of tends to infinity. Received: 14 October 2008 The author was supported in part by NSF grant DMS-0801208 and Humboldt Research Fellowship.     

Quasicoherent sheaves on complex noncommutative two-tori

We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus T as an ind-object in the category of holomorphic vector bundles on T. Extending the results of [10] and [9] we prove that the derived category of quasicoherent sheaves on T is equivalent to the derived category of usual quasicoherent sheaves on the corresponding elliptic curve. We define the rank of a quasicoherent sheaf on T that can take arbitrary nonnegative real values. We study the category Qcoh(η _T ) obtained by taking the quotient of the category of quasicoherent sheaves by the subcategory of objects of rank zero (called torsion sheaves). We show that projective objects of finite rank in Qcoh(η _T ) are classified up to an isomorphism by their rank. We also prove that the subcategory of objects of finite rank in Qcoh(η _T ) is equivalent to the category of finitely presented modules over a semihereditary algebra.     

Néron Models and Formal Groups

We show that formal groups can be used to simplify the construction of Néron models. Also we give a new proof of the stable reduction theorem for abelian varieties. Received: September 2007     

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.     

Graph homology of the moduli space of pointed real curves of genus zero

The moduli space parameterizes the isomorphism classes of S-pointed stable real curves of genus zero which are invariant under relabeling by the involution σ. This moduli space is stratified according to the degeneration types of σ-invariant curves. The degeneration types of σ-invariant curves are encoded by their dual trees with additional decorations. We construct a combinatorial graph complex generated by the fundamental classes of strata of . We show that the homology of is isomorphic to the homology of our graph complex. We also give a presentation of the fundamental group of .      

Applications of a theorem of Singerman about Fuchsian groups

Assume that we have a (compact) Riemann surface S, of genus greater than 2, with , where is the complex unit disc and Γ is a surface Fuchsian group. Let us further consider that S has an automorphism group G in such a way that the orbifold S/G is isomorphic to where is a Fuchsian group such that and has signature σ appearing in the list of non-finitely maximal signatures of Fuchsian groups of Theorems 1 and 2 in [6]. We establish an algebraic condition for G such that if G satisfies such a condition then the group of automorphisms of S is strictly greater than G, i.e., the surface S is more symmetric that we are supposing. In these cases, we establish analytic information on S from topological and algebraic conditions. Received: 4 April 2008     

The action of S n on the cohomology of \overline{M}_{0,n}(\mathbb{R})

In recent work by Etingof, Henriques, Kamnitzer, and the author, a presentation and explicit basis was given for the rational cohomology of the real locus of the moduli space of stable genus 0 curves with n marked points. We determine the graded character of the action of S_n on this space (induced by permutations of the marked points), both in the form of a plethystic formula for the cycle index, and as an explicit product formula for the value of the character on a given cycle type.      

Bloch-Bergman Pullbacks with Logarithmic Weights

We characterize the composition operators mapping Blochs boundedly into the weighted Bergman spaces of logarithmic weight. For 0 < p < ∞, 1 < α < ∞, let A^{p, log α} denote the space of holomorphic functions F in the unit disc D for which

The Isometric Representation Theory of Numerical Semigroups

We study representations of numerical semigroups ∑ by isometries on Hilbert space with commuting range projections. Our main theorem says that each such representation is unitarily equivalent to the direct sum of a representation by unitaries and a finite number of multiples of particular concrete representations by isometries. We use our main theorem to identify the faithful representations of the C*-algebra C*(∑) generated by a universal isometric representation with commuting range projections, and also prove a structure theorem for C*(∑). This research was supported by the Australian Research Council.     

Testing Sign Conditions on a Multivariate Polynomial and Applications

Let f be a polynomial in of degree D. We focus on testing the emptiness and computing at least one point in each connected component of the semi-algebraic set defined by f > 0 (or f < 0 or f ≠ 0). To this end, the problem is reduced to computing at least one point in each connected component of a hypersurface defined by f − e = 0 for positive and small enough. We provide an algorithm allowing us to determine a positive rational number e which is small enough in this sense. This is based on the efficient computation of the set of generalized critical values of the mapping which is the union of the classical set of critical values of the mapping f and the set of asymptotic critical values of the mapping f. Then, we show how to use the computation of generalized critical values in order to obtain an efficient algorithm deciding the emptiness of a semi-algebraic set defined by a single inequality or a single inequation. At last, we show how to apply our contribution to determining if a hypersurface contains real regular points. We provide complexity estimates for probabilistic versions of the latter algorithms which are within arithmetic operations in . The paper ends with practical experiments showing the efficiency of our approach on real-life applications.      

Some algebraic invariants related to mixed product ideals

We compute some algebraic invariants (e.g. depth, Castelnuovo-Mumford regularity) for a special class of monomial ideals, namely the ideals of mixed products. As a consequence, we characterize the Cohen-Macaulay ideals of mixed products. Received: 25 October 2007     

The Leray separating operator in the theory of the Cauchy problem

The paper is devoted to the presentation of Leray’s approach to the Cauchy problem for strictly hyperbolic operators. In the first section we give the main definitions of strictly hyperbolic operators and separating operators corresponding to them. We present the plan of derivation of the a priori estimates necessary for the proof of solvability of the Cauchy problem. In the second section we generalize the Leray approach to some classes of PDO which are not hyperbolic.     

On maximal proper subgroups of field automorphism groups

Let G be the automorphism group of an extension of algebraically closed fields of characteristic zero of transcendence degree n, 1 ≤ n ≤ ∞. In this paper we

Dualizing complexes and perverse sheaves on noncommutative ringed schemes

A quasi-coherent ringed scheme is a pair (X, $$ \mathcal{A} $$), where X is a scheme, and $$ \mathcal{A} $$ is a noncomutative quasi-coherent $$ \mathcal{O}_X $$ -ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex.     

An Improved Cauchy Formula for Hypermonogenic Functions

A new Cauchy-type formula for hypermonogenic functions is derived. Hypermonogenic functions, introduced in [6], are a generalization of holomorphic functions to several dimensions. The power function x^m is hypermonogenic. This paper is dedicated to the memory of our friend and colleague Jarolim Bureš     

Every Biregular Function Is a Biholomorphic Map

We study Fueter-biregular functions of one quaternionic variable. We consider left-regular functions in the kernel of the Cauchy–Riemann operator

Noetherian Automorphisms of Groups

An automorphism α of a group G is called a noetherian automorphism if for each ascending chain

Irreducible <Emphasis Type="Italic">p</Emphasis>-Brauer characters of <Emphasis Type="Italic">p</Emphasis>-power degree for the symmetric and alternating groups

Starting from the question when all irreducible p-Brauer characters for a symmetric or an alternating group are of p-power degree, we classify the p-modular irreducible representations of p-power dimension in some families of representations for these groups. In particular, this then allows to confirm a conjecture by W. Willems for the alternating groups. Received: 14 June 2006