Characterization of the Fermat curve as the most symmetric nonsingular algebraic plane curve

A projective nonsingular plane algebraic curve of degree \(d\ge 4\) is called maximally symmetric if it attains the maximum order of the automorphism groups for complex nonsingular plane algebraic curves of degree \(d\) . For \(d\le 7\) , all such curves are known. Up to projectivities, they are the Fermat curve for \(d=5,7\) ; see Kaneta et al. (RIMS Kokyuroku 1109:182–191, 1999) and Kaneta et al. (Geom. Dedic. 85:317–334, 2001), the Klein quartic for \(d=4\) , see Hartshorne (Algebraic Geometry. Springer, New York, 1977), and the Wiman sextic for \(d=6\) ; see Doi et al. (Osaka J. Math. 37:667–687, 2000). In this paper we work on projective plane curves defined over an algebraically closed field of characteristic zero, and we extend this result to every \(d\ge 8\) showing that the Fermat curve is the unique maximally symmetric nonsingular curve of degree \(d\) with \(d\ge 8\) , up to projectivity. For \(d=11,13,17,19\) , this characterization of the Fermat curve has already been obtained; see Kaneta et al. (Geom. Dedic. 85:317–334, 2001).     

Rigidity of manifolds with Bakry–émery Ricci curvature bounded below

Let M be a complete Riemannian manifold with Riemannian volume vol _g and f be a smooth function on M. A sharp upper bound estimate on the first eigenvalue of symmetric diffusion operator ${\Delta_f = \Delta- \nabla f \cdot \nabla}$ was given by Wu (J Math Anal Appl 361:10?C18, 2010) and Wang (Ann Glob Anal Geom 37:393?C402, 2010) under a condition that finite dimensional Bakry?Cémery Ricci curvature is bounded below, independently. They propounded an open problem is whether there is some rigidity on the estimate. In this note, we will solve this problem to obtain a splitting type theorem, which generalizes Li?CWang??s result in Wang (J Differ Geom 58:501?C534, 2001, J Differ Geom 62:143?C162, 2002). For the case that infinite dimensional Bakry?CEmery Ricci curvature of M is bounded below, we do not expect any upper bound estimate on the first eigenvalue of ?? _f without any additional assumption (see the example in Sect. 2). In this case, we will give a sharp upper bound estimate on the first eigenvalue of ?? _f under the additional assuption that ${|\nabla f|}$ is bounded. We also obtain the rigidity result on this estimate, as another Li?CWang type splitting theorem.     

Some Recent Developments on Hopf��s Holomorphic Form

Hopf??s theorem on surfaces in ${\mathbb{R}^3}$ with constant mean curvature (Hopf in Math Nach 4:232?C249, 1950-51) was a turning point in the study of such surfaces. In recent years, Hopf-type theorems appeared in various ambient spaces, (Abresch and Rosenberg in Acta Math 193:141?C174, 2004 and Abresch and Rosenberg in Mat Contemp Sociedade Bras Mat 28:283-298, 2005). The simplest case is the study of surfaces with parallel mean curvature vector in ${M_k^n \times \mathbb{R}, n \ge 2}$ , where ${M_k^n}$ is a complete, simply-connected Riemannian manifold with constant sectional curvature k ?? 0. The case n?=?2 was solved in Abresch and Rosenberg 2004. Here we describe some new results for arbitrary n.     

The pseudo-hyperplanes and homogeneous pseudo-embeddings of the generalized quadrangles of order (3, t)

In the paper “as reported by De Bruyn (Adv Geom, to appear)”, we introduced the notions of pseudo-hyperplane and pseudo-embedding of a point-line geometry and proved that every generalized quadrangle of order (s, t), 2 ≤ s < ∞, has faithful pseudo-embeddings. The present paper focuses on generalized quadrangles of order (3, t). Using the computer algebra system GAP and invoking some theoretical relationships between pseudo-hyperplanes and pseudo-embeddings obtained in “De Bruyn (Adv Geom, to appear)”, we are able to give a complete classification of all pseudo-hyperplanes of ${\mathcal{Q}}$ . We hereby find several new examples of tight sets of generalized quadrangles, as well as a complete classification of all 2-ovoids of ${\mathcal{Q}}$ . We use the classification of the pseudo-hyperplanes of ${\mathcal{Q}}$ to obtain a list of all homogeneous pseudo-embeddings of ${\mathcal{Q}}$ .     

Generalized quadrangles from a local point of view

In this lecture, I will survey several recent results in the local theory of generalized quadrangles. Starting with a short introduction to the global automorphism theory, I will motivate as such the local viewpoint, and overview some of the most important local properties which are investigated nowadays. Recent results on skew translation quadrangles and forms will be described, including a solution of a question of Payne which generalizes work of Havas et?al. (Finite geometries, groups, and computation, 2006; Adv Geom 26:389?C396, 2006), and then I will mention parts of a classification of skew translation quadrangles which is being prepared by the author. Finally, I will consider conditions which are both global and local.     

The effect of linear perturbations on the Yamabe problem

In conformal geometry, the Compactness Conjecture asserts that the set of Yamabe metrics on a smooth, compact, aspherical Riemannian manifold $\left( M,g\right) $ is compact. Established in the locally conformally flat case by Schoen (Lecture Notes in Mathematics, vol. 1365, pp. 120–154. Springer, Berlin 1989, Surveys Pure Application and Mathematics, 52 Longman Science, Technology, pp. 311–320. Harlow 1991) and for $n\le 24$ by Khuri–Marques–Schoen (J Differ Geom 81(1):143–196, 2009), it has revealed to be generally false for $n\ge 25$ as shown by Brendle (J Am Math Soc 21(4):951–979, 2008) and Brendle–Marques (J Differ Geom 81(2):225–250, 2009). A stronger version of it, the compactness under perturbations of the Yamabe equation, is addressed here with respect to the linear geometric potential $\frac{n-2}{4(n-1)} {{\mathrm{Scal}}}_g,\, {{\mathrm{Scal}}}_g$ being the Scalar curvature of $\left( M,g\right) $ . We show that a-priori $L^\infty $ –bounds fail for linear perturbations on all manifolds with $n\ge 4$ as well as a-priori gradient $L^2$ –bounds fail for non-locally conformally flat manifolds with $n\ge 6$ and for locally conformally flat manifolds with $n\ge 7$ . In several situations, the results are optimal. Our proof combines a finite dimensional reduction and the construction of a suitable ansatz for the solutions generated by a family of varying metrics in the conformal class of $g$ .     

A new graph parameter related to bounded rank positive semidefinite matrix completions

The Gram dimension $\mathrm{gd}(G)$ of a graph $G$ is the smallest integer $k\ge 1$ such that any partial real symmetric matrix, whose entries are specified on the diagonal and at the off-diagonal positions corresponding to edges of $G$ , can be completed to a positive semidefinite matrix of rank at most $k$ (assuming a positive semidefinite completion exists). For any fixed $k$ the class of graphs satisfying $\mathrm{gd}(G) \le k$ is minor closed, hence it can be characterized by a finite list of forbidden minors. We show that the only minimal forbidden minor is $K_{k+1}$ for $k\le 3$ and that there are two minimal forbidden minors: $K_5$ and $K_{2,2,2}$ for $k=4$ . We also show some close connections to Euclidean realizations of graphs and to the graph parameter $\nu ^=(G)$ of van der Holst (Combinatorica 23(4):633–651, 2003). In particular, our characterization of the graphs with $\mathrm{gd}(G)\le 4$ implies the forbidden minor characterization of the 3-realizable graphs of Belk (Discret Comput Geom 37:139–162, 2007) and Belk and Connelly (Discret Comput Geom 37:125–137, 2007) and of the graphs with $\nu ^=(G) \le 4$ of van der Holst (Combinatorica 23(4):633–651, 2003).     

Zhelobenko invariants, Bernstein-Gelfand-Gelfand operators and the analogue Kostant Clifford algebra conjecture

Let $ \mathfrak{g} $ be a complex simple Lie algebra and $ \mathfrak{h} $ a Cartan subalgebra. The Clifford algebra C( $ \mathfrak{g} $ ) of g admits a Harish-Chandra map. Kostant conjectured (as communicated to Bazlov in about 1997) that the value of this map on a (suitably chosen) fundamental invariant of degree 2?m?+?1 is just the zero weight vector of the simple (2?m?+?1)-dimensional module of the principal s-triple obtained from the Langlands dual $ {\mathfrak{g}^\vee } $ . Bazlov [1] settled this conjecture positively in type A. The hard part of the Kostant Clifford algebra conjecture is a question concerning the Harish-Chandra map for the enveloping algebra U( $ \mathfrak{g} $ ) composed with evaluation at the half sum ?? of the positive roots. The analogue Kostant conjecture is obtained by replacing the Harish-Chandra map by a ??generalized Harish-Chandra?? map. This map had been studied notably by Zhelobenko [15]. The proof given here involves a symmetric algebra version of the Kostant conjecture, the Zhelobenko invariants in the adjoint case, and, surprisingly, the Bernstein-Gelfand-Gelfand operators introduced in their study [3] of the cohomology of the flag variety.     

Uniformly Quasiregular Maps on the Compactified Heisenberg Group

We show the existence of a non-injective uniformly quasiregular mapping acting on the one-point compactification $\bar{ {\mathbb{H}}}^{1}={\mathbb{H}}^{1}\cup\{\infty\}$ of the Heisenberg group ?¹ equipped with a sub-Riemannian metric. The corresponding statement for arbitrary quasiregular mappings acting on sphere ${\mathbb{S}}^{n} $ was proven by Martin (Conform. Geom. Dyn. 1:24?C27, 1997). Moreover, we construct uniformly quasiregular mappings on $\bar{ {\mathbb{H}}}^{1}$ with large-dimensional branch sets. We prove that for any uniformly quasiregular map g on $\bar{ {\mathbb{H}}}^{1}$ there exists a measurable CR structure ?? which is equivariant under the semigroup ?? generated by g. This is equivalent to the existence of an equivariant horizontal conformal structure.     

Coning, Symmetry and Spherical Frameworks

In this paper, we combine separate works on (a) the transfer of infinitesimal rigidity results from an Euclidean space to the next higher dimension by coning (Whiteley in Topol. Struct. 8:53?C70, 1983), (b) the further transfer of these results to spherical space via associated rigidity matrices (Saliola and Whiteley in arXiv:0709.3354, 2007), and (c) the prediction of finite motions from symmetric infinitesimal motions at regular points of the symmetry-derived orbit rigidity matrix (Schulze and Whiteley in Discrete Comput. Geom. 46:561?C598, 2011). Each of these techniques is reworked and simplified to apply across several metrics, including the Minkowskian metric $\mathbb{M}^{d}$ and the hyperbolic metric ? ^d . This leads to a set of new results transferring infinitesimal and finite motions associated with corresponding symmetric frameworks among $\mathbb{E}^{d}$ , cones in $\mathbb{E}^{d+1}$ , $\mathbb{S}^{d}$ , $\mathbb{M}^{d}$ , and ? ^d . We also consider the further extensions associated with the other Cayley?CKlein geometries overlaid on the shared underlying projective geometry.     

3-Nets realizing a group in a projective plane

In a projective plane $\mathit{PG}(2,\mathbb{K})$ defined over an algebraically closed field $\mathbb{K}$ of characteristic 0, we give a complete classification of 3-nets realizing a finite group. An infinite family, due to Yuzvinsky (Compos. Math. 140:1614–1624, 2004), arises from plane cubics and comprises 3-nets realizing cyclic and direct products of two cyclic groups. Another known infinite family, due to Pereira and Yuzvinsky (Adv. Math. 219:672–688, 2008), comprises 3-nets realizing dihedral groups. We prove that there is no further infinite family. Urzúa’s 3-nets (Adv. Geom. 10:287–310, 2010) realizing the quaternion group of order 8 are the unique sporadic examples. If p is larger than the order of the group, the above classification holds in characteristic p>0 apart from three possible exceptions $\rm{Alt}_{4}$ , $\rm{Sym}_{4}$ , and $\rm{Alt}_{5}$ . Motivation for the study of finite 3-nets in the complex plane comes from the study of complex line arrangements and from resonance theory; see (Falk and Yuzvinsky in Compos. Math. 143:1069–1088, 2007; Miguel and Buzunáriz in Graphs Comb. 25:469–488, 2009; Pereira and Yuzvinsky in Adv. Math. 219:672–688, 2008; Yuzvinsky in Compos. Math. 140:1614–1624, 2004; Yuzvinsky in Proc. Am. Math. Soc. 137:1641–1648, 2009).     

Cyclic parallel CR-submanifolds of maximal CR-dimension in a complex space form

We first classify \((2n-1)\) -dimensional cyclic parallel CR-submanifold \(M\) with CR-dimension \(n-1\) in a non-flat complex space form of constant holomorphic sectional curvature \(4c\) . Then, we prove that \(||\nabla h||^2\ge 4(n-1)c^2\) , where \(h\) is the second fundamental form on \(M\) . We also completely classify \((2n-1)\) -dimensional CR-submanifolds with CR-dimension \(n-1\) in a non-flat complex space form which satisfy the equality case of this inequality. This generalizes an inequality for real hypersurfaces in a non-flat complex space form obtained by Maeda (J Math Soc Jpn 28:529–540; 1976) and Chen et al. (Algebras Groups Geom 1:176–212; 1984) for complex projective and hyperbolic spaces, respectively.     

Extension of a theorem of Shi and Tam

In this note, we prove the following generalization of a theorem of Shi and Tam (J Differ Geom 62:79–125, 2002): Let (Ω, g) be an n-dimensional (n ≥ 3) compact Riemannian manifold, spin when n?>?7, with non-negative scalar curvature and mean convex boundary. If every boundary component Σ _i has positive scalar curvature and embeds isometrically as a mean convex star-shaped hypersurface ${{\hat \Sigma}_i \subset \mathbb{R}^n}$ , then $$ \int\limits_{\Sigma_i} H \ d \sigma \le \int\limits_{{\hat \Sigma}_i} \hat{H} \ d {\hat \sigma} $$ where H is the mean curvature of Σ _i in (Ω, g), ${\hat{H}}$ is the Euclidean mean curvature of ${{\hat \Sigma}_i}$ in ${\mathbb{R}^n}$ , and where d σ and ${d {\hat \sigma}}$ denote the respective volume forms. Moreover, equality holds for some boundary component Σ _i if, and only if, (Ω, g) is isometric to a domain in ${\mathbb{R}^n}$ . In the proof, we make use of a foliation of the exterior of the ${\hat \Sigma_i}$ ’s in ${\mathbb{R}^n}$ by the ${\frac{H}{R}}$ -flow studied by Gerhardt (J Differ Geom 32:299–314, 1990) and Urbas (Math Z 205(3):355–372, 1990). We also carefully establish the rigidity statement in low dimensions without the spin assumption that was used in Shi and Tam (J Differ Geom 62:79–125, 2002).     

The Range of the Restriction Map for a Multiplicity Variety in Hörmander Algebras of Entire Functions

Characterizations of interpolating multiplicity varieties for Hörmander algebras ${A_p(\mathbb{C})}$ and ${A^0_p(\mathbb{C})}$ of entire functions were obtained by Berenstein and Li (J Geom Anal 5(1):1–48, 1995) and Berenstein et al. (Can J Math 47(1):28–43, 1995) for a radial subharmonic weight p with the doubling property. In this note we consider the case when the multiplicity variety is not interpolating, we compare the range of the associated restriction map for two weights ${q \leq p}$ and investigate when the range of the restriction map on ${A_p(\mathbb{C})}$ or ${A^0_p(\mathbb{C})}$ contains certain subspaces associated in a natural way with the smaller weight q.     

On rigidity of hypersurfaces with constant curvature functions in warped product manifolds

In this paper, we first investigate several rigidity problems for hypersurfaces in the warped product manifolds with constant linear combinations of higher order mean curvatures as well as “weighted” mean curvatures, which extend the work (Brendle in Publ Math Inst Hautes Études Sci 117:247–269, 2013; Brendle and Eichmair in J Differ Geom 94(94):387–407, 2013; Montiel in Indiana Univ Math J 48:711–748, 1999) considering constant mean curvature functions. Secondly, we obtain the rigidity results for hypersurfaces in the space forms with constant linear combinations of intrinsic Gauss–Bonnet curvatures $L_k$ . To achieve this, we develop some new kind of Newton–Maclaurin type inequalities on $L_k$ which may have independent interest.     

Weyl modules and q-Whittaker functions

Let $G$ be a semi-simple simply connected group over $\mathbb {C}$ . Following Gerasimov et al. (Comm Math Phys 294:97–119, 2010) we use the $q$ -Toda integrable system obtained by quantum group version of the Kostant–Whittaker reduction (cf. Etingof in Am Math Soc Trans Ser 2:9–25, 1999, Sevostyanov in Commun Math Phys 204:1–16, 1999) to define the notion of $q$ -Whittaker functions $\varPsi _{\check{\lambda }}(q,z)$ . This is a family of invariant polynomials on the maximal torus $T\subset G$ (here $z\in T$ ) depending on a dominant weight $\check{\lambda }$ of $G$ whose coefficients are rational functions in a variable $q\in \mathbb {C}^*$ . For a conjecturally the same (but a priori different) definition of the $q$ -Toda system these functions were studied by Ion (Duke Math J 116:1–16, 2003) and by Cherednik (Int Math Res Notices 20:3793–3842, 2009) [we shall denote the $q$ -Whittaker functions from Cherednik (Int Math Res Notices 20:3793–3842, 2009) by $\varPsi '_{\check{\lambda }}(q,z)$ ]. For $G=SL(N)$ these functions were extensively studied in Gerasimov et al. (Comm Math Phys 294:97–119, 2010; Comm Math Phys 294:121–143, 2010; Lett Math Phys 97:1–24, 2011). We show that when $G$ is simply laced, the function $\hat{\varPsi }_{\check{\lambda }}(q,z)=\varPsi _{\check{\lambda }}(q,z)\cdot {\prod \nolimits _{i\in I}\prod \nolimits _{r=1}^{\langle \alpha _i,\check{\uplambda }\rangle }(1-q^r)}$ (here $I$ denotes the set of vertices of the Dynkin diagram of $G$ ) is equal to the character of a certain finite-dimensional $G[[{\mathsf {t}}]]\rtimes \mathbb {C}^*$ -module $D(\check{\lambda })$ (the Demazure module). When $G$ is not simply laced a twisted version of the above statement holds. This result is known for $\varPsi _{\check{\lambda }}$ replaced by $\varPsi '_{\check{\lambda }}$ (cf. Sanderson in J Algebraic Combin 11:269–275, 2000 and Ion in Duke Math J 116:1–16, 2003); however our proofs are algebro-geometric [and rely on our previous work (Braverman, Finkelberg in Semi-infinite Schubert varieties and quantum $K$ -theory of flag manifolds, arXiv/1111.2266, 2011)] and thus they are completely different from Sanderson (J Algebraic Combin 11:269–275, 2000) and Ion (Duke Math J 116:1–16, 2003) [in particular, we give an apparently new algebro-geometric interpretation of the modules $D(\check{\lambda })]$ .     

Additive Results of the Drazin Inverse for Bounded Linear Operators

Given two bounded linear operators $P$ and $Q$ on a Banach space the formula for the Drazin inverse of $P+Q$ is given, under the assumptions $P^2 Q+PQ^2=0$ and $P^3 Q=PQ^3=0$ . In particular, some recent results arising in Drazin (Am Math Mon 65:506–514, 1958), Hartwig et al. (Linear Algebra Appl 322:207–217, 2001) and Castro-González et al. (J Math Anal Appl 350:207–215, 2009) are extended.