A Note on Reflexivity

We prove some new results on Hadwin's general version of reflexivity that reduce the study of E-reflexivity (or E-hyperreflexivity) of a linear subspace to a smaller linear subspace. By applying our abstract results, we present a simple proof of D. Hadwin's theorem, which states that every C^∗-algebra is approximately hyperreflexive. We also prove that the image of any C^∗-algebra under any bounded unital homomorphism into the operators on a Banach space is approximately reflexive. We introduce a new version of reflexivity, called approximate algebraic reflexivity, and study its properties.     

On unramified normal coverings of hyperelliptic curves

It is well known that the number of unramified normal coverings of an irreducible complex algebraic curve C with a group of covering transformations isomorphic to Z₂⊕Z₂ is (2^4g−3⋅2^2g+2)/6. Assume that C is hyperelliptic, say . Horiouchi has given the explicit algebraic equations of the subset of those covers which turn out to be hyperelliptic themselves. There are of this particular type. In this article, we provide algebraic equations for the remaining ones.     

Differential operators for harmonic weak Maass forms and the vanishing of Hecke eigenvalues

For integers k ≥ 2, we study two differential operators on harmonic weak Maass forms of weight 2 ? k. The operator ξ_2-k (resp. D ^k-1) defines a map to the space of weight k cusp forms (resp. weakly holomorphic modular forms). We leverage these operators to study coefficients of harmonic weak Maass forms. Although generic harmonic weak Maass forms are expected to have transcendental coefficients, we show that those forms which are “dual” under ξ_2-k to newforms with vanishing Hecke eigenvalues (such as CM forms) have algebraic coefficients. Using regularized inner products, we also characterize the image of D ^k-1.     

Cohomology for infinitesimal unipotent algebraic and quantum groups

In this paper we study the structure of cohomology spaces for the Frobenius kernels of unipotent and parabolic algebraic group schemes and of their quantum analogs. Given a simple algebraic group G, a parabolic subgroup P _J , and its unipotent radical U _J , we determine the ring structure of the cohomology ring H^?((U _J )₁, k). We also obtain new results on computing H^?((P _J )₁, L(??)) as an L _J -module where L(??) is a simple G-module with highest weight ?? in the closure of the bottom p-alcove. Finally, we provide generalizations of all our results to small quantum groups at a root of unity.     

Deformations of Bloch groups and Aomoto dilogarithms in characteristic p

In this paper, we study the Bloch group B₂(F₂[ε]) over the ring of dual numbers of the algebraic closure of the field with p elements, for a prime p?5. We show that a slight modification of Kontsevich?s -logarithm defines a function on B₂(F₂[ε]). Using this function and the characteristic p version of the additive dilogarithm function that we previously defined, we determine the structure of the infinitesimal part of B₂(F₂[ε]) completely. This enables us to define invariants on the group of deformations of Aomoto dilogarithms and determine its structure. This final result might be viewed as the analog of Hilbert?s third problem in characteristic p.     

On some probabilistic approximations for AES-like s-boxes

Several recently proposed block ciphers such as AES, Camellia, Shark, Square and Hierocrypt use s-boxes that are based on the inversion mapping over GF(2ⁿ). In order to hide the simple algebraic structure in this mapping, an affine transformation over F₂ is usually used after the output of the s-box. In some ciphers, an additional affine transformation is used before the input of the s-box as well. In this paper, we study the algebraic properties of a simple approximation in the form s(x)=ax^-1+b, a,b∈GF(2ⁿ) for such s-boxes. The implication of this result on the cryptanalysis of these ciphers remains an open problem.     

On elliptic modular foliations

In this article we consider the three parameter family of elliptic curves E^t: y² − 4(x − t₁ )³ + t² (x − t₁) + t₃ = 0, t ∈ ?³, and study the modular holomorphic foliation ?ω, in ?³ whose leaves are constant locus of the integration of a l-form ω over topological cycles of E_t. Using the Gauss—Manin connection of the family E^t, we show that ?ω is an algebraic foliation. In the case , we prove that a transcendent leaf of ?ω contains at most one point with algebraic coordinates and the leaves of ?ω corresponding to the zeros of integrals, never cross such a point. Using the generalized period map associated to the family E^t, we find a uniformization of ?ω in T, where T ⊂ ?³ is the locus of parameters t for which E_t is smooth. We find also a real first integral of ?ω. restricted to T and show that ?ω is given by the Ramanujan relations between the Eisenstein series.     

Extending Elliptic Curve Chabauty to higher genus curves

We give a generalization of the method of “Elliptic Curve Chabauty” to higher genus curves and their Jacobians. This method can sometimes be used in conjunction with covering techniques and a modified version of the Mordell–Weil sieve to provide a complete solution to the problem of determining the set of rational points on an algebraic curve Y. We show how to apply these explicitly by using them to prove that the equation y ² = (x ³ + x ² ? 1) Φ₁₁(x) has no rational solutions.     

Short Proofs Using Compact Representations of Algebraic Integers

We show that under the assumption of a certain generalized Riemann hypothesis the problem of verifying the value of the class number of an arbitrary algebraic number field of arbitrary degree belongs to the complexity class NP. In order to prove this result we introduce compact representations of algebraic integers which allows us to represent a system of fundamental units by (log₂(Δ))^O(1) bits.     

On an approximation property for nondiscrete inequivalent representations of finitely generated groups

Let R(Γ, G) be the variety of representations of a finitely generated group Γ in a simple complex algebraic group G. We establish some sufficient conditions for the image of the diagonal representation ϱ = (ϱ₁, …, ϱ_t), ϱ_i ε R(Γ, G), to be dense in G^f in the complex topology (“weak approximation”).     

Lamé equations with algebraic solutions

In this paper we study Lamé equations L_n,By=0 in so-called algebraic form, having only algebraic functions as solution. In particular we provide a complete list of all finite groups that occur as the monodromy groups, together with a list of examples of such equations. We show that the set of such Lamé equations with is countable, up to scaling of the equation. This result follows from the general statement that the set of equivalent second-order equations, having algebraic solutions and all of whose integer local exponent differences are 1, is countable.     

Finite orbit modules for parabolic subgroups of exceptional groups

Let G be a reductive linear algebraic group, P a parabolic subgroup of G and P_u its unipotent radical. We consider the adjoint action of P on the Lie algebra _u of P_u. Each higher term _u^(l) of the descending central series of _u is stable under this action. For classical G all instances when P acts on _u^(l) with a finite number of orbits were determined in [9], [10], [3] and [4]. In this note we extend these results to groups of type F₄ and E₆. Moreover, when P acts on _u^(l) with an infinite number of orbits, we determine whether P still acts with a dense orbit. For G of type E₇ and E₈ we investigate only the case of a Borel subgroup.We present a complete classification of all instances when _u^(l) is a prehomogeneous space for a Borel subgroup B of a reductive algebraic group for any l ≥ 0.     

Problems in algebra inspired by universal algebraic geometry

Let Θ be a variety of algebras. In every variety Θ and every algebra H from Θ one can consider algebraic geometry in Θ over H. We also consider a special categorical invariant K _Θ of this geometry. The classical algebraic geometry deals with the variety Θ = Com-P of all associative and commutative algebras over the ground field of constants P. An algebra H in this setting is an extension of the ground field P. Geometry in groups is related to the varieties Grp and Grp-G, where G is a group of constants. The case Grp-F, where F is a free group, is related to Tarski’s problems devoted to logic of a free group. The described general insight on algebraic geometry in different varieties of algebras inspires some new problems in algebra and algebraic geometry. The problems of such kind determine, to a great extent, the content of universal algebraic geometry. For example, a general and natural problem is: When do algebras H ₁ and H ₂ have the same geometry? Or more specifically, what are the conditions on algebras from a given variety Θ that provide the coincidence of their algebraic geometries? We consider two variants of coincidence: 1) K _Θ(H ₁) and K _Θ(H ₂) are isomorphic; 2) these categories are equivalent. This problem is closely connected with the following general algebraic problem. Let Θ⁰ be the category of all algebras W = W(X) free in Θ, where X is finite. Consider the groups of automorphisms Aunt(Θ⁰) for different varieties Θ and also the groups of autoequivalences of Θ⁰. The problem is to describe these groups for different Θ.     

Convergence rate of the solution toward boundary layer solution for initial-boundary value problem of the 2-D viscous conservation laws

In this paper, we study the large time behavior of the solution to the initial boundary value problem for 2-D viscous conservation laws in the space x ? bt. The global existence and the asymptotic stability of a stationary solution are proved by Kawashima et al. [1]. Here, we investigate the convergence rate of solution toward the boundary layer solution with the non-degenerate case where f′(u₊) − b < 0. Based on the estimate in the H² Sobolev space and via the weighted energy method, we draw the conclusion that the solution converges to the corresponding boundary layer solution with algebraic or exponential rate in time, under the assumption that the initial perturbation decays with algebraic or exponential in the spatial direction.     

On a linear transcendence measure for the solutions of a universal differential equation at algebraic points

In this paper the author continues his work on arithmetic properties of the solutions of a universal differential equation at algebraic points. Every real continuous function on the real line can be uniformly approximated by C^∞-solutions of a universal differential equation. An algebraic universal differential equation of order five and degree 11 is explicitly given, such that every finite set of nonvanishing derivatives y^(k₁)(τ),…,y^(k_r)(τ) (1?k₁<?<k_r) at an algebraic point τ is linearly independent over the field of algebraic numbers. A linear transcendence measure for these values is effectively computed.     

Optimal concavity of some Hessian operators and the prescribed σ 2 curvature measure problem

In this paper, we consider a minimal value problem and obtain an algebraic inequality. As an application, we obtain the optimal concavity of some Hessian operators and then establish the C2 a priori estimate for a class of prescribed σ2 curvature measure equations.     

On the Zeros of Krasner Analytic Functions

Given a prime number p and a compact subset X of the topological completion ? _p of the algebraic closure of the field of p-adic numbers, we study the set of zeros of Krasner analytic functions defined on ?¹(? _p ) \ X with values in ? _p .     

Construction et classification de certaines solutions algébriques des systèmes de Garnier

IsomonodromicdeformationsofFuchsianequationsoforder2onRiemann sphere are parameterized by the solutions of Garnier system. The purpose of this paper is to construct algebraic solutions exotic, i.e. corresponding to deformations of Fuchsian equation with Zariski dense monodromy. Specifically, we classify all the algebraic solutions (complete) exotic constructed by the method of pull-back of Doran-Kitaev: they are deduced from the data isomonodromic deformations pulling back a Fuchsian equation E given by a family of branched coverings ? _t . We first introduce the structures and associated orbifoldes underlying Fuchsian equation. This allows us to have are fined version of the Riemann Hurwitz formula that allows us quickly to show that E must be hypergeometric. Then we come to limit the degree of ? and exponents, and finally to Painlevé VI. We explicitly construct one of these solutions.     

Decomposition and approximation of multivariate functions on the cube

In this paper, we present a decomposition method of multivariate functions. This method shows that any multivariate function f on [0, 1]d is a finite sum of the form ∑jφjψj , where each φj can be extended to a smooth periodic function, each ψj is an algebraic polynomial, and each φjψj is a product of separated variable type and its smoothness is same as f . Since any smooth periodic function can be approximated well by trigonometric polynomials, using our decomposition method, we find that any smooth multivariate function on [0, 1]d can be approximated well by a combination of algebraic polynomials and trigonometric polynomials. Meanwhile, we give a precise estimate of the approximation error.