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.

     

Asymptotic behavior of the solutions of linear and quasilinear elliptic equations on

We investigate the relationship between the decay at infinity of the right-hand side and solutions of an equation when is a second order elliptic operator on It is shown that when is Fredholm, inherits the type of decay of (for instance, exponential, or power-like). In particular, the generalized eigenfunctions associated with all the Fredholm eigenvalues of isolated or not, decay exponentially. No use is made of spectral theory. The result is next extended when is replaced by a Fredholm quasilinear operator. Various generalizations to other unbounded domains, higher order operators or elliptic systems are possible and briefly alluded to, but not discussed in detail.

     

Newton polyhedra, unstable faces and the poles of Igusa's local zeta function

In this paper we examine when the order of a pole of Igusa's local zeta function associated to a polynomial is smaller than ``expected'. We carry out this study in the case that is sufficiently non-degenerate with respect to its Newton polyhedron , and the main result of this paper is a proof of one of the conjectures of Denef and Sargos. Our technique consists in reducing our question about the polynomial to the same question about polynomials , where are faces of depending on the examined pole and is obtained from by throwing away all monomials of whose exponents do not belong to . Secondly, we obtain a formula for Igusa's local zeta function associated to a polynomial , with unstable, which shows that, in this case, the upperbound for the order of the examined pole is obviously smaller than ``expected'.

     

The periodic isoperimetric problem

Given a discrete group of isometries of , we study the -isoperimetric problem, which consists of minimizing area (modulo ) among surfaces in which enclose a -invariant region with a prescribed volume fraction. If is a line group, we prove that solutions are either families of round spheres or right cylinders. In the doubly periodic case we prove that for most rank two lattices, solutions must be spheres, cylinders or planes. For the remaining rank two lattices we show, among other results, an isoperimetric inequality in terms of the topology of the isoperimetric surfaces. Finally, we study the case where (the group of symmetries of the integer rank three lattice ) and other crystallographic groups of cubic type. We prove that isoperimetric solutions must be spheres if the prescribed volume fraction is less than , and we give an isoperimetric inequality for -invariant regions that, for instance, implies that the area (modulo ) of a surface dividing the three space in two -invariant regions with equal volume fractions, is at least (the conjectured solution is the classical Schwarz triply periodic minimal surface whose area is ). Another consequence of this isoperimetric inequality is that -symmetric surfaces (other than families of spheres) cannot be isoperimetric for the lattice group .

     

Uniqueness of varieties of minimal degree containing a given scheme

We prove that if has dimension and it is -Buchsbaum with \max{(\operatorname{codim}{X}-k,0)}$">, then is contained in at most one variety of minimal degree and dimension .

     

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 .

     

Gromov translation algebras over discrete trees are exchange rings

It is shown that the Gromov translation ring of a discrete tree over a von Neumann regular ring is an exchange ring. This provides a new source of exchange rings, including, for example, the algebras of matrices (over a field) of constant bandwidth. An extension of these ideas shows that for all real numbers in the unit interval , the growth algebras (introduced by Hannah and O'Meara in 1993) are exchange rings. Consequently, over a countable field, countable-dimensional exchange algebras can take any prescribed bandwidth dimension in .

     

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 .

     

Boundary correspondence of Nevanlinna counting functions for self-maps of the unit disc

Let be a holomorphic self-map of the unit disc . For every , there is a measure on (sometimes called Aleksandrov measure) defined by the Poisson representation . Its singular part measures in a natural way the ``affinity' of for the boundary value . The affinity for values inside is provided by the Nevanlinna counting function of . We introduce a natural measure-valued refinement of and establish that the measures are obtained as boundary values of the refined Nevanlinna counting function . More precisely, we prove that is the weak limit of whenever converges to non-tangentially outside a small exceptional set . We obtain a sharp estimate for the size of in the sense of capacity.

     

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.

     

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.

     

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 .

     

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 ( ).

     

Sums of squares in real rings

Let be an excellent ring. We show that if the real dimension of is at least three then has infinite Pythagoras number, and there exists a positive semidefinite element in which is not a sum of squares in .

     

Nonlinearizable actions of dihedral groups on affine space

Let be a reductive, non-abelian, algebraic group defined over . We investigate algebraic -actions on the total spaces of non-trivial algebraic -vector bundles over -modules with great interest in the case that is a dihedral group. We construct a map classifying such actions of a dihedral group in some cases and describe the spaces of those non-linearizable actions in some examples.

     

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 .

     

Non-isotopic symplectic tori in the same homology class

For any pair of integers and , we construct an infinite family of mutually non-isotopic symplectic tori representing the homology class of an elliptic surface , where is the homology class of the fiber. We also show how such families can be non-isotopically and symplectically embedded into a more general class of symplectic -manifolds.

     

Complete hyperelliptic integrals of the first kind and their non-oscillation

Let be a real polynomial of degree , and be an oval contained in the level set . We study complete Abelian integrals of the form

where are real and is a maximal open interval on which a continuous family of ovals exists. We show that the -dimensional real vector space of these integrals is not Chebyshev in general: for any 1$">, there are hyperelliptic Hamiltonians and continuous families of ovals , , such that the Abelian integral can have at least zeros in . Our main result is Theorem 1 in which we show that when , exceptional families of ovals exist, such that the corresponding vector space is still Chebyshev.