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'.

     

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 .

     

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.

     

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 .

     

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 .

     

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 .

     

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.

     

Uncorrelatedness and orthogonality for vector-valued processes

For a square integrable vector-valued process on the Loeb product space, it is shown that vector orthogonality is almost equivalent to componentwise scalar orthogonality. Various characterizations of almost sure uncorrelatedness for are presented. The process is also related to multilinear forms on the target Hilbert space. Finally, a general structure result for involving the biorthogonal representation for the conditional expectation of with respect to the usual product -algebra is presented.

     

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 .

     

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 .

     

Dialgebra cohomology as a G-algebra

It is well known that the Hochschild cohomology of an associative algebra admits a G-algebra structure. In this paper we show that the dialgebra cohomology of an associative dialgebra has a similar structure, which is induced from a homotopy G-algebra structure on the dialgebra cochain complex .

     

Rationality, regularity, and -cofiniteness

We demonstrate that, for vertex operator algebras of CFT type, -cofiniteness and rationality is equivalent to regularity. For -cofinite vertex operator algebras, we show that irreducible weak modules are ordinary modules and -cofinite, is -cofinite, and the fusion rules are finite.

     

Hardy inequalities with optimal constants and remainder terms

We show that the classical Hardy inequalities with optimal constants in the Sobolev spaces and in higher-order Sobolev spaces on a bounded domain can be refined by adding remainder terms which involve norms. In the higher-order case further norms with lower-order singular weights arise. The case being more involved requires a different technique and is developed only in the space .

     

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.

     

Fundamental solutions for non-divergence form operators on stratified groups

We construct the fundamental solutions and for the non-divergence form operators and , where the 's are Hörmander vector fields generating a stratified group and is a positive-definite matrix with Hölder continuous entries. We also provide Gaussian estimates of and its derivatives and some results for the relevant Cauchy problem. Suitable long-time estimates of allow us to construct using both -saturation and approximation arguments.

     

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.

     

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 .

     

Maps between non-commutative spaces

Let be a graded ideal in a not necessarily commutative graded -algebra in which for all . We show that the map induces a closed immersion between the non-commutative projective spaces with homogeneous coordinate rings and . We also examine two other kinds of maps between non-commutative spaces. First, a homomorphism between not necessarily commutative -graded rings induces an affine map from a non-empty open subspace . Second, if is a right noetherian connected graded algebra (not necessarily generated in degree one), and is a Veronese subalgebra of , there is a map ; we identify open subspaces on which this map is an isomorphism. Applying these general results when is (a quotient of) a weighted polynomial ring produces a non-commutative resolution of (a closed subscheme of) a weighted projective space.

     

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.