In striking down Virginia's ban on same-sex marriage, Judge Arenda L. Wright Allen of Federal District Court in Norfolk relied heavily on the Supreme Court's decision in June in United States v. Windsor, which ruled that the federal government must provide benefits to same-sex couples married in states that allow such unions.