On Diophantine definability and decidability in some infinite totally real extensions of

Let be a number field, and a set of its non-Archimedean primes. Then let . Let be a finite set of prime numbers. Let be the field generated by all the -th roots of unity as and . Let be the largest totally real subfield of . Then for any 0$">, there exist a number field , and a set of non-Archimedean primes of such that has density greater than , and has a Diophantine definition over the integral closure of in .

     

Semi-linear homology -spheres and their equivariant inertia groups

This paper introduces an abelian group for all semi-linear homology -spheres, which corresponds to a known abelian group for all semi-linear homotopy -spheres, where is a compact Lie group and is a -representation with 0$">. Then using equivariant surgery techniques, we study the relation between both and when is finite. The main result is that under the conditions that -action is semi-free and with 0$">, the homomorphism defined by is an isomorphism if , and a monomorphism if . This is an equivariant analog of a well-known result in differential topology. Such a result is also applied to the equivariant inertia groups of semi-linear homology -spheres.

     

How to do a -descent on an elliptic curve

In this paper, we describe an algorithm that reduces the computation of the (full) -Selmer group of an elliptic curve over a number field to standard number field computations such as determining the (-torsion of) the -class group and a basis of the -units modulo th powers for a suitable set of primes. In particular, we give a result reducing this set of `bad primes' to a very small set, which in many cases only contains the primes above . As of today, this provides a feasible algorithm for performing a full -descent on an elliptic curve over , but the range of our algorithm will certainly be enlarged by future improvements in computational algebraic number theory. When the Galois module structure of is favorable, simplifications are possible and -descents for larger are accessible even today. To demonstrate how the method works, several worked examples are included.

     

The cohomology of certain Hopf algebras associated with -groups

We study the cohomology of a locally finite, connected, cocommutative Hopf algebra over . Specifically, we are interested in those algebras for which is generated as an algebra by and . We shall call such algebras semi-Koszul. Given a central extension of Hopf algebras with monogenic and semi-Koszul, we use the Cartan-Eilenberg spectral sequence and algebraic Steenrod operations to determine conditions for to be semi-Koszul. Special attention is given to the case in which is the restricted universal enveloping algebra of the Lie algebra obtained from the mod- lower central series of a -group. We show that the algebras arising in this way from extensions by of an abelian -group are semi-Koszul. Explicit calculations are carried out for algebras arising from rank 2 -groups, and it is shown that these are all semi-Koszul for .

     

Koszul homology and extremal properties of Gin and Lex

For every homogeneous ideal in a polynomial ring and for every we consider the Koszul homology with respect to a sequence of of generic linear forms. The Koszul-Betti number is, by definition, the dimension of the degree part of . In characteristic , we show that the Koszul-Betti numbers of any ideal are bounded above by those of the gin-revlex of and also by those of the Lex-segment of . We show that iff is componentwise linear and that and iff is Gotzmann. We also investigate the set of all the gin of and show that the Koszul-Betti numbers of any ideal in are bounded below by those of the gin-revlex of . On the other hand, we present examples showing that in general there is no is such that the Koszul-Betti numbers of any ideal in are bounded above by those of .

     

Finely -harmonic functions of a Markov process

Let be a Borel right process and a fixed excessive measure. Given a finely open nearly Borel set we define an operator which we regard as an extension of the restriction to of the generator of . It maps functions on to (locally) signed measures on not charging -semipolars. Given a locally smooth signed measure we define to be (finely) -harmonic on provided on and denote the class of such by . Under mild conditions on we show that is equivalent to a local ``Poisson' representation of . We characterize by an analog of the mean value property under secondary assumptions. We obtain global Poisson type representations and study the Dirichlet problem for elements of under suitable finiteness hypotheses. The results take their nicest form when specialized to Hunt processes.

     

Symmetrization, symmetric stable processes, and Riesz capacities

Let be a symmetric -stable process killed on exiting an open subset of . We prove a theorem that describes the behavior of its transition probabilities under polarization. We show that this result implies that the probability of hitting a given set in the complement of in the first exit moment from increases when and are polarized. It can also lead to symmetrization theorems for hitting probabilities, Green functions, and Riesz capacities. One such theorem is the following: Among all compact sets in with given volume, the balls have the least -capacity ( ).

     

Chern numbers of ample vector bundles on toric surfaces

This article shows a number of strong inequalities that hold for the Chern numbers , of any ample vector bundle of rank on a smooth toric projective surface, , whose topological Euler characteristic is . One general lower bound for proven in this article has leading term . Using Bogomolov instability, strong lower bounds for are also given. Using the new inequalities, the exceptions to the lower bounds 4e(S)$"> and e(S)$"> are classified.

     

Cartan-decomposition subgroups of

For and , we give explicit, practical conditions that determine whether or not a closed, connected subgroup of has the property that there exists a compact subset of with . To do this, we fix a Cartan decomposition of , and then carry out an approximate calculation of for each closed, connected subgroup of .

     

On restrictions of modular spin representations of symmetric and alternating groups

Let be an algebraically closed field of characteristic and be an almost simple group or a central extension of an almost simple group. An important problem in representation theory is to classify the subgroups of and -modules such that the restriction is irreducible. For example, this problem is a natural part of the program of describing maximal subgroups in finite classical groups. In this paper we investigate the case of the problem where is the Schur's double cover or .

     

On the divergence of the Rogers-Ramanujan continued fraction on the unit circle

This paper studies ordinary and general convergence of the Rogers-Ramanujan continued fraction.

Let the continued fraction expansion of any irrational number be denoted by and let the -th convergent of this continued fraction expansion be denoted by . Let

where . Let . It is shown that if , then the Rogers-Ramanujan continued fraction diverges at . is an uncountable set of measure zero. It is also shown that there is an uncountable set of points such that if , then does not converge generally.

It is further shown that does not converge generally for 1$">. However we show that does converge generally if is a primitive -th root of unity, for some . Combining this result with a theorem of I. Schur then gives that the continued fraction converges generally at all roots of unity.

     

Analysing finite locally -arc transitive graphs

We present a new approach to analysing finite graphs which admit a vertex intransitive group of automorphisms and are either locally -arc transitive for or -locally primitive. Such graphs are bipartite with the two parts of the bipartition being the orbits of . Given a normal subgroup which is intransitive on both parts of the bipartition, we show that taking quotients with respect to the orbits of preserves both local primitivity and local -arc transitivity and leads us to study graphs where acts faithfully on both orbits and quasiprimitively on at least one. We determine the possible quasiprimitive types for in these two cases and give new constructions of examples for each possible type. The analysis raises several open problems which are discussed in the final section.

     

The geometry of profinite graphs with applications to free groups and finite monoids

We initiate the study of the class of profinite graphs defined by the following geometric property: for any two vertices and of , there is a (unique) smallest connected profinite subgraph of containing them; such graphs are called tree-like. Profinite trees in the sense of Gildenhuys and Ribes are tree-like, but the converse is not true. A profinite group is then said to be dendral if it has a tree-like Cayley graph with respect to some generating set; a Bass-Serre type characterization of dendral groups is provided. Also, such groups (including free profinite groups) are shown to enjoy a certain small cancellation condition.

We define a pseudovariety of groups to be arboreous if all finitely generated free pro- groups are dendral (with respect to a free generating set). Our motivation for studying such pseudovarieties of groups is to answer several open questions in the theory of profinite topologies and the theory of finite monoids. We prove, for arboreous pseudovarieties , a pro- analog of the Ribes and Zalesski product theorem for the profinite topology on a free group. Also, arboreous pseudovarieties are characterized as precisely the solutions to the much studied pseudovariety equation .

     

An index for gauge-invariant operators and the Dixmier-Douady invariant

Let be a bundle of compact Lie groups acting on a fiber bundle . In this paper we introduce and study gauge-equivariant -theory groups . These groups satisfy the usual properties of the equivariant -theory groups, but also some new phenomena arise due to the topological non-triviality of the bundle . As an application, we define a gauge-equivariant index for a family of elliptic operators invariant with respect to the action of , which, in this approach, is an element of . We then give another definition of the gauge-equivariant index as an element of , the -theory group of the Banach algebra . We prove that and that the two definitions of the gauge-equivariant index are equivalent. The algebra is the algebra of continuous sections of a certain field of -algebras with non-trivial Dixmier-Douady invariant. The gauge-equivariant -theory groups are thus examples of twisted -theory groups, which have recently turned out to be useful in the study of Ramond-Ramond fields.

     

Spinors as automorphisms of the tangent bundle

We show that, on a -manifold endowed with a -structure induced by an almost-complex structure, a self-dual (positive) spinor field is the same as a bundle morphism acting on the fiber by self-dual conformal transformations, such that the Clifford multiplication is just the evaluation of on tangent vectors, and that the squaring map acts by pulling-back the fundamental form of the almost-complex structure. We use this to detect Kähler and symplectic structures.

     

A new variational characterization of -dimensional space forms

A Riemannian manifold is associated with a Schouten -tensor which is a naturally defined Codazzi tensor in case is a locally conformally flat Riemannian manifold. In this paper, we study the Riemannian functional defined on , where is the space of smooth Riemannian metrics on a compact smooth manifold and is the elementary symmetric functions of the eigenvalues of with respect to . We prove that if and a conformally flat metric is a critical point of with , then must have constant sectional curvature. This is a generalization of Gursky and Viaclovsky's very recent theorem that the critical point of with characterized the three-dimensional space forms.

     

Asymptotic relations among Fourier coefficients of automorphic eigenfunctions

A detailed stationary phase analysis is presented for noncompact parameter ranges of the family of elementary eigenfunctions on the hyperbolic plane , , the eigenvalue, and the Macdonald-Bessel function. The phase velocity of on is a double-valued vector field, the tangent field to the pencil of geodesics tangent to the horocycle . For a multi-term stationary phase expansion is presented in for uniform in parameters. An application is made to find an asymptotic relation for the Fourier coefficients of a family of automorphic eigenfunctions. In particular, for automorphic with coefficients and eigenvalue it is shown for the special range that is for large, improving by an order of magnitude for this special range upon the estimate from the general Hecke bound . An exposition of the WKB asymptotics of the Macdonald-Bessel functions is presented.

     

Ideals of the cohomology rings of Hilbert schemes and their applications

We study the ideals of the rational cohomology ring of the Hilbert scheme of points on a smooth projective surface . As an application, for a large class of smooth quasi-projective surfaces , we show that every cup product structure constant of is independent of ; moreover, we obtain two sets of ring generators for the cohomology ring .

Similar results are established for the Chen-Ruan orbifold cohomology ring of the symmetric product. In particular, we prove a ring isomorphism between and for a large class of smooth quasi-projective surfaces with numerically trivial canonical class.

     

Positive laws in fixed points

Let be an elementary abelian group of order at least acting on a finite -group in such a manner that satisfies a positive law of degree for any . It is proved that the entire group satisfies a positive law of degree bounded by a function of and only.

     

Lattice invariants and the center of the generic division ring

Let be a finite group, let be a -lattice, and let be a field of characteristic zero containing primitive roots of 1. Let be the quotient field of the group algebra of the abelian group . It is well known that if is quasi-permutation and -faithful, then is stably equivalent to . Let be the center of the division ring of generic matrices over . Let be the symmetric group on symbols. Let be a prime. We show that there exist a split group extension of by a -elementary group, a -faithful quasi-permutation -lattice , and a one-cocycle in such that is stably isomorphic to . This represents a reduction of the problem since we have a quasi-permutation action; however, the twist introduces a new level of complexity. The second result, which is a consequence of the first, is that, if is algebraically closed, there is a group extension of by an abelian -group such that is stably equivalent to the invariants of the Noether setting .