On k-regular functions with values in a universal Clifford algebra

In this paper, we mainly study properties of nullsolutions of the operator Dk (k∈N^∗=N?{0}), so-called k-regular functions. Firstly, we study the set of all homogeneous polynomials of degree p in x₁,…,xn which are k-regular in the whole Rn, clearly is a right module over C(Vn,n), we construct a basis for the right module . Secondly, we study the k-regular and analytic functions, and we give the Taylor expansions for these functions. At last, the corresponding Taylor expansions for k-regular functions are given since each k-regular function is a real analytic function.     

Symmetric square L-values and dihedral congruences for cusp forms

Let be a prime, and k=(p+1)/2. In this paper we prove that two things happen if and only if the class number . One is the non-integrality at p of a certain trace of normalised critical values of symmetric square L-functions, of cuspidal Hecke eigenforms of level one and weight k. The other is the existence of such a form g whose Hecke eigenvalues satisfy “dihedral” congruences modulo a divisor of p (e.g. p=23, k=12, g=Δ). We use the Bloch-Kato conjecture to link these two phenomena, using the Galois interpretation of the congruences to produce global torsion elements which contribute to the denominator of the conjectural formula for an L-value. When , the trace turns out always to be a p-adic unit.     

Contributions to max-min convex geometry. I: Segments

We give some contributions to the theory of “max-min convex geometry”, that is, convex geometry in the semimodule over the max-min semiring R_max,min=R∪{-∞,+∞}. We introduce “elementary segments” that generalize from n=2 the horizontal, vertical or oblique segments contained in the main bisector of . We show that every segment in is a concatenation of a finite number of elementary subsegments (at most 2n-1, respectively at most 2n-2, in the case of comparable, respectively, incomparable, endpoints x,y). In this first part we study “max-min segments”, and in the subsequent second part (submitted) we study “max-min semispaces” and some of their relations to “max-min convex sets”.     

Note on the energy of regular graphs

For a simple graph G, the energy E(G) is defined as the sum of the absolute values of all the eigenvalues of its adjacency matrix A(G). Let n,m, respectively, be the number of vertices and edges of G. One well-known inequality is that , where λ₁ is the spectral radius. If G is k-regular, we have . Denote . Balakrishnan [R. Balakrishnan, The energy of a graph, Linear Algebra Appl. 387 (2004) 287-295] proved that for each ?>0, there exist infinitely many n for each of which there exists a k-regular graph G of order n with k<n-1 and , and proposed an open problem that, given a positive integer n?3, and ?>0, does there exist a k-regular graph G of order n such that . In this paper, we show that for each ?>0, there exist infinitely many such n that . Moreover, we construct another class of simpler graphs which also supports the first assertion that .     

Self-correspondences of the generic fibre of Lefschetz pencils and the Leray filtration

In this paper we give a detailed analysis of the interaction between homological self-correspondences of the general fibre Y/k(t) of the Lefschetz fibration of a Lefschetz pencil on a smooth projective variety X/k, and the Leray filtration of ρ. We derive the result that, if the standard conjecture B(Y) holds, then the operator is algebraic, where is defined as the inverse of L on LPn−1(X) and 0 on LkPj(X) for (1,n−1)≠(k,j); in the course of our proof we see that, under the above assumption, the Künneth projectors for i≠n−1,n,n+1 are algebraic.     

Solutions of non-periodic super-quadratic Dirac equations

This paper is concerned with solutions to the Dirac equation: −i∑αkk_∂u+aβu+M(x)u=Ru(x,u). Here M(x) is a general potential and R(x,u) is a self-coupling which is super-quadratic in u at infinity. We use variational methods to study this problem. By virtue of some auxiliary system related to the “limit equation” of the Dirac equation, we construct linking levels of the variational functional ΦM such that the minimax value cM based on the linking structure of ΦM satisfies , where is the least energy of the “limit equation”. Thus we can show the c(C)-condition holds true for all and consequently obtain one least energy solution to the Dirac equation.     

A multiplicity result for the jumping nonlinearity problem

We consider a class of nonlinear problems of the form Au+g(x,u)=f, where A is an unbounded self-adjoint operator on a Hilbert space H of L2(Ω)-functions, an arbitrary domain, and is a “jumping nonlinearity” in the sense that the limits , exist and “jump” over the principal eigenvalue of the operator −A. Under rather general conditions on the operator L and for suitable a<b, we prove some multiplicity results. Applications are given to the wave equation, and elliptic equations in the whole space .     

Spectral results on graphs with regularity constraints

Graphs with (k, τ)-regular sets and equitable partitions are examples of graphs with regularity constraints. A (k, τ)-regular set of a graph G is a subset of vertices S ⊆ V(G) inducing a k-regular subgraph and such that each vertex not in S has τ neighbors in S. The existence of such structures in a graph provides some information about the eigenvalues and eigenvectors of its adjacency matrix. For example, if a graph G has a (k₁, τ₁)-regular set S₁ and a (k₂, τ₂)-regular set S₂ such that k₁ − τ₁ = k₂ − τ₂ = λ, then λ is an eigenvalue of G with a certain eigenvector. Additionally, considering primitive strongly regular graphs, a necessary and sufficient condition for a particular subset of vertices to be (k, τ)-regular is introduced. Another example comes from the existence of an equitable partition in a graph. If a graph G, has an equitable partition π then its line graph, L(G), also has an equitable partition, , induced by π, and the adjacency matrix of the quotient graph is obtained from the adjacency matrix of G/π.     

Projectively simple rings

An infinite-dimensional N-graded k-algebra A is called projectively simple if dim_kA/I<∞ for every nonzero two-sided ideal I⊂A. We show that if a projectively simple ring A is strongly noetherian, is generated in degree 1, and has a point module, then A is equal in large degree to a twisted homogeneous coordinate ring B=B(X,L,σ). Here X is a smooth projective variety, σ is an automorphism of X with no proper σ-invariant subvariety (we call such automorphisms wild), and L is a σ-ample line bundle. We conjecture that if X admits a wild automorphism then every irreducible component of X is an abelian variety. We prove several results in support of this conjecture; in particular, we show that the conjecture is true if . In the case where X is an abelian variety, we describe all wild automorphisms of X . Finally, we show that if A is projectively simple and admits a balanced dualizing complex, then is Cohen-Macaulay and Gorenstein.     

Images of locally finite derivations of polynomial algebras in two variables

In this paper we show that the image of any locally finite k-derivation of the polynomial algebra k[x,y] in two variables over a field k of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian conjecture is equivalent to the statement that the image of every k-derivation D of k[x,y] such that and is a Mathieu subspace of k[x,y].     

Galois deformation theory for norm fields and flat deformation rings

Let K be a finite extension of Qp, and choose a uniformizer π∈K, and put . We introduce a new technique using restriction to to study flat deformation rings. We show the existence of deformation rings for -representations “of height ≤h” for any positive integer h, and prove that when h=1 they are isomorphic to “flat deformation rings”. This -deformation theory has a good positive characteristics analogue of crystalline representations in the sense of Genestier-Lafforgue. In particular, we obtain a positive characteristic analogue of crystalline deformation rings, and can analyze their local structure.     

Dilation equations and Markov operators

Using the theory of Markov operators, we give a new proof of the known fact saying that for every positive integers N and k>1, and for every nonnegative reals c₀,…,cN satisfying the first sum rule the dilation equation

     

Representations of trigonometric Cherednik algebras of rank one in positive characteristic

In this paper, we classify the irreducible representations of the trigonometric Cherednik algebras of rank 1 in characteristic p>0. There are two cases. One is the “quantum” case, where “Planck’s constant” is nonzero and generic irreducible representations have dimension 2p. In this case, smaller representations exist if and only if the “coupling constant” k is in ; namely, if k is an even integer such that 0≤k≤p−1, then there exist irreducible representations of dimensions p−k and p+k, and if k is an odd integer such that 1≤k≤p−2, then there exist irreducible representations of dimensions k and 2p−k. The other case is the “classical” case, where “Planck’s constant” is zero and generic irreducible representations have dimension 2. In that case, one-dimensional representations exist if and only if the “coupling constant” k is zero.     

EKR type inequalities for 4-wise intersecting families

Let 1?t?7 be an integer and let F be a k-uniform hypergraph on n vertices. Suppose that |A∩B∩C∩D|?t holds for all A,B,C,D∈F. Then we have if holds for some ε>0 and all n>n₀(ε). We apply this result to get EKR type inequalities for “intersecting and union families” and “intersecting Sperner families.”     

Majorization of regular measures and weights with finite and positive critical exponent

For the sets , 1?p<∞, of positive finite Borel measures μ on the real axis with the set of algebraic polynomials P dense in Lp(R,dμ), we establish a majorization principle of their “boundaries,” i.e. for every there exists such that dμ/dν?1. A corresponding principle holds for the sets , p>0, of non-negative upper semi-continuous on R functions (weights) w such that P is dense in the space : For every there exists such that w?ω.