Let $p$ be an odd prime, and let $E_1$ and $E_2$ be two elliptic curves defined over a number field $K$, with good ordinary reduction at $p$. We compare the $\Lambda$-ranks and (generalized) Iwasawa invariants of the Pontryagin duals of the Selmer groups of $E_1$ and $E_2$ over ${\mathbb{Z}}_p^d$-extensions $\mathbb{L}_\infty$ of $K$ for general $d \ge 1$ under the hypothesis that $E_1[p^i] \cong E_2[p^i]$ as Galois modules for a sufficiently large $i$. This generalizes and complements previous work over ${\mathbb{Z}}_p$-extensions. The comparison of generalized Iwasawa invariants is related via an up-down approach to the comparison of the variation of classical Iwasawa invariants over the ${\mathbb{Z}}_p$-extensions of $K$ which are contained in $\mathbb{L}_\infty$.

Let $f \in \mathbb{Q}[x]$ be a square-free polynomial of degree at least $3$, $m_i$, $i=1,2,3$, odd positive integers, and $a_i$, $i=1,2,3$, non-zero rational numbers. We show the existence of a rational function $D\in \mathbb{Q}(v_1,v_2,v_3,v_4)$ such that the Jacobian of the quadratic twist of $y^2=f(x)$ and the Jacobian of the $m_i$-twist, respectively, $2m_i$-twist, of $y^2=x^{m_i}+a_i^2$, $i=1,2,3$, by $D$ are all of positive Mordell–Weil ranks. As an application, we present families of hyperelliptic curves with large Mordell–Weil rank.

We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case and provides a unified framework that encloses the theory of compact quantum group actions. We also provide examples coming from semi-circular systems and from factorization homology. In the irreducible case, we establish conditions under which the C*-discrete and W*-discrete conditions are equivalent.

For each prime $p$, this paper constructs compact complex hyperbolic $2$-manifolds with an isometric action of $\mathbb{Z} / p \mathbb{Z}$ that is not free and has only isolated fixed points. The case $p = 2$ is special, and finding general examples for $p=2$ is related to whether or not complex hyperbolic lattices are conjugacy separable on torsion.

Fulton’s matrix Schubert varieties are affine varieties that arise in the study of Schubert calculus in the complete flag variety. Weigandt showed that arbitrary intersections of matrix Schubert varieties, now called ASM varieties, are indexed by alternating sign matrices (ASMs), objects with a long history in enumerative combinatorics. It is very difficult to assess Cohen–Macaulayness of ASM varieties or to compute their codimension, though these properties are well understood for matrix Schubert varieties due to work of Fulton. In this paper, we study these properties of ASM varieties with a focus on the relationship between a pair of ASMs and their direct sum. We also consider ASM pattern avoidance from an algebro-geometric perspective.

Given a finite abelian group $G$ and $t\in \mathbb{N}$, there are two natural types of subsets of the Cartesian power $G^t$; namely, Cartesian powers $S^t$ where $S$ is a subset of $G$ and (cosets of) subgroups $H$ of $G^t$. A basic question is whether two such sets intersect. In this paper, we show that this decision problem is NP-complete. Furthermore, for fixed $G$ and $S$, we give a complete classification: we determine conditions for when the problem is NP-complete and show that in all other cases the problem is solvable in polynomial time. These theorems play a key role in the classification of algebraic decision problems in finitely generated rings developed in later work of the author.

In this paper, we establish an asymptotic formula for the twisted second moments of Dirichlet $L$-functions with one twist when averaged over all primitive Dirichlet characters of modulus $R$, where $R$ is a monic polynomial in $\mathbb{F}_q[T]$.

Given a Hamiltonian torus action on a symplectic manifold, Teleman and Fukaya have proposed that the Fukaya category of each symplectic quotient should be equivalent to an equivariant Fukaya category of the original manifold. We lay out new conjectures that extend this story – in certain situations – to singular values of the moment map. These include a proposal for how, in some cases, we can recover the non-equivariant Fukaya category of the original manifold starting from data on the quotient.

To justify our conjectures, we pass through the mirror and work out numerous examples, using well-established heuristics in toric mirror symmetry. We also discuss the algebraic and categorical structures that underlie our story.

In [5], a particular family of real hyperplane arrangements stemming from hyperpolygonal spaces associated with certain quiver varieties was introduced which we thus call hyperpolygonal arrangements ${\mathscr H}_n$. In this note, we study these arrangements and investigate their properties systematically. Remarkably, the arrangements ${\mathscr H}_n$ discriminate between essentially all local properties of arrangements. In addition, we show that hyperpolygonal arrangements are projectively unique and combinatorially formal.

We note that the arrangement ${\mathscr H}_5$ is the famous counterexample of Edelman and Reiner [17] of Orlik’s conjecture that the restriction of a free arrangement is again free.

Several classical knot invariants, such as the Alexander polynomial, the Levine-Tristram signature, and the Blanchfield pairing, admit natural extensions from knots to links, and more generally, from oriented links to so-called colored links. In this note, we explore such extensions of the Arf invariant. Inspired by the three examples stated above, we use generalized Seifert forms to construct quadratic forms and determine when the Arf invariant of such a form yields a well-defined invariant of colored links. However, apart from the known case of oriented links, these new Arf invariants turn out to be determined by the linking numbers.

In this paper, we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon :\ C{{-\mathsf{Comod}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $\Theta :\ C{{-\mathsf{Contra}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural forgetful functor. We prove that the functor $\Upsilon$ induces a fully faithful triangulated functor on bounded (below) derived categories if and only if the functor $\Theta$ induces a fully faithful triangulated functor on bounded (above) derived categories, and if and only if the $k$-vector space $\textrm {Ext}_C^n(k,k)$ is finite-dimensional for all $n\ge 0$. We call such coalgebras “weakly finitely Koszul”.

Using a recent result of Bowden, Hensel and Webb, we prove the existence of a homeomorphism with positive stable commutator length in the group of homeomorphisms of the Klein bottle which are isotopic to the identity.

We show that the sets of $d$-dimensional Latin hypercubes over a non-empty set $X$, with $d$ running over the positive integers, determine an operad which is isomorphic to a sub-operad of the endomorphism operad of $X$. We generalise this to categories with finite products, and then further to internal versions for certain Cartesian closed monoidal categories with pullbacks.

Let $e$ and $q$ be fixed co-prime integers satisfying $1\lt e\lt q$. Let $\mathscr {C}$ be a certain family of deformations of the curve $y^e=x^q$. That family is called the $(e,q)$-curve and is one of the types of curves called plane telescopic curves. Let $\varDelta$ be the discriminant of $\mathscr {C}$. Following pioneering work by Buchstaber and Leykin (BL), we determine the canonical basis $\{ L_j \}$ of the space of derivations tangent to the variety $\varDelta =0$ and describe their specific properties. Such a set $\{ L_j \}$ gives rise to a system of linear partial differential equations (heat equations) satisfied by the function $\sigma (u)$ associated with $\mathscr {C}$, and eventually gives its explicit power series expansion. This is a natural generalisation of Weierstrass’ result on his sigma function. We attempt to give an accessible description of various aspects of the BL theory. Especially, the text contains detailed proofs for several useful formulae and known facts since we know of no works which include their proofs.

Let $F:\; {\mathscr {C}} \to {\mathscr {E}} \ $ be a functor from a category $\mathscr {C} \ $ to a homological (Borceux–Bourn) or semi-abelian (Janelidze–Márki–Tholen) category $\mathscr {E}$. We investigate conditions under which the homology of an object $X$ in $\mathscr {C}$ with coefficients in the functor $F$, defined via projective resolutions in $\mathscr {C}$, remains independent of the chosen resolution. Consequently, the left derived functors of $F$ can be constructed analogously to the classical abelian case.

Our approach extends the concept of chain homotopy to a non-additive setting using the technique of imaginary morphisms. Specifically, we utilize the approximate subtractions of Bourn–Janelidze, originally introduced in the context of subtractive categories. This method is applicable when $\mathscr {C}$ is a pointed regular category with finite coproducts and enough projectives, provided the class of projectives is closed under protosplit subobjects, a new condition introduced in this article and naturally satisfied in the abelian context. We further assume that the functor $F$ meets certain exactness conditions: for instance, it may be protoadditive and preserve proper morphisms and binary coproducts—conditions that amount to additivity when $\mathscr {C}$ and $\mathscr {E}$ are abelian categories.

Within this framework, we develop a basic theory of derived functors, compare it with the simplicial approach, and provide several examples.

We prove that a homomorphism between free groups of finite rank equipped with the bi-invariant word metrics associated with finite generating sets is a quasi-isometry if and only if it is an isomorphism.

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 show that when a finitely presented Bestvina–Brady group splits as an amalgamated product over a subgroup $H$, its defining graph contains an induced separating subgraph whose associated Bestvina–Brady group is contained in a conjugate of $H$.

In Caspers et al. (Can. J. Math. 75[6] [2022], 1–18), transference results between multilinear Fourier and Schur multipliers on noncommutative $L_p$-spaces were shown for unimodular groups. We propose a suitable extension of the definition of multilinear Fourier multipliers for non-unimodular groups and show that the aforementioned transference results also hold in this more general setting.