The rational cohomology of $${\overline{\mathcal{M}_4}}$$

We present two approaches to the study of the cohomology of moduli spaces of curves. Together, they allow us to compute the rational cohomology of the moduli space of stable complex curves of genus 4, with its Hodge structure.     

$${\mathcal{C}}_{0}$$ ( X)-algebras,stability and strongly self-absorbing $${\mathcal{C}}^{*}$$ -algebras

We study permanence properties of the classes of stable and so-called -stable -algebras, respectively. More precisely, we show that a (X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for -algebras absorbing the Jiang–Su algebra tensorially). Furthermore, we prove that if is a K ₁-injective strongly self-absorbing -algebra, then A absorbs tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a -algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of -absorbing -algebras. Research supported by: Deutsche Forschungsgemeinschaft (through the SFB 478), by the EU-Network Quantum Spaces - Noncommutative Geometry (Contract No. HPRN-CT-2002-00280), and by the Center for Advanced Studies in Mathematics at Ben-Gurion University     

Lower bounds on the canonical height associated to the morphism $${\phi(z)= z^d+c}$$

A lower bound is obtained of the canonical height associated to the morphism evaluated at wandering points α. The lower bound is of the form Ch(c), for some constant C depending on the the number of primes of bad reduction for , and the degree of the number field . The author was supported by a PDF grant from NSERC.     

Amenability,tubularity, and embeddings into $$\mathcal{R}^{\omega}$$

Suppose M is a tracial von Neumann algebra embeddable into (the ultraproduct of the hyperfinite II₁-factor) and X is an n-tuple of selfadjoint generators for M. Denote by Γ(X; m, k, γ) the microstate space of X of order (m, k ,γ). We say that X is tubular if for any ε >  0 there exist and γ > 0 such that if then there exists a k × k unitary u satisfying for each 1 ≤  i ≤  n. We show that the following conditions are equivalent:

Square-free orders for CM elliptic curves modulo <Emphasis Type="Italic">p</Emphasis>

Let E be an elliptic curve defined over , of conductor N, and with complex multiplication. We prove unconditional and conditional asymptotic formulae for the number of ordinary primes , p ≤ x, for which the group of points of the reduction of E modulo p has square-free order. These results are related to the problem of finding an asymptotic formula for the number of primes p for which the group of points of E modulo p is cyclic, first studied by Serre (1977). They are also related to the stronger problem about primitive points on E modulo p, formulated by Lang and Trotter (Bull Am Math Soc 83:289–292, 1977), and the one about the primality of the order of E modulo p, formulated by Koblitz [Pacific J. Math. 131(1):157–165, 1988].     

Statistics about elliptic curves over finite prime fields

We derive formulas for the probabilities of various properties (cyclicity, squarefreeness, generation by random points) of the point groups of randomly chosen elliptic curves over random prime fields.     

The absolute Galois groups of finite extensions of $${\mathbb{R}}(t)$$

Let R be a real closed field and L be a finite extension of R(t). We prove that Gal(L) ≅ Gal(R(t)) if L is formally real and Gal(L) is the free profinite group of rank card (R) if L is not formally real. Received: 3 April 2007     

An asymptotic theorem for minimal surfaces and existence results for minimal graphs in $${\mathbb H^2 \times \mathbb R}$$

In this paper we prove a general and sharp Asymptotic Theorem for minimal surfaces in . As a consequence, we prove that there is no properly immersed minimal surface whose asymptotic boundary Γ_∞ is a Jordan curve homologous to zero in such that Γ_∞ is contained in a slab between two horizontal circles of with width equal to π. We construct vertical minimal graphs in over certain unbounded admissible domains taking certain prescribed finite boundary data and certain prescribed asymptotic boundary data. Our admissible unbounded domains Ω in are non necessarily convex and non necessarily bounded by convex arcs; each component of its boundary is properly embedded with zero, one or two points on its asymptotic boundary, satisfying a further geometric condition. The first author wish to thank Laboratoire Géométrie et Dynamique de l’Institut de Mathématiques de Jussieu for the kind hospitality and support. The authors would like to thank CNPq, PRONEX of Brazil and Accord Brasil-France, for partial financial support.     

On $${\mathcal{F}}$$ -supplemented subgroups of finite groups

Let G be a finite group and a formation of finite groups. We say that a subgroup H of G is -supplemented in G if there exists a subgroup T of G such that G = TH and is contained in the -hypercenter of G/H _G . In this paper, we use -supplemented subgroups to study the structure of finite groups. A series of previously known results are unified and generalized. Research of the author is supported by a NNSF grant of China (Grant #10771180).     

Examples of area-minimizing surfaces in the sub-Riemannian Heisenberg group $${\mathbb{H}^1}$$ with low regularity

We give new examples of entire area-minimizing t-graphs in the sub-Riemannian Heisenberg group . They are locally Lipschitz in Euclidean sense. Some regular examples have prescribed singular set consisting of either a horizontal line or a finite number of horizontal halflines extending from a given point. Amongst them, a large family of area-minimizing cones is obtained. Research supported by MEC-Feder grant MTM2007-61919.     

Domain decomposition based $${\mathcal H}$$ -LU preconditioning

Hierarchical matrices provide a data-sparse way to approximate fully populated matrices. The two basic steps in the construction of an -matrix are (a) the hierarchical construction of a matrix block partition, and (b) the blockwise approximation of matrix data by low rank matrices. In this paper, we develop a new approach to construct the necessary partition based on domain decomposition. Compared to standard geometric bisection based -matrices, this new approach yields -LU factorizations of finite element stiffness matrices with significantly improved storage and computational complexity requirements. These rigorously proven and numerically verified improvements result from an -matrix block structure which is naturally suited for parallelization and in which large subblocks of the stiffness matrix remain zero in an LU factorization. We provide numerical results in which a domain decomposition based -LU factorization is used as a preconditioner in the iterative solution of the discrete (three-dimensional) convection-diffusion equation. This work was supported in part by the US Department of Energy under Grant No. DE-FG02-04ER25649 and by the National Science Foundation under grant No. DMS-0408950.     

Embedding some Riemann surfaces into $${\mathbb {C}^2}$$ with interpolation

We prove that several types of open Riemann surfaces, including the finitely connected planar domains, embed properly into such that the values on any given discrete sequence can be arbitrarily prescribed. Kutzschebauch supported by Schweizerische Nationalfonds grant 200021-107477/1.     

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.     

Equivariant gluing constructions of contact stationary Legendrian submanifolds in $${\mathbb {S}^{2n+1}}$$

A contact-stationary Legendrian submanifold of is a Legendrian submanifold whose volume is stationary under contact deformations. The simplest contact-stationary Legendrian submanifold (actually minimal Legendrian) is the real, equatorial n-sphere S ₀. This paper develops a method for constructing contact-stationary (but not minimal) Legendrian submanifolds of by gluing together configurations of sufficiently many many U(n + 1)-rotated copies of S ₀. Two examples of the construction, corresponding to finite cyclic subgroups of U(n + 1) are given. The resulting submanifolds are very symmetric; are geometrically akin to a ‘necklace’ of copies of S ₀ attached to each other by narrow necks and winding a large number of times around before closing up on themselves; and are topologically equivalent to .     

Examples of scalar-flat hypersurfaces in $${\mathbb{R}^{n+1}}$$

Given a hypersurface M of null scalar curvature in the unit sphere , n ≥ 4, such that its second fundamental form has rank greater than 2, we construct a singular scalar-flat hypersurface in as a normal graph over a truncated cone generated by M. Furthermore, this graph is 1-stable if the cone is strictly 1-stable.     

Intersecting subvarieties of $${G_m^n}$$ with algebraic subgroups

Let be an irreducible closed subvariety defined over . We bound the height of algebraic points on X that are in a certain sense close to the union of all algebraic subgroup of of dimension m < n/dim X. The bound we obtain is effective and will be expressed as a function of the height of X, the degree of X, and n. We then apply this bound to derive certain finiteness results if m is also strictly less than n − dim X.     

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.     

Pro-p groups of rank 3 and the question of Iwasawa

For a prime p > 3 we determine all pro-p groups that satisfy d(G) = d(H) = 3 for all open subgroups H of G. Received: 29 July 2008     

A new family of maximal curves over a finite field

It has been known for a long time that the Deligne–Lusztig curves associated to the algebraic groups of type and defined over the finite field all have the maximum number of -rational points allowed by the Weil “explicit formulas”, and that these curves are -maximal curves over infinitely many algebraic extensions of . Serre showed that an -rational curve which is -covered by an -maximal curve is also -maximal. This has posed the problem of the existence of -maximal curves other than the Deligne–Lusztig curves and their -subcovers, see for instance Garcia (On curves with many rational points over finite fields. In: Finite Fields with Applications to Coding Theory, Cryptography and Related Areas, pp. 152–163. Springer, Berlin, 2002) and Garcia and Stichtenoth (A maximal curve which is not a Galois subcover of the Hermitan curve. Bull. Braz. Math. Soc. (N.S.) 37, 139–152, 2006). In this paper, a positive answer to this problem is obtained. For every q = n ³ with n = p ^r  > 2, p ≥ 2 prime, we give a simple, explicit construction of an -maximal curve that is not -covered by any -maximal Deligne–Lusztig curve. Furthermore, the -automorphism group Aut has size n ³(n ³ + 1)(n ² − 1)(n ² − n + 1). Interestingly, has a very large -automorphism group with respect to its genus . Research supported by the Italian Ministry MURST, Strutture geometriche, combinatoria e loro applicazioni, PRIN 2006–2007.