MathSciDoc: An Archive for Mathematician ∫

We show that if X is a cocompact G-CW-complex such that each isotropy subgroup Gσ is L(2)-good over an arbitrary commutative ring k, then X satisfies some fixed-point formula which is an L(2)-analogue of Brown’s formula in 1982. Using this result we present a fixed point formula for a cocompact proper G-CW-complex which relates the equivariant L(2)-Euler characteristic of a fixed point CW-complex Xs and the Euler characteristic of X/G. As corollaries, we prove Atiyah’s theorem in 1976, Akita’s formula in 1999 and a result of Chatterji-Mislin in 2009. We also show that if X is a free G-CW-complex such that C∗(X) is chain homotopy equivalent to a chain complex of finitely generated projective Zπ1(X)-modules of finite length and X satisfies some fixed-point formula over Q or C which is an L(2)-analogue of Brown’s formula, then χ(X/G)=χ(2)(X). As an application, we prove that the weak Bass conjecture holds for any finitely presented group G satisfying the following condition: for any finitely dominated CW-complex Y with π1(Y )=G, Y satisfies some fixed-point formula over Q or C which is an L(2)-analogue of Brown’s formula.

We show that if X is a uniformly perfect complete metric space satisfying the finite doubling property, then there exists a fully supported measure with lower regularity dimension as close to the lower dimension of X as we wish. Furthermore, we show that, under the condensation open set condition, the lower dimension of an inhomogeneous self-similar set EC coincides with the lower dimension of the condensation set C, while the Assouad dimension of EC is the maximum of the Assouad dimensions of the corresponding self-similar set E and the condensation set C. If the Assouad dimension of C is strictly smaller than the Assouad dimension of E, then the upper regularity dimension of any measure supported on EC is strictly larger than the Assouad dimension of EC. Surprisingly, the corresponding statement for the lower regularity dimension fails. 1

What is the shape of a uniformly massive object that generates a gravitational potential equivalent to that of two equal point-masses? If the weight of each point-mass is sufficiently small compared to the distance between the points then the answer is a pair of balls of equal radius, one centered at each of the two points, but otherwise it is a certain domain of revolution about the axis passing through the two points. The existence and uniqueness of such a domain is known, but an explicit parameterization is known only in the plane where the region is referred to as a Neumann oval. We construct a four-dimensional “Neumann ovaloid”, solving explicitly this inverse potential problem.

We derive an integral representation for Herglotz-Nevanlinna functions in two variables, which provides a complete characterization of this class in terms of a real number, two non-negative numbers and a positive measure satisfying certain conditions. Further properties of the class of representing measures are also discussed.

Let F :RN→RN be a locally Lipschitz continuous function. We prove that F is a global homeomorphism or only injective, under suitable assumptions on the subdifferential ∂F(x). We use variational methods, nonsmooth inverse function theorem and extensions of the Hadamard-Levy Theorem. We also address questions on the Markus-Yamabe conjecture.

We extend a recent result of Avelin, Hed, and Persson about approximation of functions f that are plurisubharmonic on a domain Ω and continuous on ˙Ω, with functions that are plurisubharmonic on (shrinking) neighborhoods of ˙Ω. We show that such approximation is possible if the boundary of Ω is C0 outside a countable exceptional set E⊂∂Ω. In particular, approximation is possible on the Hartogs triangle. For Hölder continuous u, approximation is possible under less restrictive conditions on E. We next give examples of domains where this kind of approximation is not possible, even when approximation in the Hölder continuous case is possible.

This paper is devoted to a functional analytic approach to the subelliptic oblique derivative problem for the usual Laplacian with a complex parameter λ. We solve the long-standing open problem of the asymptotic eigenvalue distribution for the homogeneous oblique derivative problem when |λ| tends to ∞. We prove the spectral properties of the closed realization of the Laplacian similar to the elliptic (non-degenerate) case. In the proof we make use of Boutet de Monvel calculus in order to study the resolvents and their adjoints in the framework of L2 Sobolev spaces.

It is known that if the special automorphism group SAut(X) of a quasiaffine variety X of dimension at least 2 acts transitively on X, then this action is infinitely transitive. In this paper we question whether this is the only possibility for the automorphism group Aut(X) to act infinitely transitively on X. We show that this is the case, provided X admits a nontrivial Ga or Gm-action. Moreover, 2-transitivity of the automorphism group implies infinite transitivity.

We study the classes of modules which are generated by a silting module. In the case of either hereditary or perfect rings, it is proved that these are exactly the torsion T such that the regular module has a special T-preenvelope. In particular, every torsion-enveloping class in Mod-R are of the form Gen(T) for a minimal silting module T. For the dual case, we obtain for general rings that the covering torsion-free classes of modules are exactly the classes of the form Cogen(T), where T is a cosilting module.

We study analytic integrable deformations of the germ of a holomorphic foliation given by df=0 at the origin 0∈Cn,n≥3. We consider the case where f is a germ of an irreducible and reduced holomorphic function. Our central hypotheses is that, outside of a dimension ≤n−3 analytic subset Y⊂X, the analytic hypersurface Xf:(f=0) has only normal crossings singularities. We then prove that, as germs, such deformations also exhibit a holomorphic first integral, depending analytically on the parameter of the deformation. This applies to the study of integrable germs writing as ω=df+fη where f is quasi-homogeneous. Under the same hypotheses for Xf:(f=0) we prove that ω also admits a holomorphic first integral. Finally, we conclude that an integrable germ ω=adf+fη admits a holomorphic first integral provided that: (i) Xf:(f=0) is irreducible with an isolated singularity at the origin 0∈Cn,n≥3; (ii) the algebraic multiplicities of ω and f at the origin satisfy ν(ω)=ν(df). In the case of an isolated singularity for (f=0) the writing ω=adf+fη is always assured so that we conclude the existence of a holomorphic first integral. Some questions related to Relative Cohomology are naturally considered and not all of them answered.