Equivariant constrained Willmore tori in the 3-sphere

In this paper we study equivariant constrained Willmore tori in the 3-sphere. These tori admit a 1-parameter group of Möbius symmetries and are critical points of the Willmore energy under conformal variations. We show that the spectral curve associated to an equivariant torus is given by a double covering of \(\mathbb {C}\) and classify equivariant constrained Willmore tori by the genus \(g\) of their spectral curve. In this case the spectral genus satisfies \(g \le 3\) .     

Darboux transforms and spectral curves of Hamiltonian stationary Lagrangian tori

The multiplier spectral curve of a conformal torus f : T ² → S ⁴ in the 4-sphere is essentially (Bohle et al., Conformal maps from a 2-torus to the 4-sphere. arXiv:0712.2311) given by all Darboux transforms of f. In the particular case when the conformal immersion is a Hamiltonian stationary torus ${f: T^2 \to\mathbb{R}^4}$ in Euclidean 4-space, the left normal N : M → S ² of f is harmonic, hence we can associate a second Riemann surface: the eigenline spectral curve of N, as defined in Hitchin (J Differ Geom 31(3):627–710, 1990). We show that the multiplier spectral curve of a Hamiltonian stationary torus and the eigenline spectral curve of its left normal are biholomorphic Riemann surfaces of genus zero. Moreover, we prove that all Darboux transforms, which arise from generic points on the spectral curve, are Hamiltonian stationary whereas we also provide examples of Darboux transforms which are not even Lagrangian.     

Locales as spectral spaces

A frame is a complete distributive lattice that satisfies the infinite distributive law ${b \wedge \bigvee_{i \in I} a_i = \bigvee_{i \in I} b \wedge a_i}$ b ∧ ? i ∈ I a i = ? i ∈ I b ∧ a i . The lattice of open sets of a topological space is a frame. The frames form a category Fr. The category of locales is the opposite category Fr ^op . The category BDLat of bounded distributive lattices contains Fr as a subcategory. The category BDLat is anti-equivalent to the category of spectral spaces, Spec (via Stone duality). There is a subcategory of Spec that corresponds to the subcategory Fr under the anti-equivalence. The objects of this subcategory are called locales, the morphisms are the localic maps; the category is denoted by Loc. Thus locales are spectral spaces. The category Loc is equivalent to the category Fr ^op . A topological approach to locales is initiated via the systematic study of locales as spectral spaces. The first task is to characterize the objects and the morphisms of the category Spec that belong to the subcategory Loc. The relationship between the categories Top (topological spaces), Spec and Loc is studied. The notions of localic subspaces and localic points of a locale are introduced and studied. The localic subspaces of a locale X form an inverse frame, which is anti-isomorphic to the assembly associated with the frame of open and quasi-compact subsets of X.     

Heegaard–Floer homologies of (+1) surgeries on torus knots

We compute the Heegaard–Floer homology of $S^{3}_{1}(K)$ (the (+1) surgery on the torus knot T _p,q ) in terms of the semigroup generated by p and q, and we find a compact formula (involving Dedekind sums) for the corresponding Ozsváth–Szabó d-invariant. We relate the result to known knot invariants of T _p,q as the genus and the Levine–Tristram signatures. Furthermore, we emphasize the striking resemblance between Heegaard–Floer homologies of (+1) and (?1) surgeries on torus knots. This relation is best seen at the level of τ functions.     

Equisingularity of families of map germs between curves

Given a finite map germ f : (X, 0) → (Y, 0) between complex analytic reduced space curves, we look at invariants which control the topological triviality and the Whitney equisingularity in families of this type of map germs. In the case that (Y, 0) is smooth, the main invariant is the Milnor number of a function on a curve. We deduce some applications to the equisingularity of families of finitely determined map germs ${f : (\mathbb{C}^2, 0) \to (\mathbb{C}^2, 0)}$ and ${f : (\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0)}$ .     

DAHA-Jones polynomials of torus knots

DAHA-Jones polynomials of torus knots T(r, s) are studied systematically for reduced root systems and in the case of \(C^\vee C_1\). We prove the polynomiality and evaluation conjectures from the author’s previous paper on torus knots and extend the theory by the color exchange and further symmetries. The DAHA-Jones polynomials for \(C^\vee C_1\) depend on five parameters. Their surprising connection to the DAHA-superpolynomials (type A) for the knots \(T(2p+1,2)\) is obtained, a remarkable combination of the color exchange conditions and the author’s duality conjecture (justified by Gorsky and Negut). The uncolored DAHA-superpolynomials of torus knots are expected to coincide with the Khovanov–Rozansky stable polynomials and the superpolynomials defined via rational DAHA and/or in terms of certain Hilbert schemes. We end the paper with certain arithmetic counterparts of DAHA-Jones polynomials for the absolute Galois group in the case of \(C^\vee C_1\), developing the author’s previous results for \(A_1\).     

The Mixed Curvatures on C N

The aim of the present paper is devoted to the investigation of some geometrical properties on the middle envelope in terms of the invariants of the third quadratic form of the normal line congruence C_N . The mixed middle curvature and mixed curvature on C_N are obtained in tenus of the Mean and Gauss curvatures of the surface of reference. Our study is considered as a continuation to Stephanidis ([1], [2], [3], [4], [5]). The technique adapted here is based on the methods of moving frames and their related exteriour forms [6] and [7].     

Topological complexity and the homotopy cofibre of the diagonal map

In this paper, we establish some relationships between the topological complexity of a space X and the category of ${C_{\Delta_X}}$ , the homotopy cofibre of the diagonal map ${\Delta _X : X\rightarrow X\times X}$ . In particular, we prove the equality of the two invariants for several classes of spaces including the spheres, the H-spaces, the real and complex projective spaces and almost all (standard) lens spaces.     

Invariant theory for the elliptic normal quintic, I. Twists of X(5)

A genus one curve of degree 5 is defined by the $4 \times 4$ Pfaffians of a $5 \times 5$ alternating matrix of linear forms on $\mathbb{P }^4$ . We describe a general method for investigating the invariant theory of such models. We use it to explain how we found our algorithm for computing the invariants and to extend our method for computing equations for visible elements of order 5 in the Tate-Shafarevich group of an elliptic curve. As a special case of the latter we find a formula for the family of elliptic curves 5-congruent to a given elliptic curve in the case the 5-congruence does not respect the Weil pairing. We also give an algorithm for doubling elements in the $5$ -Selmer group of an elliptic curve, and make a conjecture about the matrices representing the invariant differential on a genus one normal curve of arbitrary degree.     

The number of topological generators for full groups of ergodic equivalence relations

We completely elucidate the relationship between two invariants associated with an ergodic probability measure-preserving (pmp) equivalence relation, namely its cost and the minimal number of topological generators of its full group. It follows that for any free pmp ergodic action of the free group on \(n\) generators, the minimal number of topological generators for the full group of the action is \(n+1\) , answering a question of Kechris.     

Graph invariants and the positivity of the height of the Gross-Schoen cycle for some curves

Let X be a projective curve over a global field K. Gross and Schoen defined a modified diagonal cycle Δ on X ³, and showed that the height ${\langle \Delta, \Delta \rangle}$ is defined in general. Zhang recently proved a formula which describe ${\langle \Delta, \Delta \rangle}$ in terms of the self pairing of the admissible dualizing sheaf and the invariants arising from the reduction graphs. In this note, we calculate explicitly those graph invariants for the reduction graphs of curves of genus 3 and examine the positivity of ${\langle \Delta, \Delta \rangle}$ . We also calculate them for so-called hyperelliptic graphs. As an application, we find a characterization of hyperelliptic curves of genus 3 by the configuration of the reduction graphs and the property ${\langle \Delta, \Delta \rangle = 0}$ .     

A Positivstellensatz for projective real varieties

Given two positive definite forms ${f,\,g\in\mathbb {R}[x_0,\ldots,x_n]}$ , we prove that fg ^N is a sum of squares of forms for all sufficiently large N?≥?0. We generalize this result to projective ${\mathbb {R}}$ -varieties X as follows. Suppose that X is reduced without one-dimensional irreducible components, and ${X(\mathbb {R})}$ is Zariski dense in X. Given everywhere positive global sections f of ${L^{\otimes2}}$ and g of ${M^{\otimes2}}$ , where L, M are invertible sheaves on X and M is ample, fg ^N is a sum of squares of sections of ${L\otimes M^ {\otimes N}}$ for all large N?≥?0. In fact we prove a much more general version with semi-algebraic constraints, defined by sections of invertible sheaves. For nonsingular curves and surfaces and sufficiently regular constraints, the result remains true even if f is just nonnegative. The main tools are local-global principles for sums of squares, and on the other hand an existence theorem for totally real global sections of invertible sheaves, which is the second main result of this paper. For this theorem, X may be quasi-projective, but again should not have curve components. In fact, this result is false for curves in general.     

Hasse invariants for the Clausen elliptic curves

Gauss’s hypergeometric function gives periods of elliptic curves in Legendre normal form. Certain truncations of this hypergeometric function give the Hasse invariants for these curves. Here we study another form, which we call the Clausen form, and we prove that certain truncations of and in $\mathbb {F}_{p}[x]$ are related to the characteristic p Hasse invariants.     

The Harish-Chandra isomorphism for reductive symmetric superpairs

We consider symmetric pairs of Lie superalgebras and introduce a graded Harish-Chandra homomorphism. Generalising results of Harish-Chandra and V. Kac, M. Gorelik, we prove that, assuming reductivity, its image is a certain explicit filtered subalgebra J( $ \mathfrak{a} $ ) of the Weyl invariants on a Cartan subspace whose associated graded gr J( $ \mathfrak{a} $ ) is the image of Chevalley’s restriction map on symmetric invariants. In contrast to the known cases, J( $ \mathfrak{a} $ ) is in general not isomorphic to gr J( $ \mathfrak{a} $ ).     

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.     

A type of the Lefschetz hyperplane section theorem on {\mathbb{Q}\,} -Fano 3-folds with Picard number one and {\frac{1}{2}(1,1,1)} -singularities

We prove a type of the Lefschetz hyperplane section theorem on ${\mathbb{Q}\,}$ -Fano 3-folds with Picard number one and ${\frac{1}{2}(1,1,1)}$ -singularities by using some degeneration method. As a byproduct, we obtain a new example of a Calabi?CYau 3-fold X with Picard number one whose invariants are $$\left(H_X^3,\, c_2 (X) \cdot H_X, \,{{e}} (X) \right) = (8, 44, -88),$$ where H _X , e(X) and c ₂(X) are an ample generator of Pic(X), the topological Euler characteristic number and the second Chern class of X respectively.     

Intrinsic invariants of cross caps

It is classically known that generic smooth maps of \(\varvec{R}^2\) into \(\varvec{R}^3\) admit only isolated cross cap singularities. This suggests that the class of cross caps might be an important object in differential geometry. We show that the standard cross cap \(f_{\mathrm{std }}(u,v)=(u,uv,v^2)\) has non-trivial isometric deformations with infinite-dimensional freedom. Since there are several geometric invariants for cross caps, the existence of isometric deformations suggests that one can ask which invariants of cross caps are intrinsic. In this paper, we show that there are three fundamental intrinsic invariants for cross caps. The existence of extrinsic invariants is also shown.     

On the gonality sequence of an algebraic curve

For any smooth irreducible projective curve X, the gonality sequence ${\{d_r \;| \; r \in \mathbb N\}}$ is a strictly increasing sequence of positive integer invariants of X. In most known cases d _r+1 is not much bigger than d _r . In our terminology this means the numbers d _r satisfy the slope inequality. It is the aim of this paper to study cases when this is not true. We give examples for this of extremal curves in ${{\mathbb P}^r}$ , for curves on a general K3-surface in ${{\mathbb P}^r}$ and for complete intersections in ${{\mathbb P}^3}$ .