On the measurability of the conic sections’ family in the projective space<Emphasis FontCategory="NonProportional">P</Emphasis><Subscript>3</Subscript><Subscript>3</Subscript>

In this paper we prove that the non degenerate conic sections’ family in the projective spaceP ₃ is measurable.     

On the isoperimetric problem in the Heisenberg group ℍ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

It has been recently conjectured that, in the context of the Heisenberg group ℍⁿ endowed with its Carnot–Carathéodory metric and Haar measure, the isoperimetric sets (i.e., minimizers of the ℍ-perimeter among sets of constant Haar measure) could coincide with the solutions to a “restricted” isoperimetric problem within the class of sets having finite perimeter, smooth boundary, and cylindrical symmetry. In this paper, we derive new properties of these restricted isoperimetric sets, which we call Heisenberg bubbles. In particular, we show that their boundary has constant mean ℍ-curvature and, quite surprisingly, that it is foliated by the family of minimal geodesics connecting two special points. In view of a possible strategy for proving that Heisenberg bubbles are actually isoperimetric among the whole class of measurable subsets of ℍⁿ, we turn our attention to the relationship between volume, perimeter, and ε-enlargements. In particular, we prove a Brunn–Minkowski inequality with topological exponent as well as the fact that the ℍ-perimeter of a bounded, open set F⊂ℍⁿ of class C² can be computed via a generalized Minkowski content, defined by means of any bounded set whose horizontal projection is the 2n-dimensional unit disc. Some consequences of these properties are discussed. Mathematics Subject Classification (2000) 28A75, 22E25, 49Q20     

On the definition of the Monge-Ampère operator in ℂ<Superscript>2</Superscript>

We show that if u is a plurisubharmonic function defined on an open subset of ² then the Monge-Ampère measure (dd^cu)² can be well defined if and only if u belongs to the Sobolev space W^1,2_loc().Partially supported by KBN Grant #2 P03A 028 19     

The hypertree poset and the ℓ<Superscript>2</Superscript>-Betti numbers of the motion group of the trivial link

We give explicit formulae for the Euler characteristic and ²-cohomology of the group of motions of the trivial link, or isomorphically the group of free group automorphisms that send each standard generator to a conjugate of itself. The method is primarily combinatorial and ultimately relies on a computation of the Möbius function for the poset of labelled hypertrees.Partially supported by NSF grant no. DMS-0101506Partially supported by an AMS Centennial Research Fellowship     

Convergence of the Law of the Environment Seen by the Particle for Directed Polymers in Random Media in the <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> Region

We consider the model of directed polymers in an i.i.d. Gaussian or bounded environment (Imbrie and Spencer in J. Stat. Phys. 52(3/4), 609–626, 1988; Carmona and Hu in Probab. Theory Relat. Fields 124(3), 431–457, 2002; Comets et al. in Adv. Stud. Pure Math. 39, 115–142, 2004) in the L ² region. We prove the convergence of the law of the environment seen by the particle.     

On the <Emphasis Type="Italic">ω</Emphasis><Subscript>1</Subscript> limits of subsets of the real line

We point out that it is consistent with ZFC that 2 ^ω > ℵ₁ and every subset of ℝ is the ω ₁ limit of a sequence of G _δ sets in ℝ. We prove also that assuming cov ( ) > ℵ₁, not every set in ℝ is the ω ₁ limit of a sequence of measurable sets. This solves two problems of T. Natkaniec and J. Wesołowska.      

Local deformations of branched projective structures: Schiffer variations and the Teichmüller map

For certain K3 surfaces, there are two constructions of mirror symmetry that appear very different. The first, known as BHK mirror symmetry, comes from the Landau–Ginzburg model for the K3 surface; the other, known as LPK3 mirror symmetry, is based on a lattice polarization of the K3 surface in the sense of Dolgachev’s definition. There is a large class of K3 surfaces for which both versions of mirror symmetry apply. In this class we consider the K3 surfaces admitting a certain purely non-symplectic automorphism of order 4, 8, or 12, and we complete the proof that these two formulations of mirror symmetry agree for this class of K3 surfaces.

     

Approximation in <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript> by Partial Integrals of the Multidimensional Fourier Transform over the Eigenfunctions of the Sturm–Liouville Operator

For approximations in the space L₂(?₊ ^d ) by partial integrals of the multidimensional Fourier transform over the eigenfunctions of the Sturm–Liouville operator, we prove the Jackson inequality with sharp constant and optimal argument in the modulus of continuity. The multidimensional weight that defines the Sturm–Liouville operator is the product of onedimensional weights. The one-dimensional weights can be, in particular, power and hyperbolic weights with various parameters. The optimality of the argument in the modulus of continuity is established by means of the multidimensional Gauss quadrature formula over zeros of an eigenfunction of the Sturm–Liouville operator. The obtained results are complete; they generalize a number of known results.     

Approximation in <Emphasis Type="Italic">L</Emphasis> <Subscript>2</Subscript> by partial integrals of the Fourier transform over the eigenfunctions of the Sturm–Liouville operator

For approximations in the space L₂(?₊) by partial integrals of the Fourier transform over the eigenfunctions of the Sturm–Liouville operator, we prove Jackson’s inequality with exact constant and optimal argument in the modulus of continuity. The optimality of the argument in the modulus of continuity is established using the Gauss quadrature formula on the half-line over the zeros of the eigenfunction of the Sturm–Liouville operator.     

On the complexity of the family of convex sets in ℝ<Superscript> <Emphasis Type="Italic">d</Emphasis> </Superscript>

Estimates of quantities characterizing the complexity of the family of convex subsets of the d-dimensional cube [1, n]^d as n→∞ are given. The geometric properties of spaces with norm generated by the generalized majorant of partial sums are studied.     

The sharp Jackson inequality in the space <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript> on the segment [−1, 1] with the power weight

It is proved that there exists an equivariant almost complex structure on any quasitoric manifold that admits a positive omniorientation. This gives an answer to the question raised by M. Davis and T. Januszkiewicz: Find a criterion for the existence of an equivariant almost complex structure on a quasitoric manifold in terms of its characteristic function.     

The narrow class groups of the ℤ<Subscript>17</Subscript>- and ℤ<Subscript>19</Subscript>-extensions over the rational field

Let p be either 17 or 19, let ℤ _p denote the ring of p-adic integers, and let l be a prime number which is a primitive root modulo p ². We shall prove, with the help of a computer, that the l-class group of the ℤ _p -extension over the rational field is trivial. We shall also prove the triviality of the narrow 2-class group of the same ℤ _p -extension.     

On the solvability of the Jeffreys–Oldroyd-<Emphasis Type="Italic">α</Emphasis> model

We prove the existence of dissipative solutions of the Jeffreys–Oldroyd-α model with the use of the topological approximation method for studying hydrodynamic problems.     

Accuracy of approximation in the Poisson theorem in terms of the χ<Superscript>2</Superscript>-distance

We study the limit behavior of the χ²-distance between the distributions of the nth partial sum of independent not necessarily identically distributed Bernoulli random variables and the accompanying Poisson law. As a consequence in the i.i.d. case we make the multiplicative constant preciser in the available upper bound for the rate of convergence in the Poisson limit theorem.     

On the heritability of the property <Emphasis Type="Italic">D</Emphasis><Subscript><Emphasis Type="Italic">π</Emphasis></Subscript> by subgroups

We consider the so-called Jordan-Pochhammer systems, a special class of linear Pfaffian systems of Fuchsian type on complex linear (or projective) spaces. These systems appeared as systems of differential equations for hypergeometric type integrals in which the integrand is a product of powers of linear functions. These systems also arise in some reductions of the Knizhnik-Zamolodchikov equations. The main advantage of these systems is the possibility of presenting a basis in the solution space of such systems in an explicit integral form and, as a consequence, of describing their monodromy representation. The main focus in the paper is placed on the applications of Jordan-Pochhammer systems. We describe the relationship of Jordan-Pochhammer systems to isomonodromic deformations of Fuchsian systems that are described by the Schlesinger equations, as well as to the linearization of the dynamical system of bending spatial polygons. We also describe the application of Jordan-Pochhammer systems to constructing Kohno systems on the Manin-Schechtman configuration spaces.     

A One-Parametric Method for Determining Parameters in the Schwarz–Christoffel Integral

We propose a method for determining parameters in the Schwarz–Christoffel integral. The desired mapping embeds into a one-parametric family of conformal mappings of the upper half-plane onto the family of polygons which was obtained by shifting one or several vertices of some initial polygon with angle preservation. We consider the case when the family of polygons and the initial polygon have the same number of vertices; the case when the family of polygons has two mobile vertices coinciding at the initial moment and not coinciding with other vertices; and the other case that the family of polygons is a polygon with mobile cut. The problem of finding the parameters of a family of mappings is reduced to integrating some system of ordinary differential equations.

     

On the emptiness criteria for the discrete spectrum of the Dirichlet problem for the equation Δ<Emphasis Type="Italic">ν</Emphasis> + λ<Emphasis Type="Italic">ν</Emphasis> = 0

An improved Rellich emptiness criterion is proposed for the discrete spectrum of the Dirichlet problem for the equation Δν + λν = 0. Examples of its application are given.     

Approximation orders of the unit in the <Emphasis Type="Italic">β</Emphasis>-dynamical systems

For any real number β > 1, let S _n (β) be the partial sum of the first n items of the β-expansion of 1. It was known that the approximation order of 1 by S _n (β) is β ^?n for Lebesgue almost all β > 1. We consider the size of the set of β > 1 for which 1 can be approximated with the other orders \({\beta^{-\varphi(n)}}\) , where \({\varphi}\) is a positive function defined on \({\mathbb N}\) . More precisely, the size of the sets

$$\left\{\beta\in \mathfrak{B}:\limsup_{n\rightarrow\infty}\frac{\log_{\beta}(1-S_n(\beta))}{\varphi(n)}=-1\right\}$$

and

$$\left\{\beta\in \mathfrak{B}:\liminf_{n\rightarrow\infty}\frac{\log_{\beta}(1-S_n(\beta))}{\varphi(n)}=-1\right\}$$

are determined, where \({\mathfrak{B}=\{ \beta>1:\beta \text{ is not a simple Parry number}\}}\) .

     

On the Fučík Spectrum of the <Emphasis Type="Italic">p</Emphasis>-Laplacian

We construct and variationally characterize by a min-max procedure an unbounded sequence of continuous and strictly decreasing curves in the Fuík spectrum of the p-Laplacian. Applications to quasilinear elliptic boundary value problems are given.