p-Groups acting on Riemann surfaces

Let p be a prime integer and let $r\ge 3$ be an integer so that $p\ge 5r?7$. We show that a closed Riemann surface S of genus $g\ge 2$ has at most one p-group H of conformal automorphisms so that $S/H$ has genus zero and exactly r cone points. This, in particular, asserts that, for $r=3$ and $p\ge 11$, the minimal field of definition of S coincides with that of $(S,H)$. Another application of this fact, for the case that S is pseudo-real, is that $\mathrm{Aut}(S)/H$ must be either trivial or a cyclic group and that r is necessarily even. This generalizes a result due to Bujalance–Costa for the case of pseudo-real cyclic p-gonal Riemann surfaces.     

Transcendence degree one function fields over a finite field with many automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field ${\mathbb{F}}_q$ of odd characteristic p. For a positive integer m prime to p, let $F=\mathbb{K}(x,y)$ be the transcendence degree 1 function field defined by $y^q+y=x^m+x^{?m}$. Let $t=x^{m(q?1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let K be the Galois closure of F with respect to H. By Stichtenoth [20], K has genus $\mathfrak{g}(K)=(qm?1)(q?1)$, p-rank (Hasse–Witt invariant) $\gamma (K)={(q?1)}^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^{2}m(q?1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of K; more precisely ${\text{Aut}}_{\mathbb{K}}(K)=\mathrm{\Delta }?D$ where Δ is an elementary abelian p-group of order $q^2$ and D has an index 2 cyclic subgroup of order $m(q?1)$. In particular, $\sqrt{m}|{\text{Aut}}_{\mathbb{K}}(K)|>\mathfrak{g}{(K)}^{3/2}$, and if K is ordinary (i.e. $\mathfrak{g}(K)=\gamma (K)$) then $|{\text{Aut}}_{\mathbb{K}}(K)|>{\mathfrak{g}}^{3/2}$. On the other hand, if G is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendence degree 1 function field L of genus $\mathfrak{g}(L)\ge 2$ defined over $\mathbb{K}$, then $|{\text{Aut}}_{\mathbb{K}}(K)|\le 34{(\mathfrak{g}(L)+1)}^{3/2}<68\sqrt{2}\mathfrak{g}{(L)}^{3/2}$; see [15]. This shows that K hits this bound up to the constant $68\sqrt{2}$.Since ${\text{Aut}}_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup N may happen to have many automorphisms provided that the normalizer of N in ${\text{Aut}}_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of Δ.     

The E-normal structure of odd dimensional unitary groups

In this paper we define odd dimensional unitary groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$. These groups contain as special cases the odd dimensional general linear groups ${\mathrm{GL}}_{2n+1}(R)$ where R is any ring, the odd dimensional orthogonal and symplectic groups ${\mathrm{O}}_{2n+1}(R)$ and ${\mathrm{Sp}}_{2n+1}(R)$ where R is any commutative ring and further the first author's even dimensional unitary groups ${\mathrm{U}}_{2n}(R,\mathrm{\Lambda })$ where $(R,\mathrm{\Lambda })$ is any form ring. We classify the E-normal subgroups of the groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ (i.e. the subgroups which are normalized by the elementary subgroup ${\mathrm{EU}}_{2n+1}(R,\mathrm{\Delta })$), under the condition that R is either a semilocal or quasifinite ring with involution and $n\ge 3$. Further we investigate the action of ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ by conjugation on the set of all E-normal subgroups.     

Fermat-type configurations of lines in P3 and the containment problem

The purpose of this note is to show a new series of examples of homogeneous ideals I in $\mathbb{K}[x,y,z,w]$ for which the containment $I^{(3)}?I^2$ fails. These ideals are supported on certain arrangements of lines in ${\mathbb{P}}^3$, which resemble Fermat configurations of points in ${\mathbb{P}}^2$, see [14]. All examples exhibiting the failure of the containment $I^{(3)}?I^2$ constructed so far have been supported on points or cones over configurations of points. Apart from providing new counterexamples, these ideals seem quite interesting on their own.     

Green's theorem and Gorenstein sequences

We study consequences, for a standard graded algebra, of extremal behavior in Green's Hyperplane Restriction Theorem. First, we extend his Theorem 4 from the case of a plane curve to the case of a hypersurface in a linear space. Second, assuming a certain Lefschetz condition, we give a connection to extremal behavior in Macaulay's theorem. We apply these results to show that $(1,19,17,19,1)$ is not a Gorenstein sequence, and as a result we classify the sequences of the form $(1,a,a?2,a,1)$ that are Gorenstein sequences.     

Inverse spectral problem for singular AKNS and Schrödinger operators on [0,1]

We consider an inverse spectral problem for singular Sturm–Liouville equations on the unit interval with explicit singularity $a(a+1)/x^2$, $a\in \mathbb{N}$. This problem arises by splitting of the Schrödinger operator with radial potential acting on the unit ball of ${\mathbb{R}}^3$. Our goal is the global parametrization of potentials by spectral data noted by ${\lambda }^a$, and some norming constants noted by ${\kappa }^a$. For $a=0$ and 1, ${\lambda }^a\times {\kappa }^a$ was already known to be a global coordinate system on $L_{\mathbb{R}}^2(0,1)$. We extend this to any non-negative integer a. Similar result is obtained for singular AKNS operator. To cite this article: F. Serier, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

An exact upper bound for sums of element orders in non-cyclic finite groups

Denote the sum of element orders in a finite group G by $\psi (G)$ and let $C_n$ denote the cyclic group of order n. Suppose that G is a non-cyclic finite group of order n and q is the least prime divisor of n. We proved that $\psi (G)\le \frac{7}{11}\psi (C_n)$ and $\psi (G)<\frac{1}{q?1}\psi (C_n)$. The first result is best possible, since for each $n=4k$, k odd, there exists a group G of order n satisfying $\psi (G)=\frac{7}{11}\psi (C_n)$ and the second result implies that if G is of odd order, then $\psi (G)<\frac{1}{2}\psi (C_n)$. Our results improve the inequality $\psi (G)<\psi (C_n)$ obtained by H. Amiri, S.M. Jafarian Amiri and I.M. Isaacs in 2009, as well as other results obtained by S.M. Jafarian Amiri and M. Amiri in 2014 and by R. Shen, G. Chen and C. Wu in 2015. Furthermore, we obtained some $\psi (G)$-based sufficient conditions for the solvability of G.     

Coloration des graphes de reines

Until 2003 no chromatic numbers (${\chi }_n$) for the queen graphs were available for $n>9$ except where n is not a multiple of 2 or 3. In this research announcement we present an exact algorithm which provides coloring solutions for $n=12,14,15,16,18,20,21,22,24,26,28$ and 32 such as ${\chi }_n=n$. Then we prove that there exists an infinite number of values for n such that $n=2p$ or $n=3p$, and ${\chi }_n=n$. To cite this article: M. Vasquez, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Nice derivations over principal ideal domains

In this paper we investigate to what extent the results of Z. Wang and D. Daigle on “nice derivations” of the polynomial ring $k[X,Y,Z]$ over a field k of characteristic zero extend to the polynomial ring $R[X,Y,Z]$ over a PID R, containing the field of rational numbers. One of our results shows that the kernel of a nice derivation on $k[X_1,X_2,X_3,X_4]$ of rank at most three is a polynomial ring over k.     

Nonexistence and symmetry of solutions to some fractional laplacian equations in the upper half space

In this article, we consider the fractional Laplacian equation(-△)~(α/2)u = K(x)f(u), x ∈ R_+~n,u ≡ 0, x/∈R_+~n,where 0 α 2, R_+~n:= {x =(x_1, x_2, ···, x_n)|x n 0}. When K is strictly decreasing with respect to |x′|, the symmetry of positive solutions is proved, where x′=(x_1, x_2, ···, x_(n-1)) ∈R~(n-1). When K is strictly increasing with respect to x n or only depend on x n, the nonexistence of positive solutions is obtained.     

Maximal linear groups induced on the Frattini quotient of a p-group

Let $p>3$ be a prime. For each maximal subgroup $H?\mathrm{GL}(d,p)$ with $|H|?p^{3d+1}$, we construct a d-generator finite p-group G with the property that $\mathrm{Aut}(G)$ induces H on the Frattini quotient $G/\mathrm{\Phi }(G)$ and $|G|?p^{\frac{d^4}{2}}$. A significant feature of this construction is that $|G|$ is very small compared to $|H|$, shedding new light upon a celebrated result of Bryant and Kovács. The groups G that we exhibit have exponent p, and of all such groups G with the desired action of H on $G/\mathrm{\Phi }(G)$, the construction yields groups with smallest nilpotency class, and in most cases, the smallest order.     

Stochastic Loewner evolution in multiply connected domains

We construct radial stochastic Loewner evolution in multiply connected domains, choosing the unit disk with concentric circular slits as a family of standard domains. The natural driving function or input is a diffusion on the associated moduli space. The diffusion stops when it reaches the boundary of the moduli space. We show that for this driving function the family of random growing compacts has a phase transition for $\kappa =4$ and $\kappa =8$, and that it satisfies locality for $\kappa =6$. To cite this article: R.O. Bauer, R.M. Friedrich, C. R. Acad. Sci. Paris, Ser. I 339 (2004).