Lagrangian Curves in a 4-Dimensional Affine Symplectic Space

Lagrangian curves in \(\mathbb {R}^{4}\) entertain intriguing relationships with second order deformation of plane curves under the special affine group and null curves in a 3-dimensional Lorentzian space form. We provide a natural affine symplectic frame for Lagrangian curves. It allows us to classify Lagrangian curves with constant symplectic curvatures, to construct a class of Lagrangian tori in \(\mathbb {R}^{4}\) and determine Lagrangian geodesics.     

An application of maximum principle to space-like hypersurfaces with constant mean curvature in anti-de Sitter space

In this paper, we study complete hypersurfaces with constant mean curvature in anti-de Sitter space ${H^{n+1}_1(-1)}$ . we prove that if a complete space-like hypersurface with constant mean curvature ${x:\mathbf M\rightarrow H^{n+1}_1(-1) }$ has two distinct principal curvatures ??, ??, and inf|?? ? ??|?>?0, then x is the standard embedding ${ H^{m} (-\frac{1}{r^2})\times H^{n-m} ( -\frac{1}{1 - r^2} )}$ in anti-de Sitter space ${ H^{n+1}_1 (-1) }$ .     

Codimension 1 Subvarieties of {\mathcal{M}_g } and Real Gonality of Real Curves

Let ${\mathcal{M}_g }$ be the moduli space of smooth complex projective curves of genus g. Here we prove that the subset of ${\mathcal{M}_g }$ formed by all curves for which some Brill-Noether locus has dimension larger than the expected one has codimension at least two in ${\mathcal{M}_g }$ . As an application we show that if ${X \in \mathcal{M}_g }$ is defined over $\mathbb{R}$ then there exists a low degree pencil ${u:X \to \mathbb{P}^1 }$ defined over $\mathbb{R}.$      

Gieseker-Petri Locus in Genus Six

In the moduli space of curves of genus g, $\mathcal{M}_g$ , let ${\cal GP}_g$ be the locus of curves that do not satisfy the Gieseker-Petri theorem. In this note we show that ${\cal GP}_6$ is a divisor in $\mathcal{M}_6$ .     

Relaxed Hyperelastic Curves on a Non-Degenerate Surface

We study the variational problem belonging to a relaxed hyperelastic curve for non-null curve on a non-degenerate surface in Minkowski three-space \({E_{1}^{3}}\) . Firstly, we derive the intrinsic equations for a relaxed hyperelastic curve and we give the necessary condition for being relaxed hyperelastic curve of any non-null geodesic on the surface in \({E_{1}^{3}}\) . Then, we examine this formulation on non-null geodesics of pseudo-plane, pseudo-sphere \({S_{1}^{2}(r) }\) , hyperbolic space \({H_{0}^{2}(r)}\) and pseudo-cylinder \({C_{1}^{2}(r)}\) .     

A note on the Petri loci

Let ${\mathcal {M}_g}$ be the coarse moduli space of complex projective nonsingular curves of genus g. We prove that when the Brill?CNoether number ??(g, r, n) is non-negative every component of the Petri locus ${P^r_{g,n} \subset \mathcal {M}_g}$ whose general member is a curve C such that ${W^{r+1}_n(C) = \emptyset}$ , has codimension one in ${\mathcal {M}_g}$ .     

Complete bounded null curves immersed in {\mathbb {C}^3} and {\rm {SL}(2,\mathbb {C})}

We construct a simply connected complete bounded mean curvature one surface in the hyperbolic 3-space ${\mathcal {H}^3}$ . Such a surface in ${\mathcal {H}^3}$ can be lifted as a complete bounded null curve in ${\rm {SL}(2,\mathbb {C})}$ . Using a transformation between null curves in ${\mathbb {C}^3}$ and null curves in ${\rm {SL}(2,\mathbb {C})}$ , we are able to produce the first examples of complete bounded null curves in ${\mathbb {C}^3}$ . As an application, we can show the existence of a complete bounded minimal surface in ${\mathbb {R}^3}$ whose conjugate minimal surface is also bounded. Moreover, we can show the existence of a complete bounded immersed complex submanifold in ${\mathbb {C}^2}$ .     

Approximations of periodic functions to \mathbb R ^n by curvatures of closed curves

We show that for any $n$ real periodic functions $f_1,\ldots , f_n$ with the same period, such that $f_i>0$ for $i<n$ , and a real number $\varepsilon >0$ , there is a closed curve in $\mathbb R ^{n+1}$ with curvatures $\kappa _1, \ldots , \kappa _n$ such that $\left| \kappa _{i(t)}-f_{i(t)}\right|<\varepsilon $ for all $i$ and $t$ . This does not hold for parametric families of closed curves in $\mathbb R ^{n+1}$ .     

New properties of Besov and Triebel-Lizorkin spaces on RD-spaces

An RD-space ${\mathcal X}$ is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds in ${\mathcal X}$ . In this paper, the authors first give several equivalent characterizations of RD-spaces and show that the definitions of spaces of test functions on ${\mathcal X}$ are independent of the choice of the regularity ${\epsilon\in (0,1)}$ ; as a result of this, the Besov and Triebel-Lizorkin spaces on ${\mathcal X}$ are also independent of the choice of the underlying distribution space. Then the authors characterize the norms of inhomogeneous Besov and Triebel-Lizorkin spaces by the norms of homogeneous Besov and Triebel-Lizorkin spaces together with the norm of local Hardy spaces in the sense of Goldberg. Also, the authors obtain the sharp locally integrability of elements in Besov and Triebel-Lizorkin spaces.     

Curvature-direction measures of self-similar sets

We obtain fractal Lipschitz–Killing curvature-direction measures for a large class of self-similar sets $F$ in $\mathbb{R }^{d}$ . Such measures jointly describe the distribution of normal vectors and localize curvature by analogues of the higher order mean curvatures of differentiable sub-manifolds. They decouple as independent products of the unit Hausdorff measure on $F$ and a self-similar fibre measure on the sphere, which can be computed by an integral formula. The corresponding local density approach uses an ergodic dynamical system formed by extending the code space shift by a subgroup of the orthogonal group. We then give a remarkably simple proof for the resulting measure version under minimal assumptions.     

Generalized normal homogeneous Riemannian metrics on spheres and projective spaces

In this paper, we develop new methods to study generalized normal homogeneous Riemannian manifolds. In particular, we obtain a complete classification of generalized normal homogeneous Riemannian metrics on spheres ${S^n}$ . We prove that for any connected (almost effective) transitive on $S^n$ compact Lie group $G$ , the family of $G$ -invariant Riemannian metrics on $S^n$ contains generalized normal homogeneous but not normal homogeneous metrics if and only if this family depends on more than one parameters and $n\ge 5$ . Any such family (that exists only for $n=2k+1$ ) contains a metric $g_\mathrm{can}$ of constant sectional curvature $1$ on $S^n$ . We also prove that $(S^{2k+1}, g_\mathrm{can})$ is Clifford–Wolf homogeneous, and therefore generalized normal homogeneous, with respect to $G$ (except the groups $G={ SU}(k+1)$ with odd $k+1$ ). The space of unit Killing vector fields on $(S^{2k+1}, g_\mathrm{can})$ from Lie algebra $\mathfrak g $ of Lie group $G$ is described as some symmetric space (except the case $G=U(k+1)$ when one obtains the union of all complex Grassmannians in $\mathbb{C }^{k+1}$ ).     

Towards a classification of modular compactifications of \mathcal {M}_{g,n}

The moduli space of smooth curves admits a beautiful compactification $\mathcal{M}_{g,n} \subset \overline{\mathcal{M}}_{g,n}$ by the moduli space of stable curves. In this paper, we undertake a systematic classification of alternate modular compactifications of $\mathcal{M}_{g,n}$ . Let $\mathcal{U}_{g,n}$ be the (non-separated) moduli stack of all n-pointed reduced, connected, complete, one-dimensional schemes of arithmetic genus g. When g=0, $\mathcal{U}_{0,n}$ is irreducible and we classify all open proper substacks of $\mathcal{U}_{0,n}$ . When g≥1, $\mathcal{U}_{g,n}$ may not be irreducible, but there is a unique irreducible component $\mathcal{V}_{g,n} \subset\mathcal{U}_{g,n}$ containing $\mathcal{M}_{g,n}$ . We classify open proper substacks of $\mathcal {V}_{g,n}$ satisfying a certain stability condition.     

Distinct Distances on Curves Via Rigidity

It is shown that $N$ points on a real algebraic curve of degree $n$ in ${\mathbb R}^d$ always determine $\gtrsim _{n,d}$ ${N^{1+\frac{1}{4}}}$ distinct distances, unless the curve is a straight line or the closed geodesic of a flat torus. In the latter case, there are arrangements of $N$ points which determine $\lesssim $ ${N}$ distinct distances. The method may be applied to other quantities of interest to obtain analogous exponent gaps. An important step in the proof involves understanding the structural rigidity of certain frameworks on curves.     

Residual {\bar\partial}-cohomology and the complex Radon transform on subvarieties of {\mathbb C P^n}

We show that the complex Radon transform realizes an isomorphism between the quotient-space of residual ${\bar\partial}$ -cohomologies of a locally complete intersection algebraic subvariety in a linearly concave domain of ${{{\mathbb C}}P^n}$ and the space of holomorphic solutions of the associated homogeneous system of differential equations with constant coefficients in the dual domain in ${({{\mathbb C}}P^n)^*}$ .     

Projective curves with maximal regularity and applications to syzygies and surfaces

We first show that the union of a projective curve with one of its extremal secant lines satisfies the linear general position principle for hyperplane sections. We use this to give an improved approximation of the Betti numbers of curves ${{\mathcal C}\subset \mathbb P^r_K}$ of maximal regularity with ${{\rm deg}\, {\mathcal C}\leq 2r -3}$ . In particular we specify the number and degrees of generators of the vanishing ideal of such curves. We apply these results to study surfaces ${X \subset \mathbb P^r_K}$ whose generic hyperplane section is a curve of maximal regularity. We first give a criterion for ??an early descent of the Hartshorne-Rao function?? of such surfaces. We use this criterion to give a lower bound on the degree for a class of these surfaces. Then, we study surfaces ${X \subset\mathbb P^r_K}$ for which ${h^1(\mathbb P^r_K, {\mathcal I}_X(1))}$ takes a value close to the possible maximum deg X ? r +?1. We give a lower bound on the degree of such surfaces. We illustrate our results by a number of examples, computed by means of Singular, which show a rich variety of occuring phenomena.     

Hamiltonian flows on the space of star-shaped curves

We provide a geometric interpretation of the KdV equation as an evolution equation on the space of closed curves in the centroaffine plane. There is a natural symplectic structure on this space and the KdV-flow is generated by a Hamiltonian given by the total centroaffine curvature. In this way we obtain another example for a soliton equation coming naturally from a differential geometric problem [1]. Furthermore, we present a group action of the diffeomorphism group of the circle on the space of closed centroaffine curves.     

On the cohomology of the Losev–Manin moduli space

We determine the cohomology of the Losev–Manin moduli space ${\overline{M}_{0, 2 | n}}$ of pointed genus zero curves as a representation of the product of symmetric groups ${\mathbb{S}_2 \times \mathbb{S}_n}$ .     

On the cohomology of moduli spaces of (weighted) stable rational curves

We give a recursive algorithm for computing the character of the cohomology of the moduli space ${\overline{M}}_{0,n}$ of stable $n$ -pointed genus zero curves as a representation of the symmetric group $\mathbb{S }_n$ on $n$ letters. Using the algorithm we can show a formula for the maximum length of this character. Our main tool is connected to the moduli spaces of weighted stable curves introduced by Hassett.     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.