Regular<Emphasis Type="Italic">n</Emphasis>-simplices in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> with vertices in ℤ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper theI andII regularn-simplices are introduced. We prove that the sufficient and necessary conditions for existence of anI regularn-simplex in ℝ ⁿ are that ifn is even thenn = 4m(m + 1), and ifn is odd thenn = 4m + 1 with thatn + 1 can be expressed as a sum of two integral squares orn = 4m - 1, and that the sufficient and necessary condition for existence of aII regularn-simplex in ℝ ⁿ isn = 2m ² - 1 orn = 4m(m + 1)(m ∈ ℕ). The connection between regularn-simplex in ℝ ⁿ and combinational design is given.     

<Emphasis Type="Italic">C</Emphasis><Superscript>1+<Emphasis Type="Italic">α</Emphasis></Superscript>-Regularity for Two-Dimensional Almost-Minimal Sets in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We give a new proof and a partial generalization of Jean Taylor’s result (Ann. Math. (2) 103(3), 489–539, 1976) that says that Almgren almost-minimal sets of dimension 2 in ℝ³ are locally C ^1+α -equivalent to minimal cones. The proof is rather elementary, but uses a local separation result proved in Ann. Fac. Sci. Toulouse 18(1), 65–246, 2009 and an extension of Reifenberg’s parameterization theorem (David et al. in Geom. Funct. Anal. 18, 1168–1235, 2008). The key idea is still that if X is the cone over an arc of small Lipschitz graph in the unit sphere, but X is not contained in a disk, we can use the graph of a harmonic function to deform X and substantially diminish its area. The local separation result is used to reduce to unions of cones over arcs of Lipschitz graphs. A good part of the proof extends to minimal sets of dimension 2 in ℝ ⁿ , but in this setting our final regularity result on E may depend on the list of minimal cones obtained as blow-up limits of E at a point.     

Free involutions on <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Topological free involutions on S ¹ × S ⁿ are classified up to conjugation. We prove that this is the same as classifying quotient manifolds up to homeomorphism. There are exactly four possible homotopy types of such quotients, and surgery theory is used to classify all manifolds within each homotopy type.     

Difference sets with <Emphasis Type="Italic">n</Emphasis> = 5<Emphasis Type="Italic"> p</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript>

Let D be a (v, k, λ)-difference set in an abelian group G, and (v, 31) = 1. If n = 5p ^r with p a prime not dividing v and r a positive integer, then p is a multiplier of D. In the case 31|v, we get restrictions on the parameters of such difference sets D for which p may not be a multiplier.      

The index of semielliptic operators in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

The paper investigates the index of some linear, differential, semielliptic operators with variable coefficients of a special form in ? ⁿ . In particular, additional conditions on the symbol are found that render the index finite. The operators are considered in the weighted Sobolev spaces.     

The smooth structure set of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>

We calculate \({\mathcal{S}^{{\it Diff}}(S^p \times S^q)}\), the smooth structure set of S ^p × S ^q , for p, q ≥ 2 and p + q ≥ 5. As a consequence we show that in general \({\mathcal{S}^{Diff}(S^{4j-1}\times S^{4k})}\) cannot admit a group structure such that the smooth surgery exact sequence is a long exact sequence of groups. We also show that the image of the forgetful map \({\mathcal{S}^{Diff}(S^{4j}\times S^{4k}) \rightarrow \mathcal{S}^{Top}(S^{4j}\times S^{4k})}\) is not in general a subgroup of the topological structure set.     

Tight Lagrangian surfaces in <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

We determine all tight Lagrangian surfaces in S ² × S ². In particular, globally tight Lagrangian surfaces in S ² × S ² are nothing but real forms of this symmetric space.     

Asymptotic purity for very general hypersurfaces of ℙ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> × ℙ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> of bidegree (<Emphasis Type="Italic">k,k</Emphasis>)

For a complex irreducible projective variety, the volume function and the higher asymptotic cohomological functions have proven to be useful in understanding the positivity of divisors as well as other geometric properties of the variety. In this paper, we study the vanishing properties of these functions on hypersurfaces of ℙ ⁿ × ℙ ⁿ . In particular, we show that very general hypersurfaces of bidegree (k, k) obey a very strong vanishing property, which we define as asymptotic purity: at most one asymptotic cohomological function is nonzero for each divisor. This provides evidence for the truth of a conjecture of Bogomolov and also suggests some general conditions for asymptotic purity.     

On Hamiltonian-Minimal Isotropic Homogeneous Tori in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> and ℂP<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We study isotropic homogeneous tori in ?ⁿ and ?Pⁿ. We find necessary and sufficient conditions for their Hamiltonian minimality.     

On Solvability of Regular Hypoelliptic Equations in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper the unique solvability of regular hypoelliptic equations in multianisotropic weighted functional spaces is proved by means of special integral representation of functions through a regular operator. The existence of the solutions is proved by constructing approximate solutions using multianisotropic integral operators.     

Cycles in <Emphasis Type="Italic">G</Emphasis>-orbits in <Emphasis Type="Italic">G</Emphasis><Superscript><Emphasis Type="Italic">ℂ</Emphasis></Superscript>-flag manifolds

There is a natural duality between orbits of a real form G of a complex semisimple group G on a homogeneous rational manifold Z=G /P and those of the complexification K of any of its maximal compact subgroups K: (,) is a dual pair if is a K-orbit. The cycle space C() is defined to be the connected component containing the identity of the interior of {g:g() is non-empty and compact}. Using methods which were recently developed for the case of open G-orbits, geometric properties of cycles are proved, and it is shown that C() is contained in a domain defined by incidence geometry. In the non-Hermitian case this is a key ingredient for proving that C() is a certain explicitly computable universal domain.Research of the first author partially supported by Schwerpunkt Global methods in complex geometry and SFB-237 of the Deutsche Forschungsgemeinschaft.The second author was supported by a stipend of the Deutsche Akademische Austauschdienst.     

A Jenkins-Serrin theorem in <Emphasis Type="Italic">M</Emphasis><Superscript>2</Superscript> × ℝ

In this paper we study minimal surfaces in M × ℝ, where M is a complete surface. Our main result is a Jenkins-Serrin type theorem which establishes necessary and sufficient conditions for the existence of certain minimal vertical graphs in M × ℝ. We also prove that there exists a unique solution of the Plateau’s problem in M × ℝ whoseboundaryisaNitschegraphandweconstructaScherk-typesurfaceinthisspace. Thanks to CNPq Agency for financial support.     

Kinetic Spanners in ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

We present a new (1+ε)-spanner for sets of n points in ℝ ^d . Our spanner has size O(n/ε ^d−1) and maximum degree O(log  ^d n). The main advantage of our spanner is that it can be maintained efficiently as the points move: Assuming that the trajectories of the points can be described by bounded-degree polynomials, the number of topological changes to the spanner is O(n ²/ε ^d−1), and using a supporting data structure of size O(nlog  ^d n), we can handle events in time O(log  ^d+1 n). Moreover, the spanner can be updated in time O(log n) if the flight plan of a point changes. This is the first kinetic spanner for points in ℝ ^d whose performance does not depend on the spread of the point set.     

Factorization properties of (<Emphasis Type="Italic">n</Emphasis> × <Emphasis Type="Italic">n</Emphasis>) Boolean matrices

It is proved that every (n × n) Boolean matrix can be expressed as a product of primes and elementary matrices in the semigroup of Boolean matrices.     

Quantization of curvature for compact surfaces in <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n⋆</Emphasis></Superscript>

For minimal surfaces in spheres, there is a well known conjecture about the quantization of intrinsic curvature which has been solved only in special cases so far. We recall an intrinsic and an extrinsic version for the known results and extend them to compact non-minimal surfaces in spheres. In particular we discuss special classes like Willmore surfaces and surfaces with parallel mean curvature vector. Mathematics Subject Classification (2000):53C42, 53A10.H.Li is partially supported by a research fellowship of the Alexander von Humboldt Stiftung 2001/2002 and the Zhongdian grant of NSFC. U. Simon is partially supported by DFG 163/Si-7-2 and a Chinese–German research cooperation of NSFC and DFG.     

On 2 – (<Emphasis Type="Italic">n</Emphasis><Superscript>2</Superscript>, 2<Emphasis Type="Italic">n</Emphasis>, 2<Emphasis Type="Italic">n</Emphasis>–1) designs with three intersection numbers

The simple incidence structure , formed by the points and the unordered pairs of distinct parallel lines of a finite affine plane of order n > 4, is a 2 – (n ²,2n,2n–1) design with intersection numbers 0,4,n. In this paper, we show that the converse is true, when n ≥ 5 is an odd integer. Supported by M.I.U.R., Università di Palermo.     

Riemannian metrics on ℝ<Superscript> <Emphasis Type="Italic">n</Emphasis> </Superscript> and Sobolev-type Inequalities

Poincaré-type estimates for a logarithmically concave measure μ on a convex set Ω are obtained. For this purpose, Ω is endowed with a Riemannian metric g in which the Riemannian manifold with measure (Ω, g, μ) has nonnegative Bakry–Emery tensor and, as a corollary, satisfies the Brascamp–Lieb inequality. Several natural classes of metrics (such as Hessian and conformal metrics) are considered; each of these metrics gives new weighted Poincare, Hardy, or log-Sobolev type inequalities and other results.     

Dual Complexes of Cubical Subdivisions of ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We use a distortion to define the dual complex of a cubical subdivision of ℝ ⁿ as an n-dimensional subcomplex of the nerve of the set of n-cubes. Motivated by the topological analysis of high-dimensional digital image data, we consider such subdivisions defined by generalizations of quad- and oct-trees to n dimensions. Assuming the subdivision is balanced, we show that mapping each vertex to the center of the corresponding n-cube gives a geometric realization of the dual complex in ℝ ⁿ .     

The hot spots conjecture on a class of domains in <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> with <Emphasis Type="Italic">n</Emphasis> ⩾ 3

In this paper, we define a class of domains in R ⁿ . Using the synchronous coupling of reflecting Brownian motion, we obtain the monotonicity property of the solution of the heat equation with the Neumann boundary conditions. We then show that the hot spots conjecture holds for this class of domains.     

Complete hypersurfaces with constant laguerre scalar curvature in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let x: M ^n?1 → R ⁿ be an umbilical free hypersurface with non-zero principal curvatures. Two basic invariants of M under the Laguerre transformation group of R ⁿ are Laguerre form C and Laguerre tensor L. In this paper, n > 3) complete hypersurface with vanishing Laguerre form and with constant Laguerre scalar curvature R in R ⁿ , denote the trace-free Laguerre tensor by ?\(\widetilde L = L - \frac{1}{{n - 1}}tr\left( L \right)\) · Id. If \(\widetilde L = L - \frac{1}{{n - 1}}tr\left( L \right)\), then M is Laguerre equivalent to a Laguerre isotropic hypersurface; and if \({\sup _M}\left\| {\widetilde L} \right\| = \frac{{\sqrt {\left( {n - 1} \right)\left( {n - 2} \right)} R}}{{\left( {n - 1} \right)\left( {n - 2} \right)\left( {n - 3} \right)}},\), M is Laguerre equivalent to the hypersurface ?x: H ¹ × S ^n?2 → R ⁿ .