On the Existence of O'Nan Configurations in Ovoidal Buekenhout-Metz Unitals in PG(2, Q(2))

Tao Feng,Weicong Li

DOI: https://doi.org/10.1016/j.disc.2019.05.013

IF: 0.961

2019-01-01

Discrete Mathematics

Abstract:In this paper, we establish the existence of O’Nan configurations in all nonclassical ovoidal Buekenhout–Metz unitals in PG(2,q2).

What problem does this paper attempt to address?

On the existence of O'Nan configurations in Buekenhout unitals in PG(2,q^2)

Tao Feng,Weicong Li

DOI: https://doi.org/10.1016/j.disc.2019.05.013

2018-10-26

Abstract:In this paper, we establish the existence of O'Nan configurations in all nonclassical ovoidal Buekenhout-Metz unitals in $\text{PG}(2,q^2)$.

Combinatorics
Triple O'Nan Configurations in Buekenhout-Metz Unitals of Odd Order

Wen-Ai Jackson,Peter Wild

2024-03-08

Abstract:An O'Nan configuration in a unital is a set of four lines forming a quadrilateral, where the six intersections of pairs of lines are points of the unital. In 2019 Feng and Li elegantly construct O'Nan configurations in Buekenhout-Metz unitals, in particular, for odd order unitals. We extend their work by showing the existence of Triple O'Nan configurations (a configuration containing three distinct O'Nan configurations) in these odd order Buekenhout-Metz unitals.

Combinatorics
An infinite family of m-ovoids of Q(4, q)

Tao Feng,Ran Tao

DOI: https://doi.org/10.1016/j.ffa.2020.101644

IF: 1.655

2020-01-01

Finite Fields and Their Applications

Abstract:In this paper, we construct an infinite family of q-1/2-ovoids of the generalized quadrangle Q(4, q) for q 1(mod 4) and q > 5. Together with [3] and [11], this establishes the existence of q-1/2-ovoids in Q(4, q) for each odd prime power q. (C) 2020 Elsevier Inc. All rights reserved.
The explicit duality correspondence of (Sp(p,q),O∗(2n))

Jian-Shu Li,Annegret Paul,Eng-Chye Tan,Chen-Bo Zhu

DOI: https://doi.org/10.1016/S0022-1236(02)00079-4

IF: 1.891

2003-01-01

Journal of Functional Analysis

Abstract:We investigate the type I dual pairs over the quaternion algebra H, namely the family of dual pairs (Sp(p,q),O∗(2n)). We give a complete and explicit description of duality correspondence for p+q⩽n as well as some of the cases for p+q>n, in terms of the Langlands parameters.
A Note on Fano Planes in Orthogonal Buekenhout-Metz Unitals of Even Order

Wen-Ai Jackson,Peter Wild

2024-03-08

Abstract:An O'Nan configuration in a unital is a set of four lines forming a quadrilateral, where the six intersections of pairs of lines are points of the unital. In 2019 Feng and Li elegantly construct O'Nan configurations in orthogonal and Tits Buekenhout-Metz unitals. We extend their work by extending their construction to a Fano plane embedded in the orthogonal Buekenhout-Metz unital of even order. We deduce that there exist O'Nan configurations in orthogonal Buekenhout-Metz unitals different to those of Feng and Li, and make a conjecture about Fano planes embedded in orthogonal Buekenhout-Metz unitals.

Combinatorics
Bm$\textup{psu}_3(q)$-Invariant Intriguing Sets of Orthogonal Polar Space Bm$q^+(7,q)$

Feng Tao,Li Weicong,Tao Ran

DOI: https://doi.org/10.1360/ssm-2022-0071

2022-01-01

Scientia Sinica Mathematica

Abstract:Suppose that $q$ is a prime power such that $q\equiv~2\pmod{3}$. By using Kantor's model of $Q^+(7,q)$, we study the orbit structure of the action of $\textup{PSU}_3(q)$ on the polar space $Q^+(7,q)$ and obtain new $(q^2+q)$- and $q^3$-ovoids with an automorphism group $\textup{PSU}_3(q)$. In this way, we determine all $\textup{PSU}_3(q)$-invariant intriguing sets of $Q^+(7,q)$. It turns out that such an intriguing set is either the unitary ovoid, one of the two new $m$-ovoids, or their complements.
On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Kefeng Liu,Pan Peng

DOI: https://doi.org/10.4310/jdg/1292940692

2010-01-01

Mathematical Research Letters

Abstract:We outline a proof of a remarkable conjecture of Labastida-Mari{\~n}o-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-and-join analysis and a special rational ring characterizing the structure of the Chern-Simons partition function.
A family of $m$-ovoids of parabolic quadrics

tao feng,koji momihara,qing xiang

DOI: https://doi.org/10.1016/j.jcta.2016.01.002

2015-01-01

Abstract: We construct a family of $\frac{(q-1)}{2}$-ovoids of $Q(4,q)$, the parabolic quadric of $\textup{PG}(4,q)$, for $q\equiv 3\pmod 4$. The existence of $\frac{(q-1)}{2}$-ovoids of $Q(4,q)$ was only known for $q=3, 7,$ or $11$. Our construction provides the first infinite family of $\frac{(q-1)}{2}$-ovoids of $Q(4,q)$.Along the way, we also give a construction of $\frac{q+1}{2}$-ovoids in $Q(4,q)$ for $q\equiv 1\pmod 4$.
Ovoids in the cyclic presentation of PG(3,q)

Kanat Abdukhalikov,Simeon Ball,Duy Ho,Tabriz Popatia

2024-10-10

Abstract:We consider the cyclic presentation of $PG(3,q)$ whose points are in the finite field $\mathbb{F}_{q^4}$ and describe the known ovoids therein. We revisit the set $\mathcal{O}$, consisting of $(q^2+1)$-th roots of unity in $\mathbb{F}_{q^4}$, and prove that it forms an elliptic quadric within the cyclic presentation of $PG(3,q)$. Additionally, following the work of Glauberman on Suzuki groups, we offer a new description of Suzuki-Tits ovoids in the cyclic presentation of $PG(3,q)$, characterizing them as the zeroes of a polynomial over $\mathbb{F}_{q^4}$.

Combinatorics,Number Theory
Ovoidal fibrations in $PG(3,q), q$ even

N.S. Narasimha Sastry,R.P. Shukla

DOI: https://doi.org/10.48550/arXiv.1704.06024

2017-04-20

Abstract:We prove that, given a partition of the point-set of $PG(3,q), q=2^n >2$, by ovoids $\{\theta_i\}^q_{i=0}$ of $PG(3,q)$ and a line $\ell$ of $PG(3,q)$, not tangent to $\theta_0$ if $\ell^\perp$ denotes the polar of $\ell$ relative to the symplectic form on $PG(3,q)$ whose isotropic lines are the tangent lines to $\theta_0$, then $\ell$ and $\ell^\perp$ are tangent to distinct ovoids $\theta_j, \theta_k$, both distinct from $\theta_0$. This uses the fact that the radical of the linear code generated by the dual duals $\ell\cup \ell^\perp$ of the hyperbolic quadrics , with $\ell$ and $\ell^\perp$ as above, is of codimension $1$

Group Theory
On the Oort conjecture for Shimura varieties of unitary and orthogonal types

ke chen,xin lu,kang zuo

DOI: https://doi.org/10.1112/S0010437X15007794

2016-01-01

Compositio Mathematica

Abstract:In this paper we study the Oort conjecture concerning the non-existence of Shimura subvarieties contained generically in the Torelli locus in the Siegel modular variety A(g). Using the poly-stability of Higgs bundles on curves and the slope inequality of Xiao on fibered surfaces, we show that a Shimura curve C is not contained generically in the Torelli locus if its canonical Higgs bundle contains a unitary Higgs subbundle of rank at least (4g + 2)/5. From this we prove that a Shimura subvariety of SU(n, 1) type is not contained generically in the Torelli locus when a numerical inequality holds, which involves the genus g, the dimension n + 1, the degree 2d of CM field of the Hermitian space, and the type of the symplectic representation defining the Shimura subdatum. A similar result holds for Shimura subvarieties of SO(n, 2) type, defined by spin groups associated to quadratic spaces over a totally real number field of degree at least 6 subject to some natural constraints of signatures.
An infinite family of $m$-ovoids of $Q(4,q)$

Tao Feng,Ran Tao

DOI: https://doi.org/10.48550/arXiv.1905.06085

2019-05-16

Abstract:In this paper, we construct an infinite family of $\frac{q-1}{2}$-ovoids of the generalized quadrangle $Q(4,q)$, for $q\equiv 1 (\text{mod}\ 4)$ and $q>5$. Together with the examples given by Bamberg et al. and constructions provided by Feng et al., this establishes the existence of $\frac{q-1}{2}$-ovoids in $Q(4,q)$ for each odd prime power $q$.

Combinatorics
On $m$-ovoids of $Q^+(7,q)$ with $q$ odd

Sam Adriaensen,Jan De Beule,Giovanni Giuseppe Grimaldi,Jonathan Mannaert

DOI: https://doi.org/10.1016/j.ffa.2024.102387

2024-02-12

Abstract:In this paper, we provide a construction of $(q+1)$-ovoids of the hyperbolic quadric $Q^+(7,q)$, $q$ an odd prime power, by glueing $(q+1)/2$-ovoids of the elliptic quadric $Q^-(5,q)$. This is possible by controlling some intersection properties of (putative) $m$-ovoids of elliptic quadrics. It yields eventually $(q+1)$-ovoids of $Q^+(7,q)$ not coming from a $1$-system. Secondly, we also construct $m$-ovoids for $m \in \{ 2,4,6,8,10\}$ in $Q^+(7,3)$. Therefore we first investigate how to construct spreads of $\pg(3,q)$ that have as many secants to an elliptic quadric as possible.

Combinatorics
BPS/CFT Correspondence III: Gauge Origami Partition Function and qq-Characters

Nikita Nekrasov

DOI: https://doi.org/10.1007/s00220-017-3057-9

IF: 2.361

2017-12-13

Communications in Mathematical Physics

Abstract:We study generalized gauge theories engineered by taking the low energy limit of the Dp branes wrapping X×Tp-3\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${X \times {\bf T}^{p-3}}$$\end{document}, with X a possibly singular surface in a Calabi–Yau fourfold Z. For toric Z and X the partition function can be computed by localization, making it a statistical mechanical model, called the gaugeorigami̲\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\underline{\rm gauge\,origami}}$$\end{document}. The random variables are the ensembles of Young diagrams. The building block of the gauge origami is associated with a tetrahedron, whose edges are colored by vector spaces. We show the properly normalized partition function is an entire function of the Coulomb moduli, for generic values of the Ω\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\Omega}$$\end{document} -background parameters. The orbifold version of the theory defines the qq-character operators, with and without the surface defects. The analytic properties are the consequence of a relative compactness of the moduli spaces M(n→,k)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\mathcal{M}({\vec n}, k)}$$\end{document} of crossed and spiked instantons, demonstrated in “BPS/CFT correspondence II: instantons at crossroads, moduli and compactness theorem”.

physics, mathematical
Unitals without O'Nan configurations are classical if they admit all translations

Markus Johannes Stroppel

2024-10-11

Abstract:We prove the statement in the title: if a (finite) unital admits all translations and contains no O'Nan configurations then the unital is classical, i.e., isomorphic to the Hermitian unital of the same order.

Combinatorics
Examples of Quasitoric Manifolds As Special Unitary Manifolds

Zhi Lu,Wei Wang

DOI: https://doi.org/10.4310/mrl.2016.v23.n5.a10

2016-01-01

Mathematical Research Letters

Abstract:This note shows that for each n >= 5 with only n not equal 6, there exists a 2n-dimensional specially omnioriented quasitoric manifold M-2n which represents a nonzero element in Omega(U)(*). This provides the counterexamples of Buchstaber-Panov-Ray conjecture.
O'Grady tenfolds as moduli spaces of sheaves

Camilla Felisetti,Franco Giovenzana,Annalisa Grossi

2024-04-18

Abstract:We give a lattice-theoretic characterization for a manifold of $\mathrm{OG}10$ type to be birational to some moduli space of (twisted) sheaves on a K3 surface. We apply it to the Li-Pertusi-Zhao variety of $\mathrm{OG}10$ type associated to any smooth cubic fourfold. Moreover we determine when a birational transformation is induced by an automorphism of the K3 surface and we use this to classify all induced birational symplectic involutions.

Algebraic Geometry
Some non-existence results on $m$-ovoids in classical polar spaces

Jan De Beule,Jonathan Mannaert,Valentino Smaldore

2024-02-20

Abstract:In this paper we develop non-existence results for $m$-ovoids in the classical polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$ for $r>2$. In [4] a lower bound on $m$ for the existence of $m$-ovoids of $H(4,q^2)$ is found by using the connection between $m$-ovoids, two-character sets, and strongly regular graphs. This approach is generalized in [3] for the polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$, $r>2$. In [1] an improvement for the particular case $H(4,q^2)$ is obtained by exploiting the algebraic structure of the collinearity graph, and using the characterization of an $m$-ovoid as an intruiging set. In this paper, we use an approach based on geometrical and combinatorial arguments, inspired by the results from [10], to improve the bounds from [3].

Combinatorics
The $q$-Onsager Algebra and the Quantum Torus

Owen Goff

2023-05-10

Abstract:The $q$-Onsager algebra, denoted $O_q$, is defined by two generators $W_0, W_1$ and two relations called the $q$-Dolan-Grady relations. Recently, Terwilliger introduced some elements of $O_q$, said to be alternating. These elements are denoted $\{{W}_{-k}\}_{k=0}^{\infty}, \{{W}_{k+1}\}_{k=0}^{\infty}, \{{G}_{k+1}\}_{k=0}^{\infty}, \{\tilde{G}_{k+1}\}_{k=0}^{\infty}$. The alternating elements of $O_q$ are defined recursively. By construction, they are polynomials in $W_0$ and $W_1$. It is currently unknown how to express these polynomials in closed form. In this paper, we consider an algebra $T_q$, called the quantum torus. We present a basis for $T_q$ and define an algebra homomorphism $p: O_q \mapsto T_q$. In our main result, we express the $p$-images of the alternating elements of $O_q$ in the basis for $T_q$. These expressions are in a closed form that we find attractive.

Quantum Algebra
Quinary forms and paramodular forms

Neil Dummigan,Ariel Pacetti,Gustavo Rama,Gonzalo Tornaría

DOI: https://doi.org/10.1090/mcom/3815

IF: 2.118

2024-02-17

Mathematics of Computation

Abstract:We work out the exact relationship between algebraic modular forms for a two-by-two general unitary group over a definite quaternion algebra, and those arising from genera of positive-definite quinary lattices, relating stabilisers of local lattices with specific open compact subgroups, paramodular at split places, and with Atkin-Lehner operators. Combining this with the recent work of Rösner and Weissauer, proving conjectures of Ibukiyama on Jacquet-Langlands type correspondences (mildly generalised here), provides an effective tool for computing Hecke eigenvalues for Siegel modular forms of degree two and paramodular level. It also enables us to prove examples of congruences of Hecke eigenvalues connecting Siegel modular forms of degrees two and one. These include some of a type conjectured by Harder at level one, supported by computations of Fretwell at higher levels, and a subtly different congruence discovered experimentally by Buzzard and Golyshev.

mathematics, applied

On the Existence of O'Nan Configurations in Ovoidal Buekenhout-Metz Unitals in PG(2, Q(2))

On the existence of O'Nan configurations in Buekenhout unitals in PG(2,q^2)

Triple O'Nan Configurations in Buekenhout-Metz Unitals of Odd Order

An infinite family of <i>m</i>-ovoids of <i>Q</i>(4, <i>q</i>)

The explicit duality correspondence of (Sp(p,q),O∗(2n))

A Note on Fano Planes in Orthogonal Buekenhout-Metz Unitals of Even Order

Bm$\textup{psu}_3(q)$-Invariant Intriguing Sets of Orthogonal Polar Space Bm$q^+(7,q)$

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

A family of $m$-ovoids of parabolic quadrics

Ovoids in the cyclic presentation of PG(3,q)

Ovoidal fibrations in $PG(3,q), q$ even

On the Oort conjecture for Shimura varieties of unitary and orthogonal types

An infinite family of $m$-ovoids of $Q(4,q)$

On $m$-ovoids of $Q^+(7,q)$ with $q$ odd

BPS/CFT Correspondence III: Gauge Origami Partition Function and qq-Characters

Unitals without O'Nan configurations are classical if they admit all translations

Examples of Quasitoric Manifolds As Special Unitary Manifolds

O'Grady tenfolds as moduli spaces of sheaves

Some non-existence results on $m$-ovoids in classical polar spaces

The $q$-Onsager Algebra and the Quantum Torus

Quinary forms and paramodular forms