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).     

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.     

Modularity and monotonicity of games

The purpose of this paper is twofold. First, we generalize Kajii et al. (J Math Econ 43:218–230, 2007) and provide a condition under which for a game \(v\) , its Möbius inverse is equal to zero within the framework of the \(k\) -modularity of \(v\) for \(k \ge 2\) . This condition is more general than that in Kajii et al. (J Math Econ 43:218–230, 2007). Second, we provide a condition under which for a game \(v\) , its Möbius inverse takes non-negative values, and not just zero. This paper relates the study of totally monotone games to that of \(k\) -monotone games. Furthermore, this paper shows that the modularity of a game is related to \(k\) -additive capacities proposed by Grabisch (Fuzzy Sets Syst 92:167–189, 1997). To illustrate its application in the field of economics, we use these results to characterize a Gini index representation of Ben-Porath and Gilboa (J Econ Theory 64:443–467, 1994). Our results can also be applied to potential functions proposed by Hart and Mas-Colell (Econometrica 57:589–614, 1989) and further analyzed by Ui et al. (Math Methods Oper Res 74:427–443, 2011).     

A refined stable restriction theorem for vector bundles on quadric threefolds

Let \(E\) be a stable rank 2 vector bundle on a smooth quadric threefold \(Q\) in the projective 4-space \(P\) . We show that the hyperplanes \(H\) in \(P\) for which the restriction of \(E\) to the hyperplane section of \(Q\) by \(H\) is not stable form, in general, a closed subset of codimension at least 2 of the dual projective 4-space, and we explicitly describe the bundles \(E\) which do not enjoy this property. This refines a restriction theorem of Ein and Sols (Nagoya Math J 96:11–22, 1984) in the same way the main result of Coand? (J Reine Angew Math 428:97–110, 1992) refines the restriction theorem of Barth (Math Ann 226:125–150, 1977).     

On some free boundary problem for a compressible barotropic viscous fluid flow

In this paper, we prove a local in time unique existence theorem for the free boundary problem of a compressible barotropic viscous fluid flow without surface tension in the \(L_p\) in time and \(L_q\) in space framework with \(2 < p < \infty \) and \(N < q < \infty \) under the assumption that the initial domain is a uniform \(W^{2-1/q}_q\) one in \({\mathbb {R}}^{N}\, (N \ge 2\) ). After transforming a unknown time dependent domain to the initial domain by the Lagrangian transformation, we solve problem by the Banach contraction mapping principle based on the maximal \(L_p\) – \(L_q\) regularity of the generalized Stokes operator for the compressible viscous fluid flow with free boundary condition. The key issue for the linear theorem is the existence of \({\mathcal {R}}\) -bounded solution operator in a sector, which combined with Weis’s operator valued Fourier multiplier theorem implies the generation of analytic semigroup and the maximal \(L_p\) – \(L_q\) regularity theorem. The nonlinear problem we studied here was already investigated by several authors (Denisova and Solonnikov, St. Petersburg Math J 14:1–22, 2003; J Math Sci 115:2753–2765, 2003; Secchi, Commun PDE 1:185–204, 1990; Math Method Appl Sci 13:391–404, 1990; Secchi and Valli, J Reine Angew Math 341:1–31, 1983; Solonnikov and Tani, Constantin carathéodory: an international tribute, vols 1, 2, pp 1270–1303, World Scientific Publishing, Teaneck, 1991; Lecture notes in mathematics, vol 1530, Springer, Berlin, 1992; Tani, J Math Kyoto Univ 21:839–859, 1981; Zajaczkowski, SIAM J Math Anal 25:1–84, 1994) in the \(L_2\) framework and Hölder spaces, but our approach is different from them.     

Stationary distribution of a two-dimensional SRBM: geometric views and boundary measures

We present three sets of results for the stationary distribution of a two-dimensional semimartingale-reflecting Brownian motion (SRBM) that lives in the non-negative quadrant. The SRBM data can equivalently be specified by three geometric objects, an ellipse and two lines, in the two-dimensional Euclidean space. First, we revisit the variational problem (VP) associated with the SRBM. Building on Avram et al. (Queueing Syst. 37: 259–289, 2001), we show that the value of the VP at a point in the quadrant is equal to the optimal value of a linear function over a convex domain. Depending on the location of the point, the convex domain is either $\mathcal{D}^{(1)}$ or $\mathcal{D}^{(2)}$ or $\mathcal{D}^{(1)}\cap \mathcal{D}^{(2)},$ where each $\mathcal{D}^{(i)},$ $i=1, 2,$ can easily be described by the three geometric objects. Our results provide a geometric interpretation for the value function of the VP and allow one to see geometrically when one edge of the quadrant has influence on the optimal path traveling from the origin to a destination point. Second, we provide a geometric condition that characterizes the existence of a product form stationary distribution. Third, we establish exact tail asymptotics of two boundary measures that are associated with the stationary distribution; a key step in our proof is to sharpen two asymptotic inversion lemmas in Dai and Miyazawa (Stoch. Syst. 1:146–208, 2011) which allow one to infer the exact tail asymptotic of a boundary measure from the singularity of its moment-generating function.     

A vanishing result for strictly p-convex domains

In view of Andreotti and Grauert (Bull Soc Math France 90:193–259, 1962) vanishing theorem for \(q\) -complete domains in \(\mathbb C ^{n}\) , we reprove a vanishing result by Sha (Invent Math 83(3):437–447, 1986), and Wu (Indiana Univ Math J 36(3):525–548, 1987), for the de Rham cohomology of strictly \(p\) -convex domains in \(\mathbb R ^n\) in the sense of Harvey and Lawson (The foundations of \(p\) -convexity and \(p\) -plurisubharmonicity in riemannian geometry. arXiv:1111.3895v1 [math.DG]). Our proof uses the \({L}^2\) -techniques developed by Hörmander (An introduction to complex analysis in several variables, 3rd edn. North-Holland Publishing Co, Amsterdam 1990), and Andreotti and Vesentini (Inst Hautes Études Sci Publ Math 25:81–130, 1965).     

The Gasca–Maeztu conjecture for n=5

An \(n\) -poised set in two dimensions is a set of nodes admitting unique bivariate interpolation with polynomials of total degree at most \(n\) . We are interested in poised sets with the property that all fundamental polynomials are products of linear factors. Gasca and Maeztu (Numer Math 39:1–14, 1982) conjectured that every such set necessarily contains \(n+1\) collinear nodes. Up to now, this had been confirmed only for \(n\le 4\) , the case \(n=4\) having been proved for the first time by Busch (Rev Un Mat Argent 36:33–38, 1990). In the present paper, we prove the case \(n=5\) with new methods that might also be useful in deciding the still open cases for \(n\ge 6\) .     

Characterization of ellipses as uniformly dense sets with respect to a family of convex bodies

Let \(K\subset \mathbb R ^N\) be a convex body containing the origin. A measurable set \(G\subset \mathbb R ^N\) with positive Lebesgue measure is said to be uniformly \(K\) -dense if, for any fixed \(r>0\) , the measure of \(G\cap (x+r K)\) is constant when \(x\) varies on the boundary of \(G\) (here, \(x+r K\) denotes a translation of a dilation of \(K\) ). We first prove that \(G\) must always be strictly convex and at least \(C^{1,1}\) -regular; also, if \(K\) is centrally symmetric, \(K\) must be strictly convex, \(C^{1,1}\) -regular and such that \(K=G-G\) up to homotheties; this implies in turn that \(G\) must be \(C^{2,1}\) -regular. Then for \(N=2\) , we prove that \(G\) is uniformly \(K\) -dense if and only if \(K\) and \(G\) are homothetic to the same ellipse. This result was already proven by Amar et al. in 2008 . However, our proof removes their regularity assumptions on \(K\) and \(G\) , and more importantly, it is susceptible to be generalized to higher dimension since, by the use of Minkowski’s inequality and an affine inequality, avoids the delicate computations of the higher-order terms in the Taylor expansion near \(r=0\) for the measure of \(G\cap (x+r\,K)\) (needed in 2008).     

C^{1,\alpha }-regularity for surfaces with H\in L^p

In this paper, we prove several results on the geometry of surfaces immersed in \(\mathbb {R}^3\) with small or bounded \(L^2\) norm of \(|A|\) . For instance, we prove that if the \(L^2\) norm of \(|A|\) and the \(L^p\) norm of \(H\) , \(p>2\) , are sufficiently small, then such a surface is graphical away from its boundary. We also prove that given an embedded disk with bounded \(L^2\) norm of \(|A|\) , not necessarily small, then such a disk is graphical away from its boundary, provided that the \(L^p\) norm of \(H\) is sufficiently small, \(p>2\) . These results are related to previous work of Schoen–Simon (Surfaces with quasiconformal Gauss map. Princeton University Press, Princeton, vol 103, pp 127–146, 1983) and Colding–Minicozzi (Ann Math 160:69–92, 2004).     

Smooth Fano Polytopes with Many Vertices

The \(d\) -dimensional simplicial, terminal, and reflexive polytopes with at least \(3d-2\) vertices are classified. In particular, it turns out that all of them are smooth Fano polytopes. This improves on previous results of Casagrande (Ann Inst Fourier (Grenoble) 56(1):121–130, 2006) and Øbro (Manuscr Math 125(1): 69–79, 2008). Smooth Fano polytopes play a role in algebraic geometry and mathematical physics.     

Maximal Contractive Tuples

Maximality of a contractive tuple of operators is considered. A characterization for a contractive tuple to be maximal is obtained. The notion of maximality for a submodule of the Drury–Arveson module on the \(d\) -dimensional unit ball \({\mathbb {B}}_d\) is defined. For \(d=1\) , it is shown that every submodule of the Hardy module over the unit disc is maximal. But for \(d\ge 2\) we prove that any homogeneous submodule or submodule generated by polynomials is not maximal. A characterization of maximal submodules is obtained.     

L_p-theory of free boundary problems of magnetohydrodynamics in multi-connected domains

We present the \(L_p\) -theory of solvability of free boundary problems of magnetohydrodynamics of viscous incompressible fluids in multi-connected domains constructed in the paper Solonnikov (Interf Free Bound 14:569–603, 2012) for \(p=2\) . The case of simply connected domains is studied in Padula and Solonnikov (J Math Sci 178:313–344, 2011), Solonnikov ( \(L_p\) -theory of free boundary problems of magnetohydrodynamics in simply connected domains, submitted to AMS Translations).     

On Radii of Spheres Determined by Subsets of Euclidean Space

In this paper the author considers the problem of how large the Hausdorff dimension of \(E\subset \mathbb {R}^d\) needs to be in order to ensure that the radii set of \((d-1)\) -dimensional spheres determined by \(E\) has positive Lebesgue measure. The author also studies the question of how often can a neighborhood of a given radius repeat. There are two results obtained in this paper. First, by applying a general mechanism developed in Grafakos et al. (2013) for studying Falconer-type problems, the author proves that a neighborhood of a given radius cannot repeat more often than the statistical bound if \(\dim _{{\mathcal H}}(E)>d-1+\frac{1}{d}\) ; In \(\mathbb {R}^2\) , the dimensional threshold is sharp. Second, by proving an intersection theorem, the author proves that for a.e \(a\in \mathbb {R}^d\) , the radii set of \((d-1)\) -spheres with center \(a\) determined by \(E\) must have positive Lebesgue measure if \(\dim _{{\mathcal H}}(E)>d-1\) , which is a sharp bound for this problem.     

Laplacian ideals,arrangements, and resolutions

The Laplacian matrix of a graph \(G\) describes the combinatorial dynamics of the Abelian Sandpile Model and the more general Riemann–Roch theory of \(G\) . The lattice ideal associated to the lattice generated by the columns of the Laplacian provides an algebraic perspective on this recently (re)emerging field. This binomial ideal \(I_G\) has a distinguished monomial initial ideal \(M_G\) , characterized by the property that the standard monomials are in bijection with the \(G\) -parking functions of the graph \(G\) . The ideal \(M_G\) was also considered by Postnikov and Shapiro (Trans Am Math Soc 356:3109–3142, 2004) in the context of monotone monomial ideals. We study resolutions of \(M_G\) and show that a minimal-free cellular resolution is supported on the bounded subcomplex of a section of the graphical arrangement of \(G\) . This generalizes constructions from Postnikov and Shapiro (for the case of the complete graph) and connects to work of Manjunath and Sturmfels, and of Perkinson et al. on the commutative algebra of Sandpiles. As a corollary, we verify a conjecture of Perkinson et al. regarding the Betti numbers of \(M_G\) and in the process provide a combinatorial characterization in terms of acyclic orientations.     

A New Topological Helly Theorem and Some Transversal Results

We prove that for a topological space \(X\) with the property that \( H_{*}(U)=0\) for \(*\ge d\) and every open subset \(U\) of \(X\) , a finite family of open sets in \(X\) has nonempty intersection if for any subfamily of size \(j,\,1\le j\le d+1,\) the \((d-j)\) -dimensional homology group of its intersection is zero. We use this theorem to prove new results concerning transversal affine planes to families of convex sets.     

Hyperbolicity of the cyclic splitting graph

We define a new graph on which \(Out(F_n)\) acts by simplicial automorphisms, the cyclic splitting graph of  \(F_n\) , and show that \(FZ_n\) is hyperbolic using a method developed by Kapovich and Rafi (Hyperbolicity of the free factor complex, 2012).