No Arabic abstract
In this paper, by use of techniques associated to Cobordism theory and Morse theory, we give a proof of Space-Form-Conjecture, i.e. a free action of a finite group on 3-manifold is equivalent to a linear action.
Using the fact that the algebra M := M_N(C) of NxN complex matrices can be considered as a reduced quantum plane, and that it is a module algebra for a finite dimensional Hopf algebra quotient H of U_q(sl(2)) when q is a root of unity, we reduce this algebra M of matrices (assuming N odd) into indecomposable modules for H. We also show how the same finite dimensional quantum group acts on the space of generalized differential forms defined as the reduced Wess Zumino complex associated with the algebra M.
Starting from the one-way group action framework of Brassard and Yung (Crypto 90), we revisit building cryptography based on group actions. Several previous candidates for one-way group actions no longer stand, due to progress both on classical algorithms (e.g., graph isomorphism) and quantum algorithms (e.g., discrete logarithm). We propose the general linear group action on tensors as a new candidate to build cryptography based on group actions. Recent works (Futorny--Grochow--Sergeichuk, Lin. Alg. Appl., 2019) suggest that the underlying algorithmic problem, the tensor isomorphism problem, is the hardest one among several isomorphism testing problems arising from areas including coding theory, computational group theory, and multivariate cryptography. We present evidence to justify the viability of this proposal from comprehensive study of the state-of-art heuristic algorithms, theoretical algorithms, and hardness results, as well as quantum algorithms. We then introduce a new notion called pseudorandom group actions to further develop group-action based cryptography. Briefly speaking, given a group $G$ acting on a set $S$, we assume that it is hard to distinguish two distributions of $(s, t)$ either uniformly chosen from $Stimes S$, or where $s$ is randomly chosen from $S$ and $t$ is the result of applying a random group action of $gin G$ on $s$. This subsumes the classical decisional Diffie-Hellman assumption when specialized to a particular group action. We carefully analyze various attack strategies that support the general linear group action on tensors as a candidate for this assumption. Finally, we establish the quantum security of several cryptographic primitives based on the one-way group action assumption and the pseudorandom group action assumption.
We give completely combinatorial proofs of the main results of [3] using polygons. Namely, we prove that the mapping class group of a surface with boundary acts faithfully on a finitely-generated linear category. Along the way we prove some foundational results regarding the relevant objects from bordered Heegaard Floer homology,
In this work the equivariant signature of a manifold with proper action of a discrete group is defined as an invariant of equivariant bordisms. It is shown that the computation of this signature can be reduced to its computation on fixed points sets equipped with their tubular neighborhoods. It is given a description of the equivariant vector bundles with action of a discrete group $G$ for the case when the action over the base is proper quasi-free, i.e. the stationary subgroup of any point is finite. The description is given in terms of some classifying space.
Let $(Sigma,g)$ be a closed Riemannian surface, $W^{1,2}(Sigma,g)$ be the usual Sobolev space, $textbf{G}$ be a finite isometric group acting on $(Sigma,g)$, and $mathscr{H}_textbf{G}$ be a function space including all functions $uin W^{1,2}(Sigma,g)$ with $int_Sigma udv_g=0$ and $u(sigma(x))=u(x)$ for all $sigmain textbf{G}$ and all $xinSigma$. Denote the number of distinct points of the set ${sigma(x): sigmain textbf{G}}$ by $I(x)$ and $ell=inf_{xin Sigma}I(x)$. Let $lambda_1^textbf{G}$ be the first eigenvalue of the Laplace-Beltrami operator on the space $mathscr{H}_textbf{G}$. Using blow-up analysis, we prove that if $alpha<lambda_1^textbf{G}$ and $betaleq 4piell$, then there holds $$sup_{uinmathscr{H}_textbf{G},,int_Sigma| abla_gu|^2dv_g-alpha int_Sigma u^2dv_gleq 1}int_Sigma e^{beta u^2}dv_g<infty;$$ if $alpha<lambda_1^textbf{G}$ and $beta>4piell$, or $alphageq lambda_1^textbf{G}$ and $beta>0$, then the above supremum is infinity; if $alpha<lambda_1^textbf{G}$ and $betaleq 4piell$, then the above supremum can be attained. Moreover, similar inequalities involving higher order eigenvalues are obtained. Our results partially improve original inequalities of J. Moser cite{Moser}, L. Fontana cite{Fontana} and W. Chen cite{Chen-90}.