In this paper, we are concerned with the following a new critical nonlocal Schrödinger-Poisson system on the Heisenberg group: − a − b ∫ Ω | ∇ H u | 2 d ξ Δ H u + μ ϕ u = λ | u | q − 2 u + | u | 2 u , in Ω , − Δ H ϕ = u 2 , in Ω , u = ϕ = 0 , on ∂ Ω , $$\begin{equation*}\begin{cases} -\left(a-b\int_{\Omega}|\nabla_{H}u|^{2}d\xi\right)\Delta_{H}u+\mu\phi u=\lambda|u|^{q-2}u+|u|^{2}u,\quad &\mbox{in} \, \Omega,\\ -\Delta_{H}\phi=u^2,\quad &\mbox{in}\, \Omega,\\ u=\phi=0,\quad &\mbox{on}\, \partial\Omega, \end{cases} \end{equation*}$$ where Δ H is the Kohn-Laplacian on the first Heisenberg group H 1 $ \mathbb{H}^1 $ , and Ω ⊂ H 1 $ \Omega\subset \mathbb{H}^1 $ is a smooth bounded domain, a, b > 0, 1 < q < 2 or 2 < q < 4, λ > 0 and μ ∈ R $ \mu\in \mathbb{R} $ are some real parameters. Existence and multiplicity of solutions are obtained by an application of the mountain pass theorem, the Ekeland variational principle, the Krasnoselskii genus theorem and the Clark critical point theorem, respectively. However, there are several difficulties arising in the framework of Heisenberg groups, also due to the presence of the non-local coefficient (a − b∫Ω∣∇ H u∣2 dx) as well as critical nonlinearities. Moreover, our results are new even on the Euclidean case.

In this paper we establish existence and multiplicity solutions for a class of Choquard-Kirchhoff type equations with variable exponents and critical reaction. Because of the critical reaction, we can use the concentration-compactness principle to deal with the lack of compactness. The results are also based on the combination of the mountain pass theorem and the Hardy-Littlewood-Sobolev inequality for variable exponents. And we discuss the results in non-degenerate and degenerate cases.

<abstract><p>We prove the existence and multiplicity of solutions for a class of Choquard-Kirchhoff type equations with variable exponents and critical reaction. Because the appearance of the critical reaction, we deal with the lack of compactness by using the concentration-compactness principle. In particular, we discuss the main results in non-degenerate and degenerate cases. And we apply combination of Krasnoselskii genus and the Hardy-Littlewood-Sobolev inequality to get the results of existence and multiplicity.</p></abstract>