Wintgen Ideal Surfaces in Four-dimensional Neutral Indefinite Space Form {R^4_2(c)}

For an oriented space-like surface M in a four-dimensional indefinite space form ${R^4_2(c)}$ , there is a Wintgen type inequality; namely, the Gauss curvature K, the normal curvature K ^D and mean curvature vector H of M in ${R^4_2(c)}$ satisfy the general inequality: ${K+K^D \geq \langle H,H \rangle+c}$ . An oriented space-like surface in ${R^4_2(c)}$ is called Wintgen ideal if it satisfies the equality case of the inequality identically. In this paper, we study Wintgen ideal surfaces in ${R^4_2(c)}$ . In particular, we classify Wintgen ideal surfaces in ${R^4_2(c)}$ with constant Gauss and normal curvatures. We also completely classify Wintgen ideal surfaces in ${\mathbb E^4_2}$ satisfying |K| = |K ^D | identically.     

On the subfields of cyclotomic function fields

Let K = F(T) be the rational function field over a finite field of q elements. For any polynomial f(T) ∈ F [T] with positive degree, denote by Λ _f the torsion points of the Carlitz module for the polynomial ring F[T]. In this short paper, we will determine an explicit formula for the analytic class number for the unique subfield M of the cyclotomic function field K(Λ _P ) of degree k over F(T), where P ∈ F[T] is an irreducible polynomial of positive degree and k > 1 is a positive divisor of q ? 1. A formula for the analytic class number for the maximal real subfield M ⁺ of M is also presented. Futhermore, a relative class number formula for ideal class group of M will be given in terms of Artin L-function in this paper.     

The Gauss�CKronecker curvature of minimal hypersurfaces in four-dimensional space forms

Let ${{\mathbb{Q}^4}(c)}$ be a four-dimensional space form of constant curvature c. In this paper we show that the infimum of the absolute value of the Gauss?CKronecker curvature of a complete minimal hypersurface in ${\mathbb{Q}^4(c), c\leq 0}$ , whose Ricci curvature is bounded from below, is equal to zero. Further, we study the connected minimal hypersurfaces M ³ of a space form ${{\mathbb{Q}^4}(c)}$ with constant Gauss?CKronecker curvature K. For the case c ?? 0, we prove, by a local argument, that if K is constant, then K must be equal to zero. We also present a classification of complete minimal hypersurfaces of ${\mathbb{Q}^4(c)}$ with K constant.     

Multi-neighboring grids schemes for solving PDE eigen-problems

Instead of most existing postprocessing schemes,a new preprocessing approach,called multineighboring grids(MNG),is proposed for solving PDE eigen-problems on an existing grid G(Δ).The linear or multi-linear element,based on box-splines,are taken as the frst stage Kh1Uh=λh1Mh1Uh.In this paper,the j-th stage neighboring-grid scheme is defned asKh jUh=λh j Mh jUh,where Kh j:=Mh j 1Kh1and Mh jUh is to be found as a better mass distribution over the j-th stage neighboring-gridG(Δ),and Kh jcan be seen as an expansion of Kh1on the j-th neighboring-grid with respect to the(j 1)-th mass distribution Mh j 1.It is shown that for an ODE model eigen-problem,the j-th stage scheme with 2j-th order B-spline basis can reach2j-th order accuracy and even(2j+2)-th order accuracy by perturbing the mass matrix.The argument can be extended to high dimensions with separable variable cases.For Laplace eigen-problems with some 2-D and 3-D structured uniform grids,some 2j-th order schemes are presented for j 3.     

On Surface Attractors and Repellers in 3-Manifolds

We show that if f: M ³ → M ³ is an A diffeomorphism with a surface two-dimensional attractor or repeller $\mathcal{B}$ with support $M_\mathcal{B}^2$ , then $\mathcal{B} = M_\mathcal{B}^2$ and there exists a k ≥ 1 such that (1) $M_\mathcal{B}^2$ is the disjoint union M ₁ ² ? ? ? M _k ² of tame surfaces such that each surface M _i ² is homeomorphic to the 2-torus T ²; (2) the restriction of f ^k to M _i ² , i ∈ {1,..., k}, is conjugate to an Anosov diffeomorphism of the torus T ².     

Algebraic equations on the adèlic closure of a Drinfeld module

Let k be a field of positive characteristic and K = k(V) a function field of a variety V over k and let A _K be the ring of adèles of K with respect to the places on K corresponding to the divisors on V. Given a Drinfeld module $\Phi :\mathbb{F}[t] \to End_K (\mathbb{G}_a )$ over K and a positive integer g we regard both K ^g and A _K ^g as $\Phi \left( {\mathbb{F}_p [t]} \right)$ -modules under the diagonal action induced by Φ. For Γ ? K ^g a finitely generated $\Phi \left( {\mathbb{F}_p [t]} \right)$ -submodule and an affine subvariety $X \subseteq \mathbb{G}_a^g$ defined over K, we study the intersection of X(A _K ), the adèlic points of X, with $\bar \Gamma$ , the closure of Γ with respect to the adèlic topology, showing under various hypotheses that this intersection is no more than X(K) ∩ Γ.     

Mean values connected with the Dedekind zeta-function of a non-normal cubic field

After Landau’s famous work, many authors contributed to some mean values connected with the Dedekind zetafunction. In this paper, we are interested in the integral power sums of the coefficients of the Dedekind zeta function of a non-normal cubic extension K ₃/?, i.e. $ S_{l,K_3 } (x) = \sum\nolimits_{m \leqslant x} {M^l (m)} $ , where M(m) denotes the number of integral ideals of the field K ₃ of norm m and l ∈ ?. We improve the previous results for $ S_{2,K_3 } (x) $ and $ S_{3,K_3 } (x) $ .     

Reeb Graphs: Approximation and Persistence

Given a continuous function f:X→? on a topological space X, its level set f ^?1(a) changes continuously as the real value a changes. Consequently, the connected components in the level sets appear, disappear, split and merge. The Reeb graph of f summarizes this information into a graph structure. Previous work on Reeb graph mainly focused on its efficient computation. In this paper, we initiate the study of two important aspects of the Reeb graph, which can facilitate its broader applications in shape and data analysis. The first one is the approximation of the Reeb graph of a function on a smooth compact manifold M without boundary. The approximation is computed from a set of points P sampled from M. By leveraging a relation between the Reeb graph and the so-called vertical homology group, as well as between cycles in M and in a Rips complex constructed from P, we compute the H ₁-homology of the Reeb graph from P. It takes O(nlogn) expected time, where n is the size of the 2-skeleton of the Rips complex. As a by-product, when M is an orientable 2-manifold, we also obtain an efficient near-linear time (expected) algorithm for computing the rank of H ₁(M) from point data. The best-known previous algorithm for this problem takes O(n ³) time for point data. The second aspect concerns the definition and computation of the persistent Reeb graph homology for a sequence of Reeb graphs defined on a filtered space. For a piecewise-linear function defined on a filtration of a simplicial complex K, our algorithm computes all persistent H ₁-homology for the Reeb graphs in $O(n n_{e}^{3})$ time, where n is the size of the 2-skeleton and n _e is the number of edges in K.     

Compact complete null curves in complex 3-space

We prove that for any open orientable surface S of finite topology, there exist a Riemann surface M, a relatively compact domain M ? M and a continuous map X: $\overline M $ → ?³ such that:

• M and M are homeomorphic to S, M-M and M ? $\overline M $ contain no relatively compact components in M
• X| _M is a complete null holomorphic curve, $X{|_{\overline M - M}}:\overline M - M \to {{\Bbb C}^3}$ is an embedding and the Hausdorff dimension of X( $\overline M $ ?M) is 1.

Moreover, for any ε > 0 and compact null holomorphic curve Y:N→?³ with non-empty boundary Y (?N), there exist Riemann surfaces M and M homeomorphic to N ^○ and a map X: $\overline M $ → ?³ in the above conditions such that δ ^H (Y(?N),X( $\overline M $ ? M)) < ε, where δ ^H (·,·) means Hausdorff distance in ?³.     

Effective analysis of integral points on algebraic curves

LetK be an algebraic number field,S?S _\t8 a finite set of valuations andC a non-singular algebraic curve overK. Letx∈K(C) be non-constant. A pointP∈C(K) isS-integral if it is not a pole ofx and |x(P)| _v >1 impliesv∈S. It is proved that allS-integral points can be effectively determined if the pair (C, x) satisfies certain conditions. In particular, this is the case if

1. x:C→P ¹ is a Galois covering andg(C)≥1;
2. the integral closure of $\bar Q$ [x] in $\bar Q$ (C) has at least two units multiplicatively independent mod $\bar Q$ *.

This generalizes famous results of A. Baker and other authors on the effective solution of Diophantine equations.     

Trace formulae and applications to class numbers

In this paper we compute the trace formula for Hecke operators acting on automorphic forms on the hyperbolic 3-space for the group PSL₂( $\mathcal{O}_K $ ) with $\mathcal{O}_K $ being the ring of integers of an imaginary quadratic number field K of class number H _K > 1. Furthermore, as a corollary we obtain an asymptotic result for class numbers of binary quadratic forms.     

Invariant submanifolds of Sasakian space forms

In the present study, we consider isometric immersions ${f : M \rightarrow \tilde{M}(c)}$ of (2n + 1)-dimensional invariant submanifold M ²ⁿ⁺¹ of (2m + 1) dimensional Sasakian space form ${\tilde{M}^{2m+1}}$ of constant ${ \varphi}$ -sectional curvature c. We have shown that if f satisfies the curvature condition ${\overset{\_}{R}(X, Y) \cdot \sigma =Q(g, \sigma)}$ then either M ²ⁿ⁺¹ is totally geodesic, or ${||\sigma||^{2}=\frac{1}{3}(2c+n(c+1)),}$ or ${||\sigma||^{2}(x) > \frac{1}{3}(2c+n(c+1)}$ at some point x of M ²ⁿ⁺¹. We also prove that ${\overset{\_ }{R}(X, Y)\cdot \sigma = \frac{1}{2n}Q(S, \sigma)}$ then either M ²ⁿ⁺¹ is totally geodesic, or ${||\sigma||^{2}=-\frac{2}{3}(\frac{1}{2n}\tau -\frac{1}{2}(n+2)(c+3)+3)}$ , or ${||\sigma||^{2}(x) > -\frac{2}{3}(\frac{1}{2n} \tau (x)-\frac{1}{2} (n+2)(c+3)+3)}$ at some point x of M ²ⁿ⁺¹.     

Weakly Convex Biharmonic Hypersurfaces in Nonpositive Curvature Space Forms are Minimal

A submanifold M ^m of a Euclidean space R ^m+p is said to have harmonic mean curvature vector field if ${\Delta \vec{H}=0}$ , where ${\vec{H}}$ is the mean curvature vector field of ${M\hookrightarrow R^{m+p}}$ and Δ is the rough Laplacian on M. There is a famous conjecture named after Bangyen Chen which states that submanifolds of Euclidean spaces with harmonic mean curvature vector fields are minimal. In this paper we prove that weakly convex hypersurfaces (i.e. hypersurfaces whose principle curvatures are nonnegative) with harmonic mean curvature vector fields in Euclidean spaces are minimal. Furthermore we prove that weakly convex biharmonic hypersurfaces in nonpositively curved space forms are minimal.     

Galois groups of multivariate Tutte polynomials

The multivariate Tutte polynomial $\hat{Z}_{M}$ of a matroid M is a generalization of the standard two-variable version, obtained by assigning a separate variable v _e to each element e of the ground set E. It encodes the full structure of M. Let v={v _e } _e??E , let K be an arbitrary field, and suppose M is connected. We show that $\hat{Z}_{M}$ is irreducible over K(v), and give three self-contained proofs that the Galois group of $\hat{Z}_{M}$ over K(v) is the symmetric group of degree n, where n is the rank of M. An immediate consequence of this result is that the Galois group of the multivariate Tutte polynomial of any matroid is a direct product of symmetric groups. Finally, we conjecture a similar result for the standard Tutte polynomial of a connected matroid.     

Automorphism groups of pseudo-real Riemann surfaces of low genus

A pseudo-real Riemann surface admits anticonformal automorphisms but no anticonformal involution.We obtain the classifcation of actions and groups of automorphisms of pseudo-real Riemann surfaces of genera 2,3 and 4.For instance the automorphism group of a pseudo-real Riemann surface of genus 4 is eitherC4orC8or the Fro¨benius group of order 20,and in the case ofC4there are exactly two possible topological actions.Let MK P R,g be the set of surfaces in the moduli space MK g corresponding to pseudo-real Riemann surfaces.We obtain the equisymmetric stratifcation of MK P R,g for generag=2,3,4,and as a consequence we have that MK P R,gis connected forg=2,3 but MK P R,4has three connected components.     

The moment problem for continuous positive semidefinite linear functionals

Let τ be a locally convex topology on the countable dimensional polynomial ${\mathbb{R}}$ -algebra ${\mathbb{R} [\underline{X}] := \mathbb{R} [X_1, \ldots, X_{n}]}$ . Let K be a closed subset of ${\mathbb{R} ^{n}}$ , and let ${M := M_{\{g_1, \ldots, g_s\}}}$ be a finitely generated quadratic module in ${\mathbb{R} [\underline{X}]}$ . We investigate the following question: When is the cone Psd(K) (of polynomials nonnegative on K) included in the closure of M? We give an interpretation of this inclusion with respect to representing continuous linear functionals by measures. We discuss several examples; we compute the closure of ${M = \sum \mathbb{R} [\underline{X}]^{2}}$ with respect to weighted norm-p topologies. We show that this closure coincides with the cone Psd(K) where K is a certain convex compact polyhedron.     

L 2-Harmonic 1-Forms on Submanifolds with Finite Total Curvature

Let $x:M^{m}\to\bar{M}$ , m≥3, be an isometric immersion of a complete noncompact manifold M in a complete simply connected manifold $\bar{M}$ with sectional curvature satisfying $-k^{2}\leq K_{\bar{M}}\leq0$ , for some constant k. Assume that the immersion has finite total curvature in the sense that the traceless second fundamental form has finite L ^m -norm. If $K_{\bar{M}}\not\equiv0$ , assume further that the first eigenvalue of the Laplacian of M is bounded from below by a suitable constant. We prove that the space of the L ² harmonic 1-forms on M has finite dimension. Moreover, there exists a constant Λ>0, explicitly computed, such that if the total curvature is bounded from above by Λ then there are no nontrivial L ²-harmonic 1-forms on M.     

ℓ-Independence for a system of motivic representations

Let M be a motive over a number field F and v a non-archimedean valuation of F with residual characteristic p. Let \({\rho_{M,\ell} : \Gamma_{F} \rightarrow G_{M}(\mathbb{Q}_{\ell})}\) be the canonical system of ?-adic Galois representations associated to M, with values in the motivic Galois group G _M of M. Let \({\Phi_{v} \in \Gamma_{F}}\) be an arithmetic Frobenius element. When M belongs to a particular family of motives, we show the following (under certain hypotheses): (i) if M has good reduction at v, then for \({\ell \neq p}\) , the conjugacy class of \({\rho_{M,\ell}(\Phi_{v})}\) in G _M is rational over \({\mathbb{Q}}\) and is independent of ?, thus giving a partial answer to a question of Serre; (ii) if M has semistable reduction at v, then the system of representations of the Weil–Deligne group \({'W_{v}}\) , associated to \({\rho_{M,\ell}}\) for \({\ell \neq p}\) , is a compatible system of representations of \({'W_{v}}\) with values in G _M .     

Fields of moduli and fields of definition of odd signature curves

Let X be a smooth projective curve of genus ${g \geq 2}$ defined over a field K. We show that X can be defined over its field of moduli K _X if the signature of the covering ${X \rightarrow X/ Aut(X)}$ is of type ${(0;c_1,\dots,c_k)}$ , where some c _i appears an odd number of times. This result is applied to cyclic q-gonal curves and to plane quartics.     

Supports of (\mathfrak{g},\mathfrak{k})-modules of finite type

Let $\mathfrak{g}$ be a semisimple Lie algebra and $\mathfrak{k}$ be a reductive subalgebra in $\mathfrak{g}$ . We say that a $\mathfrak{g}$ -module M is a $(\mathfrak{g},\mathfrak{k})$ -module if M, considered as a $\mathfrak{k}$ -module, is a direct sum of finite-dimensional $\mathfrak{k}$ -modules. We say that a $(\mathfrak{g},\mathfrak{k})$ -module M is of finite type if all $\mathfrak{k}$ -isotopic components of M are finite-dimensional. In this paper we prove that any simple $(\mathfrak{g},\mathfrak{k})$ -module of finite type is holonomic. A simple $\mathfrak{g}$ -module M is associated with the invariants V(M), V(LocM), and L(M) reflecting the ??directions of growth of M.?? We also prove that for a given pair $(\mathfrak{g},\mathfrak{k})$ the set of possible invariants is finite.