For each uniformity $k \geq 3$, we construct $k$ uniform linear hypergraphs $G$ with arbitrarily large maximum degree $\Delta$ whose independence polynomial $Z_G$ has a zero $\lambda$ with $\left \vert \lambda \right \vert = O\left (\frac {\log \Delta }{\Delta }\right )$. This disproves a recent conjecture of Galvin, McKinley, Perkins, Sarantis, and Tetali.

The notion of effective topological complexity, introduced by Błaszczyk and Kaluba, deals with using group actions in the configuration space in order to reduce the complexity of the motion planning algorithm. In this article, we focus on studying several properties of this notion of topological complexity. We introduce a notion of effective LS category which mimics the behaviour the usual LS category has in the non-effective setting. We use it to investigate the relationship between these effective invariants and the orbit map with respect to the group action, and we give numerous examples. Additionally, we investigate non-vanishing criteria based on a cohomological dimension bound of the saturated diagonal.

We classify nef vector bundles on a smooth hyperquadric of dimension three with first Chern class two over an algebraically closed field of characteristic zero. In particular, we see that they are globally generated.

Let $\Omega \subset \mathbb{R}^d$ with $d\geq 2$ be a bounded domain of class ${\mathcal C}^{1,\beta }$ for some $\beta \in (0,1)$. For $p\in (1, \infty )$ and $s\in (0,1)$, let $\Lambda ^s_{p}(\Omega )$ be the first eigenvalue of the mixed local–nonlocal operator $-\Delta _p+(-\Delta _p)^s$ in Ω with the homogeneous nonlocal Dirichlet boundary condition. We establish a strict Faber–Krahn-type inequality for $\Lambda _{p}^s(\cdot )$ under polarization. As an application of this strict inequality, we obtain the strict monotonicity of $\Lambda _{p}^s(\cdot )$ over the annular domains and characterize the rigidity property of the balls in the classical Faber–Krahn inequality for $-\Delta _p+(-\Delta _p)^s$.

In this paper, we study the twisted Ruelle zeta function associated with the geodesic flow of a compact, hyperbolic, odd-dimensional manifold X. The twisted Ruelle zeta function is associated with an acyclic representation $\chi \colon \pi _{1}(X) \rightarrow \operatorname {\mathrm {GL}}_{n}(\mathbb {C})$, which is close enough to an acyclic, unitary representation. In this case, the twisted Ruelle zeta function is regular at zero and equals the square of the refined analytic torsion, as it is introduced by Braverman and Kappeler in [6], multiplied by an exponential, which involves the eta invariant of the even part of the odd-signature operator, associated with $\chi $.

For an arbitrary ring A, we study the abelianization of the elementary group $\mathit{{\rm E}}_2(A)$. In particular, we show that for a commutative ring A there exists an exact sequence

\begin{equation*}{\rm K}_2(2,A)/{\rm C}(2,A) \rightarrow A/M \rightarrow \mathit{{\rm E}}_2(A)^{\rm ab} \rightarrow 1,\end{equation*}

where ${\rm C}(2,A)$ is the central subgroup of the Steinberg group $\mathit{{\rm St}}(2,A)$ generated by the Steinberg symbols and M is the additive subgroup of A generated by $x(a^2-1)$ and $3(b+1)(c+1)$, with $x\in A, a,b,c \in {A^\times}$.

A famous theorem of Shokurov states that a general anticanonical divisor of a smooth Fano threefold is a smooth K3 surface. This is quite surprising since there are several examples where the base locus of the anticanonical system has codimension two. In this paper, we show that for four-dimensional Fano manifolds the behaviour is completely opposite: if the base locus is a normal surface, and hence has codimension two, all the anticanonical divisors are singular.

We establish a weak local boundedness to Lane–Emden systems in two-dimensional domains involving general second-order elliptic operators in divergence form and arbitrary positive powers whose product equals 1. Our result is complete in the sense that it reduces to that of Trudinger for single equations. As a counterpart, we derive a new Harnack estimate for such systems and, as a by-product, for biharmonic equations.

For finite nilpotent groups $J$ and $N$, suppose $J$ acts on $N$ via automorphisms. We exhibit a decomposition of the first cohomology set in terms of the first cohomologies of the Sylow $p$-subgroups of $J$ that mirrors the primary decomposition of $H^1(J,N)$ for abelian $N$. We then show that if $N \rtimes J$ acts on some non-empty set $\Omega$, where the action of $N$ is transitive and for each prime $p$ a Sylow $p$-subgroup of $J$ fixes an element of $\Omega$, then $J$ fixes an element of $\Omega$.

The fine curve graph of a surface was introduced by Bowden, Hensel, and Webb as a graph consisting of essential simple closed curves in the surface. Long, Margalit, Pham, Verberne, and Yao proved that the automorphism group of the fine curve graph of a closed orientable surface is isomorphic to the homeomorphism group of the surface. In this paper, based on their argument, we prove that the automorphism group of the fine curve graph of a closed nonorientable surface $N$ of genus $g \geq 4$ is isomorphic to the homeomorphism group of $N$.

We investigate the existence of 4-torsion in the integral cohomology of oriented Grassmannians. We establish bounds on the characteristic rank of oriented Grassmannians and prove some cases of our previous conjecture on the characteristic rank. We also discuss the relation between the characteristic rank and a result of Stong on the height of w1 in the cohomology of Grassmannians. The existence of 4-torsion classes follows from the results on the characteristic rank via Steenrod square considerations. We thus exhibit infinitely many examples of 4-torsion classes for oriented Grassmannians. We also prove bounds on torsion exponents of oriented flag manifolds. The article also discusses consequences of our results for a more general perspective on the relation between the torsion exponent and deficiency for homogeneous spaces.

We prove a synthetic Bonnet–Myers rigidity theorem for globally hyperbolic Lorentzian length spaces with global curvature bounded below by K < 0 and an open distance realizer of length $L=\frac{\pi}{\sqrt{|K|}}$: It states that the space necessarily is a warped product with warping function $\cos: (-\frac{\pi}{2},\frac{\pi}{2})\to\mathbb{R}_+$. From this, one also sees that a globally hyperbolic spacetime with curvature bounded above by K < 0 and an open distance realizer of length $L=\frac{\pi}{\sqrt{|K|}}$ is a warped product with warping function cos.