Calculating the Fundamental Group of Galois Cover of the (2,3)-embedding of ℂℙ 1 × T

As known to all,it is quite difficult to compute the fundamental group of a surface of general type.In this paper,applying Moishezon-Teicher’s algorithm,we investigate the fundamental group of a special surface of general type with zero topological index,namely,the Galois cover of the(2,3)-embedding of CP^1×T.Because the full presentation of the group is very complicated,we compute its special quotient and get an interesting result about its structure.     

The fundamental group of the complement of the branch curve of ℂℙ1 × T

Denoting by T the complex projective torus, we can embed the surface CP^1 × T in CP^5. In this paper we compute the fundamental group of the complement of the branch curve of this surface. Since the embedding is not ＂ample enough＂, the embedded surface does not belong to the classes of surfaces where the fundamental group is virtually solvable： a property which holds for these groups for ＂ample enough＂ embeddings. On the other hand, as it is the first example of this computation for non simply-connected surfaces, the structure of this group （as shown in this paper） give rise to the extension of the conjecture regarding the structure of those fundamental groups of any surface.     

On fundamental groups related to the Hirzebruch surface F_1

Given a projective surface and a generic projection to the plane,the braid monodromy factorization(and thus,the braid monodromy type)of the complement of its branch curve is one of the most important topological invariants,stable on deformations.From this factorization,one can compute the fundamental group of the complement of the branch curve,either in C~2 or in CP~2.In this article,we show that these groups,for the Hirzebruch surface F_1,(a,b),are almost-solvable.That is, they are an extension of a solvable group,which strengthen the conjecture on degeneratable surfaces.     

Skew-commutator relations and Gröbner-Shirshov basis of quantum group of type F 4

We give a Grobner-Shirshov basis of quantum group of type F4 by using the Ringel-Hall algebra approach. We compute all skew-commutator relations between the isoclasses of indecomposable representations of Ringel- Hall algebras of type F4 by using an ＇inductive＇ method. Precisely, we do not use the traditional way of computing the skew-commutative relations, that is first compute all Hall polynomials then compute the corresponding skew- commutator relations; instead, we compute the ＇easier＇ skew-commutator relations which correspond to those exact sequences with middle term indecomposable or the split exact sequences first, then ＇deduce＇ others from these ＇easier＇ ones and this in turn gives Hall polynomials as a byproduct. Then using the composition-diamond lemma prove that the set of these relations constitute a minimal CrSbner-Shirshov basis of the positive part of the quantum group of type F4. Dually, we get a Grobner-Shirshov basis of the negative part of the quantum group of type F4. And finally, we give a Gr6bner-Shirshov basis for the whole quantum group of type F4.     

New classes of domains with explicit Bergman kernel

We introduce two classes of egg type domains, built on general bounded sym-metric domains, for which we obtain the Bergman kernel in explicit formulas. As an aux-iliary tool, we compute the integral of complex powers of the generic norm on a boundedsymmetric domains using the well-known integral of Selberg. This generalizes matrix in-tegrals of Hua and leads to a special polynomial with integer or half-integer coefficientsattached to each irreducible bounded symmetric domain.     

Gradient Flow of the Lβ-Functional

In this paper,we start to study the gradient flow of the functional L_β introduced by Han-Li-Sun in[8].As a first step,we show that if the initial surface is symplectic in a K?hler surface,then the symplectic property is preserved along the gradient flow.Then we show that the singularity of the flow is characterized by the maximal norm of the second fundamental form.When β=1,we derive a monotonicity formula for the flow.As applications,we show that the l-tangent cone of the flow consists of the finite flat planes.     

Low Dimensional Cohomology of Hom-Lie Algebras and q-deformed W（2, 2） Algebra

This paper aims to study low dimensional cohomology of Hom-Lie algebras and the qdeformed W(2, 2) algebra. We show that the q-deformed W(2, 2) algebra is a Hom-Lie algebra. Also,we establish a one-to-one correspondence between the equivalence classes of one-dimensional central extensions of a Hom-Lie algebra and its second cohomology group, leading us to determine the second cohomology group of the q-deformed W(2, 2) algebra. In addition, we generalize some results of derivations of finitely generated Lie algebras with values in graded modules to Hom-Lie algebras.As application, we compute all αk-derivations and in particular the first cohomology group of the q-deformed W(2, 2) algebra.     

Parametrization of the Teichmüller space of bordered surface NEC groups

A non-Euclidean crystallographic group F （NEC group, for short） is a discrete subgroup of isometries of the hyperbolic plane H, with compact quotient space H/Г. These groups uniformize Klein surfaces, surfaces endowed with dianalytic structure. These surfaces can be seen as a generalization of Riemann surfaces.
Fundamental polygons play an important role in the study of parametrizations of the Teichmuller space of NEC groups.
In this work we construct a class of right-angled polygons which are fundamental regions of bordered surface NEC groups. The free parameters used in the construction of the polygons give a parametrization of the Teichmuller space. From the parameters we obtain explicit matrices of the generators of the groups. Finally, we give examples to exhibit how different relations between the parameters reflect the existence of automorphisms on the quotient surfaces.     

Convergence of the Solution to General Viscoelastic Koiter Shell Equations

By applying the inequality of Korn＇s type without boundary conditions on a general surface, we prove that the scaled displacement of the two-dimensional linearly viscoelastic Koiter＇s shell converges to the solution of two-dimensional model system of linearly viscoelastic ＂membrane＂ shell.     

WAVE COMPUTATION ON THE HYPERBOLIC DOUBLE DOUGHNUT

We compute the waves propagating on the compact surface of constant negative curvature and genus 2 that is a toy model in quantum chaos theory and cosmic topology. We adopt a variational approach using finite elements. We have to implement the action of the fuchsian group by suitable boundary conditions of periodic type. Despite the ergodicity of the dynamics that is quantum weak mixing, the computation is very accurate. A spectral analysis of the transient waves allows to compute the spectrum and the eigenfunctions of the Laplace-Beltrami operator. We test the exponential decay due to a localized dumping satisfying the assumption of geometric control.     

Eigenvalue inequalities for the clamped plate problem of the ■ operator

The ■ operator is introduced by Xin(2015), which is an important extrinsic elliptic differential operator of divergence type and has profound geometric meaning. In this paper, we extend the ■ operator to a more general elliptic differential operator ■, and investigate the clamped plate problem of the bi-■ operator,which is denoted by ■ on the complete Riemannian manifolds. A general formula of eigenvalues for the ■ operator is established. Applying this formula, we estimate the eigenvalues on th...     

Some Kinds of Bargaining Equilibria of Multi-objective Games

To solve the choice of multi-objective game's equilibria,we construct general bargaining games called self-bargaining games,and define their individual welfare functions with three appropriate axioms.According to the individual welfare functions,we transform the multi–objective game into a single-objective game and define its bargaining equilibrium,which is a Nash equilibrium of the single-objective game.And then,based on certain continuity and concavity of the multi-objective game's payoff function,we proof the bargaining equilibrium still exists and is also a weakly Pareto-Nash equilibrium.Moreover,we analyze several special bargaining equilibria,and compare them in a few examples.     

A Class of Left E-adequate Semigroups

In this paper we establish a construction of a class of left E-adequate semigroups by using semilattices of cancellative monoids and fundamental left E-adequate semigroups. We first introduce concepts of type μ^＋（μ^＊,μ ） abundant semigroups and type μ^＋left E-adequate semigroups. In fact, regular semigroups are type μ^＋abundant semigroups and inverse semigroups are type μ^＋left E-adequate semigroups. Next, we construct a special kind of algebras called E^＋-product. It is proved that every E^＋-product is a type μ^＋left E-adequate semigroup, and every type μ^＋left E-adequate semigroup is isomorphic to an E^＋-product of a semilattice of cancellative monoids with a fundamental left E-adequate semigroup. Finally, as a corollary of the main result, it is deduced that every inverse semigroup is isomorphic to an E^＋-product of a Clifford semigroup by a fundamental inverse semigroup.     

A characterization of Burniat surfaces with K2=4 and of non nodal type

Let S be a minimal surface of general type with pg(S) = 0 and K_S~2= 4. Assume the bicanonical map ψ of S is a morphism of degree 4 such that the image of ψ is smooth. Then we prove that the surface S is a Burniat surface with K~2= 4 and of non nodal type.     

利用GAP研究一般线性群的抛物子群

A typical example for the algebraic groups is the general linear groups G = GL(n,F), we have studied the structure of such groups and paid special attention to its important substructures, namely the Parabolic subgroups.For a given G we computed all the Parabolic subgroups and determined their number, depending on the fact that any finite group has a composition series and the composition factors of a composition series are simple groups which are completely classified, we report here some investigations on the computed Parabolic subgroups. This has been done with the utility of GAP.     

On the canonical map of surfaces with q≥6

We carry out an analysis of the canonical system of a minimal complex surface S of general type with irregularity q > 0.Using this analysis,we are able to sharpen in the case q > 0 the well-known Castelnuovo inequality KS2≥3pg(S) + q(S)-7.Then we turn to the study of surfaces with pg=2q-3 and no fibration onto a curve of genus > 1.We prove that for q≥6 the canonical map is birational.Combining this result with the analysis of the canonical system,we also prove the inequality:KS2≥7χ(S) + 2.This improves an e...     

A density theorem and its application

We compute the density of primes represented by a special quadratic form in a fixed square residue class. Using this result and a new method introduced by Thaine we prove the fact that for a prime p 3congruent to 3 modulo 4, the component e(p+1)/2of the p-Sylow subgroup of the ideal class group of Q(ζp) is trivial.     

几乎交错环链补中的不可压缩曲面

In this paper,we discuss mainly the properties of incompressible pairwies incom- prcssiblc surfaccs in almost altcrnating link complcmcnts. Lct L bca almost link and lct F be an incompressible palrwise incompressible surface in S~3-L.First,we give the properties that the surface F intersects with 2-spheres in S~3-L.The intersection consisting of a collection of circles and saddle-shaped discs is called a topological graph.One can compute the Euler Characteristic number of the surface by calculating the characteristic number of the graph.Next,we prove that if the graph is special simple,then the genus of the surface is zero.     

Isomorphisms of finite semi-Cayley graphs

Let G be a finite group. A Cayley graph over G is a simple graph whose automorphism group has a regular subgroup isomorphic to G. A Cayley graph is called a CI-graph(Cayley isomorphism) if its isomorphic images are induced by automorphisms of G. A well-known result of Babai states that a Cayley graph Γ of G is a CI-graph if and only if all regular subgroups of Aut(Γ) isomorphic to G are conjugate in Aut(Γ). A semi-Cayley graph(also called bi-Cayley graph by some authors) over G is a simple graph whose automorphism group has a semiregular subgroup isomorphic to G with two orbits(of equal size). In this paper, we introduce the concept of SCI-graph(semi-Cayley isomorphism)and prove a Babai type theorem for semi-Cayley graphs. We prove that every semi-Cayley graph of a finite group G is an SCI-graph if and only if G is cyclic of order 3. Also, we study the isomorphism problem of a special class of semi-Cayley graphs.     

A GENERAL DETERMINISTIC PIVOT METHOD FOR ORIENTED MATROID PROGRAMMING

A new pivot method for oriented matroid progiamming is given out. This mathod is deterministic by nature and is general in the sense that its flexible pivot selection rule allows a family of possible algorithms to be its special cases, including the so called criss-cross algorithm and the Edmonds-Fukuda algorithm as well. As an example of a special implementation of our general method, an extended version of the Edmonds-Fukuda algorithm is presented.